[論文レビュー] Integrality of instanton numbers

Vadim Vologodsky|ArXiv.org|Jul 31, 2007

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

ひとこと要約

この論文は、p進ホッジ理論とモチーフ的消失サイクルを組み合わせることで、Z 上のCalabi-Yau族におけるインスタントン数のN-整数性を確立し、これらの数が明示的に定義された整数Nに対してZ[N⁻¹]に属することを示している。証明は、アユーブのモチーフ的消失サイクル関手がホッジ実現とl進実現とに一貫して作用すると仮定しており、この仮定のもとで、複素数的周期行列とp進的周期行列の間の橋渡しを可能にする1モチーフの構成がなされている。

ABSTRACT

We prove the results announced in a joint paper (arXiv:hep-th/0603106) with Maxim Kontsevich and Albert Schwarz.

研究の動機と目的

• Z 上で定義されたCalabi-Yau n-多様体の族におけるインスタントン数n_dのN-整数性を確立すること。
• 標準座標のべき級数展開の係数がZ[N⁻¹]に属することを証明し、j不 invariant のフーリエ係数の整数性を一般化すること。
• モチーフ的消失サイクルを介して、複素数的ホッジ理論的データ（周期行列）とp進的フォンタイン＝ラフィーのデータ（フロベニウス行列）を結ぶこと。
• 複素数的周期行列とp進的周期行列の超対角成分が、(2πi) とp進対数関数を含む明確な対数的関係を満たすことを示すこと。

提案手法

• p進de Rhamコホロロジーにおけるフロベニウス作用を用いて、ピカード＝フック方程式の解のp進的整数性を導出する。
• ドゥォークの補題を適用して、Z_p 上の1パラメータ族における標準座標とユカワカップリングのp進的整数性を確立する。
• 双対のモチーフ的近くのサイクル対象の最大1モチーフ商の幾何的実現として、1モチーフM_{t,n}(X_Q)を構成する。
• アユーブのモチーフ的消失サイクル関手がホッジ実現とl進実現とに一貫して作用すると仮定することで、複素数的周期行列とp進的周期行列を結ぶ。
• フォンタイン＝ラフィー関手を用いてp進的構造をガロア表現に翻訳し、ベッティ実現とde Rham実現とを比較する。
• ポアンカレ双対性とモノドロミー双対性を用いて、ホッジコホロロジーとエタールコホロロジーにおける torsion-free ラティスがZ[N⁻¹]上で一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Z 上のCalabi-Yau族におけるインスタントン数n_dは、明示的に計算可能なNに対してZ[N⁻¹]に属するか？
• RQ2 最大退化点における複素数的周期行列とp進的フロベニウス行列の超対角成分間に、明確な関係が存在するか？
• RQ3 任意の体上でヴェドフスキーのモチーフを用いて、モチーフ的近くのサイクルを用いて標準座標を幾何的に定義できるか？
• RQ4 モチーフ的消失サイクルの構成が、極限混合ホッジ構造のホッジ実現とl進実現との間に自然な同型を誘導するか？
• RQ5 モチーフ的関手と実現の間の整合性が、インスタントン数のような物理的不変量の整数性をどのように保証するか？

主な発見

• インスタントン数n_dはZ[N⁻¹]に属することが示され、5次族ではN = 2×3×5である。これは完全な整数性よりも弱い整数性条件を確認するものである。
• モチーフ的整合性の仮定のもとで、複素数的周期行列とp進的周期行列の超対角成分は、a_{m,m+1} = (2πi)^{m−1} log c および b_{m,m+1} = ±p^{m−1} log c^{1−p} を満たすある有理数cに対して成り立つ。
• モチーフ的消失サイクルを介した複素数的およびp進的構成の比較により、標準座標のべき級数係数がZ[N⁻¹]に属することが証明された。
• ホッジコホロロジーとエタールコホロロジーにおける torsion-free ラティス (W₀E)⊗² と (W₀H)⊗² がZ[N⁻¹]上で一致し、ペアリング不変量の整数性が保証された。
• モチーフ的消失サイクルの構成により、1モチーフM_{t,n}(X_Q)が得られ、ホッジ構造とp進的構造の双対性を実現し、周期行列の比較を可能にした。
• 証明は、N^n_{DR} と N^n_{et} の余核のZ_p上での位数が等しいことを示すことに帰着され、これは実現の整合性の仮定から従う。