[논문 리뷰] Arakelov-Nevanlinna inequalities for variations of Hodge structures and applications

Damian Brotbek, Yohan Brunebarbe|arXiv (Cornell University)|2020. 07. 25.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 9

한 줄 요약

이 논문은 복소 극형 변환의 변형에 대한 아라켈로프 부등식의 네바린나 이론적 유사체를 수립하며, $X\setminus D$가 복소 극형 변환의 Hodge 구조에 대한 변형을 지닌 로그-매끄러운 쌍 $(X,D)$에 대해 제2의 주요 정리 유형의 부등식을 증명한다. 주요 결과는 그리피스-슈마이드 메트릭의 특성 함수를 기저의 초월성 불변량에 대해 유계함으로써, 나델의 결과를 일반화하는 초월성 기준을 이끌어낸다.

ABSTRACT

We prove a Second Main Theorem type inequality for any log-smooth projective pair $(X,D)$ such that $X\setminus D$ supports a complex polarized variation of Hodge structures. This can be viewed as a Nevanlinna theoretic analogue of the Arakelov inequalities for variations of Hodge structures due to Deligne, Peters and Jost-Zuo. As an application, we obtain in this context a criterion of hyperbolicity that we use to derive a vast generalization of a well-known hyperbolicity result of Nadel. The first ingredient of our proof is a Second Main Theorem type inequality for any log-smooth projective pair $(X,D)$ such that $X\setminus D$ supports a metric whose holomorphic sectional curvature is bounded from above by a negative constant. The second ingredient of our proof is an explicit bound on the holomorphic sectional curvature of the Griffiths-Schmid metric constructed from a variation of Hodge structures. As a byproduct of our approach, we also establish a Second Main Theorem type inequality for pairs $(X,D)$ such that $X\setminus D$ is hyperbolically embedded in $X$.

연구 동기 및 목표

• Hodge 구조의 변형에 대한 아라켈로프 부등식의 네바린나 이론적 유사체를 수립하기 위해.
• 파라볼릭 리만 곡면에서 로그-매끄러운 쌍으로의 사상에 대한 초월성 기준을 도출하기 위해.
• 초월적으로 통합된 다양체의 경우에 새로운 부등식을 적용하여 나델의 초월성 결과를 일반화하기 위해.
• 그리피스-슈마이드 메트릭의 곡률 유계 조건을 통해 분석적 및 대수적 제2의 주요 정리를 통합하기 위해.
• Kobayashi-Royden 메트릭과 곡률 비교를 사용하여 $X\setminus D$ 가 $X$ 안에 초월적으로 통합된 경우에 대해 제2의 주요 정리를 증명하기 위해.

제안 방법

• 증명은 곡률이 음수 상한을 가진 메트릭에 대한 제2의 주요 정리 부등식과 Hodge 구조의 변형에서 유도된 그레피스-슈마이드 메트릭의 명시적 곡률 유계 조건을 조합한다.
• 저자들은 비유한 파라볼릭 리만 곡면 $B$ 위의 파라볼릭 체점 함수 $\sigma$를 사용하여 가중 카르테시안 특성 $\mathfrak{X}_{B,\sigma}(r)$를 정의한다.
• 홀로모르픽 사상 $f: B \to X$에 대해, 선다발 곡률의 풀백을 사용하여 Nevanlinna 특성 함수 $T_{f,L}(r)$ 와 수세기 함수 $N^{[1]}_{f,D}(r)$를 정의한다.
• 그리피스-슈마이드 메트릭의 곡률 유계 조건은 주로 유니포텐트 단조성과 Hodge 번들의 표준 델리뉴-슈마이드 확장의 성질로부터 도출된다.
• 주요 부등식은 $T_{f,\bar{L}_{\mathbb{V}}}(r)$ 와 $-\mathfrak{X}_{B,\sigma}(r) + N^{[1]}_{f,D}(r)$ 사이의 비교를 다루며, $T_{f,A}(r)$ 와 $\log r$ 를 포함하는 하위항이 포함된 형태로, 유한 측도의 보렐 집합 외부에서 유효하다.
• 초월적으로 통합된 경우에 대해 증명은 Kobayashi-Royden 메트릭의 거리 감소 성질과 형태 $\omega_U$ 를 통한 표준 네바린나 특성 함수와의 비교를 사용한다.

실험 결과

연구 질문

• RQ1 로그-매끄러운 쌍에서 Hodge 구조의 변형에 대해 네바린나 이론적 제2의 주요 정리가 수립될 수 있는가?
• RQ2 그리피스-슈마이드 메트릭의 해석적 섹션 곡률이 네바린나 특성 함수의 성장에 어떤 제약을 끼치는가?
• RQ3 Hodge 이론적 자료의 맥락에서 아라켈로프-네바린나 부등식으로부터 도출되는 초월성 기준은 무엇인가?
• RQ4 분석적 제2의 주요 정리가 $X\setminus D$ 가 $X$ 안에 초월적으로 통합된 경우로 확장될 수 있는가?
• RQ5 새로운 부등식이 대수적 다양체에 대한 나델의 초월성 결과를 어느 정도 일반화하는가?

주요 결과

• 논문은 임의의 비상수 홀로모르픽 사상 $f: B \to X$ 에 대해, 파라볼릭 리만 곡면 $B$ 에서 정칙적 복소 프로젝티브 다양체 $X$ 로의 사상이 정규 교차 분할자 $D$ 를 피하는 경우, $T_{f,\bar{L}_{\mathbb{V}}}(r) \leq \frac{w^2 \cdot \operatorname{rank}\mathcal{L}}{4} \left( -\mathfrak{X}_{B,\sigma}(r) + N^{[1]}_{f,D}(r) \right) + C(\log r + \log T_{f,A}(r))$ 가 유한 측도의 보렐 집합 외부에서 성립함을 증명한다.
• 그리피스-슈마이드 메트릭의 곡률 유계 조건은 해석적 섹션 곡률 기준으로 $\leq -\frac{1}{2}$ 로 명시적으로 도출되며, 이는 네바린나 이론의 적용을 가능하게 한다.
• 초월적으로 통합된 $X\setminus H$ 에 대해, 부등식 $T_{f,A}(r) \leq_{\rm exc} \alpha_{\rm an}(N^{(1)}_{f,H}(r) - \mathfrak{X}_{\sigma}(r)) + O(\log r)$ 가 성립하며, 여기서 $\alpha_{\rm an} = \frac{\pi}{2\eta(1-\varepsilon)}$ ($\varepsilon > 0$) 이며, $\eta$ 는 초월적 통합을 제어한다.
• 대수적 형태의 부등식은 프로젝티브 곡선에 대해 $\deg f^*A \leq \alpha_{\rm alg}(\deg(f^*H)_{\rm red} - \chi(B))$ 를 유도하며, $\alpha_{\rm alg} = \frac{\pi}{2\eta}$ 이며, 패센자와 루소의 추측을 확인한다.
• 이 방법은 곡률 및 메트릭 비교 기법을 통해 분석적 및 대수적 제2의 주요 정리를 통합하는 일반적인 프레임워크를 제공한다.
• 결과적으로 나델의 초월성 정리가 확장되며, $X\setminus D$ 가 유니포텐트 단조성을 가진 Hodge 구조의 변형을 지닌다면, 임의의 비상수 파라볼릭 리만 곡면에서 $X$ 로의 사상이 $D$ 를 피할 경우 강력한 성장 제약 조건을 만족하며, 이는 광범위한 의미에서의 초월성을 암시한다.