[論文レビュー] Permutation-equivariant quantum K-theory I. Definitions. Elementary K-theory of $\overline{\mathcal M}_{0,n}/S_n$

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

Advanced Algebra and Geometry参考文献 3被引用数 4

ひとこと要約

本稿では、安定写像の標識点に作用する対称群 $S_n$ を組み込むことで、K-理論的グロモフ＝ミラー理論を拡張し、点空間 $X = \text{pt}$ におけるこれらの不変量を計算する。主な結果として、点空間に対する対称化された J 関数が $q$-指数関数により表され、$J^{\text{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$ となる。これは、量子 K-理論と $q$-特異関数の間に深い関係があることを示している。

ABSTRACT

K-theoretic Gromov-Witten invariants of a compact Kahler manifold $X$ are defined as super-dimensions of sheaf cohomology of interesting bundles over moduli spaces of n-pointed holomorphic curves in X. With this article, we begin a series of publications on K-theoretic Gromov-Witten invariants, cognizant of the $S_n$-module structure on the sheaf cohomology, induced by renumbering of the marked points. In the opening paper, we introduce such invariants, explain how the representation-theoretic information with varying $S_n$ is incorporated into generating functions of Gromov-Witten theory, and compute one of them, the small J-function for $X=pt$, by using Kapranov's description of Deligne-Mumford spaces $\overline{\mathcal M}_{0,n}$.

研究の動機と目的

• 安定写像のモジュライ空間における標識点への $S_n$-作用を組み込むことで、置換不変量子 K-理論を定義・形式化すること。
• 点空間 $X = \text{pt}$ における $S_n$-不変 K-理論的グロモフ＝ミラー不変量を計算すること。この場合、幾何学が著しく単純化される。
• genus-0 量子 K-理論における $q$-超幾何関数および有限差分作用素の役割を特定すること。
• $\overline{\mathcal{M}}_{g,n}/S_n$ の K-理論から生じる Witten–Kontsevich tau 関数の $q$-類似の基礎を築くこと。

提案手法

• 標識点に沿ったトートロジカルラインバンドル $L_i$ でねじれた仮想構造層の層コホロロジーから、仮想 $S_n$-加群を定義することで、$S_n$-不変相関関数を導入する。
• $\lambda$-代数への持ち上げにより、$n$ が異なる際の非多項式的かつ非比較可能な $S_n$-加群の値を扱うためにシュール＝ワイエル理論を用いる。
• レフシェッツ固定点公式を適用し、$S_n$ の共共役類にわたる和を取ることで総 J 関数を計算する。これは、$\mathbb{C}^{n-1}$ の対称冪上のトレースを活用する。
• 中心的な特殊関数として $q$-指数関数 $e_q(y) = \sum_{n \geq 0} \frac{y^n}{[n]_q!}$ を用い、これが量子 K-理論の再帰関係と一致する有限差分方程式を満たすことを示す。
• $\overline{\mathcal{M}}_{0,n+1}$ のブローアップ幾何を用いて、$J_{\text{pt}}$ の計算を $\mathbb{C}^{n-1}$ 上の同次多項式の $S_n$-表現 $S^*_q(\mathbb{C}^{n-1})$ に還元する。
• $\pi: \overline{\mathcal{M}}_{0,n+1} \to \mathbb{C}P^{n-2}$ のブローアップ写像に対して $L_{n+1} = \pi^*\mathcal{O}(1)$ が成り立つことを利用し、K-理論的プッシュフォワードを $\pi_* L_{n+1}^m = \mathcal{O}(m)$ として計算できる。

実験結果

リサーチクエスチョン

• RQ1 K-理論的グロモフ＝ミラー不変量は、安定写像の標識点の置換から生じる $S_n$-作用をどのように拡張できるか？
• RQ2 点空間に対する $\overline{\mathcal{M}}_{0,n}/S_n$ の $S_n$-不変 K-理論の構造は何か？
• RQ3 $q$-超幾何関数および有限差分作用素は、genus-0 量子 K-理論においてどのように現れるか？
• RQ4 $q$-指数関数は、量子コホモロジーにおける指数関数と同様に、量子 K-理論における J 関数の母関数として機能できるか？
• RQ5 $\overline{\mathcal{M}}_{g,n}/S_n$ の K-理論から生じる Witten–Kontsevich tau 関数の $q$-類似は存在するか？

主な発見

• $X = \text{pt}$ に対する対称化 J 関数は、$J^{\text{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$ で与えられ、ここで $e_q$ は $q$-指数関数である。
• $f(x) = (1-q)^{-1}J^{\text{sym}}_{\text{pt}}$ は有限差分方程式 $f(x) - f(qx) = x f(x)$ を満たし、これは $q$-指数関数の定義的性質と一致する。
• $S_n$-表現 $[1,\dots,1,L^m]_{0,n+1}^{S_n}$ は、$\mathbb{C}^{n-1}$ 上の同次多項式の空間に同型であり、$\overline{\mathcal{M}}_{0,n+1}$ のブローアップ幾何を介して同定される。
• 総 J 関数は $S_n$ の共役類にわたる和として計算され、$\sum_{n \geq 0} \frac{1}{n!} \sum_{h \in S_n} \operatorname{tr}_h S^*_q(\mathbb{C}^n) \prod_k \Psi^k(\nu)^{l_k(h)} = \exp\left(\sum_{k>0} \frac{\Psi^k(\nu)}{k(1-q^k)}\right)$ を得る。
• $\Lambda = \mathbb{Q}[[x]]$ として $\nu = x$ を設定すると、$J^{\text{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$ が得られ、$q$-指数関数が母関数として確認される。
• $\Lambda$ が $x_1,\dots,x_N$ の対称関数の環であり、$\nu = tN_1$ のとき、J 関数は $J_{\text{pt}}(tN_1) = (1-q)\prod_i e_q\left(\frac{x_i}{1-q}\right)^t$ に一般化され、$GL_N$-不変設定に拡張される。