Symplectic polynomial invariants of one or two matrices of small size
type: Item
instance of: scholarly article
zbMATH Open document ID: 1327.13028
publication date: 2014-10-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/0808.3204
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 14L35
Mathematics Subject Classification ID: 20G20
Mathematics Subject Classification ID: 16R30
zbMATH DE Number: 6355818
zbMATH Keywords: symplectic group
zbMATH Keywords: polynomial invariants of one or two matrices
zbMATH Keywords: Poincaré series
zbMATH Keywords: minimal set of generators
zbMATH Keywords: homogeneous system of parameters
author: Dragomir Ž. Đoković
describes a project that uses: Maple
MaRDI profile type: MaRDI publication profile
arXiv ID: 0808.3204
arXiv classification: math.AC
arXiv classification: math-ph
arXiv classification: math.MP
Recommended article: Symplectic invariants and covariants of matrices
Recommended article: Polynomial identities for matrices symmetric with respect to the symplectic involution.
Recommended article: Semisymmetric polynomials and the invariant theory of matrix vector pairs
Recommended article: *-Polynomial Identities of Matrices with the Symplectic Involution: The Low Degrees
Recommended article: A remark on symplectic matrices
Recommended article: Denominators for the Poincaré series of invariants of small matrices
Recommended article: The classification of symplectic matrices and pairs
Recommended article: Small-Span Characteristic Polynomials of Integer Symmetric Matrices
Recommended article: A note concerning a property of symplectic matrices
Recommended article: Symplectic Linearization of an Alternating Polynomial Matrix
title: Symplectic polynomial invariants of one or two matrices of small size
published in: International Journal of Evolution Equations
review text: Let \(\text{Sp}_{2n}\) be the symplectic group of \(2n\times 2n\) complex matrices acting by simultaneous conjugation on \(k\)-tuples of \(2n\times 2n\) matrices. A classical result [\textit{C. Procesi}, Adv. Math. 19, 306--381 (1976; Zbl 0331.15021)] gives that the algebra \(\bar C\) of \(\text{Sp}_{2n}\)-invariants under the above action of \(\text{Sp}_{2n}\) is generated by traces of products of generic \(2n\times 2n\) matrices \(x\) and their images \(x^{\ast}\) under the symplectic involution, with explicit upper bounds on the degree of the products. Nevertheless, explicit sets of generators and other characteristics of \(\bar C\) are known only in a handful of low-dimensional cases. The vector space \(V={\mathfrak g}\) of all \(2n\times 2n\) matrices is a direct sum of two \(\text{Sp}_{2n}\)-invariant subspaces, \({\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}\), where \(\mathfrak k\) and \(\mathfrak p\) consist, respectively, of all skew-symmetric and symmetric matrices with respect to the symplectic involution. In the paper under review the author considers the action of \(\text{Sp}_{2n}\) by simultaneous conjugation on \(k_1\) copies of \(\mathfrak p\) and \(k_2\)-copies of \(\mathfrak k\). Then the algebra of \(\text{Sp}_{2n}\)-invariants has a natural \({\mathbb Z}^{k_1+k_2}\)-multigrading. Using the classical Molien-Weyl formula, he computes the Poincaré (or Hilbert) series of the algebra of invariants (as a multigraded or simply graded vector space) for \(n=2\) and \(k_1+k_2=3\). (It follows from \textit{G. W. Schwarz} [Invent. Math. 49, 167--191 (1978; Zbl 0391.20032)] that when \(k_2=0\) and \(k_1\leq 5\) the algebra of invariants is isomorphic to the polynomial algebra; \textit{B. Broer} [J. Algebra 168, No. 1, 43--70 (1994; Zbl 0817.14028)] handled the case \(k_1=0\), \(k_2=2\), and the other cases with \(k_1+k_2=2\) were completed by \textit{A. Berele} and \textit{R. M. Adin} [Isr. J. Math. 134, 93--125 (2003; Zbl 1042.16011)]). Then the author con…
reviewed by: Vesselin Drensky
description: scientific article; zbMATH DE number 6355818