Related papers: Matrices that are self-congruent only via matrices…

Two matrix vector spaces $V,W\subset \mathbb C^{n\times n}$ are said to be equivalent if $SVR=W$ for some nonsingular $S$ and $R$. These spaces are congruent if $R=S^T$. We prove that if all matrices in $V$ and $W$ are symmetric, or all…

Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence…

It is shown that a $N\times N$ real symmetric [complex hermitian] positive definite matrix $V$ is congruent to a diagonal matrix modulo a pseudo-orthogonal [pseudo-unitary] matrix in $SO(m,n)$ [ $SU(m,n)$], for any choice of partition…

We give 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 F in the following cases: (i) F is an algebraically closed field of characteristic…

Let $V$ be a vector space over a field $\mathbb F$ with scalar product given by a nondegenerate sesquilinear form whose matrix is diagonal in some basis. If $\mathbb F=\mathbb C$, then we give canonical matrices of isometric and selfadjoint…

It is known that if A and B are two n-by-n complex matrices and (A,A^T) is simultaneously equivalent to (B,B^T), then A is congruent to B. We extend this statement to multilinear forms.

We give canonical matrices of bilinear or sesquilinear forms UxV-->C, (V/U)xV-->C, in which V is a vector space over the field C of complex numbers and U is its subspace.

Let G be a group. Two elements x,y are said to be in the same z-class if their centralizers are conjugate in G. Let V be a vector space of dimension n over a field F of characteristic different from 2. Let B be a non-degenerate symmetric,…

Let $\F$ be an algebraically closed field. Let $\V$ be a vector space equipped with a non-degenerate symmetric or symplectic bilinear form $B$ over $\F$. Suppose the characteristic of $\F$ is \emph{large}, i.e. either zero or greater than…

We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…

A vector field s on a Riemannian manifold M is said to be harmonic if there exists a member of a 2-parameter family of generalised Cheeger-Gromoll metrics on TM with respect to which s is a harmonic section. If M is a simply-connected…

We devise a method that reduces the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings. Canonical matrices of (i) bilinear or sesquilinear forms, (ii) pairs of symmetric,…

Tridiagonal canonical forms of square matrices under congruence or *congruence, pairs of symmetric or skew-symmetric matrices under congruence, and pairs of Hermitian matrices under *congruence are given over an algebraically closed field…

We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to…

We give one more proof of the fact that symplectic matrices over real and complex fields have determinant one. While this has already been proved many times, there has been lasting interest in finding an elementary proof. Our result is…

Canonical matrices of (a) bilinear and sesquilinear forms, (b) pairs of forms, in which every form is symmetric or skew-symmetric, and (c) pairs of Hermitian forms are given over finite fields of characteristic not 2 and over finite…

We construct and investigate certain (unbalanced) superalgebra structures on $\text{End}_K(V)$, with $K$ a field of characteristic $0$ and $V$ a finite dimensional $K$-vector space (of dimension $n\geq 2$). These structures are induced by a…

Constructive methods for matrices of multihomogeneous (or multigraded) resultants for unmixed systems have been studied by Weyman, Zelevinsky, Sturmfels, Dickenstein and Emiris. We generalize these constructions to mixed systems, whose…

Our first main result gives assumptions guaranteeing that proper holomorphic maps between Cartan type I bounded symmetric domains have simple block matrix shape, answering positively a question of Mok. The proof is based on the second main…

Let $\mathcal{V} \subset M$ denote any of the varieties of singular $m \times m$ complex matrices which may be general, symmetric, or skew-symmetric ($m$ even), or $m \times p$ matrices, in the corresponding space $M$ of such matrices. A…