[论文解读] Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$

Tigran Ananyan, Melvin Hochster|arXiv (Cornell University)|Sep 30, 2018

Coding theory and cryptography参考文献 28被引用 4

一句话总结

本文通过引入关键函数 $^\eta\!A(n,d)$ 和 $^\eta\!B(n,d)$，为度数 2、3 和 4 的 Stillman 猜想提供了显式、闭式界。这些函数控制小子代数和正则序列的生成。研究证明：对于 $n$ 个二次型，$R/I$ 的射影维数至多为 $2^{n+1}(n-2)+4$，这是在不施加 $n$ 限制下对二次型已知的最佳界。结果在特征不为 2 或 3 的代数闭域上对度数 4 成立，在所有特征下对度数 2 和 3 成立。

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 ${}^η\!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$_η$. A critical element in the proof is to show that there are functions ${}^η\!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 ${}^η\!A(n,d)$ forms of strictly lower degree (we call this a {\it strength} condition), then any homogeneous basis for $V$ is an R$_η$ 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 ${}^η\!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$ functions, and explicit recursions that determine the functions ${}^η\!B$ from the ${}^η\!A$ functions. In degree 2, we obtain an explicit value for ${}^η\!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$.

研究动机与目标

• 为度数 2、3 和 4 的 Stillman 猜想提供显式、构造性界，扩展 [2] 中的非构造性证明。
• 定义并计算控制小子代数和正则序列生成的关键函数 $^\eta\!A(n,d)$ 和 $^\eta\!B(n,d)$。
• 为度数 2、3 和 4 的 $^\eta\!A(n,d)$ 建立闭式表达式，并为 $^\eta\!B(n,d)$ 建立递归公式。
• 改进由 $n$ 个二次型生成的理想之 Stillman 界，给出射影维数的最紧已知上界。

提出的方法

• 引入 $k$-坍缩和 $\kappa$-强子空间的概念，以定义确保齐次基形成正则序列的强度条件。
• 基于关键函数提出新方法，推导 $^\eta\!A(n,d)$，与 [2] 中的非构造性方法不同，尤其在度数 4 时。
• 为度数 2、3 和 4 的 $^\eta\!A(n,d)$ 推导出闭式表达式，其中包含 $A_3(2n+\eta)$ 和度数 4 的函数 $\mathfrak{K}_4$ 的显式公式。
• 建立 $^\eta\!B(n,d)$ 与 $^\eta\!A(n,d)$ 之间的递归关系，从而实现对由正则序列生成的小子代数大小的计算。
• 将理论应用于计算 $n$ 个二次型的射影维数界，结果为 $2^{n+1}(n-2)+4$，在任意域上均成立。
• 对度数 4 限制在特征不为 2 或 3 的代数闭域上，因方法存在技术限制。

实验结果

研究问题

• RQ1 在度数 2、3 和 4 下，$^\eta\!A(n,d)$ 的最佳可能显式界是什么？是否可表示为闭式？
• RQ2 由 $n$ 个次数为 $d$ 的形式生成的理想之 Stillman 界能否显式化并构造化，特别是当 $d=2$ 时？
• RQ3 对于固定的 $d$，$^\eta\!A(n,d)$ 是否关于 $n$ 有多项式界？若有，该多项式的次数是多少？
• RQ4 能否比以往结果更紧地界定 $n$ 个二次型的 $R/I$ 的射影维数？
• RQ5 在一般情况下，$^\eta\!B(n,d)$ 的最小可能值是多少？是否存在 $^\eta\!B(n,d)$ 的多项式界？

主要发现

• 对于 $n$ 个二次型，$R/I$ 的射影维数至多为 $2^{n+1}(n-2)+4$，这是在不施加 $n$ 限制下对二次型已知的最佳界。
• 在度数 2 时，本文给出了 $^\eta\!B(n,2)$ 的显式值，从而对由正则序列生成的小子代数的大小给出了紧致界。
• 对于度数 4 且特征不为 2 或 3 的域，本文为 $^\eta\!A(n,4)$ 提供了闭式表达式，涉及 $\mathfrak{K}_4$ 和 $A_3(2n+\eta)$，其中 $A_3(2n+\eta) = 2(8n+4\eta-1)(2n+\eta-1)$。
• 本文建立了递归公式，可由 $^\eta\!A(n,d)$ 确定 $^\eta\!B(n,d)$，从而实现 Stillman 界的算法计算。
• 作者猜想：对于固定的 $d$，$^\eta\!A(n,d)$ 和 $^\eta\!B(n,d)$ 在 $n$ 上至多多项式增长，其中 $^\eta\!A(n,d)$ 受 $C_{d,\eta}n^{\lambda(d)}$ 有界，$^\eta\!B(n,d)$ 受 $C_d n^d$ 有界。
• 本文表明，[31] 中对 $d=2$ 的理想构造达到了界 $h(n-h+1)$，暗示该界可能为紧致，支持了关于二次型理想射影维数的猜想 11.4。