[论文解读] Multigraded regularity of complete intersections

Marc Chardin, Navid Nemati|arXiv (Cornell University)|Dec 29, 2020

Commutative Algebra and Its Applications参考文献 6被引用 5

一句话总结

本文为 $\mathbb{P}^n \times \mathbb{P}^m$ 中 0-维完全交概形的双分次 Hilbert 函数建立了显式公式，表明许多取值仅取决于定义形式的双次数。本文给出了多分次正则性的精确上界，并证明对于一般完全交（双次数为 $(d,e)$），Hilbert 函数在除有限个双次数外均稳定至概形的次数。

ABSTRACT

$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $ extrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n imes \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.

研究动机与目标

• 理解多投影空间中完全交概形的多分次正则性，特别是 $\mathbb{P}^n \times \mathbb{P}^m$ 中的情形。
• 确定 0-维完全交的哪些同调不变量仅由定义形式的双次数决定。
• 计算此类概形的双分次 Hilbert 函数的显式取值，并识别这些取值与具体形式选择无关的区域。
• 为 0-维情形下的多分次正则性建立精确上界。
• 证明对于一般完全交（双次数为 $(d,e)$），Hilbert 函数在除有限个双次数外均稳定至概形的次数。

提出的方法

• 作者通过关于无关理想 $B = B_1 \cdot B_2$ 的局部上同调模，定义了双分次设定下的多分次正则性。
• 他们利用极小自由解析和分次 Betti 数分析完全交坐标环的结构。
• 他们利用 Hilbert 函数中的对偶性性质，计算 $\mathbb{N}^2$ 中特定区域内不依赖于定义形式选择的取值。
• 他们应用代数几何与交换代数的结果，包括一般性论证与维数理论，分析完全交的普遍族的纤维结构。
• 他们使用局部化与雅可比型论证，证明从普遍族到 $\mathbb{P}^n$ 和 $\mathbb{P}^m$ 的自然投影在稠密开集上是同构。
• 他们通过构造逆映射（利用偏导数及非零雅可比子式处的局部化）证明投影映射的双有理性。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^n \times \mathbb{P}^m$ 中，0-维完全交的双分次 Hilbert 函数的哪些取值不依赖于定义形式的选择，而仅取决于其双次数？
• RQ2 能否为 $\mathbb{P}^n \times \mathbb{P}^m$ 中 0-维完全交的多分次正则性建立精确上界？
• RQ3 对于一般完全交（双次数为 $(d,e)$），其 Hilbert 函数的结构如何？它如何实现稳定化？
• RQ4 在多投影空间中，完全交点的 Hilbert 函数取值如何体现对偶性？
• RQ5 在何种条件下，从完全交的普遍族到 $\mathbb{P}^n$ 或 $\mathbb{P}^m$ 的自然投影在稠密开子集上是同构？

主要发现

• 对于由给定双次数形式定义的 $\mathbb{P}^n \times \mathbb{P}^m$ 中的 0-维完全交，其双分次 Hilbert 函数的许多取值不依赖于具体形式选择，而仅取决于 $n$、$m$ 和双次数。
• 在某些区域中，Hilbert 函数的取值表现出对偶性，即由对称或互补的双次数决定。
• 本文为 $\mathbb{P}^n \times \mathbb{P}^m$ 中 0-维完全交的多分次正则性提供了精确上界，且该上界仅依赖于定义形式的双次数。
• 对于一般完全交（双次数为 $(d,e)$），Hilbert 函数在所有足够大的双次数下均稳定至概形的次数，仅有有限多个例外。
• 从完全交的普遍族到 $\mathbb{P}^n$ 和 $\mathbb{P}^m$ 的自然投影在稠密开子集上是同构，这意味着纤维是约化的，且概形是通用光滑的。
• 作者证明了从普遍族到 $\mathbb{P}^n$ 的投影映射在稠密开子集上是双有理的，并通过在非零偏导数子式处局部化构造了显式逆映射。