[논문 리뷰] Virtual neighborhoods and pseudo-holomorphic curves

Yongbin Ruan|ArXiv.org|1996. 11. 19.

Geometric and Algebraic Topology참고 문헌 22인용 수 65

한 줄 요약

이 논문은 비균일한 심플렉틱 다양체에 대해 모듈리 공간의 차원 문제를 해결하기 위해 가상의 이웃(neighborhood)과 변형 기법을 도입한다. 장애물 번들의 및 호환되는 변형을 통한 가상 기본류의 구축을 통해, 그로모프-윈터 인버리언트에 대한 엄밀한 기초를 확립하고, 양자 코homology의 결합법칙을 증명하며, 팔란도와 칼라비-야우 다양체에서의 유리 곡선 수와 같은 계수 기하학적 인버리언트의 계산을 가능하게 한다.

ABSTRACT

We use virtual neighborhood technique to establish GW-invariants, Quantum cohomology, equivariant GW-invariants, equivariant quantum cohomology and Floer cohomology for general symplectic manifold. We also establish GW-invariants for a family of symplectic manifolds. As a consequence, we prove Arnold conjecture for nondegenerate Hamiltonian symplectomorphisms.

연구 동기 및 목표

• 비균일한 심플렉틱 다양체에 대해 안정 사상의 모듈리 공간에서 기대되는 차원이 성립하지 않을 경우를 다루기 위해.
• 계수 기하학을 넘어서 양자 코hom로지와 그로모프-윈터 인버리언트에 대한 엄밀한 수학적 기초를 제공하기 위해.
• 반정적(semi-positive) 심플렉틱 다양체를 넘어서 편의적으로 해석된 곡선 이론을 확장하여, 아르놀드 추측과 비동형 기하학에의 적용을 가능하게 하기 위해.
• 변형 이론과 장애물 번들을 이용해 가상 기본류를 구성함으로써, 인버리언트의 일관성을 확보하기 위해.

제안 방법

• 기대되는 차원이 실패할 경우 기존의 컴actification 대신 가상의 이웃을 도입하여 사용한다.
• 카우치-리만 연산자의 변형을 통해 장애물 번들의 기법을 이용해 가상 기본류를 정의한다.
• 모듈리 공간의 전개 및 컴팩트성 보장을 위해 역행각 구조에 호환되는 섹션을 사용한 안정화 과정을 적용한다.
• 마스로프 지수와 첫 번째 체르누 클래스를 포함하는 가상 차원 공식을 사용한다: $\mu(x^{-},u^{-}) - 2C_1(V)(A)$.
• 섹션과 평가 사상의 프로젝션을 이용해 체인 사상 $\phi: C_m(V,H) \to C_m(V,\Lambda_\omega)$를 구성한다.
• 지역적 $V$-번들을 지배하는 전역적 $V$-번들 구조를 선다발과 쌍대화된 접선 층의 역상에 의한 구조를 통해 구성한다.

실험 결과

연구 질문

• RQ1 기대되는 차원이 실패할 경우, 편의적으로 해석된 곡선의 모듈리 공간에 대해 일관된 가상 기본류를 어떻게 정의할 수 있는가?
• RQ2 일반적인 심플렉틱 다양체에서 그로모프-윈터 인버리언트를 엄밀하게 정의하고, 그 결합법칙이 성립함을 증명할 수 있는가?
• RQ3 가상 기법을 사용하여 팔란도와 칼라비-야우 다양체에서의 유리 곡선 수와 같은 계수 기하학적 인버리언트를 어떻게 계산할 수 있는가?
• RQ4 장애물 번들과 변형이 모듈리 공간의 안정화와 전이성 보장에 어떻게 기여하는가?

주요 결과

• 모듈리 공간 $\mathcal{M}(x^{-},u^{-};pt,A)$의 가상 차원은 $\mu(x^{-},u^{-}) - 2C_1(V)(A)$로 주어지며, 정확한 차원 계산을 가능하게 한다.
• 체인 사상 $\phi$는 $\phi\delta = \delta\phi$를 만족하여, 플로어 호모로지의 미분과의 호환성을 보장한다.
• $\phi$는 역행각의 구조에 호환되는 가상 이웃의 선택에 관계없이 불변이며, 이를 통해 불변성이 보장된다.
• 플로어 호모로지에서 $\phi\psi = \mathrm{id}$ 및 $\psi\phi = \mathrm{id}$의 조합이 성립하여, $\phi$가 동형사상임을 증명한다.
• $f^*L \otimes \lambda_C$로부터 생성된 전역적 $V$-번들은 군의 링 표현을 통해 어떤 국소적 $V$-번들보다도 지배한다.
• 자기 자신이 아닌 정 stabilizer 원소 $g(v)$에 대해 $v(x)=1$ 및 $v(g(v))=0$를 만족하는 섹션 $v$의 존재는 군의 링이 코homology에 임베딩됨을 보장하며, 이를 통해 지배성이 확보된다.