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

Author:

Ananyan Tigran,Hochster Melvin

Abstract

In an earlier work, the authors prove Stillman’s conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field K K or the number of variables, n n forms of degree at most d d in a polynomial ring R R over K K are contained in a polynomial subalgebra of R R generated by a regular sequence consisting of at most η B ( n , d ) {}^\eta \!B(n,d) forms of degree at most d 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 η _\eta . A critical element in the proof is to show that there are functions η A ( n , d ) {}^\eta \!A(n,d) with the following property: in a graded n n -dimensional K K -vector subspace V V of R R spanned by forms of degree at most d d , if no nonzero form in V V is in an ideal generated by η A ( n , d ) {}^\eta \!A(n,d) forms of strictly lower degree (we call this a strength condition), then any homogeneous basis for V V is an R η _\eta sequence. The methods of our earlier work are not constructive. In this paper, we use related but different ideas that emphasize the notion of a key function to obtain the functions η A ( n , d ) {}^\eta \!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 η A _ {}^\eta \!{\underline {A}} functions, and explicit recursions that determine the functions η B {}^\eta \!B from the η A _ {}^\eta \!{\underline {A}} functions. In degree 2, we obtain an explicit value for η B ( n , 2 ) {}^\eta \!B(n,2) that gives the best known bound in Stillman’s conjecture for quadrics when there is no restriction on n n . In particular, for an ideal I I generated by n n quadrics, the projective dimension R / I R/I is at most 2 n + 1 ( n 2 ) + 4 2^{n+1}(n - 2) + 4 .

Funder

National Science Foundation

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Reference36 articles.

1. Ideals generated by quadratic polynomials;Ananyan, Tigran;Math. Res. Lett.,2012

2. Small subalgebras of polynomial rings and Stillman’s conjecture;Ananyan, Tigran;J. Amer. Math. Soc.,2020

3. Untersuchungen über quadratische Formen in Körpern der Charakteristik 2. I;Arf, Cahit;J. Reine Angew. Math.,1941

4. On cap sets and the group-theoretic approach to matrix multiplication;Blasiak, Jonah;Discrete Anal.,2017

5. Ideals with larger projective dimension and regularity;Beder, Jesse;J. Symbolic Comput.,2011

Cited by 9 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Schmidt rank and singularities;Ukrains’kyi Matematychnyi Zhurnal;2023-09-26

2. Partition and analytic rank are equivalent over large fields;Duke Mathematical Journal;2023-09-01

3. Strength and Slice Rank of Forms are Generically Equal;Israel Journal of Mathematics;2022-11-28

4. Radical Sylvester-Gallai Theorem for Cubics;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10

5. The set of forms with bounded strength is not closed;Comptes Rendus. Mathématique;2022-04-26

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3