[論文レビュー] Rationality of capped descendent vertex in $K$-theory

Andrey Smirnov|arXiv (Cornell University)|Dec 4, 2016

Algebraic structures and combinatorial models被引用数 10

ひとこと要約

この論文は、等化フレーミングパラメータ $a_i \to 0$ の極限におけるキャッピング作用素の漸近的挙動を分析することにより、$\mathbb{P}^2$ 上のインスタントンのモジュライ空間における $K$-理論的 1 レッグキャップド降下頂点の有理型を確立する。$K$-理論的量子差分方程式とキャッピング作用素およびベア頂点の因数分解定理を用いることで、著者たちは有理型を直接的かつ明示的に示し、従来のコホロロジー的アプローチとは異なる、新規で簡潔な証明を与える。

ABSTRACT

In this paper we analyze the fundamental solution of the extit{quantum difference equation} (qde) for the moduli space of instantons on two-dimensional projective space. The qde is a $K$-theoretic generalization of the quantum differential equation in quantum cohomology. As in the quantum cohomology case, the fundamental solution of qde provides the capping operator in $K$-theory (the rubber part of the capped vertex). We study the dependence of the capping operator on the equivariant parameters $a_i$ of the torus acting on the instanton moduli space by changing the framing. We prove that the capping operator factorizes at $a_i o 0$. The rationality of the $K$-theoretic 1-leg capped descendent vertex follows from factorization of the capping operator as a simple corollary.

研究の動機と目的

• $\mathbb{P}^2$ 上のインスタントンのモジュライ空間に対する $K$-理論的 1 レッグキャップド降下頂点の有理型を確立すること。
• ヒルベルト・スケールの場合（$r=1$）に限らない分析を、任意のランク $r$ のインスタントンモジュライ空間 $\mathscr{M}(n,r)$ に一般化すること。
• フレーミングトーラスの等化パラメータ $a_i$ の極限 $a_i \to 0$ におけるキャッピング作用素およびベア頂点の因数分解を示すこと。
• これらの因数分解定理から、キャップド頂点の有理型が直接的に従うことを示し、コホロロジー的手法とは異なる新規で簡潔な証明を提供すること。
• $K$-理論的頂点関数を量子差分方程式および量子トロイダル代数構造と統合し、より広範な幾何的・代数的枠組みを提供すること。

提案手法

• モジュライ空間 $\mathscr{M}(n,r)$ における $K$-理論的量子差分方程式（qde）の基本解を分析し、これがキャッピング作用素を定義すること。
• 量子トロイダル代数 $U_\hbar(\widehat{\mathfrak{gl}}_1)$ のヘイゼンベルグ部分代数を用いて、qde 解の普遍的形を導入すること。
• フレーミングパラメータ $a_i \to 0$ の極限におけるキャッピング作用素および頂点関数の漸近的挙動を研究し、キャッピング作用素およびベア頂点の両方の因数分解定理を証明すること。
• トーラス作用の固定点における局所化技術を用いて、ベア頂点およびその寄与の明示的表現を計算すること。
• 量子トロイダル代数のコプロダクト構造を適用し、$a_i \to 0$ の極限において頂点寄与を独立した部分に分解すること。
• 極限における頂点関数が、$\hbar$ および $q$ を含む補正因子を伴う低ランク頂点関数の積に分解されることを示し、有理型が得られることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 3 次元多様体の数え上げ幾何における予想に従い、降下項を含む $K$-理論的 1 レッグキャップド降下頂点は有理型を示すか？
• RQ2 フレーミングトーラスの等化パラメータ $a_i$ の極限 $a_i \to 0$ における $K$-理論的キャッピング作用素の挙動はいかなるものか？
• RQ3 $a_i \to 0$ の極限におけるキャッピング作用素およびベア頂点の因数分解を用いて、キャップド頂点の有理型を導出できるか？
• RQ4 量子トロイダル代数および qde を通じて、$K$-理論的頂点関数の有理型を統一的かつ代数的に説明できる枠組みは存在するか？
• RQ5 $q \to 1$ の極限における $K$-理論的頂点関数とコホロロジー的頂点関数の関係は何か？この関係は有理型を保存するか？

主な発見

• 極限 $a_i \to 0$ におけるキャッピング作用素は因数分解し、部分トーラスに関連する独立作用素の積に分解される。
• 極限 $a_i \to 0$ における $K$-理論的 1 レッグベア頂点関数も因数分解し、二つの不連続な部分頂点に由来する寄与に分割される。
• 極限 $a \to 0$ における頂点関数は $V_{{\overrightarrow{\lambda}}_1}^{(r_1), (\tau)}(z \hbar^{r_2/2}) V^{(r_2), (1)}_{{\overrightarrow{\lambda}}_2}(z \hbar^{-r_1/2} q^{-r_1})$ と与えられ、乗法的構造を示す。
• 因数分解定理から直接的に $K$-理論的 1 レッグキャップド降下頂点の有理型が従うことが示され、定理 2 で述べられている。
• $r=1$ の場合における $K$-理論的頂点関数は $q \to 1$ の極限でコホロロジー的頂点関数に還元され、この場合の有理型も同様のメカニズムによって回復される。
• 異なるフレーミング成分間の交差項の寄与は、$a \to 0$ の極限で消えたり定数に収束したりし、明示的な補正因子 $(-\hbar q)^{1/2}$ を伴う独立した積構造が得られる。