[論文レビュー] The Hirzebruch--Riemann--Roch theorem in true genus-0 quantum K-theory

Alexander Givental, Valentin Tonita|arXiv (Cornell University)|Jun 16, 2011

Advanced Algebra and Geometry参考文献 17被引用数 38

ひとこと要約

本稿は、安定写像のモジュライ空間の不変体の上での仮想カワサキ–ヒルツェブルーフ–リーマン–ローチの公式を用いて、コンパクト複素代数多様体のK理論的グロモフ–ヴィットン不変量をその特徴的コホノロジー不変量で表すことにより、Genus-0量子K理論における完全な量子ヒルツェブルーフ–リーマン–ローチ定理を確立する。主な結果は、コホノロジー的データに基づいた量子K理論のJ関数の完全な特徴付けであり、射影空間内の完全交差のJ関数が有限差分方程式を満たし、オーバールールドラグランジュアン・コーンの接空間がノビコフ変数における有限差分作用素のなす代数上の自然な加群構造を持つことを証明する。

ABSTRACT

We completely characterize genus-0 K-theoretic Gromov-Witten invariants of a compact complex algebraic manifold in terms of cohomological Gromov-Witten invariants of this manifold. This is done by applying (a virtual version of) the Kawasaki-Hirzebruch-Riemann-Roch formula for expressing holomorphic Euler characteristics of orbibundles on moduli spaces of genus-0 stable maps, analyzing the sophisticated combinatorial structure of inertia stacks of such moduli spaces, and employing various quantum Riemann--Roch formulas from "fake" (i.e. orbifold-ignorant) quantum K-theory of manifold and orbifolds (formulas, either previously known from works of Coates-Givental, Tseng, and Coates-Corti-Iritani-Tseng, or newly developed for this purpose in separate papers by Tonita). The ultimate formulation combines properties of overruled Lagrangian cones in symplectic loop spaces (the language, that has become traditional in description of generating functions of genus-0 Gromov-Witten theory) with a novel framework of "adelic characterization" of such cones. As an application, we prove that tangent spaces of the overruled Lagrangian cones of quantum K-theory carry a natural structure of modules over the algebra of finite-difference operators in Novikov's variables. As another application, we compute one of such tangent spaces for each of the complete intersections given by equations of degrees $l_1,...,l_k$ in a complex projective space of dimension $\geq l_1^2+...+l_k^2-1$.

研究の動機と目的

• Genus-0量子K理論における完全な量子ヒルツェブルーフ–リーマン–ローチ定理を確立すること。
• コンパクト複素代数多様体のK理論的グロモフ–ヴィットン不変量を、特徴的コホノロジー不変量で表現する長年の未解決問題を解決すること。
• コホノロジー的グロモフ–ヴィットン理論のよく理解された構造と結びつけることにより、量子K理論の計算的フレームワークを提供すること。
• 量子K理論におけるオーバールールドラグランジュアン・コーンの接空間が、ノビコフ変数における有限差分作用素のなす代数上の自然な加群構造を持つことを証明すること。
• 次元条件を満たす射影空間内の完全交差のJ関数を計算すること。

提案手法

• Genus-0安定写像のモジュライ空間上のオルビバンドルのホロモルフィックオイラー特性に仮想カワサキ–ヒルツェブルーフ–リーマン–ローチの公式を適用する。
• 安定写像のモジュライ空間の不変体の組合せ的構造を分析し、安定写像の自己同型からの寄与を分解する。
• トンイトが新たに開発した（および既知の）仮想量子リーマン–ローチ公式を用いて、K理論的不変量とコホノロジー的不変量を関連付ける。
• シンプレクティックループ空間におけるオーバールールドラグランジュアン・コーンの枠組みを用いて、Genus-0量子K理論の生成関数を記述する。
• オーバールールドラグランジュアン・コーンのアーデリック特徴付けを導入し、量子K理論J関数の構造を統一する。
• ファイバーにパリティ変更（ΠE）を施したベクトルバンドルの全空間を考察することでスーパemanifold幾何を用い、S¹-可換局所化を用いてK理論的オイラー類を実現し、コホノロジー的不変量と比較可能にする。

実験結果

リサーチクエスチョン

• RQ1 コンパクト複素代数多様体のK理論的グロモフ–ヴィットン不変量は、Genus-0において、その特徴的コホノロジー不変量で完全に表現可能か？
• RQ2 射影空間内の完全交差に対する量子K理論のJ関数は有限差分方程式を満たすか？もし満たすならば、その構造は何か？
• RQ3 量子K理論におけるオーバールールドラグランジュアン・コーンの接空間の代数的構造は何か？
• RQ4 仮想カワサキ–ヒルツェブルーフ–リーマン–ローチの公式は、Genus-0安定写像のモジュライ空間上のオルビバンドルに適用可能であり、K理論的不変量とコホノロジー的不変量を関連付けることができるか？
• RQ5 コホノロジー的データと可換局所化を用いて、射影空間内の完全交差のJ関数を明示的に計算できるか？

主な発見

• 次元が $ l_1^2 + \cdots + l_k^2 - 1 $ 以上の複素射影空間内の完全交差の量子K理論のJ関数は、明示的に $ I_X = \sum_{d \geq 0} Q^d \frac{\prod_{j=1}^k \prod_{r=1}^{l_j d} (1 - P^{l_j} \Lambda q^r)}{\prod_{r=1}^d (1 - P q^r)^n} $ で与えられ、特殊化により被覆空間のJ関数と一致する。
• オーバールールドラグランジュアン・コーンの接空間は、ノビコフ変数における有限差分作用素のなす代数上の自然な加群構造を持つ。
• スーパemanifold $ \Pi E $ に対して、量子HRR定理は正確に成り立ち、$ \mathcal{J}_{\Pi E}(0) = I_{\Pi E} $ が成り立ち、$ \Lambda = 1 $ での特殊化により、基底多様体への還元が可能である。
• $ \Pi E $ 上のK理論的ポアンカレ双対は、$ 1 - \Lambda $ での除算を許容することで非退化であり、$ (\Phi, \Phi')_{\Pi E} = -\operatorname{Res}_{P=1} \Phi(P)\Phi'(P) \frac{\prod_{j=1}^k (1 - P^{l_j} \Lambda)}{(1 - P)^n} \frac{dP}{P} $ で与えられる。
• 量子K理論における旗多様体 $ G/B $ のJ関数は、$ U_q \mathfrak{g}' $ のホイットカー関数であることが示され、量子コホノロジーにおけるキムの結果のK理論的類似が得られる。
• 本稿は、$ \Pi E $ に対するK理論的不変量の生成関数が、$ n $ 個の可換な有限差分作用素の共通固有関数であることを確立し、K理論的Toda格子構造を裏付ける。