[논문 리뷰] The subadditivity of the Kodaira Dimension for Fibrations of Relative Dimension One in Positive Characteristics

Yifei Chen, Lei Zhang|arXiv (Cornell University)|2013. 05. 26.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 6

한 줄 요약

이 논문은 양의 특성에서 상대 차원 1인 피브레이션에 대해 코다이라 차원의 하위加法성(subadditivity)을 확립한다. 대수적으로 닫힌 체 위의 매끄럽고 사영인 다양체에 대해 $\kappa(X) \geq \kappa(Z) + \kappa(F)$ 를 증명하며, 여기서 $F$ 는 일반 섹션의 정규화이다. 표면이 곡선 위로 피브레이션된 경우 더 강력한 부등식 $\kappa(S) \geq \kappa_1(F) + \kappa(C)$ 를 사용하여 특이점의 해소가 불가능한 점을 보완하기 위해 교란(alterations)과 안정 곡선의 모듈리 이론을 사용한다.

ABSTRACT

Let $f:X ightarrow Z$ be a separable fibration of relative dimension 1 between smooth projective varieties over an algebraically closed field $k$ of positive characteristic. We prove the subadditivity of Kodaira dimension $κ(X)\geqκ(Z)+κ(F)$, where $F$ is the generic geometric fiber of $f$, and $κ(F)$ is the Kodaira dimension of the normalization of $F$. Moreover, if $\dim X=2$ and $\dim Z=1$, we have a stronger inequality $κ(X)\geq κ(Z)+κ_1(F)$ where $κ_1(F)=κ(F,ω^o_F)$ is the Kodaira dimension of the dualizing sheaf $ω_F^o$.

연구 동기 및 목표

• 양의 특성에서 상대 차원 1인 피브레이션에 대해 코다이라 차원의 하위加법성(subadditivity)을 확립한다.
• 해소되지 않는 특이점과 약한 양의성의 실패로 인해 고전적 접근이 차단되는 문제를 다룬다.
• 표면 피브레이션에 대해 쌍대화선다발을 포함한 더 강력한 부등식을 증명한다.
• 데종의 교란을 사용하여 해소 대신 비용의 접근을 통해 비에흐웨그의 접근을 양의 특성으로 일반화한다.
• 정규화와 교란을 통한 안정 환원을 사용하여 일반 섹션의 특이성이 있을 경우에도 하위加법성 부등식이 성립함을 보여준다.

제안 방법

• 데종의 교란을 사용하여 $Z' \to Z$ 를 매끄럽게 하여, 그로 인해 인용된 피브레이션의 특이점이 완화되도록 한다.
• 피브레이션의 비안정 성분을 수축하여 안정 피브레이션 $f'' : X'' \to Z'$ 를 구성하며, 이때 $X''$ 는 유리 이중점(rational double points)을 가짐을 보장한다.
• 피브레이션 $X'' \to Z'$ 에서 상대 쌍대화선다발의 약한 양의성을 적용하여 $\kappa(X'', \omega_{X''/Z'}) \geq \kappa(\tilde{F})$ 를 유도한다. 여기서 $\tilde{F}$ 는 일반 섹션의 정규화이다.
• 인용된 쌍대화선다발을 비교하여 $\kappa(X'', \omega_{X''/Z'}) \leq \kappa(X', \omega_{X'/Z'}) \leq \kappa(X, \omega_{X/Z})$ 를 유도하며, 이는 정리 2.4 를 사용한다.
• 안정 곡선의 모듈리 이론과 수준 구조를 사용하여 유한하고 전사인 기저 변경 $Z_4' \to Z_4$ 를 구성한다. 이를 통해 피브레이션이 $\bar{M}_g^{(m)}$ 위의 보편 가족으로 올라가며, 추가 기저 변경 후 가족 간의 동형이 가능해진다.
• 해소 $\mu: X_5' \to X_5$ 를 구성하여 $R\mu_*\mathcal{O}_{X_5'} \cong \mathcal{O}_{X_5}$ 를 확보하고, $\nu: X_5' \to \bar{X}_5$ 를 사용하여 $R\nu_*\mathcal{O}_{X_5'} \cong \mathcal{O}_{\bar{X}_5}$ 를 통해 쌍대화선다발을 연결한다.

실험 결과

연구 질문

• RQ1 상대 차원 1인 피브레이션에 대해 양의 특성에서 코다이라 차원의 하위加법성 $\kappa(X) \geq \kappa(Z) + \kappa(F)$ 가 성립하는가?
• RQ2 표면 피브레이션 $f: S \to C$ 에 대해 $\kappa(S) \geq \kappa_1(F) + \kappa(C)$ 라는 더 강력한 부등식이 성립하는가?
• RQ3 특성 양에서 해소가 실패할 경우 비에흐웨그의 접근 방식을 어떻게 수정할 수 있는가?
• RQ4 교란과 안정 곡선의 모듈리 이론을 사용하여 제어 가능한 쌍대화선다발 행동을 가지는 안정 피브레이션을 구성할 수 있는가?
• RQ5 하위加법성에 있어 $f_*\omega_{X/Z}^l$ 의 약한 양의성이 필수적인가? 만약 그렇지 않다면, 양의 특성에서 어떤 대체 도구가 충분한가?

주요 결과

• 양의 특성에서 대수적으로 닫힌 체 위의 매끄럽고 사영인 다양체 사이의 분리 피브레이션 $f: X \to Z$ 에 대해 하위加법성 부등식 $\kappa(X) \geq \kappa(Z) + \kappa(F)$ 가 성립한다.
• 곡선 위로 피브레이션된 표면 $f: S \to C$ 에 대해 더 강력한 부등식 $\kappa(S) \geq \kappa_1(F) + \kappa(C)$ 가 성립하며, 여기서 $\kappa_1(F) = \kappa(F, \omega_F^o)$ 는 쌍대화선다발에 대한 코다이라 차원이다.
• 증명은 데종의 교란을 사용하여 $Z' \to Z$ 를 매끄럽게 하여, 그로 인해 인용된 피브레이션의 특이점이 완화되고 안정 환원이 가능하도록 한다.
• 안정 피브레이션 $X'' \to Z'$ 의 쌍대화선다발은 $\kappa(X'', \omega_{X''/Z'}) \geq \kappa(\tilde{F})$ 를 만족하며, 여기서 $\tilde{F}$ 는 일반 섹션의 정규화이다.
• 인용된 쌍대화선다발의 비교를 통해 $\kappa(X'', \omega_{X''/Z'}) \leq \kappa(X, \omega_{X/Z})$ 가 보장되어 하위加법성 경계가 유지된다.
• 특이점의 해소를 피하기 위해 안정 곡선의 모듈리 공간과 유한 전사 기저 변경을 사용하여 보편 가족과의 동형을 달성함으로써 쌍대화선다발 제어가 가능해진다.