Projective spaces with Cayley-Klein metrics (Q1775247)

In the classic literature Cayley-Klein spaces are defined within the framework of analytic projective geometry [\textit{F. Klein}, Math. Ann. 4, 573--625 (1871; JFM 03.0231.02), Math. Ann. 6, 112--145 (1873; JFM 05.0275.01), \textit{D. M. Y Sommerville}, Proc. Edinb. Math. Soc. 28, 25--41 (1910; JFM 41.0537.01), \textit{I. M. B. A. Rozenfeld} et. al., Russ. Math. Surv. 19, 49--107 (1964) and \textit{O. Giering}, Vorlesungen über Höhere Geometrie (Vieweg, Braunschweig) (1982; Zbl 0493.51001)]. In the paper the authors replace this analytic definition by a synthetic one based on lattice theory: \((P, (([\epsilon_0, \epsilon_1], \pi_1), \dots, ([\epsilon_r, \epsilon_{r+1}], \pi_{r+1})))\) is a projective space with Cayley-Klein metric if (i) \(P\) is a projective space of dimension \(n\), (ii) \(\epsilon_0 \subset \dots \subset \epsilon_{r+1}\) are subspaces of \(P\) where \(\epsilon_0\) is the nullspace and \(\epsilon_{r+1} = P\) and (iii) \(\pi_i\) is a polarity in the linear space spanned by \(\epsilon_i, \epsilon_{i+1}\), \(i=1, \dots, r+1\). It is shown that classically defined Cayley-Klein spaces are models of Cayley-Klein spaces satisfying the definition above. The authors introduce the notions of polar, of orthogonality and of motions into such a space. Among other theorems they prove that any subspace \(\alpha\) has at least one polar subspace \(\beta\) and moreover that in case of \(\alpha\) and \(\beta\) being disjoint there exists a reflection fixing \(\alpha\) and \(\beta\).