Chain spaces over Jordan systems (Q1341243)

An associative algebra \(A\) over a field \(K\) defines a chain geometry \(\Sigma (K,A)\) in the sense of \textit{W. Benz} [`Vorlesungen über Geometrie der Algebren in (1973; Zbl 0258.50024)] and of \textit{A. Herzer} [`Chain geometries' in: Handbook of Incidence Geometry, ed. F. Buekenhout, North-Holland, Amsterdam (1995)]. Let \(B\) be a \(K\)-subspace of \(A\) and \(B^* = \{b \in B |\;b^{-1}\) exists in \(A\}\). One calls \(B\) a strong Jordan system if \(B^{*-1} \subseteq B\) and \(| e(b) | > | K \backslash e(b) |\) for all \(b \in B\), where \(e(b) = \{k \in K |\;k + b \in B^*\}\). Such a strong Jordan system \(B\) defines a chain subspace \(\Sigma (K,A,B)\) of \(\Sigma (K,A)\). For strong Jordan systems \(B_ 1\) in \(A_ 1\) and \(B_ 2\) in \(A_ 2\), a homotopism of \(B_ 1\) into \(B_ 2\) is a pair of \(K\)-semilinear mappings \(\alpha, \beta : B_ 1 \to B_ 2\) such that 1) \(1^ \alpha \in B^*_ 2;\;2)\) \((aba)^ \alpha = a^ \alpha b^ \beta a^ \alpha\) \((a,b \in B_ 1)\). The main result of this paper is that the morphisms of chain spaces from \(\Sigma (K, A_ 1, B_ 1)\) into \(\Sigma (K, A_ 2, B_ 2)\) precisely correspond to the homotopisms from \(B_ 1\) into \(B_ 2\).