Semi-simple groups of compact 16-dimensional planes

DOI10.1007/S00022-015-0295-XMaRDI QIDQ506924zbMATH OpenOpenAlexFDO

Authors Helmut Salzmann

Publication date 2 February 2017

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.10820

zbMATH Keywords

compact 16-dimensional planeLie groupssemi-simple group

Mathematics Subject Classification ID

Non-Desarguesian affine and projective planes (51A35) Topological linear incidence structures (51H10) Noncompact Lie groups of transformations (57S20) Groups acting on specific manifolds (57S25)

Abstract: The automorphism group $Sigma$ of a compact topological projective plane with a $16$-dimensional point space is a locally compact group. If the dimension of $Sigma$ is at least $29$, then $Sigma$ is known to be a Lie group. For the connected component $Delta$ of $Sigma$ the condition $dimDelta,ge,27$ suffices. Depending on the structure of $Delta$ and the configuration of the fixed elements of $Delta$ sharper bounds are obtained here. Example: If $Delta$ is semi-simple and fixes exactly one line and possibly several points on this line, then $Delta$ is a Lie group if $dimDelta,ge,11$. Any semi-simple group $Delta$ which satisfies $dimDelta,ge,25$ is a Lie group.

Review text

The octonion projective plane, whose automorphism group is 78-dimensional, has many close relatives, the compact 16-dimensional planes. The properties of such planes \(\mathcal P\) have been studied extensively, see [the author et al., Compact projective planes. Berlin: de Gruyter (1996; Zbl 0851.51003)] and the author's survey [Result. Math. 35, No. 1--2, 192--196 (1999; Zbl 0933.51008)]. Ultimate results are of the type that the plane can be determined if the dimension of the automorphism group is at least equal to some bound; depending on the configuration of fixed elements, the bound is currently a number between 25 and 40. Semisimple (closed, connected) groups of automorphisms play a crucial role in the proofs. In the present paper it is proved that if such a group \(\Delta\) is at least 17-dimensional and fixes a line, but no point, then \(\Delta\) is almost simple and of dimension 21, or \(\Delta\) is a product of 6 or 7 copies of the simply connected covering group of \(\mathrm{SL}_2\mathbb R\). In order to rule out all other possibilities, the author uses all the available information on the topology of the plane, on possible subplanes, on the smallness of groups with many fixed elements (`stiffness'), on involutions and translations, and on the structure of groups of lower-dimensional planes. Moreover, essential use is made of results by \textit{B. Priwitzer} [Monatsh. Math. 127, No. 1, 67--82 (1999; Zbl 0929.51010)] on the case \(\dim \Delta > 28\).

Recommendations

• scientific article; zbMATH DE number 873420
• Large almost simple groups acting on 16-dimensional compact projective planes
• Large semisimple groups on 16-dimensional compact projective planes are almost simple
• 16-dimensional compact projective planes with a large group fixing two points and two lines
• 16-dimensional compact projective planes with a large group fixing two points and only one line
• Sixteen-dimensional compact translation planes with automorphism groups of dimension at least 35
• Compact 16-dimensional projective planes with large collineation groups. III
• Compact 16-Dimensional Projective Planes with Large Collineation Groups. IV
• 16-dimensional compact projective planes with a collineation group of dimension \(\geq 35\)
• 16-dimensional smooth projective planes with large collineation groups

Cites work

• 8-dimensional compact planes with an automorphism group which has a normal vector subgroup
• Automorphismengruppen 8-dimensionaler Ternärkörper
• Baer subplanes
• Classification of 8-dimensional compact projective planes
• Compact 16-dimensional projective planes
• Compact 16-dimensional projective planes with large collineation groups. II
• Compact 8-dimensional Projective Planes
• Compact projective planes. With an introduction to octonion geometry
• Dimension der Bahnen lokal kompakter Gruppen
• scientific article; zbMATH DE number 15589 (Why is no real title available?)
• scientific article; zbMATH DE number 1133007 (Why is no real title available?)
• Large almost simple groups acting on 16-dimensional compact projective planes
• Lie Group Actions on a Cayley Projective Plane and a Note on Homogeneous Spaces of Prime Euler Characteristic
• Locally compact connected groups acting on Euclidean space with Lie isotropy groups are Lie
• On the dimensions of automorphism groups of 8-dimensional ternary fields. I
• On the dimensions of automorphism groups of eight-dimensional ternary fields. II
• Projectivities with fixed points on every line of the plane

Cited in

(11)

• S\(U_ 4({\mathbb{C}})\) als Kollineationsgruppe in sechzehndimensionalen lokalkompakten Translationsebenen. \((SU_ 4({\mathbb{C}})\) as collineation group in sixteen-dimensional locally compact translation planes)
• Large almost simple groups acting on 16-dimensional compact projective planes
• On the dimensions of automorphism groups of four-dimensional double loops
• Large semisimple groups on 16-dimensional compact projective planes are almost simple
• On the classification of 16-dimensional planes
• \(SU_ 2\mathbb{H}\) as the collineation group of sixteen dimensional locally compact translation planes
• Helmut Salzmann and his legacy
• 16-dimensional compact projective planes with a large group fixing two points and two lines
• 16-dimensional compact projective planes with a large group fixing two points and only one line
• scientific article; zbMATH DE number 873420 (Why is no real title available?)
• Sixteen-dimensional locally compact translation planes admitting \(SU_4\mathbb{C}\cdot S\mathbb{U}_2\mathbb{C}\) or \(SU_4\mathbb{C}\cdot S\mathbb{L}_2\mathbb{R}\) as a group of collineations

This page was built for publication: Semi-simple groups of compact 16-dimensional planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q506924)