Let $\Omega _n$ be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group ${\mathfrak {S}}_n$ acts diagonally on $\Omega _n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega _n$ be the ideal generated by ${\mathfrak {S}}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega _n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an ‘operator theorem’, which characterizes the harmonic space $SH_n \subseteq \Omega _n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

We classify the automorphic Lie algebras of equivariant maps from a complex torus to $\mathfrak{sl}_2(\mathbb{C})$. For each case, we compute a basis in a normal form. The automorphic Lie algebras correspond precisely to two disjoint families of Lie algebras parametrised by the modular curve of $\mathrm{PSL}_2({\mathbb{Z}})$, apart from four cases, which are all isomorphic to Onsager’s algebra.

In this paper, we express the reduction types of Picard curves in terms of tropical invariants associated with binary quintics. We also give a general framework for tropical invariants associated with group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne–Mumford compactification $\overline{M}_{0,n}$.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding.

Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$-module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.

In this paper, we study sample size thresholds for maximum likelihood estimation for tensor normal models. Given the model parameters and the number of samples, we determine whether, almost surely, (1) the likelihood function is bounded from above, (2) maximum likelihood estimates (MLEs) exist, and (3) MLEs exist uniquely. We obtain a complete answer for both real and complex models. One consequence of our results is that almost sure boundedness of the log-likelihood function guarantees almost sure existence of an MLE. Our techniques are based on invariant theory and castling transforms.

We show that the Specht ideal of a two-rowed partition is perfect over an arbitrary field, provided that the characteristic is either zero or bounded below by the size of the second row of the partition, and we show this lower bound is tight. We also establish perfection and other properties of certain variants of Specht ideals, and find a surprising connection to the weak Lefschetz property. Our results, in particular, give a self-contained proof of Cohen–Macaulayness of certain h-equals sets, a result previously obtained by Etingof–Gorsky–Losev over the complex numbers using rational Cherednik algebras.

We exhibit a set of generating relations for the modular invariant ring of a vector and a covector for the two-dimensional general linear group over a finite field.

Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_{0}$ at level zero of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_{0}$. We show that if $(V,G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This implies in particular that the real symplectic quotient is graded Gorenstein. In case $K$ is a torus or $\operatorname{SU}_{2}$, we show that these results hold without the hypothesis that $(V,G)$ is $3$-large.

We consider the space $X=\bigwedge ^{3}\mathbb{C}^{6}$ of alternating senary 3-tensors, equipped with the natural action of the group $\operatorname{GL}_{6}$ of invertible linear transformations of $\mathbb{C}^{6}$. We describe explicitly the category of $\operatorname{GL}_{6}$-equivariant coherent ${\mathcal{D}}_{X}$-modules as the category of representations of a quiver with relations, which has finite representation type. We give a construction of the six simple equivariant ${\mathcal{D}}_{X}$-modules and give formulas for the characters of their underlying $\operatorname{GL}_{6}$-structures. We describe the (iterated) local cohomology groups with supports given by orbit closures, determining, in particular, the Lyubeznik numbers associated to the orbit closures.

We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible isomorphism types for these ideals. Following up on that work, we now analyze the possible degrees of the elements in such regular sequences. For each case of our classification, we provide some criteria guaranteeing the existence of regular sequences in certain degrees.

In this paper, we will prove that any $\mathbb{A}^{3}$-form over a field $k$ of characteristic zero is trivial provided it has a locally nilpotent derivation satisfying certain properties. We will also show that the result of Kambayashi on the triviality of separable $\mathbb{A}^{2}$-forms over a field $k$ extends to $\mathbb{A}^{2}$-forms over any one-dimensional Noetherian domain containing $\mathbb{Q}$.

It is known that there exists a canonical system for every finite real reflection group. In a previous paper, the first and the third authors obtained an explicit formula for a canonical system. In this article, we first define canonical systems for the finite unitary reflection groups, and then prove their existence. Our proof does not depend on the classification of unitary reflection groups. Furthermore, we give an explicit formula for a canonical system for every unitary reflection group.

In 1981, Thompson proved that, if $n\geqslant 1$ is any integer and $G$ is any finite subgroup of $\text{GL}_{n}(\mathbb{C})$ , then $G$ has a semi-invariant of degree at most $4n^{2}$ . He conjectured that, in fact, there is a universal constant $C$ such that for any $n\in \mathbb{N}$ and any finite subgroup $G<\text{GL}_{n}(\mathbb{C})$ , $G$ has a semi-invariant of degree at most $Cn$ . This conjecture would imply that the ${\it\alpha}$ -invariant ${\it\alpha}_{G}(\mathbb{P}^{n-1})$ , as introduced by Tian in 1987, is at most $C$ . We prove Thompson’s conjecture in this paper.

The symmetric group ${{\mathcal{S}}_{n}}$ acts on the power set $\mathcal{P}\left( n \right)$ and also on the set of square free polynomials in $n$ variables. These two related representations are analyzed from the stability point of view. An application is given for the action of the symmetric group on the cohomology of the pure braid group.

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is an array of equivalences between the stable representation category and various other categories, each of which has its own flavor (representation theoretic, combinatorial, commutative algebraic, or categorical) and offers a distinct perspective on the stable category. We use this theory to produce a host of specific results: for example, the construction of injective resolutions of simple objects, duality between the orthogonal and symplectic theories, and a canonical derived auto-equivalence of the general linear theory.

We study new families of curves that are suitable for efficiently parametrizing their moduli spaces. We explicitly construct such families for smooth plane quartics in order to determine unique representatives for the isomorphism classes of smooth plane quartics over finite fields. In this way, we can visualize the distributions of their traces of Frobenius. This leads to new observations on fluctuations with respect to the limiting symmetry imposed by the theory of Katz and Sarnak.

We study the McKay correspondence for representations of the cyclic group of order $p$ in characteristic $p$. The main tool is the motivic integration generalized to quotient stacks associated to representations. Our version of the change of variables formula leads to an explicit computation of the stringy invariant of the quotient variety. A consequence is that a crepant resolution of the quotient variety (if any) has topological Euler characteristic $p$ as in the tame case. Also, we link a crepant resolution with a count of Artin–Schreier extensions of the power series field with respect to weights determined by ramification jumps and the representation.

Let $F$ denote a binary form of order $d$ over the complex numbers. If $r$ is a divisor of $d$, then the Hilbert covariant ${{H}_{r,\,d}}\,\left( F \right)$ vanishes exactly when $F$ is the perfect power of an order $r$ form. In geometric terms, the coefficients of $H$ give defining equations for the image variety $X$ of an embedding ${{\text{P}}^{r}}\,\to \,{{\text{P}}^{d}}$. In this paper we describe a new construction of the Hilbert covariant and simultaneously situate it into a wider class of covariants called the Göttingen covariants, all of which vanish on $X$. We prove that the ideal generated by the coefficients of $H$ defines $X$ as a scheme. Finally, we exhibit a generalisation of the Göttingen covariants to $n$-ary forms using the classical Clebsch transfer principle.

The goal of this paper is to describe explicitly simple modules for Schur superalgebra S(2|2) over an algebraically closed field K of characteristic zero or positive characteristic p>2.