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.

[1]  Stability in the homology of congruence subgroups , 2012, 1201.4876.

[2]  Steven V. Sam,et al.  STABILITY PATTERNS IN REPRESENTATION THEORY , 2013, Forum of Mathematics, Sigma.

[3]  S. Betley.  Twisted homology of symmetric groups , 2002 .

[4]  J. Kruskal.  Well-quasi-ordering, the Tree Theorem, and Vazsonyi’s conjecture , 1960 .

[5]  Greg Friedman.  Survey Article: An elementary illustrated introduction to simplicial sets , 2012 .

[6]  Steven V. Sam,et al.  Gröbner methods for representations of combinatorial categories , 2014, 1409.1670.

[7]  Representation Stability , 2014, 1404.4065.

[8]  K. Vogtmann,et al.  Moduli of graphs and automorphisms of free groups , 1986 .

[9]  Andrei S. Rapinchuk,et al.  Algebraic groups and number theory , 1992 .

[10]  John Harer,et al.  Stability of the homology of the mapping class groups of orientable surfaces , 1985 .

[11]  W. V. D. Kallen,et al.  Homology stability for unitary groups , 2001, Documenta Mathematica.

[12]  D. Quillen,et al.  Homotopy properties of the poset of nontrivial p-subgroups of a group , 1978 .

[13]  M. Nakaoka.  Decomposition Theorem for Homology Groups of Symmetric Groups , 1960 .

[14]  Daniel R. Grayson.  Higher algebraic K-theory: II , 1976 .

[15]  A. Borel.  Stable real cohomology of arithmetic groups , 1974 .

[16]  N. Kuhn.  Generic Representations of the Finite General Linear Groups and the Steenrod Algebra: I , 1994 .

[17]  F. Laudenbach.  Topologie de la dimension trois : homotopie et isotopie , 1974 .

[18]  Greg Friedman,et al.  An elementary illustrated introduction to simplicial sets , 2008, 0809.4221.

[19]  A. Hatcher,et al.  Stabilization for mapping class groups of 3-manifolds , 2007, 0709.2173.

[20]  Steven V. Sam,et al.  Introduction to twisted commutative algebras , 2012, 1209.5122.

[21]  I. Madsen,et al.  The stable moduli space of Riemann surfaces: Mumford's conjecture , 2002, math/0212321.

[22]  Invariant Subspaces of the Ring of Functions on a Vector Space over a Finite Field , 1997 .

[23]  Benson Farb,et al.  A Primer on Mapping Class Groups (Pms-49) , 2011 .

[24]  Leonard Evens,et al.  Cohomology of groups , 1991, Oxford mathematical monographs.

[25]  Thomas Church,et al.  Representation theory and homological stability , 2010, 1008.1368.

[26]  Charles F. Miller,et al.  Combinatorial Group Theory , 2002 .

[27]  Homology stability for outer automorphism groups of free groups , 2004, math/0406377.

[28]  Joseph B. Kruskal,et al.  The Theory of Well-Quasi-Ordering: A Frequently Discovered Concept , 1972, J. Comb. Theory A.

[29]  O. Randal-Williams,et al.  Homological stability for automorphism groups , 2014, 1409.3541.

[30]  Jordan S. Ellenberg,et al.  FI-modules and stability for representations of symmetric groups , 2012, 1204.4533.

[31]  W. Dwyer.  Twisted homological stability for general linear groups , 1980 .

[32]  J. Ellenberg,et al.  FI-modules over Noetherian rings , 2012, 1210.1854.

[33]  Ruth Charney.  Homology stability forGLn of a Dedekind domain , 1980 .

[34]  Andrew Putman.  The Picard group of the moduli space of curves with level structures , 2009, 0908.0555.

[35]  A. Hatcher,et al.  Homological stability for automorphism groups of free groups , 1995 .

[36]  Edward Y. Miller,et al.  THE HOMOLOGY OF THE MAPPING CLASS GROUP , 1986 .

[37]  W. Kallen.  Homology stability for linear groups , 1980 .

[38]  L. Schwartz.  Unstable Modules over the Steenrod Algebra and Sullivan's Fixed Point Set Conjecture , 1994 .

[39]  Michelle L. Wachs,et al.  On lexicographically shellable posets , 1983 .

[40]  R. H. Szczarba,et al.  On the homology and cohomology of congruence subgroups , 1976 .

[41]  N. Kuhn.  Generic representation theory of finite fields in nondescribing characteristic , 2014, 1405.0318.

[42]  Graham Higman,et al.  Ordering by Divisibility in Abstract Algebras , 1952 .

[43]  Thomas Church.  Homological stability for configuration spaces of manifolds , 2011, 1103.2441.

[44]  Michael Francis Atiyah,et al.  Introduction to commutative algebra , 1969 .

[45]  Andrew Putman,et al.  On the second homology group of the Torelli subgroup of Aut(Fn) , 2014, 1408.6242.

[46]  Andrew Putman,et al.  Generating the Johnson filtration , 2013, 1311.7150.

[47]  Ruth Charney.  A generalization of a theorem of Vogtmann , 1987 .

[48]  Søren Galatius.  Stable homology of automorphism groups of free groups , 2006, math/0610216.

[49]  Benson Farb,et al.  A primer on mapping class groups , 2013 .

[50]  Ruth Charney.  On the problem of homology stability for congruence subgroups , 1984 .

[51]  D. Mcduff.  Configuration spaces of positive and negative particles , 1975 .

[52]  A. Borel,et al.  Corners and arithmetic groups , 1973 .

[53]  Endomorphisms of automorphism groups of free groups , 2005 .

[54]  A. Hatcher,et al.  Tethers and homology stability for surfaces , 2015, 1508.04334.

[55]  J. Souto,et al.  Automorphisms of the graph of free splittings , 2009, 0909.3660.

[56]  A. Hatcher,et al.  Cerf Theory for Graphs , 1998 .

[57]  Aurélien Djament,et al.  Sur l'homologie des groupes orthogonaux et symplectiques \`a coefficients tordus , 2008, 0808.4035.

[58]  E. C. Zeeman,et al.  A proof of the comparison theorem for spectral sequences , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[59]  Jenny Wilson.  FI_W-modules and stability criteria for representations of the classical Weyl groups , 2013, 1309.3817.

[60]  Jan Draisma,et al.  Bounded-rank tensors are defined in bounded degree , 2011, 1103.5336.

[61]  Wee Liang Gan,et al.  Noetherian property of infinite EI categories , 2014, 1407.8235.

[62]  LE FONCTEUR V → F2[V]⊗3 ENTRE F2-ESPACES VECTORIELS EST NOETHÉRIEN , 2009 .

[63]  R. Hain,et al.  Mapping Class Groups and Moduli Spaces of Riemann Surfaces , 1993 .