[論文レビュー] Mahler Measure Variations, Eisenstein Series and Instanton Expansions

Jan Stienstra|ArXiv.org|Feb 9, 2005

Advanced Combinatorial Mathematics参考文献 9被引用数 5

ひとこと要約

本稿は、モジュラーMahler測度からのEisenstein級数係数と非臨界超弦理論におけるインスタントン数の間の逆関数関係を確立し、数論、モジュラー形式、そして超弦双対性の深い関係を明らかにする。主な結果は、楕円曲線ファイブレーションにおけるMahler測度の変動と5次元超ヤン・ミルズ理論におけるインスタントン展開との間の正確な双対性であり、モジュラー逆関数を通じて結びつけられる。

ABSTRACT

This paper points at an intriguing inverse function relation between Eisenstein series connected with ``Modular Mahler Measures'' and instanton numbers for ``Non-Critical Strings''. In a companion paper Mahler measures are related to dimer models.

研究の動機と目的

• 5次元非臨界超弦理論におけるモジュラーMahler測度とインスタントン展開の間の構造的関係を特定すること。
• Rodriguez VillegasによるモジュラーMahler測度に関するEisenstein級数の係数が、鏡像双対性および compactified ストリング理論の物理的文脈におけるインスタントン数と一致することを示すこと。
• 式 (3) における逆関数関係が、数論における数学的構造と物理的超弦モデルを統一することを示すこと。
• Laurent多項式のMahler測度を、同じ逆関数フレームワークを通じてドミアモデルの分配関数と結びつけること。
• 特に $E_6$、$E_5$、$E_8$、$E_7$ の場合に、展開における係数 $a_n$ と $b_n$ の整数性を示すこと。

提案手法

• 単位トーラス上での輪環積分を用いて、Laurent多項式 $F_t(x,y) = t - (xy)^{-1}\widetilde{P}(x,y,1)$ のMahler測度 $\mathsf{M}(F_t)$ を導出する。
• 対数積分と $\widetilde{P}^n$ のフーリエ係数を含む母関数を通じて、Mahler測度を $|\mathsf{Q}|^{-1}$ として表現する。
• 式 $-\mathsf{Q} = \mathsf{q} \prod_{n \geq 1} (1 - \mathsf{q}^n)^{n b_n}$ 及びその逆関数を通じて、モジュラーパラメータ $\mathsf{q}$ とインスタントンパラメータ $\mathsf{Q}$ の間の逆関数関係を確立する。
• 楕円曲線のPicard-Fuchs方程式と周期比を用いて、モジュラーパラメータ $\mathsf{q}$ をモジュラー形式 $E_{3,\chi}(\mathsf{q})$ に結びつける。
• Eisenstein級数とインスタントン展開における $\mathsf{q}$-級数の展開を比較し、$1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ が $\mathsf{q} \frac{d}{d\mathsf{q}} \log \mathsf{Q}$ に一致することを示す。
• 既知のモジュラー形式と指標和を用いて、$E_6$、$E_5$、$E_8$、および新規の例 $E_7$、$\sharp 5$、$\sharp 6$ の6例を分析し、双対性を検証する。

実験結果

リサーチクエスチョン

• RQ1 モジュラーMahler測度におけるEisenstein級数の係数は、5次元非臨界超弦理論におけるインスタントン数とどのように関係しているか？
• RQ2 Picard-Fuchs方程式と周期積分から、$\mathsf{q}$ と $\mathsf{Q}$ の間の逆関数関係を体系的に導出可能か？
• RQ3 展開 $1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ と $\kappa(1 - \sum a_n \frac{n^3 \mathsf{Q}^n}{1 - \mathsf{Q}^n})$ における係数 $a_n$ と $b_n$ は整数性を示すか？ もしそうなら、その理由は何か？
• RQ4 ドミアモデルおよび量子Calabi-Yau幾何学の観点から、Mahler測度 $\mathsf{M}(F_t)$ の物理的・幾何的意味は何か？
• RQ5 Okounkov-Reshetikhin-Vafaが提唱した超弦モデルとドミアモデルの双対性は、本稿の逆関数関係によってどのように現れるか？

主な発見

• 逆関数関係 $-\mathsf{Q} = \mathsf{q} \prod_{n \geq 1} (1 - \mathsf{q}^n)^{n b_n}$ 及びその逆 $-\mathsf{q} = \mathsf{Q} \prod_{n \geq 1} (1 - \mathsf{Q}^n)^{n^2 a_n}$ は、Klemm-Mayr-Vafa および Lerche-Mayr-Warner が得た $E_6$、$E_5$、$E_8$ のインスタントン展開と正確に一致する。
• $E_6$、$E_5$、$E_8$ の場合、インスタントン展開における定数 $\kappa$ はそれぞれ $-3$、$-4$、$-1$ であり、Mahler測度は $|\mathsf{Q}|^{-1/\nu}$ と表され、$\nu = 3, 2, 6$ である。
• Eisenstein級数展開 $1 - \sum b_n \frac{n^2 \mathsf{q}^n}{1 - \mathsf{q}^n}$ における係数 $b_n$ は、全6例において整数である。特に例 $\sharp 6$ では $b_n = (-1)^{n-1} \chi_{-3}(n)$ である。
• 例 $\sharp 3$、$\sharp 4$、$\sharp 6$ の特徴的多項式から得られるドミアモデルの分配関数はMahler測度に等しく、量子Calabi-Yau幾何学との双対性を確認する。
• 例 $\sharp 5$ では、5を法とする四次指標 $\chi$ が登場し、$b_n$ は $\text{Re}((2-i)\chi(n))$ と関係づけられる。これにより、高次のDirichlet指標の役割が明確になる。
• 本稿は、すべての例において $a_n$ と $b_n$ が整数である強力な数値的証拠を提供するが、整数性の証明は4例に限られている。