[논문 리뷰] Chevalley-Weil Theorem and Subgroups of Class Groups

Yuri Bilu, Jean Gillibert|arXiv (Cornell University)|2016. 06. 09.

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

한 줄 요약

이 논문은 수체 위의 에탈 커브의 쌍대체에 대해 체바르-베일 정리의 '절대적' 판본을 확립하며, 무분기 확장으로의 무한한 특수화를 증명한다. 임의의 크기의 $n$-랭크를 가진 환의 군을 갖는 수체를 구성하기 위해, 클래스 이론과 루트 단위에서의 아벨 군의 토크션 부분군을 사용한다. 이는 이전 방법에 비해 단위군의 영향을 제거함으로써 현저히 향상된 결과이다.

ABSTRACT

We prove, under some mild hypothesis, that an étale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the Chevalley-Weil theorem. Using this result, we are able to generalize the techniques of Mestre, Levin and the second author for constructing and counting number fields with large class group.

연구 동기 및 목표

• 수체 위의 에탈 커브에 대해 체바르-베일 정리의 절대적 판본을 확립한다.
• 단위군 랭크에 영향을 받지 않는 무한히 많은 수체 확장에서 클래스 군의 큰 $n$-랭크를 갖는다.
• 메스트, 레빈, 빌루의 방법을 일반화하고 개선하여 큰 클래스 군을 갖는 수체를 구성한다.
• 유계 판별식을 갖는 이러한 수체의 수에 대한 정량적 하한을 제공한다.
• 결과를 원분체와 페르마 유형의 곡선에 적용하여 높은 $p$-랭크 클래스 군을 갖는 명시적 구성법을 제시한다.

제안 방법

• 수체 위의 커브에 대한 에탈 쌍대체가 온전히 무분기 확장으로의 무한한 특수화를 갖는다는 것을, 약한 조건 하에 증명한다.
• 클래스 이론을 사용하여 특수화된 수체의 클래스 군의 $n$-랭크를 곡선의 아벨 군에서의 $\mu_n$-토션과 연결한다.
• $\operatorname{rk}_{\mu_n}J(\mathcal{C})$를 $\mathrm{Gal}(\bar{K}/K)$-부분군 중 $\mu_n^r$와 동형인 최대 랭크로 정의한다.
• 토르스 이론과 갈루아 쌍대체의 특수화 이론을 적용하여, 특수화된 수체의 클래스 군이 아벨 군으로부터 $\mu_n$-토션을 그대로 이어받도록 보장한다.
• $\mathcal{C} \to \mathbb{P}^1$의 차수 $d$ 사상에서 정의하는 함수 $t$를 사용하여 특수화를 매개변수화하고 판별식 성장률을 제어한다.
• 판별식 $\mathcal{D}(L/K) \leq X$를 갖는 이러한 수체의 수에 대해 $cX^{\ell/(2m(d-1))}/\log X$의 정량적 하한을 유도한다. 여기서 $\ell = [K:\mathbb{Q}]$이다.

실험 결과

연구 질문

• RQ1 고정된 차수를 갖는 무한히 많은 수체 확장에서 단위군 랭크에 영향을 받지 않고 임의로 큰 $n$-랭크를 갖는 클래스 군이 존재하는가?
• RQ2 이전의 구성에서 단위군 랭크의 부정적 기여를 새로운 코homological 또는 클래스 이론적 접근을 통해 제거할 수 있는가?
• RQ3 기저 수체 위의 곡선의 아벨 군에서의 $\mu_n$-토션은 수체의 클래스 군의 $n$-랭크를 어느 정도 제어할 수 있는가?
• RQ4 고정된 차수의 모든 확장 중에서 큰 $n$-랭크 클래스 군을 갖는 수체의 점근 밀도는 어떻게 되는가?
• RQ5 특수화가 차수에 대해 선형적인 $p$-랭크 클래스 군을 갖는 수체를 생성하는 명시적 곡선의 가람을 구성할 수 있는가?

주요 결과

• 차수 $d$를 갖는 무한히 많은 수체 $L/K$가 존재하여 $\operatorname{rk}_n\operatorname{Cl}(L) \geq \operatorname{rk}_{\mu_n}J(\mathcal{C}) + \operatorname{rk}_n\operatorname{Cl}(K)$이며, 이때 단위군의 영향이 없다.
• 소수 $p \geq 3$이고 $d \leq p-1$일 때, $K$가 $\zeta_p$를 포함하면 $[L:K] = d$이고 $\operatorname{rk}_p\operatorname{Cl}(L) \geq 3 + \operatorname{rk}_p\operatorname{Cl}(K)$인 무한히 많은 확장 $L/K$가 존재한다.
• $K$가 $\zeta_p$를 포함할 때, 곡선 $y^p = x^{d-1}(1-x)$는 $\operatorname{rk}_{\mu_p}J(\mathcal{C}) \geq d-1$를 유도하며, 이는 무한히 많은 $L$에 대해 $\operatorname{rk}_p\operatorname{Cl}(L) \geq d-1 + \operatorname{rk}_p\operatorname{Cl}(K)$를 암시한다.
• 판별식 $\mathcal{D}(L/K) \leq X$를 갖는 이러한 수체 $L$의 수는 $cX^{\ell/(2m(d-1))}/\log X$ 이상이며, 여기서 $\ell = [K:\mathbb{Q}]$이고 $c > 0$는 곡선과 함수에 의존한다.
• 결과는 메스트의 구성법을 회복하고 개선한다: $K = \mathbb{Q}$일 때, 이 방법은 무한히 많은 이차 수체 $L$에 대해 $\operatorname{rk}_5\operatorname{Cl}(L) \geq 3$를 보장하며, 판별식이 $X$ 이하인 경우 $cX^{\ell/22}$개의 수체를 생성한다.
• 이 방법은 이전의 쿠머 이론적 접근에서 나타나는 단위군 항을 피함으로써 $K \neq \mathbb{Q}$인 경우에도 적용 가능하다.