Andrew Snowden

Gl-equivariant modules over polynomial rings in infinitely many variables

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly. Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellen- berg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.

STABILITY PATTERNS IN REPRESENTATION THEORY

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.

The equations for the moduli space of

A central question in invariant theory is that of determining the relations among invariants. Geometric invariant theory quotients come with a natural ample line bundle, and hence often a natural projective embedding. This question translates to determining the equations of the moduli space under this embedding. This article deals with one of the most classical quotients, the space of ordered points on the projective line. We show that under any weighting of the points, this quotient is cut out (scheme-theoretically) by a particularly simple set of quadric relations, with the single exception of the Segre cubic threefold (the space of six points with equal weight). We also show that the ideal of relations is generated in degree at most four, and give an explicit description of the generators. If all the weights are even (e.g. in the case of equal weight for odd n), we show that the ideal of relations is generated by quadrics. Unlike many facts in geometric invariant theory, these results are characteristic-independent, and indeed work over the integers.

n

We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and surjections (studied by the authors in previous work). We prove noetherian properties for the injective version when the group in question is polycyclic-by-finite and use it to deduce general twisted homological stability results for such wreath products and indicate some applications to representation stability. We introduce a new class of formal languages (quasi-ordered languages) and use them to deduce strong rationality properties of Hilbert series of representations for the surjective version when the group is finite.

points on the line

The resolutions of determinantal ideals exhibit a remarkable stability property: for fixed rank but growing dimension, the terms of the resolution stabilize (in an appropriate sense). One may wonder if other sequences of ideals or modules over coordinate rings of matrices exhibit similar behavior. We show that this is indeed the case. In fact, our main theorem is more fundamental in nature: It states that certain large algebraic structures (which are examples of twisted commutative algebras) are noetherian. These are important new examples of large noetherian algebraic structures, and ones that are in some ways quite different from previous examples.

Representations of categories of G-maps

Let

Homology of Littlewood complexes

V

Proof of Stembridge's conjecture on stability of Kronecker coefficients

be a symplectic vector space of dimension