The spaces of Kähler and holomorphically tamed symplectic forms on closed 4-manifolds

기술 요약: 폐쇄된 4-다양체 상의 켈러(Kähler) 공간 및 홀로모픽하게 테이밍된(Holomorphically Tamed) 심플렉틱 형식의 공간

문제 정의
본 논문은 폐쇄된 방향 지향적 매끄러운 4-다양체 상의 켈러 형식 및 홀로모픽하게 테이밍된 심플렉틱 형식의 공간에 대한 위상적 성질(유일성, 연결성, 개집합성)을 조사한다. 이 연구는 모든 폐쇄된 헤르미션-심플렉틱 복소 다양체는 켈러 메트릭을 갖는다는 Streets–Tian 추측에 의해 동기 부여되었다. 심플렉틱 맥락에서 이는 질문 1.4로 번역된다: 만약 폐쇄된 4-다양체 $X$ 상의 심플렉틱 형식 $\omega$가 어떤 적분 가능한 복소 구조 $J$에 의해 홀로모픽하게 테이밍되어 있다면(즉, 모든 $v \neq 0$에 대해 $\omega(v, Jv) > 0$), 그리고 코호몰로지 클래스 $[\omega]$가 적분 가능한 호환 코너 $K^c_{Int}(X)$에 속한다면, $\omega$와 호환되는 복소 구조 $J'$가 존재하는가? 다시 말해, 모든 홀로모픽하게 테이밍된 심플렉틱 형식은 켈러 유형인가?

저자들은 또한 이러한 형식들의 모듈라이 공간의 구조를 조사하며, 특히 다음 사항들을 다룬다:

1. 유일성: 고정된 코호몰로지 클래스 내에서, 호몰로지적으로 자명한 디페오모피즘(diffeomorphism)에 의한 모듈로(modulo) 켈러 유형 형식의 공간은 단일 점인가?
2. 연결성: 켈러 유형 형식의 공간(방향 보존 디페오모피즘에 의한 모듈로)은 연결되어 있는가?
3. 개집합성: 켈러 유형 형식의 공간으로의 포함 사상은 개열린 사상(open map)인가?

방법론
본 논문은 다양체의 차원과 두 번째 베티 수 $b_2^+$의 값에 맞추어 조정된 심플렉틱 위상수학, 복소 기하학, 그리고 게이지 이론의 조합을 활용한다.

• 코호몰로지 분해: 저자들은 $H^2(X; \mathbb{R})$을 $J$-불변 부분 공간과 $J$-반불변 부분 공간으로 분해하는 방식을 사용한다. 핵심 도구는 $J$-테이밍 코너 $K^t_J(X)$와 $J$-호환 코너 $K^c_J(X)$ 사이의 관계이며, 특히 $K^c_J(X)$가 공집합이 아닐 때 $K^t_J(X) = K^c_J(X) + H^-_J(X)$라는 결과이다.
• 변형-투-아이소토피(Deformation-to-Isotopy): $b_2^+ = 1$인 다양체의 경우, 저자들은 심플렉틱 형식의 변형을 아이소토피로 호모토피할 수 있게 해주는 변형-투-아이소토피 정리(McDuff, Lalonde–McDuff)에 의존한다. 이를 통해 심플렉틱 형식의 경로 연결성 연구를 복소 구조의 연구로 축소한다.
• 토렐리 이론(Torelli Theory) 및 피리어드 도메인(Period Domains): $b_2^+ > 1$인 다양체(특히 K3 곡면, 복소 토러스 $T^4$, 그리고 이들의 블로우업)의 경우, 저자들은 전역 토렐리 정리를 활용한다. 저자들은 피리어드 도메인 $\Phi$($\text{K3}$의 경우 20차원, $T^4$의 경우 4차원의 복소 다양체)와 코호몰로지 클래스의 $(1,1)$-부분으로의 투영의 양의 성질에 의해 정의된 부분 도메인의 거동을 분석한다. 이때 $(-2)$-곡선에 대응하는 벽(walls)을 제거한다.
• 강성 결과(Rigidity Results): 음의 섹션 곡률 메트릭을 갖는 다양체의 경우, 저자들은 호모토피 동치(homotopy equivalence)가 비홀로모픽(anti-biholomorphism) 또는 비홀로모피즘(biholomorphism)으로 호모토피된다는 것을 함의하는 강력한 강성 정리(Siu, Zheng)를 적용한다.
• 블로우업 분석: 저자들은 최소 곡면의 결과를 그들의 블로우업으로 확장하며, 이를 위해 홀로모픽적인 블로우업 패밀리를 구성하고, 서로 다른 점들을 갖는 구성들의 조밀성을 활용하여 블로우업 중심들의 연결성을 분석한다.

주요 기여 및 결과

1. 테이밍된 유형과 켈러 유형의 동치 (질문 1.4):
   저자들은 폐쇄된 4-다양체 $X$와 클래스 $a \in H^2(X; \mathbb{R})$에 대하여, 다음 조건 하에서 켈러 형식의 공간 $S^a_K(X)$가 공집합이거나 홀로모픽하게 테이밍된 형식의 공간 $S^a_T(X)$와 같음을 증명한다:

   • $b_2^+(X) = 1$ ($\text{rational}$ 및 $\text{ruled surfaces}$를 포함)
   • $X$가 코다라 차원(Kodaira dimension) 0의 심플렉틱 형식을 갖는다 ($\text{K3, Enriques, hyperelliptic surfaces, } T^4$를 포함)
   • $X$가 음의 섹션 곡률 켈러 메트릭을 갖는다 (복소 볼 쿼션트 $\text{complex ball quotients}$를 포함)
     이는 이러한 영역에서, 테이밍하는 복소 구조의 존재가 동일한 코호몰로지 클래스 내에서의 호환되는 복소 구조의 존재를 함의함을 확립한다.

2. 유일성 (질문 1.5):
   본 논문은 고정된 클래스 내의 켈러 유형 형식의 모듈라이 공간의 연결 성분의 수, 즉 $\#M^a_K(X)$가 비양의 코다라 차원 또는 음의 섹션 곡률 조건 하에서 최대 1임을 확립한다.

   • $b_2^+ = 1$인 일반 유형(general type) 곡면의 경우, 성분의 수는 유한하다.
   • 이는 $\text{K3}$ 및 $T^4$에 대한 기존의 유일성 결과를 그들의 블로우업 및 $\text{Enriques/hyperelliptic surfaces}$로 확장한다.

3. 연결성 (질문 1.6):

   • 모듈라이 공간 $M_K(X)$는 임의의 폐쇄된 4-다양체에 대해 유한개의 연결 성분을 갖는다.
   • $X$가 비양의 코다라 차원의 심플렉틱 형식을 갖는다면, $M_K(X)$는 연결되어 있다.
   • $X$가 음의 섹션 곡률 켈러 메트릭을 갖는다면, $M_K(X)$는 최대 두 개의 연결 성분을 갖는다 (이 경계값은 $\text{fake projective planes}$에 의해 달성된다).

4. 개집합성 (질문 1.7):

   • 포함 사상 $S_K(X) \hookrightarrow S(X)$는 $b_2^+(X) = 1$이거나 $X$가 코다라 차원 0의 심플렉틱 형식을 갖는 경우 개열린 사상이다.
   • 반대로, $b_2^+(X) > 1$이고 $X$가 음의 섹션 곡률 켈러 메트릭을 갖는 경우, 이 포함 사상은 개열린 사상이 아니다. 저자들은 켈러 유형 형식의 공간이 심플렉틱 형식의 공간 내에서 개열린 집합이 아닌 반례로 $\text{Cartwright–Steger surface}$를 제시한다.

의의 및 주장
본 논문은 광범위한 4-다양체에 대해 심플렉틱 버전의 Streets–Tian 추측을 해결한다고 주장하며, 이러한 특정 기하학적 구조에서 "테이밍된(tamed)" 것과 "호환되는(compatible)" 복소 구조 사이의 코호몰로지적 구분이 사라짐을 보여준다.

주요 기여 중 하나는 최소 곡면(예: $\text{K3, } T^4$)의 결과를 그들의 블로우업으로 확장한 것이다. 이는 매우 중요하다. 왜냐하면 많은 심플렉틱 위상수학적 결과들(예: 심플렉토모피즘 그룹, 패킹, 라그랑지안 부분 다양체와 관련된 결과들)은 종종 심플렉틱 형식이 켈러 유형임을 가정하기 때문이다. 테이밍된 형식이 켈러 유형임을 증명함으로써, 저자들은 이러한 결과들을 더 넓은 범위의 테이밍된 형식들로 전이할 수 있게 한다.

또한 본 논문은 복소 구조 모듈라이 공간의 위상적 제약 조건을 규명하며, 심플렉틱 형식 공간의 성분 수와 복소 구조 모듈라이 공간의 성분 수 사이의 관계를 (토렐리 정리와 피리어드 도메인 분석을 통해) 연결한다. 마지막으로, 본 논문은 코다라-스펜서 안정성(Kodaira–Spencer stability)의 한계를 획정함으로써, 켈러 코너의 개집합성이 $b_2^+ = 1$ 및 코다라 차원 0에서는 성립하지만, $b_2^+ > 1$인 특정 음의 곡률을 가진 다양체에서는 실패함을 보여준다.