In der Mathematik sind flache Mannigfaltigkeiten Riemannsche Mannigfaltigkeiten mit Schnittkrümmung konstant null.

Definition

Eine flache Mannigfaltigkeit ist eine vollständige Riemannsche Mannigfaltigkeit mit Schnittkrümmung konstant ${\displaystyle 0}$. (Eine Riemannsche Metrik mit Schnittkrümmung konstant ${\displaystyle 0}$ heißt flache Metrik. Eine flache Mannigfaltigkeit ist also eine Mannigfaltigkeit mit einer vollständigen flachen Metrik.)

Andere Charakterisierungen

Es gibt zwei weitere Möglichkeiten, den Begriff der flachen Mannigfaltigkeit zu definieren. So wird festgelegt,

• eine ${\displaystyle n}$-dimensionale flache Mannigfaltigkeit ist eine Riemannsche Mannigfaltigkeit, deren universelle Überlagerung isometrisch zum euklidischen Raum ${\displaystyle \mathbb {E} ^{n}}$ (das heißt dem ${\displaystyle \mathbb {R} ^{n}}$ mit der euklidischen Metrik ${\displaystyle dx_{1}^{2}+\ldots +dx_{n}^{2}}$) ist.

• eine flache Mannigfaltigkeit ist eine Riemannsche Mannigfaltigkeit der Form ${\displaystyle \Gamma \backslash \mathbb {E} ^{n}}$, wobei ${\displaystyle \Gamma \subset Isom(\mathbb {E} ^{n})\cong O(n)\ltimes \mathbb {R} ^{n}}$ eine diskrete Untergruppe der Gruppe der Isometrien des euklidischen Raumes ist.

Diese beiden Definitionen sind zueinander und zur Definition im Abschnitt darüber äquivalent. Die Äquivalenz zwischen der ursprünglichen Definition und der ersten Definition in diesem Abschnitt folgt aus dem Satz von Cartan; die Äquivalenz der beiden Definitionen aus diesem Abschnitt ergibt sich aus der Überlagerungstheorie.

Insbesondere ist eine einfach zusammenhängende flache Mannigfaltigkeit isometrisch zum euklidischen Raum.

Bieberbach-Gruppen

Wenn ${\displaystyle M=\Gamma \backslash \mathbb {E} ^{n}}$ eine flache Mannigfaltigkeit ist, dann muss ${\displaystyle \Gamma \subset \operatorname {Isom} (\mathbb {E} ^{n})}$ torsionsfrei sein. Die Gruppe ${\displaystyle \Gamma }$ ist dann isomorph zur Fundamentalgruppe von ${\displaystyle M}$.

Wenn ${\displaystyle M}$ zusätzlich kompakt ist, dann ist ${\displaystyle \Gamma }$ eine kristallographische Gruppe vom Rang ${\displaystyle n}$, eine sogenannte Raumgruppe. Weil ${\displaystyle \Gamma }$ torsionsfrei sein muss, ist es dann eine Bieberbachgruppe.

Nach dem 1. Bieberbachschen Satz gibt es eine Untergruppe ${\displaystyle A\subset \Gamma }$ von endlichem Index mit ${\displaystyle A\cong \mathbb {Z} ^{n}}$. Der Quotient ${\displaystyle H:=\Gamma /A}$ wird als Holonomiegruppe der flachen Mannigfaltigkeit bezeichnet.

Beispiele

Aus dem Satz von Chern-Gauß-Bonnet folgt, dass die Euler-Charakteristik einer flachen Mannigfaltigkeit immer null sein muss.

Weblinks

• Hantzsche-Wendt flat manifolds (PDF; 456 kB)

Literatur

• Wolf, Joseph A.: Spaces of constant curvature. Sixth edition. AMS Chelsea Publishing, Providence, RI, 2011. ISBN 978-0-8218-5282-8

Quellen

1. ↑ Hantzsche-Wendt: "Dreidimensionale euklidische Raumformen"