Rationale Homotopiesphäre

Eine rationale $n$-Homotopiesphäre ist im mathematischen Teilgebiet der algebraischen Topologie eine $n$-dimensionale Mannigfaltigkeit, welche die gleichen rationalen Homotopiegruppen wie die $n$-Sphäre hat. Diese dienen unter anderem dem Verständnis, welche Informationen die rationalen Homotopiegruppen eines Raumes messen oder nicht messen können sowie welche Abschwächungen sich dabei durch Vernachlässigung von Torsion im Vergleich zu den (integralen) Homotopiegruppen des Raumes ergeben.

Definition

Eine rationale $n$-Homotopiesphäre ist eine $n$-dimensionale Mannigfaltigkeit $\mathrm{\Sigma }$, welche die gleichen rationalen Homotopiegruppen wie die $n$-Sphäre $S^n$ hat:

${\pi }_k(\mathrm{\Sigma })\otimes \mathbb{Q}={\pi }_k(S^n)\otimes \mathbb{Q}\cong \{\begin{array}{cc}\mathbb{Z}& ;k=n\text{ wenn }n\text{ gerade}\\ \mathbb{Z}& ;k=n,2n-1\text{ wenn }n\text{ ungerade}\\ 1& ;\text{sonst}\end{array}.$

Eigenschaften

• Jede (integrale) Homotopiesphäre ist eine rationale Homotopiesphäre.

Beispiele

• Die $n$-Sphäre $S^n$ ist trivialerweise eine rationale $n$-Homotopiesphäre.
• Der Pseudokreis (mit einer schwachen Homotopieäquivalenz aus der $1$-Sphäre) ist eine rationale $1$-Homotopiesphäre, die keine $1$-Homotopiesphäre ist.
• Der reelle projektiver Raum $ℝP^n$ist eine rationale Homotopiesphäre für alle $n>0$. Das Faserbündel $S^0\to S^n\to ℝP^n$ impliziert über die lange exakte Sequenz von Homotopiegruppen, dass ${\pi }_k(ℝP^n)\cong {\pi }_k(S^n)$ für $k>1$ und $n>0$ sowie ${\pi }_1(ℝP^1)=\mathbb{Z}$ und ${\pi }_1(ℝP^n)={\mathbb{Z}}_2$ für $n>1$, was bei Rationalisierung verschwindet. $ℝP^1\cong S^1$ist insbesondere die Sphäre.

Siehe auch

• Rationale Homologiesphäre

Literatur

• Vorlage:Literatur

Weblinks

• rational homotopy sphere auf nLab (englisch)