[Paper Review] Invariant theory of symplectic and orthogonal groups

Salvatore Dolce|arXiv (Cornell University)|Apr 10, 2014

Advanced Topics in Algebra4 citations

TL;DR

This paper investigates the structure of covariant spaces $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ for symplectic and orthogonal Lie algebras, proving they are free modules of rank $ 4r $ over the subalgebra $ A_{r-1} = \wedge(x_1,\dots,x_{r-1}) $, where $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $. It provides an explicit basis for $ B $, recovers classical results, and establishes new polynomial trace identities for $ G $-equivariant matrix-valued alternating multilinear maps on symmetric and skew-symmetric matrices under symplectic and odd orthogonal groups.

ABSTRACT

We study the structure of the space of covariants $B:=\left(\bigwedge (\mathfrak g/\mathfrak k)^*\otimes \mathfrak g ight)^{\mathfrak k},$ for a certain class of infinitesimal symmetric spaces $(\mathfrak g,\mathfrak k)$ such that the space of invariants $A:=\left(\bigwedge (\mathfrak g/\mathfrak k)^* ight)^{\mathfrak k}$ is an exterior algebra $\wedge (x_1,...,x_r),$ with $r=rk(\mathfrak g)-rk(\mathfrak k)$. We prove that they are free modules over the subalgebra $A_{r-1}=\wedge (x_1,...,x_{r-1})$ of rank $4r$. In addition we will give an explicit basis of $B$. As particular cases we will recover same classical results. In fact we will describe the structure of $\left(\bigwedge (M_n^{\pm})^*\otimes M_n ight)^G$, the space of the $G-$equivariant matrix valued alternating multilinear maps on the space of (skew-symmetric or symmetric with respect to a specific involution) matrices, where $G$ is the symplectic group or the odd orthogonal group. Furthermore we prove new polynomial trace identities.

Motivation & Objective

• To determine the algebraic structure of the space of $ \mathfrak{k} $-invariant covariants $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ for infinitesimal symmetric spaces $ (\mathfrak{g}, \mathfrak{k}) $.
• To prove that $ B $ is a free module of rank $ 4r $ over the subalgebra $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $, where $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $.
• To construct an explicit basis for $ B $, enabling concrete computations and structural insights.
• To recover known classical results in invariant theory as special cases of the general framework.
• To derive new polynomial trace identities for $ G $-equivariant alternating multilinear maps on spaces of symmetric and skew-symmetric matrices under symplectic and odd orthogonal groups.

Proposed method

• The analysis is based on the assumption that the space of invariants $ A = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \right)^\mathfrak{k} $ is an exterior algebra $ \wedge(x_1, \dots, x_r) $, which simplifies the structure of the covariant space.
• The paper uses representation-theoretic techniques to analyze the $ \mathfrak{k} $-invariant elements in the tensor product of the exterior algebra of $ (\mathfrak{g}/\mathfrak{k})^* $ and the Lie algebra $ \mathfrak{g} $.
• It establishes freeness of $ B $ over $ A_{r-1} $ by analyzing the graded structure and using properties of symmetric and orthogonal Lie algebras.
• An explicit basis for $ B $ is constructed using invariant theory and the known basis of $ A $, leveraging the rank condition $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $.
• The method applies to specific realizations of $ \mathfrak{g} $ and $ \mathfrak{k} $, such as $ \mathfrak{g} = \mathfrak{sp}_{2n} $, $ \mathfrak{k} = \mathfrak{so}_{2n+1} $, and $ \mathfrak{g} = \mathfrak{so}_{2n+1} $, $ \mathfrak{k} = \mathfrak{sp}_{2n} $, to recover known results.
• The derivation of new trace identities relies on the structure of $ B $, particularly the existence of a free basis and the $ G $-equivariance of the maps on matrix spaces.

Experimental results

Research questions

• RQ1 What is the structure of the $ \mathfrak{k} $-invariant covariant space $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ for symplectic and orthogonal Lie algebras?
• RQ2 Is $ B $ a free module over the subalgebra $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $, and if so, what is its rank?
• RQ3 Can an explicit basis for $ B $ be constructed in terms of the generators of the invariant algebra $ A $?
• RQ4 How do the results recover or generalize classical results in invariant theory for matrix-valued multilinear maps?
• RQ5 What new polynomial trace identities arise from the structure of $ B $ in the context of $ G $-equivariant maps on symmetric and skew-symmetric matrices?

Key findings

• The space of covariants $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ is a free module of rank $ 4r $ over the subalgebra $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $, where $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $.
• An explicit basis for $ B $ is constructed, providing a concrete realization of the free module structure.
• The framework recovers classical results on invariants of symplectic and orthogonal groups acting on matrix spaces, particularly for $ G = \mathrm{Sp}_{2n} $ and $ G = \mathrm{SO}_{2n+1} $.
• The paper establishes new polynomial trace identities for $ G $-equivariant alternating multilinear maps on the spaces of symmetric and skew-symmetric matrices under $ G = \mathrm{Sp}_{2n} $ and $ G = \mathrm{SO}_{2n+1} $.
• The results apply to infinitesimal symmetric spaces where the invariants form an exterior algebra, enabling a uniform treatment of the covariant structure.
• The analysis confirms that the covariant space $ B $ inherits a well-behaved graded module structure from the underlying Lie algebra pair $ (\mathfrak{g}, \mathfrak{k}) $.