[論文レビュー] Permutation-equivariant quantum K-theory V. Toric $q$-hypergeometric functions

Alexander Givental|arXiv (Cornell University)|Sep 13, 2015

Algebraic Geometry and Number Theory参考文献 7被引用数 11

ひとこと要約

本稿では、トーリック多様体、バンドル、スーパーバンドルにおける置換同変量子K理論が、$S^1$-同変フローリング理論と$D_q$-加群構造から生じる$q$-超幾何関数によって支配されることを確立する。固定点局在法を用いて、これらの関数がK理論的グロモフ＝ウィトテン不変量を表すことを証明し、特徴的な鏡像公式をK理論的設定に一般化する。

ABSTRACT

We first retell in the K-theoretic context the heuristics of $S^1$-equivariant Floer theory on loop spaces which gives rise to $D_q$-module structures, and in the case of toric manifolds, vector bundles, or super-bundles to their explicit $q$-hypergeometric solutions. Then, using the fixed point localization technique developed in Parts II--IV, we prove that these $q$-hypergeometric solutions represent K-theoretic Gromov-Witten invariants.

研究の動機と目的

• 同変フローリング理論の$S^1$-版を$D_q$-加群構造を用いて量子K理論に拡張すること。
• トーリック多様体およびベクトルバンドル上のK理論的グロモフ＝ウィトテン不変量に対して明示的な$q$-超幾何的解を構成すること。
• 固定点局在法を用いて、これらの$q$-超幾何的関数が置換同変量子K理論不変量を符号化することを証明すること。
• トーリックバンドルおよびスーパーバンドルのコホモロジカル鏡像公式をK理論的設定に一般化すること。

提案手法

• ループ空間に$D_q$-加群構造を導入することで、$S^1$-同変フローリング理論をK理論に適応する。
• 可縮ループの普遍被覆$\widetilde{L_0X}$上に作用汎関数$H_i$と閉2形式$\Omega_i$を定義する。
• $q$-差分作用素$Q_i$と$p_i = \Omega_i + zH_i$による乗法の間の交換関係を導出し、$D_q$-加群代数を構成する。
• 固定点局在法を用いて、$I$-関数の留数を計算し、再帰関係を検証する。
• $T^N$-同変チャーン類$U_j$および$V_a$を用いて、バンドル$E$およびスーパーバンドル$\Pi E$の$q$-超幾何的$I$-関数を構成する。
• $ (1 - q)I_X $, $ (1 - q)I_E $, および$ (1 - q)I_{\Pi E} $が、対称化量子K理論におけるビッグJ関数の値であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして$S^1$-同変フローリング理論を$D_q$-加群構造を用いて量子K理論に適応できるか？
• RQ2 トーリック多様体上のK理論的グロモフ＝ウィトテン不変量に対する$q$-超幾何的解の正確な形は何か？
• RQ3 固定点局在法の技術が、$q$-超幾何的$I$-関数が量子K理論不変量を表すことをどのように検証するか？
• RQ4 トーリックバンドルおよびスーパーバンドルに対するコホモロジカル鏡像公式のK理論的類似は何か？
• RQ5 $I_X(q)$の$q = \lambda^{-1/m}$における留数が、モジュライ空間の仮想接空間にどのような情報を符号化するか？

主な発見

• 置換同変量子K理論におけるトーリック多様体$X$のビッグJ関数を表す$q$-超幾何関数$I_X(q)$が示され、$ (1 - q)I_X(q) $が対称化理論に属することが確認された。
• $I_X(q)$の単純極$q = \lambda^{-1/m}$における留数は、固定点局在法から導かれた再帰関係を満たし、1次元軌道の$m$重被覆における仮想正規束のエーラー類と一致する。
• トーリックバンドル$E = \bigoplus_{a=1}^L V_a$に対して、$I$-関数$I_E(q)$は$U_j(P)$および$V_a(P)$を含む$q$-超幾何級数として与えられ、$ (1 - q)I_E(q) $は対称化量子K理論におけるビッグJ関数の値を表す。
• スーパーバンドル$\Pi E$に対し、分子および分母の積の順序を逆にすることで同様に$I$-関数$I_{\Pi E}(q)$が構成され、$ (1 - q)I_{\Pi E}(q) $もまたビッグJ関数の値を表す。
• 留数公式におけるエーラー類$C_{\alpha\beta}(m)$は、$\overline{\mathcal{M}}_{0,2}(X, md_{\alpha\beta})$における$T^N$-同変仮想余接空間の$T^N$-同変エーラー類と一致し、局在計算が正当化された。
• $I$-関数は$\lambda$-代数$\mathbb{Z}[\Lambda^{\pm 1}][[Q]]$上に定義されており、標識点の置換に関して不変であることが保証され、対称化量子K理論と整合的である。