[論文レビュー] Khovanov Homology And Gauge Theory

Edward Witten|arXiv (Cornell University)|Aug 15, 2011

Geometric and Algebraic Topology参考文献 17被引用数 20

ひとこと要約

本稿は、複素化された Chern-Simons 功能の勾配流れ方程式を通じて、Khovanovホモロジーとジョーンズ多項式を実現する4次元および5次元ゲージ理論の枠組みを提案する。無限遠における非自明な holonomy を持つ境界条件を導入することで、結び目の射影が自然に符号化され、楕円型ゲージ理論方程式の解の数え上げを通じて、摂動論的でないジョーンズ多項式の直接的計算が可能になる。

ABSTRACT

In these notes, I will sketch a new approach to Khovanov homology of knots and links based on counting the solutions of certain elliptic partial differential equations in four and five dimensions. The equations are formulated on four and five-dimensional manifolds with boundary, with a rather subtle boundary condition that encodes the knots and links. The construction is formally analogous to Floer and Donaldson theory in three and four dimensions. It was discovered using quantum field theory arguments but can be described and understood purely in terms of classical gauge theory. (Based on a lecture at the conference Low-Dimensional Manifolds and High-Dimensional Categories, University of California at Berkeley, June 2011).

研究の動機と目的

• 4次元および5次元の楕円型微分方程式を用いて、ジョーンズ多項式と Khovanov ホモロジーのゲージ理論的記述を提供すること。
• 量子場理論の双対性に代わる、ゲージ理論的モジュライ空間における勾配流れに基づく直接的な幾何学的・解析的構成を実現すること。
• ゲージ対称性を破る無限遠における漸近的境界条件を用いて、結び目の射影を自然に組み込むこと。これはゲージ理論におけるクーロン枝をモデル化する。
• ゲージ理論的方程式の解の数え上げと、既知の頂点モデルによるジョーンズ多項式の構成との直接的な関係を確立すること。
• 連続的な境界条件の変形における解の数の位相的不変性により、構成上、得られる不変量が結び目の射影の選び方に依存しないことを示すこと。

提案手法

• 3次元多様体上の Gℂ バンドル上で複素化された Chern-Simons 功能を定義し、位相 e^{iα} を選ぶことで、実部をモース関数として用いる。
• 複素接続の空間に G-不変なケーラー計量を導入し、4次元対称性を示す勾配流れ方程式を導出する。
• G-値変換におけるゲージ不変性を保証するため、モーメントマップ条件 μ = d_A⋆φ = 0 を強制するためのラグランジュ乗数場 φ₀ を導入する。
• 4次元における楕円型方程式系を導出する: (F − φ ∧ φ)^+ = t(d_Aφ)^+, (F − φ ∧ φ)^− = −t^{−1}(d_Aφ)^−, および d_A⋆φ = 0、ここで t = (1 − cosα)/sinα である。
• 無限遠における漸近的境界条件を変更し、φ → ∑c_i dx^i とし、c_i ∈ 𝔟（カルタン部分代数内の可換な三重）とすることで、結び目の射影を符号化する。
• 大距離における準アーベル近似（1/|c|）を用いて、解の数を可積分スピンチェーン（例：Gaudin モデル）と関連付け、ジョーンズ多項式の直接的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 4次元および5次元のゲージ理論的構成において、量子場理論の双対性に依存せずにジョーンズ多項式を導出できるか？
• RQ2 境界条件を通じて、ゲージ理論的枠組みにおいて結び目の射影をどのように自然に符号化できるか？
• RQ3 複素化された Chern-Simons 功能とその勾配流れが、Khovanov ホモロジーをどのように実現するか？
• RQ4 無限遠における非自明な holonomy（クーロン枝）の導入が、位相的不変性および結び目の不変量をどのように導くか？
• RQ5 得られる楕円型ゲージ理論方程式の解の数え上げを、ジョーンズ多項式の頂点モデル実現に直接的にマッピングできるか？

主な発見

• 複素化された Chern-Simons 功能の実部の勾配流れは、ゲージ群に関して不変な4次元における楕円型方程式系を生じる。
• 方程式系 (F − φ ∧ φ)^± = ±t^{±1}(d_Aφ)^± および d_A⋆φ = 0 は、Langlands双対群 G∨ の表現によってラベル付けられた特異性を持つ解を有する。
• 無限遠における漸近的条件 φ → ∑c_i dx^i を設定することで、ベクトル c_i の方向を介して結び目の射影が自然に符号化される。
• 一般的な c_i に対して、方程式は大距離で準アーベル的になるため、Gaudin モデルなどの可積分スピンチェーンの有効記述が可能になる。
• 本稿で定義された解の数 J(q;K,R) は、頂点モデルによるジョーンズ多項式の構成に直接マッピングされ、摂動論的でない、場の理論に依存しない導出が可能になる。
• 得られる不変量は、境界条件の連続的変形における解の数の位相的不変性により、結び目の射影の選び方に依存しない。