[논문 리뷰] The level structure in quantum K-theory and mock theta functions

Yongbin Ruan, Ming Zhang|arXiv (Cornell University)|2018. 04. 18.

Advanced Mathematical Identities참고 문헌 48인용 수 20

한 줄 요약

이 논문은 준사상의 모듈리 공간 위의 행렬식 선다발을 통해 양자 K-이론에 수준 구조를 도입하고, J-함수의 아델 성질을 규명하며, 토릭 다양체의 순열-등변 양자 K-이론에 대해 미러 정리를 증명한다. 놀랍게도 단순한 예제들에서 라마누잔의 몽키스 케이터 함수가 미러 사상에 나타난다.

ABSTRACT

This is the first in a sequence of papers to develop the theory of levels in quantum K-theory and study its applications. Our main results in this paper are toric mirror theorems for permutation-equivariant quantum K-theory with level structure. In some of the simplest examples, we see the surprising appearance of Ramanujan's mock theta functions.

연구 동기 및 목표

• 준사상의 모듈리 공간 위의 행렬식 선다발을 통해 수준 매개변수를 포함시켜 수준 구조를 갖춘 양자 K-이론 이론을 개발한다.
• Givental-Tonita의 접근을 일반화하여, 수준 구조를 갖춘 양자 K-이론에서 J-함수의 아델 성질을 규명한다.
• 수준 구조를 활용하여, 매끄럽고 사영적인 토릭 다양체의 순열-등변 양자 K-이론에 대해 미러 정리를 수립한다.
• 단순한 예제들의 미러 사상에서 라마누잔의 몽키스 케이터 함수가 어떻게 나타나는지 탐구하여, 수론과 양자 K-이론을 연결한다.

제안 방법

• 모듈리 스택의 주요 G-_bundle 위의 일반적 선다발의 코homology의 역행렬의 풀백으로서 수준-l 행렬식 선다발을 정의한다.
• 일반적인 매끄럽고 사영적인 다양체에 대해, 보편 곡선과 평가 사상과 함께 유도된 푸시포워드를 사용하여, 보편 커브와 평가 사상의 풀백을 통한 벡터 다발의 유도된 푸시포워드를 사용하여 정의를 일반화한다.
• 준사상 이론에서 수준-l 소형 I-함수를 구성하고, q-Pochhammer 기호와 몰로니 파라미터를 포함하는 생성함수로 표현한다.
• 양자 K-이론 콘의 아델 기술을 사용하여, 수준-l 구조에 대한 J-함수의 상을 특성화한다.
• 잔류 공식과 대칭화된 이론을 적용하여, 비등변 극한에서 특히 미러 추측과의 일致성을 검증한다.
• K-이론적 S-연산자의 다항성 성질에 발생한 격차로 인해, 벽을 넘는 접근에서 Givental-Tonita의 아델 기법으로 전환한다.

실험 결과

연구 질문

• RQ1 표현 이론에서의 수준 개념이 양자 K-이론에 자연스럽게 통합될 수 있는가?
• RQ2 수준 구조가 준사상 프레임워크에서 J-함수와 양자 K-이론 콘에 어떤 영향을 미치는가?
• RQ3 수준-구조가 있는 양자 K-이론에서 J-함수의 아델 특성은 무엇인가?
• RQ4 양자 K-이론의 토릭 다양체에서 몽키스 케이터 함수가 자연스럽게 미러 사상에 나타나는가?
• RQ5 아델 접근을 사용하여, 수준 구조를 갖춘 순열-등변 양자 K-이론에 대해 미러 정리를 수립할 수 있는가?

주요 결과

• 수준-l 행렬식 선다발은 $\mathcal{D}^{R,l} = \mu^*(\text{det}_R)^l$로 정의되며, 여기서 $\mu$는 준사상 모듈리 스택에서 주요 G-_bundle의 모듈리로의 忘却 사상이다.
• 수준-구조가 있는 양자 K-이론에서 J-함수의 아델 특성은 대칭화된 이론을 통해 비수준 경우를 일반화하여 확립되었다.
• 매끄럽고 사영적인 토릭 다양체의 순열-등변 양자 K-이론에 대해 수준 구조를 갖춘 미러 정리가 증명되었다.
• 비등변 극한에서, 수준-l 소형 I-함수는 대칭화된 이론에서 양자 K-이론 콘 $\mathcal{L}_{S_{\infty}}^{R,l}$ 위에 존재한다.
• 대상 $X_{a,-b} = (\mathbb{C}^2 \setminus \{0\}) / \mathbb{C}^*$에 대해, 오르비 I-함수의 비틀림되지 않은 성분은 q-Pochhammer 기호로 표현되며, 몽키스 케이터 유사한 구조를 드러내기 위해 변환을 수행한다.
• $X_{\mathbf{1},-\mathbf{1}} = O(-1)^{\oplus r}_{\mathbb{P}^{s-1}}$의 경우, 지수 $q^{\frac{n(n-1)}{2}})^{1+s-r}$를 통해 I-함수가 몽키스 케이터 함수와 관련된 형태를 띠며, 특히 $l = 1+s$일 때 두드러진다.