[论文解读] Minimal Cohomology Classes and Jacobians

Olivier Debarre|ArXiv.org|Jan 6, 1993

Algebraic Geometry and Number Theory参考文献 7被引用 32

一句话总结

本文对复曲线雅可比簇中具有最小上同调类的有效代数循环进行分类，证明此类循环恰好是 $ W_{g-d}(C) $ 或 $ -W_{g-d}(C) $ 的平移。研究结果表明，当 $ 1 < d < g $ 时，雅可比簇的模空间与三次三复形的中间雅可比簇是目前已知唯一满足 $ \theta_d $ 为有效循环类的实例，支持了关于这些类的极小性的一个猜想。

ABSTRACT

We show that on the Jacobian $(JC,θ)$ of a smooth curve $C$ of genus $g$, any effective cycle in $JC$ with cohomology class $θ^d/d!$ is a translate of $W_{g-d}(C)$ or $-W_{g-d}(C)$. We then use this result to prove that for $1

研究动机与目标

• 对复曲线雅可比簇中所有具有最小上同调类 $\theta_d$ 的有效代数循环进行分类。
• 研究雅可比簇模空间与三次三复形的中间雅可比簇是否为唯一满足在 $1 < d < g$ 时 $\theta_d$ 为有效循环类的主极化阿贝尔簇实例。
• 证明一个弱形式的猜想：雅可比簇模空间（及在 $g=5, d=3$ 时的中间雅可比簇模空间）是模空间中满足 $\theta_d$ 为有效类的主极化阿贝尔簇的不可约分支。

提出的方法

• 使用阿贝尔簇中非退化子簇的概念，通过上同调上乘积或收缩映射的单射性来定义。
• 应用子簇的性质 $({\cal P})$：若在加法映射下，唯一同时支配 $V \times W$ 和 $W$ 的子簇是 $\{v\} \times W$，则称 $V$ 关于 $W$ 满足 $({\cal P})$。
• 利用阿贝尔-雅可比映射，将对称积 $C^{(g-d)}$ 与子簇 $W_{g-d}(C) \subset JC$ 联系起来，其上同调类为 $\theta_d$。
• 应用 Matsusaka 的判别准则和 Ran 的结果，分别作为 $d = g-1$ 和 $g=4, d=2$ 的基础情形。
• 利用形变理论及模空间 $\partial{\cal C}_{g,d}$ 边界的结构，分析循环的闭包及其分量。
• 分析 $\partial{\cal F}$ 与 $\partial{\cal A}_{g+1}$ 的交集，推导出 $\cal F$ 必为 $\cal J_{g+1}$ 或 $\cal CT_5$。

实验结果

研究问题

• RQ1 雅可比簇模空间与三次三复形的中间雅可比簇是否为唯一满足在 $1 < d < g$ 时 $\theta_d$ 为有效代数循环类的主极化阿贝尔簇实例？
• RQ2 能否证明雅可比簇 $JC$ 中任意具有最小上同调类 $\theta_d$ 的有效循环类，均为 $W_{g-d}(C)$ 或 $-W_{g-d}(C)$ 的平移？
• RQ3 对于 $1 < d < g$，雅可比簇模空间是否为满足 $\theta_d$ 为有效类的主极化阿贝尔簇模空间中的不可约分支？
• RQ4 模空间 $\partial{\cal C}_{g,d}$ 的边界结构是怎样的？它与 $\cal J_g$ 和 $\cal CT_5$ 的关系如何？
• RQ5 猜想 $\cal C_{g,d} = \cal J_g$（除 $g=5, d=3$ 外）是否成立？$\cal CT_5$ 在例外情形中起什么作用？

主要发现

• 任何雅可比簇 $JC$ 中具有上同调类 $\theta_d$ 的有效代数循环，必为 $W_{g-d}(C)$ 或 $-W_{g-d}(C)$ 的平移，从而证明了雅可比簇情形下的主定理。
• 当 $1 < d < g$ 时，雅可比簇模空间与三次三复形的中间雅可比簇是目前已知唯一满足 $\theta_d$ 为有效循环类的实例，支持了关于其极小性的猜想。
• 弱形式的猜想已得证明：当 $1 < d < g$ 时，雅可比簇模空间（及在 $g=5, d=3$ 时的中间雅可比簇模空间）是主极化阿贝尔簇模空间中满足 $\theta_d$ 为有效类的不可约分支。
• 当 $g=5$，$d=3$ 时，模空间 $\cal C_{5,3}$ 同时包含 $\cal J_5$ 和 $\cal CT_5$，且 $\partial{\cal C}_{5,3} = \partial(\cal J_5 \cup \cal CT_5)$，揭示了例外情形。
• 边界分析表明，若 $\cal F \supset \cal J_{g+1}$，则 $\dim \partial{\cal F} \leq 3g-1$；若 $\cal F \supset \cal CT_5$，则 $\dim \partial{\cal F} \leq \dim \cal J_4$，从而推出 $\cal F$ 必为 $\cal J_{g+1}$ 或 $\cal CT_5$。
• 研究结果使猜想 $\cal C_{g,d} = \cal J_g$（当 $1 < d < g$ 且 $(g,d) \neq (5,3)$ 时）变得可信，其中 $\cal C_{5,3} = \cal J_5 \cup \cal CT_5$ 为例外情形。