Browsing by Author "Poppitz, Steffen"

Now showing 1 - 1 of 1

Open Access
Über Differenzierbarkeit 2-dimensionaler projektiver Ebenen : am Beispiel von Schiebe- und Schellhammer-Ebenen
(2011) Poppitz, Steffen; Hähl, Hermann (Prof. Dr.)
In dieser Arbeit sollen ausgesuchte Familien von (2-dimensionalen) projektiven Ebenen auf Differenzierbarkeit untersucht werden. Dabei bedeutet "differenzierbar", dass Punktmenge und Geradenmenge der Ebene differenzierbare Mannigfaltigkeiten sind, so dass "Schneiden von Geraden" und "Verbinden von Punkten" differenzierbar ist. Eine jede differenzierbare projektive Ebene ist auch eine topologische Ebene und es gibt viele höchst verschiedene Beispiele topologischer projektiver Ebenen, die bis zu einem gewissen Grad sogar klassifiziert sind. Bei differenzierbaren projektiven Ebenen stellt sich die Situation ganz anders dar: Bis jetzt sind nur sehr wenige Beispiele differenzierbarer projektiver Ebenen bekannt. Abgesehen von den klassischen Beispielen über den reellen Zahlen, den komplexen Zahlen, den Quaternionen und den Oktaven gibt es eine Konstruktion sehr starrer Beispiele von Otte (bei denen es unklar ist, ob sie nichttriviale Automorphismen besitzen) und eine Konstruktion von B. Segre, von der Immervoll gezeigt hat, dass sie differenzierbare projektive Ebenen liefert, welche sogar große Automorphismengruppen aufweisen. Differenzierbare affine (oder allgemeiner stabile) Ebenen sind hingegen leichter zu finden. Im Gegensatz zu topologischen Ebenen, wo der projektive Abschluss einer lokalkompakten, zusammenhängenden affinen Ebene eine kompakte topologische projektive Ebene ist, gibt es differenzierbare affine Ebenen, deren projektiver Abschluss nicht differenzierbar ist. Auf der Suche nach Beispielen differenzierbarer Ebenen bietet es sich an, bekannte topologische Ebenen darauf hin zu untersuchen, ob Punkt- und Geradenmenge eine differenzierbare Struktur zulassen, so dass "Schneiden" und "Verbinden" differenzierbar wird. Kompakte zusammenhängende topologische projektive Ebenen können bezüglich der Dimension und Struktur ihrer Automorphismengruppen klassifiziert werden und in diesem Rahmen lässt sich die Suche nach differenzierbaren Ebenen recht systematisch durchführen. Bödi hat in seiner Habilitationsschrift bewiesen: übersteigt die Dimension der Automorphismengruppe einer Ebene eine gewisse Schranke, so ist die Ebene nur dann differenzierbar, wenn sie isomorph zur entsprechenden klassischen Ebene ist. Es ist naheliegend, die verbleibenden bekannten Klassen und Familien kompakter zusammenhängender topologischer Ebenen auf Differenzierbarkeit zu untersuchen. Da die Beschreibung dieser Familien allerdings sehr allgemein ist -- meist gestützt auf einzelne oder mehrere Funktionen, die relativ schwachen Anforderungen genügen müssen und mit deren Hilfe man die Punktreihen der Geraden beschreibt --, kann die Untersuchung sehr unangenehm werden. In der Regel wird es wohl bei solchen Klassen nötig sein, mit Hilfe geometrischer Operationen und der Wirkung der Automorphismengruppe die differenzierbare Struktur zu konstruieren, die in einer differenzierbaren Ebene notwendigerweise vorliegen muss, um dann Schneiden und Verbinden zu untersuchen. Das eigentliche Konstruieren der differenzierbaren Struktur ist dabei weniger das Problem, sondern die dann konkret anzugebenden Karten und der Umgang mit diesen: Die auftretenden Terme werden zum Teil so unangenehm, dass auch -- oder gerade -- Computeralgebrasysteme keine Hilfe mehr darstellen. Im Fall 2-dimensionaler Ebenen hat Bödi gezeigt, dass differenzierbare projektive Ebenen mit mindestens 3-dimensionaler Automorphismengruppe isomorph zur klassischen Ebene über den reellen Zahlen sind. Da die 2-dimensionalen kompakten zusammenhängenden topologischen projektiven Ebenen mit 2-dimensionaler Automorphismengruppe vollständig klassifiziert sind, soll deshalb mit dieser Arbeit anhand zweier Familien begonnen werden, diese Ebenen systematisch auf Differenzierbarkeit zu untersuchen. In Kapitel 4 wird eine Familien von Schiebe-Ebenen studiert, die zwar eine differenzierbare affine Teilebene besitzen, im Allgemeinen aber als projektive Ebene nicht differenzierbar sind. In Kapitel 5 werden Schellhammer-Ebenen untersucht. Dort ist es zwar möglich, Ebenen mit differenzierbaren stabilen Teilebenen zu finden, jedoch ist eine affine oder projektive differenzierbare Schellhammer-Ebene, sofern sie gewisse Zusatzvoraussetzungen erfüllt, isomorph zur klassischen Ebene über den reellen Zahlen.