[논문 리뷰] Permutation-equivariant quantum K-theory I. Definitions. Elementary K-theory of $\overline{\mathcal M}_{0,n}/S_n$

Alexander Givental|arXiv (Cornell University)|2015. 08. 11.

Advanced Algebra and Geometry참고 문헌 3인용 수 4

한 줄 요약

이 논문은 안정 맵의 표시된 점들 위의 대칭군 $S_n$ 작용을 고려하여 K-이론적 Gromov-Witten 불변량을 풍부화시킨 순열-등변 양자 K-이론을 제안하며, 표적 공간 $X = \text{pt}$에서 이러한 불변량을 계산한다. 주요 결과는 $\text{pt}$에 대한 대칭화된 J-함수 $J^{ ext{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-이론적 Gromov-Witten 불변량을 계산하며, 이 경우 기하학이 크게 단순화됨을 확인한다.
• 종수 0의 양자 K-이론에서 $q$-하이퍼지오메트릭 함수와 유한차분 연산자가 어떻게 나타나는지 규명한다.
• $\overline{\mathcal{M}}_{g,n}/S_n$의 $K$-이론에서 유도되는 Witten–Kontsevich 타우함수의 $q$-해석을 위한 기초를 마련한다.

제안 방법

• 표현된 구조층의 허위 층에 타우토로지컬 라인 번들 $L_i$를 스트레스팅하여 가상의 $S_n$-모듈을 정의함으로써 $S_n$-등변 상관함수를 도입한다.
• 다양한 $n$에 대해 다항식이 아니며 비교 불가능한 $S_n$-모듈의 값을 다루기 위해 $\lambda$-대수로의 상향 변환을 통해 Schur–Weyl 대칭성을 활용한다.
• Lefschetz 고정점 공식을 적용하여 $S_n$의 공轭류에 대해 합을 구함으로써 총 J-함수를 계산하며, $\mathbb{C}^{n-1}$의 대칭거듭제곱 위에서의 추적을 활용한다.
• $e_q(y) = \sum_{n \geq 0} \frac{y^n}{[n]_q!}$로 정의되는 $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 안정 맵의 표시된 점들을 뒤섞는 $S_n$-작용을 포함하여 K-이론적 Gromov-Witten 불변량을 어떻게 풍부화시킬 수 있는가?
• RQ2 $X = \text{pt}$인 경우 $\overline{\mathcal{M}}_{0,n}/S_n$의 $S_n$-등변 $K$-이론의 구조는 어떠한가?
• RQ3 종수 0의 양자 K-이론에서 $q$-하이퍼지오메트릭 함수와 유한차분 연산자는 어떻게 나타나는가?
• RQ4 지수함수가 양자 코hom올로지에서 생성함수로 쓰이는 것과 유사하게, $q$-지수함수는 양자 K-이론의 J-함수에 대한 생성함수로 쓸 수 있는가?
• RQ5 $\overline{\mathcal{M}}_{g,n}/S_n$의 $K$-이론에서 유도되는 Witten–Kontsevich 타우함수의 $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}$ 위의 차수 $m$의 동차다항식 공간과 동형이며, 이는 $\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$-등변 설정으로 일반화된 결과이다.