[논문 리뷰] Computing a categorical Gromov-Witten invariant

Andrei Căldăraru, Junwu Tu|arXiv (Cornell University)|2017. 06. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 8

한 줄 요약

이 논문은 비탈리적 타원곡선의 유도 범주를 폴리슈추크의 순환 $\mathscr{A}_\infty$ 모델을 통해 Costello의 형식론을 적용하여, 첫 번째 비자명한 양의 종수 카테고리적 그로모프-원워튼 불변량을 계산한다. 이 계산은 심플렉틱 2-토러스의 고전적 종수일의 그로모프-원워튼 포텐셜과 일치하는 B-모델 불변량을 도출하며, 미러 대칭 예측을 확인하고 고종수 카테고리적 불변량의 기초적인 예를 확립한다.

ABSTRACT

We compute the $g=1, n=1$ B-model Gromov-Witten invariant of an elliptic curve E directly from the derived category D(E). More precisely, we carry out the computation of the categorical Gromov-Witten invariant defined by Costello using as target a cyclic $A_\infty$ model of D(E) described by Polishchuk. This is the first non-trivial computation of a positive genus categorical Gromov-Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov-Witten invariants of a symplectic 2-torus computed by Dijkgraaf.

연구 동기 및 목표

• 타원곡선 $E_\tau$ 의 $g=1$, $n=1$ B-모델 카테고리적 그로모프-원워튼 불변량을 Costello의 형식론을 사용하여 계산한다.
• 비자명한 타겟 카테고리에서 양의 종수 카테고리적 그로모프-원워튼 불변량의 첫 번째 명시적 계산을 제공한다.
• 결과가 미러 대칭에 의해 예측된 심플렉틱 2-토러스의 고전적 그로모프-원워튼 불변량과 일치함을 검증한다.
• 호모로지적 미러 대칭의 맥락에서 고종수 불변량을 위한 계산 프레임워크를 구축한다.

제안 방법

• 순환 $\mathscr{A}_\infty$ 대수에 대한 Costello의 카테고리적 그로모프-원워튼 불변량 정의를 사용한다.
• 타겟 카테고리로 $\mathsf{D}_{\mathsf{coh}}^b(E_\tau)$ 의 폴리슈추크의 $\mathscr{A}_\infty$ 모델을 활용한다.
• 호크시하우드 호모로지에서의 스트링 버텍스를 나타내기 위해 평탄한 체인 $\alpha^{\mathsf{GM}}$ 과 수정된 체인 $\alpha^{\mathsf{mod}}$ 를 구성한다.
• Getzler-Gauss-Manin 접속을 적용하여, 두 가지 다른 접속 $\nabla^{\mathsf{std}}$ 와 $\nabla^{\mathsf{mod}}$ 를 사용해 올린 클래스 $[\tilde{\xi}^{\mathsf{mod}}]$ 의 공변미분을 계산한다.
• 두 표현식 $\nabla^{\mathsf{GGM}}_{\partial_\tau}(\tilde{\xi}^{\mathsf{mod}})$ 를 비교하여 호크시하우드 호모로지 내의 관계를 유도한다.
• HKR 동형사상과 코다이라-스펜서 클래스를 사용하여 클래스 $[\delta]$ 를 식별하고 정규화 상수 $c(\tau)$ 를 구한다.

실험 결과

연구 질문

• RQ1 Costello의 카테고리적 그로모프-원워튼 불변량은 비점, 비자명한 타겟 카테고리에서 양의 종수에 대해 명시적으로 계산될 수 있는가?
• RQ2 타원곡선의 유도 범주로부터 계산된 카테고리적 불변량은 미러 대칭에 의해 예측된 고전적 그로모프-원워튼 불변량과 일치하는가?
• RQ3 이 불변량의 모듈라 성질은 타원곡선의 복소 구조와 어떻게 관련이 있는가?
• RQ4 $\mathscr{A}_\infty$ 대수에 대한 접속은 호크시하우드 호모로지에서의 가우스-마이너스 접속 계산에 어떤 역할을 하는가?

주요 결과

• $E_\tau$ 의 $g=1$, $n=1$ B-모델 카테고리적 그로모프-원워튼 불변량은 $F_{1,1}^\mathsf{B}(\tau) = -\frac{1}{24}E_2(\tau)$ 로 계산되며, 고전적 A-모델 불변량과 일치한다.
• $\operatorname{HH}_1(A_\tau)$ 내의 클래스 $[\delta]$ 는 $[\delta] = -\frac{1}{2\pi i(\tau - \bar{\tau})}[\Omega]$ 로 식별되며, 여기서 $[\Omega]$ 는 정규화된 클래스이다.
• 계산 결과는 카테고리적 불변량이 미러 사상 $q = \exp(2\pi i \tau)$ 에서 고전적 그로모프-원워튼 포텐셜을 복원함을 확인한다.
• 수정된 접속 $\nabla^{\mathsf{mod}}$ 는 가우스-마이너스 접속 계산을 단순화하기 위해 구성되었으며, $\partial_\tau \mu^*$ 를 포함하는 깔끔한 표현을 도출한다.
• 정규화 상수 $c(\tau)$ 는 $c(\tau) = -\frac{1}{2\pi i(\tau - \bar{\tau})}$ 로 결정되었으며, 이는 복소 기하학에서 기대되는 행동과 일치한다.
• $\alpha^{\mathsf{mod}}$ 에서의 모듈라 분할은 복소 기하학에서의 케이블-켤레 분할과 대응되며, 기존 기하학적 구조와의 일관성을 확인한다.