Canonical matrices of isometric operators on indefinite inner product spaces (Q2463612): Difference between revisions

The author presents canonical matrices of a pair \((A,B)\) consisting of a nondegenerate form \(B\) and a linear operator A satisfying \(B(Ax,Ay)=B(x,y)\) on a vector space over \(\mathbb{F}\) in the following cases: \(\bullet\) \( \mathbb{F}\) is an algebraically closed field of characteristic different from 2 or a real closed field, and \(B\) is symmetric or skew-symmetric; \(\bullet\) \(\mathbb{F}\) is an algebraically closed field of characteristic \(0\) or the skew field of quaternions over a real closed field, and \(B\) is Hermitian or skew-Hermitian with respect to any nonidentity involution on \(\mathbb{F}\). These classification problems are wild if \(B\) may be degenerate. A method is used that admits to reduce the problem of classifying an arbitrary system of forms and linear mappings to the problem of classifying representations of some quiver. This method was described by \textit{V. V. Sergeichuk} [Math. USSR-Izv. 31, No.~3, 481--501 (1988; Zbl 0678.15011)].