Big polynomial rings and Stillman's conjecture

DOI10.1007/S00222-019-00889-YMaRDI QIDQ2326465zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Erman, Steven V. Sam, Andrew Snowden

Publication date 7 October 2019

Published in Inventiones Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

ultraproductstrengthBetti tableHasse derivationStillman's conjecturebig polynomial ring

Mathematics Subject Classification ID

Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: The purpose of this paper is to prove that certain limits of polynomial rings are themselves polynomial rings, and show how this observation can be used to deduce some interesting results in commutative algebra. In particular, we give two new proofs of Stillman's conjecture. The first is similar to that of Ananyan-Hochster, though more streamlined; in particular, it establishes the existence of small subalgebras. The second proof is completely different, and relies on a recent noetherianity result of Draisma.

Recommendations

• Small subalgebras of polynomial rings and Stillman's conjecture
• Generalizations of Stillman's conjecture via twisted commutative algebra
• Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules
• Stillman’s conjecture via generic initial ideals
• Stillman's question for twisted commutative algebras

Cites work

• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1047205 (Why is no real title available?)
• scientific article; zbMATH DE number 1176576 (Why is no real title available?)
• Algebraic Functions and Projective Curves
• Big polynomial rings with imperfect coefficient fields
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Generalizations of Stillman's conjecture via twisted commutative algebra
• Gröbner bases and normal forms in a subring of the power series ring on countably many variables
• Hopf algebras and derivations
• Noetherianity up to symmetry
• On the structure of Hopf algebras
• Open problems on syzygies and Hilbert functions
• Small subalgebras of polynomial rings and Stillman's conjecture
• Stillman’s conjecture via generic initial ideals
• The use of ultraproducts in commutative algebra
• Topological noetherianity of polynomial functors

Cited in

(33)

• Ultrahomogeneous tensor spaces
• Stillman’s conjecture via generic initial ideals
• Generalizations of Stillman's conjecture via twisted commutative algebra
• Lower bounds on Betti numbers
• Stillman's question for twisted commutative algebras
• The spectrum of a twisted commutative algebra
• Relative big polynomial rings
• Free limits of free algebras
• Topological noetherianity of polynomial functors
• The Geometry of Polynomial Representations
• Strength and Hartshorne's conjecture in high degree
• Strength conditions, small subalgebras, and Stillman bounds in degree \(\leq 4\)
• Small subalgebras of polynomial rings and Stillman's conjecture
• The Woods-Erdős conjecture for polynomial rings
• Small projective spaces and Stillman uniformity for sheaves
• The set of forms with bounded strength is not closed
• Regularity of prime ideals
• Cox rings of projectivized toric vector bundles and toric flag bundles
• An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals
• Big polynomial rings with imperfect coefficient fields
• The projective dimension of three cubics is at most 5
• Universality of high-strength tensors
• The regularity conjecture for prime ideals in polynomial rings
• Equivariant prime ideals for infinite dimensional supergroups
• Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules
• Rationality of equivariant Hilbert series and asymptotic properties
• Implicitisation and parameterisation in polynomial functors
• Equivariant algebraic and semi-algebraic geometry of infinite affine space
• Noetherian properties in representation theory
• Linear subspaces of hypersurfaces
• Topological Noetherianity of polynomial functors. II: Base rings with Noetherian spectrum
• Structure theory of p.p. rings and their generalizations
• Syzygies over a polynomial ring

This page was built for publication: Big polynomial rings and Stillman's conjecture

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