[논문 리뷰] Permutation-equivariant quantum K-theory IX. Quantum Hirzebruch-Riemann-Roch in all genera

Alexander Givental|arXiv (Cornell University)|2017. 09. 10.

Advanced Algebra and Geometry참고 문헌 9인용 수 7

한 줄 요약

이 논문은 순열-등변 양자 K-이론에서의 아델성 특성화를 고계수로 일반화하여, 코homological 불변량을 통해 K-이론적 Gromov-Witten 불변량의 총 내림세기 생성함수를 심플렉틱 형식론을 통해 표현한다. 안정적 매핑의 모듈리 공간에서의 가상의 Kawasaki-Riemann-Roch 공식을 사용하여, K-이론적 불변량을 단위근에서의 잔여 조건을 통해 코homological 불변량으로 캐릭터라이즈하는 아델성 구조를 지닌 양자 상태를 Fock 공간에 구성함으로써, 영계수 결과를 모든 계수로 확장한다.

ABSTRACT

We introduce the most general to date version of the permutation-equivariant quantum K-theory, and express its total descendant potential in terms of cohomological Gromov-Witten invariants. This is the higher-genus analogue of adelic characterization from the paper [7] by Givental-Tonita, and is based on the application of Kawasaki's Riemann-Roch formula to moduli spaces of stable maps.

연구 동기 및 목표

• 순열-등변 양자 K-이론의 영계수 아델성 특성화를 모든 계수로 일반화한다.
• K-이론적 Gromov-Witten 불변량의 총 내림세기 생성함수를 코homological 불변량으로 표현한다.
• 단위근에서의 잔여 조건을 통해 K-이론적 불변량과 코homological 불변량을 연결하는 양자역학적 심플렉틱 형식론을 수립한다.
• 안정적 매핑의 모듈리 공간에서의 가상의 Kawasaki-Riemann-Roch 공식을 사용하여 고계수 K-이론적 불변량을 일관된 프레임워크로 계산할 수 있는 체계를 제공한다.

제안 방법

• K^0(X) \otimes \Lambda-값을 가진 q에 대한 로랑 급수의 수열로 구성된 심플렉틱 공간 $\mathcal{K}^\infty$ 를 정의하며, 양성 및 음성 부분으로 분할한다.
• $\mathcal{K}^\infty$ 에 $\Lambda$-값을 가진 심플렉틱 형식 $\Omega^\infty$ 를 도입하며, 이는 q=0, q=\infty, 그리고 단위근에서의 잔여치를 포함한다.
• Fock 공간 위의 양자 상태로 총 내림세기 생성함수 $\mathcal{D}_X$ 를 정의하며, 이는 $\mathcal{K}^\infty_-$ 에 따라 일정하다.
• 음성 부분에서 양성 부분으로의 아델 사상(adelic map)을 정의하며, 이는 q=1에서의 잔여치로 정의된 이중미분 $\nabla_\eta^\zeta$ 를 통해 K-이론적 불변량과 코homological 불변량 간의 연결을 표현한다.
• 가상의 Kawasaki-Riemann-Roch 공식을 사용하여 모듈리 공간 $X_{g,n,d}$ 상의 벡터(bundle)의 코homology를 K-이론적 오일러 특성과 연결한다.
• 아델 사상의 그래프가 균일한 분할의 음성 부분과 일치함을 보이며, 잔여치 기반의 양자 상태 재구성으로 주정리를 증명한다.

실험 결과

연구 질문

• RQ1 순열-등변 양자 K-이론의 영계수 아델성 특성화는 어떻게 모든 계수로 확장될 수 있는가?
• RQ2 고계수 양자 K-이론에서 총 내림세기 생성함수를 둘러싼 심플렉틱 및 Fock 공간의 구조는 무엇인가?
• RQ3 코homological Gromov-Witten 불변량은 어떻게 단위근에서의 잔여 조건을 통해 K-이론적 불변량을 캐릭터라이즈하는가?
• RQ4 가상의 Kawasaki-Riemann-Roch 공식은 안정적 매핑의 모듈리 공간에서 K-이론적 불변량과 코homological 불변량을 어떻게 연결하는가?
• RQ5 Fock 공간의 양자 상태는 모든 단위근에서의 아델 조건으로 어떻게 특성화되는가?

주요 결과

• 순열-등변 양자 K-이론의 총 내림세기 생성함수 $\mathcal{D}_X$ 는 그 아델 구조에 의해 완전히 결정된다: 유리 함수가 라그랑주 링크에 속해 있음과 동시에 각 단위근 $q=\zeta$ 에서의 로랑 전개가 코homological 조건을 만족함과 동치이다.
• Fock 공간의 양자 상태 $\langle \mathcal{D}_X \rangle$ 는 아델 사상의 상이 이중미분 $\nabla_\eta^\zeta$ 의 그래프에 속해 있음을 조건으로 하며, 이는 q=1에서의 잔여치 공식으로 정의된다.
• 각 $r \geq 1$ 에 대해 블록 $\mathcal{K}^{(r)}$ 이 $\Psi^r$ 을 통해 $\underline{\mathcal{K}}^{(r)}$ 로 사상되며, 그 결과로 얻어진 심플렉틱 형식 $\underline{\Omega}^{(r)}$ 은 $\Omega^\infty$ 의 제한과 일치하여 계수 간 일관성을 확보한다.
• 음성 부분 $\mathcal{K}_-^{(\zeta^{-1})}$ 에서 $\underline{\mathcal{K}}_+^{(\eta)}$ 로 향하는 아델 사상 $\oplus_{\eta \neq \zeta^{-1}} \nabla_\eta^\zeta$ 의 그래프는 $\underline{\mathcal{K}}^{(r)}$ 상의 균일한 분할의 음성 부분과 일치하며, 이는 주정리를 증명한다.
• 구성은 양자 상태를 잔여치 조건의 시스템의 해로 실현하며, 기저 원소 $\phi_\alpha q^{k/n}/(1-q^{1/n})^{k+1}$ 이 $\nabla_\eta^\zeta$ 에 의해 상으로 보내지는 결과는 $\phi_\alpha (\eta^{-1}\zeta^{-1}q^{1/m})^k / (1 - \eta^{-1}\zeta^{-1}q^{1/m})^{k+1}$ 로 주어지며, 이는 $q^{1/m}-1$ 을 기저로 한 전개로 표현된다.