[論文レビュー] The Mahler measure and the L-series of a singular K3-surface

Marie José Bertin|ArXiv.org|Mar 4, 2008

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

ひとこと要約

本稿は、Zagierの手法を用いて面の寄与とモジュラー形式の寄与を分離することで、特異K3表面$ Y_{10} $の$L$-関数と関連するロガリズム的マラー測度の明示的公式を初めて確立した。主な結果は、ボイスの数値的予想を裏付けるものであり、$ m(P_{10}) = 2d_3 + 3m(P_2) $ が成り立ち、マラー測度は$ Y_{10} $の超越的格子の$L$-関数によって表現される。

ABSTRACT

We present the first example of a polynomial defining a singular K3-surface whose Mahler measure is expressed in terms of the Mahler measure of the faces of its Newton polyhedron and the L-series of the K3-surface.

研究の動機と目的

• 特定の多項式$ P_{10} $の対数的マラー測度とその関連する$ K3 $表面$ Y_{10} $の$L$-級数との間の明確な関係を確立すること。
• ボイスの数値的予想、すなわち$ m(P_{10}) $と$ m(P_2) $の関係を証明することで解決すること：$ m(P_{10}) = 2d_3 + 3m(P_2) $。
• ピカール数20の特異$ K3 $表面に適用可能なマラー測度計算の枠組みを、超越的格子の寄与に焦点を当てて拡張すること。
• 非可逆多項式のマラー測度表現におけるモジュラー寄与と面寄与を分離するZagierの手法を適用すること。

提案手法

• Zagierの技法を用いて、多項式の面からの寄与と、Eisenstein-Kronecker級数を含むモジュラー部分にマラー測度を分解する。
• Néronモデルを用いて特異なファイバーを解消し、$ K3 $表面$ Y_{10} $のピカール格子の行列式を計算する。
• 特に、超越的格子に関連する重み3、レベル8の尖点形式を用いることで、モジュラー形式および$L$-関数の理論を適用する。
• Lecacheuxによって発見された$ \mathbb{Q}(\sqrt{-3}) $上に無限大のセクションを用いて、周期積分と$L$-級数の連結を可能にする。
• 恒等式$ \sum' \frac{m^2 - 2\kappa^2}{(m^2 + 2\kappa^2)^3} $を用いて、モジュラー部分を$L$-関数およびディリクレ指標の形に表現する。
• 面からの寄与（$ 2d_3 $）と$ Y_{10} $の$L$-級数を組み合わせることで最終的な公式を導出する。この際、超越的格子$ T_{Y_{10}} $の行列式を用いる。

実験結果

リサーチクエスチョン

• RQ1 定義する特異$ K3 $表面の多項式の対数的マラー測度は、その$L$-級数および面からの寄与によって表現可能か？
• RQ2 予想される関係$ m(P_{10}) = 2d_3 + 3m(P_2) $は多項式$ P_{10} $に対して成り立つか？もしそうなら、その理由は何か？
• RQ3 解析的整数論を用いて、非可逆多項式のマラー測度を面寄与とモジュラー成分に分離することは可能か？
• RQ4 Néronモデルは、特異$ K3 $表面のピカール格子および$L$-級数の計算において果たす役割は何か？
• RQ5 ピカール数20の$ K3 $表面の超越的格子は、その定義多項式のマラー測度をどのように符号化しているか？

主な発見

• マラー測度$ m(P_{10}) $は正確に$ m(P_{10}) = 2d_3 + 3m(P_2) $に等しく、ボイスの数値的予想が裏付けられた。
• 公式$ m(P_{10}) = 2d_3 + \frac{1}{9} \frac{|\det T_{Y_{10}}|^{3/2}}{\pi^3} L(Y_{10}, 3) $が証明され、測度が$ K3 $表面の$L$-級数と結びついた。
• 2次元の$ Y_{10} $の超越的格子は、その$L$-関数および行列式を通じてマラー測度を支配することが示された。
• ニュートン多面体の面からの寄与は$ 2d_3 $として分離され、モジュラー部分は$ K3 $表面の$L$-級数から生じる。
• Zagierの恒等式および類数公式を用いることで、マラー測度の面寄与とモジュラー成分への成功した分離が達成された。
• 計算は、Lecacheuxによって発見された$ \mathbb{Q}(\sqrt{-3}) $上に無限大のセクションの存在に依存しており、周期積分に到達する手段を提供した。