[論文レビュー] Permutation-equivariant quantum K-theory IV. $D_q$-modules

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

Algebraic Geometry and Number Theory参考文献 2被引用数 4

ひとこと要約

本稿は、点の置換不変量子K理論が、新たな$q$-差分作用素の作用に関して不変であることを確立し、アーデリック条件を用いた大$Σ$-関数の完全な特徴付けを可能にする。主な結果は、トーリック$q$-超幾何関数が、この作用素作用とアーデリック構造を通じて、トーリック多様体のK的Gromov-Witten不変量を表していることである。

ABSTRACT

In Part II, we saw how genus-0 permutation-equivariant quantum K-theory of a manifold with isolated fixed points of a torus action can be reduced via fixed point localization to permutation-equivariant quantum K-theory of the point. In Part III, we gave a complete description of genus-0 permutation-equivariant quantum K-theory of the point by means of adelic characterization. Here we apply the adelic characterization to introduce the action on this theory of a certain group of $q$-difference operators. This action will enable us to prove that toric $q$-hypergeometric functions represent K-theoretic GW-invariants of toric manifolds.

研究の動機と目的

• 点の置換不変量子K理論のアーデリック特徴付けを、$q$-差分作用素の作用を含む形に拡張すること。
• 点における大$Σ$-関数の像が、特定の$q$-差分作用素群の下で保存されることを確立すること。
• トーリック$q$-超幾何級数が、トーリック多様体の量子K理論における$Σ$-関数の値として現れることを証明すること。
• 固定点局所化と$Σ_q$-加群構造を用いて、$q$-超幾何関数を対称化された量子K理論における不変量として幾何的実現すること。
• フレームワークをトーリックバンドルおよびスーパーバンドルに一般化し、超幾何級数における非自明なローレン卜多項式部が、非自明な$S_n$-不変Gromov-Witten不変量に対応することを示すこと。

提案手法

• 点における大$Σ$-関数のアーデリック特徴付けを用いる。これは、単位根$\zeta$における$q = \zeta^{-1}$および$\zeta = 1$でのローレン卜級数展開と、アダムズ作用素$\Psi^m$を含む条件によって定義される。
• 形式的べき級数の空間に$q-1$に関する$Σ_q$-加群構造を導入し、$q$-差分作用素が$q^{Q\partial_Q}$を介して作用する。また、偽コーン$\mathcal{L}^{\text{fake}}$がこのような作用素の下で不変であることを証明する。
• 全$Σ_q$-コーン$\mathcal{L}$を保存する一般化された$q$-差分作用素$e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$を構成する。
• この作用素の下での$Σ_q$-コーンの不変性を用いて、$I_E$や$I_{\Pi E}$などの$q$-超幾何級数が、置換不変量子K理論における大$Σ$-関数の値として現れることを示す。
• 固定点局所化と$Σ_q$-加群構造を用いて、$Σ$-関数とトーリック多様体上の層コホロロジー不変量のプッシュフォワードを関連付ける。
• 結果をトーリックバンドルおよびスーパーバンドル$\Pi E$に拡張し、超幾何級数における非自明なローレン卜多項式部が、非自明な$S_n$-不変Gromov-Witten不変量に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 置換不変量子K理論における点のアーデリック条件と$q$-差分作用素を用いた特徴付けはどのように可能か？
• RQ2 量子K理論における大$Σ$-関数への$q$-差分作用素の作用は何か？ そして、解コーンを保存するか？
• RQ3 トーリック$q$-超幾何関数は、トーリック多様体の量子K理論における$Σ$-関数の値として実現可能か？
• RQ4 超幾何級数における非自明なローレン卜多項式部は、対称化された量子K理論における$S_n$-不変Gromov-Witten不変量とどのように関係するか？
• RQ5 $\mathcal{D}_q$-加群構造が、作用素フロー下での解コーンの不変性を保証する役割を果たすか？

主な発見

• 点における大$Σ$-関数の像$Σ$は、$q$-差分作用素$e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$の作用の下で保存され、置換不変量子K理論における新たな対称性を確立する。
• トーリック$q$-超幾何関数$ I_E = (1-q)\sum_{d>0} Q^d \frac{(1-\lambda P^{-1}q^{-1})^2 \cdots (1-\lambda P^{-1}q^{1-d})^2}{(1-Pq)^2 \cdots (1-Pq^d)^2} $は、$E \to \mathbb{C}P^1$へのトーリックバンドルの量子K理論における大$Σ$-関数の値を表す。
• 非可換極限$\lambda = 1$において、級数$I_E$は$(1-q)\sum_{d>0} \frac{Q^d}{P^{2d-2} q^{d(d-1)} (1-Pq^d)^2}$に簡約され、Calabi-Yau 3-foldにおける正規束$\mathcal{O}(-1)\oplus\mathcal{O}(-1)$をもつ有理曲線の局所Gromov-Witten不変量を捉える。
• $X = \mathbb{C}P^N$ および $E = \bigoplus_{j=1}^M \mathcal{O}(l_j)$ の場合、$q$-超幾何級数$ I_{\Pi E} = (1-q)\sum_{d\geq 0} \frac{Q^d}{\prod_{j=0}^N \prod_{r=1}^d (1-P\Lambda_j^{-1}q^r)} \prod_{j=1}^M \frac{\prod_{r=-\infty}^{l_j d} (1-\lambda P^{l_j} q^r)}{\prod_{r=-\infty}^0 (1-\lambda P^{l_j} q^r)} $は、$\Pi E$の量子K理論における大$Σ$-関数を表し、$\sum l_j^2 > N+1$のとき非自明な入力$\mathbf{t}$を持つ。
• 非可換極限$\Lambda_j = 1, \lambda = 1$において、級数$I_{\Pi E}$は$(1-q)\sum_{d\geq 0} Q^d \frac{\prod_{j=1}^M \prod_{r=1}^{l_j d} (1-P^{l_j} q^r)}{\prod_{r=1}^d (1-Pq^r)^{N+1}}$に簡約され、コドメイン$M$の完全交差$Y \subset \mathbb{C}P^N$の小$Σ$-関数を表す。ここで$P$は$(1-P)^{N+1-M} = 0$を満たす。
• $\sum l_j^2 \leq N+1$ のとき、$I_{\Pi E}$のローレン卜多項式部は消え、$Σ$-関数の入力$\mathbf{t}$はゼロとなり、級数は通常の量子K理論における小$Σ$-関数を表す。これは[5]の先行結果と整合的であるが、固定点局所化と$Σ_q$-加群不変性を用いて新たに導出された。