Komplexer projektiver Raum

Ein komplexer projektiver Raum ist in der Mathematik der projektive Raum eines komplexen Vektorraumes, welcher sämtliche komplexe Ursprungsgeraden (eindimensionale komplexe Untervektorräume, also zweidimensionale reelle Untervektorräume) von diesem enthält. $ℂP^n$ notiert dabei den projektiven Raum von ${ℂ}^{n+1}$ und wird $n$-ter komplexer projektiver Raum genannt. Ein komplexer projektiver Raum ist ein Spezialfall einer Graßmann-Mannigfaltigkeit durch $ℂP^n={\mathrm{Gr}}_1({ℂ}^{n+1})$.

Konstruktion

Auf dem komplexen euklidischen Raum ${ℂ}^{n+1}\setminus \{0\}$ ohne Ursprung ist die Relation $x\sim y$, wenn es einen komplexen Skalar $\lambda \in {ℂ}^{\times }=ℂ\setminus \{0\}$ mit $x=\lambda y$ gibt, eine Äquivalenzrelation. $ℂP^n$ ist der Faktorraum von ${ℂ}^{n+1}\setminus \{0\}$ unter dieser Äquivalenzrelation. Die Äquivalenzklasse einer Koordinate $(z_0,\dots ,z_n)\in {ℂ}^{n-1}\setminus \{0\}$ wird als $[z_0:\dots :z_n]\in ℂP^n$ notiert. Dieser Raum ist eine komplexe Mannigfaltigkeit, was an der alternativen Definition durch die eindimensionalen Untervektorräume von ${ℂ}^{n+1}$, also als Graßmann-Mannigfaltigkeit $ℂP^n={\mathrm{Gr}}_1({ℂ}^{n+1})$, erkennbar ist. Dabei gilt:

${\dim }_{ℂ}ℂP^n=n\text{ bzw. }{\dim }_{ℝ}ℂP^n=2n$.

Eine alternative Konstruktion ist die Einschränkung auf die Sphären $S^{2n+1}\subset {ℂ}^{n+1}\setminus \{0\}$ und $S^1\subset ℂ\setminus \{0\}$ bei der Betrachtung dieser Äquivalenzrelation. Dadurch ergibt sich ein Faserbündel:

$S^1\to S^{2n+1}\to ℂP^n.$

Niedrigdimensionale Beispiele

• $ℂP^0$ ist der einpunktige Raum.
• $ℂP^1$ wird komplexe projektive Gerade oder Riemannsche Zahlenkugel genannt und ist homöomorph zur $2$-Sphäre $S^2$. Die zusammen mit der kanonischen Projektion ${ℂ}^2\to ℂP^1$ erzeugte Abbildung ${ℂ}^2\cong {ℝ}^4\supset S^3\to S^2\cong ℂP^1$ zwischen Sphären ist die komplexe Hopf-Faserung $h_{ℂ}$.
• $ℂP^2$ wird komplexe projektive Ebene genannt. Nach dem Arnold–Kuiper–Massey-Theorem ist der Quotientenraum unter Wirkung der ersten orthogonalen Gruppe $\mathrm{O}(1)\cong {\mathbb{Z}}_2$ (also durch komplexe Konjugation) die $4$-Sphäre:

  $ℂP^2/\mathrm{O}(1)\cong S^4.$

• $ℂP^3$ ist homöomorph zum den Faktorräumen $\mathrm{SO}(5)/\mathrm{U}(2)$ und $\mathrm{Sp}(2)/(\mathrm{U}(1)\times \mathrm{Sp}(1))$. Mit der ersten Darstellung ergibt sich eine einfache Formulierung der Calabi–Penrose-Faserung (oder Twistor-Faserung).

Eigenschaften

• Jede stetige Abbildung $ℂP^n\to ℂP^n$ mit $n$ gerade hat einen Fixpunkt (also $ℂP^n$ die Fixpunkteigenschaft für $n$ gerade). Für $n$ ungerade gilt dies nicht, da dann die Abbildung $ℂP^n\to ℂP^n,[z_0:z_1:....:z_{n-1}:z_n]\mapsto [z_1:-z_0:....:z_n:-z_{n-1}]$ keinen Fixpunkt hat.
• Es ist $\mathrm{TC}(ℂP^n)=2n+1$ (mit der Konvention $\mathrm{TC}(\{*\})=1$).

CW-Struktur

Der komplexer projektive Raum $ℂP^n$ ist ein CW-Komplex. $ℂP^n$ entsteht aus $ℂP^{n-1}$ durch Anklebung einer $2n$-Zelle. Da $ℂP^0$ aus einer $0$-Zelle besteht, hat die CW-Struktur auf $ℂP^n$ daher eine Zelle in jeder geraden Dimension $k$ von $0\le k\le 2n$.

Verbindung mit dem reellen projektiven Raum

Die reellen projektiven Räume lassen sich mit den komplexen projektiven Räumen verbinden. ${ℝ}^{2n}$ ist isomorph zu ${ℂ}^n$ als $ℝ$-Vektorraum durch den $ℝ$-Vektorraumisomorphismus:

$\varphi :{ℝ}^{2n}\to {ℂ}^n,(x,y)\mapsto x+iy.$

Durch den Übergang auf die jeweiligen Äquivalenzklassen ihrer projektiven Räume ergibt sich eine stetige Abbildung:

$[\varphi ]:ℝP^{2n-1}\to ℂP^{n-1},[x]\mapsto [\varphi (x)].$

Diese Abbildung ist wohldefiniert, denn für $x,y\in {ℝ}^{2n}\setminus \{0\}$, für die ein $\lambda \in ℝ\setminus \{0\}$ mit $x=\lambda y$ existiert (also $x\sim y$ in $ℝP^{2n-1}$), gilt $\varphi (x)=\lambda \varphi (y)$ (also $\varphi (x)\sim \varphi (y)$ in $ℂP^{n-1}$), da $\varphi$ ein $ℝ$-Vektorraumisomorphismus ist. Es ergibt sich sogar ein Faserbündel:

$S^1\to ℝP^{2n-1}\to ℂP^{n-1}.$

Für $n=2$ ergibt sich dabei mit $ℂP^1\cong S^2$ der Spezialfall:

$S^1\to ℝP^3\to S^2.$

Algebraische Topologie

Homotopie

Die Homotopiegruppen des komplexen projektiven Raumes $ℂP^n$ lassen sich über die lange exakte Sequenz von Homotopiegruppen des Faserbündels $S^1\to S^{2n+1}\to ℂP^n$ berechnen und sind gegeben durch:

${\pi }_k(ℂP^n)\cong \{\begin{array}{cc}0& ;k=1\\ \mathbb{Z}& ;k=2\\ {\pi }_k(S^{2n+1})& ;k>2\end{array}.$

Homologie

Die Homologiegruppen des komplexen projektiven Raumes $ℂP^n$ lassen sich über zelluläre Homologie aus dessen CW-Struktur berechnen und sind mit einer abelsche Gruppe $G$ gegeben durch:

$H_k(ℂP^n;G)\cong \{\begin{array}{cc}G& ;k\text{ gerade},0\le k\le 2n\\ 1& ;\text{sonst.}\end{array}.$

Kohomologie

Die Kohomologiegruppen des komplexen projektiven Raumes $ℂP^n$ sind mit einer abelsche Gruppe $G$ gegeben durch:

$H^k(ℂP^n;G)\cong \{\begin{array}{cc}G& ;k\text{ gerade},0\le k\le 2n\\ 1& ;\text{sonst.}\end{array}.$

Für den Kohomologiering gilt:

$H^{*}(ℂP^n;\mathbb{Z})=\mathbb{Z}[c_1]/(c_1^{n+1}),$

wobei $c_1$ die erste Chern-Klasse ist.

K-Theorie

Tautologisches Geradenbündel

Es gibt ein kanonisches (komplexes) Geradenbündel über dem komplexen projektiven Raum $ℂP^n$, da dessen Punkte per Konstruktion aus eindimensionalen (komplexen) Untervektorräumen bestehen, definiert durch:

${\gamma }_{ℂ}^{1,n}:=\{(z,V)\in {ℂ}^{n+1}\times ℂP^n|z\in V\}$

${\pi }_{ℂ}^{1,n}:{\gamma }_{ℂ}^{1,n}\to ℂP^n,(z,V)\mapsto V.$

Das ist ein Spezialfall des tautologischen Vektorbündels über Graßmann-Mannigfaltigkeiten.

Tangentialbündel

Für das Tangentialbündel des komplexen projektiven Raumes $ℂP^n$ gilt:

$TℂP^n\oplus \underset{\_}{ℂ}\cong ({\gamma }_{ℂ}^{1,n}{)}^{n+1}.$

K-Gruppen

Es gilt:

$K^0(ℂP^n)={\mathbb{Z}}^{n+1}$

$K^1(ℂP^n)=0.$

Unendlicher komplexer projektiver Raum

Die kanonische Inklusion ${ℂ}^{n+1}\hookrightarrow {ℂ}^{n+2},z\mapsto (z,0)$ erzeugt eine wohldefinierte kanonische Inklusion $ℂP^n\hookrightarrow ℂP^{n+1},[z]\mapsto [(z,0)]$. Der direkte Limes dieser Kette an Inklusionen wird als:

$ℂP^{\mathrm{\infty }}:=\underset{n\to \mathrm{\infty }}{\lim }ℂP^n$

bezeichnet und unendlicher komplexer projektiver Raum genannt.

Die obigen Faserbündel $S^1\to S^{2n+1}\to ℂP^n$ und $S^1\to ℝP^{2n-1}\to ℂP^{n-1}$erzeugen durch direkten Limes jeweils Faserbündel $S^1\to S^{\mathrm{\infty }}\to ℂP^{\mathrm{\infty }}$ und $S^1\to ℝP^{\mathrm{\infty }}\to ℂP^{\mathrm{\infty }}$. Da die unendlich-dimensionale Sphäre $S^{\mathrm{\infty }}$ zusammenziehbar ist (also alle Homotopiegruppen verschwinden), folgt aus der langen exakten Sequenz von Homotopiegruppen für die des unendlichen komplexen projektiven Raumes $ℂP^{\mathrm{\infty }}$:

${\pi }_k(ℂP^{\mathrm{\infty }})\cong {\pi }_{k-1}(S^1)=\{\begin{array}{cc}\mathbb{Z}& ;k=2\\ 1& ;\text{sonst.}\end{array}.$

Die CW-Struktur überträgt sich ebenfalls durch den direkten Limes, sodass der unendlich komplex projektive Raum $ℂP^{\mathrm{\infty }}$ eine CW-Struktur mit einer Zelle in jeder geraden Dimension hat. Mit zellulärer Homologie folgt mit einer abelsche Gruppe $G$ daraus:

$H_k(ℂP^{\mathrm{\infty }};G)=\{\begin{array}{cc}G& ;k\text{ gerade}\\ 1& ;k\text{ ungerade}\end{array}.$

Das tautologische Linienbündel lässt sich durch den direkten Limes ${\gamma }_{ℂ}^1:=\underset{n\to \mathrm{\infty }}{\lim }{\gamma }_{ℂ}^{1,n}$ über die kanonischen Inklusionen ${\gamma }_{ℂ}^{1,n}\hookrightarrow {\gamma }_{ℂ}^{1,n+1},(z,V)\mapsto ((z,0),V\times \{0\})$ auf $ℂP^{\mathrm{\infty }}$ fortsetzen und ist ein Spezialfall eines universellen Vektorbündels. Die Namensgebung kommt daher, dass sich jedes komplexe Linienbündel als zurückgezogenes Vektorbündel aus diesem erhalten lässt, also für jedes komplexe Linienbündel $\pi :E\to B$ mit $B$ parakompakt (bis auf Homotopie) eine klassifizierende Abbildung $f:B\to ℂP^{\mathrm{\infty }}$ existiert, sodass $\pi =f^{*}{\pi }_{ℂ}^1$. Es gibt daher eine Isomorphie von Mengen:

${\mathrm{Vect}}_{ℂ}^1(B)\cong [B,ℂP^{\mathrm{\infty }}].$

Etwa ist der Rückzug des universellen Vektorbündels ${\gamma }_{ℂ}^1$ entlang der kanonischen Inklusion $ℂP^n\hookrightarrow ℂP^{\mathrm{\infty }}$ (also $B=ℂP^n$) wieder das tautologische Linienbündel ${\gamma }_{ℂ}^{1,n}$.

$ℂP^{\mathrm{\infty }}$ ist $\mathrm{BU}(1)$, der klassifizierende Raum von $\mathrm{U}(1)$, der ersten unitären Gruppe, und dadurch ebenso $K(\mathbb{Z},2)$, der zweite Eilenberg–MacLane-Raum von ${\pi }_1\mathrm{U}(1)\cong \mathbb{Z}$ wie oben bereits gezeigt. Das bedeutet, dass $ℂP^{\mathrm{\infty }}$ die zweite singuläre Kohomologie mit ganzen Koeffizienten darstellt (vergleiche mit dem Brownschen Darstellungssatz), also für topologische Räume $B$ mit dem Homotopietyp eines CW-Komplexes (also insbesondere parakompakt) sogar spezieller gilt:

${\mathrm{Vect}}_{ℂ}^1(B)\cong [B,ℂP^{\mathrm{\infty }}]\cong H^2(B;\mathbb{Z}).$

Dabei ist der Isomorphismus (Homomorphismus, falls $B$ nicht vom Homotopietyp eines CW-Komplexes ist) durch die erste Chern-Klasse $c_1:{\mathrm{Vect}}_{ℂ}^1(B)\to H^2(B;\mathbb{Z})$ gegeben.

Der Kohomologiering des unendlichen komplexen projektiven Raumes $ℂP^{\mathrm{\infty }}$ mit Koeffizienten in $\mathbb{Z}$ ist gegeben durch:

$H^{*}(ℂP^{\mathrm{\infty }};\mathbb{Z})=\mathbb{Z}[c_1],$

wobei $c_1$ die erste Chern-Klasse ist. Das folgt direkt aus dem allgemeineren Resultat für den klassifizierenden Raum von $\mathrm{U}(n)$:

$H^{*}(\mathrm{BU}(n);\mathbb{Z})=\mathbb{Z}[c_1,\dots ,c_n].$

Siehe auch

• Quaternionischer projektiver Raum
• Oktonionischer projektiver Raum

Literatur

• Vorlage:Literatur
• Vorlage:Literatur

Weblinks

• Komplexer projektiver Raum auf nLab (englisch)