Finiteness for Étale Fundamental Groups of Néron Models

기술 요약: 네론 모델의 에탈 기본군의 유한성

문제 정의
본 논문은 수체 $K$ 위의 아벨 다양체의 네론 모델(Néron model)의 에탈 기본군(étale fundamental group)의 구조와 유한성 성질을 조사한다. 특히, $\pi_{1}^{\text{et}}(\mathcal{A}) \to \pi_{1}^{\text{et}}(\text{Spec } \mathcal{O}_K)$의 사상의 커널로 정의되는 "기하적(geometric)" 부분인 $\pi_{1}^{\text{et,geom}}(\mathcal{A})$에 초점을 맞춘다. 카츠(Katz)와 랭(Lang)이 $\mathbb{Q}$ 위의 아벨 다양체에 대해 전체 기본군의 유한성을 확립하였고, 보스트(Bost)와 샤를(Charles)이 타원 곡선의 정규 적분 모델(integral regular models)에 대한 유한성을 증명한 바 있으나, 임의의 수체 위 일반적인 아벨 다양체에 대한 기하적 부분군(geometric subgroup)의 유한성 문제는 여전히 미해결 과제로 남아 있었다. 본 논문의 목적은 이 부분군이 유한함을 증명하고, 그 크기가 차원과 기저 체에 의해서만 균등하게 유계(uniformly bounded)될 수 있는지 결정하는 것이다.

방법론
주요 전략은 네론 모델의 유한 에탈 피복(finite étale covers) 하에서의 팔팅스 높이(Faltings height)의 거동을 분석하는 것이다. 저자는 이소제니(isogeny)의 차수와 이소제니 관계에 있는 아벨 다양체들의 높이를 연결하는 팔팅스의 이소제니 공식(Faltings's isogeny formula)을 활용한다. 핵심 논증은 귀류법에 의해 진행된다. 만약 기하적 기본군이 무한하다면, 임의로 큰 차수를 갖는 유한 에탈 피복(즉, 이소제니)의 수열을 구성할 수 있다. 팔팅스의 공식에 따르면, 이러한 이소제니들은 임의로 작은 팔팅스 높이를 갖는 아벨 다양체들을 생성하게 된다. 이는 수체 위의 아벨 다양체에 대한 노트컷 성질(Northcott property), 즉 상계(constant) 이하의 높이를 갖는 아벨 다양체의 동형류(isomorphism classes)는 유한하다는 사실에 모순된다.

타원 곡선의 구체적인 경우를 위해, 방법론은 균등성을 확립하기 위해 정교화된다. 저자는 타원 곡선의 비틀림 부분군(torsion subgroup)의 크기를 고정된 수체 위에서 유계하는 메럴(Merel)의 균등 비틀림 정리(uniform torsion theorem)를 활용한다. 네론 모델의 유한 에탈 피복의 커널이 $K$의 힐베르트 클래스 필드(Hilbert class field) 위에서 정의되어야 함을 보임으로써, 문제를 이 특정 확장 위에서의 비틀림 점들을 유계하는 문제로 환원한다.

$\mathbb{Q}$ 위의 타원 곡수의 경우, 본 논문은 산술 기하학과 명시적 계산의 결합을 사용한다. 저자는 이소제니 하에서의 타원 곡선의 판별식(discriminant)을 분석하여, 차수가 $n$인 유한 에탈 피복의 경우 최소 판별식이 원래 판별식의 $n$제곱이 되어야 함을 보여준다. 이 조건은 실버만(Silverman)의 팔팅스 높이 공식 및 마주르(Mazur)의 비틀림 정리와 결합되어, 그러한 피복의 가능한 차수를 작은 정수 집합으로 제한한다. 차수가 7인 피복의 부존재는 $A^2 + B^3 = 1728C^7$이라는 방정식과 모듈러 곡선 $X(1)$의 기하학으로부터 도출된 조건들을 동시에 만족해야 하는 유리 점(rational point)의 존재로 해석함으로써 증명된다. 이는 $X(7)$의 특정한 트위스트(twist)를 구성하고, 국소 $p$-진 테스트(Sage 사용)를 수행하여 불합치성을 보여주는 과정을 포함한다.

주요 기여 및 결과

1. 일반적 유한성 (정리 1.1): 본 논문은 수체 $K$ 위의 차원 $g$인 임의의 아벨 다양체 $A$에 대하여, 네론 모델의 기하적 에탈 기본군 $\pi_{1}^{\text{et,geom}}(\mathcal{A})$이 유한군임을 증립한다. 이는 유한 에탈 피복의 차수가 유계됨을 보여줌으로써, 임의로 작은 팔팅스 높이가 존재할 수 없음을 입증함으로써 달성된다.

2. 타원 곡수에 대한 균등성 (정리 1.3): 타원 곡수의 경우, 유한성 결과는 균등한 유계성으로 강화된다. 본 논문은 임의의 타원 곡선 $E/K$에 대하여 $|\pi_{1}^{\text{et,geom}}(\mathcal{E})| \le C$를 만족하는 상수 $C$가 $K$에 의해서만 결정되는 방식으로 존재함을 증명한다. 이는 이소제니의 커널이 $\text{Spec } \mathcal{O}_K$의 유한 에탈 피복으로 퍼져 나감을 의미하며, 이는 커널의 점들이 힐베르트 클래스 필드 위에서 정의됨을 시사하고, 여기서 메럴의 정리가 적용된다.

3. $\mathbb{Q}$ 위의 명시적 분류 (정리 1.4): $\mathbb{Q}$ 위의 타원 곡수에 대해, 본 논문은 네론 모델의 가능한 에탈 기본군에 대한 완전한 목록을 제공한다. 군은 $N \in \{1, 2, 3, 5\}$인 $\mathbb{Z}/N\mathbb{Z}$와 동형이다.

   • $N=7$인 경우는 배제되었다. 증명은 차수 7의 유한 에탈 피복이 최소 판별식을 7제곱으로 만들어야 하며, 유리 7-비틀림 점의 존재를 요구함을 보여준다. $X(1)$과 방정식 $A^2 + B^3 = 1728C^7$을 분석함으로써, 저자는 국소 테스트를 통해 요구되는 환원 성질을 갖는 유효한 타원 곡선에 대응하는 그러한 유리 점이 존재하지 않음을 입증한다.
   • $N=4$인 경우는 특수 섬(special fiber)의 성분군(component groups)을 분석하고 실버만의 높이 공식을 사용하여 가법 환원(additive reduction)을 갖는 곡선에 대해 그러한 이소제니가 존재할 수 없음을 보임으로써 배제되었다.
   • $N=1, 2, 3, 5$인 경우에 대한 예시는 LMFDB(L-함수 및 모듈러 형식 데이터베이스)의 데이터를 사용하여 제공되며, 나열된 모든 경우가 실제로 실현됨을 확인한다.

의의
본 논문은 네론 모델의 기하적 에탈 기본군에 대한 근본적인 유한성 성질을 확립하며, 기존의 $\mathbb{Q}$에 대한 결과를 임의의 수체로, 그리고 정규 적분 모델에서 전체 네론 모델로 확장한다. 타원 곡수에 대해 이 그룹들이 유한하고 균등하게 유계됨을 증명함으로써, 이 연구는 이소제니의 산술, 네론 모델의 기하학, 그리고 비틀림 점의 분포를 연결한다. $\mathbb{Q}$ 위의 명시적 분류는 모듈러 곡선 이론과 디오판토스 분석의 합성을 통해 이러한 모델들의 가능한 대칭 구조(예: $\mathbb{Z}/7\mathbb{Z}$와 같은 구조)를 배제함으로써, 네론 모델의 전역적 구조에 대한 구체적인 이해를 제공한다. 결과는 산술 기하학의 표준 도구들(팔팅스 높이, 노트컷 성질, 메럴의 정리)에 의존하지만, 이를 네론 모델의 전역적 구조를 해결하기 위한 새로운 맥락에 적용하였다.