[논문 리뷰] Ample Divisors, Automorphic Forms and Shafarevich's Conjecture

Andrey Todorov, Jay Jorgenson|ArXiv.org|2000. 04. 07.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 5

한 줄 요약

이 논문은 고정된 대수적 곡선 위에서 주어진 특이 섬유를 갖는 극화된 대수적 K3 및 에리퀘르스 표면의 가닥의 유한성을 위한 일반 기준을 수립한다. 모듈리 공간의 Baily-Borel 컴actsification에서의 판별자수(divisor)가 앰플(ample)임을 보임으로써, 저자들은 이러한 가닥들이 동형사상에 대해 유한함을 증명하며, 이는 기하학적 및 산술적 방법을 활용한 모듈리 이론을 통해 이러한 표면들에 대한 샤파레비치의 추측의 고차원 해석을 증명한다.

ABSTRACT

In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose that in some projective smooth compactification of the coarse moduli the discriminant divisor supports an ample one, then it is not difficult to see that this fact implies the analogue of Shafarevich's conjecture. In this article we apply this method to certain polarized algebraic K3 surfaces and also to Enriques surfaces.

연구 동기 및 목표

• 고정된 곡선 위에서 주어진 특이 섬유를 갖는 극화된 대수적 곡면의 가닥의 유한성을 위한 일반 기준을 수립하는 것.
• 샤파레비치의 추측을 K3 및 에리퀘르스 표면에 대해 고차원으로 확장하는 것.
• Baily-Borel 컴actsification의 모듈리 공간에서 판별자수(divisor)가 앰플일 경우, 이러한 가닥들의 집합이 유한함을 보이는 것.
• 이 기준을 고정된 차수의 가짜극화 K3 표면과 극화된 에리퀘르스 표면에 적용하는 것.
• 모듈리 공간이 앰플 조건 하에서 준아핀(quasi-affine) 또는 아핀(affine)일 경우, 이는 가닥의 등지적(Isotriviality) 또는 유한성으로 이어진다는 것을 보여주는 것.

제안 방법

• 저자들은 가짜극화 K3 표면과 에리퀘르스 표면의 모듈리 공간의 Baily-Borel 컴actsification을 사용하여 판별자수 D를 분석한다.
• 판별자수 D가 컴actsification 내에서 앰플인 다발을 지지할 경우, 모듈리 공간이 준아창(quasi-affine)임을 증명한다.
• 핵심 논증은 프로젝티브 곡선에서 준아창 다양체로의 힐베르트 지apap( holomorphic map)는 반드시 상수일 수밖에 없다는 사실에 기반한다. 이는 가닥의 유한성을 암시한다.
• 이 방법은 차수 2d의 극화를 갖는 K3 표면의 모듈리 공간과 H-마킹된 극화를 갖는 에리퀘르스 표면의 모듈리 공간에 적용된다.
• 유한 커버와 당김을 이용하여 문제를 판별자수의 앰플성 조건를 확보할 수 있는 설정으로 축소한다.
• 저자들은 히오지 이론, 주기 지도(period maps), 그리고 헤르미트 대칭 도메인의 기하학을 활용하여 모듈리 공간의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 특이 섬유가 고정된 부분에 존재하는 고정된 곡선 C 위의 극화된 K3 표면 가닥의 동형류 집합이 유한해지는 조건은 무엇인가?
• RQ2 Baily-Borel 컴actsification의 모듈리 공간에서 판별자수(divisor)의 앰플성 조건이 이러한 가닥들의 유한성으로 이어지는가?
• RQ3 모듈리 공간의 준아창성(quasi-affineness)이 곡선 위의 대수적 표면 가닥의 기하학을 얼마나 통제하는가?
• RQ4 판별자수의 앰플성 조건이 특이 섬유가 없는 가닥의 등지적(Isotriviality)을 유도하는가?
• RQ5 주기 지도(period map)와 Baily-Borel 컴actsification의 성질이 에리퀘르스 표면 가닥의 유한성에 어떻게 제약을 가하는가?

주요 결과

• Baily-Borel 컴actsification에서 판별자수(divisor)가 앰플일 경우, 고정된 곡선 C 위에서 고정된 부분 E 위에 특이 섬유를 갖는 가짜극화 K3 표면의 가닥의 동형류 집합 Sh(C,E,Z)는 유한하다.
• 차수 2d의 극화된 에리퀘르스 표면에 대해서도 동일한 조건 하에서 집합 Sh(C,E,Enr)는 유한하다. 이는 H-마킹된 경우로의 환원과 유한 커버의 활용을 통해 증명된다.
• H-마킹된 에리퀘르스 표면의 모듈리 공간은 준아창이므로, 이에 대한 프로젝티브 곡선에서의 모든 힐베르트 지압은 상수일 수밖에 없으며, 이는 유한성을 암시한다.
• 유한 사상에 의한 판별자수의 당김은 여전히 앰플이므로, 이 유한성 결과는 원래의 모듈리 공간으로 내림내릴 수 있다.
• 컴팩트리케이션에서 판별자수의 앰플성 조건은 모듈리 공간이 준아창임을 의미하며, 이는 특이 섬유가 없는 경우 어떤 곡선 위의 가닥도 반드시 등지적(Isotrivial)이어야 함을 강제한다.
• 저자들은 곡선의 모듈리 공간 내 이미지가 불변 메트릭 하에서 유계된 부피를 갖는다는 것을 증명하며, 이는 앰플성 조건과 결합하여 동형류 수의 유한성을 보장한다.