[논문 리뷰] Comparison of the algebraic and the symplectic Gromov-Witten invariants

Jun Li, Gang Tian|arXiv (Cornell University)|1998. 01. 01.

Geometric and Algebraic Topology참고 문헌 13인용 수 18

한 줄 요약

이 논문은 대수기하학에서 안정 사상의 모듈리 공간에 대한 가상 기본류를 구성하여 대수적이고 해밀토니안 Gromov-Witten 불변량 사이의 비교를 수립한다. 적절한 조건 하에서 이 가상 기본류가 해밀토니안 가상 사이클과 일치함을 증명하며, 목표 다양체가 준금속일 경우 대수적 및 해밀토니안 불변량이 일치함을 보여, Gromov-Witten 이론의 두 주요 접근법을 통합한다.

ABSTRACT

We show that the algebraic and the symplectic GW-inivariants of smooth projective varieties are equivalent.

연구 동기 및 목표

• 다른 기하적 프레임워크를 기반으로 정의된 대수적 및 해밀토니안 Gromov-Witten 불변량 사이의 엄밀한 비교를 수립하기 위해.
• 기대 차원이 실제 차원과 일치하지 않을 경우, 안정 사상의 모듈리 공간에서 차원 불일치 문제를 해결하기 위해 가상 기본류를 구성하기 위해.
• 대수기하학(안정 사상의 모듈리 공간을 통한)과 해밀토니안 이론(pseudo-해석적 곡선을 통한)이라는 두 가지 서로 다른 Gromov-Witten 이론 접근법을 준금속 조건 하에서 그 불변량이 일치함을 보여, 통합하기 위해.
• 입사 조건에 의존하지 않는, 평가 사상과 모듈리 공간으로의 후퇴 사상에 의한 Gromov-Witten 불변량 정의를 위한 코homological 프레임워크를 제공하기 위해.
• 대수기하학적 설정에서의 가상 사이클이 해밀토니안 가상 사이클과 일치함을 증명함으로써, 대수기하학적 구성이 해밀토니안 경우의 올바른 일반화임을 검증하기 위해.

제안 방법

• 매끄럽고 프로젝티브인 다양체 $X$ 와 그 클래스 $A$ 에 대해, $n$-점이 있는 종수 $g$ 곡선에서 $X$ 로의 헬름로프틱 사상들의 공간을 콪팅하여, 안정 사상의 모듈리 공간 $\overline{\mathfrak{M}}_{g,n}(X,A)$ 를 구성한다.
• 모듈리 공간 $X^n$ 과 $\overline{\mathfrak{M}}_{g,n}$ 에서의 코homology 클래스의 역상에 의한 통합을 통해, 가상 기본류 $[\overline{\mathfrak{M}}_{g,n}(X,A)]^{\text{vir}}$ 를 통한 Gromov-Witten 불변량 정의를 한다.
• 안정 사상 이론과 디포메이션 이론을 활용하여, 모듈리 공간이 기대 차원을 갖지 않을 경우의 기본류 대신 쓸 수 있는 가상 사이클을 정의한다.
• 벡터 번들의 전단을 통해 모듈리 공간 위에서의 전단을 구성함으로써, 가상 사이클이 선택에 의존하지 않고 잘 정의됨을 보장한다.
• 해석적 차트와 콘 구조를 사용하여 모듈리 공간의 열린 덮개 위에서 조각별로 적용하는 패치워크 기법을 통해, 전역적으로 정의된 분할 가능한 전류 $Q_i$ 를 구성하고, 이 전류가 가상 사이클을 표현함을 보인다.
• 기본적으로, $\mathcal{E}$, $\mathcal{F}$, $\mathcal{G}$ 의 벡터 번들의 일반적인 단면을 사용하는 편향 기법을 통해, 대수적 가상 사이클 $[\mathfrak{M}_{g,n}(X,A)]^{\text{vir}}$ 가 해밀토니안 가상 사이클과 일치함을 보여, 등식 $[\mathfrak{M}_{g,n}(X,A)]^{\text{vir}} = e[\Phi: \mathbf{B} \to \mathbf{E}]$ 를 도출한다.

실험 결과

연구 질문

• RQ1 대수적 및 해밀토니안 Gromov-Witten 불변량이 언제 일치하는가?
• RQ2 안정 사상의 대수적 모듈리 공간은 해밀토니안 가상 사이클과 일치하는 가상 기본류를 지닐 수 있는가?
• RQ3 목표 다양체가 준금속일 경우, 대수기하학에서의 가상 사이클 구성이 해밀토니안 위상수학에서의 구성과 동치인가?
• RQ4 안정 사상의 모듈리 공간에서의 차원 불일치 문제는 어떻게 해결되어야 하며, 이를 통해 불변량을 일관되게 정의할 수 있는가?
• RQ5 해밀토니안 설정에서 pseudo-해석적 곡선을 통해 구성된 가상 사이클이 대수기하학적 방법으로 정의된 가상 사이클과 일치하는가?

주요 결과

• 대수기하학에서 안정 사상에 의해 구성된 가상 기본류 $[\overline{\mathfrak{M}}_{g,n}(X,A)]^{\text{vir}}$ 는 $X$ 가 준금속 해밀토니안 다양체일 경우 해밀토니안 가상 사이클과 일치한다.
• 목표 다양체 $X$ 가 준금속일 경우, 안정 사상의 모듈리 공간을 통한 Gromov-Witten 불변량은 pseudo-해석적 사상에 의해 정의된 불변량과 같다.
• 접선 공간과 디포메이션 방해의 다이어그램의 교환성에 의해, 가상 사이클의 구성에서 선택에 의존하지 않음을 보였다.
• 모듈리 공간의 열린 덮개 위에서 구성된 분할 가능 전류 $Q_i$ 는 서로 조각을 맞추어 전역적인 가상 사이클을 정의함으로써, 서로 다른 차트 간의 일관성을 확보한다.
• 가상 사이클은 번들의 $\mathcal{G} = \mathcal{E} \oplus \mathcal{F}$ 의 일반적인 단면의 영점으로 표현되며, 이는 방해 번들의 오일러 클래스와 일치함을 확인하여 불변성을 입증한다.
• 대수적 가상 사이클 $[\mathfrak{M}_{g,n}(X,A)]^{\text{vir}}$ 가 해밀토니안 가상 사이클 $e[\Phi: \mathbf{B} \to \mathbf{E}]$ 와 일치함을 보여, 이로써 두 이론이 통합됨을 증명하였다.