[论文解读] Affine parts of abelian surfaces as complete intersection of three quartics

A. Lesfari|ArXiv.org|Jun 22, 2007

Nonlinear Waves and Solitons参考文献 29被引用 4

一句话总结

该论文构建了一个具有三个四次不变量的五维代数完全可积哈密顿系统，表明其典型水平集是某个二型超椭圆曲线雅可比簇的阿贝尔曲面的仿射部分。该系统通过二型超椭圆函数实现积分，不变量簇被实现为嵌入在 $\mathbb{P}^{15}$ 中的Kummer曲面上的双重覆盖，且显式给出了由两条二型超椭圆曲线参数化的亚纯解。

ABSTRACT

We consider an integrable system in five unknowns having three quartics invariants. We show that the complex affine variety defined by putting these invariants equal to generic constants, completes into an abelian surface; the jacobian of a genus two hyperelliptic curve. This system is algebraic completely integrable and it can be integrated in genus two hyperelliptic functions.

研究动机与目标

• 构建一个具有三个四次首次积分的五维代数完全可积哈密顿系统。
• 证明这些不变量的典型水平集构成一个阿贝尔曲面的仿射开子集。
• 证明该系统可通过二型超椭圆函数显式积分。
• 识别仿射簇的紧化为一个二型超椭圆曲线的雅可比簇。
• 分析不变量簇的几何与动力结构，包括其嵌入方式及Kummer曲面的作用。

提出的方法

• 系统由哈密顿向量场定义，其中 $H = F_1$，$F_1, F_2, F_3$ 是由运动方程导出的三个四次不变量。
• 通过Arnold-Liouville定理证明，系统的流在紧化簇 $\widetilde{B}$ 上线性化，且 $\widetilde{B}$ 同构于复环面 $\mathbb{C}^2 / \Lambda$。
• 仿射簇 $B(3)$ 嵌入 $\mathbb{P}^{15}$，并通过添加除子 $\mathcal{D} = \mathcal{H}_i + \mathcal{H}_{-i}$ 实现紧化，其中 $\mathcal{H}_\varepsilon$ 为二型超椭圆曲线。
• 构造了依赖于四个自由参数 $\alpha, \beta, \gamma, \theta$ 的洛朗级数解，其限制在曲线 $\mathcal{H}_{\varepsilon=\pm i}$ 上，这两条曲线在一点处相切。
• 通过 $\zeta = 1/z_1$ 和 $\xi = z_1/z_2$ 的微分，计算了 $\widetilde{B}$ 上的全纯1-形式 $dt_1$ 和 $dt_2$，从而得到超椭圆微分 $\omega_1$ 和 $\omega_2$ 的显式表达式。
• 将映射 $ (z_1,z_2,z_3,z_4,z_5) \mapsto (z_1,z_2,-z_3,-z_4,z_5) $ 的对合 $\sigma$ 扩展至时间坐标，实现 $\widetilde{B}$ 上的 $(-1)$-对合，并交换两条曲线 $\mathcal{H}_i$ 与 $\mathcal{H}_{-i}$。

实验结果

研究问题

• RQ1 能否构造一个五维哈密顿系统，具有三个四次不变量，使其代数完全可积，且其典型水平集嵌入在射影空间中，紧化为阿贝尔曲面？
• RQ2 由不变量定义的仿射簇 $B(3)$ 如何与Kummer曲面及二型曲线的雅可比簇相关联？
• RQ3 两条二型超椭圆曲线 $\mathcal{H}_{\varepsilon=\pm i}$ 在参数化亚纯解中的几何与动力角色是什么？
• RQ4 系统在紧化阿贝尔曲面上的流如何演化？其与全纯1-形式及超椭圆微分结构有何关系？
• RQ5 曲线 $\mathcal{H}_i$ 与 $\mathcal{H}_{-i}$ 的相切点具有何种意义？其与向量场行为的关系为何？

主要发现

• 该系统是代数完全可积的：三个四次不变量的典型水平集 $B(3)$ 是阿贝尔曲面 $\widetilde{B}$ 的仿射开子集，而 $\widetilde{B}$ 是某条二型超椭圆曲线的雅可比簇。
• 紧化 $\widetilde{B}$ 是一个射影阿贝尔曲面（凯勒流形），同构于 $\mathbb{C}^2 / \Lambda$，其主极化由周期矩阵导出，其中 $\delta_1 = \delta_2 = 1$。
• 簇 $B(3)$ 是Kummer曲面的双重覆盖，除子 $\mathcal{D} = \mathcal{H}_i + \mathcal{H}_{-i}$ 是非常 ample 的，其几何亏格为5，且 $\mathcal{S} = 2\mathcal{D}$ 的亏格为17。
• 该系统的亚纯解由两条同构的二型超椭圆曲线 $\mathcal{H}_{\varepsilon=\pm i}$ 参数化，这两条曲线在一点处横截相交且相切，且在该点处流与两条曲线均相切。
• 全纯1-形式 $\omega_1 = dt_1|_{\mathcal{H}_\varepsilon}$ 与 $\omega_2 = dt_2|_{\mathcal{H}_\varepsilon}$ 显式计算为 $\omega_1 = \frac{\alpha d\alpha}{\sqrt{P(\alpha)}}$ 与 $\omega_2 = \frac{\sqrt{2} d\alpha}{2\sqrt{P(\alpha)}}$，其中 $P(\alpha) = 4\alpha^6 - 4a\alpha^4 - 4c_1\alpha^2 + 2\varepsilon\sqrt{2}c_2\alpha - c_3$，且比值 $\omega_1 / \omega_2 = -\varepsilon\sqrt{2}\alpha$。
• $(-1)$-对合在 $\widetilde{B}$ 上由时间反演 $ (t_1,t_2) \mapsto (-t_1,-t_2) $ 诱导，交换曲线 $\mathcal{H}_i$ 与 $\mathcal{H}_{-i}$，并在洛朗参数上作用为 $ (t,\alpha,\beta,\gamma,\theta,\varepsilon) \mapsto (-t,-\alpha,-\beta,-\gamma,-\theta,-\varepsilon) $。