Grassmannians of spheres in Möbius and in Euclidean spaces (Q2856409)

Let \(\mathfrak{M}=(\mathcal{S},\mathcal{C})\) be the Möbius space on a non-ruled quadric \(\mathcal{S}\) in a finite dimensional projective space \(\mathfrak{P}\) over an ordered Euclidean field. For \(k\in\mathbb{N}\), the associated Grassmann structure \(G_k(\mathfrak{M})\) is defined as the incidence structure \((\mathcal{S}_k(\mathfrak{M}),\mathcal{S}_{k+1}( \mathfrak{M}),\subset)\), where \(\mathcal{S}_i(\mathfrak{M})\) is the set of \(i\)-dimensional subspaces of \(\mathfrak{M}\), i.e.\ the set of all \(\mathcal{S}\cap Z\), where \(Z\) is an \(i\)-dimensional projective subspace of \(\mathfrak{P}\).NEWLINENEWLINEIt is shown that the Möbius space \(\mathfrak{M}\) is definable in terms of \(G_k(\mathfrak{M})\) if \(\dim(\mathfrak{M})\geq k+2\).NEWLINENEWLINEA similar result holds for Euclidean spaces. This can be obtained using the internal structure \(\mathfrak{M}_{(\infty)}\) at a point \(\infty\) of \(\mathfrak{M}\), which is an affine space that can be equipped with the structure of a Euclidean space.