Equations of genus $4$ curves from their theta constants

技術要約：テータ定数からの種数4の曲線の等式

問題設定
本研究の主な目的は、代数的に閉じた体 $k$（標数0または十分に大きな $p$）上の一般的な種数4の曲線 $C$ の等式を、その代数的テータ定数のみから与えられた場合に、明示的な閉形式で復元するための公式を提供することである。種数2（ローゼンハイン）および種数3（アロンホルト・ウェーバー）については、テータ定数から曲線を再構成する問題は解決されているが、種数4の場合は特有の困難を伴う。低次の場合とは異なり、完全なレベル2構造を持つ種数4の曲線のモジュライ空間は、ユニラショナルであることが知られておらず、また、すべての4次元の主ポーラー化されたアーベル多様体（p.p.a.v.）がヤコビアンであるとは限らない（これはショットキー・モジュラー形式の消滅によって制御される条件である）。Lehaviらによる従来の手法は、255個の非自明な2次捩れ点すべてに対して非線形系を解く必要があったため、明示的な再構成において計算効率が低いという課題があった。

手法
著者らは、プリム構成（Prym construction）と立方対称体（cubic symmetroids）に関する古典的な幾何学的結果を活用したショットキー・ユング（Schottky–Jung）的アプローチを採用している。この手法は、以下の論理的ステップに従って進行する：

1. プリム正準写像と対称体： 一般的な非双曲型種数4の曲線 $C$ と、非自明な2次捩れ点 $\eta \in \text{Jac}(C)[2]$ に対して、プリム正準写像 $\phi_\eta: C \to \mathbb{P}^2$ は、$C$ を特異な平面6次曲線へと写す。$C$ の $\mathbb{P}^3$ における正準埋め込みの像は、二次形式 $Q$ と立方対称体 $\Gamma_\eta$ の交わりとして復元される。定理2.5は、非ゼロの2次捩れ点と、$C$ の正準像を含む既約な立方対称体との間の全単射を確立している。

2. 線形写像とミルンの全単射： 再構成の核心は、二次形式の特定の部分空間 $V_{C,\eta}$ から $S^2 H^0(C, \Omega_C(\eta))$ への線形写像 $\phi$ にある。この写像は、ミルンの全単射（Milne's bijection）（定理2.10）に関連しており、$\eta$ によって異なる $C$ の三接平面のペアを、プリム多様体（Prym variety）である種数3の曲線 $X$ の二接線に関連付けている。

   • 等式 $\phi(HH') = \lambda \ell^2$ は、$C$ 上の三接平面 $H, H'$ の積と、$X$ 上の二接線 $\ell$ の平方を関連付ける。
   • $X$ の二接線は、ショットキー・ユング関係式を通じて $C$ のテータ定数から導出された $X$ のテータ定数に、古典的なアロンホルト・ウェーバー公式を適用することで計算される。

3. テータ定数による明示的な計算：

   • 三接平面： 著者らは、一般化されたヤコビ微分恒等式（定理2.15）を利用して、三接平面の等式をテータ定数のみを用いて表現する。Jacobianの零値（nullvalues）をテータ定数の多項式として表現することを保証するために、特定の補助的な奇テータ特性の集合を選択する（補題3.1）。
   • $\phi$ の解法： 10組の三接平面のペア $(H_i, H'_i)$ と、それらに対応する二接線 $\ell_i$ を構成することにより、未知のスカラー $\lambda_i$ を解くための同次線形系を設定する。これにより、$\phi$ を表す行列を明示的に計算することが可能となる。
   • 等式の復元：
     • 二次形式 $Q$ は、$\phi$ の核（kernel）の生成元として求められる（補題3.5）。
     • 立方体 $\Gamma_\eta$ は、$\phi$ の右逆写像 $\psi$ を構成し、$\psi$ から導出される $\Delta$ から次数6の形式 $G = \det(\Delta)$ を計算することによって復元される。$\Gamma_\eta$ は $G$ の平方根である（命題3.7）。

主要な貢献と結果

• 明示的な公式： 本論文は、一般的な種数4の曲線の等式をそのテータ定数を用いて表す最初の閉形式の公式を提供している（定理4.2）。
• 代数的複雑性： この手法は、初等的な算術、平方根の抽出、および線形系の解法のみを必要とする。これは、先行研究（例：Lehaviの手法）で必要とされた非線形代数系を回避している。
• 特殊なケースの処理： 本フレームワークは、双楕円型（bielliptic case）（プリム写像が楕円曲線への2次写像に分解する場合）や、$X$ が双曲型である場合（注釈4.5）にも対応しており、二接線の幾何学的解釈を適切に調整している。
• 数値的実装： 著者らは、有限体における本手法の実現可能性（例5.1）および数体における実現可能性（例5.2および5.3）を示している。数体のケースでは、周期行列から導出されたテータ定数の浮動小数点近似値とLLL格子簡約法を組み合わせて、正確な有理係数を復元している。

意義と応用
著者らは、本研究を種数4に関するショットキー問題の重要な進展として位置づけている。テータ定数から曲線を再構成する能力は、以下のような特別な算術的性質を持つ曲線の明示的な構成を可能にする：

• ヤコビアンが低次元のアーベル多様体の積と同種である曲線。
• モジュラー・ヤコビアン（例：モジュラー形式に関連するもの）を持つ曲線。
• 特定の自己準同型環やホッジ・テンソルを持つ曲線。

本論文は、これらの公式がすでに不変量論的手法と組み合わされ、マムフォード型の新しい種数4の曲線の族を発見するために使用されたことを記している。これは、PEL型ではないシムラ・ファミリーの最初の例を提供した。この手法は、算術および複素幾何学のための実用的なツールとして提示されており、既存の数値的または記号的な手法ではアクセス不可能であった例の探索を可能にするものである。

限界と今後の課題
著者らは、本手法が曲線が一般的であることを前提としていることを認めている（例えば、三接平面の公式における分母の消滅や、積 $H_i H'_i$ の線形独立性の失敗など）。このような場合には、異なる2次捩れ点 $\eta$ を選択する必要がある可能性がある。論文は、線形代数的構造は $g=5$ においても持続するものの、Jacobianの零値をテータ定数の有理関数として復元することは $g \geq 6$ では未解決の問題であることを述べている。