Steven V Sam

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.

Representation stability and finite linear groups

We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes--Schwartz Artinian conjecture in the generic representation theory of finite fields, very general homological stability theorems with twisted coefficients for the general linear and symplectic groups over finite rings, and representation-theoretic versions of homological stability for congruence subgroups of the general linear group, the automorphism group of a free group, the symplectic group, and the mapping class group.

Pieri resolutions for classical groups

Abstract We generalize the constructions of Eisenbud, Floystad, and Weyman for equivariant minimal free resolutions over the general linear group, and we construct equivariant resolutions over the orthogonal and symplectic groups. We also conjecture and provide some partial results for the existence of an equivariant analogue of Boij–Soderberg decompositions for Betti tables, which were proven to exist in the non-equivariant setting by Eisenbud and Schreyer. Many examples are given.

Representations of categories of G-maps

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.

Tensor complexes: multilinear free resolutions constructed from higher tensors

The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and Buchsbaum-Rim complexes, which are constructed from a matrix (i.e., a 2-tensor). The subject of this paper is a multilinear analogue of these complexes, which we construct from an arbitrary higher tensor. Our construction provides detailed new examples of minimal free resolutions, as well as a unifying view on a wide variety of complexes including: the Eagon-Northcott, Buchsbaum-Rim and similar complexes, the Eisenbud-Schreyer pure resolutions, and the complexes used by Gelfand-Kapranov-Zelevinsky and Weyman to compute hyperdeterminants. In addition, we provide applications to the study of pure resolutions and Boij-Soderberg theory, including the construction of infinitely many new families of pure resolutions, and the first explicit description of the differentials of the Eisenbud-Schreyer pure resolutions.

Computing inclusions of Schur modules

We describe a software package for constructing minimal free resolutions of graded GLn(Q)-equivariant modules M over Q(x1;:::; xn) such that, for all i, the i-th syzygy module of M is generated in a single degree. We do so by describing some algorithms for manipulating polynomial representations of GLn(Q) following ideas of Olver and Eisenbud-Floystad-Weyman. INTRODUCTION. This article describes the Macaulay 2 package PieriMaps, which defines maps of representations of the general linear group GLn(Q) of the form Sm(Q n )! S(d)(Q n ) Sl(Q n ),

Noetherianity of some degree two twisted commutative algebras

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.

Tropicalization of Classical Moduli Spaces

The image of the complement of a hyperplane arrangement under a monomial map can be tropicalized combinatorially using matroid theory. We apply this to classical moduli spaces that are associated with complex reflection arrangements. Starting from modular curves, we visit the Segre cubic, the Igusa quartic, and moduli of marked del Pezzo surfaces of degrees 2 and 3. Our primary example is the Burkhardt quartic, whose tropicalization is a 3-dimensional fan in 39-dimensional space. This effectuates a synthesis of concrete and abstract approaches to tropical moduli of genus 2 curves.

Homology of Littlewood complexes

Let