# Milnor-Wood-Ungleichung

Im mathematischen Gebiet der Differentialgeometrie gibt die Milnor-Wood-Ungleichung ein Hindernis für die Existenz eines flachen Zusammenhangs auf einem Faserbündel.

## Sätze von Milnor und Wood

Die klassische Milnor-Wood-Ungleichung betrifft (orientierte) flache Kreisbündel über einer Fläche $\Sigma$, deren Monodromie also durch einen Homomorphismus $\rho \colon \pi _{1}\Sigma \to Homeo^{+}(S^{1})$ gegeben ist. Eine stärkere Ungleichung erhält man für lineare flache Kreisbündel, also mit Monodromie $\rho \colon \pi _{1}\Sigma \to SL(2,\mathbb {R} )$
Satz (Milnor): Sei $\Sigma$ eine geschlossene, orientierbare Fläche vom Geschlecht $g$. Für die Eulerklasse eines linearen flachen Kreisbündels $\pi \colon E\to \Sigma$ über $\Sigma$ gilt
    $\vert eu(E)\vert \leq g-1$.
Insbesondere hat das Tangentialbündel einer geschlossenen, orientierbaren Fläche vom Geschlecht $g\geq 2$ keinen flachen Zusammenhang.
Satz (Wood): Sei $\Sigma$ eine geschlossene, orientierbare Fläche vom Geschlecht $g$. Für die Euler-Klasse eines flachen Kreisbündels $\pi \colon E\to \Sigma$ über $\Sigma$ gilt
    $\vert eu(E)\vert \leq 2g-2$.
Der Satz von Milnor folgt aus dem Satz von Wood, weil man zu einer Darstellung $\pi _{1}\Sigma \to SL(2,\mathbb {R} )$ vermöge der 2-fachen Überlagerung $SL(2,\mathbb {R} )\to PSL(2,\mathbb {R} )$ eine Darstellung $\pi _{1}\Sigma \to PSL(2,\mathbb {R} )\subset Homeo^{+}(S^{1})$ bekommt, deren Eulerzahl gerade die Hälfte der Eulerzahl der ursprünglichen Darstellung ist.
Aus dem Satz von Goldman folgt, dass die Darstellungen $\rho \colon \pi _{1}\Sigma \to PSL(2,\mathbb {R} )$ mit $eu(E_{\rho })=\pm (2g-2)$ genau die diskreten und treuen Darstellungen sind.

## Beschränkte Kohomologie

Die Beweise von Milnor und Wood benutzten Abschätzungen für Kommutatoren in $SL(2,\mathbb {R} )$ bzw. $Homeo^{+}(S^{1})$. Ein einfacherer auf Ghys und Jekel zurückgehender Beweis benutzt beschränkte Kohomologie: die universelle Eulerklasse in $H^{2}(Homeo^{+}(S^{1});\mathbb {R} )$ lässt sich durch einen beschränkten Kozykel der Norm 1/2 repräsentieren.

## Verallgemeinerungen
### Höherdimensionale Bündel

Satz (Sullivan-Smillie): Für die Euler-Klasse eines flachen $GL^{+}(n,\mathbb {R} )$-Bündels $\pi \colon E\to M$ über einer geschlossenen, orientierbaren Mannigfaltigkeit $M$ gilt die Ungleichung
    $\vert eu(E)\vert \leq {\frac {1}{2^{n}}}\parallel M\parallel$
für die Eulerklasse $eu(E)$ und das simpliziale Volumen $\parallel M\parallel$.
Man sagt, dass eine Mannigfaltigkeit $M$ der Milnor-Wood-Ungleichung mit Konstante $MW(M)\in \mathbb {R}$ genügt, wenn für jedes flache $GL^{+}(n,\mathbb {R} )$-Bündel die Ungleichung
    $\vert eu(E)\vert \leq MW(M)\vert \xi (M)\vert$
für die Eulerklasse $eu(E)$ und die Euler-Charakteristik $\chi (M)$ gilt. Aus dem Satz von Milnor folgt $MW(\Sigma _{g})={\frac {1}{2}}$ und aus einem Satz von Bucher-Gelander $MW(M_{1}\times M_{2})=MW(M_{1})MW(M_{2})$.

### Toledo-Invariante

Sei $X=G/K$ ein Hermitescher symmetrischer Raum nichtkompakten Typs vom Rang $p$ und $\omega$ die Kählerform der Bergman-Metrik. Dann gilt für eine stetige Abbildung $f\colon \Sigma \to X$ einer Fläche $\Sigma$ vom Geschlecht $g$ die Ungleichung
    $\vert \int _{\Sigma }f^{*}\omega \vert \leq 4p(g-1)\pi$.
Diese Ungleichung lässt sich interpretieren als Abschätzung für die Norm der Kählerklasse (und damit der Toledo-Invariante) in beschränkter Kohomologie. Sie verallgemeinert die Abschätzung der Eulerklasse für $G/K=SL(2,\mathbb {R} )/SO(2)$.