[論文レビュー] Capped vertex with descendants for zero dimensional $A_{\infty}$ quiver varieties

Hunter Dinkins, Andrey Smirnov|arXiv (Cornell University)|May 26, 2020

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

ひとこと要約

本稿では、マックドナルド差分作用素を用いて、次元0の$A_\infty$クiver多様体における被覆頂点関数とその下降挿入の組み合わせ的公式を確立する。結果として得られる$q$-差分方程式のモノドロミーが、シンプレクティック双対多様体の楕円型$R$行列と一致することを示し、被覆頂点関数が有理的であり、安定性チャネルの選択に依存しないことを証明する。さらに、ケーラー係数およびグロチェンディーク根を用いた明示的表現が得られる。

ABSTRACT

In this paper, we study the capped vertex functions associated to certain zero-dimensional type-$A$ Nakajima quiver varieties. The insertion of descendants into the vertex functions can be expressed by the Macdonald operators, which leads to explicit combinatorial formulas for the capped vertex functions. We determine the monodromy of the vertex functions and show that it coincides with the elliptic R-matrix of symplectic dual variety. We apply our results to give the vertex functions and the characters of the tautological bundles on the quiver varieties formed from arbitrary stability conditions.

研究の動機と目的

• 次元0の$A_\infty$クiver多様体における被覆頂点関数とその下降挿入の明示的組み合わせ的公式を導出すること。
• 下降挿入が、未被覆頂点関数に作用するマックドナルド差分作用素の作用として実現されることを示すこと。
• 頂点関数を記述する$q$-差分方程式のモノドロミーを特定し、それがシンプレクティック双対多様体の楕円型$R$行列と一致することを示すこと。
• 安定性条件が任意のものであっても頂点関数の計算を拡張し、その有理的およびチャネルに依存しない性質を証明すること。

提案手法

• 未被覆頂点関数$\textbf{V}_{\lambda}(\boldsymbol{z})$は、ヤング図式$\lambda$の各ボックスに対して無限積として表現され、ケーラー係数$z_\square$と変形パラメータ$\hbar$を含む。
• 下降挿入はマックドナルド差分作用素$T(\tau)$によって実装され、これは未被覆頂点関数に作用して、下降挿入を反映した修正版$\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$を生成する。
• 被覆頂点関数$\hat{\textbf{V}}^{(\tau)}_{\lambda}(\boldsymbol{z})$は、下降挿入付き頂点関数を元の未変形関数で割った比として定義され、次数0での正規化を保証する。
• $q$-差分方程式のモノドロミーを計算し、それがシンプレクティック双対多様体の楕円型$R$行列と一致することを示し、チャネルに依存しない性質を裏付ける。
• 被覆頂点関数の次数0項は$\tau(\boldsymbol{x}_{\mathfrak{C}})$として特定され、これは安定性チャネル$\mathfrak{C}$に依存するボックス$\square$に対する$\hbar^{m_{\mathfrak{C}}(\square)}$の積として表現される。
• 被覆頂点関数のすべてのチャネルにおいて有理的であることを証明するため、その展開が$\boldsymbol{z}$に関するべき級数であり、係数が$\mathbb{Q}(q,\hbar)$に属することを示した。

実験結果

リサーチクエスチョン

• RQ1 次元0の$A_\infty$クiver多様体における頂点関数への下降挿入を体系的に計算する方法は何か？
• RQ2 マックドナルド差分作用素は、$K$-理論的頂点関数における下降挿入をどのように実現するか？
• RQ3 $q$-差分方程式の頂点関数のモノドロミーは、シンプレクティック双対多様体の楕円型$R$行列と一致するか？
• RQ4 被覆頂点関数は、ケーラーmoduli空間内の安定性条件の選択に依存しないか？
• RQ5 被覆頂点関数の次数0項は、グロチェンディーク根および安定性チャネルのデータを用いてどのように表現されるか？

主な発見

• 下降挿入$\tau_{n,r} = \bigwedge^r \mathcal{V}_n$を伴う被覆頂点関数は、ヤング図式内のボックスの部分集合に関する積を含む有理関数として与えられ、$\hbar$、$z_\square$、$\zeta_\square$に明示的な依存性を示す。
• マックドナルド差分作用素$T(\tau)$が未被覆頂点関数$\textbf{V}_{\lambda}(\boldsymbol{z})$に作用することで、下降挿入付き頂点関数$\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$が得られ、これは完全な組み合わせ的実現を提供する。
• $q$-差分方程式の頂点関数のモノドロミーは、定数因子を除いてシンプレクティック双対多様体の楕円型$R$行列と一致し、深い双対性を裏付ける。
• 被覆頂点関数は$\boldsymbol{z}$、$q$、$\hbar$に関して有理的であり、係数は$\mathbb{Q}(q,\hbar)$に属する。次数0の項は$\tau(\boldsymbol{x}_{\mathfrak{C}})$であり、これは$\tau(\{\hbar^{m_{\mathfrak{C}}(\square)}\})$に等しい。
• 被覆頂点関数は安定性チャネル$\mathfrak{C}$に依存せず、任意の2つのチャネル$\mathfrak{C}_1, \mathfrak{C}_2$に対して$\hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_1}(\boldsymbol{z}) = \hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_2}(\boldsymbol{z})$が成り立つ。
• 次数0係数$\tau(\boldsymbol{x}_{\mathfrak{C}})$は、$z_\square$の極限を取ることで計算され、$w \to 0$のとき$\zeta_\square / \zeta_{\square'} \to 0$かつ$z_{\square'} \to \infty$となる挙動に対応し、これはチャネル$\mathfrak{C}$にのみ依存する。