[논문 리뷰] Gromov-Witten invariants of varieties with holomorphic 2-forms

Young‐Hoon Kiem, Jun Li|ArXiv.org|2007. 07. 20.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 25

한 줄 요약

이 논문은 스무스 대수다양체에 힐베르트 2형식이 존재하는 경우, 그의 분해성 위치에 가상 기본류를 국소화하는 코시컨트 국소화 기법을 사용하여 국소화된 그로모프-위튼(GW) 불변량을 도입한다. 주요 기여는 변형 불변성인 불변량이며, 다양체가 온전할 경우 일반 GW 불변량을 복원하고, $ p_g > 0 $ 인 최소 일반 유형 표면의 저차수 GW 불변량에 대한 공식을 증명하여 Maulik과 Pandharipande의 추측을 확인한다.

ABSTRACT

We show that a holomorphic two-form $θ$ on a smooth algebraic variety X localizes the virtual fundamental class of the moduli of stable maps $\mgn(X,β)$ to the locus where $θ$ degenerates; it then enables us to define the localized GW-invariant, an algebro-geometric analogue of the local invariant of Lee and Parker in symplectic geometry, which coincides with the ordinary GW-invariant when X is proper. It is deformation invariant. Using this, we prove formulas for low degree GW-invariants of minimal general type surfaces with p_g>0 conjectured by Maulik and Pandharipande.

연구 동기 및 목표

• 허미트 2형식을 사용한 그로모프-위튼 불변량에 대한 새로운 대수기하학적 국소화 기법을 개발하기 위해.
• 안정 맵의 모듈리 공간에서 힐베르트 2형식의 분해성 위치에 지지되는 국소화된 가상 기본류를 정의하기 위해.
• 국소화된 GW-불변량이 온건한 조건 하에서 변형 불변임을 증명하기 위해.
• 이 방법을 $ p_g > 0 $ 인 최소 일반 유형 표면의 저차수 GW-불변량을 계산하는 데 적용하여 Maulik과 Pandharipande의 추측을 검증하기 위해.
• 삼차원 다각체가 표면 위로 섬유화되어 있고 힐베르트 2형식이 존재하는 경우, 이를 반복적인 국소화를 통해 곡선 수준의 불변량으로 줄여내기 위해.

제안 방법

• 스무스 다양체 $ X $ 위의 힐베르트 2형식 $ \theta $ 에서 유도된 코시컨트 $ \sigma: \mathcal{O}b_{\mathcal{M}} \to \mathcal{O}_{\mathcal{M}} $ 를 구성하여, 가상 사이클을 $ \sigma $ 의 분해성 위치 $ Z(\sigma) $ 로 국소화한다.
• 가상 기본류의 국소화된 버전인 $ [\mathcal{M}]^{\mathrm{vir}}_{\mathrm{loc}} \in H_*^{BM}(Z(\sigma)) $ 를 정의하며, 이는 온건한 조건 하에서 자연스럽고 변형 불변이다.
• 가상 기본류의 국소화된 버전의 $ \mathcal{M} $ 에로의 프로젝션은 $ X $ 가 온전할 경우 일반 가상 클래스를 복원함을 증명한다.
• 국소화된 불변량을 사용하여 $ p_g > 0 $ 인 최소 일반 유형 표면 $ S $ 의 GW-불변량을, 곡선 $ D $ 의 계수 $ K_S^2 + 1 $ 과 그 위의 타입 특성 $ L $ 의 전체 공간을 통해 변형된 GW-불변량과 연결한다.
• 분해 공식을 적용하여 전체 GW-불변량을 곡선의 변형된 불변량과 저차수 상대 국소화 불변량으로 줄여낸다.
• 조합론적 추론과 가상 국소화 기법을 사용하여 분지 이중 커버의 기여도를 계산하고, 1차 및 2차 불변량에 대한 최종 공식을 검증한다.

실험 결과

연구 질문

• RQ1 다양체 위의 힐베르트 2형식을 사용하여 안정 맵의 모듈리 공간의 가상 기본류를 어떻게 국소화할 수 있는가?
• RQ2 국소화된 GW-불변량이 변형 불변이 되기 위한 조건은 무엇인가?
• RQ3 국소화된 불변량은 온전한 다양체의 일반 GW-불변량을 복원하거나 계산할 수 있는가?
• RQ4 곡선 위의 타입 특성의 전체 공간의 국소화된 불변량은 $ p_g > 0 $ 인 최소 일반 유형 표면의 GW-불변량을 계산하는 데 사용될 수 있는가?
• RQ5 이 방법은 힐베르트 2형식이 존재하는 표면 위로 섬유화된 삼차원 다각체에 대해 확장되어 곡선 수준의 계산으로 불변량을 줄일 수 있는가?

주요 결과

• 모듈리 공간 $ \mathcal{M}_{g,n}(X,\beta) $ 의 가상 기본류는 $ \beta $ 가 $ \theta $-영 안정 맵에 의해 표현될 때만 0이 아님. 즉, 이미지가 $ \theta $ 의 분해성 위치에 포함되는 맵일 때이다.
• 코시컨트에 대한 온건한 조건 하에서 국소화된 GW-불변량은 변형 불변이며, 미분기하학에서 Lee와 Parker의 결과를 일반화한다.
• $ p_g > 0 $ 인 최소 일반 유형 표면 $ S $ 에 대해, 모든 GW-불변량은 $ \beta $ 가 $ c_1(K_S) $ 의 음이 아닌 배수일 때만 0이 아님.
• 곡선 $ D $ 의 계수 $ h = K_S^2 + 1 $ 과 그 위의 타입 특성 $ L $ 의 전체 공간의 국소화된 GW-불변량은 $ S $ 의 GW-불변량을 계산하며, 자연스러운 준동형사상 $ \rho: H^*(S,\mathbb{Z}) \to H^*(X,\mathbb{Z}) $ 가 존재한다.
• 1차 및 2차에 대해 국소화된 불변량은 Maulik과 Pandharipande가 추측한 공식과 일치하며, 분지 이중 커버의 기여도를 조합론적으로 계산하여 검증된다.
• 이 방법은 힐베르트 2형식이 존재하는 표면 위로 섬유화된 삼차원 다각체의 GW-불변량을 반복적인 국소화와 가상 국소화 기법(토르 작용이 존재할 경우)을 통해 곡선 수준의 불변량으로 줄여낸다.