[論文レビュー] Permutation-equivariant quantum K-theory VIII. Explicit reconstruction

Alexander Givental|arXiv (Cornell University)|Oct 21, 2015

Advanced Algebra and Geometry参考文献 12被引用数 11

ひとこと要約

本稿では、$q$-差分作用素によって生成される大きな対称性群の下で不変であることを証明することにより、置換同変な genus-0 量子 K-理論における overruled ラグランジュ面の明示的再構成公式を確立する。$q$-超幾何級数によるトーリック $X$ の一意の点を出発点とすることで、Novikov 変数における $\mathcal{D}_q$-加群が生成するフローを用いて、全面上およびその各包あたらしい空間を再構成し、トーリック多様体および関連する空間のすべての genus-0 K-理論的 Gromov-Witten 不変量の完全な計算が可能になる。

ABSTRACT

In Part VII, we proved that the range of the big J-function in permutation-equivariant genus-0 quantum K-theory is an overruled cone, and gave its adelic characterization. Here we show that the ruling spaces are D_q-modules in Novikov's variables, and moreover, that the whole cone is invariant under a large group of symmetries defined in terms of q-difference operators. We employ this for the explicit reconstruction of the cone from one point on it, and apply the result to toric target spaces, when such a point is given by the q-hypergeometric function.

研究の動機と目的

• 置換同変な genus-0 量子 K-理論における overruled ラグランジュ面 $\mathcal{L}_X$ が、$q$-差分作用素によって生成される大きな対称性群の下で不変であることを証明すること。
• Novikov 変数における $\mathcal{D}_q$-加群構造を活用して、その面上の一点から全面上 $\mathcal{L}_X$ を明示的に再構成する手法を確立すること。
• トーリック $X$ のすべての genus-0 K-理論的 Gromov-Witten 不変量（通常、混合、置換同変の場合を含む）が、$K^0(X)$ 値をとる一意の $q$-超幾何級数から再構成可能であることを示すこと。
• 非同変の場合の明示的再構成枠組みを、完全な置換同変設定へと拡張すること。アデール的特徴付けと $q$-差分対称性を用いる。

提案手法

• 偽量子 K-理論の面 $\mathcal{L}^{\text{fake}}$ のアデール的特徴付けを用い、$\mathcal{L}_X$ の性質を、単位根 $\zeta$ における $q = 1/\zeta$ でのローラン級数展開の条件に翻訳する。
• 量子コホモロジーにおける除数方程式から導かれる $q$-差分作用素の不変性を示すことにより、$\mathcal{L}_X$ の各包あたらしい空間が $\mathcal{D}_q$-加群であることを証明する。
• パラメータ $\epsilon_a \in \Lambda_+$ を用いた $q$-超幾何級数を用いて、各面 $\mathcal{L}_{t(\epsilon)}$ 上の点 $I(\epsilon)$ の族を構成し、包あたらしい空間に対して横断的であることを保証する。
• $\mathcal{D}_q$-作用素が生成する可換なフロー $e^{\epsilon D/(1-q)}$ を用い、各面 $\mathcal{L}_t$ 上に新たな点を生成する。ここで $\tau_a$ と $c_a(q)$ を独立変数として用いる。
• 陰関数定理と $d=0$ の極限を用いて、$K^0(X) = K^0(X)_{\text{pr}}$ のとき、全面上 $\mathcal{L}_t$ が一点の初期値から再構成可能であることを示す。
• トーリック $X$ に適用し、初期点がミラー対称な $q$-超幾何関数で与えられることを用い、$\mathcal{L}_t$ の完全なパrametric表現が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 置換同変量子 K-理論における全 overruled ラグランジュ面 $\mathcal{L}_X$ は、対称性構造を用いて、その面上の一点から再構成可能か？
• RQ2 量子コホモロジーにおける除数方程式は、量子 K-理論における $q$-差分作用素の対称性としてどのように現れるか？
• RQ3 Novikov 変数における $\mathcal{D}_q$-加群の役割は、初期データ点から全面上を生成するためにどのように果たされるか？
• RQ4 $q$-超幾何級数は、トーリック量子 K-理論におけるすべての genus-0 不変量を再構成するための普遍的な初期データ点としてどの程度有効か？
• RQ5 アデール的特徴付けは、全包あたらしい空間にわたる面構造を保つフローの構成をどのように可能にするか？

主な発見

• 置換同変な genus-0 量子 K-理論における overruled ラグランジュ面 $\mathcal{L}_X$ は、Novikov 変数における $q$-差分作用素のフローの下で不変であり、$\mathcal{L}_t$ は $\mathbf{f} \mapsto e^{\epsilon D(Q,Pq^{Q\partial_Q},q)/(1-q)}\mathbf{f}$ に対して $D \in \mathcal{D}_q$ で不変である。
• 各包あたらしい空間は $\mathcal{D}_q$-加群であり、全面上 $\mathcal{L}_X$ は $\mathcal{D}_q$-生成フローと $c_a(q)$-係数による乗算を用いて、一点 $I(\epsilon)$ から再構成可能である。
• トーリック $X$ に対して初期点 $I(\epsilon)$ はミラー対称な $q$-超幾何級数で与えられ、$\mathbb{C}P^N$ の例で示されるように、$\mathcal{L}_t$ の完全なパラメトリック表現が得られる。
• $K^0(X) = K^0(X)_{\text{pr}}$ のとき、各 $t$ に対して全面上 $\mathcal{L}_t$ は、横断性と陰関数定理により、一点の初期値 $I(\epsilon)$ から再構成可能である。
• すべての genus-0 K-理論的 Gromov-Witten 不変量（置換同変、通常、混合）が、Novikov 変数における $K^0(X)$-値 $q$-超幾何級数一つから、幾何的に明示的な形で完全に計算可能である。
• 再構成枠組みは、非同変量子 K-理論および量子コホモロジーにおける先行結果を一般化し、$q$-差分対称性機構を用いて、トーリック、トーリックバンドル、完全交差空間を統一的に扱う。