A property of isometric mappings between dual polar spaces of type \(DQ(2n,{\mathbb{K}})\) (Q659591)

Let \(\Pi\) be a nondegenerate polar space of rank \(n\geq\,2\). With \(\Pi\) there is associated a point-line geometry \(\Delta\) whose points are the maximal singular subspaces of \(\Pi\), whose lines are the next-to-maximal singular subspaces of \(\Pi\) and whose incidence relation is reverse containment. The geometry \(\Delta\) is called \textit{dual polar space}. An example is the dual polar space \(DQ(2n,\mathbb K)\) which is associated with a nonsingular quadric of Witt-index \(n\geq\,2\) in PG\((2n,{\mathbb K})\). Let \(\Delta\) and \(\Delta'\) be two dual polar spaces with respective point-sets \(P\) and \(P'\). Via the collinearity graph of \(\Delta\) and \(\Delta'\) the distance functions \(d\) and \(d'\) are defined in \(\Delta\) and \(\Delta'\), respectively. By an \textit{isometric embedding} of \(\Delta\) into \(\Delta'\) one means a map \(f:P\to\,P'\) satisfying \( d\,'\bigl(f(x),f(y)\bigr)=d\,(x,y) \) for all \(x,y\in\,P\). The author exhibits properties of A. isometric embeddings between general dual polar spaces and B. locally singular hyperplanes of \(DQ(2n,\mathbb K)\), in order to prove: 1. Let f be an isometric embedding of the dual polar space \(DQ(2n,\mathbb K)\) into the dual polar space \(DQ(2n,{\mathbb K}')\), \(n\geq\,2\). Let \(P\) denote the point-set of \(DQ(2n,\mathbb K)\). Then for every locally singular hyperplane \(H\) of \(DQ(2n,\mathbb K)\), there exists a unique locally singular hyperplane \(H'\) of \(DQ(2n,{\mathbb K}')\) such that \(f(H)=f(P)\cap\,H'\). 2. Let \(f\) be an isometric embedding of the dual polar space \(\Delta=DQ(2n,\mathbb K)\) into the dual polar space \(\Delta'=DQ(2n,{\mathbb K}')\), \(n\geq\,2\). Let \(e':\Delta'\to\Sigma'\cong\)PG\((2^n-1,{\mathbb K}')\) denote the spin-embedding of \(\Delta'\). Then there exists a subgeometry \(\Sigma\cong\)PG\((2^n-1,{\mathbb K})\) of \(\Sigma'\) such that the following holds: (i) \(e'\circ\,f(x)\in\Sigma\) for every point \(x\) of \(\Delta\); (ii) \(e:=e'\circ\,f\) defines a full embedding of \(\Delta\) into \(\Sigma\) which is isomorphic to the spin-embedding of \(\Delta\).