[論文レビュー] On Fields over Fields

Yang‐Hui He|arXiv (Cornell University)|Mar 15, 2010

Black Holes and Theoretical Physics参考文献 56被引用数 6

ひとこと要約

本稿は、有限体上の真空モジュリ空間（VMS）を分析することにより、超対称ゲージ理論を研究するための画期的な数論的枠組みを導入する。ペレスティック・プログラムとワイエルの予想を用いて、VMSの幾何からハッセ＝ヴェイルゼータ関数とディリクレL級数を構成し、あるゲージ理論の算術が別の理論の幾何を支配する予期せぬ双対性を明らかにする。特に、楕円曲線におけるモジュラー形式と導手構造を通じて顕在する。

ABSTRACT

We investigate certain arithmetic properties of field theories. In particular, we study the vacuum structure of supersymmetric gauge theories as algebraic varieties over number fields of finite characteristic. Parallel to the Plethystic Programme of counting the spectrum of operators from the syzygies of the complex geometry, we construct, based on the zeros of the vacuum moduli space over finite fields, the local and global Hasse-Weil zeta functions, as well as develop the associated Dirichlet expansions. We find curious dualities wherein the geometrical properties and asymptotic behaviour of one gauge theory is governed by the number theoretic nature of another.

研究の動機と目的

• 有限体への還元を通じて、超対称ゲージ理論の代数的幾何と数論の間の橋渡しを確立すること。
• ペレスティック・プログラムを拡張し、有限体上のゼータ関数を導入することで、演算子スペクトルを分析すること。
• あるゲージ理論のVMSの算術的性質が、別の理論の幾何的不変量を支配する双対性を解明すること。
• カバヤ・ヤウおよび楕円曲線のVMSの文脈において、モジュラー性とハッセ＝ヴェイルゼータ関数を調査すること、特にタニヤマ＝ショイマ予想と関連して。
• 具体的なゲージ理論例において、VMSゼータ関数のL関数からモジュラー形式がどのように出現するかを示すこと。

提案手法

• 超ポテンシャルのヤコビアンイデアルによるゲージ不変演算子の商をとることで、超対称ゲージ理論の真空モジュリ空間（VMS）を有限体上の代数的概形に還元する。
• VMS幾何におけるサイジィジ関係を用いて、ペレスティック・プログラムを適用し、ヒルベルト級数を計算し、チラル環の演算子を数える。
• 有限体 F_{p^r} 上の有理点の個数から、ワイエル予想を用いて有理性および関数方程式を満たす局所的および大域的ハッセ＝ヴェイルゼータ関数を構成する。
• 特に楕円曲線VMSに対して、ゼータ関数からディリクレL級数の展開を導出し、係数を点数と関係づける式 2a_p = p + 1 - N_p を用いる。
• cusp形式の重さ2、レベルNのL関数とVMSのL関数を比較することでモジュラー性を分析し、デデキンドのエータ関数を用いてモジュラー形式を構成する。
• 計算代数を用いて、VMSゼータ関数から得られるL関数係数が既知のモジュラー形式の係数と一致することを検証し、非自明な算術的・幾何的双対性を確認する。

実験結果

リサーチクエスチョン

• RQ1 超対称ゲージ理論の真空モジュリ空間を有限体上でどのように分析すれば、数論的不変量を抽出できるか？
• RQ2 あるゲージ理論のゼータ関数の算術が、別の理論の幾何的構造を支配する場合に、どのような双対性が顕在するか？
• RQ3 VMSのハッセ＝ヴェイルゼータ関数はどの程度モジュラー性を示し、モジュラー形式とどのように関係するか？
• RQ4 VMS幾何における良い還元および悪い還元の素数は、楕円曲線の導手およびL関数構造とどのように対応するか？
• RQ5 VMSの点数から導かれるディリクレ級数の係数が、既知のcusp形式の係数と一致するかどうか。これは、深い算術的・幾何的対応関係を示唆する。

主な発見

• コンパクトなVMSに対して、有限体上でのハッセ＝ヴェイルゼータ関数はワイエル予想が予測するように有理関数の形をとり、局所的ゼータ関数はtの有理関数として与えられる。
• 楕円曲線VMS E_n: y^2 = x^3 - n^2x に対して、2nを割る素数は悪い還元の素数であり、このときゼータ関数は 1/((1-pt)(1-t)) に簡略化され、点の個数は p+1 に等しい。
• E_nのグローバルゼータ関数は Z(s;E_n) = ζ(s)ζ(s-1)/L(s;E_n) と表され、L(s;E_n) はハッセ＝ヴェイルL関数で、係数a_pは点数との関係 2a_p = p+1 - N_p で与えられる。
• 導手11の具体例において、VMSの点数から得られるL関数係数が、デデキンドのエータ関数から構成されたcusp形式の係数と完全に一致し、モジュラー性が確認された。
• VMSゼータ関数のL関数係数とモジュラーcusp形式の係数が一致することは非自明であり、深い双対性を強く示唆する数値的・算術的証拠である。
• 本稿は、あるゲージ理論のVMS（例：楕円曲線）の幾何が、共有されるゼータ関数およびL関数構造を通じて、別の理論の算術を支配することを示し、新たな形の双対性を明らかにした。