[논문 리뷰] Almost Kahler forms on rational 4-manifolds

Tianjun Li, Weiyi Zhang|arXiv (Cornell University)|2012. 10. 08.

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

한 줄 요약

이 논문은 타우브스의 부분다양체–현재–형식 기법을 비통합 almost complex 기하학에서 J-nef 차수 0 클래스로 확장하여, 유리 4차원 다양체 위의 tamed almost complex 구조에 대해 도널드슨의 'tamed to compatible' 질문을 해결한다. $S^2 \times S^2$와 $\mathbb{CP}^2\#k\overline{\mathbb{CP}^2}$ ($k \geq 2$) 위의 모든 tamed almost complex 구조가 $k$개의 서로소 $-1$-곡선을 갖는 경우, pseudo-holomorphic 부분다양체와 타우브스 현재를 통해 호환 가능한 심플렉틱 형식의 존재를 증명함으로써 거의 카플러 구조임을 확인한다.

ABSTRACT

We study Nakai-Moishezon type question and Donaldson's "tamed to compatible" question for almost complex structures on rational four manifolds. By extending Taubes' subvarieties--current--form technique to $J-$nef genus $0$ classes, we give affirmative answers of these two questions for all tamed almost complex structures on $S^2$ bundles over $S^2$ as well as for many geometrically interesting tamed almost complex structures on other rational four manifolds, including the del Pezzo ones.

연구 동기 및 목표

• 유리 4차원 다각형 위의 tamed almost complex 구조에 대해 도널드슨의 'tamed to compatible' 질문을 해결하기 위해.
• 비통합 almost complex 기하학에서 J-nef 차수 0 클래스로 타우브스의 부분다양체–현재–형식 기법을 확장하기 위해.
• tamed J가 $S^2 \times S^2$와 $\mathbb{CP}^2\#k\overline{\mathbb{CP}^2}$ 위에 존재할 때, 기하학적 조건 하에 호환 가능한 심플렉틱 형식(즉, 거의 카플러 구조)의 존재를 확립하기 위해.
• 타우브스 현재와 pseudo-holomorphic 곡선의 모듈리 공간을 통해 거의 카플러 콧과 카플러 및 심플렉틱 콧을 연결하여 거의 카플러 콧을 특성화하기 위해.

제안 방법

• 비통합 almost complex 구조에서 J-nef 차수 0 클래스로 타우브스의 부분다양체–현재–형식 기법을 확장하기 위해.
• 큰 J-nef 클래스에서의 펜슬로부터 약한 타우브스 현재를 생성하기 위해 기약 pseudo-holomorphic 부분다양체의 모듈리 공간을 사용하기 위해.
• 정규 연산자 $D_C$의 핵을 통해 부분다양체 근처에서 모듈리 공간을 선형화하기 위해 은직함수 정리를 적용하기 위해.
• 작은 공 안의 매끄러운 곡선 근처의 부분다양체를 분석하기 위해 국소 면적 극한과 지수 함수를 사용하기 위해.
• 차수 0 부분다양체의 가중치 가중 평균을 통합하고 정규화하여 J-불변 형식으로 타우브스 현재를 구성하기 위해.
• CP^2의 블로우업에 대한 귀납법을 사용하여 $K$-구 콧 $\mathcal{S}_K^+$와 $K$-심플렉틱 콧 $P_K$ 사이의 등식을 증명하기 위해.

실험 결과

연구 질문

• RQ1 모든 $S^2 \times S^2$ 위의 tamed almost complex 구조는 거의 카플러인가?
• RQ2 $\mathbb{CP}^2\#k\overline{\mathbb{CP}^2}$ ($k \geq 2$) 위의 tamed almost complex 구조가 어떤 조건에서 거의 카플러가 되는가?
• RQ3 비통합 almost complex 기하학에서 J-nef 차수 0 클래스로 부분다양체–현재–형식 기법을 확장할 수 있는가?
• RQ4 큰 J-nef 클래스 $e$ 내에서 차수 0 pseudo-holomorphic 부분다양체의 모듈리 공간 $\mathcal{M}_e$는 $\mathbb{CP}^{e\cdot e + 1}$과 위상동형인가?
• RQ5 유리 4차원 다각형에서 $K$-구 콧 $\mathcal{S}_K^+$와 $K$-심플렉틱 콧 $P_K$는 어떻게 관련되어 있는가?

주요 결과

• $S^2 \times S^2$ 위의 모든 tamed almost complex 구조는 거의 카플러이며, 이는 이 다각형에 대해 'tamed to compatible' 질문을 확인한다.
• $\mathbb{CP}^2\#k\overline{\mathbb{CP}^2}$ ($k \geq 2$) 에서는, $k$개의 서로소 $-1$-곡선을 갖는 임의의 tamed $J$는 거의 카플러이다.
• 큰 $J$-nef 클래스 $e$ 내에서 차수 0 부분다양체의 모듈리 공간 $\mathcal{M}_e^{x,\Omega}$ 는 $S^2$와 위상동형이며, 이는 펜슬의 풍부함을 시사한다.
• 모든 유리 4차원 다각형에서 $K$-구 콧 $\mathcal{S}_K^+$는 $K$-심플렉틱 콧 $P_K$와 일치하며, 이는 $k \leq 8$인 $\mathbb{CP}^2\#k\overline{\mathbb{CP}^2}$에 대해서도 성립한다.
• $k \geq 9$인 경우, $P_K$의 경계면과 $M_{l-1}$ 사이의 대응관계를 이용한 귀납법을 통해 $\mathcal{S}_K^+ = P_K$의 등식이 성립한다.
• 차수 0 부분다양체로부터 타우브스 현재를 구성하는 것은 코다이라 매장의 힌트가 되는 해석적 유사체를 제공하며, 이는 통합되지 않은 경우의 힐로모르피즘 매장의 비통합 유사체를 시사한다.