Showing 1–17 of 17 results for author: Nagpal, R

Symmetric ideals of the infinite polynomial ring

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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 difficu… ▽ More 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. △ Less

Submitted 27 July, 2021; originally announced July 2021.

On the geometry and representation theory of isomeric matrices

Authors: Rohit Nagpal, Steven V Sam, Andrew Snowden

Abstract: 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… ▽ More 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. △ Less

Submitted 28 August, 2021; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 27 pages

MSC Class: 13E05; 13A50

Journal ref: Alg. Number Th. 16 (2022) 1501-1529

Symmetric subvarieties of infinite affine space

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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. 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. △ Less

Submitted 13 June, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Periodicity in the cohomology of finite general linear groups via q-divided powers

Authors: Rohit Nagpal, Steven V Sam, Andrew Snowden

Abstract: 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… ▽ More 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. △ Less

Submitted 22 June, 2021; v1 submitted 13 October, 2019; originally announced October 2019.

Comments: 19 pages

MSC Class: 20J06

Journal ref: Trans. Amer. Math. Soc. 374 (2021), 5677-5696

The semi-linear representation theory of the infinite symmetric group

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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… ▽ More 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. △ Less

Submitted 18 September, 2019; originally announced September 2019.

VI modules in non-describing characteristic, Part II

Authors: Rohit Nagpal

Abstract: 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 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)$. △ Less

Submitted 10 October, 2018; originally announced October 2018.

MSC Class: 20C33; 20J0; 13D45

Stability in the high-dimensional cohomology of congruence subgroups

Authors: Jeremy Miller, Rohit Nagpal, Peter Patzt

Abstract: 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 pro… ▽ More 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})$. △ Less

Submitted 13 May, 2020; v1 submitted 28 June, 2018; originally announced June 2018.

Comments: Final version

MSC Class: 11F75; 55N25; 20H05; 19B14; 16S37

Journal ref: Compositio Math. 156 (2020) 822-861

$\mathrm{VI}$ modules in non-describing characteristic, Part I

Authors: Rohit Nagpal

Abstract: 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… ▽ More 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. △ Less

Submitted 4 July, 2021; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: Errata added to Corollary 4.23 of the published version

MSC Class: 13D45; 20C33; 20J05

Journal ref: Alg. Number Th. 13 (2019) 2151-2189

Linear and quadratic ranges in representation stability

Authors: Thomas Church, Jeremy Miller, Rohit Nagpal, Jens Reinhold

Abstract: 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… ▽ More 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. △ Less

Submitted 7 May, 2018; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: final version, to appear in Advances in Mathematics

MSC Class: 55N91

Periodicity in the cohomology of symmetric groups via divided powers

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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 generat… ▽ More 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. △ Less

Submitted 19 November, 2017; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: Fixed some minor mistakes and expanded the section on configuration spaces

Regularity of FI-modules and local cohomology

Authors: Rohit Nagpal, Steven V Sam, Andrew Snowden

Abstract: 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 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. △ Less

Submitted 13 October, 2019; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 10 pages; v2: corrected statement of main result

MSC Class: 13D45; 20C30

Journal ref: Proc. Amer. Math. Soc. 146 (2018), no. 10, 4117-4126

Noetherianity of some degree two twisted skew-commutative algebras

Authors: Rohit Nagpal, Steven V Sam, Andrew Snowden

Abstract: 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… ▽ More 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. △ Less

Submitted 11 November, 2020; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: 22 pages

MSC Class: 13E05; 13A50

Journal ref: Selecta Math. (N.S.) 25 (2019), no. 1, Art. 4, 26pp

The module theory of divided power algebras

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 18 February, 2018; v1 submitted 10 June, 2016; originally announced June 2016.

Comments: 55 pages

Gröbner coherent rings and modules

Authors: Rohit Nagpal, Andrew Snowden

Abstract: 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, G… ▽ More 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. △ Less

Submitted 10 June, 2016; originally announced June 2016.

Comments: 7 pages

FI-modules and the cohomology of modular representations of symmetric groups

Authors: Rohit Nagpal

Abstract: 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 calcula… ▽ More 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$. △ Less

Submitted 16 May, 2015; originally announced May 2015.

Comments: 59 pages

Noetherianity of some degree two twisted commutative algebras

Authors: Rohit Nagpal, Steven V Sam, Andrew Snowden

Abstract: 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 esp… ▽ More 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. △ Less

Submitted 29 September, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: 21 pages; v2: small corrections and added Example 1.4

MSC Class: 13E05; 13A50

Journal ref: Selecta Math. (N.S.) 22 (2016), no. 2, 913-937

FI-modules over Noetherian rings

Authors: Thomas Church, Jordan S. Ellenberg, Benson Farb, Rohit Nagpal

Abstract: FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a fin… ▽ More FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups. △ Less

Submitted 2 March, 2014; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 32 pages; v2: reorganized paper, expanded introduction and added Theorems B and C

Journal ref: Geom. Topol. 18 (2014) 2951-2984