[논문 리뷰] Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds

Jun Li, Gang Tian|ArXiv.org|1996. 08. 26.

Geometric and Algebraic Topology참고 문헌 10인용 수 320

한 줄 요약

이 논문은 프레드홀름 이론과 일반화된 오일러 클래스를 사용하여 일반 심플렉틱 다양체에서 가상 기본 사이클과 그로모프-원형-위튼 불변량을 구성하기 위한 엄밀한 분석적 프레임워크를 수립한다. 일반화된 프레드홀름 복합체를 정의하고, 호모토피에 대해 오일러 클래스의 불변성을 증명함으로써, 저자들은 유리수 값을 갖는 심플렉틱 불변량을 구성한다. 이는 이전의 대수기하학적 또는 준양성 건설을 분석적 방법을 통해 일반 심플렉틱 다양체로 확장한 것이다.

ABSTRACT

We construct Gromov-Witten invariants of general symplectic manifolds.

연구 동기 및 목표

• 분석적 도구, 특히 프레드홀름 이론을 사용하여 미분기하학에서 모듈리 문제에 대한 교차 이론을 개발한다.
• 부드럽지 않거나 컴act가 아닌 영점 집합을 갖는 일반화된 프레드홀름 복합체의 오일러 클래스를 정의하고 구성한다.
• 그로모프-원형-위튼 불변량의 구성 방법을 준양성 또는 대수기하학적 다양체가 아닌 일반 심플렉틱 다양체로 확장한다.
• 가상 기본 사이클을 사용하여 심플렉틱적으로 불변이며 유리수 값을 갖는 그로모프-원형-위튼 이론을 제공한다.

제안 방법

• 위상공간 위에 컴팩트한 영점 집합과 약한 미분구조를 갖는 일반화된 프레드홀름 복합체를 도입한다.
• 부드러운 근사와 호모토피 불변성을 사용하여 이러한 복합체에 대한 일반화된 오일러 클래스를 정의한다.
• 모듈리 공간의 안정적 매핑에 대한 이론을 적용하여, 관련 복합체가 인덱스 r인 프레드홀름임을 증명한다.
• 행렬식 선다발과 가 orientability를 사용하여 호모로지에 오일러 클래스를 정의하고, 이는 가상 기본 사이클을 나타낸다.
• 안정적 매핑의 공간에 이론을 적용하여, $(0,1)$-형식 복합체의 영점 집합이 컴팩트하고, 섹션은 프레드홀름임을 보인다.
• 오일러 클래스가 호모토피에 대해 불변임을 확립하여, 그로모프-원형-위튼 불변량이 잘 정의되고 심플렉틱적으로 불변임을 보장한다.

실험 결과

연구 질문

• RQ1 대수기하학이 아닌 분석적 방법을 사용하여 일반 심플렉틱 다양체에 대해 그로모프-원형-위튼 불변량을 구성할 수 있는가?
• RQ2 모듈리 공간의 안정적 매핑이 부드럽거나 컴팩트하지 않은 경우, 가상 기본 사이클을 어떻게 정의할 수 있는가?
• RQ3 미분 범주에서 프레드홀름 섹션의 오일러 클래스가 호모토피에 대해 불변이 되기 위한 조건은 무엇인가?
• RQ4 그로모프-원형-위튼 불변량의 구성은 준양성 심플렉틱 다양체를 초월하여 모든 심플렉틱 다양체로 확장될 수 있는가?
• RQ5 분석적 접근은 도널드슨 또는 세이버그-위튼 불변량과 같은 대체 기하학적 또는 게이지이론적 불변량의 구성과 어떻게 비교되는가?

주요 결과

• 저자들은 컴팩트한 영점 집합과 약한 미분구조를 갖는 일반화된 프레드홀름 복합체에 대해 잘 정의된 오일러 클래스를 구성하였으며, 이는 호모토피에 대해 불변임을 보였다.
• 이 오일러 클래스를 사용하여 일반 심플렉틱 다양체에 대해 유리수 위상에서 그로모프-원형-위튼 불변량을 구성하였으며, 이는 이전의 정수나 대수기하학적 구성 방식을 확장한 것이다.
• 심플렉틱 다양체로의 안정적 매핑의 모듈리 공간은 $(0,1)$-형식 복합체 위에 프레드홀름의 구조를 지니며, 이는 가상 기본 사이클의 정의를 가능하게 한다.
• 고정점 집합 외부에서 $S^1$-작용의 고정점 집합을 제거함으로써, $b_2^+ > 1$일 때 세이버그-위튼 불변량이 잘 정의됨을 보였다.
• 프레드홀름 인덱스가 고정점 제약에 대해 음수일 경우, 이 방법은 호모토피에 대해 강건하며 잘 정의된 코바디즘 클래스를 제공한다.
• 이 방법은 유사한 분석적 가상 사이클 기법을 통해 도널드슨 불변량과 같은 게이지이론적 불변량을 구성하는 데 기초를 제공한다.