Eine rationale -Homologiesphäre ist im mathematischen Teilgebiet der algebraischen Topologie eine -dimensionale Mannigfaltigkeit, welche die gleichen rationalen Homologiegruppen wie die -Sphäre hat. Diese dienen unter anderem dem Verständnis, welche Informationen die rationalen Homologiegruppen eines Raumes messen oder nicht messen können sowie welche Abschwächungen sich dabei durch Vernachlässigung von Torsion im Vergleich zu den (integralen) Homologiegruppen des Raumes ergeben.
Definition Eine rationale -Homologiesphäre ist eine -dimensionale Mannigfaltigkeit , welche die gleichen rationalen Homologiegruppen wie die -Sphäre hat:
Eigenschaften
Jede (integrale) Homologiesphäre ist eine rationale Homologiesphäre. Jede einfach zusammenhängende rationale -Homologiesphäre mit ist homöomorph zur -Sphäre.
Beispiele
Die -Sphäre ist trivialerweise eine rationale -Homologiesphäre. Die Poincaré-Homologiesphäre ist insbesondere eine rationale -Homologiesphäre. Die Kleinsche Flasche hat zwei Dimensionen, aber hat die gleichen rationalen Homologiegruppen wie die -Sphäre, da ihre (integrale) Homologiegruppen gegeben sich durch:Hatcher 02, Example 2.47., S. 151
Deshalb ist sie keine rationale Homologiesphäre, aber wäre es, wenn die Bedingung von gleicher Dimension zu sein weggelassen würde.
Der reelle projektive Raum ist eine rationale Homologiesphäre für ungerade, da dessen (integrale) Homologiegruppen gegeben sich durch:Hatcher 02, Example 2.42, S. 144
ist insbesondere die Sphäre.
Die fünfdimensionale Wu-Mannigfaltigkeit ist eine einfach zusammenhängende rationale Homologiesphäre (mit nichttrivialen Homologiegruppen , und ), welche keine Homotopiesphäre ist.
Siehe auch
Rationale Homotopiesphäre
Literatur
Weblinks
rational homology sphere auf nLab (englisch)
Einzelnachweise
Kategorie:Algebraische Topologie