Simple groups stabilizing polynomials

Abstract

We study the problem of determining, for a polynomial function $f$ on a vector space $V$, the linear transformations $g$ of $V$ such that $fg=f$. In case $f$ is invariant under a simple algebraic group $G$ acting irreducibly on $V$, we note that the subgroup of $GL(V)$ stabilizing $f$ often has identity component $G$ and we give applications realizing various groups, including the largest exceptional group $E_8$, as automorphism groups of polynomials and algebras. We show that starting with a simple group $G$ and an irreducible representation $V$, one can almost always find an $f$ whose stabilizer has identity component $G$ and that no such $f$ exists in the short list of excluded cases. This relies on our core technical result, the enumeration of inclusions $G<H\le SL(V)$ such that $V/H$ has the same dimension as $V/G$. The main results of this paper are new even in the special case where $k$ is the complex numbers.

v2 has a new title, reorganized early material, and section 6 on the adjoint representation is new; v3 has many small improvements to the text

References in corpus (2)

• The octic E8 invariant
• Flat Bases of Invariant Polynomials and P-matrices of E7 and E8

Cited by in corpus (21)

• Geometric Aspects of Iterated Matrix Multiplication
• $E_8$, the most exceptional group
• Notes on $G_2$: The Lie algebra and the Lie group
• Supersymmetry and the Suzuki chain
• Spinors and essential dimension
• Unification in One Dimension
• Essential dimension of algebraic groups, including bad characteristic
• Orbits in Non-Supersymmetric Magic Theories
• On the Tits p-indexes of semisimple algebraic groups
• Non-Supersymmetric Magic Theories and Ehlers Truncations
• Time, E8, and the Standard Model
• Geometric Complexity Theory: an introduction for geometers
• A Novel Approach to Extra Dimensions
• Generic stabilizers for simple algebraic groups
• Generically free representations III: extremely bad characteristic
• Freudenthal Duality in Gravity: from Groups of Type E7 to Pre-Homogeneous Spaces
• Generically free representations II: irreducible representations
• Overgroups of exterior powers of an elementary group. Levels
• Relations in quantized function algebras
• Overgroups of exterior powers of an elementary group. Normalizers
• Invariant derivations and trace bounds