[论文解读] Vanishing theorems and the multigraded regularity of nonsingular subvarieties

Victor Lozovanu, Gregory G. Smith|arXiv (Cornell University)|Aug 2, 2012

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文通过利用与方案论方程相关的极大且 nef 的线丛，建立了一个关于非奇异子簇上扭曲理想层高阶上同调群的新消失定理。关键贡献在于多齐次 Castelnuovo-Mumford 正则性的线性界，以及对伴随线丛嵌入的射影正规性的新判据，推广了以往结果，且无需对 nef 除子施加全序条件。

ABSTRACT

Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded Castelnuovo-Mumford regularity of a nonsingular subvariety, and new criteria for the embeddings by adjoint line bundles to be projectively normal. A special case of our work recovers the vanishing theorem of Bertram, Ein, and Lazarsfeld.

研究动机与目标

• 建立关于由 nef 除子定义的非奇异子簇上扭曲理想层高阶上同调群的消失定理。
• 推导此类子簇的多齐次 Castelnuovo-Mumford 正则性的线性界。
• 提供关于伴随线丛全局截面乘法映射满射性的新判据。
• 通过去除对 nef 除子集合上全序的依赖，推广 Bertram-Ein-Lazarsfeld 消失定理。
• 将框架扩展至具有高维 nef 锥的环境空间，如 toric 代数簇和 Mori 梦想空间。

提出的方法

• 证明通过利用线丛商的投影丛构造实现，利用 nef 锥的结构。
• 通过渐近乘子理想层，在高余维情形下应用 Kawamata-Viehweg 消失定理。
• 该方法依赖于通过局部正规参数系证明极大且 nef 线丛的渐近乘子理想层在每一点处平凡。
• 通过分解线丛 $ B = \pi^*(L \otimes \mathcal{O}_X(mD_{s_1} + \sum D_{s_j})) \otimes \mathcal{O}_{X'}(mF_{s_1} + \sum F_{s_j}) $ 来分析基点自由线性系统。
• 应用 [PAGII] 中定理 11.2.12(ii) 结论：当渐近乘子理想层平凡时，高阶上同调群消失。
• 该论证涉及在每一点构造具有正规相交支撑的有效除子 $ G $，以确保 $ \mathscr{J}(G) = \mathscr{O}_{X'} $，从而推出乘子理想平凡。

实验结果

研究问题

• RQ1 在何种条件下，非奇异子簇上扭曲理想层的高阶上同调群会消失？
• RQ2 如何以定义方程的次数为参数，线性地界定多齐次 Castelnuovo-Mumford 正则性？
• RQ3 在何种条件下，能保证伴随线丛全局截面之间乘法映射的满射性？
• RQ4 能否在不假设对 nef 除子集合施加全序的条件下，推广 Bertram、Ein 和 Lazarsfeld 的消失定理？
• RQ5 该框架在多维 nef 锥的环境空间（如 toric 代数簇或 Mori 梦想空间）中可推广到何种程度？

主要发现

• 当对所有 $ e $-元子集 $ \{s_1, \dots, s_e\} \subseteq \{1, \dots, r\} $，有 $ L \otimes \mathcal{O}_X(-(m+1)D_{s_1} - \cdots - D_{s_e}) $ 为极大且 nef 时，所有 $ i > 0 $ 的高阶上同调群 $ H^i(X, \mathscr{I}_Y^{m+1} \otimes K_X \otimes L) $ 消失。
• 非奇异子簇 $ Y \subseteq X $ 的多齐次 Castelnuovo-Mumford 正则性，其增长至多为定义方程次数的线性函数。
• 推论 1.2 在 $ L \otimes \mathcal{O}_X(-D_{s_1} - \cdots - D_{s_e} - \sum u_j P_j) $ 对所有此类子集及 $ \sum u_j = \dim(Y)+1 $ 为极大且 nef 的假设下，给出了 $ \mathscr{I}_Y $ 关于 $ P_1, \dots, P_\ell $ 的正则性的线性界。
• 推论 1.3 在 $ L_j \otimes A_1^{-1} \otimes \cdots \otimes A_d^{-1} $ 对 $ j=1,2 $ 为极大且 nef 的条件下，给出了关于伴随线丛 $ K_X \otimes L_1 $ 和 $ K_X \otimes L_2 $ 全局截面之间乘法映射满射性的新判据。
• 本文证明了一个新的 Griffiths 型消失定理，适用于向量丛的对称幂，表明当 $ E $ 是 $ \bigoplus \mathcal{O}_X(D_j) $ 的商时，有 $ H^i(X, \operatorname{Sym}^m(E) \otimes B) = 0 $ 对所有 $ i > 0 $，$ m \geq 0 $，以及极大且 nef 的 $ B $ 成立。
• 当 $ X = \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_\ell} $ 时，切丛是 $ \bigoplus \mathcal{O}_X(D_k) $ 的商，因此对所有 $ i > 0 $，$ m \geq 0 $，以及极大且 nef 的 $ B $，有 $ H^i(X, \operatorname{Sym}^m(T_X) \otimes B) = 0 $。