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

Betti tablebig polynomial ringHasse derivationStillman's conjecturestrengthultraproduct

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.

Review text

Stillman's conjecture was stated in [\textit{I. Peeva} and \textit{M. Stillman}, J. Commut. Algebra 1, No. 1, 159--195 (2009; Zbl 1187.13010)] as follows. Fix a sequence of natural numbers \(a_1, \dots, a_r\). Does there exist a number \(q\), such that \(\mathrm{reg} (W/J) \leq q\) if \(W\) is a polynomial ring (over \(k\)) and \(J\) is a graded ideal with a minimal system of homogeneous generators of degrees \(a_1,\dots ,a_r\)? Note that the number of variables in the polynomial ring \(W\) is not fixed. This conjecture has already been proven (by \textit{T. Ananyan} and \textit{M. Hochster} [``Small subalgebras of polynomial rings and Stillman's conjecture, Preprint, \url{arXiv:1610.09268}]) and generalized, and it continues to generate great interest (for instance the problem of finding an optimal \(q\) given \(a_1,\dots,a_r\)). The current paper offers two new proofs. They do this via some results that show that certain limits of polynomial rings are themselves polynomial rings.

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

• 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
• 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?)
• 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

(40)

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

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)