arXiv subjects
Publications and source records attributed to Rohit Nagpal.
After the publication of [Compos. Math. 156 (2020), no. 4, 822-861], Andrew Putman pointed out a mistake in our paper and helped us fix it. In this note, we will explain what this mistake is and how to fix it.
Cohen proved that the infinite variable polynomial ring $R=k[x_1,x_2,\ldots]$ is noetherian with respect to the action of the infinite symmetric group $\mathfrak{S}$. The first two authors began a program to understand the $\mathfrak{S}$-equivariant algebra of $R$ in detail. In previous work, they classified the $\mathfrak{S}$-prime ideals of $R$. An important example of an $\mathfrak{S}$-prime is the ideal $\mathfrak{h}_s$ generated by $(s+1)$st powers of the variables. In this paper, we study the category of $R/\mathfrak{h}_s$-modules. We obtain a number of results, and mention just three here: (a) we determine the Grothendieck group of the category; (b) we show that the Krull--Gabriel dimension is $s$; and (c) we obtain generators for the derived category. This paper will play a key role in subsequent work where we study general modules.
The space of $n \times m$ complex matrices can be regarded as an algebraic variety on which the group ${\bf GL}_n \times {\bf GL}_m$ acts. There is a rich interaction between geometry and representation theory in this example. In an important paper, de Concini, Eisenbud, and Procesi classified the equivariant ideals in the coordinate ring. More recently, we proved a noetherian result for families of equivariant modules as $n$ and $m$ vary. In this paper, we establish analogs of these results for the space of $(n|n) \times (m|m)$ isomeric matrices with respect to the action of ${\bf Q}_n \times {\bf Q}_m$, where ${\bf Q}_n$ is the automorphism group of the isomeric structure (commonly known as the "queer supergroup"). Our work is motivated by connections to the Brauer category and the theory of twisted commutative algebras.
Let $R=\mathbf{C}[ξ_1,ξ_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among these ideals, and describe the equivariant spectrum of $R$. We emphasize that $\mathfrak{S}$-prime ideals need not be radical, which is a primary source of difficulty. Our results yield a classification of $\mathfrak{S}$-ideals of $R$ up to copotency. Our work is motivated by the interest and applications of $\mathfrak{S}$-ideals seen in recent years.
Let $\mathrm{VI}$ be the category of finite dimensional $\mathbb{F}_q$-vector spaces whose morphisms are injective linear maps, and let $\mathbf{k}$ be a noetherian ring. We study the category of functors from $\mathrm{VI}$ to $\mathbf{k}$-modules in the case when $q$ is invertible in $\mathbf{k}$. Our results include a structure theorem, finiteness of regularity, and a description of the Hilbert series. These results are crucial in the classification of smooth irreducible $\mathbf{GL}_{\infty}(\mathbb{F}_q)$-representations in non-describing characterisitic which is contained in Part II of this paper.
We show that $\bigoplus_{n \ge 0} {\mathrm H}^t({\bf GL}_n({\bf F}_q), {\bf F}_\ell)$ canonically admits the structure of a module over the $q$-divided power algebra (assuming $q$ is invertible in ${\bf F}_{\ell}$), and that, as such, it is free and (for $q \neq 2$) generated in degrees $\le t$. As a corollary, we show that the cohomology of a finitely generated ${\bf VI}$-module in non-describing characteristic is eventually periodic in $n$. We apply this to obtain a new result on the cohomology of unipotent Specht modules.
We classify the subvarieties of infinite dimensional affine space that are stable under the infinite symmetric group. We determine the defining equations and point sets of these varieties as well as the containments between them.
A major open problem in the theory of twisted commutative algebras (tca's) is proving noetherianity of finitely generated tca's. For bounded tca's this is easy, in the unbounded case, noetherianity is only known for Sym(Sym^2(C^\infty)) and Sym(\wedge^2(C^\infty)). In this paper, we establish noetherianity for the skew-commutative versions of these two algebras, namely \wedge(Sym^2(C^\infty)) and \wedge(\wedge^2(C^\infty)). The result depends on work of Serganova on the representation theory of the infinite periplectic Lie superalgebra, and has found application in the work of Miller-Wilson on "secondary representation stability" in the cohomology of configuration spaces.
We prove a representation stability result for the codimension-one cohomology of the level three congruence subgroup of $\mathbf{SL}_n(\mathbb{Z})$. This is a special case of a question of Church-Farb-Putman which we make more precise. Our methods involve proving several finiteness properties of the Steinberg module for the group $\mathbf{SL}_n(K)$ for $K$ a field. This also lets us give a new proof of Ash-Putman-Sam's homological vanishing theorem for the Steinberg module. We also prove an integral refinement of Church-Putman's homological vanishing theorem for the Steinberg module for the group $\mathbf{SL}_n(\mathbb{Z})$.
We resolve a conjecture of Li and Ramos that relates the regularity of an FI-module to its local cohomology groups. This is an analogue of the familiar relationship between regularity and local cohomology in commutative algebra.
We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of $\mathcal{A}$, e.g., classification of injective objects, finiteness of injective dimension, computation of the Grothendieck group, and so on. We also prove that $\mathcal{A}$ is (essentially) equivalent to a simpler linear algebraic category $\mathcal{B}$, which makes many properties of $\mathcal{A}$ transparent.
We classify all irreducible generic $\mathrm{VI}$-modules in non-describing characteristic. Our result degenerates to yield a classification of irreducible generic $\mathrm{FI}$-modules in arbitrary characteristic. Our result can also be viewed as a classification theorem for a natural class of representations of $\mathbf{GL}_{\infty}(\mathbf{F}_q)$.
We prove two general results concerning spectral sequences of $\mathbf{FI}$-modules. These results can be used to significantly improve stable ranges in a large portion of the stability theorems for $\mathbf{FI}$-modules currently in the literature. We work this out in detail for the cohomology of configuration spaces where we prove a linear stable range and the homology of congruence subgroups of general linear groups where we prove a quadratic stable range. Previously, the best stable ranges known in these examples were exponential. Up to an additive constant, our work on congruence subgroups verifies a conjecture of Djament.
We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gröbner bases for finitely generated ideals, and so computations with finitely presented $D$-modules are in principle algorithmic. We go on to determine much about the structure of finitely presented $D$-modules, such as: existence of certain nice resolutions, computation of the Grothendieck group, results about injective dimension, and how they interact with torsion modules. Our results apply not just to the classical divided power algebra, but to its $q$-variant as well, and even to a much broader class of algebras we introduce called "generalized divided power algebras." On the other hand, we show that the divided power algebra in two variables over $\mathbf{Z}_p$ is not coherent.
A famous theorem of Nakaoka asserts that the cohomology of the symmetric group stabilizes. The first author generalized this theorem to non-trivial coefficient systems, in the form of $\mathrm{FI}$-modules over a field, though one now obtains periodicity of the cohomology instead of stability. In this paper, we further refine these results. Our main theorem states that if $M$ is a finitely generated $\mathrm{FI}$-module over a noetherian ring $\mathbf{k}$ then $\bigoplus_{n \ge 0} \mathrm{H}^t(S_n, M_n)$ admits the structure of a $\mathbf{D}$-module, where $\mathbf{D}$ is the divided power algebra over $\mathbf{k}$ in a single variable, and moreover, this $\mathbf{D}$-module is "nearly" finitely presented. This immediately recovers the periodicity result when $\mathbf{k}$ is a field, but also shows, for example, how the torsion varies with $n$ when $\mathbf{k}=\mathbf{Z}$. Using the theory of connections on $\mathbf{D}$-modules, we establish sharp bounds on the period in the case where $\mathbf{k}$ is a field. We apply our theory to obtain results on the modular cohomology of Specht modules and the integral cohomology of unordered configuration spaces of manifolds.
Let $R$ be a graded ring. We introduce a class of graded $R$-modules called Gröbner-coherent modules. Roughly, these are graded $R$-modules that are coherent as ungraded modules because they admit an adequate theory of Gröbner bases. The class of Gröbner-coherent modules is formally similar to the class of coherent modules: for instance, it is an abelian category closed under extension. However, Gröbner-coherent modules come with tools for effective computation that are not present for coherent modules.
In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that certain degree two twisted commutative algebras are noetherian. This example appears to have some fundamental differences from previous examples, and is therefore especially interesting. Reflective of this, our proof introduces new methods for establishing noetherianity that are likely to be applicable in other situations. The algebras considered in this paper are closely related to the stable representation theory of classical groups, which is one source of motivation for their study.
An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module $V$ over a field of characteristic $p$, the cohomology groups $H^t(\mathfrak{S}_n, V_n)$ are eventually periodic in $n$. We describe a recursive way to calculate the period and the periodicity range and show that the period is always a power of $p$. As an application, we show that if $\mathcal{M}$ is a compact, connected, oriented manifold of dimension $\geq 2$ and $\mathit{conf}_n(\mathcal{M})$ is the configuration space of unordered $n$-tuples of distinct points in $\mathcal{M}$ then the mod-$p$ cohomology groups $H^{t}(\mathit{conf}_n(\mathcal{M}),\bf{k})$ are eventually periodic in $n$ with period a power of $p$.