[논문 리뷰] On the isotriviality of families of projective manifolds over curves

Eckart Viehweg, Kang Zuo|ArXiv.org|2000. 02. 24.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 95

한 줄 요약

이 논문은 곡선 위의 비등지역적 가 Families의 특이 섬유 수에 대한 날카운 하한을 확립한다. 특히, $ℝ\mathbb{P}^1$ 위의 가 Families는 최소 세 개의 특이 섬유를 가지며, 타원 곡선 위의 가 Families는 최소 한 개의 특이 섬유를 가진다. 이는 섬유의 캐논리컬 번들의 강한 양성 조건 하에서 성립한다. 핵심 기법은 호지 이론, 코다이라-스펜서 사상의 부정성, 그리고 다중 캐논리컬 번들의 직접 이미지에 대한 강성 조건을 통합한다.

ABSTRACT

Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-ample canonical divisor. The corresponding result has been obtained by Migliorini and Kovacs, for families of surfaces of general type and for families of canonically polarized manifolds, and by Oguiso-Viehweg for families of elliptic surfaces. As a byproduct we obtain explicit bounds for the degree of the direct image of powers of the dualizing sheaf, generalizing those obtained by Bedulev-Viehweg for families of surfaces of general type.

연구 동기 및 목표

• 가장자리가 등지역적 가 Families가 아닐 경우, 곡선 위의 프로젝티브 다양체 가 Families의 특이 섬유 수에 하한을 확립하는 것.
• 아라켈로프, 파르신 및 다른 이들의 곡선 가 Families에 대한 고전 결과를, 캐논리컬 번지가 양성 또는 최소 모델 구조를 가진 고차원 섬유로 일반화하는 것.
• 기저의 종수, 특이 섬유의 수, 섬유의 불변량에 따라 $\det(f_*\omega_X^\nu)$의 차수에 대한 효과적 하한을 제공하는 것.
• 일반 유형의 다양체가 타원 곡선이나 $\mathbb{P}^1$으로의 매끄러운 사상으로 분포할 수 없음을 증명하는 것, 유일한 조건은 충분한 수의 특이 섬유를 가져야 한다는 것.

제안 방법

• 하나의 하우지 번들의 부분다발 위에서 하우지 메트릭의 곡률의 부정성에 기반한, 코다이라-스펜서 사상과 그 핵의 분석.
• 직접 이미지 $f_*\omega_X^\nu$에 대한 강성 조건을 적용하여, $\kappa(F) = \dim(F)$ 또는 $K_{F'}$ 가 반강성일 경우 $\det(f_*\omega_X^\nu)$ 가 큰 $\nu$ 에서 강성임을 보장하는 조건.
• 순환 코팅과 소멸 정리의 응용을 통해 직접 이미지의 행동을 통제하며, 전역 소멸을 국소적 부정성의 코다이라-스펜서 사상으로 대체한다.
• 스테인 인수분해와 유한 코팅을 통한 당김을 통해, $\mathbb{P}^1$ 또는 타원 곡선 위의 반안정 가 Families의 경우로 축소한다.
• $\det(f_*\omega_X^\nu)$ 의 강성 조건을 이용하여 특이 섬유 수가 너무 적을 경우 모순을 이끌어내는 것.
• 고정된 Hilbert 다항식 $h(t)$ 를 가진 극화된 다양체의 모듈리 공간을 통해, 캐논리컬 체계의 체적에 대한 통일된 하한 $e$ 를 구성하여, 하한의 통일성 확보.

실험 결과

연구 질문

• RQ1 기저가 $\mathbb{P}^1$ 이고 $\kappa(F) = \dim(F)$ 를 만족하는 비등지역적 가 Families에서 특이 섬유의 최소 수는 얼마인가?
• RQ2 일반 유형의 다양체는 타원 곡선으로의 매끄러운 사상이 가능할 수 있는가?
• RQ3 $\det(f_*\omega_X^\nu)$ 가 강성임을 보장하는 조건은 무엇이며, 이는 등지역적 성질과 어떻게 관련되는가?
• RQ4 기저 곡선과 섬유 기하학에 따라 $\det(f_*\omega_X^\nu)$ 의 차수에 효과적 하한을 설정할 수 있는가?
• RQ5 $\omega_F$ 가 반강성일 경우, $\deg(f_*\omega_X^\nu)$ 의 상수에 대한 통일성은 어떻게 보장되는가?

주요 결과

• 만약 $f: X \to \mathbb{P}^1$ 가 비음성 코다이라 차원을 가진 프로젝티브 다양체에서의 전사 사상이라면, $f$ 는 최소 세 개의 특이 섬유를 가진다.
• 만약 $f: X \to E$ 가 일반 유형의 다양체에서 타원 곡선 $E$ 로의 사상이라면, $f$ 는 최소 한 개의 특이 섬유를 가져야 한다.
• 등지역적 가 Families가 아니며 $\omega_F$ 가 반강성이고 고정된 Hilbert 다항식 $h(t)$ 를 가진다면, $\det(f_*\omega_X^\nu)$ 의 차수는 $(n(2g-2+s) + \delta) \cdot \nu \cdot e \cdot r$ 로 유계이다. 여기서 $n = \dim(F)$, $g$ 는 기저의 종수, $s = \deg(S)$, $\delta$ 는 비반안정 섬유의 수, $r = \text{rank}(f_*\omega_X^\nu)$, $e$ 는 $h(t)$ 에만 의존한다.
• 가 가 가 반안정일 경우, 이 하한은 $n(2g-2+s)\nu e r$ 로 단순화되며, 기저 곡선의 기하학적 성질에 명확하게 의존함을 보여준다.
• 큰 $\nu$ 에서 $\det(f_*\omega_X^\nu)$ 가 강성임은 등지역적 성질을 암시하며, 이는 $\kappa(F) = \dim(F)$ 또는 $K_{F'}$ 가 반강성일 경우 보장된다.
• 이 증명은 아라켈로프, 파르신, 베두레브의 결과를 일반화하는 명시적 하한을 도출하며, 캐논리컬 또는 최소 모델을 가진 고차원 섬유로 확장한다.