[논문 리뷰] Permutation-equivariant quantum K-theory IV. $D_q$-modules

Alexander Givental|arXiv (Cornell University)|2015. 09. 02.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 점의 순열-등변 양자 K-이론이 $q$-차분 연산자의 새로운 작용에 대해 불변임을 확립하며, 아델 조건을 통한 큰 $\mathcal{J}$-함수의 완전한 특성화를 가능하게 한다. 주요 결과는 토릭 $q$-하이퍼지오메트릭 함수가 이 연산자 작용과 아델 구조를 통해 토릭 다양체의 K-이론적 그로모프-와이너 인버리언트를 나타냄을 증명한다.

ABSTRACT

In Part II, we saw how genus-0 permutation-equivariant quantum K-theory of a manifold with isolated fixed points of a torus action can be reduced via fixed point localization to permutation-equivariant quantum K-theory of the point. In Part III, we gave a complete description of genus-0 permutation-equivariant quantum K-theory of the point by means of adelic characterization. Here we apply the adelic characterization to introduce the action on this theory of a certain group of $q$-difference operators. This action will enable us to prove that toric $q$-hypergeometric functions represent K-theoretic GW-invariants of toric manifolds.

연구 동기 및 목표

• 점의 아델 특성화를 $q$-차분 연산자의 작용을 포함하도록 확장하기.
• 큰 $\mathcal{J}$-함수가 점에서의 범위가 특정 $q$-차분 연산자 군에 대해 보존됨을 확립하기.
• 토릭 $q$-하이퍼지오메트릭 급수가 양자 K-이론에서 토릭 다양체의 $\mathcal{J}$-함수 값으로 나타남을 증명하기.
• 고정점 국소화와 $\mathcal{D}_q$-모듈 구조를 통해 $q$-하이퍼지오메트릭 함수를 대칭화된 양자 K-이론의 불변량으로 기하학적 실현하기.
• 토릭 번들의 경우로 프레임워크를 일반화하여, 하이퍼지오메트릭 급수의 비영인 로랑 다항식 부분이 비자명한 $S_n$-불변 그로모프-와이너 인버리언트에 대응함을 보여주기.

제안 방법

• 점에서의 큰 $\mathcal{J}$-함수의 아델 특성화를 사용하며, 단위근 $\zeta$ 에서 $q = \zeta^{-1}$ 과 $\zeta = 1$ 에서의 로랑 급수 전개와 애덤스 작용 $\Psi^m$ 을 포함하는 조건을 정의함.
• 형식적 멱급수 공간에 $q-1$ 에 대한 $\mathcal{D}_q$-모듈 구조를 도입하며, $q$-차분 연산자 $q^{Q\partial_Q}$ 를 통해 작용하고, 가짜 콘 $\mathcal{L}^{\text{fake}}$ 가 이러한 연산자에 대해 불변임을 증명함.
• 전체 $\mathcal{L}$-콘의 불변성을 보장하는 일반화된 $q$-차분 연산자 $e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$ 를 구성함.
• 이러한 연산자에 의한 $\mathcal{L}$ 의 불변성을 응용하여, $I_E$ 및 $I_{\Pi E}$ 와 같은 $q$-하이퍼지오메트릭 급수가 순열-등변 양자 K-이론에서 큰 $\mathcal{J}$-함수의 값을 나타냄을 보임.
• 고정점 국소화와 $\mathcal{D}_q$-모듈의 구조를 활용하여 $\mathcal{J}$-함수를 토릭 다양체 위의 층 코homology 불변량의 프로젝션과 연결함.
• 결과를 토릭 번들과 슈퍼 번들 $\Pi E$ 로 확장하여, 하이퍼지오메트릭 급수의 비영인 로랑 다항식 부분이 비자명한 $S_n$-불변 그로모프-와이너 인버리언트에 대응함을 보임.

실험 결과

연구 질문

• RQ1 순열-등변 양자 K-이론의 점에 대해 아델 조건과 $q$-차분 연산자를 사용하여 어떻게 특성화할 수 있는가?
• RQ2 양자 K-이론에서 $q$-차분 연산자의 큰 $\mathcal{J}$-함수에 대한 작용은 무엇이며, 이는 해 콘을 보존하는가?
• RQ3 토릭 $q$-하이퍼지오메트릭 함수는 토릭 다양체의 양자 K-이론에서 $\mathcal{J}$-함수의 값으로 실현될 수 있는가?
• RQ4 아델 구조에서 비영인 로랑 다항식 부분이 $S_n$-불변 그로모프-와이너 인버리언트와 어떻게 관련되는가?
• RQ5 $\mathcal{D}_q$-모듈 구조는 해 콘의 연산자 흐름에 의한 불변성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 큰 $\mathcal{J}$-함수의 범위 $\mathcal{L}$ 이 $e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$ 라는 $q$-차분 연산자 작용에 대해 보존됨을 증명하여, 순열-등변 양자 K-이론에 새로운 대칭성을 확립함.
• 토릭 $q$-하이퍼지오메트릭 함수인 $I_E = (1-q)\sum_{d>0} Q^d \frac{(1-\lambda P^{-1}q^{-1})^2 \cdots (1-\lambda P^{-1}q^{1-d})^2}{(1-Pq)^2 \cdots (1-Pq^d)^2}$ 는 양자 K-이론에서 $E \to \mathbb{C}P^1$ 인 토릭 번들의 큰 $\mathcal{J}$-함수의 값을 나타냄.
• 비등변 극한 $\lambda = 1$ 에서 급수 $I_E$ 는 $(1-q)\sum_{d>0} \frac{Q^d}{P^{2d-2} q^{d(d-1)} (1-Pq^d)^2}$ 로 줄어들며, 칼라비-야우 3-다양체에서 정규 번들의 $\mathcal{O}(-1)\oplus\mathcal{O}(-1)$ 를 가진 유리 곡선의 국소 그로모프-와이너 인버리언트를 캡처함.
• 만약 $X = \mathbb{C}P^N$ 이고 $E = \bigoplus_{j=1}^M \mathcal{O}(l_j)$ 이면, $q$-하이퍼지오메트릭 급수 $I_{\Pi E} = (1-q)\sum_{d\geq 0} \frac{Q^d}{\prod_{j=0}^N \prod_{r=1}^d (1-P\Lambda_j^{-1}q^r)} \prod_{j=1}^M \frac{\prod_{r=-\infty}^{l_j d} (1-\lambda P^{l_j} q^r)}{\prod_{r=-\infty}^0 (1-\lambda P^{l_j} q^r)}$ 는 $\Pi E$ 의 양자 K-이론에서 큰 $\mathcal{J}$-함수를 나타내며, $\sum l_j^2 > N+1$ 일 때 비자명한 입력 $\mathbf{t}$ 를 가짐.
• 비등변 극한 $\Lambda_j = 1, \lambda = 1$ 에서 급수 $I_{\Pi E}$ 는 $(1-q)\sum_{d\geq 0} Q^d \frac{\prod_{j=1}^M \prod_{r=1}^{l_j d} (1-P^{l_j} q^r)}{\prod_{r=1}^d (1-Pq^r)^{N+1}}$ 로 변환되며, codimension $M$ 인 완전교차 $Y \subset \mathbb{C}P^N$ 의 작은 $\mathcal{J}$-함수를 나타내며, $P$ 는 $(1-P)^{N+1-M} = 0$ 를 만족함.
• 만약 $\sum l_j^2 \leq N+1$ 이면 $I_{\Pi E}$ 의 로랑 다항식 부분이 영이 되므로, $\mathcal{J}$-함수의 입력 $\mathbf{t}$ 도 0이 되며, 이는 일반 양자 K-이론에서 $Y$ 의 작은 $\mathcal{J}$-함수를 나타내며, [5]의 이전 결과와 일치하지만, 이제는 고정점 국소화와 $\mathcal{D}_q$-모듈 불변성을 통해 유도됨.