[논문 리뷰] The Shafarevich conjecture revisited: Finiteness of pointed families of polarized varieties

Ariyan Javanpeykar, Ruiran Sun외 1명|arXiv (Cornell University)|2020. 05. 12.

Algebraic Geometry and Number Theory참고 문헌 58인용 수 12

한 줄 요약

이 논문은 극화된 대상의 점이 부여된 가 Families 의 유한성 결과를 증명하며, 특정 조건 하에서 곡선에서 모듈리 공간으로의 비상수 사상의 수가 유한하다는 것을 보여준다. 핵심 기여는 캐논적 극화된 대상에 대한 샤파레비치 추측의 새로운 형태를 제안하고, 초구형성과 변형 이론적 기법을 통해 이를 검증하며, 모듈리 공간에서의 정수점과 내성 추측에의 적용을 가능하게 한다.

ABSTRACT

Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to the finiteness of integral points on moduli spaces of polarized varieties.

연구 동기 및 목표

• 곡선에 대한 아라켈로프-파르신의 유한성 정리의 일반화로서, 극화된 대상의 점이 부여된 가 Families 의 유한성 결과를 확립하는 것.
• 약한 유계성과 초구형성을 사용하여 극화된 대상의 모듈리 공간에 대한 내성 추측을 검증하는 것.
• 유한 생성 체 위에서 극화된 대상의 모듈리 공간에서의 정수점의 유한성을 증명함으로써 수론적 응용을 제공하는 것.
• 점이 부여된 가 Families 의 유한성과 하이퍼볼릭 대상 및 정수점에 관한 롱-보타 추측을 연결하는 것.

제안 방법

• 고정된 힐베르트 다항식을 가진 극화된 대상을 매개변수화하는 유한 차원 델 라 마스터 링크 스택을 구성하기 위해 힐베르트 스킴 이론과 마츠사카의 큰 정리 이론을 사용한다.
• 기저 다양체 위에서의 가 Family 의 기하학을 제어하기 위해 변형 이론과 히그 번들의 기법을 적용한다.
• 아라켈로프 부등식과 캐논적 번들의 준-강가역성 조건을 활용하여 곡선에서 모듈리 공간으로의 사상에 대한 유한성 조건을 도출한다.
• 분류 사상의 준유한성( quasi-finite )을 이용하여, 곡선 $C$ 에서 다양체 $U$ 로의 비상수 사상에 대한 문제를 고정된 목표 점이 있는 경우로 환원한다.
• 모듈리 공간의 약한 유계성을 확립하기 위해, 임의의 곡선 $C$ 와 충분히 많은 표식점이 주어질 때, 고정된 이미지를 가진 $U$ 로의 올림이 유한함을 보인다.
• 유한성 결과를 수학적 초구형성 다양체 이론과 체 확장 이론을 통해 내성 추측과 결합한다.

실험 결과

연구 질문

• RQ1 고차원 모듈리 공간에 대해, 점이 부여된 극화된 대상의 가 Families 의 유한성은 고전적 샤파레비치 추측을 일반화하는가?
• RQ2 유계성 성질을 사용하여 캐논적 극화된 대상의 모듈리 공간에 대한 내성 추측을 검증할 수 있는가?
• RQ3 극화된 대상의 모듈리 공간의 초구형성이, 유한 생성 체 위에서 정수점의 유한성에 얼마나 강하게 영향을 미치는가?
• RQ4 고정된 목표 점이 있는 곡선에서 모듈리 공간으로의 비상수 사상의 유한성은 캐논적 번들의 양성과 변형 이론의 결과인가?

주요 결과

• 고정된 $N$ 개의 점 $c_i$ 에 대해 $f(c_i) = u_i$ 를 만족하는 비상수 사상 $f: C \to U$ 의 집합은 $N \nleq \frac{\deg h - 1}{2}(2g(\overline{C}) - 2 + \#(\overline{C} \setminus C))$ 일 때 유한하다. 이는 샤파레비치 추측의 점이 부여된 형태를 증명한다.
• 히르베르트 다항식 $h$ 를 가진 극화된 대상의 모듈리 공간 $\mathcal{M}_h$ 는 약한 유계성을 가진다. 즉, 임의의 곡선 $C$ 와 충분히 많은 표식점이 주어지면, 고정된 이미지를 가진 $U$ 로의 사상의 수는 유한하다.
• 모듈리 공간 $\mathcal{M}_h$ 에 대한 내성 추측은, 임의의 대수적으로 닫힌 체 $k$ 에서의 특성 0 인 체 위에서, $\mathcal{M} \otimes_{\mathbb{Q}} k$ 로의 준유한 사상이 존재하는 모든 다양체 $U$ 에 대해 성립한다. 이는 체 확장에서 수학적 초구형성을 보장한다.
• 로렌스-사윈의 매끄러운 아벨 기반의 초구형 곡면에서의 정수점에 대한 유한성 결과를, 유한 생성 체로 일반화하는 데 내성 추측을 통해 성취된다.
• 증명은 비에흐베그-쯔오가 증명한 캐논적 극화된 대상의 모듈리 공간의 초구형성과 고정된 섹션 조건 하에서 가 가중치의 유계성에 기반한다.
• 성분 수 $g \geq 2$ 인 곡선에 대해, $h(t) = (2g-2)t + (1-g)$ 이고 $N=0$ 일 때 고전적 샤파레비치 추측이 특수한 경우로 복원된다.