GL-equivariant modules over polynomial rings in infinitely many variables

Sam, Steven; Snowden, Andrew

doi:10.1090/tran/6355

GL-equivariant modules over polynomial rings in infinitely many variables
HTML articles powered by AMS MathViewer

by Steven V Sam and Andrew Snowden PDF

Trans. Amer. Math. Soc. 368 (2016), 1097-1158 Request permission

Abstract:

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, Ellenberg 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.

References

I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand, Differential operators on the base affine space and a study of ${\mathfrak {g}}$-modules, Lie groups and their representations (Proc. Summer School, Bolyai János Math. Soc., Budapest, 1971) Halsted, New York, 1975, pp. 21–64. MR 0578996
Francis Borceux, Handbook of categorical algebra. 2, Encyclopedia of Mathematics and its Applications, vol. 51, Cambridge University Press, Cambridge, 1994. Categories and structures. MR 1313497
Thomas Church, Jordan Ellenberg, and Benson Farb, FI-modules: a new approach to stability for $S_n$-representations, arXiv:1204.4533v2.
C. de Concini, David Eisenbud, and C. Procesi, Young diagrams and determinantal varieties, Invent. Math. 56 (1980), no. 2, 129–165. MR 558865, DOI 10.1007/BF01392548
Jan Draisma, Finiteness for the $k$-factor model and chirality varieties, Adv. Math. 223 (2010), no. 1, 243–256. MR 2563217, DOI 10.1016/j.aim.2009.08.008
Jan Draisma and Jochen Kuttler, Bounded-rank tensors are defined in bounded degree, Duke Math. J. 163 (2014), no. 1, 35–63. MR 3161311, DOI 10.1215/00127094-2405170
David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR 2103875
David Eisenbud, Gunnar Fløystad, and Frank-Olaf Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Trans. Amer. Math. Soc. 355 (2003), no. 11, 4397–4426. MR 1990756, DOI 10.1090/S0002-9947-03-03291-4
David Eisenbud, Gunnar Fløystad, and Jerzy Weyman, The existence of equivariant pure free resolutions, Ann. Inst. Fourier (Grenoble) 61 (2011), no. 3, 905–926 (English, with English and French summaries). MR 2918721, DOI 10.5802/aif.2632
E. Graham Evans Jr. and Phillip A. Griffith, Local cohomology modules for normal domains, J. London Math. Soc. (2) 19 (1979), no. 2, 277–284. MR 533326, DOI 10.1112/jlms/s2-19.2.277
Pierre Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962), 323–448 (French). MR 232821, DOI 10.24033/bsmf.1583
A. M. Garsia and A. Goupil, Character polynomials, their $q$-analogs and the Kronecker product, Electron. J. Combin. 16 (2009), no. 2, Special volume in honor of Anders Björner, Research Paper 19, 40. MR 2576382, DOI 10.37236/85
Christopher J. Hillar and Abraham Martín del Campo, Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals, J. Symbolic Comput. 50 (2013), 314–334. MR 2996883, DOI 10.1016/j.jsc.2012.06.006
Christopher J. Hillar and Seth Sullivant, Finite Gröbner bases in infinite dimensional polynomial rings and applications, Adv. Math. 229 (2012), no. 1, 1–25. MR 2854168, DOI 10.1016/j.aim.2011.08.009
I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1995. With contributions by A. Zelevinsky; Oxford Science Publications. MR 1354144
Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
Peter J. Olver, Differential hyperforms I, University of Minnesota Mathematics Report 82-101, http://www.math.umn.edu/~olver/paper.html.
Giorgio Ottaviani and Elena Rubei, Quivers and the cohomology of homogeneous vector bundles, Duke Math. J. 132 (2006), no. 3, 459–508. MR 2219264, DOI 10.1215/S0012-7094-06-13233-7
Paul C. Roberts, Multiplicities and Chern classes in local algebra, Cambridge Tracts in Mathematics, vol. 133, Cambridge University Press, Cambridge, 1998. MR 1686450, DOI 10.1017/CBO9780511529986
Steven V. Sam, Computing inclusions of Schur modules, J. Softw. Algebra Geom. 1 (2009), 5–10. MR 2878669, DOI 10.2140/jsag.2009.1.5
Steven V Sam and Andrew Snowden, Introduction to twisted commutative algebras, arXiv:1209.5122v1.
Steven V Sam and Andrew Snowden, Koszul duality for twisted commutative algebras, in preparation.
Steven V Sam and Andrew Snowden, Hilbert series for twisted commutative algebras, in preparation.
Steven V. Sam and Jerzy Weyman, Pieri resolutions for classical groups, J. Algebra 329 (2011), 222–259. MR 2769324, DOI 10.1016/j.jalgebra.2010.03.008
Andrew Snowden, Syzygies of Segre embeddings and $\Delta$-modules, Duke Math. J. 162 (2013), no. 2, 225–277. MR 3018955, DOI 10.1215/00127094-1962767
Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589