[论文解读] Soliton equations and the Riemann-Schottky problem

M Krichever Igor, T Schiota|arXiv (Cornell University)|Jan 1, 2013

Algebraic Geometry and Number Theory参考文献 45被引用 10

一句话总结

本文证明了一个不可约主极化阿贝尔簇（ppav）是雅可比簇当且仅当其基默尔曲面（Kummer variety）允许存在一条三 secant 直线，从而通过孤立子方程提供了雅可比簇最强有力的已知刻画。此外，本文还解决了长久以来关于普里姆（Prym）簇的刻画问题，揭示了如 KP 方程等可积系统背后深层次的代数几何结构。

ABSTRACT

Novikov's conjecture on the Riemann-Schottky problem: {\it the Jacobians of smooth algebraic curves are precisely those indecomposable principally polarized abelian varieties (ppavs) whose theta-functions provide solutions to the Kadomtsev-Petviashvili (KP) equation}, was the first evidence of nowadays well-established fact: connections between the algebraic geometry and the modern theory of integrable systems is beneficial for both sides. The purpose of this paper is twofold. Our first goal is to present a proof of the strongest known characterization of a Jacobian variety in this direction: {\it an indecomposable ppav $X$ is the Jacobian of a curve if and only if its Kummer variety $K(X)$ has a trisecant line} and the solution of the characterization problem of principally polarized Prym varieties. The latter problem is almost as old and famous as the Riemann-Schottky problem but is much harder. In some sense the Prym varieties may be geometrically the easiest-to-understand ppavs beyond Jacobians, and studying them may be a first step towards understanding the geometry of more general abelian varieties as well. Our second and primary objective is to take this opportunity to elaborate on motivations underlining the proposed solution of the Riemann-Schottky problem, to introduce a certain circle of ideas and methods, developed in the theory of soliton equations, and to convince the reader that they are algebro-geometric in nature, simple and universal enough to be included in the Handbook of moduli.

研究动机与目标

• 通过其基默尔曲面的几何性质与三 secant 直线，建立雅可比簇的最终刻画。
• 解决主极化普里姆簇的长期刻画问题，这些簇在理解雅可比簇之外的阿贝尔簇中具有核心地位。
• 证明孤立子理论中的技术——特别是 KP 方程的解——本质上具有代数几何的性质。
• 通过表明 KP 方程的解精确对应于雅可比簇的 theta 函数，将可积系统理论与代数几何统一起来。
• 主张将这些方法纳入《模手册》（Handbook of Moduli），因其具有普遍性与基础性意义。

提出的方法

• 利用 ppav 的 theta 函数对 KP 方程的解进行分析，以研究其几何性质。
• 将基默尔曲面 K(X) 上的三 secant 条件作为在 ppav 中识别雅可比簇的标准。
• 运用代数几何技术，包括 theta 特征与线性系统，分析三 secant 直线的存在性。
• 将孤立子理论中的方法改编用于研究阿贝尔簇的几何，特别关注某些双线性关系的消失。
• 通过识别类似几何与分析条件，将分析从雅可比簇扩展至普里姆簇。
• 利用 KP 方程的解源自 ppav 的 theta 函数这一事实，并据此推导出该簇的几何约束。

实验结果

研究问题

• RQ1 雅可比簇的模空间能否通过基默尔曲面上的几何条件（特别是三 secant 直线的存在性）来刻画？
• RQ2 在所有 ppav 中，区分普里姆簇的精确代数几何条件是什么？
• RQ3 KP 方程的解如何与阿贝尔簇的 theta 函数相关联？
• RQ4 孤立子理论中的方法在多大程度上本质上是代数几何的，而非分析性的？
• RQ5 能否将通过三 secant 直线刻画雅可比簇的方法用作模理论中的普遍标准？

主要发现

• 一个不可约的 ppav X 是雅可比簇当且仅当其基默尔曲面 K(X) 允许存在一条三 secant 直线。
• 通过三 secant 条件解决黎曼-施托奇问题，是该语境下对雅可比簇最强有力的已知刻画。
• 普里姆簇的刻画通过类似几何与分析条件得以实现，解决了与原始黎曼-施托奇问题同样古老且困难的问题。
• KP 方程的解恰好源自雅可比簇的 theta 函数，建立了可积系统与代数几何之间深刻的联系。
• 所使用的方法——根植于孤立子理论——被证明本质上是代数几何的，具有普遍性，且适合纳入《模手册》。
• 本文表明，KP 方程的解通过 K(X) 上的三 secant 条件编码了阿贝尔簇的几何数据。