[論文レビュー] Polynomials associated with fixed points on the instanton moduli space

Andrey Smirnov|arXiv (Cornell University)|Apr 21, 2014

Algebraic structures and combinatorial models参考文献 14被引用数 13

ひとこと要約

本稿では、安定な包絡写像を用いて、インスタントンモジュライ空間の等置換コホモロジーにおける固定点類を一般化されたジャック多項式として定義し、無限個の変数における多項式と同定する。主な貢献は、これらの多項式をシュール基底において展開する組合せ論的公式の導出であり、標準的ジャック多項式の既知の結果を一般化し、AGT予想の文脈における明示的計算道具を提供する。

ABSTRACT

Using the Okounkov-Maulik stable map, we identify the equivariant cohomology of instanton moduli spaces with the space of polynomials on an infinite number of variables. We define the generalized Jack polynomials as the polynomials representing the classes of fixed points under this identification. Using the abelianization theorem of Shenfeld we derive the combinatorial formula for the expansion of generalized Jack polynomials in the basis of Schur polynomials.

研究の動機と目的

• インスタントンモジュライ空間上の固定点の等置換コホモロジー類として一般化されたジャック多項式を定義すること。
• ランク-rのインスタントンモジュライ空間への構造の拡張を通じて、標準的ジャック多項式を一般化すること。
• 一般化されたジャック多項式をシュール多項式基底において展開する組合せ論的公式を導出すること。
• これらの多項式を用いて、AGT対応におけるAFLT状態の明示的計算道具を提供すること。
• コホモロジーにおける多項式基底を通じて、4次元ゲージ理論と2次元 conformal field theory の間の橋渡しを確立すること。

提案手法

• オクヌコフ＝モウリクの安定写像を用いて、インスタントンモジュライ空間の等置換コホモロジーを無限変数多項式環と同定する。
• シェンフェルトのアーベル化定理を活用し、一般化されたジャック多項式のシュール基底における組合せ論的展開を導出する。
• 安定写像による同型写像の下で、固定点類の多項式代表として一般化されたジャック多項式を定義する。
• モジュライ空間上のトーラス作用を用いて、固定点をr個の分割のr重組みにラベルづけする。これはヒルベルトスキームの場合の一般化である。
• チャネルと極化の選択を伴う安定包絡構成を適用し、コホモロジー空間と多項式空間の間の同型写像を定義する。
• 得られた同型写像を用いて、一般化されたジャック多項式をシュール多項式の項で明示的に展開する。

実験結果

リサーチクエスチョン

• RQ1 インスタントンモジュライ空間の等置換コホモロジーにおける固定点類は、どのように多項式として表現できるか？
• RQ2 一般化されたジャック多項式のシュール基底における展開の組合せ論的構造は何か？
• RQ3 ランク-rゲージ理論の文脈において、一般化されたジャック多項式は標準的ジャック多項式をどのように一般化するか？
• RQ4 安定包絡写像は、コホモロジー類と多項式関数をどのように結びつけるか？
• RQ5 これらの多項式は、4次元N=2ゲージ理論におけるAFLT状態とAGT対応においてどのように関係するか？

主な発見

• 一般化されたジャック多項式は、r個の分割のr重組みによってラベルづけられた、インスタントンモジュライ空間の等置換コホモロジーにおける固定点類の多項式代表として定義される。
• r=1の場合、一般化されたジャック多項式はパrameter β = -t₂/t₁ に対する標準的ジャック多項式に還元される。
• 本稿では、一般化されたジャック多項式をシュール基底において展開する組合せ論的公式が導出され、明示的計算が可能になる。
• r=1,2,3について明示的な公式が計算され、等置換パラメータt₁, t₂, およびuᵢに依存する結果が得られ、既知の文献事例と一致する。
• 結果として、コホモロジーにおける多項式基底を通じて、AGT対応におけるAFLT状態の明確な実現が得られる。
• 安定包絡写像は、インスタントンモジュライ空間のコホモロジーと多項式環の間の標準的同型写像を提供し、中島の構成を一般化する。