[논문 리뷰] Virtual neighborhood technique for pseudo-holomorphic spheres

Bohui Chen, An-Min Li외 1명|arXiv (Cornell University)|2013. 06. 14.

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

한 줄 요약

이 논문은 심플렉틱 다양체에서의 가짜 힐버트 구를 위한 가상의 이웃 기법을 개발하여, $PSL(2,\mathbb{C})$-행동이 $W^{1,p}$-사상에 대해 미분 가능하지 않은 문제를 슬라이스 및 관형 이웃 정리들을 통해 해결한다. 가상 오비폴드 적분을 통해 전이성 조건 없이도 잘 정의된 종수 0 과르모프-위튼 불변량을 수립하기 위해, 적절한 에테일 군의 군행동과 관리된 패치 데이터를 통해 유한차원 가상 체계를 구성한다.

ABSTRACT

This is the first part of a trilogy where we apply the theory of virtual manifold/orbifolds developed by the first named author and Tian to study the Gromov-Witten moduli spaces. In this paper, we resolve the main analytic issue arising from the lack of differentiability of $PSL(2, \C)$-action on spaces of $W^{1, p}$-maps from the Riemann sphere to a symplectic manifold $(X, ω, J)$ with a non-zero homology class $A$. In particular, we establish the slice and tubular neighbourhood theorems for $PSL(2, \C)$-action along smooth maps, and construct a $PSL(2, \C)$-obstruction bundle along $PSL(2, \C)$-orbit of a pseudo-holomorphic map representing a point in the moduli space $\cM_{0, 0}(X, A)$. In Sections 2 and 3 of this paper, we explain an integration theory on virtual orbifolds using proper étale groupoids and establish the virtual neighborhood technique for a general orbifold Fredholm system. When the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, ω, J)$ is compact, applying the virtual neighborhood technique developed in Section 3, we obtain a virtual system for the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, ω, J)$ and show that the genus zero Gromov-Witten invariant is well-defined.

연구 동기 및 목표

• 리만 구에서 심플렉틱 다양체로의 $W^{1,p}$-사상에 대한 $PSL(2,\mathbb{C})$-행동의 해석적 과제를 해결한다.
• 가상 오비폴드와 적절한 에테일 군의 군행동을 사용하여 가짜 힐버트 구의 컴act 모듈리 공간을 위한 가상 이웃 프레임워크를 수립한다.
• 정규화 및 관리된 패치 데이터를 통한 안정화를 통해 유한차원 가상 체계를 구성함으로써, 전이성 조건 없이 종수 0 과르모프-위튼 불변량을 정의한다.
• 분할 단위와 톰 형식의 선택에 대해 가상 적분의 불변성과 잘 정의됨을 보장한다.

제안 방법

• 매끄러운 가짜 힐버트 사상에 沿해 $PSL(2,\mathbb{C})$-행동에 대한 슬라이스 및 관형 이웃 정리를 구성하여 몫 구조의 국소적 미분 가능성 보장.
• 모듈리 공간을 모델링하고 프레드홀름 체계의 전역 안정화를 통해 가상 오비폴드를 정의하기 위해 적절한 에테일 군의 군행동을 사용.
• 군행동 호환성을 유지하기 위해, 관리된 국소 안정화와 패치 데이터를 사용한 $G$-동차 가상 이웃 기법을 구현.
• 분할 단위 $\{\eta_I\}$, 전이 톰 형식 $\theta_I$, 그리고 $\Theta$-왜곡 형식을 사용하여 가상 적분을 정의하고 불변량을 계산.
• 가상 오일러 클래스를 적분 $\Phi(\alpha) = \sum_I \int_{{\mathcal{V}}_I} \eta_I \cdot \theta_I \cdot \alpha_I$ 를 통해 정의함으로써 과르모프-위튼 불변량을 수립.
• 클래식한 방향 이론과 왜곡된 $\bar{\partial}_J$-방정식에 대한 타원형 정규성 이론을 사용하여 방향성과 가정 3.23을 검증.

실험 결과

연구 질문

• RQ1 어떻게 $W^{1,p}$-사상에 대한 비미분 가능 $PSL(2,\mathbb{C})$-행동을 극복하여 매끄러운 몫 구조를 정의할 수 있는가?
• RQ2 가상 오비폴드 기법을 사용하여 가짜 힐버트 구의 모듈리 공간에 대해 유한차원 가상 체계를 구성할 수 있는가?
• RQ3 전이성 조건 없이도 종수 0 과르모프-위튼 불변량이 잘 정의되는가?
• RQ4 가상 이웃 구조를 어떻게 $G$-동차로 만들 수 있는가? 이는 재매개변수화에 따른 대칭성을 유지하기 위함이다.
• RQ5 분할 단위와 톰 형식의 선택에 대해 가상 적분의 불변성을 보장하기 위한 조건은 무엇인가?

주요 결과

• 매끄러운 사상에 대해 $PSL(2,\mathbb{C})$-행동에 대한 슬라이스 및 관형 이웃 정리가 수립되어 주요 해석적 장애를 해결하였다.
• $G$-동차 유한차원 가상 체계 $\{ (\widetilde{\mathcal{V}}_I, \widetilde{E}_I, \widetilde{\sigma}_I) \}$ 가 구성되었으며, 이들의 영점은 전체 모듈리 공간 $\widetilde{\mathcal{M}}$ 을 덮고 있다.
• 유한차원 가상 오비폴드 체계 $\{ (\mathcal{V}_I, \mathbf{E}_I, \sigma_I) \}$ 가 확보되었으며, 이들의 영점은 모듈리 공간 $\mathcal{M}$ 을 덮고 있어 적절한 오비폴드 구조를 보장한다.
• 가상 불변량 $\Phi(\alpha) = \sum_I \int_{{\mathcal{V}}_I} \eta_I \cdot \theta_I \cdot \alpha_I$ 는 잘 정의되어 있으며, 선택에 관계없이 불변함이 입증되었고, 이는 비고 3.25에 기록되어 있다.
• 모듈리 공간이 전이적이지 않더라도, 가상 이웃 기법을 통해 가상 적분을 통해 종수 0 과르모프-위튼 불변량이 잘 정의됨을 보였다.
• 이 방법은 $k$-표본점 경우로 확장 가능하다: $k \geq 3$ 이면 체계는 이미 오비폴드 프레드홀름 체계이다; $k \leq 2$ 이면 동차 안정화를 통해 기법이 적용된다.