[论文解读] On the projectivity of the moduli space of stable surfaces in characteristic p>5

Zsolt Patakfalvi|arXiv (Cornell University)|Oct 10, 2017

Algebraic Geometry and Number Theory参考文献 33被引用 4

一句话总结

该论文通过证明在足够可除的指标下，对 canonical sheaf 的推前的行列式是 ample 的，从而确立了特征 p > 5 时稳定曲面的粗模空间的投影性，利用了半正性定理和 Frobenius 稳定性。关键结果是：在代数闭域特征 p > 5 下，模空间的每个正规闭子代数子空间都是投影的；在两个猜想性局部性质下，整个模空间在 Z[1/30] 上是投影的。

ABSTRACT

We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor.

研究动机与目标

• 确立正特征 p > 5 时稳定曲面粗模空间的投影性。
• 在 Z[1/30] 上的混合特征情形下，将此结果扩展至模空间函子满足两个猜想性性质的条件。
• 证明 pluricanonical sheaf 推前的行列式是 big（在最大变化情形下为 ample），从而确保投影性的 ample 性。
• 为正特征下高维稳定概形模空间的存在投影粗模空间提供基础。
• 在几何不变理论失效的正特征情形下，通过半正性和 Frobenius 技术等替代方法，弥合模空间构造中的空白。

提出的方法

• 使用 ample 性引理方法，在家族 f: X → T 的变化最大时，证明 det f∗OX(rKX/T) 对足够可除的 r 是 big 的。
• 证明定理 1.4：对于系数 > 5/6 的稳定对 (X, D) → T 的家族，f∗OX(r(KX/T + D)) 是 nef 向量丛。
• 通过 F-奇点理论，特别是 slc 曲面奇点中非 F-纯理想之约化性，建立截面的 Frobenius 稳定性。
• 在有限基变换后进行正规化与解析，将问题约化为可应用半正性定理的情形。
• 利用稳定曲面模堆栈的 Artin 堆栈结构，将行列式线丛的 ample 性下降到粗模空间。
• 结合 Q 上已知的 CM 线丛及其 ample 性结果，利用 ample 性的开性与基变换，将 ample 性扩展到基 scheme 的开子集。

实验结果

研究问题

• RQ1 在何种条件下，特征 p > 5 时稳定曲面粗模空间是投影的？
• RQ2 能否在正特征下，利用半正性和 Frobenius 技术证明 pluricanonical sheaf 推前的行列式的 ample 性？
• RQ3 模空间在混合特征下关于 Z[1/30] 投影的模空间函子，其必要且充分条件是什么？
• RQ4 F-奇点与非 F-纯理想的性质如何影响正特征下直接像的半正性？
• RQ5 Knudsen–Kollár 方法（基于 ample 性与有限对角线）在正特征下对稳定曲面的推广程度如何？

主要发现

• 在代数闭域特征 p > 5 下，稳定曲面模空间 M2,v（固定体积 v）的每个正规闭子代数子空间都是投影的。
• 当 f: X → T 是具有最大变化的稳定曲面家族时，对所有足够可除的 r > 0，行列式线丛 det f∗OX(rKX/T) 是 big 的。
• 若 f: X → T 的所有纤维两两不构同，则对所有足够可除的 r，det f∗OX(rKX/T) 是 ample 的。
• 若边界除子 D 的系数均超过 5/6，且基 T 为正规完备，则对所有足够可除的 r，向量丛 f∗OX(r(KX/T + D)) 是 nef 的。
• CM 线丛 λ3 在基 scheme S 的一般点上是 ample 的，且此 ample 性可扩展至 S 的一个开稠密子集。
• 通过结合一般纤维与闭纤维上的 ample 性，并利用 ample 性的开性，证明了行列式线丛在整个基 scheme S 上是 ample 的，从而在猜想性假设 (I) 与 (L) 下，确保了 Z[1/30] 上粗模空间的投影性。