Big polynomial rings and Stillman's conjecture

DOI10.1007/S00222-019-00889-YzbMATH Open1427.13018arXiv1801.09852OpenAlexW2786737120WikidataQ123155809 ScholiaQ123155809MaRDI QIDQ2326465FDOQ2326465

Authors: Daniel Erman, Steven V. Sam, Andrew Snowden 

Publication date: 7 October 2019

Published in: Inventiones Mathematicae (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

ultraproductstrengthBetti tableHasse derivationStillman's conjecturebig polynomial ring

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (33)

• Stillman’s conjecture via generic initial ideals
• Generalizations of Stillman's conjecture via twisted commutative algebra
• Lower bounds on Betti numbers
• The spectrum of a twisted commutative algebra
• Relative big polynomial rings
• Free limits of free algebras
• Stillman's question for twisted commutative 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
• Cox rings of projectivized toric vector bundles and toric flag bundles
• An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals
• Regularity of prime 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
• Topological Noetherianity of polynomial functors. II: Base rings with Noetherian spectrum
• Linear subspaces of hypersurfaces
• Structure theory of p.p. rings and their generalizations
• Syzygies over a polynomial ring
• Ultrahomogeneous tensor spaces

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)