Hilbert series of symmetric ideals in infinite polynomial rings via formal languages

DOI10.1016/J.JALGEBRA.2017.05.014MaRDI QIDQ2357528zbMATH OpenOpenAlexFDO

Authors Robert Krone, Anton Leykin, Andrew Snowden

Publication date 13 June 2017

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

equivariant Groebner basesformal languagesHilbert seriesinfinite dimensional polynomial ringinvariance up to symmetry

Mathematics Subject Classification ID

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1leiler$ and $jinmathbbN$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{infty}$. Nagel--R"omer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simple algorithm that computes the series.

Recommendations

• Equivariant Hilbert series in non-Noetherian polynomial rings
• Minimal generators for symmetric ideals
• Equivariant Hilbert series of monomial orbits
• Symmetric polynomials and nonfinitely generated \(\mathrm{Sym}(\mathbb{N})\)-invariant ideals
• Finite generation of symmetric ideals

Cites work

• Equivariant Hilbert series in non-Noetherian polynomial rings
• Erratum for ‘‘Finite generation of symmetric ideals”
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• Gröbner methods for representations of combinatorial categories
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• Noetherianity up to symmetry
• On the laws of a metabelian variety
• Stability patterns in representation theory

Cited in

(15)

• Components of symmetric wide-matrix varieties
• Equivariant Hilbert series in non-Noetherian polynomial rings
• MFO-RIMS tandem workshop: Symmetries on polynomial ideals and varieties. Abstracts from the MFO-RIMS tandem workshop held September 5--11, 2021 (hybrid meeting)
• Rationality of equivariant Hilbert series and asymptotic properties
• Equivariant Hilbert series of monomial orbits
• Theorems of Carathéodory, Minkowski–Weyl, and Gordan up to Symmetry
• The Representation Theory of the Increasing Monoid
• Shift modules, strongly stable ideals, and their dualities
• Nonlinear algebra and applications
• Shift invariant algebras, Segre products and regular languages
• The semi-linear representation theory of the infinite symmetric group
• Towards a theory of Inc-compatible term orders in polynomial rings in infinitely many variables
• Image closures of symmetric wide-matrix varieties
• On monoids up to symmetry
• Systems of ideals parameterized by combinatorial structures

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Hilbert series of symmetric ideals in infinite polynomial rings via formal languages

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