Rationale Homologiesphäre

Eine rationale $n$-Homologiesphäre ist im mathematischen Teilgebiet der algebraischen Topologie eine $n$-dimensionale Mannigfaltigkeit, welche die gleichen rationalen Homologiegruppen wie die $n$-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 $n$-Homologiesphäre ist eine $n$-dimensionale Mannigfaltigkeit $\mathrm{\Sigma }$, welche die gleichen rationalen Homologiegruppen wie die $n$-Sphäre $S^n$ hat:

$H_k(\mathrm{\Sigma },\mathbb{Q})=H_k(S^n,\mathbb{Q})\cong \{\begin{array}{cc}\mathbb{Z}& ;k=0\text{ oder }k=n\\ 1& ;\text{sonst}\end{array}.$

Eigenschaften

• Jede (integrale) Homologiesphäre ist eine rationale Homologiesphäre.
• Jede einfach zusammenhängende rationale $n$-Homologiesphäre mit $n\le 4$ ist homöomorph zur $n$-Sphäre.

Beispiele

• Die $n$-Sphäre $S^n$ ist trivialerweise eine rationale $n$-Homologiesphäre.
• Die Poincaré-Homologiesphäre ist insbesondere eine rationale $3$-Homologiesphäre.
• Die Kleinsche Flasche $K$ hat zwei Dimensionen, aber hat die gleichen rationalen Homologiegruppen wie die $1$-Sphäre, da ihre (integrale) Homologiegruppen gegeben sich durch:

  $H_0(K)\cong \mathbb{Z}$

  $H_1(K)\cong \mathbb{Z}\oplus {\mathbb{Z}}_2$

  $H_2(K)\cong 1$

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 $ℝP^n$ ist eine rationale Homologiesphäre für $n$ ungerade, da dessen (integrale) Homologiegruppen gegeben sich durch:

  $H_k(ℝP^n)\cong \{\begin{array}{cc}\mathbb{Z}& ;k=0\text{ oder }k=n\text{ wenn ungerade}\\ {\mathbb{Z}}_2& ;k\text{ ungerade},0<k<n\\ 1& ;\text{sonst.}\end{array}.$

$ℝP^1\cong S^1$ist insbesondere die Sphäre.

• Die fünfdimensionale Wu-Mannigfaltigkeit $W=\mathrm{SU}(3)/\mathrm{SO}(3)$ ist eine einfach zusammenhängende rationale Homologiesphäre (mit nichttrivialen Homologiegruppen $H_0(W)\cong \mathbb{Z}$, $H_2(W)\cong {\mathbb{Z}}_2$ und $H_5(W)\cong \mathbb{Z}$), welche keine Homotopiesphäre ist.

Siehe auch

• Rationale Homotopiesphäre

Literatur

• Vorlage:Literatur

Weblinks

• rational homology sphere auf nLab (englisch)