[論文レビュー] Lax formulation for harmonic maps to a moduli of bundles

Richard Derryberry|arXiv (Cornell University)|Jun 17, 2021

Nonlinear Waves and Solitons参考文献 11被引用数 8

ひとこと要約

本稿は、複素射影曲線上の正則バンドルのモジュライ空間の開部分空間へ、新たに構築された代数的計量および閉3形式を備えたリーマン面からの調和写像の新しいラクス形式を導入する。主な貢献は、既知の genus 0 の場合を越えて、任意の genus を持つスペクトル曲線を有する可積分 $σ$-モデルの構成であり、リーマン面の正則1形式を備えたモジュライ空間上の幾何的フローと1ループ $β$-関数が一致する証拠を提供することにある。

ABSTRACT

I define an algebraic metric and closed 3-form on a subspace $\mathcal{M}$ of the moduli of $G$-bundles on a complex projective curve $C$, and show that the resulting two-dimensional $σ$-model with target $\mathcal{M}$ has a zero-curvature formulation.

研究の動機と目的

• 従来の群や同相空間を標的とする可積分 $σ$-モデルのクラスを、正則バンドルのモジュライ空間へと拡張すること。
• 複素射影曲線 $C$ 上の $G$-バンドルのモジュライ空間の部分空間 $Σ$ に、代数的計量と閉3形式を定義し、実スライスによって擬リーマン構造を定義すること。
• 得られた2次元 $σ$-モデルがゼロ曲率（ラクス）形式を有することを示し、可積分性を裏付けること。
• これらの可積分系のスペクトル曲線が、既知の例が限られる genus 0 にとどまらず、任意の genus を持つことができることを示すこと。
• 1ループ $β$-関数が、正則1形式を備えたリーマン面のモジュライ空間上の幾何的フローと一致するという予想に証拠を提供すること。

提案手法

• 物理的エンジニアリングとして、コステロとヤマザキが開発した4次元チェーン＝シモンズ理論に基づき、単純な零点と二重極を持つ正則1形式を備えたリーマン面を用いる。
• $C$ 上の $G$-バンドルのモジュライ空間の開部分空間 $Σ$ に代数的計量を定義し、実スライスにより擬リーマン構造を定義可能にする。
• $Σ$ 上に閉3形式 $Ω$ を導入し、$σ$-モデルの作用に不可欠であり、$β$-関数の計算に寄与する。
• スペクトルパrameter $z$ でパラメトライズされた平坦接続 $D_z(σ)$ の族を構成することでラクス形式を確立し、$z$ のすべての値で $D_z(σ)$ の平坦性が調和写像方程式と同値であることを示す。
• スペクトル曲線が、リーマン面の位相的型と正則1形式の除数に依存して任意の genus を持つことが示される。
• 1ループ $β$-関数はリッチ曲率と3形式フラックスを用いて計算され、極の変形に伴う周期の変化を分析することで、モジュライ空間上の幾何的フローと一致することが示される。

実験結果

リサーチクエスチョン

• RQ1 可積分 $σ$-モデルは、群や同相空間ではなく、正則バンドルのモジュライ空間を標的とするものとして構成可能だろうか？
• RQ2 このようなモジュライ空間に代数的計量が存在するならば、調和写像のラクス形式が可能になるだろうか？
• RQ3 得られた可積分系のスペクトル曲線は、既知の例が限られる genus 0 にとどまらず、任意の genus を持つだろうか？
• RQ4 1ループ $β$-関数は、正則1形式を備えたリーマン面のモジュライ空間上のフローとして幾何学的に解釈可能だろうか？
• RQ5 $β$-関数の計算は、1形式の極の変形に伴う計量係数のフロー誘導変化と一致するだろうか？

主な発見

• 複素射影曲線上の $G$-バンドルのモジュライ空間の開部分空間に、この文脈では稀な代数的計量が構成された。
• 得られた $σ$-モデルは、スペクトルパrameter でパラメトライズされた平坦接続族を有するラクス形式を備え、可積分性が裏付けられた。
• 可積分系のスペクトル曲線が、既存の結果が限られる genus 0 にとどまらず、任意の genus を持つことが示された。
• 1ループ $β$-関数は $\beta_{ab} = \alpha' \frac{p_1 p_2}{(p_1 - p_2)^2} \kappa_{ab}$ として計算され、正則1形式を備えたリーマン面のモジュライ空間上の幾何的フローと一致した。
• $p_1 \to 0$ および $p_2 \to \infty$ のときの $\text{WZW}$ モデル極限において、$β$-関数が消えることから、この極限での予想が確認された。
• この結果は、[DLSS21] との比較によって裏付けられており、関連モデルの1ループRGフローを完全に特定していることから、より広いクラスの例において予想が妥当であることが検証された。