Cross-connections of bilinear form semigroups (Q1583908)

Let \(B\colon X\times Y\to K\) be a bilinear form on the finite dimensional vector spaces \(X\) and \(Y\) over a field \(K\). The set \(S(B)\) of pairs \((f,g)\) where \(f\colon X\to X\) and \(g\colon Y\to Y\) are linear mappings such that \(g\) is an adjoint of \(f\) with respect to \(B\) is shown to be a regular semigroup which is a certain subdirect product of the complement of \(X\) and the opposite of the complement of \(Y\) both with respect to \(B\). A cross-connection is a certain local isomorphism \(\Gamma\) defined in terms of so-called normal categories and the set of all so-called linked pairs of \(\Gamma\) forms a regular semigroup known as the cross-connection of \(\Gamma\). The cross-connection of \(S(B)\) is constructed and the duality of the bilinear form between \(X\) and \(Y\) has a natural interpretation in terms of the cross-connection duality.