[논문 리뷰] Gromov Witten invariants of exploded manifolds

Brett Parker|arXiv (Cornell University)|2011. 02. 01.

Geometric and Algebraic Topology참고 문헌 16인용 수 30

한 줄 요약

이 논문은 정규 교차 분할을 갖는 심플레틱 다양체의 일반화인 폭발 다변량의 범주에서 고르모프-원워틴 불변량을 정의하는 프레임워크를 수립한다. $\bar{\nabla}$-방정식의 다중퍼터베이션을 통해 가상의 모듈리 공간을 구성하고, 토폴로지 곡선을 통해 상대 불변량을 합산하는 붙임 이론을 증명함으로써, 저자들은 고르모프-원워틴 이론을 특이적이고 열린 설정으로 확장한다. 이는 콪팩트 심플레틱 다양체와 $\mathbb{G}$-콤팩트성 조건을 만족하는 토릭 다양체에 응용된다.

ABSTRACT

This paper describes the structure of the moduli space of holomorphic curves and constructs Gromov Witten invariants in the category of exploded manifolds. This includes defining Gromov Witten invariants relative to normal crossing divisors and proving the associated gluing theorem which involves summing relative invariants over a count of tropical curves.

연구 동기 및 목표

• 정규 교차 분할과 토릭 붕괴를 포함하는 심플레틱 다양체의 일반화인 폭발 다변량으로 고르모프-원워틴 이론을 확장하기 위해.
• 다중퍼터베이션을 이용해 폭발 다변량 내 헬름홀로픽 곡선에 대한 가상의 모듈리 공간을 구성하기 위해.
• 정규 교차 분할에 대해 상대 고르모프-원워틴 불변량을 정의하기 위해.
• 가상의 모듈리 공간을 통해 상대 불변량을 토폴로지 곡선의 합으로 표현하는 붙임 이론을 증명하여 복소기하학과 토폴로지 기하학을 연결하기 위해.
• 고르모프 콤팩트성이 성립하는 조건을 확립하여, 적분을 위한 모듈리 공간의 유한성과 콤팩트성 보장하기 위해.

제안 방법

• 기하학적 다변량 $\mathbb{B}$ 내에서 $C^{\infty,\underline{1}}$ 곡선의 모듈리 스택 $\sigma^{\omega}$ 를 구성한다. 이는 거의 복소 구조 $J$ 와 탐욕형 형식 $\omega$ 를 갖는다.
• 헬름홀로픽 곡선의 근처에 다중퍼터베이션을 적용하여, 고장이 발생하는 것을 가로막기 위해, 층의 가중치가 부여된 분할 섹션을 사용하는 가상의 모듈리 공간 $\mathcal{M}_{g,[\gamma],\beta}$ 를 정의한다.
• 정밀한 미분형식 $\theta \in {}^r\Omega^*(\mathbb{X})$ 와 푸앵카레 dual을 이용해, 가상의 기본류를 가상의 모듈리 공간 위에서 미분형식의 적분을 통해 정의한다.
• 곡선 끝과 구멍을 매개변수화하기 위해, 평균화된 사상 $\psi: \mathcal{M}^{\omega}_{g,[\gamma],\beta} \to \overline{\mathcal{M}}_{g,[\gamma]} \times \operatorname{End}_{[\gamma]}\mathbb{B}$ 를 정의한다.
• 토닉 완비화와 $\gamma$-장식을 적용하여 상대 불변량의 붙임을 묘사하고, 헬름홀로픽 곡선 불변량과 토폴로지 곡선의 수를 연결한다.
• 다양한 종류의 폭발 다변량에 대해 고르모프 콤팩트성을 증명한다. 이는 콤팩트 심플레틱 다양체, 토릭 다양체, $\mathbb{T}^n$ 과의 곱을 포함하며, 모듈리 공간의 유한성과 콤팩트성을 보장한다.

실험 결과

연구 질문

• RQ1 특정 토폴로지 유형을 갖는 곡선과 정규 교차 분할에 대해 상대적으로 정의된 폭발 다변량 내 고르모프-원워틴 불변량은 어떻게 정의될 수 있는가?
• RQ2 폭발 다변량 내 헬름홀로픽 곡선의 모듈리 공간의 구조는 무엇이며, 다중퍼터베이션을 통해 어떻게 가상적으로 콤팩트화할 수 있는가?
• RQ3 폭발 다변량 내 상대 불변량은 어떻게 붙임 처리되며, 이 과정에서 토폴로지 곡선은 어떤 역할을 하는가?
• RQ4 폭발 다변량과 폭발 다변량의 가닥에 대해 고르모프 콤팩트성이 성립하는 기하학적 조건은 무엇인가?
• RQ5 폭발 다변량 내 가상의 기본류는 미분형식의 적분을 통해 표현될 수 있으며, 이 표현은 구성 과정에서의 선택에 영향을 받는가?

주요 결과

• 가상의 모듈리 공간 $\mathcal{M}_{g,[\gamma],\beta}$ 는 $\bar{\partial}$-방정식의 다중퍼터베이션을 통해 구성되며, 잘 정의된 가상의 기본류를 제공한다.
• 고르모프-원워틴 불변량은 가상의 모듈리 공간 위에서 미분형식의 적분으로 정의되며, 폭발 다변량의 정밀한 딜람 코hom올로지에서의 푸앵카레 이중성 덕분에 선택에 영향을 받지 않는다.
• 붙임 이론이 증명되었다: 폭발 다변량의 상대 불변량은 토폴로지 곡선을 전부 합산함으로써 얻어지며, 이는 헬름홀로픽 곡선과 토폴로지 곡선의 수를 연결하는 대응을 확립한다.
• 콤팩트 심플레틱 다양체에 대해 탐욕형 거의 복소 구조를 갖는 경우 고르모프 콤팩트성이 성립하며, 이는 모듈리 공간의 유한성과 콤팩트성을 보장한다. 이는 토릭 다양체와 $\mathbb{T}^n$ 과의 곱에도 적용된다.
• 이 구성은 폭발 다변량의 가닥에도 적용되며, 고르모프 콤팩트성은 인발과 피보터 제품을 통해 유지되므로, 대수기하학에서의 붕괴에의 적용이 가능하다.
• 예시로는 영 심플레틱 형식을 갖는 $\mathbb{T}^n$ 과 콤팩트 심플레틱 다양체가 포함되며, 이 경우 고르모프 콤팩트성은 정밀화와 임bedding의 추론을 통해 검증된다.