Topological classification of sesquilinear forms: reduction to the nonsingular case

Abstract: Two sesquilinear forms

P h i : m a t h b b C^{m} i m e s m a t h b b C^{m} o m a t h b b C

and

P s i : m a t h b b C^{n} i m e s m a t h b b C^{n} o m a t h b b C

are called topologically equivalent if there exists a homeomorphism

v a r p h i : m a t h b b C^{m} o m a t h b b C^{n}

(i.e., a continuous bijection whose inverse is also a continuous bijection) such that

P h i (x, y) = P s i (v a r p h i (x), v a r p h i (y))

for all

x, y i n m a t h b b 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

S A S^{*} = R o p l u s J_{n_{1}} o p l u s d o t s o p l u s 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

P h i

and

P s i

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 i n m a t h b b C^{r i m e s r}

by a nonsingular matrix

R^{'} i n m a t h b b C^{r i m e s r}

such that

R

and

R^{'}

are the matrices of topologically equivalent forms. Analogous results for real and complex bilinear forms are also obtained.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Topological classification of sesquilinear forms: reduction to the nonsingular case