Consecutive pure fields of the form $\mathbb{Q}\left(\sqrt[l]{a}\right)$ with large class numbers

기술 요약: 큰 계수(Class Number)를 갖는 형태 $\mathbb{Q}(\sqrt[l]{a})$의 연속적인 순수 체(Pure Fields)

문제 정의
본 논문은 임의로 큰 계수를 갖는 연속적인 순수 수체(pure number fields)의 존재성을 확립하는 문제를 다룬다. 이전 연구들은 이차체($l=2$)와 순수 삼차체($l=3$)에 대해 성공적으로 결과를 보여주었으며, 구체적으로 $d \le x$인 정수 $d$가 적어도 $x^{1/2-o(1)}$개 및 $x^{1/3-o(1)}$개 존재함을 보였다. 반면, 소수 차수 $l \ge 3$인 순수 체에 대한 일반화는 미해결 상태로 남아 있었다. 저자들은 고정된 양의 정수 $k$와 유리 소수 $l \ge 3$에 대하여, 연속적인 순수 체 $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k})$가 임의로 큰 계수를 갖도록 하는 정수 $1 \le d \le x$가 적어도 $x^{1/l-o(1)}$개 존재함을 증명하고자 한다.

방법론 및 가정
증명은 해석적 정수론, 랭글랜즈 프로그램(Langlands program), 그리고 레귤레이터(regulator)의 크기에 관한 특정 가정들의 결합에 의존한다.

1. 랭글랜즈 추측(Langlands Conjecture): 저자들은 아르틴 $L$-함수(Artin $L$-functions)를 오토모픽 표현(automorphic representations)과 연관시키기 위해 랭글랜즈 추측([Bum97, Conjecture 1.8.1])을 인용한다. 이를 통해 클래스 수 공식(class number formula)을 순수 체의 갈루아 폐체(Galois closure)와 관련된 오토모픽 표현 $\tilde{\pi}$에 대한 $L(1, \tilde{\pi}_{d_K})$로 표현할 수 있다.
2. 가설 1 (레귤레이터 상한): 방법론의 핵심 구성 요소는 $a = n^l + r$ (단, $r | l n^{l-1}$)인 경우의 체 $\mathbb{Q}(\sqrt[l]{a})$의 레귤레이터 $R_{\mathbb{Q}(\sqrt[l]{a})}$에 대한 상한을 상정하는 가설 1이다. 이 가설은 다음과 같이 기술된다:
   $$R_{\mathbb{Q}(\sqrt[l]{a})} = o\left(\sqrt{D_{\mathbb{Q}(\sqrt[l]{a})} \log \log D_{\mathbb{Q}(\sqrt[l]{a})}}\right)$$
   저자들은 란다우(Landau)의 상한이 더 큰 추정치($O(\sqrt{D} \log^{l-1} D)$)를 제공하지만, 이는 $l > 3$인 경우 임의로 큰 계수를 증명하기에는 불충분하다고 언급한다. 저자들은 가설 1을 뒷받침하는 $l=5$에 대한 계산적 근거를 제시하나, 이 상한에 대한 엄밀한 증명이 여전히 미해결 과제로 남아 있음을 인정한다.
3. 영역 부재 영역(Zero-Free Regions): Duke와 Daileda의 결과에 대한 유사성을 사용하여, 저자들은 관련 $L$-함수의 영 영역(zero-free regions)을 설정하며, 이를 통해 $L(1, \tilde{\pi})$를 $(\log D)^\epsilon$에서 절단된 디리클레 급수(Dirichlet series)로 근사할 수 있게 한다.
4. 체 거름법(Sieve Methods) 및 유수 클래스(Residue Classes): 증명은 특정 소수 $q$의 곱에 대한 유수 클래스를 사용하여 특정 정수 $d$를 구성한다. $d$를 특정 유수 클래스로 선택함으로써, 생성된 체들에 대해 디스크리미넌트 $D_j$가 특정 분할 조건(즉, $D_j$가 특정 소수들에 대해 $l$제곱 잔여(residue)임)을 만족하도록 보장한다. 이는 $L$-함수 전개에서의 캐릭터 합(character sums)이 커지도록 강제한다.

주요 기여 및 결과
본 논문은 주요 결과인 **정리 2(Theorem 2)**를 제시한다. 랭글랜즈 추측과 가설 1의 가정하에, 저자들은 다음을 증명한다:

• 고정된 정수 $k$와 소수 $l \ge 3$에 대하여, 연속적인 순수 체 $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k}]$가 임의로 큰 계수를 갖도록 하는 정수 $1 \le d \le x$가 적어도 $x^{1/l-o(1)}$개 존재한다.
• 구체적으로, 계수는 다음과 같은 하한을 만족한다:
  $$h_{\mathbb{Q}(\sqrt[l]{d+j})} \gg_k \frac{\sqrt{d} \log \log d}{R_{\mathbb{Q}(\sqrt[l]{d+j})}}$$
  가설 1 하에서, 이 비율은 $d \to \infty$일 때 임의로 커진다.

또한 본 논문은 $L(1, \tilde{\pi}_{d_K})$의 근사인 명제 2.1 (최대 $O(x^{1/4})$개의 예외를 가짐)과 필요한 분할 동작을 보장하는 적절한 유수 클래스의 존재성을 확립하는 보조정리 3.1 및 3.2를 제공한다.

의의 및 주장
저자들은 본 연구를 순수 삼차체에 관한 Byeon과 Yhee(2024)의 최근 결과 및 이차체에 관한 Cherubini 등의 초기 연구에 대한 일반화로 위치시킨다. 의의는 이 밀도 결과($x^{1/l-o(1)}$)를 임의의 소수 차수 $l \ge 3$로 확장했다는 점에 있다.

저자들은 결과의 비조건적(unconditional) 성격에 대해 신중한 태도를 취한다. 저자들은 증명이 다음 사항들에 의존한다고 명시적으로 밝힌다:

1. 관련 오토모픽 표현에 대한 랭글랜즈 추측.
2. $\mathbb{Q}(\sqrt[l]{n^l+r})$ 형태의 순수 체의 레귤레이터 상한에 관한 특정 추측인 가설 1.

저자들은 가설 1 없이는 $l > 3$인 경우 임의로 큰 계수를 보장하기 위해 알려진 란다우의 레귤레이터 상한이 너무 약하다고 강조한다. 저자들은 가설 1의 타당성을 뒷받침하기 위해 $l=5$에 대한 계산적 근거를 포함하였으며, 테스트된 사례들에서 레귤레이터와 추정된 상한 사이의 비율이 1보다 현저히 작음을 언급하였다. 저자들은 가설 1(또는 더 날카로운 버전)을 증명하는 것이 이 결과를 비조건적으로 만드는 데 필요한 단계임을 시사한다.