[論文レビュー] Instantons, Hilbert Schemes and Integrability

H. W. Braden, Nikita Nekrasov|ArXiv.org|Mar 23, 2001

Nonlinear Waves and Solitons参考文献 25被引用数 4

ひとこと要約

この論文は、複素化された $A_n$ カロジェロ＝モーザー可積分系の位相空間と、非可換かつ blown-up された $\mathbb{R}^4$ 上の変形インスタントンのモジュライ空間との間に深い接続を確立し、$U(1)$ インスタントンがバーンズ計量に関して自己双対でないことを示している。主な結果は、1インスタントン解がこの計量に関して反自己双対ヤン・ミルズ方程式を満たしていることであり、可積分系とゲージ理論の背後にある新しい幾何的構造を明らかにしている。

ABSTRACT

We review the deformed instanton equations making connection with Hilbert schemes and integrable systems. A single U(1) instanton is shown to be \asd\ with respect to the Burns metric.

研究の動機と目的

• 複素化された $A_n$ カロジェロ＝モーザー可積分系の位相空間と、変形インスタントンのモジュライ空間との間の対応関係を確立すること。
• 1インスタントンモジュライ空間の幾何的構造を調査し、それが反自己双対ゲージ場を支持するかを特定すること。
• バーンズ計量が $U(1)$ 場合の反自己双対インスタントンを実現する上で果たす役割を明確にすること。
• $\mathbb{C}P^2$ 上の無限遠点で自明な制限を持つねじれ層のヒルベルトスキーム記述と、$A_1$-代数的記述によるカロジェロ＝モーザー位相空間との比較。
• Dブレーンおよび非可換ゲージ理論の文脈におけるバーンズ計量の物理的解釈を探索すること。

提案手法

• 変形された行列方程式 $[B_2, B_1] + IJ = \zeta_c \mathbf{1}_V$ および $[B_1, B_1^\flat] + [B_2, B_2^\flat] + I^\dagger I - J^\dagger J = 2\zeta_r \mathbf{1}_V$ を用いた ADHM構成。これらはインスタントン方程式を一般化する。
• 解 $\chi = r / \sqrt{r^2 + m}$ からゲージ場 $A = (\partial - \bar{\partial}) \log \chi$ および場強度 $F = \partial\bar{\partial} \log \chi^2$ を構成する。
• バーンズ計量を1インスタントンモジュライ空間上の自然なハイパーケーラー計量として特定し、$r^2 = |z_1|^2 + |z_2|^2$ を用いて明示的に表現する。
• 反自己双対性を検証するための条件 $F \wedge \Omega = 0$ を分析し、バーンズ計量下で $F = \star F$ が成り立つことを示す。
• 共軛作用素の縮約とラクスペア形式を用いて、$GL(v)$ 上の測地線運動からカロジェロ＝モーザー系を導出し、$A_n$ 可積分系に至る。
• ヒルベルトスキーム（$A_0 = \mathbb{C}[x,y]$ を通じて）とカロジェロ＝モーザー位相空間（$A_1$、ウェイリ代数を通じて）の比較を通し、表現論および群作用の違いを強調する。

実験結果

リサーチクエスチョン

• RQ1 変形された ADHM 方程式の1インスタントンモジュライ空間は、$U(1)$ インスタントンが反自己双対となる計量を備えているか？
• RQ2 カロジェロ＝モーザー可積分系は、$\mathbb{C}P^2$ 上の無限遠点で自明な制限を持つねじれ層のモジュライ空間とどのように関係しているか？
• RQ3 $A_1$-代数（ウェイリ代数）は、カロジェロ＝モーザー位相空間を記述する上で果たす役割は何か？また、ヒルベルトスキーム記述における $A_0$-代数（多項式環）とはどのように異なるか？
• RQ4 複素化された $A_n$ カロジェロ＝モーザー系の位相空間は、無限次元群の共軛作用素の軌道として解釈可能か？また、ヒルベルトスキーム構造と比較するとどうなるか？
• RQ5 Dブレーンおよび非可換ゲージ理論の文脈において、バーンズ計量の物理的意義は何か？

主な発見

• $U(1)$ インスタントン解は、$F \wedge \Omega = 0$ および $F = \star F$ を示すことで、バーンズ計量に関して反自己双対であることが確認された。
• 1インスタントンモジュライ空間には自然なハイパーケーラー構造が備わり、リッチ平坦かつ自己双対なバーンズ計量を備えている。
• ゲージ場 $A = (\partial - \bar{\partial}) \log \chi$ で $\chi = r / \sqrt{r^2 + m}$ とすると、吹き抜き空間上に定義された滑らかで適切なインスタントン配置が得られる。
• 複素化された $A_n$ カロジェロ＝モーザー系の位相空間は、非可換 $\mathbb{R}^4$ 上のインスタントンを記述する変形 ADHM 方程式の解のモジュライ空間と同型である。
• ヒルベルトスキームによる $\mathbb{C}P^2$ 上の層の記述は $A_0 = \mathbb{C}[x,y]$ のイデアルに対応するが、カロジェロ＝モーザー系はウェイリ代数 $A_1$ のイデアルに対応し、$A_1$ には有限次元表現が存在しない。
• $\text{rank}([L,X] - \mathbf{1}_V) \leq 1$ を満たす解の空間 $\mathcal{C}_v$ は、無限次元群 $G_1$ の共軛作用素の軌道であり、ヒルベルトスキームの $G_0$-作用と類似している。