We show that the fixed elements for the natural GL_m-action on the universal division algebra UD(m,n) of m generic n x n matrices form a division subalgebra of degree n, assuming n >= 3 and 2 <= m <= n^2 - 2. This allows us to describe the asymptotic behavior of the dimension of the space of SL_m-invariant homogeneous central polynomials p(X_1,...,X_m) for n x n matrices. Here the base field is assumed to be of characteristic zero.
The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2x2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable matrices of any size. Families of matrices with a shared dominant eigenvector are considered under some additional conditions.
For a nonsingular matrix $A$, we propose the form $Tr(^t\!A A^{-1})$, the trace of the product of its transpose and inverse, as a new invariant under congruence of nonsingular matrices.
We prove three inequalities relating some invariants of sets of matrices, such as the joint spectral radius. One of the inequalities, in which proof we use geometric invariant theory, has the generalized spectral radius theorem of Berger and Wang as an immediate corollary.
This paper studies commuting matrices in max algebra and nonnegative linear algebra. Our starting point is the existence of a common eigenvector, which directly leads to max analogues of some classical results for complex matrices. We also investigate Frobenius normal forms of commuting matrices, particularly when the Perron roots of the components are distinct. For the case of max algebra, we show how the intersection of eigencones of commuting matrices can be described, and we consider connections with Boolean algebra which enables us to prove that two commuting irreducible matrices in max a…
The least upper bound on degrees of elements of a minimal system of generators of the algebra of invariants of 3x3 matrices is found, and the nilpotency degree of a relatively free finitely generated algebra with the identity x^3=0 is established.
We study some (Hopf) algebraic properties of circulant matrices, inspired by the fact that the algebra of circulant $n\times n$ matrices is isomorphic to the group algebra of the cyclic group with $n$ elements. We introduce also a class of matrices that generalize both circulant and skew circulant matrices, and for which the eigenvalues and eigenvectors can be read directly from their entries.
We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.
In this paper, we introduce symmetric diagram matrices $A_{s+r,s}$ of size ${_{(s+r)}}C_s$ whose entries are $\{x_i\}_{min\{s,r\}}$. We compute the eigenvalues of symmetric diagram matrices using elementary row and column operations inductively. As a byproduct, we obtain the eigenvalues of Gram matrices of a larger class of diagram algebras like the signed partition algebras, algebra of $\mathbb{Z}_2$ relations and partition algebras.
We study the existence problem for Novikov algebra structures on finite-dimensional Lie algebras. We show that a Lie algebra admitting a Novikov algebra is necessarily solvable. Conversely we present a $2$-step solvable Lie algebra without any Novikov structure. We use extensions and classical $r$-matrices to construct Novikov structures on certain classes of solvable Lie algebras.
Let G be a group and A be a G-graded algebra satisfying a polynomial identity. We buid up a model for the relative free G-graded algebra and we obtain, as an application, the "factoring" property for the T_G-ideals of block triangular matrices with entries from the finite dimensional Grassmann algebra E for some particular Z_2-grading.
The purpose of this paper is to study the structure of Lotka-Volterra algebras, the set of their idempotent elements and their group of automorphisms. These algebras are defined through antisymmetric matrices and they emerge in connection with biological problems and Lotka-Volterra systems for the interactions of neighboring individuals.
In this paper we shall consider the Lie algebra of column-finite infinite matrices indexed by positive integers $\mathbb{N}$, describe the lattice of its ideals for arbitrary field $K$ and study its derivations over any commutative, unital ring $R$.
The theory of the column-row determinants has been considered for matrices over a non-split quaternion algebra. In this paper the concepts of column-row determinants are extending to a split quaternion algebra. New definitions of the column and row immanants (permanents) for matrices over a non-split quaternion algebra are introduced, and their basic properties are investigated. The key theorem about the column and row immanants of a Hermitian matrix over a split quaternion algebra is proved. Based on this theorem an immanant of a Hermitian matrix over a split quaternion algebra is introduced.
Let F be a field of characteristic different from $2$, and let $UT_2(F)$ be the algebra of $2\times 2$ upper triangular matrices over $F$. For every involution of the first kind on $UT_2(F)$, we describe the set of all $*$-central polynomials for this algebra.
We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper.
Given a set of matrices, it is often of interest to determine the algebra they generate. Here we exploit the concept of the Burnside graph of a set of matrices, and show how it may be used to deduce properties of the algebra they generate. We prove two conditions regarding a set of matrices generating the full algebra; the first necessary, the second sufficient. An application of these results is given in the form of a new family of counterexamples to the Kippenhahn conjecture, of order $8 \times 8$ and greater.
We comment two papers of Domokos and Vaccarino proving that the restriction to diagonal matrices of the scheme of commuting matrices is an isomorphism when restricted to invariants to the symmetric group invariants.
We investigate the existence problem of group invariant matrices using algebraic approaches. We extend the usual concept of multipliers to group rings with cyclotomic integers as coefficients. This concept is combined with the field descent method and rational idempotents to develop new non-existence results.
Over a field of characteristic 0, the algebra of invariants of several $n\times n$ matrices under simultaneous conjugation by $GL_n$ is generated by traces of products of generic matrices. In this paper we have found, in terms of representation theory of $GL_2$, a minimal set of generators of the algebra of invariants of two $4\times 4$ matrices. The proof is purely combinatorial and involves computer calculations with standard functions of Maple.
We study exponential factorization of invertible matrices over unital complex Banach algebras. In particular, we prove that every invertible matrix with entries in the algebra of holomorphic functions on a closed bordered Riemann surface can be written as a product of two exponents of matrices over this algebra. Our result extends similar results proved earlier in [KS] and [L] for $2\times 2$ matrices.
Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the invariants of several square matrices of order n under the simultaneous conjugation.
Algebras generated by strictly positive matrices are described up to similarity, including the commutative, simple, and semisimple cases. We provide sufficient conditions for some block diagonal matrix algebras to be generated by a set of nonnegative matrices up to similarity. Also we find all realizable dimensions of algebras generated by two nonnegative semi-commuting matrices. The last result provides the solution to the problem posed by M. Kandić, K. Šivic (2017).
We determine those k-tuples of conjugacy classes of matrices, from which it is possible to choose matrices which have no common invariant subspace and have sum zero. This is an additive version of the Deligne-Simpson problem. We deduce the result from earlier work of ours on preprojective algebras and the moment map for representations of quivers. Our answer depends on the root system for a Kac-Moody Lie algebra.
We study linear spaces of symmetric matrices whose reciprocal is also a linear space. These are Jordan algebras. We classify such algebras in low dimensions, and we study the associated Jordan loci in the Grassmannian.
Let R_{n,d} be the ring of invariants of d-tuples of n x n matrices under the simultaneous conjugation action of the general linear group. A minimal generating system and a homogeneous system of parameters for R_{3,3} are determined. Homogeneous systems of parameters for R_{3,2}, R_{4,2} are also pointed out.
We consider two group actions on $m$-tuples of $n \times n$ matrices. The first is simultaneous conjugation by $\operatorname{GL}_n$ and the second is the left-right action of $\operatorname{SL}_n \times \operatorname{SL}_n$. We give efficient algorithms to decide if the orbit closures of two points intersect. We also improve the known bounds for the degree of separating invariants in these cases.
The algebra of GL_n-invariants of d-tuple of n x n nilpotent matrices with respect to the action by simultaneous conjugation is generated by the traces of products of nilpotent generic matrices in the case of an algebraically closed field of characteristic zero. We described a minimal separating set for this algebra in case n=d=3.
Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the dimension of the unital algebra generated by the matrices is at most $\frac{n(n+1)}{2}$ and that this bound can be attained. We also consider the corresponding question if one of the matrices is a permutation or a companion matrix or both of them are idempotents. In these cases, the upper bound for the dimension can be reduced significantly. In particular, th…
We give an efficient solution to the following problem: Given $X_1, \ldots X_d$ and $Y$ some $n$ by $n$ matrices can we determine if $Y$ is in the unital algebra generated by $X_1, \ldots, X_d$ as a subalgebra of all $n$ by $n$ matrices? The solution also gives an easy method for computing the dimension of this algebra.
Over a field of characteristic 0, the algebra of invariants of several $n\times n$ matrices under simultameous conjugation by $GL_n$ is generated by traces of products of generic matrices. Teranishi, 1986, found a minimal system of eleven generators of the algebra of invariants of two $3\times 3$ matrices. Nakamoto, 2002, obtained an explicit, but very complicated, defining relation for a similar system of generators over $\mathbb Z$. In this paper we have found another natural set of eleven generators of this algebra of invariants over a field of characteristic 0 and have given the defining r…
We give a short proof of a recent result of Drury on the positivity of a $3\times 3$ matrix of the form $(\|R_i^*R_j\|_{\rm tr})_{1 \le i, j \le 3}$ for any rectangular complex (or real) matrices $R_1, R_2, R_3$ so that the multiplication $R_i^*R_j$ is compatible for all $i, j$, where $\|\cdot\|_{\rm tr}$ denotes the trace norm. We then give a complete analysis of the problem when the trace norm is replaced by other unitarily invariant norms.
We explicitly describe the Lie algebras $M_L$ of ladder matrices in $M_n$ associate with dominant upper triangular ladders $L$, and completely characterize the derivations of these $M_L$ over a field $F$ with $char(F) \neq 2$. We also completely characterize the derivations of Lie algebras $[M_L, M_L]$ where $L$ are strongly dominant upper triangular ladders and $char(F) \neq 2, 3$.
We construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova (math.RT/0610049).
In this paper, we introduce Gram matrices for the signed partition algebras, the algebra of $\mathbb{Z}_2$-relations and the partition algebras. We prove that the Gram matrix is similar to a matrix which is a direct sum of block submatrices. In this connection, $(s_1, s_2, r_1, r_2, p_1, p_2)$-Stirling numbers of the second kind are introduced and their identities are established. As a consequence, the semisimplicity of a signed partition algebra is established.
A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a minimal system of homogeneous generators for the vector invariants of the special orthogonal group of degree four over a field of characteristic two or over the ring of integers. An irredundant separating system of semi-invariants of tuples of two-by-two matrices is also determined, it turns out to be independent of the characteristic.
A linear group G<GL(n) acts on d-tuples of n x n matrices by simultaneous conjugation. In [Adv. Math. 19 (1976), 306-381] Procesi established generators and relations between them for G-invariants, where G is GL(n), O(n), and Sp(n) and the characteristic of base field is zero. We continue generalization of the mentioned results to the case of positive characteristic originated by Donkin in [Invent. Math. 110 (1992), 389-401]. We investigate relations between generators for O(n)-invariants.
Let ${\mathcal N}$ be the Lie algebra of all $n\times n$ strictly block upper triangular matrices over a field ${\mathbb F}$ relative to a given partition. In this paper, we give an explicit description of all derivations of ${\mathcal N}$.
