Deformation rigidity for projective manifolds and isotriviality of smooth families

기술적 요약: 사영 다양체의 변형 강성과 매끄러운 가족의 등동형성

문제 제기
본 논문은 매끄러운 가족 $\pi: X \to B$의 맥락에서, 콤팩트 복소 다양체의 변형 강성 (deformation rigidity) 문제를 다룹니다. 핵심 질문 (질문 1.1) 은 다음과 같습니다: 기저 $B$(특히 다중 원판 $\Delta^m$) 위의 콤팩트 복소 다양체의 매끄러운 가족이, 고유한 복소수 다양체 $S$와 모든 $t$에 대해 (적절한 해석적 부분집합의 여집합에서) 섬유 $X_t$가 쌍정형동형 (biholomorphic) 일 때, 어떤 조건 하에서 중심 섬유 $X_0$ 또한 $S$와 쌍정형동형이 되는가?

변형 강성은 음수 코다이라 차원을 가진 다양체 (예: 히르체브루흐 곡면은 강성이 아님) 와 $b_2=1$인 유리 동질 공간 (카ehler 가정 하에서) 에 대해서는 잘 이해되어 있지만, 본 논문은 더 높은 코다이라 차원을 가진 사영 다양체에 관한 지식의 공백에 초점을 맞춥니다. 구체적으로 저자들은 고정된 다양체 $S$가 반 ample 표준 선다발 ($\omega_S$) 을 갖는 경우를 조사합니다.

방법론
저자들은 주요 결과를 증명하기 위해 복소 해석 기하학, 호지 이론, 그리고 모듈라이 공간 이론을 결합합니다. 중심 정리 (정리 1.2) 의 증명 전략은 두 가지 주요 기술적 혁신을 포함합니다:

1. 호지 이론을 통한 $\pi$-ample 선다발의 구성:
   선다발에 대한 표준 확장 절차는 저자들의 필요를 충족하기에 부족합니다. 그들은 **호지 구조의 변이 (variation of Hodge structures)**에 기반한 새로운 확장 방법을 도입합니다. 사상 (morphism) 의 매끄러움에 의해 보장되는 미분동형사상 $T: X \to X_0 \times \Delta$를 활용하고 $H^2(X_t, \mathbb{C})$의 호지 여과를 분석함으로써, 호지 여과가 기저 위에서 일정함을 증명합니다. 이 일정함은 중심 섬유 $X_0$에서의 선다발 $L_0$를 $X$ 위의 전역 선다발 $L$로 확장하여 $c_1(L|_{X_0}) = c_1(L_0)$가 되도록 할 수 있게 합니다. 결정적으로, $L_0$가 ample 이면 확장된 다발 $L$이 $\pi$-ample 임이 보입니다. 이 구성은 구멍이 뚫린 원판 위의 섬유들이 고정된 사영 다양체와 쌍정형동형이므로 코다이라 - 스펜서 사상이 영 (zero) 이 되고 호지 여과가 일정하다는 사실에 의존합니다.

2. 중심 섬유의 반 ample 성 입증:
   큰 장애물은 $t \neq 0$에 대해 $\omega_{X_t}$가 반 ample 일 때 $\omega_{X_0}$가 반 ample 임을 증명하는 것입니다. 저자들은 이 양의 성질이 임의의 선다발에 대해 성립한다고 가정하지 않습니다. 대신 그들은:

   • 먼저 $\omega_{X_0}$가 nef임을 증명합니다. 이는 $\pi$-매우 ample 인 선다발 $L$을 구성하고 접합 다발 (adjoint bundles) $\omega_{X_0}^{\otimes m} \otimes L_0$의 양의 성질을 분석함으로써 이루어집니다. 그들은 복소 구조의 변형을 통해 $X_0$ 위의 2-형식을 구성하고 nef 의 미터적 특성을 확인하는 해석적 접근법을 사용합니다.
   • 둘째, 다중 생성식 (plurigenera) 의 불변성과 코다이라 차원 $\kappa$와 수치적 코다이라 차원 $\nu$ 사이의 관계를 활용합니다. $t \neq 0$에 대해 $\omega_{X_t}$가 반 ample 이므로 $\kappa(X_t) = \nu(X_t)$입니다. $\nu(X_0) = \kappa(X_0)$임을 보임으로써, 그들은 알려진 기준 ([20] 에서) 을 통해 $\omega_{X_0}$가 반 ample 임을 결론짓습니다.

3. 모듈라이 공간의 분리성 (Separatedness):
   $\pi$-ample 선다발 $L$의 존재와 $\omega_{X_0}$의 반 ample 성을 바탕으로, 가족 $(X, L)$은 반 ample 표준 선다발을 가진 편극 (polarized) 다양체의 거친 분리 모듈라이 공간 (coarse separated moduli space) $\mathcal{P}_h$로 사상을 정의합니다. 구멍이 뚫린 원판 위의 섬유들이 (동형이므로) 모듈라이 공간의 같은 점으로 사상되고, 모듈라이 공간이 분리되어 있으므로, 그 사상은 상수 (constant) 여야 합니다. 이는 중심 섬유가 일반 섬유와 동형이 되도록 강제합니다.

주요 기여 및 결과

• 정리 1.2 (주요 결과): $\pi: X \to \Delta^m$를 propre 매끄러운 카ehler 사상이라 합시다. 고유한 복소수 부분집합의 여집합 위의 섬유들이 고정된 사영 다양체 $S$와 쌍정형동형이고, 표준 선다발 $\omega_S$가 반 ample 이면, $\pi$의 모든 섬유는 $S$와 쌍정형동형입니다.

  • 의의: 이는 편극된 다양체와 ample 다발을 요구했던 마쓰스카 - 머머드 (Matsusaka-Mumford) 의 이전 결과를 일반화하며, 중심 섬유가 사전에 편극된 사영 다양체일 필요 없이 반 ample 표준 선다발을 가진 더 넓은 범주의 다양체로 변형 강성을 확장합니다.

• 계 1.4: 풍부성 추측 (Abundance Conjecture) (차원 $\leq 3$과 일반형 다양체에 대해 성립함) 을 가정할 때, $S$가 이러한 범주에서 최소 다양체 (minimal manifold) 이면 변형 강성이 성립합니다.

• 정리 1.6 (등동형성 기준): 일반 섬유가 좋은 최소 다양체 (반 ample 표준 선다발을 가진 최소 다양체) 인 매끄러운 사영 가족 $f: X \to B$에 대해, 유리 등동형성 (birational isotriviality) 은 등동형성 (isotriviality) 을 함의합니다.

  • 맥락: 이는 섬유들의 유리 동치가 매끄러운 가족에서 실제 동형을 함의하는 시점에 관한 자연스러운 질문에 대한 해결책을 제시합니다.

• 정리 1.8 (파르신 - 아라켈로프 유형 기준): 본 논문은 고전적인 파르신 - 아라켈로프 정리를 일반화하는 새로운 등동형성 기준을 확립합니다. 일반 섬유 $F$가 최소 다양체이고 일반형이거나 ($\dim F \leq 3$), 그리고 상대 표준 선다발의 푸시포워드의 행렬식 결정자의 차수가 0 일 때 ($\deg(\det f_* \omega_{X/B}^{\otimes k}) = 0$), 그 가족은 등동형적입니다.

의의 및 주장
저자들은 이 작업을 편극된 다양체의 대수기하학과 카ehler 사상의 복소기하학 사이의 가교로 위치시킵니다.

• 일반화: 이 결과는 ample 에서 반 ample 로 양의 성질 조건을 완화하고 중심 섬유의 편극화를 요구하지 않음으로써 마쓰스카 - 머머드 정리를 강화합니다.
• 모듈라이 이론: 증명은 반 ample 표준 선다발을 가진 편극된 다양체의 모듈라이 공간의 **분리성 (separatedness)**의 유용성을 강조합니다. 이 성질은 쌍유리 다양체가 분리되지 않은 점을 정의하는 하이퍼케일러 다양체에서는 성립하지 않습니다. 본 논문은 하이퍼케일러 모듈라이의 비분리성과 대조하여 카ehler 사상 가정의 필요성을 강조합니다.
• 등동형성: 본 논문은 일반 섬유가 최소성과 반 ample 성 조건을 만족한다면, 고차원 가족으로 고전적인 곡선 기반 결과를 확장하는 "새로운 파르신 - 아라켈로프 유형 등동형성 기준"을 제공한다고 주장합니다.

본 논문은 풍부한성 추측이 낮은 차원과 일반형에 대해서는 알려져 있지만, 차원 $\geq 4$인 최소 다양체에 대한 변형 강성은 여전히 추측 (추측 1.5) 으로 남아 있음을 지적하며 결론을 맺습니다. 이는 현재의 결과가 고차원에서의 풍부성 추측의 타당성에 조건부임을 시사합니다.