Topological classification of sesquilinear forms: reduction to the nonsingular case

Abstract

Two sesquilinear forms $\Phi :{\mathbb{C}}^m\times {\mathbb{C}}^m\to \mathbb{C}$ and $\Psi :{\mathbb{C}}^n\times {\mathbb{C}}^n\to \mathbb{C}$ are called topologically equivalent if there exists a homeomorphism $\phi :{\mathbb{C}}^m\to {\mathbb{C}}^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $\Phi (x,y)=\Psi (\phi (x),\phi (y))$ for all $x,y\in {\mathbb{C}}^m$. R.A.Horn and V.V.Sergeichuk in 2006 constructed a regularizing decomposition of a square complex matrix $A$; that is, a direct sum $SA{S}^{\ast }=R\oplus J_{n_1}\oplus \cdots \oplus J_{n_p}$, in which $S$ and $R$ are nonsingular and each $J_{n_i}$ is the $n_i$-by-$n_i$ singular Jordan block. In this paper, we prove that $\Phi$ and $\Psi$ are topologically equivalent if and only if the regularizing decompositions of their matrices coincide up to permutation of the singular summands $J_{n_i}$ and replacement of $R\in {\mathbb{C}}^{r\times r}$ by a nonsingular matrix $R^{\prime }\in {\mathbb{C}}^{r\times r}$ such that $R$ and $R^{\prime }$ are the matrices of topologically equivalent forms. Analogous results for real and complex bilinear forms are also obtained.

arXiv comment11 pages

References in corpus (9)

• Canonical forms for complex matrix congruence and *congruence
• Classification problems for system of forms and linear mappings
• Congruences of a square matrix and its transpose
• Canonical matrices of bilinear and sesquilinear forms
• A regularization algorithm for matrices of bilinear and sesquilinear forms
• Conjugacy classes of affine automorphisms of K^n and linear automorphisms of P^n in the Cremona groups
• Topological classification of affine operators on unitary and Euclidean spaces
• Topological classification of chains of linear mappings
• Regularizing decompositions for matrix pencils and a topological classification of pairs of linear mappings

Cited by in corpus (1)

• Topological classification of systems of bilinear and sesquilinear forms