[论文解读] The Schottky problem in genus five

Charles Siegel|arXiv (Cornell University)|Feb 24, 2013

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

一句话总结

该论文通过分析六维曲线的普赖姆映射以及映射 $\beta_5$ 的纤维上的关联结构，解决了五维情况下的施托希问题。证明了小施托希簇 $\mathcal{S}_5^{\text{small}}$ 恰好等于雅可比簇 $\mathcal{J}_5$，从而解决了唐纳吉长期提出的猜想，并确认了五维情况下小施托希簇的不可约性。

ABSTRACT

In this paper, we present a solution to the Schottky problem in the spirit of Schottky and Jung for genus five curves. To do so, we exploit natural incidence structures on the fibers of several maps to reduce all questions to statements about the Prym map for genus six curves. This allows us to find all components of the big Schottky locus and thus, to show that the small Schottky locus introduced by Donagi is irreducible.

研究动机与目标

• 通过在主极化阿贝尔簇的模空间中刻画雅可比簇，解决五维情况下的施托希问题。
• 证明小施托希簇 $\mathcal{S}_5^{\text{small}}$ 是不可约的，并且等于雅可比簇 $\mathcal{J}_5$。
• 通过分析 $\beta_5$ 映射在扭普赖姆簇模空间上的退化与收缩的闭包，扩展施托希-容格程序。
• 通过关联结构和局部度计算，完成对五维情况下大施托希簇分量的分类。

提出的方法

• 该论文使用从扭普赖姆簇模空间到 $\mathcal{A}_4$ 的映射 $\beta_5$，通过 $\mathbb{F}_2$ 上的 $Q_6^-$-构型分析其纤维。
• 在 $\mathbb{F}_2$ 上的点-线构型上应用关联几何，计算 $\beta_5$ 的度，结果为 119。
• 基于伊扎迪的工作，研究五维阿贝尔簇的退化，实现对 $\alpha_4(\mathcal{A}_4)$ 的原像中分量的分类。
• 分析 $\beta_5$ 的收缩闭包，识别出哪些分量不具有正局部度，从而隔离出施托希簇的相关分量。
• 在 $\overline{\mathcal{RJ}}_5$、$\overline{\mathcal{RC}^0}$ 和 $\partial^I\overline{\mathcal{RA}}_5^t$ 上进行局部度计算，分别得到 54、1 和 64 的结果。
• 局部度之和（1 + 54 + 64 = 119）确认了其他分量不贡献于施托希簇，从而完成分类。

实验结果

研究问题

• RQ1 在五维情况下，小施托希簇 $\mathcal{S}_5^{\text{small}}$ 是否不可约且等于雅可比簇 $\mathcal{J}_5$？
• RQ2 在 $\beta_5^{-1}(\alpha_4(\mathcal{A}_4))$ 的哪些分量中，局部度为正并贡献于施托希簇？
• RQ3 $\beta_5$ 映射的总度是多少？它如何约束施托希簇的结构？
• RQ4 能否通过普赖姆映射几何与退化技术，在五维情况下修正并验证施托希-容格猜想？
• RQ5 在扭普赖姆簇模空间中，哪些闭包被 $\beta_5$ 收缩？它们如何影响施托希簇？

主要发现

• $\beta_5$ 映射的度为 119，通过 $\mathbb{F}_2$ 上 $Q_6^-$-构型的关联结构计算得出。
• 在 $\beta_5^{-1}(\alpha_4(\mathcal{A}_4))$ 中，唯一被爆破的分量是 $\mathcal{A}_4 \times \mathcal{RA}_1$，其余所有分量均具有正局部度。
• $\beta_5$ 的局部度在 $\overline{\mathcal{RC}^0}$ 上为 1，在 $\overline{\mathcal{RJ}}_5$ 上为 54，在 $\partial^I\overline{\mathcal{RA}}_5^t$ 上为 64，总和为 119。
• 局部度之和确认了 $\mathcal{RS}_5$ 的其他分量不贡献，因此 $\mathcal{RS}_5 = \overline{\mathcal{RJ}}_5 \cup \overline{\mathcal{RC}^0} \cup \partial^I\overline{\mathcal{RA}}_5^t \cup \mathcal{A}_4 \times \mathcal{RA}_1$。
• 由于仅雅可比簇在 $\mathcal{RS}_5$ 中具有所有非零的 2-挠点，因此有 $\mathcal{S}_5^{\text{small}} = \mathcal{J}_5$。
• 小施托希簇 $\mathcal{S}_5^{\text{small}}$ 是不可约的，因为它等于不可约的雅可比簇 $\mathcal{J}_5$。