[논문 리뷰] Boundedness in families with applications to arithmetic hyperbolicity

Raymond van Bommel, Ariyan Javanpeykar외 1명|arXiv (Cornell University)|2019. 07. 25.

Meromorphic and Entire Functions인용 수 4

한 줄 요약

이 논문은 비어 있지 않은 불규칙성을 가진 프로젝티브 정규 표면에 대해 체 확장에 따른 산술적 허브리시티의 유지성을 증명하며, 준아벨 다양체의 유계성 성질을 활용하고, 새로운 개념인 가짜-대수적 허브리시티를 도입한다. 이는 다수의 초점 문제인 Demailly, Green–Griffiths, Lang, Vojta의 추측을 뒷받침하는 강력한 증거를 제공한다. 핵심 허브리시티 조건—대수적 허브리시티, 유계성, 군 무결성—이 일반화 및 아르티노-카운터블 열린 성질을 갖는다는 것을 증명한다.

ABSTRACT

Motivated by conjectures of Demailly, Green-Griffiths, Lang, and Vojta, we show that several notions related to hyperbolicity behave similarly in families. We apply our results to show the persistence of arithmetic hyperbolicity along field extensions for projective normal surfaces with nonzero irregularity. These results rely on the mild boundedness of semi-abelian varieties. We also introduce and study the notion of pseudo-algebraic hyperbolicity which extends Demailly's notion of algebraic hyperbolicity for projective schemes.

연구 동기 및 목표

• 프로젝티브 다양체 가족 내에서 대수적 허브리시티, 유계성, 군 무결성, 일반 유형 등의 허브리시티 개념의 행동을 조사한다.
• Demailly–Green–Griffiths–Lang–Vojta 추측에 대한 증거를 제공하기 위해, 허브리시티 조건이 아르티노-카운터블 열린 성질을 가지며 일반화에 대해 안정적임을 보인다.
• 비어 있지 않은 불규칙성을 가진 프로젝티브 정규 표면에 대해 체 확장에 따른 산술적 허브리시티의 유지성을 확립한다.
• Demailly의 개념을 확장하여, 아르티노-닫힌 예외적 국소를 允허용하는 새로운 개념인 가짜-대수적 허브리시티를 도입하고, 이를 연구한다.
• 특히 기수체와 유한형 Hom-스킴의 맥락에서, 닫힌 부분스킴에 모odulo된 유계성의 성질이 기저 변경과 유도에 대해 잘 작동함을 보인다.

제안 방법

• 프로젝티브 다양체로의 사상 가족을 제어하기 위해 준아벨 다양체의 약한 유계성 성질을 기본 도구로 사용한다.
• Silverman의 전문화 정리를 적용하여, 닫힌 섬유에서의 유계성으로부터 기하적 일반 섬유에서의 유계성을 유도한다.
• 굽힘-깨뜨리기 기법과 힐베르트 다항식 제어를 활용하여, 다항식에 의해 나누어진 다양체로의 곡선 사상의 유한성을 증명한다.
• 모든 부분다양체가 일반 유형임을 보장하는 점들의 집합이 일반화에 대해 안정적임을 보여, 허브리시티 국소의 아르티노-카운터블 열린 성질을 확립한다.
• 유계성의 일반화를 위해 닫힌 부분스킴 $\Delta$에 모odulo된 $(n,1)$-유계성의 개념을 도입한다.
• 차원에 대한 귀납법과 Hom-스킴의 유한성으로, $X$가 $\Delta$에 모odulo된 $(1,1)$-유계성이라면 모든 $n$에 대해 $(n,1)$-유계성임을 증명한다.

실험 결과

연구 질문

• RQ1 가족 내에서 대수적으로 허브리시티이거나 유계인 프로젝티브 다양체의 국소는 아르티노 위상에서 열린가?
• RQ2 비어 있지 않은 불규칙성을 가진 프로젝티브 정규 표면에 대해 체 확장에 따라 산술적 허브리시티가 유지되는가?
• RQ3 대수적 허브리시티 개념을 아르티노-닫힌 예외적 국소를 가진 다양체로 확장할 수 있으며, 이는 어떤 유한성 성질을 유도하는가?
• RQ4 유한체 특성 0에서의 프로젝티브 다양체 가족 내에서 유계성, $(n,m)$-유계성, 군 무결성의 개념이 일반화에 대해 안정적인가?
• RQ5 $X$가 $\Delta$에 모odulo된 $(1,1)$-유계성이라면, 모든 $n$에 대해 $(n,1)$-유계성인가?

주요 결과

• 모든 정수 닫힌 부분다양체가 일반 유형인 프로젝티브 다양체의 국소는 일반화에 대해 안정적이며, 이는 Demailly–Green–Griffiths–Lang–Vojta 추측을 향한 핵심 단계를 확인한다.
• 비어 있지 않은 불규칙성을 가진 프로젝티브 정규 표면에 대해 체 확장에 따른 산술적 허브리시티가 유지되며, 준아벨 다양체의 유계성과 기저 변경 기법을 통해 이를 증명한다.
• 기수체 $L$에서 $X_L$는 $\Delta_L$에 모odulo된 유계성임이 보장되며, 이는 $X$가 체 $k$에서 $(1,1)$-유계성임에 기인하고, 유한성 및 힐베르트 다항식 제어에 기반한다.
• 만약 $X$가 $\Delta$에 모odulo된 $(1,1)$-유계성이라면, 모든 $n \geq 1$에 대해 $(n,1)$-유계성임이 유도되며, 이는 굽힘-깨뜨리기 기법과 귀납법 및 모순에 기반한다.
• 모든 프로젝티브 정수 다양체 $Y$에서 프로젝티브 가짜-대수적 허브리시티 스킴 $X$로의 전사 사상의 집합은 유한하다. 이는 가짜 설정에서의 유한성 성질을 확인한다.
• 가짜-대수적 허브리시티의 개념은 모든 유리 곡선이 예외적 국소 $\Delta$에 포함되며, 기수체 $L$에서 $X_L$가 $\Delta_L$에 모odulo된 유계성임을 보장한다.