Graphical methods and rings of invariants on the symmetric algebra

arXiv2205.08708MaRDI QIDQ6399447FDOQ6399447

Authors: Rebecca Bourn, William Q. Erickson, Jeb F. Willenbring 

Publication date: 18 May 2022

Abstract: Let $G$ be a group acting on a finite-dimensional vector space. Then $G$ acts linearly on the space $P$ of complex-valued polynomial functions on the vector space. A very difficult problem is to parametrize the $G$-orbits in $P$. At least for the closed $G$-orbits, one may hope to use $G$-invariant polynomial functions on $P$ to separate orbits, which sometimes is impossible. For classical groups, however, more can be said. Our main result is a concrete algorithm for writing down the invariant functions on $P$. The invariant algebra in this case (unlike the typical case in classical invariant theory) is not Noetherian, and therefore we impose a bigradation which allows a combinatorial approach. Specifically, our algorithm gives a graded correspondence between the set of graphs of a certain type (depending on the classical group $G$) and a basis for the invariant algebra. We provide Mathematica code to implement our algorithm. We also express the bigraded Hilbert series of the invariant algebra in terms of branching multiplicities from the general linear group to the symmetric group.

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

This page was built for publication: Graphical methods and rings of invariants on the symmetric algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399447)