[논문 리뷰] Moduli space of $J$-holomorphic subvarieties

Weiyi Zhang|arXiv (Cornell University)|2016. 01. 28.

Geometry and complex manifolds참고 문헌 26인용 수 5

한 줄 요약

이 논문은 4차원 심플렉틱 다양체에 대해 티드(tamed) 거의 복소構조를 갖는 $J$-홀로모르픽 부분다양체의 모듈리 공간 프레임워크를 수립한다. $K_J$-구면류를 갖는 무리수 룰드 표면에서, 모듈리 공간이 한 점임을 증명하여 예외적 곡선의 유일성을 확인하고, 토러스 위에서 비결합법칙을 갖는 덧셈을 통해 타원곡선 이론을 확장하며, 동시에 유계 표면에서 높은 종수 성분을 갖는 이국적 부분다양체를 구성한다.

ABSTRACT

We study the moduli space of $J$-holomorphic subvarieties in a $4$-dimensional symplectic manifold. For an arbitrary tamed almost complex structure, we show that the moduli space of a sphere class is formed by a family of linear system structures as in algebraic geometry. Among the applications, we show various uniqueness results of $J$-holomorphic subvarieties, e.g. for the fiber and exceptional classes in irrational ruled surfaces. On the other hand, non-uniqueness and other exotic phenomena of subvarieties in complex rational surfaces are explored. In particular, connected subvarieties in an exceptional class with higher genus components are constructed. The moduli space of tori is also discussed, and leads to an extension of the elliptic curve theory.

연구 동기 및 목표

• 티드 거의 복소構조 하에서 4차원 심플렉틱 다양체에 대한 $J$-홀로모르픽 부분다양체의 모듈리 공간의 구조를 이해하기 위해.
• 무리수 룰드 표면에서 예외적 곡선류에 대해 유일성 문제를 해결하여, 모듈리 공간이 한 점임을 확인하기 위해.
• 유계 표면에서의 이국적 현상 탐구를 위해, 예외적 계열에서 높은 종수 성분을 갖는 연결 부분다양체를 포함하기 위해.
• 비결합법칙 덧셈 구조를 통해 타원곡선 이론을 $J$-홀로모르픽 토러스로 확장하기 위해.
• 변형 기법과 $J$-nef 조건을 사용하여 구면과 토러스에 대한 심플렉틱 동형성 결과를 수립하기 위해.

제안 방법

• 하나의 위상적 복잡도로 부분다양체를 분류하기 위해 $J$-genus 공식 $g_J(e) = \frac{1}{2}(e\cdot e + K_J\cdot e) + 1$ 을 도입한다.
• 교차 이론과 성분의 종수를 제어하기 위해 $J$-nef 조건을 적용하여, $g_J(e) = 0$ 일 때 유리 곡선 성분이 보장되도록 한다.
• 그로모프 컴actness와 비차단성 정리를 활용하여 거의 복소構조의 변형을 통해 연속적인 $J$-홀로모르픽 곡선의 경로를 구성한다.
• 심플렉틱 팽창과 티드 거의 복소構조의 공간에서의 경로 연결성 을 활용하여 심플렉틱 형식을 카일러 형식으로 변형한다.
• $\mathcal{J}^{\omega}$ 와 $\mathcal{J}^{[S]}_{\text{reg}}$ 의 경로 연결 성분을 이용하여 동형성을 구성하고, 전체적으로 매끄러운 대표자가 존재하도록 보장한다.
• [18, 17] 에서 제시된 $J$-nef 기법을 적용하여, $J$-nef 조건 하에서 $K_J$-구면류에서의 높은 종수 성분이 제거됨을 입증한다.

실험 결과

연구 질문

• RQ1 무리수 룰드 표면의 예외적 계열에서, 임의의 티드 $J$ 에 대해 $J$-홀로모르픽 부분다양체의 모듈리 공간은 한 점인가?
• RQ2 구면류에서 $J$-홀로모르픽 부분다양체가 종수 0을 초월하는 기약 성분을 포함할 수 있으며, 만약 그렇다면 어떤 조건에서 가능한가?
• RQ3 $J$-홀로모르픽 토러스의 모듈리 공간은 타원곡선의 군 법칙과 유사한 비결합법칙 덧셈 법칙을 갖는가?
• RQ4 자기자기 교차수가 $\geq 0$ 인 심플렉틱 구면은 임의의 4차원 다양체에서 대수적 유리 곡선과 심플렉틱 동형인가?
• RQ5 예외적 계열에서 연결 부분다양체가 종수 1을 초월하는 성분을 포함할 수 있으며, 만약 그렇다면 이러한 부분다양체는 유계 표면에서 실현 가능한가?

주요 결과

• 무리수 룰드 표면에서 임의의 티드 거의 복소構조에 대해, 예외적 계열 $E$ 에 대한 $J$-홀로모르픽 부분다양체의 모듈리 공간 $\mathcal{M}_E$ 는 한 점이며, 이는 유일성의 확인을 의미한다.
• 유계 표면에서 예외적 계열의 연결 부분다양체는 종수 3의 기약 성분을 포함할 수 있으며, 이들의 딸란 그래프는 고리도 포함할 수 있어 이국적 행동을 보인다.
• $J$-홀로모르픽 토러스의 모듈리 공간은 비결합법칙 덧셈 구조를 갖는다. 이는 고전적 타원곡선 이론을 심플렉틱 설정으로 확장한다.
• 자기자기 교차수가 $\geq 0$ 인 임의의 심플렉틱 구면은 대수적 유리 곡선과 심플렉틱 동형이며, 동치인 $(-1)$-구면들은 모두 심플렉틱 동형이다.
• 무리수 룰드 표면에서 $J$-nef 양의 피브어 클래스의 존재는 $K_J$-구면류에 속하는 모든 $J$-홀로모르픽 부분다양체가 유리 곡선임을 보장한다.
• 티드 거의 복소構조의 공간 $\mathcal{J}^\omega$ 는 경로 연결이며, 임의의 카일러 형식 $\Omega$ 에 대해 $\mathcal{I}_\Omega \cap \mathcal{J}_{e\text{-nef}} \neq \emptyset$ 이다. 이는 변형 기법의 가능성을 보장한다.