[논문 리뷰] The Hirzebruch--Riemann--Roch theorem in true genus-0 quantum K-theory

Alexander Givental, Valentin Tonita|arXiv (Cornell University)|2011. 06. 16.

Advanced Algebra and Geometry참고 문헌 17인용 수 38

한 줄 요약

이 논문은 고정된 복소대수다양체의 K-이론적 과거-고워드-위튼 인버리언트를 안정사상 모듈리공간의 관성층 위에서의 가상 카와사키–히르체브루흐–리만–로흐 공식을 통해 코homological 인버리언트로 표현함으로써, 종수 0의 양자 K-이론에서 완전한 양자 히르체브루흐–리만–로흐 정리 수립한다. 핵심 결과는 코homological 자료로 표현된 양자 K-이론 J-함수의 완전한 특성화이며, 이는 복소사영공간의 완전교차에서 J-함수가 유한차분 방정식을 만족하고, 양자 K-이론에서의 오버루드 라그랑주 쌍곡선의 접공간이 노비코프 변수에서의 유한차분 연산자에 대한 자연스러운 모듈러 구조를 지닌다는 것을 증명한다.

ABSTRACT

We completely characterize genus-0 K-theoretic Gromov-Witten invariants of a compact complex algebraic manifold in terms of cohomological Gromov-Witten invariants of this manifold. This is done by applying (a virtual version of) the Kawasaki-Hirzebruch-Riemann-Roch formula for expressing holomorphic Euler characteristics of orbibundles on moduli spaces of genus-0 stable maps, analyzing the sophisticated combinatorial structure of inertia stacks of such moduli spaces, and employing various quantum Riemann--Roch formulas from "fake" (i.e. orbifold-ignorant) quantum K-theory of manifold and orbifolds (formulas, either previously known from works of Coates-Givental, Tseng, and Coates-Corti-Iritani-Tseng, or newly developed for this purpose in separate papers by Tonita). The ultimate formulation combines properties of overruled Lagrangian cones in symplectic loop spaces (the language, that has become traditional in description of generating functions of genus-0 Gromov-Witten theory) with a novel framework of "adelic characterization" of such cones. As an application, we prove that tangent spaces of the overruled Lagrangian cones of quantum K-theory carry a natural structure of modules over the algebra of finite-difference operators in Novikov's variables. As another application, we compute one of such tangent spaces for each of the complete intersections given by equations of degrees $l_1,...,l_k$ in a complex projective space of dimension $\geq l_1^2+...+l_k^2-1$.

연구 동기 및 목표

• 종수 0의 양자 K-이론에서 히르체브루흐–리만–로흐 정리의 완전한 양자판을 수립하기 위해.
• 콤���한 복소대수다양체에 대한 K-이론적 과거-고워드-위튼 인버리언트를 코homological 인버리언트로 표현하는 오랜 문제를 해결하기 위해.
• 코homological 과거-고워드-위튼 이론의 잘 알려진 구조와 연결함으로써 양자 K-이론의 계산적 프레임워크를 제공하기 위해.
• 양자 K-이론에서 오버루드 라그랑주 쌍곡선의 접공간이 노비코프 변수에서의 유한차분 연산자에 대한 자연스러운 모듈러 구조를 지닌다는 것을 증명하기 위해.
• 차원 조건을 만족하는 사영공간의 완전교차에서 J-함수를 계산하기 위해.

제안 방법

• 종수 0의 안정사상 모듈리공간 위의 오르비(bundle)의 호모로지 오일러 지표에 가상의 카와사키–히르체브루흐–리만–로흐 공식을 적용하기 위해.
• 안정사상 모듈리공간의 관성층의 조합론적 구조를 분석하여 안정사상의 자기동형사상 기여도를 분해하기 위해.
• 톤타가 새로 개발하거나 기존에 알려진 가짜 양자 K-이론의 양자 리만–로흐 공식을 활용하여 K-이론적 인버리언트와 코homological 인버리언트를 연결하기 위해.
• 양자 K-이론의 생성함수를 기술하기 위해 심플렉틱 루프 공간 위의 오버루드 라그랑주 쌍곡선의 프레임워크를 활용하기 위해.
• 오버루드 라그랑주 쌍곡선의 아델릭 특성화를 도입하여 양자 K-이론 J-함수의 구조를 통합하기 위해.
• 벡터다양체의 총공간에서 섬유별로 우도를 바꾸는 (ΠE)를 고려함으로써 슈퍼다양체 기하학을 활용하여 S¹-등변 국소화를 통해 K-이론적 오일러 클래스를 실현하고, 이를 코homological 인버리언트와 비교할 수 있도록 하기 위해.

실험 결과

연구 질문

• RQ1 콤팩트한 복소대수다양체의 K-이론적 과거-고워드-위튼 인버리언트는 종수 0에서 그 코homological 인버리언트로 완전히 표현될 수 있는가?
• RQ2 사영공간의 완전교차에서 양자 K-이론의 J-함수는 유한차분 방정식을 만족하는가? 만약 그렇다면, 그들의 구조는 어떠한가?
• RQ3 양자 K-이론에서 오버루드 라그랑주 쌍곡선의 접공간의 대수적 구조는 무엇인가?
• RQ4 가상의 카와사키–히르체브루흐–리만–로흐 공식은 종수 0의 안정사상 모듈리공간 위의 오르비(bundle)에 어떻게 적용되어 K-이론적 인버리언트와 코homological 인버리언트를 연결하는가?
• RQ5 사영공간의 완전교차에서 J-함수는 코homological 자료와 등변 국소화를 통해 명시적으로 계산될 수 있는가?

주요 결과

• 차원이 $ l_1^2 + \cdots + l_k^2 - 1 $ 이상인 복소사영공간의 완전교차에서의 양자 K-이론 J-함수는 $ I_X = \sum_{d \geq 0} Q^d \frac{\prod_{j=1}^k \prod_{r=1}^{l_j d} (1 - P^{l_j} \Lambda q^r)}{\prod_{r=1}^d (1 - P q^r)^n} $ 로 명시적으로 주어지며, 특수화 후 배경 공간의 J-함수와 일치한다.
• 양자 K-이론에서 오버루드 라그랑주 쌍곡선의 접공간은 노비코프 변수에서의 유한차분 연산자에 대한 자연스러운 모듈러 구조를 지닌다.
• 슈퍼다양체 $ \Pi E $ 에서 양자 HRR 정리는 그대로 성립하며, J-함수 $ \mathcal{J}_{\Pi E}(0) $ 는 $ I_{\Pi E} $ 와 같고, $ \Lambda = 1 $ 에서의 특수화를 통해 기저다양체로의 환원이 가능하다.
• $ \Pi E $ 에서의 K-이론적 파oincaré 쌍대성은 $ 1 - \Lambda $ 로 나누는 것을 允허한 후 비퇴화적이며, $ (\Phi, \Phi')_{\Pi E} = -\operatorname{Res}_{P=1} \Phi(P)\Phi'(P) \frac{\prod_{j=1}^k (1 - P^{l_j} \Lambda)}{(1 - P)^n} \frac{dP}{P} $ 로 주어진다.
• 양자 K-이론에서 플라그 다양체 $ G/B $ 의 J-함수는 $ U_q \mathfrak{g}' $ 의 위트커 함수임이 밝혀졌으며, 이는 코homology에서 킴의 결과에 대한 K-이론적 대응이다.
• 논문은 $ \Pi E $ 에 대한 K-이론적 인버리언트의 생성함수가 $ n $ 개의 가환 유한차분 연산자의 공통 고유함수임을 증명하여, K-이론적 토다 격자 구조를 확인한다.