[论文解读] Characterizing Multigraded Regularity and Virtual Resolutions on Products of Projective Spaces

Juliette Bruce, Lauren Cranton Heller+1 more|arXiv (Cornell University)|Oct 20, 2021

Commutative Algebra and Its Applications被引用 5

一句话总结

本论文通过截断的拟线性解析式，建立了在射影空间乘积上多重分次 Castelnuovo–Mumford 正则性的刻画。证明了模 M 是 d-正则当且仅当其截断 M≥d 允许一个在度 d 生成的拟线性解析式，并表明先前工作中提出的虚解析式恰好是此类截断的最小自由解析式，从而提供了一个无需上同调的正则性判定准则。

ABSTRACT

We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain minimal virtual resolutions, we show that the multigraded regularity region of a module $M$ is determined by the minimal graded free resolutions of the truncations $M_{\geq\mathbf d}$ for $\mathbf d\in\operatorname{Pic} X$. Further, by relating the minimal graded free resolutions of $M$ and $M_{\geq\mathbf d}$ we provide a new bound on multigraded regularity of $M$ in terms of its Betti numbers. Using this characterization of regularity and this bound we also compute the multigraded Castelnuovo--Mumford regularity for a wide class of complete intersections in products of projective spaces.

研究动机与目标

• 阐明在射影空间乘积上，多重分次正则性、截断、Betti 数与虚解析式之间的关系。
• 将 Eisenbud–Goto 关于正则性与线性解析式之间等价性的结果推广至多重分次情形，以拟线性性替代线性性。
• 证明 Berkesch–Erman–Smith 意义下虚解析式的唯一性定理，表明其与截断 M≥d 的最小自由解析式完全一致。
• 提供一种可计算的、无需上同调的准则，用于判断某一度 d 是否属于模的正则区域。
• 利用新刻画方法，计算射影空间乘积中一大类完备交的多重分次正则性。

提出的方法

• 引入并形式化多重分次自由解析式中拟线性性的概念，其定义为相对于同调度的扭转向量正分量之和的有界性。
• 利用 ˇCech–Koszul 族谱序列，通过恒等式：dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a))（其中 |a| ≥ j ≥ 0），将 M≥d 的 Betti 数与 fM(d) 的傅里叶–Mukai 变换的上同调联系起来。
• 通过 Beilinson 族谱序列中的上同调消去性，证明 M 的 d-正则性蕴含 M≥d 的解析式的拟线性性。
• 证明逆命题：若 M≥d 具有拟线性解析式，则余核为 d-正则，方法为利用第 4.2 节中对 Hi_B(S) 的显式计算。
• 应用 Bondal 关于 Db(Pn) 与 D^b(mod−A) 之间等价性的结果（其中 A 是全强例外球列的自同态代数），证明虚解析式的唯一性。
• 利用 Beilinson 对角线解析式及其相关族谱序列，构造并分析虚解析式及其 Betti 数的结构。

实验结果

研究问题

• RQ1 如何将经典中正则性与线性解析式之间等价性的结果，推广至射影空间乘积上的多重分次情形？
• RQ2 在多重分次背景下，虚解析式与截断 M≥d 的最小自由解析式之间存在何种精确关系？
• RQ3 是否可以仅通过 Betti 数与解析式结构，而不依赖上同调计算，来刻画多重分次正则性？
• RQ4 在何种条件下，d-正则模的截断 M≥d 允许一个拟线性解析式？
• RQ5 在射影空间乘积上，Berkesch–Erman–Smith 意义下的虚解析式具有何种结构与唯一性？

主要发现

• 若一个有限生成的 Zr-分次 S-模 M 满足 H^0_B(M) = 0，则 M 是 d-正则当且仅当其截断 M≥d 允许一个在 F0 度 d 生成的拟线性解析式。
• M≥d 的 Betti 数可通过扭层的上同调计算：dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a))（其中 |a| ≥ j ≥ 0）。
• 在 [BES20, Thm. 2.9] 中构造的虚解析式恰好是截断 M≥d 的最小自由解析式，从而确立了其最小性与唯一性。
• 在度 d 生成的拟线性解析式的余核为 d-正则，从而提供了一个无需上同调的正则区域成员判定准则。
• 利用新刻画方法，可计算射影空间乘积中完备交的多重分次 Castelnuovo–Mumford 正则性。
• 射影空间 Pn 上全强例外球列的自同态代数所诱导的导出等价性，使得虚解析式的唯一性得以证明。