Oktonionischer projektiver Raum

Ein oktonionischer projektiver Raum ist in der Mathematik eine Verallgemeinerung der projektiven Räume von Vektorräumen über den anderen Divisionsalgebren (reelle, komplexe und quaternionische Zahlen). Da die Oktonionen nur einen Alternativkörper bilden und ihre Multiplikation nicht assoziativ ist, ist eine analoge Definition nicht für jede Dimension möglich. Es gibt dadurch nur die drei oktonionischen projektiven Räume $\mathbb {O} P^{0}$ , $\mathbb {O} P^{1}$ und $\mathbb {O} P^{2}$ .

Konstruktion

Auf dem oktonionischen Raum $\mathbb {O} ^{n+1}\setminus \{0\}$ ohne Ursprung ist die Relation $x\sim y$ , wenn es einen oktonionischen Skalar $\lambda \in \mathbb {O} ^{\times }=\mathbb {O} \setminus \{0\}$ mit $x=\lambda y$ gibt, eine Äquivalenzrelation, jedoch nur wenn $n\leq 2$ . $\mathbb {O} P^{n}$ ist der Faktorraum von $\mathbb {O} ^{n+1}\setminus \{0\}$ unter dieser Äquivalenzrelation. Die Äquivalenzklasse einer Koordinate $(q_{0},\ldots ,q_{n})\in \mathbb {O} ^{n-1}\setminus \{0\}$ wird als $[q_{0}:\ldots :q_{n}]\in \mathbb {O} P^{n}$ notiert.

Alle Beispiele

$\mathbb {O} P^{0}$ ist der einpunktige Raum.
$\mathbb {O} P^{1}$ wird oktonionische projektive Linie genannt und ist homöomorph zur $8$ -Sphäre $S^{8}$ .^[1]^[2] Die zusammen mit der Projektion $\mathbb {O} ^{2}\rightarrow \mathbb {O} P^{1}$ erzeugte Abbildung $\mathbb {O} ^{2}\cong \mathbb {R} ^{16}\supset S^{15}\rightarrow S^{8}\cong \mathbb {O} P^{1}$ zwischen Sphären ist die oktonionische Hopf-Faserung $h_{\mathbb {O} }$ .^[3]
$\mathbb {O} P^{2}$ wird oktonionische projektive Ebene oder Cayley-Ebene genannt. Nach dem Arnold–Kuiper–Massey-Theorem ist der Quotientenraum unter Wirkung der ersten symplektischen Gruppe $\operatorname {Sp} (1)$ die $13$ -Sphäre:^[4]
$\mathbb {O} P^{2}/\operatorname {Sp} (1)\cong S^{13}.$

Eigenschaften

$\mathbb {O} P^{2}$ ist homöomorph zu $F_{4}/\operatorname {Spin} (9)$ . Dabei ist $F_{4}$ eine der exzeptionellen Lie-Gruppen und $\operatorname {Spin} (9)$ die neunte Spin-Gruppe.^[5]^[6]
$\mathbb {O} P^{2}$ ist homöomorph zum Kofaserprodukt $S^{8}+_{h_{\mathbb {O} }}D^{16}$ , also dem des Diagramms $D^{16}\hookleftarrow S^{15}\xrightarrow {h_{\mathbb {O} }} S^{8}$ .^[1]^[6]

Algebraische Topologie

Homotopie

Die Homotopiegruppen der oktonionischen projektiven Ebene $\mathbb {O} P^{2}$ sind gegeben durch:^[1]

\pi _{k}(\mathbb {O} P^{2})\cong {\begin{cases}0&;k\leq 7\\\pi _{k}(S^{8})&;8\leq k\leq 14\end{cases}}.

Weitere Homotopiegruppen sind:^[7]

\pi _{15}(\mathbb {O} P^{2})\cong \mathbb {Z} _{120}

(wobei sich hier

\pi _{15}(S^{8})\cong \mathbb {Z} \times \mathbb {Z} _{120}

tatsächlich unterscheidet).

\pi _{16}(\mathbb {O} P^{2})\cong \mathbb {Z} _{2}^{3}

\pi _{17}(\mathbb {O} P^{2})\cong \mathbb {Z} _{2}^{4}

\pi _{18}(\mathbb {O} P^{2})\cong \mathbb {Z} _{24}\times \mathbb {Z} _{2}

\pi _{19}(\mathbb {O} P^{2})\cong \mathbb {Z} _{504}\times \mathbb {Z} _{2}

\pi _{20}(\mathbb {O} P^{2})\cong 1

\pi _{21}(\mathbb {O} P^{2})\cong \mathbb {Z} _{6}

\pi _{22}(\mathbb {O} P^{2})\cong \mathbb {Z} _{4}

\pi _{23}(\mathbb {O} P^{2})\cong \mathbb {Z} \times \mathbb {Z} _{120}\times \mathbb {Z} _{2}^{2}.

Kohomologie

Die Kohomologiegruppen der oktonionischen projektiven Ebene $\mathbb {O} P^{2}$ mit einer abelschen Gruppe $G$ sind gegeben durch:^[1]

H^{k}(\mathbb {O} P^{2};G)\cong {\begin{cases}G&;k=0,8,16\\1&;{\text{sonst.}}\end{cases}}.

Faserbündel

Ähnlich wie sich die Konstruktion der projektiven Räume von Vektorräumen über den anderen Divisionsalgebren nicht verallgemeinern lässt, verallgemeinern sich ebenfalls die entsprechenden Faserbündel nicht. Diese sind jeweils:

Reeller projektiver Raum: $S^{0}\rightarrow S^{n}\rightarrow \mathbb {R} P^{n}$
Komplexer projektiver Raum: $S^{1}\rightarrow S^{2n+1}\rightarrow \mathbb {C} P^{n}$ und $S^{1}\rightarrow \mathbb {R} P^{2n+1}\rightarrow \mathbb {C} P^{n}$
Quaternionischer projektiver Raum: $S^{3}\rightarrow S^{4n+3}\rightarrow \mathbb {H} P^{n}$ und $S^{2}\rightarrow \mathbb {C} P^{2n+1}\rightarrow \mathbb {H} P^{n}$

Die analogen Verallgemeinerungen $S^{7}\rightarrow S^{8n+7}\rightarrow \mathbb {O} P^{n}$ und $S^{4}\rightarrow \mathbb {H} P^{2n+1}\rightarrow \mathbb {O} P^{n}$ für den oktonionischen projektiven Raum sind jeweils Faserbündel mit $n=0$ für beide (trivialerweise mit $\mathbb {H} P^{1}\cong S^{4}$ ) und mit $n=1$ für erstere (welche die oktonische Hopf-Faserung ist), aber nicht für $n=1$ für zweitere ( $S^{4}\rightarrow \mathbb {H} P^{3}\rightarrow S^{8}$ ) oder mit $n=2$ für beide ( $S^{4}\rightarrow \mathbb {H} P^{5}\rightarrow \mathbb {O} P^{2}$ und $S^{7}\rightarrow S^{23}\rightarrow \mathbb {O} P^{2}$ ).^[8]

Literatur

Allen Hatcher: Algebraic Topology. Cambridge University Press, 2001, ISBN 978-0-521-79160-1 (englisch, cornell.edu).

Weblinks

Oktonionischer projektiver Raum auf nLab (englisch)
Cayley-Ebene auf nLab (englisch)

Einzelnachweise

↑ ^a ^b ^c ^d Malte Lackmann: The octonionic projective plane. 16. September 2019, abgerufen am 31. Januar 2024 (englisch).
↑ projective space. Abgerufen am 31. Januar 2024 (englisch).
↑ octonionic Hopf fibration. Abgerufen am 31. Januar 2024 (englisch).
↑ Arnold-Kuiper-Massey theorem. Abgerufen am 5. Februar 2024 (englisch).
↑ Konrad Voelkel: Motivic cell structures for projective spaces over split quaternions. 2016, abgerufen am 2. Februar 2024 (englisch).
↑ ^a ^b Cayley plane. Abgerufen am 2. Februar 2024 (englisch).
↑ Mimura, Mamoru The homotopy groups of Lie groups of low rank: The homotopy groups of Lie groups of low rank. Hrsg.: J. Math. Kyoto Univ. 1967, S. 169 (englisch, projecteuclid.org).
↑ Allen Hatcher: Algebraic Topology. S. 517, Exercise 4.

[:49-1] Malte Lackmann: The octonionic projective plane. 16. September 2019, abgerufen am 31. Januar 2024 (englisch).

[:34-2] projective space. Abgerufen am 31. Januar 2024 (englisch).

[3] octonionic Hopf fibration. Abgerufen am 31. Januar 2024 (englisch).

[4] Arnold-Kuiper-Massey theorem. Abgerufen am 5. Februar 2024 (englisch).

[5] Konrad Voelkel: Motivic cell structures for projective spaces over split quaternions. 2016, abgerufen am 2. Februar 2024 (englisch).

[:0-6] Cayley plane. Abgerufen am 2. Februar 2024 (englisch).

[7] Mimura, Mamoru The homotopy groups of Lie groups of low rank: The homotopy groups of Lie groups of low rank. Hrsg.: J. Math. Kyoto Univ. 1967, S. 169 (englisch, projecteuclid.org).

[8] Allen Hatcher: Algebraic Topology. S. 517, Exercise 4.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

Land Brandenburg

Oktonionischer projektiver Raum

Inhaltsverzeichnis

Konstruktion

Alle Beispiele

Eigenschaften

Algebraische Topologie

Homotopie

Kohomologie

Faserbündel

Literatur

Weblinks

Einzelnachweise

What are your Feelings

Oktonionischer projektiver Raum

Konstruktion

Alle Beispiele

Eigenschaften

Algebraische Topologie

Homotopie

Kohomologie

Faserbündel

Literatur

Weblinks

Einzelnachweise

What are your Feelings

Share This Article :