[논문 리뷰] Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model

Kevin J. Costello, Si Li|arXiv (Cornell University)|2012. 01. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 71

한 줄 요약

이 논문은 형식적 매개수를 갖는 다항벡터장과 함께 임의의 차원의 칼라비-야우 다양체 위에서 일반화된 양자 BCOV 이론을 수립하고, 재규격화를 통한 양자화를 구축한다. 타원 곡선에서 다이리톤 방정식을 만족하는 양자 BCOV 이론의 존재성과 유일성을 증명하며, 미러 대칭을 통해 분할 함수를 그로모프-윈터 불변량과 연결시킨다.

ABSTRACT

Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic curve; and prove the Virasoro constraints on an elliptic curve. The second paper (arXiv:1112.4063) proves that the partition function of the quantum BCOV theory on the elliptic curve is equivalent to the Gromov-Witten theory of the mirror elliptic curve. The third paper, in progress, constructs the quantum BCOV theory on a general Calabi-Yau.

연구 동기 및 목표

• 원래는 칼라비-야우 3-다양체에서만 정의된 고전적 BCOV 이론을 임의의 차원의 칼라비-야우 다양체로 확장하기.
• 재규격화 기법을 사용하여 일반화된 BCOV 이론을 양자화하여 고계수 B-모델에 대한 수학적 프레임워크를 개발하기.
• 미러 대칭을 통해 양자 BCOV 분할 함수와 반대편 칼라비-야우 다양체의 그로모프-윈터 불변량 사이의 연결 고리를 확립하기.
• 다이리톤 방정식을 만족하는 조건 하에서 타원 곡선에서 양자 BCOV 이론의 존재성과 유일성을 증명하기.
• 호지 필터링과 그 보완 필터링을 기반으로 코homology 위의 심플렉틱 구조의 분할을 통해 BCOV 이론의 상관 함수를 구성하기.

제안 방법

• 형식적 매개수 $ t $ 를 갖는 칼라비-야우 다양체 위의 다항벡터장, 즉 $ \mathrm{PV}(X)[[t]] $ 를 필드로 정의하고, 고전적 마스터 방정식을 만족하는 작용 함수를 정의함.
• Cos11에서 제시된 재규격화 기법을 적용하여 칼라비-야우 다양체 위에서 일반화된 BCOV 이론의 양자화를 정의함.
• 다른 정수의 유리형 3차형식을 통해 정의된 잔여 공식을 이용한 심플렉틱 쌍형을 갖는 $ H^*(X)((t)) $ 의 코homology 에 기반한 포크 공간을 구성함.
• 코homology 위의 호지 필터링을 사용하여 라그랑주 부분공간을 정의하고, 보완 필터링 $ \overline{F} $ 의 선택과 함께 상관 함수를 정의함.
• 포크 공간 공식에서 분할 함수의 타일러 계수로 상관 함수 $ \langle - \rangle_{g,n}^{X,\overline{F}} $ 를 정의함.
• 장애 이론과 스펙트럴 시퀀스 기법을 활용하여 관련 삼중차수에서 코homology 클래스의 존재성과 소멸을 증명함으로써 다이리톤 방정식 제약 조건을 확립함.

실험 결과

연구 질문

• RQ1 고전적 BCOV 이론은 원래 3-다양체에만 정의되어 있으나, 이는 임의의 복소차원의 칼라비-야우 다양체로 일반화될 수 있는가?
• RQ2 일반화된 BCOV 이론은 칼라비-야우 다양체에서 일관된 양자화를 갖는가? 그리고 재규격화 방법으로 구성될 수 있는가?
• RQ3 양자 BCOV 분할 함수는 칼라비-야우 다양체의 코homology 에 기반한 포크 공간의 상태와 자연스럽게 관련되는가?
• RQ4 타원 곡선의 경우, 다이리톤 방정식을 만족하는 유일한 양자 BCOV 이론이 존재하는가? 그리고 이는 반대편의 그로모프-윈터 불변량과 어떻게 관련되는가?
• RQ5 미러 대칭 하에서 BCOV 이론의 상관 함수는 그로모프-윈터 불변량과 어떻게 관련되는가? 그리고 분할의 선택은 어떤 역할을 하는가?

주요 결과

• 다이리톤 방정식이 도입된 조건 하에서 임의의 타원 곡선 $ E $ 에서 고유한 양자 BCOV 이론이 존재하며, 장애 이론을 통해 존재성이 확립된다.
• 양자 마스터 방정식은 분할 함수가 $ H^*(X)((t)) $ 에 기반한 포크 공간 안에 존재함을 보장하며, 이는 해석적 잔여 공식을 통해 정의된 심플렉틱 쌍형을 갖는다.
• 스펙트럴 시퀀스 분석에서 삼중차수 $ (i+2b, a, b) $ 에서 $ i > -2 $, $ a \geq 0 $, $ b \in \mathbb{Z} $ 인 경우 $ \mathrm{d}_0 $ 과 $ \mathrm{d}_1 $ 연산자의 코homology 가 소멸함을 확인하여 임의의 부가적 클래스의 부재를 확인한다.
• $ A_k $ 의 $ \mathrm{d}_1 $ 코homology 는 $ k > 1 $ 에서 $ B_k = \delta_1\delta_0 e_k^2 \mathbb{C}[[\delta_2,\delta_3,\ldots,e_0,e_2,\ldots,e_k]] $ 와 동형이며, $ k=1 $ 과 $ k=0 $ 에 대해서도 유사한 형태를 가지며, 이들은 관련 코homology 에 기여하지 않음을 입증한다.
• 핵심 삼중차수에서의 코homology 소멸 증명은 삼중차수 분석과 가중치 연산자 $ W $ 의 비영인 고유값에 의존하며, 양자 이론의 존재에 대한 장애가 없음을 보장한다.
• 이 구성은 고계수에서 BCOV 이론의 엄밀한 수학적 실현을 제공하며, 반대편의 그로모프-윈터 불변량과 미러 대칭을 통해 연결됨을 확인한다. 이는 타원 곡선의 경우 동반 논문 [Li11] 에서도 확인되었다.