Strength conditions, small subalgebras, and Stillman bounds in degree 4

DOI10.1090/TRAN/8060zbMATH Open1452.13017arXiv1810.00413OpenAlexW2990582066MaRDI QIDQ5114748FDOQ5114748

Authors: Tigran Ananyan, Melvin Hochster 

Publication date: 25 June 2020

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: In [2], the authors prove Stillman's conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field $K$ or the number of variables, $n$ forms of degree at most $d$ in a polynomial ring $R$ over $K$ are contained in a polynomial subalgebra of $R$ generated by a regular sequence consisting of at most ${}^{e}ta!B(n,d)$ forms of degree at most $d$: we refer to these informally as "small" subalgebras. Moreover, these forms can be chosen so that the ideal generated by any subset defines a ring satisfying the Serre condition R${}_{e}ta$. A critical element in the proof is to show that there are functions ${}^{e}ta!A(n,d)$ with the following property: in a graded $n$-dimensional $K$-vector subspace $V$ of $R$ spanned by forms of degree at most $d$, if no nonzero form in $V$ is in an ideal generated by ${}^{e}ta!A(n,d)$ forms of strictly lower degree (we call this a {it strength} condition), then any homogeneous basis for $V$ is an R${}_{e}ta$ sequence. The methods of cite{AH2} are not constructive. In this paper, we use related but different ideas that emphasize the notion of a {it key function} to obtain the functions ${}^{e}ta!A(n,d)$ in degrees 2, 3, and 4 (in degree 4 we must restrict to characteristic not 2, 3). We give bounds in closed form for the key functions and the ${}^{e}ta!A$ functions, and explicit recursions that determine the functions ${}^{e}ta!B$ from the ${}^{e}ta!A$ functions. In degree 2, we obtain an explicit value for ${}^{e}ta!B(n,2)$ that gives the best known bound in Stillman's conjecture for quadrics when there is no restriction on $n$. In particular, for an ideal $I$ generated by $n$ quadrics, the projective dimension $R/I$ is at most $2^{n+1}(n-2)+4$.

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

Recommendations

• Small subalgebras of polynomial rings and Stillman's conjecture
• Stillman’s conjecture via generic initial ideals
• The strength for line bundles
• Generalizations of Stillman's conjecture via twisted commutative algebra
• Big polynomial rings and Stillman's conjecture

zbMATH Keywords

quadratic formpolynomial ringidealregular sequenceprojective dimensioncubic formquartic form

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Homological dimension and commutative rings (13D05)

Cites Work

• 'Jede' endliche freie Auflösung ist freie Auflösung eines von drei Elementen erzeugten Ideals
• Lectures on unique factorization domains. Notes by M. Pavman Murthy
• Ideals defined by matrices and a certain complex associated with them
• Title not available (Why is that?)
• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Open problems on syzygies and Hilbert functions
• Properties of Noetherian rings stable under general grade reduction
• Title not available (Why is that?)
• On the Arf invariant in historical perspective
• A bound on the projective dimension of three cubics
• Regular pairs of quadratic forms on odd-dimensional spaces in characteristic 2
• A family of ideals with few generators in low degree and large projective dimension
• Some Ideals with Large Projective Dimension
• Ideals with larger projective dimension and regularity
• Untersuchungen über quadratische Formen in Körpern der Charakteristik 2. (Teil I.).
• On cap sets and the group-theoretic approach to matrix multiplication
• Big polynomial rings and Stillman's conjecture
• Small subalgebras of polynomial rings and Stillman’s Conjecture
• On the projective dimension and the unmixed part of three cubics
• Ideals Generated by Three Elements
• A Theorem of Grothendieck Using Picard Groups for the Algebraist.
• The projective dimension of codimension two algebras presented by quadrics
• Topological Noetherianity of polynomial functors
• The projective dimension of three cubics is at most 5
• A tight bound on the projective dimension of four quadrics
• Stillman’s conjecture via generic initial ideals
• Topological noetherianity for cubic polynomials
• Ideals generated by quadratic polynomials
• Commutative Algebra
• Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials

Cited In (11)

• Strength and slice rank of forms are generically equal
• The set of forms with bounded strength is not closed
• Universality of high-strength tensors
• Properties of high rank subvarieties of affine spaces
• Universal lex ideal approximations of extended Hilbert functions and Hamilton numbers
• The regularity conjecture for prime ideals in polynomial rings
• Corrigendum to “Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$”
• Partition and analytic rank are equivalent over large fields
• Schmidt rank and singularities
• On the strength of general polynomials
• Ideals generated by quadratic polynomials

This page was built for publication: Strength conditions, small subalgebras, and Stillman bounds in degree \(\leq 4\)

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