4-dimensionale projektive Ebenen mit großer abelscher Kollineationsgruppe. (Four-dimensional projective planes with large abelian collineation group) (Q1102541): Difference between revisions

The collineation group \(\Gamma_{{\mathcal P}}\) of any compact 4-dimensional topological projective plane \({\mathcal P}\) is an at most 16-dimensional Lie group with respect to the compact-open topology by \textit{H. Salzmann} [Math. Z. 117, 112-124 (1970; Zbl 0205.501)]. The author remarks that \(\dim \Delta \leq 4\) for any connected abelian subgroup \(\Delta\), and assuming \(\dim \Delta =4\) he classifies the possible actions of \(\Delta\) as follows (Satz 1): (1) \(\Delta \cong {\mathbb{R}}^ 2\times (SO_ 2)^ 2\) (\({\mathbb{R}}\) denotes the real numbers). \(\Delta\) fixes a triangle, \({\mathcal P}\) is at least of Lenz-Barlotti-type I.4. (2) \(\Delta \cong {\mathbb{R}}^ 3\times SO_ 2\). \(\Delta\) fixes two flags \((p_ 1,L_ 2),(p_ 2,L_ 1)\), where \(L_ 1\), \(L_ 2\) intersect in \(p_ 1\), \({\mathcal P}\) is at least of type II.2. (3) \(\Delta \cong {\mathbb{R}}^ 4\). \(\Delta\) fixes a flag (p,L) and operates regularly outside of the point row of L, resp. the line pencil of p. \(\Delta \cap \Gamma_{[p,L]}=\Gamma_{[p,L]}={\mathbb{R}}^ 2\) is a transitive translation group \((\Gamma_{[p,L]}\) denotes the group of (p,L)-central collineations). (4) \(\Delta \cong {\mathbb{R}}^ 4\). There exists either (a) a line L such that \(\Delta =\cup \{\Gamma_{[p,L]}:\) p is a point of \(L\}\) or (b) a point p such that \(\Delta =\cup \{\Gamma_{[p,L]}:\) L contains \(p\}\) ; in particular \({\mathcal P}\) is a translation plane, up to duality. The author notes that situations (1)-(4) arise in the complex projectie plane \({\mathcal C}\), whereas for non-arguesian planes it is not yet settled whether (1) occurs. If \(\Gamma_{{\mathcal P}}\) even contains two different 4-dimensional connected abelian subgroups, then \({\mathcal P}\cong {\mathcal C}\) (Satz 2). As a corollary, \(\Delta\) must be a normal subgroup of \(\Gamma_{{\mathcal P}}\) for non-arguesian \({\mathcal P}\).