[논문 리뷰] Geometric height inequality on varieties with ample cotangent bundles

Atsushi Moriwaki|ArXiv.org|1993. 11. 10.

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

한 줄 요약

이 논문은 함수체 위의 쌍곡선적 코탄제이언트 번들의 임의성 조건을 만족하는 다양체에 대해 기하적 높이 부등식을 수립하며, 유리점의 높이가 로그 판별식에 대해 최대 선형적으로 증가함을 보인다. 이는 적절한 닫힌 부분집합을 제외한 영역에서 성립한다. 주요 결과는 특정 함수체에서 유리점의 존재하지 않음을 보여주는 노구치의 정리로 이어지며, 수론기하학에서의 추측적 유한성 성질을 확인한다.

ABSTRACT

Let F be a function field of one variable over an algebraically closed field of characteristic zero, X a geometrically irreducible smooth projective variety over F, and L a line bundle on X. In this note, we will prove that if the contangent bundle of X is ample and X is non-isotrivial, then there are a proper closed algebraic set Y of X and a constant A > 0 such that h_L(P) <= A d(P) + O(1) for all P \in X(\bar{F}) \ Y(\bar{F}), where h_L(P) is a geometric height of P with respect to L and d(P) is the geometric logarithmic discriminant of P. As corollary of the above height inequality, we can recover Noguchi's theorem, i.e. there is a non-empty Zariski open set U of X with U(F) = \emptyset.

연구 동기 및 목표

• 함수체 위의 다양체에서 유리점의 기하적 높이와 로그 판별식 간의 높이 부등식을 수립함.
• 쌍곡선적 코탄제이언트 번들을 가진 다양체에서 유리점의 산술적 성질을 조사함.
• 특정 함수체 설정에서 유리점의 존재하지 않음을 보여주는 노구치의 정리를 재구성함.
• 코탄제이언트 번지의 임의성 조건을 기하적 제약으로 활용하여 기존 수론기하학 결과를 확장함.

제안 방법

• 함수체 F 위의 매끄럽고 사영인 다양체 X에서 코탄제이언트 번지의 임의성 조건을 활용함.
• 기하적 높이 이론을 적용하여 선다발 L에 대한 점 P의 높이 h_L(P)을 정의함.
• 점 P의 산술적 복잡도를 측정하는 기하적 로그 판별식 d(P)를 도입함.
• 높이와 판별식 간의 비교를 통해, 적절한 닫힌 부분집합 Y 외부에서는 h_L(P) ≤ A·d(P) + O(1) 임을 보임.
• X가 F 위에서 비등변성임을 이용해 산술적 구조의 비퇴화를 보장함.
• 아라케로프 이론과 함수체 산술의 결과를 적용하여 부등식을 도출함.

실험 결과

연구 질문

• RQ1 쌍곡선적 코탄제이언트 번지를 가진 다양체에서 유리점의 기하적 높이는 그 판별식에 대해 어떻게 행동하는가?
• RQ2 이러한 다양체에 대해 높이와 판별식 간에 통일된 상한을 확립할 수 있는가?
• RQ3 코탄제이언트 번지의 임의성 조건이 함수체 설정에서 유리점의 유한성 또는 희박성을 암시하는가?
• RQ4 높이 부등식은 노구치의 정리에서처럼 유리점의 존재하지 않음을 어느 정도 암시하는가?
• RQ5 비등변성은 유리점의 산술적 성질을 제약하는 데 어떤 역할을 하는가?

주요 결과

• 기하적 높이 부등식이 성립함: 모든 P ∈ X(\bar{F})에서 적절한 닫힌 부분집합 Y를 제외한 영역에서 h_L(P) ≤ A·d(P) + O(1).
• 상수 A > 0는 다양체 X와 선다발 L에만 의존함.
• 이 부등식은 X의 코탄제이언트 번지가 임의적이며, X가 F 위에서 비등변임을 조건으로 성립함.
• 결과적으로 유리점은 높이와 판별식의 관점에서 희박함을 뜻하며, 이는 유한성 추측을 지지함.
• 보조정리로서, 노구치의 정리가 재구성됨: X의 비공집인 자리키 열린 부분집합 U가 존재하여 U(F) = ∅임.
• 증명은 기하적 양성(임의적 코탄제이언트 번지)과 함수체 내 산술 제약 조건 간의 상호작용에 기반함.