[論文レビュー] Permutation-equivariant quantum K-theory II. Fixed point localization

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

Algebraic structures and combinatorial models参考文献 4被引用数 10

ひとこと要約

本稿は、特に射影空間を含むトーリック多様体における genus-0 置換同変量子 K-理論に対して、固定点局在化フレームワークを構築する。小 J 関数は帰納的関係とトーラス固定点への局在化によって特徴付けられ、J 関数が固定点における値とユニタリ根を含む帰納的関係によって完全に決定されることを確立。この理論は、点の置換同変 K-理論と関連づけられる。

ABSTRACT

Using projective spaces as examples of toric manifolds, we examine K-theoretic fixed point localization. On the one hand, we will see how the permutation-equivariant theory of the point target space emerges as a necessary ingredient. On the other hand, we will completely characterize the genus-0 permutation-equivariant quantum K-theory of the given toric manifold in terms of such theory for the point, and a certain recursion relation.

研究の動機と目的

• トーリック多様体上の genus-0 置換同変量子 K-理論不変量を固定点局在化を用いて体系的に計算するための手法を開発すること。
• 射影空間の小 J 関数を、点の置換同変量子 K-理論と帰納的関係によって特徴付けること。
• モジュライ空間のオルビフォールド構造によって、局在化公式に平方根（例：√λ）が現れる理由を説明すること。
• J 関数がユニタリ根における極と関連する帰納的条件を満たすことを確立し、これにより点の J 関数と関連づけること。
• 今後のシリーズの一部で用いる J 関数のアデール的特徴付けの土台を築くこと。

提案手法

• 複素射影空間 $\mathbb{C}P^N$ におけるトーラス作用を用いて、安定写像のモジュライ空間上の等化超トレースを計算するため、Lefschetz 固定点公式を適用する。
• $\overline{\mathcal{M}}_{0,1}(\mathbb{C}P^1, d)$ における固定点への局在化を用い、有理関数を初等分数に分解する。
• 各固定点における J 関数の成分が、点の $\mathcal{J}_{pt}$-入力によって決定される帰納的関係を導入する。
• Novikov 変数 $Q$ と $\Psi^m$-作用を含む $\lambda$-環構造を拡張し、$q$-超幾何級数構造を可能にする。
• J 関数のユニタリ根における極を分析し、$\sqrt{\lambda}$ を含む初等分数が、モジュライ空間のオルビフォールド特異点に起因することを示す。
• Lefschetz 公式の分母が、固定点における接空間の非自明な $T$-固有値 $\mu$ 全体にわたる $1 - \mu^{-1}$ の積に一致することを特定（自明な自己同型寄与を除く）。

実験結果

リサーチクエスチョン

• RQ1 固定点局在化をどのように体系的に適用することで、トーリック多様体上の genus-0 置換同変量子 K-理論不変量を計算できるか？
• RQ2 点の置換同変量子 K-理論が、$\mathbb{C}P^N$ の J 関数を特徴付ける際に果たす正確な役割は何か？
• RQ3 標準的な Lefschetz 公式にこのような項がないにもかかわらず、なぜ局在化において $\sqrt{\lambda}$ のようなトーラス特性の平方根が現れるのか？
• RQ4 固定点における J 関数成分と点の J 関数との間の帰納的関係は、どのように局在化から導かれるのか？
• RQ5 $q$-超幾何級数が、この理論における小 J 関数の有効な値であるためには、どのような条件を満たす必要があるか？

主な発見

• 射影空間 $\mathbb{C}P^N$ の小 J 関数は、固定点への制限と、点の置換同変 J 関数 $\mathcal{J}_{pt}$ を含む帰納的関係によって完全に特徴付けられる。
• $\mathbb{C}P^1$ における次数 $d=2$ の J 関数は、$\lambda = \pm 1$ に極を持つ初等分数に分解され、$\sqrt{\lambda}$ を含む項も現れる。これはモジュライ空間のオルビフォールド構造と整合的である。
• $\sqrt{\lambda}$ の出現は、モジュライ空間 $\overline{\mathcal{M}}_{0,1}(\mathbb{C}P^1,2)$ がオルビフォールドであることから生じ、一貫した局在化のためにはトーラスの2重被覆が必要である。
• Lefschetz 公式の分母は、固定点における非自明な $T$-固有値 $\mu$ 全体にわたる $1 - \mu^{-1}$ の積に一致し、自己同型からの寄与を除く。
• $\mathcal{J}_{\mathbb{C}P^N}(0)$ の $q$-超幾何級数は必要な帰納的条件 (ii) を満たし、固定点における成分は $\mathcal{J}_{pt}$-入力により期待される形に一致する。
• 留数項の分母における積 $C_{0,j}(m)$ は、$m$ 重被覆の固定点における余接空間における $T$-作用のトレースに一致し、帰納的関係の幾何的起源を確認する。