Verallgemeinertes Viereck

Ein kleines nicht-triviales verallgemeinertes Viereck: das „Doily“, bis auf Isomorphie das einzige $GQ(2,2)$

Verallgemeinertes Viereck ist eine Bezeichnung für bestimmte Inzidenzstrukturen, die insbesondere in der endlichen Geometrie untersucht werden.

Definition

Eine Inzidenzstruktur ${\mathcal {I}}=({\mathfrak {p}},{\mathfrak {B}},I)$ mit einer Inzidenzrelation $I\subseteq {\mathfrak {p}}\times {\mathfrak {B}}$ heißt verallgemeinertes Viereck, wenn die folgenden Axiome gelten:

1. Es existiert eine natürliche Zahl $s\geq 1$, sodass jeder Block $b\in {\mathfrak {B}}$ genau $s$ Punkte enthält – hier werden Blöcke meist als Geraden bezeichnet.
2. Es existiert eine natürliche Zahl $t\geq 1$, sodass durch jeden Punkt $p\in {\mathfrak {p}}$ genau $t$ Geraden gehen.
3. Durch zwei verschiedene Punkte existiert höchstens eine Gerade.
4. Für jeden Punkt $p$, der nicht auf einer Geraden $g$ liegt, existiert genau eine Gerade $h$ durch $p$, die $g$ schneidet.

Allgemeiner wird auch zugelassen, dass eine der Anzahlen $s,t$ in den ersten beiden Axiomen eine feste unendliche Zahl ist.

Ordnung

Die Anzahl $s=v_{1}$ der Punkte auf einer beliebigen Geraden wird zusammen mit der Anzahl $t=b_{1}$ der Geraden durch einen beliebigen Punkt zusammengefasst und das Zahlenpaar $(s-1,t-1)$ als Ordnung des verallgemeinerten Vierecks bezeichnet. Man schreibt dann auch, das Viereck sei ein $GQ(s-1,t-1)$.

Eigenschaften

• Falls es mehr als einen Punkt und mehr als eine Gerade gibt, ist die Struktur einfach. Das heißt, zwei Geraden sind genau dann gleich, wenn sie die gleichen Punkte enthalten.
• Die duale Inzidenzstruktur eines $GQ(s-1,t-1)$, die durch Vertauschung der Punkt- mit der Geradenmenge und Umkehrung der Inzidenzrelation entsteht, ist ein $GQ(t-1,s-1)$. Es gilt allgemeiner (da die Aussage auch für unendliche verallgemeinerte Vierecke gilt): Die Klasse aller verallgemeinerten Vierecke ist zu sich selbst dual.
• Auch im Fall $s=t$ muss das verallgemeinerte Viereck nicht zu seinem dualen Viereck isomorph sein.
• Jedes endliche verallgemeinerte Viereck erfüllt die Regularitätsbedingungen $(P_{1})$ und $(B_{1})$ und ist also eine taktische Konfiguration.
• Ist die Anzahl der Punkte $v_{0}\geq 2$ und die Anzahl der Geraden $b_{0}\geq 2$, dann existieren Paare von Punkten ohne Verbindungsgeraden, daher ist dann das verallgemeinerte Viereck keine Inzidenzgeometrie und auch kein 2-Blockplan.

Anzahlen der Punkte und Geraden

Für $s,t\geq 1$ gilt:

• Ein $GQ(s-1,t-1)$ enthält genau $(s+1)\cdot (st+1)$ Punkte.
• Ein $GQ(s-1,t-1)$ enthält genau $(t+1)\cdot (st+1)$ Geraden.

Beispiele

• Triviale Beispiele sind:
  • Strukturen mit einer Geraden, die alle $s$ Punkte enthält $(GQ(s-1,0))$
  • Dual zu vorigem: Strukturen mit einem Punkt, durch den alle $t$ Geraden gehen $(GQ(0,t-1))$
• Das gewöhnliche Viereck (Eckpunkte als Punkte und Seiten als Blöcke) ist das bis auf Isomorphie einzige $GQ(1,1)$, einziges $GQ$ mit genau 4 Punkten und isomorph zu seiner dualen Struktur.
• Allgemeiner ist ein quadratisches Gitter ein Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle GQ(n,1)} .
• Das „Doily“ ist ein $GQ(2,2)$. Es wurde von Payne so benannt, und das in der Einleitung dargestellte Diagramm des Doily wurde als Titelbild der Proceedings gewählt.

Auf einem Hyperboloid

→ Hauptartikel: Quadratische Menge

Die Abbildung zeigt ein (affines) einschaliges Hyperboloid mit einigen in dieser Quadrik enthaltenen Geraden, die sich in zwei disjunkte Scharen aufteilen lassen

Auf einem Hyperboloid in einem dreidimensionalen affinen oder projektiven Raum lässt sich folgendermaßen ein verallgemeinertes Viereck erklären: Die Punkte sind die Punkte auf der Hyperboloidfläche, die Geraden sind die ganz im Hyperboloid enthaltenen Geraden. Diese Geraden bilden zwei Scharen, die Geraden einer solchen Schar sind paarweise windschief zueinander. Durch jeden Punkt gehen genau zwei Geraden $(t=2)$.

In einem endlichen projektiven Raum $\mathbb {P} ^{3}(\mathbb {F_{q}} )$ über dem endlichen Körper $\mathbb {F_{q}}$ enthält jede Gerade $s=q+1$ Punkte. Also ist dieses verallgemeinerte Viereck ein $GQ(q,1)$. Es ist isomorph zu einem quadratischen Gitter.

Literatur

• Albrecht Beutelspacher, Ute Rosenbaum: Projektive Geometrie. Von den Grundlagen bis zu den Anwendungen (= Vieweg Studium: Aufbaukurs Mathematik). 2., durchgesehene und erweiterte Auflage. Vieweg, Wiesbaden 2004, ISBN 3-528-17241-X (Inhaltsverzeichnis [abgerufen am 4. März 2022] Verallgemeinerte Vierecke auf Quadriken). 
• S. E. Payne, Joseph A. Thas: Finite generalized quadrangles. In: Research Notes in Mathematics. Pitman (Advanced Publishing Program), Boston 1984, ISBN 0-273-08655-3. 
• S. E. Payne: Finite generalized quadrangles. A survey. In: Proceedings of the International Conference on Projective Planes. Pullman, Washington 1973, S. 219–261. 
• Burkhard Polster: A geometrical picture book. 1. Auflage. Springer, New York / Berlin / Heidelberg 1998, ISBN 0-387-98437-2. 
• Koen Thas: Symmetry in finite generalized quadrangles. In: Frontiers in Mathematics. Birkhäuser Verlag, Basel 2004, ISBN 3-7643-6158-1. 

Weblinks

• Eric W. Weisstein: Generalized Quadrangle. In: MathWorld (englisch).