[논문 리뷰] Symplectic hypersurfaces and transversality in Gromov-Witten theory

Kai Cieliebak, Klaus Mohnke|ArXiv.org|2007. 02. 28.

Geometric and Algebraic Topology참고 문헌 12인용 수 8

한 줄 요약

이 논문은 고도의 심플렉틱 초곡면과 그 위에 고정된 마킹된 점들을 사용하여, 닫힌 심플렉틱 다양체에서 $J$-홀로모르픽 원판에 대한 전방성(transversality)을 달성하는 새로운 방법을 제안한다. 이로 인해 안정적인 맵의 모듈리 공간이 매끄럽고 유한차원 다양체가 되며, 허위 선택에 의존하지 않는 잘 정의된, 정규(genus zero) 고르모-위튼 불변량이 존재한다. 주요 기여는 허위 선택(예: 초곡면 및 거의 복소構조)에 영향을 받지 않는, 허위 사이클 평가를 통한 잘 정의된 정규 고르모-위튼 불변량의 수립이다.

ABSTRACT

We use Donaldson hypersurfaces to construct pseudo-cycles which define Gromov-Witten invariants for any symplectic manifold which agree with the invariants in the cases where transversality could be achieved by perturbing the almost complex structure.

연구 동기 및 목표

• 정수 심플렉틱 형식을 가진 닫힌 심플렉틱 다양체에서 고르모-위튼 이론의 전방성 문제를 해결하기 위해.
• 마킹된 점들이 심플렉틱 초곡면에 사상되는 $J$-홀로모르픽 원판의 잘 정의된, 정규 모듈리 공간을 구성하기 위해.
• 허위 사이클 평가를 통한 고르모-위튼 불변량을 정의하여, 심플렉틱 초곡면 및 거의 복소構조의 선택에 영향을 받지 않도록 하기 위해.
• 불변량이 도널드슨 쌍의 호모토피와 심플렉틱형형사상에 대해 불변임을 확립하기 위해.
• 홀로모르픽 곡선에 대한 일반적인 폴리폴드 프레드홀름 이론의 더 단순한 대안을 제공하기 위해, 표준 함수해석 도구만을 사용한다.

제안 방법

• 고도 $D$의 심플렉틱 초곡면 $Y \subset X$를 도입하여, $D[\omega]$의 Poincaré 쌍대를 나타내며, 제어 가능한 케일러 각도 $\theta(Y;\omega,J) < \theta_3$를 확보한다.
• 도널드슨의 구성 방법을 사용하여 충분히 큰 $D$에 대해 이러한 초곡면의 존재를 보장한다.
• Deligne-Mumford 컴actification $\bar{\mathcal{M}}_{\ell+1}$에 따라 매끄럽게 의존하는, $X$ 위의 $\omega$-타운드 거의 복소構조의 공간 $\mathcal{J}_{\ell+1}(X,Y;J,\theta_1)$를 정의하며, $TY$를 유지하고 $J$에서 $\theta_1$-근접하도록 한다.
• 마지막 $\ell = D\omega(A)$개의 마킹된 점들이 $Y$에 사상되도록 도메인 곡선을 안정화하여 자동으로 안정화되고 전방성이 보장되도록 한다.
• 마지막 $\ell$개의 마킹된 점들이 $Y$ 위에 있는 라벨된 트리 $T$ 위에서의 $K$-홀로모르픽 원판의 모듈리 공간 $\mathcal{M}_T(A,K;Y)$를 구성하고, 이것이 실수 차원 $2(n - 3 + k + c_1(A) - e(T))$를 가진 매끄러운 다양체임을 증명한다.
• 평가 사상 $\mathrm{ev}^k$를 사용하여 불변량을 정의하고, 도널드슨 쌍의 호모토피 및 심플렉틱형형사상에 대해 유리 코버드런스 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 심플렉틱 초곡면과 마킹된 점 제약 조건을 사용하여, 닫힌 심플렉틱 다양체에서 $J$-홀로모르픽 원판에 대한 전방성을 달성할 수 있는가?
• RQ2 이러한 제약 조건 하에서 안정 맵의 모듈리 공간이 매끄럽고 유한차원 다양체를 이룬다?
• RQ3 고르모-위튼 불변량이 심플렉틱 초곡면 및 거의 복소構조의 선택에 영향을 받지 않게 정의될 수 있는가?
• RQ4 결과로 얻어진 불변량이 보조 데이터(예: 심플렉틱형형사상 및 거의 복소構조의 경로)의 호모토피에 대해 유지되는가?
• RQ5 이 방법이 심플렉틱 기하학에서 홀로모르픽 곡선에 대한 일반 폴리폴드 프레드홀름 이론의 더 단순한 대안을 제공할 수 있는가?

주요 결과

• 모든 닫힌 심플렉틱 다양체 $(X^{2n}, \omega)$에 대해 $[\omega] \in H^2(X; \mathbb{Z})$ 이고, $D \geq D^*(X,\omega,J)$인 도널드슨 쌍 $(J,Y)$에 대해, 정규 집합 $\mathcal{J}^{\mathrm{reg}}_{\ell+1}(X,Y;J,\theta_1)$이 존재하며, 이에 따라 모듈리 공간 $\mathcal{M}_T(A,K;Y)$는 실수 차원 $2(n - 3 + k + c_1(A) - e(T))$를 가진 매끄러운 다양체이다.
• 평가 사상 $\mathrm{ev}^k: \mathcal{M}_{k+\ell}(A,K;Y) \to X^k$ 는 허위 사이클이며, 그 호모로지 클래스는 잘 정의된 고르모-위튼 불변량을 정의한다.
• 유리 코버드런스에 따라 $\frac{1}{\ell_0!} \mathrm{ev}^k(J_0,Y_0) \sim \frac{1}{\ell_1!} \mathrm{ev}^k(J_1,Y_1)$ 이 성립하여, 초곡면 및 거의 복소構조의 선택에 대한 불변성이 입증된다.
• 심플렉틱형형사상이 항등사상에 동치일 경우, 그에 의해 유도되는 경로에 의한 유리 코버드런스를 통해 불변량이 유지됨을 보였다.
• 이 구성은 접합에 대해 안정적이며, 두 번째 초곡면 $Y_1$ 위에 추가로 $\ell_1$개의 마킹된 점을 추가할 경우, 차수 $\ell_1!$의 커버링 맵을 유도하며, 다음 등식이 성립한다: $\mathrm{ev}^k(J_0,Y_0;K_0) \sim \frac{1}{\ell_1!} \mathrm{ev}^k(J_0,Y_0,J_1,Y_1;\pi_{\ell_0}^*K_0)$.
• 이 방법은 전체 폴리폴드 이론의 기계적 장치를 피하고, 표준 함수해석 도구만을 사용하여 고르모-위튼 불변량의 더 단순하고 효과적인 구성법을 제공한다.