[论文解读] Singular divisors and syzygies of polarized abelian threefolds

Victor Lozovanu|arXiv (Cornell University)|Mar 23, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 9

一句话总结

本文通过约化技巧、牛顿-奥库诺夫体及邻接反演方法，建立了极化阿贝尔三倍积 $(A,L)$ 满足性质 $(N_p)$ 以及 $K_{p,1}(A,L;dL)$ 在 $d \geq 2$ 时消失的数值条件。关键结果为：若 $(L^3) > 59(p+2)^3$，对所有阿贝尔曲面 $S \subset A$ 有 $(L^2 \cdot S) > 4(p+2)^2$，且对所有椭圆曲线 $C \subset A$ 有 $(L \cdot C) > 2(p+2)$，则 $(A,L)$ 满足 $(N_p)$ 且 $K_{p,1}$ 消失，从而在三维情形证实了一个猜想。

ABSTRACT

We provide numerical conditions for a polarized abelian threefold $(A,L)$ to have simple syzygies, in terms of property $(N_p)$ and the vanishing of Koszul cohomology groups $K_{p,1}$. We rely on a reduction method of Lazarsfeld-Pareschi-Popa, convex geometry of Newton-Okounkov bodies, inversion of adjunction techniques from work on Fujita's conjecture, and the use of differentiation by Ein-Lazarsfeld-Nakamye. As a by-product, we construct effective divisors in any ample class of high self-intersetion, whose singularities are all concentrated on an abelian subvariety. This can be seen as the dual picture considered by Ein-Lazarsfeld for theta divisors.

研究动机与目标

• 验证关于极化阿贝尔三倍积的syzygetic性质的猜想，其依据为子簇的数值不变量。
• 在三维情形下建立性质 $(N_p)$ 与 $K_{p,1}(A,L;dL)$ 消失的充分条件。
• 在高自交的充分正有理类中构造有效除子，使其奇点集中于阿贝尔子簇上，从而为Ein–Lazarsfeld关于theta除子的工作提供对偶图像。
• 统一Lazarsfeld–Pareschi–Popa、Ein–Lazarsfeld–Nakamaye与牛顿-奥库诺夫体的凸几何技术，用于syzygy分析。

提出的方法

• 采用Lazarsfeld–Pareschi–Popa的约化方法，将全局syzygetic性质转化为有效除子上的局部奇点条件。
• 应用牛顿-奥库诺夫体的凸几何分析充分类中除子的体积与奇点。
• 使用邻接反演技术，将除子的对数典范中心与阿贝尔子簇的几何联系起来。
• 采用Ein–Lazarsfeld–Nakamaye的微分技术，以控制除子的重数与奇点。
• 结合Fubini定理与牛顿-奥库诺夫体上的体积计算，导出在假设反例下出现的矛盾。
• 利用多齐次线性系统与渐近不变量，控制不同子簇上奇点的行为。

实验结果

研究问题

• RQ1 在何种数值条件下，极化阿贝尔三倍积 $(A,L)$ 满足 $p \geq -1$ 时的性质 $(N_p)$？
• RQ2 在何种条件下，当 $d \geq 2$ 时，Koszul上同调群 $K_{p,1}(A,L;dL)$ 消失？
• RQ3 在高自交的充分正有理类中，有效除子是否可能使所有奇点集中于一个阿贝尔子簇上？
• RQ4 在充分类中除子的奇点如何与环境三倍积中阿贝尔子簇的几何相关联？
• RQ5 是否存在Ein–Lazarsfeld关于theta除子奇点工作的对偶图像，即奇点集中于子簇而非广泛分布？

主要发现

• 若 $(L^3) > 59(p+2)^3$，对所有阿贝尔曲面 $S \subset A$ 有 $(L^2 \cdot S) > 4(p+2)^2$，且对所有椭圆曲线 $C \subset A$ 有 $(L \cdot C) > 2(p+2)$，则 $(A,L)$ 满足性质 $(N_p)$ 且对所有 $d \geq 2$ 有 $K_{p,1}(A,L;dL) = 0$。
• Ito与Lozovanu关于极化阿贝尔三倍积的 $(N_p)$ 性质的猜想在 $p \geq -1$ 时得到证实，包括基点自由性（$p = -1$）。
• 在任意满足 $(B^3) > 40$ 的充分正有理类 $B$ 中，存在有效除子 $D \equiv B$，其对数典范中心包含于一个阿贝尔子簇中，支持猜想0.3。
• 证明表明，若此类除子具有一维对数典范支集 $C_t$，则 $(B \cdot C_t) \geq 5$，除非 $B - S$ 为充分正，从而在体积界下导致矛盾。
• 通过牛顿-奥库诺夫体上的体积计算导出矛盾，表明假设存在奇点不集中于子簇的除子将导致体积超过预期界限。
• 分析确认，在高自交类中，除子的最大重数支集必为阿贝尔子簇，且对体积与奇点有精确的界限。