On a projective representation of chain geometries (Q793339)

Let r,n be natural numbers with \(r<n\) and K be a field with \(r+3<| K|\); moreover let V be a K-vector space with dim V\(=n\) and L(r,V) the set of all subspaces of V of dimension r. Define a distance d on L(r,V) by \(d(U,U')=\dim(U+U')-r\). The Graßmann map \(\gamma\) :L(r,v)\(\to {\mathfrak G}=G(n,r)\) transfers the distance d to \({\mathfrak G}\). Here this distance can be described by means of the normal rational curves V(1,\(\ell)\) of order \(\ell\) lying on \({\mathfrak G}\), \(\ell =1,2,...,r:\) Two points of \({\mathfrak G}\) have distance \(\ell\), iff they are joined by a V(1,\(\ell)\) of \({\mathfrak G}\) but are not contained in any V(1,m) of \({\mathfrak G}\) for \(m<\ell\). An \(\ell\)-distance line \({\mathcal L}\) is a V(1,\(\ell)\) of \({\mathfrak G}\), such that every two different points of \({\mathcal L}\) have distance 1. There is a one-one-correspondence between the \(\ell\)-distance lines of \({\mathfrak G}\) and the ''generalized reguli'' of type \((r,\ell)\) of V in the sense of \textit{R. Metz} [Geom. Dedicata 10, 337-367 (1981; Zbl 0453.51003)]. Let \({\mathfrak A}\) be a K-algebra of K-dimension r. Now for V a free \({\mathfrak A}\)-right-module of rank 2 (so \(n=\dim V=2r)\) define the projective line \({\mathbb{P}}(V)\) over \({\mathfrak A}\) as the set of all free cyclic submodules of V (which then in fact are direct summands and have K-dimension r). Consider the chain geometry \(\Sigma =\Sigma(K,{\mathfrak A})\) as represented by \({\mathbb{P}}(V)\) as pointset whereas the chains are the r- reguli in \({\mathbb{P}}(V)\subseteq L(r,V)\). In a paper by \textit{M. Werner} [Math. Z. 181, 49-54 (1982; Zbl 0477.51005)] \(\Sigma\) was represented on a part of \({\mathfrak G}\), the chains being certain V(1,r)'s. Now by the Graßmann map we obtain more exactly: There are subspaces T and Z of the surrounding space of \({\mathfrak G}\), such that for \({\mathfrak V}={\mathfrak G}\cap T\) and \({\mathfrak W}={\mathfrak V}\cap Z\) we have \({\mathbb{P}}(V)_{\gamma}={\mathfrak V}\backslash {\mathfrak W}\); i.e. \(\Sigma\) is represented on a quasiprojective variety as point-set whereas the chains are exactly the r-distance lines on \({\mathfrak V}\backslash {\mathfrak W}\). It is shown that here the distance can be defined by means of the V(1,\(\ell)\) as before.