Large almost simple groups acting on 16-dimensional compact projective planes (Q1284191)

Die Verfasserin beweist: Es sei \(P\) eine 16-dimensionale kompakte projektive Ebene und \(\Delta\) eine zusammenhängende abgeschlossene Untergruppe der Kollineationsgruppe von \(P\). Ist \(\Delta\) halbeinfach und mindestens 29-dimensional, so trifft einer der folgenden Fälle ein: (a) \(P\) ist die klassische Moufangebene über der Divisionsalgebra der Oktaven, und \(\Delta\) ist eine der folgenden Gruppen: Die volle Automorphismengruppe \(E_6 (-26)\), die elliptische bzw. hyperbolische Bewegungsgruppe \(F_4 (-52)\) bzw. \(F_4 (-20)\), die Gruppe \(\text{Spin}_{10} ({\mathbb R},1)\) vom Lenz Typ III, der Stabilisator eines inneren bzw. äußeren Punktes in der hyperbolischen Bewegungsgruppe, das fastdirekte Produkt von \(SL_3 ({\mathbb H})\) mit \(Spin_3 ({\mathbb R})\), deren Zentrum die Ordnung 2 hat, sowie Zentralisatoren planarer Involutionen. (b) \(P\) ist isomorph zu einer Moufang-Hughes Ebene, \(\Delta\) ist isomorph zu \(SL_3 ({\mathbb H})\), und die volle Automorphismengruppe von \(P\) ist ein fastdirektes Produkt von \(SL_3 ({\mathbb H})\) mit einem eindimensionalen Torus. (c) \(\Delta\) ist isomorph zu \(\text{Spin}_9 ({\mathbb R})\) oder zu \(\text{Spin}_9 ({\mathbb R},1)\). Im Fall (c) bleibt die Klassifikation der zugehörigen Ebenen offen. Man weiß [\textit{B. Priwitzer}, Geom. Dedicata 58, No. 3, 245-258 (1995; Zbl 0838.51006)], dass diese Ebenen eindeutig durch eine ihrer 2-dimensionalen Unterebenen bestimmt sind.