[논문 리뷰] Average bounds for the $\ell$-torsion in class groups of cyclic extensions

Christopher Frei, Martin Widmer|arXiv (Cornell University)|2017. 09. 28.

Limits and Structures in Graph Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 임의의 수체의 순환 확장에서의 $\varepsilon$- torsion에 대해 조건 없는 비자명한 상계를 확립하며, 특정 가족의 거의 모든 수체에서 $\varepsilon$-torsion이 판별식의 어떤 거듭제곱보다도 느리게 증가함을 증명한다. 핵심 진전은 이전의 GRH 기반 조건부 결과를 높이 기반 수세기 및 여우 방법을 사용해 조건 없는 설정으로 확장한 것으로, 임의의 큰 차수를 가진 가족에서 기존의 자명한 상한을 초월하는 개선을 이룬다.

ABSTRACT

For all positive integers $\ell$, we prove non-trivial bounds for the $\ell$-torsion in the class group of $K$, which hold for almost all number fields $K$ in certain families of cyclic extensions of arbitrarily large degree. In particular, such bounds hold for almost all cyclic degree-$p$-extensions of $F$, where $F$ is an arbitrary number field and $p$ is any prime for which $F$ and the $p$-th cyclotomic field are linearly disjoint. Along the way, we prove precise asymptotic counting results for the fields of bounded discriminant in our families with prescribed splitting behavior at finitely many primes.

연구 동기 및 목표

• 수체 $K$의 순환 확장 가족에서의 $\varepsilon$-torsion 부분군 $\mathrm{Cl}_K[\ell]$ 에 대해 조건 없는 비자명한 상한을 확립하는 것.
• 일반화된 리만 가설(GRH) 기반의 이전 결과를 임의의 큰 차수를 가진 순환 확장 가족으로 조건 없는 설정으로 확장하는 것.
• 특정 순환 확장 가족의 거의 모든 수체에서 $\varepsilon$-torsion이 $D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 이하로 유계임을 증명하는 것. 이는 자명한 상한을 향상시킨다.
• 유한한 소수에서의 분해 행동을 고려한 유계 판별식을 가진 수체의 정확한 渐近 수세기 결과를 개발하여 여우 방법의 적용을 가능하게 하는 것.
• 특정 부분가족, 예를 들어 제어된 중간 체를 가진 가족에서 자명한 상한에 대한 개선이 비자명하고 양적으로 강화될 수 있음을 보여주는 것.

제안 방법

• 마할러 측도와 계수 노름을 통한 유계 높이를 가진 대수적 정수의 수를 추정하기 위해 높이 기반 수세기 방법을 사용한다.
• 판별식 제타 함수에 대한 윤곽선 적분을 적용하여 유한한 소수에서의 분해 행동을 고려한 유계 판별식을 가진 수체의 수에 대한 渐近 추정을 도출한다.
• 엘렌버그, 피어스, 우드의 체비셰프 여우 기법을 순환 확장 가족에 적응하여 수세기 결과를 클래스 군의 $\varepsilon$-torsion 상한으로 전환한다.
• 기하학적 수론과 수체의 산술적 성질을 연결하기 위해 $\eta(K/F) \leq D_K^\gamma$ 형태의 정밀한 높이 조건을 도입한다.
• 소수 분해 소수에 관한 보조정리 4.2와 渐近 수세기 결과를 조합하여 예외적 수체의 조밀도에서 거듭제곱 개선을 가능하게 하는 오차 항을 도출한다.
• 스하누엘의 정리와 유계 높이를 가진 다항식의 수에 대한 추정을 사용하여 $N_H(P_{\mathscr{F}}, X) \ll_{n,m} X^{n+1}$ 를 확립하며, 이는 주정리의 최종 상한에 필수적이다.

실험 결과

연구 질문

• RQ1 임의의 큰 차수를 가진 순환 확장 가족에 대해 $\varepsilon$-torsion에 대한 비자명하고 조건 없는 상한을 확립할 수 있는가?
• RQ2 엘렌버그와 벤카테슈의 GRH 기반 상한을 이러한 가족의 거의 모든 수체에 대해 조건 없이 얼마나 향상시킬 수 있는가?
• RQ3 작은 분해 소수의 존재와 제어된 높이 성장이 큰 $\varepsilon$-torsion을 가진 수체의 조밀도에 어떤 영향을 미치는가?
• RQ4 중간 체가 있는 가족에서 차수 $n$과 매개변수 $\ell$ 에 따라 자명한 상한에 대한 개선을 양적으로 기술할 수 있는가?
• RQ5 순환 확장 가족에 어떤 조건이 있어야 유계 높이를 가진 수체의 수가 너무 빨리 증가하지 않아 여우 방법에서 거듭제곱 개선 오차 항을 확보할 수 있는가?

주요 결과

• 모든 수체 $F$ 와 소수 $p$ 에 대해, $F$ 와 $p$-단위 원분체가 선형적으로 분리되어 있는 경우, 거의 모든 $F$ 에 대한 순환 차수 $p$ 확장에서의 $\varepsilon$-torsion은 $D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 이하로 유계이다. 여기서 $\gamma < 1/(p+1)$ 이다.
• 논문은 $\mathscr{F} = \mathscr{T}_{F,n}$ 인 경우, $D_K \leq X$ 이고 $\eta(K/F) \leq D_K^\gamma$ 를 만족하는 $K \in \mathscr{F}$ 의 수가 $O_{\mathscr{F},\lambda}(X^{\lambda\gamma})$ 임을 증명하며, 이는 체비셰프 여우를 통해 예외 집합을 제어할 수 있음을 보여준다.
• 만약 $\gamma$ 가 $1/(n+1)$ 에 가까이 선택되고 $\ell > 1/(\tilde{\delta}_0(n+1))$ 이라면, $\mathscr{F}$ 에 속한 수체의 100%에서 $\#\mathrm{Cl}_K[\ell] \ll D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 이 성립한다. 이는 판별식 기반으로 세는 경우이다.
• 이 방법은 자명한 상한 $D_K^{1/2 + \varepsilon}$ 에 비해 비자명한 개선을 이룬다. $D_K$ 의 지수는 $\min\{\gamma/\ell, \tilde{\delta}_0\}$ 만큼 감소하며, 충분히 큰 $\ell$ 에서는 이 값이 양수이다.
• 중간 체가 $\mathbb{Q}$ 에서 차수 $e$ 를 가진 $\mathscr{F}_{\mathbb{Q},n}(e)$ 부분가족의 경우, 상한은 $D_K^{1/2 - \min\{1/(\ell(e+n/e)), \tilde{\delta}_0\} + \varepsilon}$ 로 향상되며, $n = e^2$ 일 때 $n$ 에 대해 더 좋은 감쇠 속도를 가진다.
• 논문은 전체 가족 $\mathscr{F}_{F,n}$ 에서는 $N_H(P_{\mathscr{F}}, X) \ll X^\lambda$ 이며 $\lambda < 2$ 가 성립할 수 없다고 보여주며, 제어된 중간 체를 가진 부분가족에서는 이러한 추정이 가능하여 더 강력한 결과를 도출할 수 있음을 보여준다.