Buekenhout-Tits-Geometrie
# Buekenhout-Tits-Geometrie

Die Bezeichnung Buekenhout-Tits Geometrie (auch Buekenhout-Geometrie oder Diagramm-Geometrie genannt) steht in der Geometrie für eine gemeinsame Verallgemeinerung der Begriffe projektive Geometrie, affine Geometrie, Blockplan, linearer Raum und vieler weiterer verwandter Begriffe. Das Konzept wurde in den Jahren nach 1956 maßgeblich von Jacques Tits und später seinem Schüler Francis Buekenhout entwickelt, nach denen es inzwischen auch benannt ist. Die Grundidee dieses Konzeptes ist es, von Details der geometrischen Struktur weitgehend abzusehen und dafür die Eigenschaften klassischer Strukturen und deren Verallgemeinerungen zu untersuchen, die mit dem klassischen geometrischen Begriff „Fahne“ verbunden sind.
Die Diagramm-Geometrie wurde von Tits mit einigem Erfolg auf (nichtkommutative) endliche einfache Gruppen und deren Klassifikation angewandt. Diese Gruppen lassen sich mit rein gruppentheoretischen Methoden bis heute kaum weiter sinnvoll zerlegen: Ihr Normalteilerverband ist trivial und ihr Untergruppenverband schon bei den kleinsten Vertretern zu groß und in seiner Struktur zu wenig charakteristisch, als dass er einen Ansatzpunkt für Untersuchungen, geschweige denn eine Klassifikation bieten könnte. Andererseits ist lange bekannt, dass viele der einfachen Gruppen auf klassischen geometrischen Strukturen oder deren Verallgemeinerungen als volle Automorphismengruppen oder als eine deren Unter- oder Faktorgruppen operieren (siehe als Beispiel Wittscher Blockplan), häufig sind diese „geometrischen“ Strukturen projektive Ebenen oder (allgemeiner) Blockpläne. Der Ansatz von Tits bestand zunächst darin, einer Gruppe, die auf geometrischen Strukturen unterschiedlicher Art als Gruppe von Automorphismen operiert, eine geeignete „zusammengesetzte, geometrische“ Struktur zuzuordnen, die möglichst viele wesentliche Informationen der verschiedenen Ausgangsstrukturen widerspiegelt.
Eine weitere wichtige Anwendung liegt in der Untersuchung von induzierten Geometrien, die sich zum Beispiel aus quadratischen Mengen auf endlichen projektiven Räumen ergeben, vergleiche die Abbildung am Ende der Einleitung. Historisch bemerkenswert ist, dass bereits im Jahr 1896 Eliakim Hastings Moore ein Konzept für eine abstrakte Geometrie, die im Wesentlichen der Diagramm-Geometrie entspricht, vorgeschlagen hat. Zu Moores Zeiten wurde dies aber nicht weiter verfolgt.

## Leitideen

Die Diagramm-Geometrie verallgemeinert Konzepte, die aufgrund von Fragestellungen aus sehr unterschiedlichen Teilgebieten der Mathematik entstanden sind. Daher werden viele geometrische Begriffe mit einem neuen, allgemeineren Inhalt gefüllt, der oft die sonst üblichen Begriffe nicht im formalen Sinn verallgemeinert. Eine Inzidenzstruktur ist zum Beispiel keine Geometrie im Sinne der Diagramm-Geometrie, aber jede Inzidenzstruktur lässt sich auch in natürlicher Weise als Diagramm-Geometrie (und zwar vom Rang 2) auffassen. Als Leitidee kann hier das Konzept der (endlichdimensionalen) projektiven Geometrien gelten, daher wird in diesem Artikel häufig der entsprechende Begriff für projektive Geometrien dem Begriff aus der Diagrammgeometrie gegenübergestellt. Tatsächlich bilden projektive Ebenen zusammen mit zwei Arten von trivialen Rang-2 Geometrien die wichtigsten Grundbausteine der bis heute untersuchten Diagramm-Geometrien.

### Grundkonzepte aus der projektiven Geometrie

Ein endlichdimensionaler projektiver Raum bestimmt die Menge $S$ seiner echten projektiven Unterräume (einschließlich der Menge seiner Punkte, aber hier ohne die leere Menge und den Gesamtraum). Jedem Element von $S$ kann durch eine „Typisierungsfunktion“ $t:S\rightarrow \Delta$ ein „Typ“ aus einem Indexvorrat $\Delta$ (hier etwa seine jeweilige projektive Dimension) zugeordnet werden. Die Menge dieser Typen kann durch eine endliche Menge, zum Beispiel $\Delta =\{{\text{Punkt, Gerade, Ebene,}}\ldots \}$ beschrieben werden. Die Anzahl der tatsächlich auftretenden Typen $|t(S)|$ ist dann die projektive Dimension (oder der „Rang“) des Gesamtraumes. Auf der Menge $S$ der „Elemente“ (echten Unterräume) ist durch die symmetrisierte Teilraumrelation $UIV\leftrightarrow \left(U\leq V\lor V\leq U\right)$ eine Inzidenzrelation gegeben.
Eine Fahne in einer solchen projektiven Geometrie ist eine durch die antisymmetrische Inzidenz (hier: die nicht symmetrisierte Unterraumrelation) total geordnete Teilmenge von $S$. Eine solche Fahne ist auch für einen unendlichen projektiven Raum endlich, sofern nur die Dimension dieses Raumes endlich ist und die Länge der Fahne ist nicht größer als diese projektive Dimension des Raumes.

## Definitionen
### Geometrie

Sei $\Delta$ eine Menge, ihre Elemente und Teilmengen werden als Typen bezeichnet. Eine (Diagramm)-Geometrie $\Gamma$ über $\Delta$ besteht aus einem Tripel $\Gamma =(S,I,t)$, wobei $S$ eine Menge, $I$ eine symmetrische und reflexive Relation auf $S$, die Inzidenzrelation ist, $t$ eine surjektive Funktion $t:S\rightarrow \Delta$, die Typisierungsfunktion, wenn das folgende Axiom (TP=transversality property) erfüllt ist:
    (TP) Ist $M\subseteq S$ eine maximale Menge von paarweise inzidenten Elementen, dann ist die Einschränkung der Typisierungsfunktion $t$ auf $M$ eine Bijektion $t|_{M}:\;M\leftrightarrow \Delta$.

### Fahne, Zimmer, Residuum, Rang

Sei $\Gamma =(S,I,t)$ eine Geometrie über $\Delta$.
* Eine Fahne von $\Gamma$ ist eine (möglicherweise leere) Menge $F$ paarweise inzidenter Elemente von $S$.
* Zwei Fahnen $F_{1},F_{2}$ heißen inzident, wenn auch $F_{1}\cup F_{2}$ eine Fahne ist.
* Maximale Fahnen heißen Zimmer (engl. chambers).
* Die Menge aller Zimmer von $\Gamma$ wird als $\mathop {\mathrm {Cham} } (\Gamma )$ notiert.
* Der Typ einer Fahne $F$ ist die Menge $t(F)$.
* Für eine Teilmenge der Typmenge $A\subseteq \Delta$ wird jede Fahne vom Typ $A$ auch als $A$-Fahne bezeichnet.
* Der Kotyp einer Fahne $F$ ist die Menge $\Delta \setminus t(F)$.
* Das Residuum einer Fahne $F$ in $\Gamma$ ist die Geometrie $\Gamma _{F}=(S_{F},I_{F},t_{F})$ über $\Delta _{F}=t(S_{F})=\Delta \setminus t(F)$, die durch
    $S_{F}=\{x\in S\setminus F|\forall y\in F:xIy\}$ und die Einschränkung $I_{F}$ der Inzidenzrelation $I$ auf $S_{F}$ und der Typisierungsfunktion $t_{F}=t|_{F}$ gegeben ist.
* Der Rang $r(\Gamma )$ von $\Gamma$ ist die Mächtigkeit von $\Delta$, also die Anzahl $|t(s)|$ der Typen, die in $\Gamma$ vertreten sind.
* Der Rang einer Fahne $F$ ist die Anzahl der Elemente von $F$, ihr Korang ist der Rang von $\Gamma _{F}$.

### Grunddiagramm einer Geometrie

Sei $\Gamma =(S,I,t)$ eine Geometrie über $\Delta$. Ein Paar verschiedener Elemente („Typen“) $(i,j)\in \Delta ^{2}$ heißen verbunden das heißt, sie bilden eine Kante des Grunddiagramms, wenn mindestens eine Fahne mit dem Kotyp $\{i,j\}$ existiert, deren Residuum kein verallgemeinertes Zweieck ist.

## Beispiele

* Eine Inzidenzstruktur $({\mathfrak {p}},{\mathfrak {G}},{\mathfrak {p}}\times {\mathfrak {G}})$ mit $|{\mathfrak {p}}|,|{\mathfrak {G}}|\geq 2$ ist eine Rang-$2$ Geometrie. Sie wird als verallgemeinertes Zweieck bezeichnet. In der Diagrammdarstellung wird ein verallgemeinertes Zweieck in der Regel nicht gezeichnet.
* Eine projektive Ebene ist eine Rang-$2$ Geometrie. Sie wird im Diagramm durch eine Linie ohne Markierung dargestellt.
* Ein dreidimensionaler affiner Raum $A$ ist eine Rang-$3$ Geometrie mit der Typmenge $\{0,1,2\}$, den möglichen Dimensionen der echten Teilräume. Ist $p$ ein Punkt des Raumes, dann ist $\{p\}$ eine Fahne vom Typ $\{0\}$, also vom Rang $1$ und Korang $2$. Das Residuum von $\{p\}$ besteht aus allen Geraden und Ebenen, die $p$ enthalten. Dies ist eine projektive Ebene! Dagegen ist das Residuum einer Ebene in $A$ eine affine Ebene, daher wird die Linie, die Punkte und Geraden im Diagramm verbindet, als „affin“ markiert, vergleiche die Abbildung rechts. Das Residuum einer Gerade besteht aus allen Punkten auf der Geraden und allen Ebenen, die die Gerade enthalten. Diese Rang-$2$ Geometrie ist ein verallgemeinertes Zweieck, daher wird im Diagramm keine direkte Verbindung von den Punkten zu den Ebenen gezeichnet.