Equivariant Gröbner bases

MaRDI QIDQ4627686zbMATH OpenFDO

Authors Christopher J. Hillar, Robert Krone, Anton Leykin

Publication date 11 March 2019

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

zbMATH Keywords

generating setsinvariant idealsymmetric groupinfinite dimensional algebrawell-quasi-orderingGröbner basis

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Symmetric groups (20B30) Commutative Noetherian rings and modules (13E05) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Abstract: Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gr"obner bases, develop several algorithms to compute them, showcase our software implementation, and close with several open problems and computational challenges.

Recommendations

• Equivariant Gröbner Bases of Symmetric Toric Ideals
• Gröbner bases, invariant theory and equivariant dynamics
• Equivariant Gröbner bases and the Gaussian two-factor model
• Gröbner bases of symmetric ideals
• scientific article; zbMATH DE number 5003332

Cited in

(13)

• Equivariant Gröbner bases and the Gaussian two-factor model
• A Gröbner basis criterion for birational equivalence of affine varieties
• Noetherianity and Specht problem for varieties of bicommutative algebras
• Finite numbers of initial ideals in non-Noetherian polynomial rings
• Theorems of Carathéodory, Minkowski–Weyl, and Gordan up to Symmetry
• Symideal Gröbner bases
• Gröbner bases, invariant theory and equivariant dynamics
• Rationality of equivariant Hilbert series and asymptotic properties
• Computing Gröbner bases and free resolutions of OI-modules
• Implicitisation and parameterisation in polynomial functors
• Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
• Normalization of indexed differentials by extending Gröbner basis theory
• Equivariant Gröbner Bases of Symmetric Toric Ideals

Describes a project that uses

Uses Software

• EquivariantGB
• 4ti2
• Macaulay2

This page was built for publication: Equivariant Gröbner bases

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