[论文解读] Real Multiplication on Jacobian Varieties

Robert A. Kucharczyk|arXiv (Cornell University)|Jan 7, 2012

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

一句话总结

本文研究了 Wiman 曲线 $W_g$ 的雅可比簇上的实乘法，表明对于某些阿贝尔微分 $(W_g, \omega_k)$，雅可比簇在 Veech 群的迹域上具有实乘法。虽然这一结构在满足 $\gcd(k, 2g+1) = t$ 的最小和最大 $k$ 值时成立，但在中间 $k$ 值下不被 $\mathrm{SL}_2(\mathbb{R})$-作用保持，从而为将 Möller 定理推广至 Veech 曲面之外提供了反例。

ABSTRACT

This is a slightly revised version of the author's 2010 diploma thesis. It is concerned with the interplay between real multiplication on Jacobian varieties, as the title suggests, and complex geodesics in the moduli space of curves. Large parts are expository and may hopefully serve as a very incomplete introduction to Teichmueller disks and curves, the moduli space of abelian differentials with its SL2(R)-operation and variations of Hodge structure.

研究动机与目标

• 理解雅可比簇上的实乘法与模曲丛空间中阿贝尔微分的 Teichmüller 圆盘上 $\mathrm{SL}_2(\mathbb{R})$-作用之间的相互作用。
• 确定非 Veech 译丛曲面上雅可比簇上的实乘法结构是否在 $\mathrm{SL}_2(\mathbb{R})$-作用下保持不变。
• 分析 Teichmüller 圆盘上 Hodge 结构的变化，并确定实乘法出现的条件。
• 提供对 Möller 定理的推广版本在缺乏 Veech 曲面结构时的显式反例。

提出的方法

• 本研究采用 $\mathrm{SL}_2(\mathbb{R})$-作用于阿贝尔微分的模空间，以分析与译丛曲面 $(W_g, \omega_k)$ 相关的 Teichmüller 圆盘。
• 利用 Veech 群及其迹域，在 $W_g$ 的雅可比簇上定义候选实乘法结构。
• 应用 Ahlfors-Rauch 变分公式，计算周期矩阵沿 Teichmüller 圆盘的导数，以检测 Hodge 结构的非不变性。
• 构造同调的辛基底，以表达周期矩阵，从而实现 Hodge 结构分量的显式计算。
• 分析周期矩阵在 $\mathrm{SL}_2(\mathbb{R})$-作用下的行为，特别是在 $\tau = i$ 处，以检测不变性的失效。
• 比较作用下典范子空间与特征形式的结构，表明对于中间 $k$，实乘法不被保持。

实验结果

研究问题

• RQ1 非 Veech 译丛曲面的雅可比簇上的实乘法是否在阿贝尔微分模空间上的 $\mathrm{SL}_2(\mathbb{R})$-作用下保持不变？
• RQ2 在族 $(W_g, \omega_k)$ 中，哪些 $k$ 值使得 $J(W_g)$ 上的实乘法结构在 $\mathrm{SL}_2(\mathbb{R})$-作用下保持不变？
• RQ3 即使曲面不是 Veech 曲面，译丛曲面的 Veech 群迹域是否仍可实现在雅可比簇上的实乘法？
• RQ4 Teichmüller 圆盘上 Hodge 结构的变化如何与实乘法的存在性及不变性相关？
• RQ5 实乘法结构的 $\mathrm{SL}_2(\mathbb{R})$-不变性失效在多大程度上为广义 Möller 定理提供了反例？

主要发现

• 对每个 $g \geq 3$ 和 $1 < k < g$，雅可比簇 $J(W_g)$ 在 $\mathrm{SL}(W_g, \omega_k)$ 的迹域上具有实乘法，且 $\omega_k$ 作为恒等特征标下的特征形式。
• 实乘法结构在 $\mathrm{SL}_2(\mathbb{R})$-作用下保持不变，当且仅当 $k = t$ 或 $k = g$，其中 $t = \gcd(k, 2g+1)$，即在每个 $\gcd$-类中为最小和最大 $k$ 值。
• 对于满足 $\gcd(k, 2g+1) = t$ 的中间 $k$，实乘法结构不被 $\mathrm{SL}_2(\mathbb{R})$-作用保持，这由周期矩阵分量 $\Pi_{k-\ell t, k+\ell t}$ 在 $\tau = i$ 处的非零导数所证明。
• 通过 Ahlfors-Rauch 公式计算导数，得到 $\left| \frac{d\Pi_{k-\ell t,k+\ell t}}{d\tau} \right|_{\tau=i} = \int_X |\omega_k|^2 > 0$，与不变性矛盾。
• 这为 Möller 定理在非 Veech 曲面上的推广提供了显式反例，且对所有 $g \geq 3$ 成立。
• 该构造推广了 McMullen 的 $g=3, k=2$ 案例，并通过证明并非所有 $1 < k < g$ 都产生反例（仅当 $\gcd(k, 2g+1) = t$ 且 $k \neq t, g$ 时成立），纠正了 Möller 工作中的一处错误断言。