[논문 리뷰] Comparing Absolute and relative Gromov--Witten invariants

Dusa McDuff|ArXiv.org|2008. 09. 20.

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

한 줄 요약

이 논문은 심플렉틱 기하학에서 절대적이고 상대적 Gromov–Witten 불변량을 비교하며, 곡선 계열이 β·D = 0 를 만족하더라도 이들이 다를 수 있음을 보여준다. 특히 종수 0의 경우에 대해, Li–Ruan 분해 공식과 차원 수세기 방법을 사용하여, 나열된 불변량이 D 근처의 곡선 기여를 감지하지만 절대 불변량에서는 이를 편향시켜 제거하는 구체적인 예를 구성한다. 이는 D의 정규(bundle)이 음수일 경우에 특히 그렇다.

ABSTRACT

This note compares the usual (absolute) Gromov-Witten invariants of a symplectic manifold with the invariants that count the curves relative to a (symplectic) divisor D. We give explicit examples where these invariants differ even though it seems at first that they should agree, for example when counting genus zero curves in a class \be such that \be\cdot D=0. The main tool is the decomposition formula in the form developed by A. Li--Ruan.

연구 동기 및 목표

• 심플렉틱 다양체에서 절대적 및 상대적 Gromov–Witten 불변량 간의 관계를 명확히 하기.
• 이들 불변량이 언제 일치하거나 다를지, 특히 β·D = 0 인 종수 0의 경우를 조사하기.
• 정규(bundle)가 양수가 아닐 경우 상대 불변량이 0이 되거나 비자명해지는 조건을 규명하기.
• 유사하게 동일한 기하적 제약 조건이 존재함에도 불구하고 절대적 및 상대적 불변량이 다를 수 있는 구체적인 반례를 제공하기.
• 불변량을 비교하고 D 근처의 곡선에서 숨겨진 기여를 감지하는 데 분해 공식의 역할을 명확히 하기.

제안 방법

• Li–Ruan의 분해 공식을 사용하여 심플렉틱 다양체에서의 불변량을 D 위의 룰러 표면에서의 불변량과 연결한다.
• 차원 수세기 방법을 적용하여, β·D′ ≥ 0 이고 제약 조건이 D 로부터 끌려올라올 경우 특정 상대 불변량이 0이 되는 것을 보인다.
• D 위의 룰러 표면 Y = P(L ⊕ C) 를 사용하여 구체적인 예를 구성하며, D⁺ 를 무한원으로, D′ 를 영점 섹션으로 설정하여 상대 불변량을 분석한다.
• 안정 사상 모듈리 공간을 다중 수준으로 분석한다: X∖D 에서의 주요 수준과 D 위의 |C*-_bundle 에서의 고차 수준을 통해 D 근처의 버블링을 모델링한다.
• 가상 사이클 통합과 제약 조건 매칭을 활용하여 상대 불변량을 계산하고 절대 불변량과 비교한다.
• 호모로지적 제약 조건과 D 위의 교차 이론을 사용하여 f 또는 α 계열의 성분에서의 기여를 배제하거나 확인한다.

실험 결과

연구 질문

• RQ1 종수 0 곡선에서 β·D = 0 이지만 절대적 및 상대적 Gromov–Witten 불변량이 일치하는 조건은 무엇인가?
• RQ2 β·D = 0 이더라도 상대 불변량이 절대 불변량에 존재하지 않는 곡선 기여를 감지할 수 있는가?
• RQ3 D 의 정규(bundle)이 안정 사상의 정규성과 편향에 어떤 역할을 하는가?
• RQ4 Gathmann의 알고리즘을 통해 계산된 일부 불변량이 추상적 계산에 부적합한 이유는 무엇이며, 이는 상대 불변량과 어떻게 관련되는가?
• RQ5 상대 불변량의 0이 되는 차원 수세기 방법이 실패하는 경우는 언제이며, 그 결과는 무엇인가?

주요 결과

• 절대적 및 상대적 종수 0 불변량은 β·D = 0 이더라도 다를 수 있으며, 이는 일반적인 기대와 반대된다.
• 명시적인 종수 0 예시(정리 3.7)를 구성하여, 상대 불변량은 비자명하지만 절대 불변량은 0이 되는 경우를 보였다. 이는 절대 설정에서의 비정규성 때문이었다.
• D 의 정규(bundle)이 충분히 음수일 경우, 안정 사상이 D 에서는 정규적이지만 X 에서는 아닐 수 있으며, 이로 인해 절대 불변량에서는 그 기여가 편향되어 사라진다.
• 레마 2.8 은 β·D′ ≥ 0 이고 제약 조건이 D 로부터 끌려올라올 경우, 차원 수세기로 상대 불변량이 0이 된다고 보여준다.
• 예시 2.9 는 β·D′ < 0 일 경우, 0이 되는 결과가 실패하여 이 경우에 비자명한 상대 불변량이 존재함을 보여준다.
• 분해 공식을 통해 상대 불변량을 총합으로 표현할 수 있으며, 이는 전체 공간과 D 에서의 구성 요소를 포함하며, f 와 α 와 같은 계열의 기여를 포함한다.