A canonical form for pairs consisting of a Hermitian form and a self-adjoint antilinear operator (Q2174482)

The study is motivated by a problem in local differential geometry of Cauchy-Riemann (CR) structures of real hypersurface type of a complex space that has uniformly degenerate Levi form with one-dimensional kernel. The authors devote Section 3 to the CR geometry that leads to a Hermitian form and a self-adjoint anti-linear operator. To be precise, an operator \(A : W\to W\) is anti-linear if \(A(\lambda v + w) = \lambda A(v) + A(w)\) and is selfadjoint with respect to a non-degenerate Hermitian form \(\ell\) if \(\ell(Av,w) = \ell(Aw,v)\), for all \(v, w\in W\), \(\lambda\in \mathbb{C}\). They obtain a canonical form for pairs consisting of a non-degenerate Hermitian form and a self-adjoint antilinear operator. Theorem 2.2, one of the main results, is related to the Hong-Horn canonical form of \textit{Y. Hong} and \textit{R. A. Horn} [Linear Algebra Appl. 102, 143--168 (1988; Zbl 0657.15008)] for a single anti-linear operator in the same way that the Gohberg-Lancaster-Rodman form in [\textit{I. Gohberg} et al., Indefinite linear algebra and applications. Basel: Birkhäuser (2005; Zbl 1084.15005)] is related to the classical Jordan normal form for linear operators. For the proofs, the authors use generalized eigenspaces, Hankel matrices and mathematical induction.