  |
位相的弦理論とラングランズプログラムは、ゲージ理論と双対性を介した関係性が存在する。
N=4 超対称ヤン・ミルズ (SYM) 理論とS-双対性がある。
カプースチンとウィッテンによって示されたように、この4次元ゲージ理論を特定の方法でツイストし、次元を落とすことで、2次元の理論として幾何学的ラングランズ対応が現れる。
1. N=4 SYM 理論: この理論は、最大の超対称性を持つゲージ理論であり、結合定数 g に対して、g ↦ 1/g という変換（S-双対性）の下で自己双対的であると考えられている。これは、強結合領域と弱結合領域を結びつける性質。
2. ツイストと次元削減: この理論をリーマン面 C と実2次元平面 R² の積空間 C × R² 上で考え、R² 方向の対称性を保つようにツイスト。これにより、C 上の2次元的な理論が得られる。
3. 幾何学的ラングランズ対応の出現: このツイストされた2次元理論を量子化する方法は、ゲージ群 G を選ぶか、そのラングランズ双対群 ᴸG を選ぶかによって異なる。S-双対性は、これら二つの異なる記述（G による記述と ᴸG による記述）が物理的に等価であることを示唆。この物理的な等価性が、数学的には幾何学的ラングランズ対応（リーマン面上の G-束のモジュライ空間におけるある種の層の圏と、ᴸG-局所系のモジュライ空間における別の層の圏の間の等価性）として現れる。
位相的弦理論は、この描像にミラー対称性という別の双対性をもたらす。位相的弦理論には、主に二つのモデルがある。
カプースチン-ウィッテンの描像では、N=4 SYM 理論から導かれる幾何学的ラングランズ対応は、B-モデルの特定の状況と強く結びついている。
一方、ミラー対称性は、このB-モデルの描像をA-モデルの描像に翻訳する。これにより、幾何学的ラングランズ対応を、A-モデルの言語、すなわちシンプレクティック幾何学や深谷圏の言葉で理解することができる。
11
