The distribution of $k$-free ideals in ray class groups

기술 요약: 레이 클래스 군(Ray Class Groups) 내 $k$-자유 이데알의 분포

문제 정의
본 논문은 해석적 정수론의 고전적 문제인 산술 급수 내 $k$-자유 정수(k-free integers)의 분포 문제를 임의의 대수적 수체(algebraic number fields)로 확장하는 문제를 다룬다. $\mathbb{Q}$ 위에서 $k$-자유 정수(어떤 소수의 $k$제곱으로도 나누어 떨어지지 않는 정수)가 산술 급수 내에 분포하는 문제는 게겐바우어(Gegenbauer), 코헨(Cohen), 로빈슨(Robinson)의 기초적인 연구를 통해 잘 알려져 있으나, 일반적인 수체에서의 적분 이데알(integral ideals), 특히 레이 클래스 군(ray class groups)의 틀 안에서의 유사한 문제는 체계적으로 확립되지 않았다. 저자들은 주어진 레이 클래스 내에 존재하며 노름(norm)이 유계인 $k$-자유 이데알의 개수에 대한 점근 공식(asymptotic formulas)을 정밀한 오차항과 함께 도출하는 것을 목표로 한다.

방법론
저자들은 수체에 적응된 해석적 정수론 기법들을 결합하여 다음을 수행한다:

1. 레이 클래스 군 (Ray Class Groups): 이들은 법(modulus) $q$에 대한 산술 급수의 자연스러운 일반화로서 레이 클래스 군 $Cl^{\mathfrak{m}}_K$를 활용한다. 이를 통해 모듈러스 $\mathfrak{m} = \mathfrak{m}_0\mathfrak{m}_\infty$와 서로소인 이데알들을 연구할 수 있다.
2. 포함-배제의 원리와 뫼비우스 반전 (Inclusion-Exclusion and Möbius Inversion): 상대적으로 $k$-자유인 $r$-튜플(r-tuples)의 이데알 개수를 세기 위해, 저자들은 포함-배제의 원리를 적용한다. 이는 계산 함수를 수체의 뫼비우스 함수 $\mu_K$를 사용하여 제곱 자유(square-free) 이데알들에 대한 합으로 표현하는 과정을 포함한다.
3. 이데알 개수 점근식 (Ideal Counting Asymptotics): 오차 분석의 핵심은 주어진 레이 클래스 내에서 노름이 $X$ 이하인 적분 이데알의 개수에 대한 점근 공식에 달려 있다. 저자들은 일반적인 레이 클래스 군과 특정 사례인 보통 이데알 클래스 군(ordinary ideal class group, $\mathfrak{m}=(1)$) 및 협의 이데알 클래스 군(narrow ideal class group, $\mathfrak{m}=\mathfrak{m}^{full}_\infty$)을 구분한다. 후자의 경우, 수체의 차수 $d$에 의존하는 란다우(Landau)의 더 정밀한 오차 추정치를 활용한다.
4. 부분 합산 (Partial Summation): 뫼비ウス 함수와 이데알 개수 함수가 포함된 합을 처리하기 위해, 저자들은 오차항의 경계를 $k$와 $d$에 기초하여 도출하는 부분 합산 기법을 적용한다.

주요 기여 및 결과
주요 결과는 정리 1.1이며, 이는 각 $\mathfrak{a}_i$가 고정된 레이 클래스 $A_i$에 속하고 노름이 $\le X$인 상대적으로 $k$-자유인 $r$-튜플의 이데알 $(\mathfrak{a}_1, \dots, \mathfrak{a}_r)$의 개수인 $Q^r_{k,K}(X; \mathbf{A})$에 대한 점근 공식을 제공한다.

주항(main term)은 다음과 같이 주어진다:
$$Q^r_{k,K}(X; \mathbf{A}) = \frac{(\rho^{\mathfrak{m}}_K)^r}{\zeta_K(rk)} \prod_{\mathfrak{p}|\mathfrak{m}_0} \left(1 - \frac{1}{N(\mathfrak{p})^{rk}}\right)^{-1} X^r + E_{K,\mathfrak{m},k,r}(X)$$
여기서 $\rho^{\mathfrak{m}}_K$는 $s=1$에서의 레이 클래스 제타 함수의 잔차(residue)이다.

등분포성 (Equidistribution): 핵심적인 발견(주석 1.2)은 주항이 특정 레이 클래스 튜플 $\mathbf{A}$에 독립적이라는 것이다. 이는 상대적으로 $k$-자유인 이데알들이 모듈러스 $\mathfrak{m}$에 대한 레이 클래스들 사이에 **등분포(equidistributed)**되어 있음을 입증한다. 구체적으로, 각 레이 클래스는 모든 $k$-자유 이데알 중 $1/h^{\mathfrak{m}}_K$의 점근적 비율을 가진다.

오차항 (Error Terms): 논문은 차수 $d = [K:\mathbb{Q}]$, 파라미터 $k$, 그리고 모듈러스의 유형에 따라 달라지는 상세한 오차 추정치 $E_{K,\mathfrak{m},k,r}(X)$를 제공한다:

• 일반 레이 클래스: 오차는 일반적으로 $O(X^{r - \delta_d(\mathfrak{m})})$ 또는 $O(X^{1/k})$이며, 여기서 $\delta_d(\mathfrak{m}) = 1/d$이다.
• 보통 및 협의 클래스 군: 란다우의 더 정밀한 이데알 개수 추정치를 활용함으로써, 저자들은 이 특정 사례들에 대해 오차항을 개선한다. 여기서 $\delta_d(\mathfrak{m}) = 2/(d+1)$이다.
  • $d=2$이고 $k=2$인 경우, 일반 모듈러스에 대해 $O(X^{1/2})$이며, 보통/협의 클래스 군에 대해서도 $O(X^{1/2})$로 유지된다.
  • $d=3$이고 $k=2$인 경우, 일반 모듈러스에 대해 $O(X^{1/2} \log X)$이며, 보통/협의 클래스 군에 대해서도 $O(X^{1/2} \log X)$로 개선된다 (단, 이 특정 사례의 개선된 경계에서도 로그 인자가 지속된다).
  • $d \ge 4$인 경우, 오차는 일반적인 경우의 $O(X^{1-1/d})$에서 개선된 경우의 $O(X^{1-2/(d+1)})$로 향상된다.

특수 사례 및 회복 (Special Cases and Recoveries):

• 정리 1.3은 일반 레이 클래스에 대해 $r=1$(단일 이데알)로 결과를 특수화한다.
• 정리 1.5는 보통 및 협의 클래스 군에 대한 개선된 추정치를 제공한다.
• 따름정리 1.4는 $K=\mathbb{Q}$로 설정하고 적절한 모듈러스를 선택함으로써 게겐바우어(Gegenbauer)의 고전적 공식($k$-자유 정수)과 코헨-로빈슨(Cohen–Robinson)의 공식($산술 급수 내$k$-자유 정수)을 회복함을 보여준다.
• 따름정리 1.6은 $K$ 내의 모든 이데알 클래스에 대해 결과를 합산하여 $k$-자유 이데알의 총 개수에 대한 점근식을 제공한다.

계산적 검증
저자들은 명시적인 계산 예시를 제공하기 위해 SageMath로 계산 함수를 구현하였다(예시 1.8 및 1.9). 이 예시들은 세제곱 수체(cubic field)에서의 이데알 클래스 및 실수 이차 수체(real quadratic field)에서의 레이 클래스에 걸친 제곱 자유 이데알의 등분포를 보여준다. 데이터는 이론적인 주항을 확인시켜 주며, 필드의 갈루아 구조(Galois structure)로부터 발생하는 계산 함수의 대칭성을 강조한다(주석 1.10).

의의
본 논문은 이전의 연구(이데알 클래스의 맥락에서 $k$-자유 튜플을 연구한 Benkoski, Nymann, Sittinger의 연구)를 더 넓은 레이 클래스 군의 설정으로 확장했다고 주장한다. 명시적인 오차항과 함께 이러한 점근 공식을 확립함으로써, 본 연구는 $k$-자유 정수의 고전적 이론과 수체 내 이데알의 현대적 이론을 통합한다. 결과적으로 $\mathbb{Q}$에서 관찰되는 등분포 현상이 레이 클래스 프레임워크 내의 일반적인 수체에서도 성립함을 확인하였으며, 가장 근본적인 클래스 군(보통 및 협의)에 대해 정밀한 오차 경계를 제공한다.