Equivariant Hilbert Series in non-Noetherian Polynomial Rings

Abstract

We introduce and study equivariant Hilbert series of ideals in polynomial rings in countably many variables that are invariant under a suitable action of a symmetric group or the monoid $Inc(\mathbb{N})$ of strictly increasing functions. Our first main result states that these series are rational functions in two variables. A key is to introduce also suitable submonoids of $Inc(\mathbb{N})$ and to compare invariant filtrations induced by their actions. Extending a result by Hillar and Sullivant, we show that any ideal that is invariant under these submonoids admits a Gröbner basis consisting of finitely many orbits. As our second main result we prove that the Krull dimension and multiplicity of ideals in an invariant filtration grow eventually linearly and exponentially, respectively, and we determine the terms that dominate this growth.

30 pages; the title has been modified

Cited by in corpus (19)

• FI- and OI-modules with varying coefficients
• Castelnuovo-Mumford regularity up to symmetry
• Codimension and Projective Dimension up to Symmetry
• Betti numbers of symmetric shifted ideals
• Symmetric subvarieties of infinite affine space
• Invariant chains in algebra and discrete geometry
• Theorems of Carathéodory, Minkowski-Weyl, and Gordan up to symmetry
• Combinatorial Differential Algebra of $x^p$
• Symmetric ideals of the infinite polynomial ring
• Equivariant Hilbert series for hierarchical models
• Nonlinear Algebra and Applications
• A Kruskal-Katona type result and applications
• Asymptotic behavior of symmetric ideals: A brief survey
• The semi-linear representation theory of the infinite symmetric group
• On monoids up to symmetry
• Equivariant algebraic and semi-algebraic geometry of infinite affine space
• A note on projective dimension over twisted commutative algebras
• Image closure of symmetric wide-matrix varieties
• Symmetric Ideals and Invariant Hilbert Schemes