Ferrand-Invariante
# Ferrand-Invariante

In der Mathematik ist die Ferrand-Invariante eine nach Jacqueline Ferrand benannte Invariante, die insbesondere bei der Untersuchung konformer Abbildungen von Nutzen ist.

## Definition

Die Ferrand-Invariante $j(x,y,z,t)$ von vier Punkten $x,y,z,t$ in einer $n$-dimensionalen Riemannschen Mannigfaltigkeit $M$ ist das Infimum der Kapazität $c(F_{0},F_{1})$ über alle disjunkten, kompakten Mengen mit $x,y\in F_{0}$ und $z,t\in F_{1}$.

Dabei ist die Kapazität zweier disjunkter Mengen definiert als das Infimum von $\int \vert du\vert ^{n}$ über alle glatten Funktionen mit $u|_{F_{0}}\equiv 0,u|_{F_{1}}\equiv 1$.

Die Invariante ist unendlich, falls $x$ oder $y$ mit $z$ oder $t$ übereinstimmt.

## Eigenschaften

* Die Invariante ist stets positiv: $j(x,y,z,t)\not =0$.
* Durch die auf dem Komplement von $\left\{z,t\right\}$ definierte Metrik $d(x,y):=j(x,y,z,t)^{1/(1-n)}$ wird auf $M\setminus \left\{z,t\right\}$ die übliche Topologie der Riemannschen Mannigfaltigkeit definiert.
* Die Metrik geht gegen unendlich, wenn (für festes $y$) $x$ gegen $z$ oder (für festes $x$) $y$ gegen $t$ strebt.

## Anwendungen

* Die Ferrand-Invariante ermöglicht Abschätzungen für den Stetigkeitsmodul konformer Abbildungen.
* Mit Hilfe der Invariante bewies Ferrand, dass die Gruppe der drei Punkte y,z,t festlassenden konformen Abbildungen eine kompakte Gruppe ist.
* Für eine divergierende Folge konformer Abbildungen $f_{i}$ kann man zeigen, dass es höchstens zwei mögliche Grenzwerte von Folgen $f_{i}(x_{i})$ gibt. Falls es tatsächlich zwei solche Grenzwerte $z\not =t$ gibt, dann sendet eine Teilfolge der $f_{i}$ das Komplement jeder Umgebung von $z$ in beliebig kleine Umgebungen von $t$. Divergierende Folgen konformer Abbildungen zeigen also stets eine Nord-Süd-Dynamik.
* Aus dem vorherigen Punkt folgt, dass Mannigfaltigkeiten mit divergierenden Folgen konformer Abbildungen einfach zusammenhängend und konform flach sein müssen, insbesondere also eine Sphäre sind. Mit diesem Argument bewies Ferrand die Lichnerowicz-Vermutung: eine kompakte Riemannsche Mannigfaltigkeit mit einer nichtkompakten Gruppe konformer Transformationen muss konform äquivalent zur Einheitssphäre sein.
* Abschätzungen für die Ferrand-Invariante sind ein wichtiges Hilfsmittel in der Regularitätstheorie quasikonformer Abbildungen. Insbesondere wird sie verwendet für den Beweis der quasi-isometrischen Starrheit hyperbolischer Gebäude und der Charakterisierung 2-dimensionaler Sphären bis auf Quasi-Symmetrie.
