Rationality of equivariant Hilbert series and asymptotic properties

DOI10.1090/TRAN/8447zbMATH Open1475.13024arXiv2006.13083OpenAlexW3156459592MaRDI QIDQ3382272FDOQ3382272

Authors: Uwe Nagel 

Publication date: 21 September 2021

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

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.

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

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

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)

Cites Work

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

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
• Minimal and cellular free resolutions over polynomial OI-algebras
• Sums of finite sets, orbits of commutative semigroups, and Hilbert functions
• 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)