Tripelverhältnis
# Tripelverhältnis

In der Mathematik ist das Tripelverhältnis (engl. triple ratio) eine Invariante der linearen Algebra, die das Doppelverhältnis der projektiven Geometrie verallgemeinert und insbesondere in der Darstellungstheorie von Flächengruppen von Bedeutung ist.

## Fahnen, generische Tripel

Es sei $V$ ein $n$-dimensionaler Vektorraum. Eine vollständige Fahne ist eine Folge $(E_{0},E_{1},\ldots ,E_{n})$ von Untervektorräumen mit
    $E_{0}\subsetneq E_{1}\subsetneq \ldots \subsetneq E_{n}$
und $\dim E_{i}=i$ für $i=0,\ldots ,n$, insbesondere $E_{0}=0$ und $E_{n}=V$.
Ein Tripel $(E,F,G)$ vollständiger Fahnen heißt generisch, wenn alle vorkommenden Unterräume transversal zueinander sind, eine hinreichende Bedingung hierfür ist
    $E_{a}\cap F_{b}\cap G_{c}=0\ \forall \ a+b+c=n$.

## Definition

Sei $(E,F,G)$ ein generisches Tripel vollständiger Fahnen eines $n$-dimensionalen Vektorraums $V$. Wir fixieren einen Isomorphismus $V\simeq \mathbb {R} ^{n}$ und damit auch einen Isomorphismus $\Lambda ^{n}V\simeq \mathbb {R}$.
Für jedes $i=1,\ldots ,n$ wählen wir Elemente
    $e^{i}\in \Lambda ^{i}E_{i},f^{i}\in \Lambda ^{i}F_{i},g^{i}\in \Lambda ^{i}G_{i}$.
(Wegen $\Lambda ^{i}E_{i}\simeq \mathbb {R} ,\Lambda ^{i}F_{i}\simeq \mathbb {R} ,\Lambda ^{i}G_{i}\simeq \mathbb {R}$ sind diese Elemente eindeutig bis auf Multiplikation mit von Null verschiedenen reellen Zahlen.) Wir bezeichnen die Bilder dieser Elemente in $\Lambda ^{i}V$ ebenfalls mit $e^{i},f^{i},g^{i}$.
Seien $a,b,c$ positive, ganze Zahlen mit $a+b+c=n$. Das (a,b,c)-Tripelverhältnis des generischen Tripels vollständiger Fahnen $(E,F,G)$ wird definiert durch die Formel
    $T_{abc}(E,F,G):={\frac {e^{a+1}\wedge f^{b}\wedge g^{c-1}}{e^{a-1}\wedge f^{b}\wedge g^{c+1}}}{\frac {e^{a}\wedge f^{b-1}\wedge g^{c+1}}{e^{a}\wedge f^{b+1}\wedge g^{c-1}}}{\frac {e^{a-1}\wedge f^{b+1}\wedge g^{c}}{e^{a+1}\wedge f^{b-1}\wedge g^{c}}}\in \mathbb {R}$.
Die sechs Wedgeprodukte sind jeweils Elemente von $\Lambda ^{n}V=\mathbb {R}$, aus der Annahme der Generizität folgt, dass sie alle von Null verschieden sind. Man beachte, dass die $e^{i}\in \Lambda ^{i}E_{i},f^{i}\in \Lambda ^{i}F_{i},g^{i}\in \Lambda ^{i}G_{i}$ nur bis auf Multiplikation mit reellen Zahlen eindeutig definiert sind, dass aber jedes Element in Zähler und Nenner gleichermaßen vorkommt und $T_{abc}(E,F,G)$ deshalb wohldefiniert ist.

## Geometrische Interpretation für n=3

Das Tripelverhältnis dreier Fahnen $(A,a),(B,b),(C,c)$ in $P^{2}$ ist das Doppelverhältnis der vier projektiven Geraden $a,AB,A(b\cap c),AC$ nach Identifikation der Menge der projektiven Geraden in $P^{2}$ mit einer projektiven Geraden $P^{1}$.
Insbesondere gilt:
* das Tripelverhältnis ist −1 genau dann, wenn entweder die Geraden $A(b\cap c),B(c\cap a),C(a\cap b)$ einen gemeinsamen Punkt haben (Satz von Ceva) oder die Punkte $A,B,C$ auf einer Geraden liegen (Satz von Menelaos) oder beides.
* das Tripelverhältnis ist positiv genau dann, wenn das Dreieck ABC dem Dreieck $(a\cap b)(b\cap c)(c\cap a)$ einbeschrieben ist.

## Vollständige Invariante

Das Tripelverhältnis ist eine vollständige Invariante generischer Tripel unter Basiswechseln $A\in GL(V)$:
Satz (Fock-Goncharov): Zu zwei generischen Tripeln vollständiger Fahnen $(E,F,G)$ und $(E^{\prime },F^{\prime },G^{\prime })$ gibt es genau dann eine lineare Abbildung $A\in GL(V)$ mit
    $AE_{i}=E_{i}^{\prime },AF_{i}=F_{i}^{\prime },AG_{i}=G_{i}^{\prime },i=0,\ldots ,n$,
wenn
    $T_{a,b,c}(E,F,G)=T_{abc}(E^{\prime },F^{\prime },G^{\prime })$
für alle Tripel positiver, ganzer Zahlen $a,b,c$ mit $a+b+c=n$ gilt.