Pith. sign in

REVIEW 2 cited by

FI-modules over Noetherian rings

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1210.1854 v2 pith:PLYBZUG3 submitted 2012-10-05 math.RT math.ATmath.COmath.GT

classification math.RTmath.ATmath.COmath.GT
keywords characteristicfi-modulesintegralnoetherianfi-modulefinitelygeneratedpositive
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. GL-algebras in positive characteristic III: the divided power algebra

    math.AC 2026-08 conditional novelty 7.0 of 10

    The divided power algebra Div(k^∞) over a field of characteristic p is GL-coherent, and its bounded derived category of finitely presented modules has a semi-orthogonal decomposition into pieces generated by D^(r) ⊗ L_λ.

  2. A torsion theoretic interpretation for sheaves of modules and Grothendieck topologies on directed categories

    math.RT 2025-06 conditional novelty 7.0 of 10

    Sheaves of modules are exactly the J-saturated presheaves, every Grothendieck topology on a noetherian EI directed category is rigid, and all topologies on type N/Z categories are classified.

Pith tools