[論文レビュー] On a conjecture of Serre on abelian threefolds

Gilles Lachaud, Christophe Ritzenthaler|ArXiv.org|Oct 17, 2007

Algebraic Geometry and Number Theory参考文献 11被引用数 7

ひとこと要約

この論文は、体 $K$ 上の分解不能な主偏極付きアーベル3foldに対して、Serreの予想である、標準的不変量 $\chi_{18}(A,\lambda)$ の存在を証明し、それがちょうど関連する曲線がハイパーガロア的であるときにのみ消えること、およびその平方根が曲線のモデルにおけるガロア作用を決定することを示している。著者らは、3つの楕円曲線の積に同種である3次元族のアーベル3foldを用いて、theta特性とモジュラー形式を介して解析的・代数的判別式を結びつけることで、この結果を得た。

ABSTRACT

In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3 curves.

研究の動機と目的

• 体 $K$ 上の分解不能な主偏極付きアーベル3foldに対して、Serreの2003年の予想である、標準的不変量 $\chi_{18}(A,\lambda)$ の存在を解決すること。
• そのような3foldが、$K$ 上のハイパーガロア的または非ハイパーガロア的曲線のヤコビアンとして生じるかどうかを特定すること。
• 非ハイパーガロア的曲線に対して関連する2次形式 $\varepsilon$ を、$\chi_{18}$ の平方根におけるガロア作用によって明示的に計算すること。
• 関連する四次曲線の判別式を用いて、モジュラー形式 $\chi_{18}$ の明示的で正確な式を、正確な定数 $c = (1/2\pi)^{54}$ を含めて与えること。
• Howe, Leprevost, および Poonen の3fold族（3つの楕円曲線の積に同種）に関する結果を、theta特性とモジュラー不変性を用いて再解釈・拡張すること。

提案手法

• Howe, Leprevost, および Poonen が構成した不変量 $\mathsf{T}$ を、3つの楕円曲線の2- torsion 点から構成された行列の行列式として解釈することで、その構成を再定式化すること。
• 均一化を用いて、$\mathsf{T}$ を複素数体 $\mathbb{C}$ 上の楕円曲線の Thetanullwerte（theta特性）で表すこと。
• theta関数の倍角およびモジュラー変換公式を適用し、モジュラー形式 $\chi_{18}(A,\lambda)$ を同じ Thetanullwerte で表すこと。
• 2通りの $\mathsf{T}$ と $\chi_{18}$ の表現を比較することで、それらの代数的・解析的同値性を確立すること。
• Siegelモジュラー形式の理論と合同部分群 $\Gamma_g^0(2)$ を用いて、$\chi_k(\frac{1}{2}\tau)$ のモジュラー性を証明し、群作用における正しく変換されることを示すこと。
• Kleinの古典的結果（$\chi_{18}$ が四次曲線の判別式の平方と関係すること）を、正確な定数 $c = (1/2\pi)^{54}$ を用いて精錬すること。

実験結果

リサーチクエスチョン

• RQ1 体 $K$ 上の分解不能な主偏極付きアーベル3fold $(A,\lambda)$ に対して、$\chi_{18}(A,\lambda) = 0$ が成り立つのは、関連する曲線がハイパーガロア的であるときであるという、標準的不変量 $\chi_{18}(A,\lambda)$ が存在するか？
• RQ2 非ハイパーガロア的な3種類の曲線に対して関連するガロア文字 $\varepsilon$ は、$\chi_{18}(A,\lambda)$ の平方根におけるガロア作用として回復可能か？
• RQ3 3つの楕円曲線の積に同種であるアーベル3foldの3次元族に制限したとき、モジュラー形式 $\chi_{18}$ は、theta特性および判別式を用いて表現可能であり、正確な定数を含むか？
• RQ4 Kleinの古典的公式（$\chi_{18}$ と四次曲線の判別式の平方の関係）は、正確な定数 $c = (1/2\pi)^{54}$ を用いて明示的に表現可能か？
• RQ5 $\mathsf{T}$ はHowe, Leprevost, および Poonen が導入した不変量であり、$\chi_{18}$ とどのように関係しているか。また、それは行列式として再解釈可能か？

主な発見

• この論文は、3つの楕円曲線の積に同種である3次元族のアーベル3foldに対して、Serreの予想を肯定的に証明した。
• 関連する曲線がハイパーガロア的であることと $\chi_{18}(A,\lambda) = 0$ が同値であることが確立され、Serreの予想の第一部分が確認された。
• Serreの算術的トーリー定理における2次文字 $\varepsilon$ が、ちょうど $\chi_{18}(A,\lambda)$ の平方根におけるガロア作用に一致することが示され、予想の第二部分が確認された。
• 著者らはKleinの公式の正確なバージョンを導出した：$\chi_{18}(\Omega) = (1/2\pi)^{54} \cdot \operatorname{Disc}(Q)^2$ ここで $Q$ は曲線を定義する四次式である。
• Howe, Leprevost, および Poonen が導入した不変量 $\mathsf{T}$ は、3つの楕円曲線の2-torsion 点から構成された行列の行列式として再解釈された。
• $\chi_{18}(\frac{1}{2}\tau)$ が、合同部分群 $\Gamma_g^0(2)$ に対して重み18のモジュラー形式であることが示され、群の生成元を用いた完全なモジュラー性の証明が与えられた。