| date | page |
|---|---|
| Oct 28 | topological_space.ht... |
| Oct 28 | connectedness.html |
| Oct 28 | covering_space.html |
| Oct 29 | small_category_basic... |
| Oct 29 | EI_category.html |
| Oct 29 | preprojective_algebr... |
| Oct 30 | MU.html |
| Oct 30 | BP.html |
| Oct 31 | generalized_quivers.... |
| Nov 01 | Bergman_complex.html |
| Nov 02 | random_topology.html |
| Nov 02 | random_topology (Tam... |
| Nov 03 | minimal_triangulatio... |
| Nov 04 | quantum_group.html |
| Nov 04 | locally_compact_quan... |
| Nov 04 | compact_quantum_grou... |
| Nov 05 | infty_n-category.htm... |
| Nov 06 | modules.html |
| Nov 06 | algebraic_K_of_ring.... |
| Nov 06 | weak_equivalence.htm... |
| Nov 07 | Rota-Baxter_algebra.... |
| Nov 08 | homology_of_iterated... |
| Nov 09 | polymatroid.html |
| Nov 10 | cactus_group.html |
| Nov 11 | generalized_triangul... |
| Nov 12 | cubical_set.html |
| Nov 13 | Reedy_category.html |
| Nov 14 | CW.html |
| Nov 14 | CW_approximation.htm... |
| Nov 15 | numbers.html |
Proper Maps |
|
Proper map の定義は, どれを見るのが良いのだろうか。Baum ら [Bau+] は, Bourbaki の [Bou98] の97ページの Definition 1 を参照している。その定義は以下のものである。 Definition 1. A continuous map \(f:X\to Y\) is called proper if \[ f\times 1_{Z} : X\times Z\rarrow {} Y\times Z \] is closed for any topological space \(Z\).
\(X\) が Hausdorff で \(Y\) が locally compact のときは, 任意の compact subset \(K\subset Y\) に対し \(f^{-1}(K)\) が compact という, よく見かける条件と同値になる。 Baum ら [Bau+] は, locally compact Hausdorff space の場合に, \(C^{*}\)-algebra を用いた特徴付けを述べている。 層のコホモロジーや derived category を考えるときには, proper map は重要な役割を果すが, locally proper map も同様のよい性質を持つことが Schnürer と Soergel [SS] により示されている。
Noncompact な空間を, 無限遠点でのふるまいも考慮して考えるためには, proper map, そして proper homotopy を考えるのがよいようであり, proper homotopy theory というべきものも考えられている。 群の作用を考えるときには, proper action を考える。 References
|