| date | page |
|---|---|
| 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 |
| Nov 16 | Monsky_dissection.ht... |
| Nov 16 | noncrossing_partitio... |
| Nov 17 | diagram_of_spaces.ht... |
| Nov 17 | generalized_spaces.h... |
| Nov 17 | space_level_construc... |
| Nov 17 | ind-pro.html |
| Nov 17 | pro-object.html |
| Nov 17 | ind-object.html |
| Nov 17 | A_infty-category.htm... |
| Nov 17 | limits.html |
| Nov 18 | finiteness_for_group... |
| Nov 18 | locally_compact_grou... |
| Nov 19 | Segal_space.html |
| Nov 20 | quandle.html |
| Nov 21 | root_system.html |
| Nov 22 | polygon.html |
| Nov 23 | Borsuk-Ulam.html |
| Nov 23 | computer_science.htm... |
| Nov 23 | topological_complexi... |
| Nov 24 | geometric_realizatio... |
| Nov 25 | stack.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
|