[論文レビュー] Symplectic Duality of $T^*Gr(k,n)$

Hunter Dinkins|arXiv (Cornell University)|Aug 12, 2020

Advanced Algebra and Geometry参考文献 21被引用数 10

ひとこと要約

本稿では、クオーバー多様体幾何における主要な数え上げ不変量である頂点関数が、適切なパラメータの同一視と正規化のもとで一致することを示すことにより、グラスマン多様体の余接 bundle $T^*\mathrm{Gr}(k,n)$ とその予想される双対との間にシンプレクティック双対性が成立することを確立する。$q$-差分作用素がマクドナルド多項式に作用する仕組みを用いて、$q$-セルバーグ型積分の組み合わせ的評価公式を導出し、この設定における3次元鏡映対称性の中心的予測を裏付ける。

ABSTRACT

In this paper, we explore a consequence of symplectic duality (also known as 3d mirror symmetry) in the setting of enumerative geometry. The theory of quasimaps allows one to associate hypergeometric functions called vertex functions to quiver varieties. In this paper, we prove a formula which relates the vertex functions of $T^*Gr(k,n)$ and its symplectic dual. In the course of the proof, we study a family of $q$-difference operators which act diagonally on Macdonald polynomials. Our results may be interpreted from a combinatorial perspective as providing an evaluation formula for a $q$-Selberg type integral.

研究の動機と目的

• 数え上げ幾何の文脈において、$T^*\mathrm{Gr}(k,n)$ のシンプレクティック双対性（3次元鏡映対称性）の主要予測を検証すること。
• パラメータ双対性のもとで、$T^*\mathrm{Gr}(k,n)$ とそのシンプレクティック双対 $X^!$ の頂点関数の正確な対応関係を確立すること。
• $q$-差分作用素とマクドナルド多項式を用いた組み合わせ的枠組みを構築し、双対多様体間で頂点関数を関連付けること。
• 双対空間上での量子 $q$-差分方程式の等価性を、明示的な正規化とパラメータ一致を伴って具体的に実現すること。

提案手法

• 頂点関数 $T^*\mathrm{Gr}(k,n)$ は、マクドナルド多項式と $q$-差分作用素を含む積分表現で表現される。
• マクドナルド作用素と可換な $q$-差分作用素の族が導入され、マクドナルド多項式に直交的に作用し、後続の挿入を符号化する。
• 固定点の「最後の」点における頂点関数は、等置不変局所化と、仮想構造層の $K$-理論的類への作用の仕組みを用いて計算される。
• 証明は、双対側の度数パラメータ $\boldsymbol{z}$ を等置パラメータに交換する正規化写像 $\kappa$ に依存し、頂点関数の比較を可能にする。
• 主要な恒等式は、$D_d(\boldsymbol{a};q,\hbar)$ の作用を通じて、双対多様体 $X^!$ の頂点関数を元の頂点関数に再表現することにより得られ、組み合わせ的評価公式が導かれる。
• 最終的な結果は、$\kappa$ を適用した後の双対側の変換済み頂点関数が、$q$-ポッヒャー記号と $q$-超幾何恒等式の性質を用いて、元の頂点関数と一致することを示すことによって得られる。

実験結果

リサーチクエスチョン

• RQ1 適切なパラメータ同一化と正規化のもとで、$T^*\mathrm{Gr}(k,n)$ とそのシンプレクティック双対 $X^!$ の頂点関数は一致するか？
• RQ2 マクドナルド多項式への $q$-差分作用素の作用は、ナカジマクオーバー多様体の頂点関数における後続挿入を計算するために用いられるか？
• RQ3 頂点関数 $T^*\mathrm{Gr}(k,n)$ から生じる $q$-セルバーグ型積分に対して、組み合わせ的評価公式が存在するか？
• RQ4 双対多様体 $X^!$ の「最後の」固定点における頂点関数は、パラメータ双対性の下で元の多様体 $X$ の対応する固定点における頂点関数と一致するか？
• RQ5 双対クオーバー多様体の量子 $q$-差分方程式どうしの関係は何か？ そして、頂点関数の比較によってこの関係は確認可能か？

主な発見

• 適切な正規化とパラメータ交換の後、$T^*\mathrm{Gr}(k,n)$ とそのシンプレクティック双対 $X^!$ の頂点関数が等しいことが証明され、3次元鏡映対称性の中心的予測が裏付けられた。
• 固定点の「最後の」点における $T^*\mathrm{Gr}(k,n)$ の頂点関数が、双対多様体 $X^!$ における頂点関数と写像 $\kappa$ によって一致することが示された。
• $q$-差分作用素 $D_d(\boldsymbol{a};q,\hbar)$ の頂点関数への作用は、後続挿入の効果を再現し、その係数は $q$-ポッヒャー比で与えられる。
• 証明は、$q$-セルバーグ型積分の新しい評価公式を導き、その式は、$\frac{(\hbar)_d}{(q)_d} P_{(d)}(q^{\mu_i}(\hbar/q)^{i-k}; q, \hbar)$ を係数とする分割の和として表現される。
• 正規化因子 $\kappa$ は、双対頂点関数 $\widetilde{\mathbf{V}}^{!}_{p^!}(u,\boldsymbol{z})$ を元の頂点関数 $\widetilde{\mathbf{V}}_p(\boldsymbol{a}, z)$ に写像し、$\varphi$-関数を含む明示的な有理関数補正項を伴う。
• この結果により、$X$ と $X^!$ の量子 $q$-差分方程式の系がパラメータ双対性のもとで等価であることが確認され、頂点関数が双対的な解の基底を形成することが分かった。