Eigenschaft T

In der Mathematik ist Eigenschaft T (auch Kazhdans Eigenschaft T) eine Starrheitseigenschaft topologischer Gruppen, die zuerst von David Kazhdan in den 1960er Jahren betrachtet wurde.

Spätere Entwicklungen zeigten, dass Eigenschaft T in vielen Gebieten der Mathematik eine Rolle spielt, darunter diskrete Untergruppen von Lie-Gruppen, Ergodentheorie, Random Walks, Operatoralgebren, Kombinatorik und theoretische Informatik.

Eine Version, die unter anderem bei Beweisen im Zimmer-Programm verwendet wird, ist die von Vincent Lafforgue eingeführte starke Eigenschaft T.

Definition[Bearbeiten | Quelltext bearbeiten]

Sei $\pi \colon G\to U({\mathcal {H}})$ eine stark stetige, unitäre Wirkung einer topologischen Gruppe $G$ auf einem Hilbertraum ${\mathcal {H}}$ .

Für eine kompakte Menge $Q\subset G$ und $\epsilon >0$ heißt ein Vektor $z\in {\mathcal {H}}$ $(Q,\epsilon )$ -invariant, wenn

\sup _{g\in Q}\parallel \pi (g)z-z\parallel <\epsilon \parallel z\parallel

.

$G$ hat Eigenschaft T, wenn es eine kompakte Menge $Q\subset G$ und ein $\epsilon >0$ gibt, so dass es für jede unitäre Wirkung einen $(Q,\epsilon )$ -invarianten Vektor gibt.

Beispiele[Bearbeiten | Quelltext bearbeiten]

Jede kompakte Gruppe hat Eigenschaft T. Man kann $Q=G$ und $\epsilon ={\sqrt {2}}$ wählen.
$\mathbb {R} ^{n}$ und $\mathbb {Z} ^{n}$ haben Eigenschaft T nicht.
Eine lokal kompakte Gruppe ist genau dann kompakt, wenn sie mittelbar ist und Eigenschaft T hat.
$SL(n,\mathbb {R} )$ hat genau dann Eigenschaft T, wenn $n\geq 3$ ist. Allgemeiner haben für jeden lokalen Körper $K$ die Gruppen $SL(n,K)$ mit $n\geq 3$ und $Sp(2n,K)$ mit $n\geq 2$ Eigenschaft T.
Einfache Lie-Gruppen mit $rk_{\mathbb {R} }(G)\geq 2$ haben Eigenschaft T.

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Jede lokal kompakte Gruppe mit Eigenschaft T ist kompakt erzeugt. Insbesondere sind Gitter mit Eigenschaft T endlich erzeugt.
Wenn $G$ Eigenschaft T hat, dann hat $G/N$ Eigenschaft T für jeden Normalteiler $N$ .
Wenn $G$ lokal kompakt, $H\subset G$ abgeschlossen und $G/H$ ein endliches, reguläres, $G$ -invariantes Borel-Maß hat, dann hat $H$ genau dann Eigenschaft T, wenn dies auf $G$ zutrifft. Insbesondere hat ein Gitter $\Gamma \subset G$ genau dann Eigenschaft T, wenn dies auf $G$ zutrifft.
Nach dem Satz von Delorme-Guichardet hat eine Gruppe $G$ genau dann Eigenschaft T, wenn sie Eigenschaft FH hat: jede stetige Wirkung durch affine Isometrien auf einem Hilbert-Raum ${\mathcal {H}}$ hat einen Fixpunkt. Äquivalent dazu muss $H^{1}(G,\pi )=0$ für alle unitären Darstellungen $\pi \colon G\to U({\mathcal {H}})$ sein.
Aus Eigenschaft FH folgt beispielsweise, dass jede Wirkung der Gruppe als Isometrien eines Baumes oder eines hyperbolischen Raumes einen Fixpunkt haben muss, und dass jede orientierungserhaltende, $C^{\infty }$ -Wirkung der Gruppe auf dem Kreis über die Wirkung einer endlichen zyklischen Gruppe faktorisiert.