[论文解读] The non-nef locus in positive characteristic

Mircea Mustaţă|arXiv (Cornell University)|Sep 18, 2011

Glycosylation and Glycoproteins Research参考文献 9被引用 21

一句话总结

该论文在正特征情况下建立了特征零中非 nef 余因子的描述的类比，将渐近乘子理想替换为渐近测试理想。通过利用 Fujita 的消去定理和 Frobenius 技术所支持的关于这些理想张量的统一全局生成结果，证明了非 nef 余因子由渐近测试理想的消失所刻画，从而将基点簇和消失阶数的关键结果推广到了正特征几何中。

ABSTRACT

We give an analogue in positive characteristic of the description of the non-nef locus from \cite{ELMNP}. In this case, the role of the asymptotic multiplier ideals is played by the asymptotic test ideals. The key ingredient is provided by a uniform global generation statement involving twists by such ideals.

研究动机与目标

• 将特征零中非 nef 余因子的描述推广到正特征，使用测试理想替代乘子理想。
• 在正特征中建立关于渐近测试理想张量的层的统一全局生成陈述。
• 证明非 nef 余因子由子簇上渐近测试理想的消失所刻画。
• 证明渐近消失阶函数在大锥上连续，并通过极限构造扩展到拟有效锥。

提出的方法

• 在正特征中，用渐近测试理想替代特征零中的渐近乘子理想，后者为其类比。
• 使用形如 $ \tau(\lambda \cdot \parallel D\parallel) \otimes \mathcal{O}_X(K_X + E + dH) $ 的层的统一全局生成定理，其中 $ d \geq \dim X + 1 $。
• 应用 Fujita 的消去定理与 Frobenius 上推，以克服正特征中 Kodaira 消去定理的失效。
• 采用适配于测试理想设定的 Castelnuovo-Mumford 正则性论证，以实现全局生成。
• 对拟有效除子 $ D $，定义 $ \sigma_Z(D) = \sup_A \operatorname{ord}_Z(\parallel D+A\parallel) $，其中 $ A $ 取遍具有平凡类的充分正线丛。
• 证明 $ \sigma_Z $ 的下半连续性，并证明 $ D $ 不在 $ \mathbf{B}_-(D) $ 中当且仅当 $ \sigma_Z(D) = 0 $。

实验结果

研究问题

• RQ1 如何在正特征中类比特征零中的非 nef 余因子描述？
• RQ2 在正特征中，研究基点簇时，渐近乘子理想的角色由什么取代？
• RQ3 尽管 Kodaira 消去定理在正特征中失效，是否仍能在正特征中建立关于渐近测试理想张量的统一全局生成结果？
• RQ4 渐近消失阶函数在正特征的大锥上是否连续？
• RQ5 在正特征中，非 nef 余因子在拟有效锥边界处的行为如何？

主要发现

• 非 nef 余因子 $ \mathbf{B}_-(D) $ 由渐近测试理想的消失所刻画：当且仅当对所有 $ m \geq 1 $，$ \tau(\parallel mD\parallel) $ 在 $ x $ 处不消失时，有 $ x \notin \mathbf{B}_-(D) $。
• 渐近消失阶 $ \operatorname{ord}_x(\parallel D\parallel) $ 仅依赖于 $ D $ 的数值类，并在正特征中连续扩展至大锥。
• 对任意大除子 $ D $，在给定的 nef 与 ample 条件下，层 $ \tau(\lambda \cdot \parallel D\parallel) \otimes \mathcal{O}_X(K_X + E + dH) $ 对 $ d \geq \dim X + 1 $ 是全局生成的。
• 函数 $ \sigma_Z(D) $，定义为对所有充分正线丛 $ A $ 的 $ \operatorname{ord}_Z(\parallel D+A\parallel) $ 的上确界，在拟有效锥上是下半连续的。
• 对拟有效除子 $ D $，当且仅当对所有 $ m \geq 1 $，$ \tau_+(\parallel mD\parallel) $ 沿 $ Z $ 不消失时，有 $ Z \not\subseteq \mathbf{B}_-(D) $，且此等价于 $ \sigma_Z(D) = 0 $。
• 若基域不可数，则 $ \mathbf{B}_-(D) $ 的不可约 codimension-one 分量数量受 Picard 数 $ \rho(X) $ 限制。