[論文レビュー] Permutation-equivariant quantum K-theory III. Lefschetz' formula on $\overline{M}_{0,n}/S_n$ and adelic characterization

Alexander Givental|arXiv (Cornell University)|Aug 27, 2015

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

本稿では、点空間 $X = \text{pt}$ における置換同変量子 K 理論の大きな J 関数を、$\overline{M}_{0,n+1}/S_n$ のモジュライ空間上の Lefschetz の固定点公式を用いて完全に特徴づける。同調的コホロジーを用いて再帰的構造を導出し、J 関数の像が小さな J 関数によって生成される部分空間の和集合によって覆われることを証明し、一般の目標空間に適用可能な基礎的なアデール的特徴づけを提供する。

ABSTRACT

We continue our study of the genus-$0$ permutation-equivariant quantum K-theory of the target $X=pt$, and completely determine the "big J-function" of this theory. The computation is based on the application of Lefschetz' fixed point formula to the action of $S_n$ on $\overline{M}_{0,n+1}$. It is an instance of the general "adelic characterization" (which we state at the end with reference to arXiv:1106.3136) of quantum K-theory for any target $X$ in terms of quantum cohomology theory. Yet, some simplifications of non-conceptual nature occur in this example, making it a lucid illustration to the general theory.

研究の動機と目的

• genus-0 置換同変量子 K 理論における点空間 $X = \text{pt}$ の大きな J 関数を完全に特定すること。
• $\overline{M}_{0,n+1}$ 上の $S_n$-作用に Lefschetz の固定点公式を適用し、相関関数の再帰的構造を導出すること。
• 任意の目標空間 $X$ に対して、genus-0 量子 K 理論の一般アデール的特徴づけを確立すること。
• アダムス作用と $\lambda$-代数構造が J 関数の構成およびその像に果たす役割を明確にすること。
• J 関数の像が $1 - q$ の無限小近傍を越えて解析接続可能であるように、小さな J 関数によって生成される部分空間の和集合に含まれることを示すこと。

提案手法

• $\overline{M}_{0,n+1}$ 上の $S_n$-作用に対して Lefschetz の固定点公式を適用し、コホロロジー類の同調的トレースを固定点集合上の正則オイラー指標として表現する。
• $X = \text{pt}$ の場合に、仮想的および通常のオイラー指標を関係付けるために、量子 Hirzebruch-Riemann-Roch 定理を適用する。
• ループ空間 $\mathcal{K} = \mathcal{K}_+ \oplus \mathcal{K}_-$ を正の部分 $\mathcal{K}_+$（ローラン多項式）と負の部分 $\mathcal{K}_-$（$q=0$ で正則な有理関数）に分解し、J 関数を $\mathcal{K}_+ \to \mathcal{K}_-$ のグラフとして定義する。
• $n+1$ 番目のマークド点付近での置換 $h \in S_n$ の作用を解析することで、$\Lambda$-値をとる形式的ループ空間における J 関数の再帰的構造を導出する。
• 形式的陰関数定理を用いて、J 関数の像の $\mathcal{K}_+$ への射影が $1 - q$ の近傍で全射であることを示し、グラフの完全な記述を保証する。
• 仮想的正則オイラー指標と Kawasaki の Riemann-Roch 公式を用いて、任意の $X$ への一般化を図り、$m$ 乗根の単位根と $\Psi^m$-作用を含む、アデール的特徴づけを導出する。

実験結果

リサーチクエスチョン

• RQ1 $X = \text{pt}$ における置換同変量子 K 理論の大きな J 関数を、同調的コホロジー的技法を用いて完全に特定する方法は何か？
• RQ2 J 関数の像がループ空間 $\mathcal{K}$ 内でとる正確な構造は何か？ また、小さな J 関数および $\Psi^k$-作用とどのように関係しているか？
• RQ3 $\overline{M}_{0,n+1}/S_n$ 上の Lefschetz の固定点公式は、J 関数の相関関数に対してどのように再帰的構造をもたらすか？
• RQ4 任意の目標空間 $X$ に対して、genus-0 置換同変量子 K 理論の一般アデール的特徴づけは何か？
• RQ5 アダムス作用 $\Psi^m$ と $\Lambda$ 上の $\lambda$-代数構造は、$S_n$-同変幾何学とどのように相互作用し、J 関数の単位根における値を定義するか？

主な発見

• ループ空間 $\mathcal{K}$ 内の大きな J 関数 $\mathcal{J}_{\text{pt}}$ の像は、部分空間の族 $\bigcup_{\nu \in \Lambda_+} (1 - q) \exp\left(\sum_{k > 0} \frac{\Psi^k(\nu)}{k(1 - q^k)} \right) \mathcal{K}_+$ によって覆われており、J 関数の像の完全な記述が得られる。
• J 関数は、$1 - q$ の無限小近傍で定義された形式的関数 $\mathcal{K}_+ \to \mathcal{K}_-$ のグラフとして特徴づけられ、形式的陰関数定理により $\mathcal{K}_+$ への射影が全射であることが保証される。
• $X = \text{pt}$ の場合、$\overline{M}_{0,n}$ が多様体であるため、偽のと通常の量子 K 理論が一致し、標準的な正則オイラー指標が使用可能になる。
• 任意の $X$ に対する一般アデール的特徴づけは、すべての原始的 $m$ 乗根 $\zeta$ において、$\mathcal{J}_X(\mathbf{t})_{(\zeta)}(q^{1/m}/\zeta)$ が特定の $\Psi^m$-ねじれ付き正のループ空間 $\widehat{\mathcal{K}}^X_+$ の像に含まれることを要件とする。
• 小さな J 関数の偏導関数を列とする演算子級 $S_\tau(q)^{-1}$ は、J 関数の像の接空間を支配し、その $\Psi^m$-作用は $\Lambda$ 上の $\lambda$-構造と $\Psi^m(q) = q^m$ を用いて定義される。
• 結果として、J 関数の像が小さな J 関数によって生成される部分空間の和集合に含まれることが確認され、和集合は像よりも大きいが、$1 - q$ の形式的近傍を超えて自然な解析接続が可能であることが示された。