[논문 리뷰] Geometric transversality in higher genus Gromov-Witten theory

Andreas Gerstenberger|arXiv (Cornell University)|2013. 09. 05.

Geometric and Algebraic Topology참고 문헌 17인용 수 7

한 줄 요약

이 논문은 Cieliebak과 Mohnke의 곡면 접근법을 종수 0에서 임의의 종수로 일반화하여 고종수 Gromov-Witten 이론에서 기하학적 횡단성을 확립한다. 해밀턴 페르튜베이션, 심플렉틱 장 이론의 컴팩트니스 성질, 정밀한 모듈리 공간 분석을 통해 목표 다발에서 잘 정의된 가짜 사이클 클래스를 구성한다. 핵심 결과는 고종수에서의 허무적 곡선에 대한 횡단성 증명을 위한 차원 추정이며, 이는 위상적 제약 조건이 없는 잘 정의된 Gromov-Witten 불변량의 정의를 가능하게 한다.

ABSTRACT

The construction of manifold structures and fundamental classes on the (compactified) moduli spaces appearing in Gromov-Witten theory is a long-standing problem. Up until recently, most successful approaches involved the imposition of topological constraints like semi-positivity on the underlying symplectic manifold to deal with this situation. One conceptually very appealing approach that removed most of these restrictions is the approach by K. Cieliebak and K. Mohnke via complex hypersurfaces, [CM07]. In contrast to other approaches using abstract perturbation theory, it has the advantage that the objects to be studied still are spaces of holomorphic maps defined on Riemann surfaces. This article aims to generalise this from the case of surfaces of genus 0 dealt with in [CM07] to the general case, also using some of the methods from [IP03] and symplectic field theory, namely the compactness results from [BEH+03].

연구 동기 및 목표

• Cieliebak과 Mohnke의 종수 0 곡면 접근법을 고종수 Gromov-Witten 이론으로 확장하여, 이전의 위상적 제약 조건(예: 준양성)을 제거한다.
• 임의의 종수에 대한 허무적 곡선에 대해 목표 심플렉틱 다발에서 잘 정의된 가짜 사이클 클래스를 구성하고, 거의 복소 구조의 변형에 대해 불변성을 보장한다.
• 노드를 가진 리만 곡면과 유리형 빌딩을 포함한 안정적 매핑의 모듈리 공간을 분석하여 고종수에서 기하학적 횡단성을 확립한다. 이때 컴팩트니스와 페르튜베이션 기법을 사용한다.

제안 방법

• 리만 곡면에서 종수 g, n개의 마킹된 점을 가진 허무적 매핑의 모듈리 공간에서 횡단성을 확보하기 위해 해밀턴 페르튜베이션을 사용한다.
• 모듈리 공간의 폐쇄에서 버블링과 경계 스트레이타를 제어하기 위해 심플렉틱 장 이론의 컴팩트니스 결과를 적용한다.
• 일관된 구조를 확보하기 위해 노드를 가진 마킹된 리만 곡면의 정규화된 노드 가족과 관련된 忘却 사상(forgetful maps)을 사용한다.
• 노드와 마킹된 점에서의 탄성과 접합 데이터를 제어하기 위해 유리형 빌딩과 그에 상응하는 호환 조건을 도입한다.
• 오일러 지표와 체른 클래스 항을 사용하여 기대 차원을 유계화함으로써, 허무적 곡선의 모듈리 공간과 그 구성 요소의 차원 추정을 유도한다.
• 정밀한 컴팩트니스와 경계 스트레이타 분석을 통해 일반적인 경우를 영 homology 클래스로 환원하여, 페르튜베이션 하에 횡단성이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 Cieliebak과 Mohnke의 종수 0 곡면 접근법을 고종수 Gromov-Witten 이론으로 확장할 수 있는가? 이때 심플렉틱 다발에 대한 준양성 또는 기타 위상적 제약 조건이 필요하지 않은가?
• RQ2 모듈리 공간이 자연스럽게 다각형이 아니면, 고종수에서 허무적 곡선에 대한 기하학적 횡단성을 어떻게 보장할 수 있는가?
• RQ3 노드를 가진 리만 곡면과 유리형 빌딩을 가진 고종수에서 허무적 곡선의 모듈리 공간에 대한 올바른 차원 추정은 무엇인가?
• RQ4 다양한 스트레이타에서 평가 사상과 忘却 사상을 어떻게 일관되게 정의할 수 있으며, 이는 거의 복소 구조의 변형에 대해 불변성을 보장하는가?
• RQ5 노드와 마킹된 점에서 횡단성과 가짜 사이클이 잘 정의되도록 하기 위해 어떤 호환성 및 탄성 조건을 부여해야 하는가?

주요 결과

• 종수 g ≥ 1에서의 허무적 곡선의 모듈리 공간은 제안된 페르튜베이션 및 컴팩트니스 프레임워크 하에서 잘 정의된 가짜 사이클 구조를 갖는다. 이는 Gromov-Witten 불변량의 정의를 가능하게 한다.
• 유리형 빌딩과 탄성 조건을 가진 허무적 곡선의 모듈리 공간의 기대 차원은 목표 공간의 실수 차원에서 2를 뺀 값 이하로 유계화되며, 이는 횡단성을 보장한다.
• 모듈리 공간의 폐쇄는 컴acts하고, 노드를 가진 리만 곡면과 유리형 빌딩을 통한 계층적 기술이 가능하며, 경계 스트레이타는 호환성 및 탄성 조건으로 제어된다.
• 평가 사상으로 정의된 가짜 사이클 클래스는 거의 복소 구조의 변형에 대해 불변하며, 페르튜베이션된 모듈리 공간의 가닥을 통한 코버디즘을 구성함으로써 이를 입증한다.
• 차원 추정과 경계 스트레이타 분석을 통해 일반적인 경우는 영 homology 클래스의 경우로 환원되며, 이는 일반적인 경우를 유한한 위상적 유형의 집합으로 단순화한다.
• 최종적인 차원 추정은 모든 호환성 및 탄성 제약 조건을 포함한 허무적 곡선의 모듈리 공간의 실수 차원이 dimℝ(M) − 2 이하임을 확인하며, 기하학적 의미에서 횡단성을 증명한다.