[論文レビュー] Permutation-equivariant quantum K-theory IX. Quantum Hirzebruch-Riemann-Roch in all genera

Alexander Givental|arXiv (Cornell University)|Sep 10, 2017

Advanced Algebra and Geometry参考文献 9被引用数 7

ひとこと要約

本稿は、置換不変量子K理論におけるアーデリック特徴付けの高種数一般化を確立し、コホモロジー的不変量を用いたシンプレクティック形式を介して、K理論的グロモフ＝ミラー不変量の全自己順応的生成関数を表現する。安定写像のモジュライ空間における仮想川崎＝リーマン＝ローチの公式を用いて、Fock空間内の量子状態を構成し、そのアーデリック構造が単位根における留数条件を通じてK理論的不変量を符号化する。これは、種数0の結果をすべての種数へと拡張するものである。

ABSTRACT

We introduce the most general to date version of the permutation-equivariant quantum K-theory, and express its total descendant potential in terms of cohomological Gromov-Witten invariants. This is the higher-genus analogue of adelic characterization from the paper [7] by Givental-Tonita, and is based on the application of Kawasaki's Riemann-Roch formula to moduli spaces of stable maps.

研究の動機と目的

• 置換不変量子K理論の種数0におけるアーデリック特徴付けを、すべての種数へと一般化すること。
• K理論的グロモフ＝ミラー不変量の全自己順応的生成関数を、コホモロジー的不変量の観点から表現すること。
• 単位根における留数条件を通じて、K理論的不変量とコホモロジー的不変量を結ぶ量子力学的シンプレクティック形式を確立すること。
• 安定写像のモジュライ空間における仮想川崎＝リーマン＝ローチの公式を用いて、高種数K理論的不変量を一様に計算する枠組みを提供すること。

提案手法

• 変数 $q$ における $K^0(X) \otimes \Lambda$-値ローラン級数の列からなるシンプレクティック空間 $\mathcal{K}^\infty$ を構成し、正負部分に極化する。
• $q=0$, $q=\infty$, および単位根における留数を含む $\Lambda$-値シンプレクティック形式 $\Omega^\infty$ を $\mathcal{K}^\infty$ に導入する。
• Fock空間上の量子状態として全自己順応的生成関数 $\mathcal{D}_X$ を定義し、$\mathcal{K}^\infty_-$ に沿って定数であることを保証する。
• 負部から正部へのアーデリック写像を定義し、$q=1$ における留数によって定義される双微分作用素 $\nabla_\eta^\zeta$ を通じて実現し、K理論的不変量とコホモロジー的不変量の間の接続を符号化する。
• 仮想川崎＝リーマン＝ローチの公式を用いて、モジュライ空間 $X_{g,n,d}$ 上のベクトル束の層コホモロジーをK理論的オイラー特性と関連付ける。
• アーデリック写像のグラフが一様極化の負部と一致することを示し、留数に基づく量子状態の再構成により、主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 置換不変量子K理論における種数0のアーデリック特徴付けを、すべての種数へとどのように拡張できるか？
• RQ2 高種数量子K理論における全自己順応的生成関数を特徴づけるシンプレクティックおよびFock空間の構造は何か？
• RQ3 コホモロジー的グロモフ＝ミラー不変量は、どのように単位根における留数条件を通じてK理論的不変量を符号化するか？
• RQ4 仮想川崎＝リーマン＝ローチの公式は、安定写像のモジュライ空間上でのK理論的不変量とコホモロジー的不変量をどのように関連付けるか？
• RQ5 Fock空間内の量子状態は、すべての単位根におけるアーデリック条件によってどのように特徴づけられるか？

主な発見

• 置換不変量子K理論の全自己順応的生成関数 $\mathcal{D}_X$ は、そのアーデリック構造によって完全に決定される：有理関数がラグランジュ錐に属するのは、各単位根 $q=\zeta$ におけるローラン展開がコホモロジー的条件を満たすとき、かつそのときに限る。
• Fock空間内の量子状態 $\langle \mathcal{D}_X \rangle$ は、そのアーデリック写像による像が、$q=1$ における留数公式によって定義される双微分作用素 $\nabla_\eta^\zeta$ のグラフにあるという条件によって特徴づけられる。
• $r \geq 1$ に対して、ブロック $\mathcal{K}^{(r)}$ は $\Psi^r$ を通じて $\underline{\mathcal{K}}^{(r)}$ へ写像され、得られるシンプレクティック形式 $\underline{\Omega}^{(r)}$ は $\Omega^\infty$ の制限と一致し、種数間での一貫性が保証される。
• アーデリック写像 $\oplus_{\eta \neq \zeta^{-1}} \nabla_\eta^\zeta$ が $\mathcal{K}_-^{(\zeta^{-1})}$ から $\underline{\mathcal{K}}_+^{(\eta)}$ への写像のグラフは、$\underline{\mathcal{K}}^{(r)}$ 上の一様極化の負部と一致し、主要定理が証明される。
• 構成は、量子状態を留数条件の系の解として実現し、基底要素 $\phi_\alpha q^{k/n}/(1-q^{1/n})^{k+1}$ に対する $\nabla_\eta^\zeta$ の像を明示的に $\phi_\alpha (\eta^{-1}\zeta^{-1}q^{1/m})^k / (1 - \eta^{-1}\zeta^{-1}q^{1/m})^{k+1}$ とし、$q^{1/m}-1$ を変数として展開する。