[論文レビュー] K-theoretic quasimap invariants and their wall-crossing

Hsian‐Hua Tseng, Fenglong You|arXiv (Cornell University)|Feb 21, 2016

Algebraic Geometry and Number Theory参考文献 4被引用数 7

ひとこと要約

本稿は、固定点が孤立しており、1次元の軌道をもつトーラス作用の下で、GIT商 $W\sslash G$ の genus 0 の $K$-理論的quasimap不変量の壁越え公式を確立する。置換対称な $S$-作用素と $\mathcal{J}^\epsilon$-関数を導入し、$\mathcal{J}^\epsilon$-関数が $K$-理論的Gromov-Witten理論のラグランジュアン・コーン上にあることを証明し、極の制御されたべき級数に関する一意性の議論を通じて、安定性の部屋をまたがる $S$-作用素の間の壁越え公式を導出する。

ABSTRACT

For each positive rational number $ε$, we define $K$-theoretic $ε$-stable quasimaps to certain GIT quotients $W\sslash G$. For $ε>1$, this recovers the $K$-theoretic Gromov-Witten theory of $W\sslash G$ introduced in more general context by Givental and Y.-P. Lee. For arbitrary $ε_1$ and $ε_2$ in different stability chambers, these $K$-theoretic quasimap invariants are expected to be related by wall-crossing formulas. We prove wall-crossing formulas for genus zero $K$-theoretic quasimap theory when the target $W\sslash G$ admits a torus action with isolated fixed points and isolated one-dimensional orbits.

研究の動機と目的

• コホロロジー的理論から $K$-理論的quasimap不変量への壁越え公式の拡張を図ること。
• 置換対称な $K$-理論的quasimap不変量を $S$-作用素と $\mathcal{J}^\epsilon$-関数を用いて定義し、それらを研究すること。
• 異なる安定性パラメータ $\epsilon_1$ と $\epsilon_2$ をもつ異なる部屋にある $S$-作用素の間の壁越え公式を確立すること。
• $\mathcal{J}^\epsilon$-関数が置換対称な $K$-理論的Gromov-Witten理論のラグランジュアン・コーン上にあることを証明すること。
• 固定点および軌道の条件の下で、トーリック多様体に対するGiventalの $K$-理論的ミラー定理をquasimap理論へ一般化すること。

提案手法

• $\epsilon$-安定な $K$-理論的quasimap不変量を、マークド点におけるタウトロジカルラインバンドルでねじれた仮想構造層の正則オイラー指標として定義する。
• $S^\epsilon$-作用素を、形式的変数 $q$ と双対基底要素を含む生成関数として構成する。
• $\mathcal{J}^\epsilon$-関数を、quasimapグラフ空間上の生成関数 $P^\epsilon$ に対する合成 $S^\epsilon(P^\epsilon)$ として導入する。
• 固定点局所化を用いて、各トーラス固定点における $S^\epsilon$-作用素を分析し、$q$ に関するべき級数として表し、その極は単位根および $0, \infty$ のみであり、留数が制御されていることを示す。
• 再帰的かつ対称性の条件を満たすべき級数系のための一意性補題を用いて、$\mathcal{J}^\epsilon$-関数が置換対称な $K$-理論的Gromov-Witten理論のラグランジュアン・コーン上にあることを証明する。
• 異なる $\epsilon$-部屋における $S$-作用素が $Q$ を法として一致し、同じ再帰的関係と極の制約を満たすことを示すことにより、壁越え公式を確立する。

実験結果

リサーチクエスチョン

• RQ1 安定性パrameter $\epsilon$ が安定性部屋の境界を越えるとき、$K$-理論的quasimap不変量はどのように変化するか？
• RQ2 固定点が孤立しており、1次元の軌道をもつトーラス作用の下で、genus 0 の $K$-理論的quasimap不変量の壁越え公式の明確な形は何か？
• RQ3 $\mathcal{J}^\epsilon$-関数は、$K$-理論的Gromov-Witten理論のラグランジュアン・コーンの観点からどのように特徴づけられるか？
• RQ4 極構造と再帰関係が制御された $q$ に関するべき級数としての $S^\epsilon$-作用素の一意性を保証する条件は何か？
• RQ5 異なる $\epsilon$-値をもつ $S^\epsilon$-作用素は、壁越え公式を通じてどのように関連づけられるか？また、その公式はどのように証明されるか？

主な発見

• $\mathcal{J}^\epsilon$-関数は、すべての $\epsilon \geq 0^+$ に対して、置換対称な $K$-理論的Gromov-Witten理論のラグランジュアン・コーン上にある。これは命題 3.2 および定理 4.5 で確立された。
• $\epsilon_1, \epsilon_2$ が異なる安定性部屋にあるとき、$S^{\epsilon_1}$ と $S^{\epsilon_2}$ の間の壁越え公式が、$0$, $\infty$, 単位根、および $q = (\lambda(\beta,\mu)^{-1/m})$ における単純極のみをもつべき級数に関する一意性の議論によって証明された。これは定理 4.4 に述べられている。
• $S^\epsilon$-作用素は、固定点局所化から導かれる再帰関係を満たし、$K^0(W\sslash G) \otimes \Lambda\{\{t_i\}$ に係数をもつ。
• $S^\epsilon$-作用素は、$Q$ を法とした挙動、極構造、再帰関係によって一意に定まる。これは一意性補題（補題 4.9）として形式化されており、$Q$ を法として一致し、同じ条件を満たす2つのべき級数系は等しいことを示唆する。
• 壁越え公式は、$\{S^{\epsilon_1}_{\tau_{\gamma}^{\epsilon_1,\epsilon_2}(t),\beta}\}$ と $\{S^{\epsilon_2}_{t,\beta}\}$ の両系統が、一意性補題の5条件すべて（極の制御、再帰関係など）を満たすことを確認することで確立された。これにより、部屋をまたがる $S$-作用素が等しくなることが導かれる。
• $\mathcal{J}^\epsilon$-関数は、Gromov-Witten理論における $J$-関数の $K$-理論的類似物として特徴づけられ、ラグランジュアン・コーン上への像が、$K$-理論的量子 $K$-理論の形式的枠組みと整合していることを確認する。