An explicit expression of the Richelot isogeny through Kleinian hyperellyptic functions

这是一份关于马特维·斯米尔诺夫（Matvey Smirnov）论文《通过克莱因超椭圆函数显式表达里谢洛特同构》（An Explicit Expression of the Richelot Isogeny Through Kleinian Hyperelliptic Functions）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心目标：本文旨在为 genus 2（亏格为 2）曲线的克莱因超椭圆函数（Kleinian hyperelliptic functions）开发一种算法的一部分。具体而言，作者希望模仿经典的 Landen 算法，通过一系列同构曲线（isogenous curves）递归地简化问题。
• 具体挑战：给定一条亏格为 2 的曲线 $C$ 和一个里谢洛特同构（Richelot isogeny）映射到另一条曲线 $\hat{C}$，如何显式地用 $\hat{C}$ 上的克莱因函数来表达 $C$ 上的克莱因函数？
• 现有局限：
  • 传统的 $\sigma$-函数定义通常要求曲线在无穷远处有魏尔斯特拉斯点（Weierstrass point），限制了其通用性。
  • 现有的代数方法（如文献 [3]）虽然给出了 Kummer 曲面之间的同构公式，但缺乏与超越函数（克莱因函数）的直接联系。
  • 需要一种不依赖特定代数方程形式（如无穷远点位置）的通用表达，且能嵌入到 $\mathbb{CP}^3$ 中。

2. 方法论 (Methodology)

作者采用了一种结合代数几何与超越函数理论的方法：

1. 使用权重为 2 的克莱因函数：

   • 作者没有使用经典的 $\wp$-函数，而是使用了文献 [10] 中定义的权重为 2 的克莱因超椭圆函数（记为 $S^f_{jk}$ 和 $S^f$）。
   • 优势：这些函数的定义不需要曲线在无穷远处有魏尔斯特拉斯点，且它们定义了 Kummer 曲面 $K(\text{Jac}(C))$ 到 $\mathbb{CP}^3$ 的嵌入。这使得问题转化为寻找 $\mathbb{CP}^3$ 中两个 Kummer 曲面之间的二次映射。

2. 里谢洛特构造 (Richelot Construction)：

   • 利用多项式分解 $f = pqr$（其中$p,q,r$为二次多项式）来构造同构曲线$\hat{f}$。
   • 定义了新的多项式 $\hat{p} = [q,r], \hat{q} = [r,p], \hat{r} = [p,q]$，进而得到 $\hat{f}$。
   • 利用对应关系（Correspondence）建立了 $\text{Jac}(\hat{f})$ 到 $\text{Jac}(f)$ 的同构映射。

3. Kummer 曲面的几何性质：

   • 利用 Kummer 曲面的节点（Nodes）（对应于 2-挠点）和特罗普（Tropes）（包含 6 个节点的超平面）的几何性质。
   • 通过研究 Kummer 曲面对称性（由 2-挠点诱导的平移）在 $\mathbb{CP}^3$ 中的矩阵表示，确定了同构映射的矩阵形式。

4. 泰勒展开与周期关系：

   • 利用克莱因函数在原点附近的 2 阶泰勒展开（公式 2.5）。
   • 结合周期格（Period Lattice）和 Legendre 恒等式，推导了周期矩阵变换中的线性项 $H_{p,q,r}$。

5. 符号计算验证：

   • 由于中间推导涉及极其繁琐的多项式运算，作者使用 Maple 软件对关键公式（如矩阵 $C^{-1}$、$D$ 以及最终的映射公式）进行了计算机验证。

3. 关键贡献与结果 (Key Contributions & Results)

A. 建立了 Kummer 曲面同构的显式二次映射

作者证明了里谢洛特同构在 Kummer 曲面的 $\mathbb{CP}^3$ 嵌入坐标下是一个二次齐次映射。

• 定义了映射 $T_{p,q,r}$（公式 4.7），它作用于 $\mathbb{C}^4$ 中的向量。
• 通过矩阵 $C_{p,q,r}$（由节点坐标构成）和 $D_{p,q,r}$（由特罗普交集构成），构建了从 $\hat{C}$ 的坐标到 $C$ 的坐标的转换公式（定理 4.4）。

B. 导出了克莱因函数的显式关系式 (核心定理)

论文最终得出了主要定理 Theorem 4.6，给出了 $S^f(z)$（原曲线函数）与 $S^{\hat{f}}(z)$（同构曲线函数）之间的精确关系：

$$S^f(z) = -\frac{\exp(z^T H_{p,q,r} z)}{32\Delta(p,q,r)^3} \begin{pmatrix} (S^{\hat{f}}(z))^T A_{p,q,r} S^{\hat{f}}(z) \\ (S^{\hat{f}}(z))^T A_{p,q,r}^{(22)} S^{\hat{f}}(z) \\ (S^{\hat{f}}(z))^T A_{p,q,r}^{(12)} S^{\hat{f}}(z) \\ (S^{\hat{f}}(z))^T A_{p,q,r}^{(11)} S^{\hat{f}}(z) \end{pmatrix}$$

其中：

• $A$ 矩阵族由 $D_{p,q,r} T_{p,q,r} C^{-1}_{p,q,r}$ 定义，代表了二次映射部分。
• $H_{p,q,r}$ 是一个 $2 \times 2$ 的对称矩阵，代表了指数部分的线性变换，其元素由多项式 $p,q,r$ 的系数及 $\Delta$ 行列式显式给出（公式 4.11 及后续）。

C. 矩阵 $H_{p,q,r}$ 的显式计算

作者不仅给出了二次映射，还计算了连接两个函数空间的指数修正项 $H_{p,q,r}$。这是通过比较周期格上的变换性质（引理 3.3）和泰勒展开系数得到的。

4. 意义与影响 (Significance)

1. 算法实现的基石：
   该结果为构建计算 genus 2 曲线克莱因函数的算法提供了关键步骤。通过递归应用此公式，可以将任意曲线的函数计算转化为更简单（或特定形式）曲线的函数计算，类似于 genus 1 情况下的 Landen 变换。

2. 超越与代数的桥梁：
   论文成功地将纯代数的里谢洛特同构（通常用多项式系数描述）与超越的克莱因函数联系起来。这填补了代数几何构造与复分析函数理论之间的空白。

3. 通用性：
   由于使用了权重为 2 的克莱因函数而非 $\sigma$-函数，该方法适用于更广泛的 genus 2 曲线，不依赖于无穷远点是否为魏尔斯特拉斯点，从而具有更强的普适性。

4. Kummer 曲面几何的深化：
   通过显式计算 Kummer 曲面节点和特罗普在 $\mathbb{CP}^3$ 中的坐标变换，加深了对 genus 2 曲线 Kummer 曲面几何结构的理解，特别是关于其对称性和二次映射的性质。

总结

Matvey Smirnov 的这篇论文通过引入权重为 2 的克莱因函数，利用 Kummer 曲面的几何性质（节点与特罗普），成功推导出了里谢洛特同构下克莱因函数的显式转换公式。这一成果不仅解决了特定的数学表达问题，更为 genus 2 曲线相关函数的数值计算和算法构建奠定了坚实的理论基础。