[논문 리뷰] Gromov-Witten invariants of general symplectic manifolds

Bernd Siebert|ArXiv.org|1996. 08. 12.

Geometric and Algebraic Topology참고 문헌 39인용 수 59

한 줄 요약

이 논문은 쿠란시 구조와 바나흐 오르비(bundle)의 프레드홀름 섹션을 이용하여 임의의 심플렉틱 다양체에 대한 그로모프-위튼 불변량의 완전히 일반적인 이론을 수립한다. 이는 심플렉틱 변형에 대해 불변임을 증명하고, 이전의 파노 또는 칼라비-야우 다양체에 대한 제약 조건을 초월한다.

ABSTRACT

We present an approach to Gromov-Witten invariants that works on arbitrary (closed) symplectic manifolds. We avoid genericity arguments and take into account singular curves in the very formulation. The method is by first endowing mapping spaces from (prestable) algebraic curves into the symplectic manifold with the structure of a Banach orbifold and then exhibiting the space of stable $J$-curves (``stable maps'') as zero set of a Fredholm section of a Banach orbibundle over this space. The invariants are constructed by pairing with a homology class on the locally compact topological space of stable $J$-curves that is generated as localized Euler class of the section.

연구 동기 및 목표

• 첫 번째 코hen 클래스의 양성 조건이 필요 없이 임의의 심플렉틱 다양체에 대한 그로모프-위튼 불변량의 일반 이론을 개발하는 것.
• 기하학적 전이성과 일반성의 전통적 접근 방식에서의 한계를 극복하기 위해, 편균형화 곡선의 모듈리 공간에서의 '나쁜 위치'를 무한대에서 적절히 고려하는 것.
• 바나흐 오르비다이어그램에서 쿠란시 구조와 프레드홀름 섹션을 사용하여 가상 기본류를 구성함으로써, 정규성의 부재 상황에서도 불변량을 정의하는 것.
• 결과로 얻어진 불변량이 심플렉틱 변형류 내에서 거의 복소 구조의 선택에 영향을 받지 않음을 증명하는 것.
• 최종적으로 심플렉틱 기하학과 대수기하학의 그로모프-위튼 이론을 비교할 수 있는 기반을 마련함으로써, 둘을 통합하는 것.

제안 방법

• 예스테이블 곡선에서 심플렉틱 다양체 (M,ω)로의 안정적인 연속 사상의 바나흐 오르비다이어그램을 구성함으로써, 예스테이블 곡선의 변형 이론과 국소 균일화자(Uniformizer)를 사용한다.
• 편균형화 사상의 모듈리 공간을 바나흐 오르비다이어그램 위의 미분 가능 프레드홀름 섹션 $ s_{\bar{\partial},J} $ 의 영점으로 모델링한다.
• 바나흐 오르비다이어그램 위에서 국소화된 오일러 클래스 이론을 적용하여, 장애 벡터다발의 오일러 클래스의 푸앵카레 쌍대체로서 가상 기본류 $ \mathcal{GW} $ 를 정의한다.
• 싱귤라리티를 해결하고 가상 사이클이 선택에 의존하지 않게 하기 위해 쿠란시 구조를 사용한다.
• 1-매개변수 가중치 가닥 $ \{J_t\} $ 에 대해 연속적인 섹션 가닥 $ s_{\bar{\partial},\{J_t\}} $ 을 구성하고, 상대 푸앵카레 대칭성에 기반한 증명을 통해 불변성을 입증한다.
• 평가 사상에 의한 가상 기본류의 투영을 통해 GW-불변량을 정의하며, M 위의 코homology 클래스와 푸앵카레 대칭성을 사용한다.

실험 결과

연구 질문

• RQ1 심플렉틱 다양체에 대해 캐논리컬 번들 또는 기타 곡률 조건이 필요 없이 그로모프-위튼 불변량을 정의할 수 있는가?
• RQ2 노달 영역과 버블링 현상을 포함한 모듈리 공간을 어떻게 컴actify할 수 있으며, 이 과정에서 잘 정의된 가상 기본류를 유지할 수 있는가?
• RQ3 전이성의 부재 상황에서 쿠란시 구조와 프레드홀름 섹션을 사용하여 가상 기본류를 구성하는 것이 가능한가?
• RQ4 결과로 얻어진 불변량은 심플렉틱 변형류 내에서 호환 가능한 거의 복소 구조의 선택에 영향을 받는가?
• RQ5 비교 정리에 의해 심플렉틱 그로모프-위튼 이론이 대수기하학 이론과 호환 가능하게 만들 수 있는가?

주요 결과

• 논문은 쿠란시 구조와 바나흐 오르비다이어그램의 프레드홀름 섹션을 사용하여 안정적 사상의 모듈리 공간의 호모로지에 가상 기본류 $ \mathcal{GW} $ 를 구성한다.
• 그로모프-위튼 불변량은 $ p_*\left(\mathcal{GW} \cap \mathrm{ev}^*(\alpha_1 \times \cdots \times \alpha_k)\right) $ 로 정의되며, 이는 거의 복소 구조 $ J $ 의 선택과 무관하다.
• 이 불변량들이 심플렉틱 변형 불변량임을 입증하였다: 동일한 심플렉틱 형식에 의해 탐독되는 1-매개변수 가닥 $ \{J_t\} $ 에 대해 불변한다.
• 가상 접선다발 $ \mathrm{ind}\,s_{\bar{\partial},J} $ 는 오르비다이어그램의 그로텐디크 군의 원소로서 정의되며, 모듈리 공간의 접선다발을 일반화한다.
• 선택에 의존하지 않는 표준적인 가상 기본류를 제공하여 일관성을 확보한다.
• 가상 접선다발의 특성류 및 추가적인 타우토로지 클래스(예: 표시점에서의 접선공간의 코호몰로지 클래스)까지 이론을 확장할 수 있다.