Equivariant Hilbert series in non-Noetherian polynomial rings (Q2362577): Difference between revisions

The authors introduce and study equivariant Hilbert series of ideals in a polynomial ring \(K[X]\) in a countable set of infinite variables over a field \(K\) that are invariant under an action of a symmetric group or certain submonoids of the monoid of strictly increasing functions on the set of positive integers. They show that the equivariant Hilbert series is a rational function of a certain form in two variables. A key to their approach is to adjoin a linear form of \(K[X]\) to the ideal and observe that the new ideal satisfies some invariance properties with respect to the submonoids of the monoid of strictly increasing functions. Concerning the submonoids, they also extend a result of \textit{C. J. Hillar} and \textit{S. Sullivant} [Adv. Math. 229, No. 1, 1--25 (2012; Zbl 1233.13012)], showing that any ideal that is invariant under these submonoids admits a Gröbner basis consisting of finitely many orbits. They then show that the Krull dimension and multiplicity of ideals in an invariant filtration grow eventually linearly and exponentially, respectively. They determine terms that dominate this growth.