[論文レビュー] Degenerations of triple coverings and Thomae's formula

Keiji Matsumoto, Tomohide Terasoma|arXiv (Cornell University)|Jan 27, 2010

Advanced Algebra and Geometry参考文献 8被引用数 3

ひとこと要約

本稿は、二分木の組合せ論を用いてシンプレクティック基底を構成することで、複素射影直線の三重被覆に対するトマエの公式を証明し、任意の分岐指数に対して絶対定数を計算する。主な貢献は、退化技術とチャウラ＝セレバーグ公式の変種を用いた定数の閉形式表現であり、これは安定退化として二つの三重被覆の直和に分解される事例によって検証されている。

ABSTRACT

In this paper, we prove Thomae's formula for a triple covering of $\bold P^1$ with arbitrary index. This formula gives a relation between theta constants, determinants of period integrals and the difference products of branch points. To specify a symplectic basis of the curve, we use the combinatorics of binary trees on $\bold P^1$. This symplectic basis behaves so well for degenerations that we obtain the absolute constant in this formula and reduce it to a special case treated in [Bershadsky-Radul], [Nakayashiki].

研究の動機と目的

• 任意の分岐指数に対して、P¹の三重被覆に対するトマエの公式を明示的な絶対定数で確立すること。
• 平面的二分木を用いて、三重被覆のホモロジーに対する標準的なシンプレクティック基底を定義すること。
• 木の分解を用いて、三重被覆の退化を二つの既約成分の直和に分析すること。
• 安定退化とチャウラ＝セレバーグ型の公式を用いて、トマエの公式における絶対定数を計算すること。

提案手法

• P¹上の平面的二分木から、H₁(C, ℤ) のシンプレクティック基底を構成し、退化においても整合性を保つようにすること。
• 曲線の退化を、二分木の二つの部分木への分解に対応する二つの三重被覆の直和にすること。
• 式 (5.2) のチャウラ＝セレバーグ型の公式を適用し、周期行列の極限と差積を、シータ定数に関連付けること。
• モノドロミー不変退化を活用し、再帰的退化ステップによって一般ケースを既知の特殊ケースに還元すること。
• 自己同型 ρ: (x,y) ↦ (x,ωy) を用いて、H₁(C, ℚ/ℤ) の (1−ρ)- torsion 部分を分析し、シータ特徴量に関連付けること。
• 木の分解に基づく帰納法により公式を検証し、退化ファイバーにおけるシータ定数の極限を用いて絶対定数を導出すること。

実験結果

リサーチクエスチョン

• RQ1 トマエの公式を、明示的な絶対定数を伴って、任意の分岐指数に対して三重被覆へと拡張することは可能か？
• RQ2 二分木の組合せ論は、退化において良好に振る舞うシンプレクティック基底を定義する上で果たす役割は何か？
• RQ3 三重被覆が二つの成分の直和に退化する場合、シンプレクティック基底とシータ定数にどのような影響を与えるか？
• RQ4 退化と特殊関数の恒等式を用いて、トマエの公式における絶対定数を明示的に計算できるか？
• RQ5 定数は、シンプレクティック基底とシータ特徴量の選び方にどのように依存するか？

主な発見

• 三重被覆におけるトマエの公式の絶対定数は、κ_Λ = ±(2π)^3 3^{3/4} exp(11πi/12) κ_Λ′ として与えられ、退化と特殊関数の恒等式を用いて導出された。
• 二分木から構成されたシンプレクティック基底は、退化ファイバーへと連続的に拡張され、木の分割に伴い二つの既約成分の基底に分解される。
• 再帰的退化により公式は既知のケースに還元され、周期行列と差積の極限を用いて定数を明示的に計算可能となる。
• シータ定数の6乗は、周期行列の行列式の3乗と分岐点の差積の積に比例し、明示的な定数係数を有する。
• 4つの実分岐点を持つ例では、定数は 1/(3√3 (2π)^6) exp(πi/6) に分岐点の差積と det(B)^3 の積を乗じたものとして明示的に計算されている。
• 本手法は、先行の一般化に依存せず、代わりに退化と木に基づくシンプレクティック基底を用いて、定数を直接導出する。