[論文レビュー] Mahler measure of some singular K3-surfaces

Marie-José Bertin, Amy Feaver+3 more|arXiv (Cornell University)|Aug 30, 2012

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

ひとこと要約

この論文は、特異的K3表面を定義するローレンツ多項式のマラー測度に関する先行研究を拡張し、$ x + 1/x + y + 1/y + z + 1/z - k $ のマラー測度について新たな公式を証明し、ピカール数20のK3表面のL関数の特別値と関連づける。著者らはアイゼンスタイン＝クロネッカー級数を介して関係を確立し、マラー測度が関連するL関数の$L'$-値の有理数倍に一致することを検証し、楕円曲線に対する以前の結果を一般化する。

ABSTRACT

We study the Mahler measure of the three-variable Laurent polynomial x + 1/x + y + 1/y + z + 1/z - k where k is a parameter. The zeros of this polynomial define (after desingularization) a family of K3-surfaces. In favorable cases, the K3-surface has Picard number 20, and the Mahler measure is related to its L-function. This was first studied by Marie-Jose Bertin. In this work, we prove several new formulas, extending the earlier work of Bertin.

研究の動機と目的

• 2変数多項式のマラー測度に関する先行結果を、K3表面を定義する3変数ローレンツ多項式へ一般化すること。
• ピカール数20を有する関連するK3表面を有する $ P_k(x,y,z) = x + 1/x + y + 1/y + z + 1/z - k $ のマラー測度について、新たな公式を確立すること。
• 楕円曲線からK3表面へ、マラー測度とL関数の関係をアイゼンスタイン＝クロネッカー級数およびベイリンソンの予想を用いて拡張すること。
• これらのK3表面に対して、マラー測度が $ L'(E,0) $ の有理数倍に一致することを検証し、楕円曲線の場合と類似する予想的枠組みを確認すること。

提案手法

• 3変数多項式 $ P_k(x,y,z) $ のマラー測度を表現するためのアイゼンスタイン＝クロネッカー級数の使用。ロドリゲス＝ヴィレガスの2変数アプローチを一般化する。
• $ P_k $ のニュートン多面体と面多項式の分析。関連するK3表面がピカール数20を有する場合に注目する。
• 対称性と関数方程式を活用した3トーラス上での積分によるマラー測度の計算。
• デニンジャーのプログラムとベイリンソンの予想を応用し、K3表面のL関数の特別値とマラー測度を関連づける。
• 特異ファイブレーション上の無限大セクションの振る舞いと特異ファイバーの性質を調べるため、ネロンモデルと成分群の解析を用いる。
• 交差数と高さペアリングの検証により、マラー測度が $ L' $-値の有理数倍として有理的であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 ピカール数20のK3表面に対して、3変数ローレンツ多項式 $ x + 1/x + y + 1/y + z + 1/z - k $ のマラー測度は、L関数の特別値として表現可能か？
• RQ2 この多項式族のマラー測度は、関連するK3表面のL関数とどのように関係するか。特に、楕円曲線の場合の一般化としてどうか？
• RQ3 ニュートン多面体と面多項式にどのような条件が課されると、マラー測度が表面のL関数の $ L' $-値と関連づけられるか？
• RQ4 アイゼンスタイン＝クロネッカー級数は、K3表面のような高次元のカラビ＝ヤウ多様体のマラー測度を計算するためにどの程度利用可能か？
• RQ5 予想式 $ \mathrm{m}(P) \stackrel{?}{=} \frac{qN}{4\pi^2}L(E,2) $ はK3表面へ拡張可能か。もし可能であれば、どのような条件下で成立するか？

主な発見

• ピカール数20のK3表面に対して、$ x + 1/x + y + 1/y + z + 1/z - k $ のマラー測度が $ L'(E,0) $ の有理数倍に一致することが証明され、楕円曲線に対する以前の結果が拡張された。
• $ k = 1 $ の場合、マラー測度が $ \frac{15}{4\pi^2} L(E_{15},2) $ に等しいことが示され、$ L'(E_{15},0) $ と一致し、楕円曲線の場合と類似する予想が確認された。
• 著者らは、アイゼンスタイン＝クロネッカー級数を用いた一般公式を確立し、$ P_k $ に関連するK3表面のL関数の特別値としてマラー測度を表現した。
• この論文は、マラー測度がK3表面のレギュレーターと関連づけられることを確認し、カラビ＝ヤウ3次元多様体の文脈におけるベイリンソンの予想を支持する。
• 成分群の解析とネロンモデルの計算により、無限大セクションが特異ファイバーの適切な成分と交差することを検証し、高さペアリング計算の妥当性を裏付けた。
• 無限大セクションの高さが10に等しいことが計算され、予想式との一貫性が確認され、$ L' $-値の有理数倍としてのマラー測度の有理的性を支持した。