Rationality of equivariant Hilbert series and asymptotic properties

DOI10.1090/TRAN/8447MaRDI QIDQ3382272zbMATH OpenOpenAlexFDO

Authors Uwe Nagel

Publication date 21 September 2021

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.13083

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Syzygies, resolutions, complexes and commutative rings (13D02) Algebraic theory of languages and automata (68Q70) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Abstract: An FI- or an OI-module $mathbfM$ over a corresponding noetherian polynomial algebra $mathbfP$ may be thought of as a sequence of compatible modules $mathbf{M}_n$ over a polynomial ring $mathbf{P}_n$ whose number of variables depends linearly on $n$. In order to study invariants of the modules $mathbf{M}_n$ in dependence of $n$, an equivariant Hilbert series is introduced if $mathbfM$ is graded. If $mathbfM$ is also finitely generated, it is shown that this series is a rational function. Moreover, if this function is written in reduced form rather precise information about the irreducible factors of the denominator is obtained. This is key for applications. It follows that the Krull dimension of the modules $mathbf{M}_n$ grows eventually linearly in $n$, whereas the multiplicity of $mathbf{M}_n$ grows eventually exponentially in $n$. Moreover, for any fixed degree $j$, the vector space dimensions of the degree $j$ components of $mathbf{M}_n$ grow eventually polynomially in $n$. As a consequence, any graded Betti number of $mathbf{M}_n$ in a fixed homological degree and a fixed internal degree grows eventually polynomially in $n$. Furthermore, evidence is obtained to support a conjecture that the Castelnuovo-Mumford regularity and the projective dimension of $mathbf{M}_n$ both grow eventually linearly in $n$. It is also shown that modules $mathbfM$ whose width $n$ components $mathbf{M}_n$ are eventually Artinian can be characterized by their equivariant Hilbert series. Using regular languages and finite automata, an algorithm for computing equivariant Hilbert series is presented.

Recommendations

• Equivariant Hilbert series in non-Noetherian polynomial rings
• Hilbert regularity of \(\mathbb Z\)-graded modules over polynomial rings
• Equivariant Hilbert series of monomial orbits
• scientific article; zbMATH DE number 2203293
• Multigraded Hilbert series of noncommutative modules

Cites work

• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• A necessary condition for the rationality of the zeta function of a regular language
• An application of the theory of FI-algebras to graph configuration spaces
• Betti numbers of graded modules and cohomology of vector bundles
• Betti tables of monomial ideals fixed by permutations of the variables
• Big polynomial rings and Stillman's conjecture
• Bounded-rank tensors are defined in bounded degree
• Codimension and projective dimension up to symmetry
• Determinantal rings
• Equivariant Gröbner bases
• Equivariant Hilbert series in non-Noetherian polynomial rings
• Equivariant Hilbert series of monomial orbits
• FI- and OI-modules with varying coefficients
• FI-modules and stability for representations of symmetric groups
• FI-modules over Noetherian rings.
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• Finite generation of symmetric ideals
• Finiteness for the \(k\)-factor model and chirality varieties
• GL-equivariant modules over polynomial rings in infinitely many variables
• Gröbner methods for representations of combinatorial categories
• Hilbert series of symmetric ideals in infinite polynomial rings via formal languages
• Homology of FI-modules
• Ideals of bounded rank symmetric tensors are generated in bounded degree
• Noetherianity up to symmetry
• On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals
• Regularity of Cohen-Macaulay Specht ideals
• Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals
• Representation stability and finite linear groups
• Representations of categories of \(G\)-maps
• Small subalgebras of polynomial rings and Stillman's conjecture
• Subdivisional spaces and graph braid groups
• Syzygies of Segre embeddings and \(\Delta\)-modules
• Syzygies of bounded rank symmetric tensors are generated in bounded degree
• The Geometry of Syzygies
• Topological noetherianity of polynomial functors
• Vandermonde determinantal ideals

Cited in

(13)

• Components of symmetric wide-matrix varieties
• Rationality of descendent series for Hilbert and Quot schemes of surfaces
• Shift invariant algebras, Segre products and regular languages
• Theorems of Carathéodory, Minkowski–Weyl, and Gordan up to Symmetry
• Equivariant Hilbert series
• Equivariant Hilbert series in non-Noetherian polynomial rings
• Equivariant Hilbert series of monomial orbits
• A class of Hilbert series and the strong Lefschetz property
• On computing the eventual behavior of an \(\text{FI}\)-module over the rational numbers
• Computing Gröbner bases and free resolutions of OI-modules
• Sums of finite sets, orbits of commutative semigroups, and Hilbert functions
• Minimal and cellular free resolutions over polynomial OI-algebras
• MFO-RIMS tandem workshop: Symmetries on polynomial ideals and varieties. Abstracts from the MFO-RIMS tandem workshop held September 5--11, 2021 (hybrid meeting)

This page was built for publication: Rationality of equivariant Hilbert series and asymptotic properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3382272)