[论文解读] Regularity of subschemes invariant under Pfaff fields on projective spaces

Joana Darc Antonia Santos Da Cruz, Eduardo Esteves|ArXiv.org|Feb 13, 2009

Commutative Algebra and Its Applications参考文献 11被引用 3

一句话总结

本文建立了在射影空间上关于 Pfaff 丛下不变的代数几何 Cohen–Macaulay 子概形的 Castelnuovo–Mumford 正则性的界，表明正则性由 Pfaff 丛的次数与子概形的奇点集所控制。对于具有有限奇点集的秩-1 Pfaff 丛下不变的约化、a.C.M. 曲线（维数为1），正则性恰好为 $ r = m + 1 + \rho $，其中 $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $，推广了关于向量场代数积分的早期正则性界。

ABSTRACT

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection subschemes (more generally, arithmetically Cohen-Macaulay subschemes) of dimension s, depending on how singular these schemes are, thus bounding the degrees of the hypersurfaces that cut them out.

研究动机与目标

• 界定在 $ \mathbb{P}^n_k $ 上关于 Pfaff 丛下不变的完全交与代数几何 Cohen–Macaulay 子概形的 Castelnuovo–Mumford 正则性。
• 通过将正则性与 Pfaff 丛的次数及子概形的奇点集关联，推广先前关于 Poincaré 问题的结果。
• 利用奇点集上层上同调群的消失性，提供正则性界的上同调准则。
• 将已知的曲线与超曲面的正则性界推广至更高维、具有奇点及非约化的不变子概形。

提出的方法

• 利用 Pfaff 丛作为映射 $ \eta: \Omega^s_{\mathbb{P}^n_k} \to \mathcal{L} $ 的理论，其中 $ \mathcal{L} $ 为可逆层，且 $ m = \deg(\mathcal{L}) + s $。
• 应用上同调技巧，特别是理想层在特定次数下 $ H^1 $ 与 $ H^2 $ 群的消失性。
• 使用涉及 $ \mathcal{S} $、$ C $ 及其交集的理想层的正合列，将上同调与正则性联系起来。
• 依赖于 Pfaff 丛奇点集 $ \mathcal{S} $ 与子概形奇点集 $ \Sigma_C $ 的正则性，利用零维概形正则性已知结果。
• 利用同构 $ \mathcal{I}_{\mathcal{S} \cap C, C}(m-1) \cong \widetilde{\Omega}^1_C $，其中 $ \widetilde{\Omega}^1_C $ 为典范层的无挠部分。
• 应用子正则条件 $ \omega_C \cong \mathcal{O}_C(r-3) $ 与 Gorenstein 性质，将 $ \mathcal{I}_{\Sigma_C, C} \otimes \omega_C \cong \widetilde{\Omega}^1_C $ 联系起来。

实验结果

研究问题

• RQ1 对于在秩-1 Pfaff 丛下不变、具有有限奇点集的约化、代数几何 Cohen–Macaulay 曲线，其正则性的最大可能值是多少？
• RQ2 曲线的奇点集在 Pfaff 丛次数 $ m $ 之外如何影响正则性界？
• RQ3 是否能以奇点集的正则性与 Pfaff 丛次数来界定不变子概形的正则性？
• RQ4 在何种上同调条件下，不变子概形的正则性等于 $ m + 1 + \rho $，其中 $ \rho $ 依赖于奇点集？
• RQ5 曲线的界在多大程度上可推广至更高维的不变子概形？

主要发现

• 对于在射影空间 $ \mathbb{P}^n_k $ 中的约化、代数几何 Cohen–Macaulay 曲线 $ C $（维数为1），在秩-1 Pfaff 丛 $ \eta $（次数 $ m \geq 1 $）下不变，且奇点集有限，则其正则性满足 $ r = m + 1 + \rho $，其中 $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $。
• 界 $ r = m + 1 + \rho $ 是紧的，且仅当奇点集 $ \Sigma_C $ 非空且 $ r \geq m + 4 $ 时取等，从而保证 $ \rho \geq 3 $。
• Pfaff 丛奇点集 $ \mathcal{S} $ 的正则性为 $ \mathrm{reg}(\mathcal{S}) = mn - n + 2 $，该结果用于控制证明中的上同调消失性。
• $ H^1(\mathcal{I}_{\mathcal{S}}(j)) $ 在 $ j = m + \rho - 2 $ 时的消失性至关重要，这由 $ \mathcal{S} $ 的正则性界保证。
• $ H^1(\mathcal{I}_{\Sigma_C, C}(\sigma - 2)) $ 的非消失性通过 $ H^1(\mathcal{I}_{\Sigma_C}(\sigma - 2)) $ 的非消失性得出，后者源于 $ \Sigma_C $ 为非空有限集。
• 该结果通过利用上同调工具将 Cerveau 与 Lins Neto 及 Brunella 与 Mendes 的早期结果推广至具有奇点的曲线与更高维情形。