[논문 리뷰] Permutation-equivariant quantum K-theory V. Toric $q$-hypergeometric functions

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

Algebraic Geometry and Number Theory참고 문헌 7인용 수 11

한 줄 요약

이 논문은 토릭 다양체, 범주, 슈퍼-범주에서 순열-등변 양자 K-이론이 $q$-초기함수로 기술되며, 이는 $S^1$-등변 플로어 이론과 $D_q$-모듈러 구조에서 유래한다. 고정점 국소화를 통해 이러한 함수들이 K-이론적 과로보-고완 인버티언트를 나타냄을 증명하며, 이는 코homological 미러 공식을 K-이론적 설정으로 일반화한다.

ABSTRACT

We first retell in the K-theoretic context the heuristics of $S^1$-equivariant Floer theory on loop spaces which gives rise to $D_q$-module structures, and in the case of toric manifolds, vector bundles, or super-bundles to their explicit $q$-hypergeometric solutions. Then, using the fixed point localization technique developed in Parts II--IV, we prove that these $q$-hypergeometric solutions represent K-theoretic Gromov-Witten invariants.

연구 동기 및 목표

• 등변 플로어 이론의 프레임워크를 $D_q$-모듈러 구조를 사용하여 양자 K-이론으로 확장한다.
• 토릭 다양체와 벡터 범주에서 K-이론적 과로보-고완 인버티언트를 위한 명시적 $q$-초기함수 해법을 구성한다.
• 고정점 국소화를 통해 이러한 $q$-초기함수들이 순열-등변 양자 K-이론 인버티언트를 나타냄을 증명한다.
• 토릭 범주와 슈퍼-범주에 대해 코homological 미러 공식을 K-이론적 설정으로 일반화한다.

제안 방법

• $S^1$-등변 플로어 이론을 K-이론으로 확장하기 위해 루프 공간에 $D_q$-모듈러 구조를 도입한다.
• 수축 가능 루프의 범용 커버 $\widetilde{L_0X}$ 상에서 작용 함수 $H_i$와 닫힌 2형식 $\Omega_i$를 정의한다.
• $q$-차분 연산자 $Q_i$와 $p_i = \Omega_i + zH_i$의 곱셈 연산 간의 교환관계를 유도하여 $D_q$-모듈러 대수를 구성한다.
• 토릭 다양체에서 고정점 국소화를 사용하여 $I$-함수의 잔여치를 계산하고 재귀 관계를 검증한다.
• $T^N$-등변 체르니 루트 $U_j$와 $V_a$를 사용하여 범주 $E$와 슈퍼-범주 $\Pi E$에 대한 $q$-초기함수 $I$-함수를 구성한다.
• $ (1 - q)I_X $, $ (1 - q)I_E $, 및 $ (1 - q)I_{\Pi E} $가 대칭화된 양자 K-이론에서의 큰 J-함수 값임을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 $S^1$-등변 플로어 이론을 $D_q$-모듈러 구조를 사용하여 양자 K-이론에 적용할 수 있는가?
• RQ2 토릭 다양체에서 K-이론적 과로보-고완 인버티언트에 대한 정확한 $q$-초기함수 형태는 무엇인가?
• RQ3 고정점 국소화 기법을 통해 $q$-초기함수 $I$-함수들이 양자 K-이론 인버티언트를 어떻게 확인할 수 있는가?
• RQ4 토릭 범주와 슈퍼-범주에 대해 코homological 미러 공식의 K-이론적 대응은 무엇인가?
• RQ5 $q = \lambda^{-1/m}$에서 $I_X(q)$의 잔여치는 모듈리 공간의 가상 접공간에 대한 어떤 정보를 담고 있는가?

주요 결과

• $I_X(q)$는 $q$-초기함수로, 순열-등변 양자 K-이론에서 토릭 다양체 $X$의 큰 J-함수를 나타내며, $ (1 - q)I_X(q) $는 대칭화된 이론에 속한다.
• $q = \lambda^{-1/m}$에서 $I_X(q)$의 잔여치는 고정점 국소화로부터 유도된 재귀 관계를 만족하며, 1차원 궤도의 $m$-중 덮개에서의 가상 정규 벡터장의 에일러 클래스와 일치한다.
• 토릭 범주 $E = \bigoplus_{a=1}^L V_a$에 대해 $I_E(q)$는 $U_j(P)$와 $V_a(P)$를 포함하는 $q$-초기함수 급수이며, $ (1 - q)I_E(q) $는 대칭화된 양자 K-이론에서 큰 J-함수의 값을 나타낸다.
• 슈퍼-범주 $\Pi E$에 대해 $I_{\Pi E}(q)$는 분자와 분모의 곱셈 순서를 반전시켜 유사하게 구성되며, $ (1 - q)I_{\Pi E}(q) $ 역시 큰 J-함수의 값을 나타낸다.
• 잔여치 공식에서의 에일러 클래스 $C_{\alpha\beta}(m)$은 $\overline{\mathcal{M}}_{0,2}(X, md_{\alpha\beta})$에서 $\alpha$에서 $\beta$로 향하는 1차원 궤도의 $m$-중 덮개에서의 가상 쌍대접공간의 $T^N$-등변 에일러 클래스와 일치하여 국소화 계산이 확인된다.
• $I$-함수들은 $\lambda$-대수 $\mathbb{Z}[\Lambda^{\pm 1}][[Q]]$ 위에서 정의되어 있으며, 이는 표시점의 순열에 대해 불변임을 보장하며, 대칭화된 양자 K-이론과 일관된다.