Hopf-Konstruktion

Im mathematischen Teilgebiet der Algebraischen Topologie ist die Hopf-Konstruktion eine spezielle Zuordnung für stetige Abbildungen aus einem Produkt topologischer Räume auf eine andere stetige Abbildung durch die Verwendung der topologischen Konstruktionen von Verbund und Einhängung. Die Hopf-Konstruktion lässt sich allgemein in der Homotopietheorie anwenden, da die Einschränkung auf die Homotopieklassen der stetigen Abbildungen wohldefiniert ist, sowie für die Verknüpfungsabbildung von topologischen Gruppen. Bekannte Anwendungen sind die Konstruktion von Hopf-Faserungen und dem J-Homomorphismus. Sie ist benannt nach dem deutsch-schweizerischen Mathematiker Heinz Hopf.

Definition

Für topologische Räume $X$ und $Y$ gibt es eine kanonische Abbildung $H'\colon X*Y\rightarrow \Sigma (X\times Y),[(x,y,t)]\mapsto [(x,y,t)]$ von ihrem Verbund in die Einhängung ihres Produktes. Beide Räume sind Quotientenräume von $X\times Y\times [0,1]$ , wobei für den Verbund die Teilmengen $X\times Y\times \{0\}$ und $X\times Y\times \{1\}$ nur entlang von jeweils $X$ und $Y$ kollabiert werden, während sie in der Einhängung komplett kollabiert werden, also die Äquivalenzrelation für letztere stärker ist.

Für einen weiteren topologischen Raum $Z$ und eine stetige Abbildung $f\colon X\times Y\rightarrow Z$ ist die Abbildung $H_{f}:=\Sigma f\circ H'\colon X*Y\rightarrow \Sigma Z$ ihre Hopf-Konstruktion. Da homotope Abbildungen homotope Einhängungen haben und die Komposition mit einer anderen Abbildung homotope Abbildungen erhält, haben homotope Abbildungen homotope Hopf-Konstruktionen, wodurch diese als Abbildung $H\colon [X\times Y,Z]\rightarrow [X*Y,\Sigma Z],[f]\mapsto [H_{f}]$ wohldefiniert sind.

Anwendung

Insbesondere verfügt eine topologische Gruppe (oder allgemeiner ein H-Raum) $X$ über eine stetige Verknüpfung $X\times X\rightarrow X$ und daher durch die Hopf-Konstruktion über eine kanonische Abbildung $X*X\rightarrow \Sigma X$ . Da Verbund und Einhängung von Sphären wieder Sphären ergeben mit $S^{m}*S^{n}\cong S^{m+n+1}$ und $\Sigma S^{n}\cong S^{n+1}$ , erzeugt eine Sphäre $S^{n}$ mit einer stetigen Verknüpfungsabbildung über deren Hopf-Konstruktion eine stetige Abbildung $S^{2n+1}\rightarrow S^{n+1}$ . Dies sind genau die Abbildungen, für die die Hopf-Invariante definiert ist.

Jedoch ist die Sphäre $S^{n}$ keine topologische Gruppe (und nicht einmal ein H-Raum) für $n\neq 0,1,3,7$ . Das hängt mit der Existenz der vier Divisionsalgebren $\mathbb {R}$ , $\mathbb {C}$ , $\mathbb {H}$ und $\mathbb {O}$ in einer Dimension höher zusammen, da deren Multiplikation auf der Einheitskugel betrachtet werden kann. $S^{0}$ ist diffeomorph zur orthogonalen Lie-Gruppe $\operatorname {O} (1)\cong \mathbb {Z} _{2}$ , $S^{1}$ ist diffeomorph zur unitären Lie-Gruppe $\operatorname {U} (1)$ , $S^{3}$ ist diffeomorph zur speziellen unitären Lie-Gruppe $\operatorname {SU} (2)$ und $S^{7}$ verfügt über die Moufang-Struktur. Die jeweiligen Hopf-Konstruktionen sind eine Möglichkeit zur Erzeugung der vier Hopf-Faserungen.