기술 요약: 사이클로토믹 체(Cyclotomic Fields) 내 유계 높이를 가진 대수적 정수의 개수 산정

1. 문제 정의

본 연구는 $q = p^r$이 소수의 거듭제곱인 사이클로토믹 체 $\mathbb{Q}(\zeta_q)$ 내에서, 고정된 절대 높이 $B$를 갖는 대수적 정수 및 단원(unit)의 개수를 세는 문제를 다룬다. $B \to \infty$로 보낼 때 높이 $B$를 고정하는 대신 체의 차수를 변화시키는 고전적인 바티예프-마닌(Batyrev-Manin) 추측과 달리, 본 논문은 높이 $B$를 고정하고 체의 차수(구체적으로 $r \to \infty$)가 증가함에 따라 발생하는 점근적 거동을 조사한다.

저자들은 두 가지 주요 계수 함수를 정의한다:

1. 단원(Units): 로그 베일 높이(logarithmic Weil height) $h(\alpha) < B$를 만족하는 $\mathbb{Z}[\zeta_n]$ 내의 단원의 개수 $U(n, B)$. 관심 대상인 부분 집합은 사이클로토믹 단원만을 세는 $U_{cyc}(n, B)$이다.
2. 정수(Integers): $h(\alpha) \le B$인 $\mathbb{Z}[\zeta_q]$ 내의 대수적 정수의 개수 $I(q, B)$.

목표는 이 양들에 대한 상한 및 하한을 설정하는 것이며, 특히 체의 차수 $D = \phi(q)$에 대한 의존성을 분석하는 것이다.

2. 방법론

증명은 대수적 수론과 기하학적 격자점 계수법의 결합에 의존한다.

2.1 기하학적 프레임워크

핵심적인 기하학적 도구는 다벤포트의 보조정리(Davenport's Lemma) [2]로, 이는 $\mathbb{R}^D$ 내의 콤팩트한 체(body) $P$에 포함된 격자점의 개수에 대한 오차 범위를 $P$의 좌표 부분 공간으로의 투영 부피와 관련하여 제공한다.

• 사이클로토믹 단원의 경우, 문제는 사이클로토믹 단원 생성원들의 절대값의 로그로부터 유도된 행렬 $A$에 대해 $\|Ac\|_{L_1} < T$를 만족하는 정수 벡터 $c$를 세는 문제로 변환된다.
• 대수적 정수의 경우, 저자들은 민코프스키 임베딩(Minkowski embedding) $\Phi: K \to \mathbb{R}^D$를 활용한다. 유계 높이를 가진 정수들의 집합은 좌표들에 대한 로그 제약 조건에 의해 정의되는 영역 $R_1$ 내에 포함된다. 이 영역은 부피 추정을 용이하게 하기 위해 하이퍼-직사각형(boxes) $Q(k)$의 합집합으로 근사된다.

2.2 대수적 도구

• 사이클로토믹 단원: 저자들은 사이클로토믹 단원의 명시적 기저 $\xi_a$ (Proposition 1)와 전체 단원 군과 클래스 수 $h_q^+$ 사이의 관계를 활용한다. 이 사이클로토믹 단원들에 작용하는 갈루아 군의 작용은 디리클레 문자(Dirichlet characters)를 사용하여 분석된다.
• 스펙트럼 분석: 높이를 결정하는 행렬 $A$는 비자명한 짝수 디리클레 문자를 사용하여 대각화된다. 고윳값 $\lambda_\chi$는 가우스 합(Gauss sums) $\tau(\chi_f)$와 $L$-함수 $L(1, \chi_f)$를 통해 표현된다. 이 고윳값들의 크기를 추정하기 위해 $L$-함수에 대한 지겔(Siegel)의 하한이 사용된다.
• 행렬식 추정: 변환된 영역의 부피는 민코프스키 임베딩 행렬의 행렬식과 관련이 있다. 저자들은 사이클로토믹 체의 판별식을 활용하여, 행렬의 제곱 소행렬(squared minors)의 합을 제한하기 위해 **코시-바이넷 공식(Cauchy-Binet formula)**과 **하다마르 부등식(Hadamard's inequality)**을 사용한다.

3. 주요 결과

3.1 사이클로토믹 단원에 대한 경계

정리 1은 $q=p^r$이 홀수 소수의 거듭제곱인 $\mathbb{Q}(\zeta_q)$에서 사이클로토믹 단원의 점근적 거동을 확립한다.

• 상한: 사이클로토믹 단원의 개수는 다음을 만족한다:
  $$U_{cyc}(q, B) \ll_{q^3} \exp\left(C_\epsilon B^{1/3} q^{5/6+\epsilon}\right)$$
  전체 단원 군의 경우, 상한은 최대 실체부의 클래스 수 $h_q^+$를 포함한다:
  $$U(q, B) \ll_{q^3} \exp\left(C_\epsilon (h_q^+ B)^{1/3} q^{5/6+\epsilon}\right)$$
• 하한: Proposition 4는 충분히 큰 $B$에 대해 $\log U_{cyc}(q, B) \gg B \log q$임을 보여주며, 이는 $q$에 대한 다항식 하한을 나타낸다.

저자들은 $h_q^+$를 일반적으로 제어하기 어렵지만, 수치적 증거와 코헨-렌스트라(Cohen-Lenstra) 휴리스틱은 $r \to \infty$일 때 $p$가 고정된 상태에서 $h_q^+$가 작을 수 있음(잠재적으로 상수값)을 시사하며, 이는 해당 영역에서 전체 단원 군에 대한 아지수(subexponential) 상한을 의미할 수 있다고 언급한다.

3.2 대수적 정원에 대한 경계

정리 2는 유계 높이를 가진 대수적 정수의 개수에 대한 지수적 상한을 제공한다:
$$\log I(q, B) \ll D(B + 1)$$
여기서 $D = \phi(q)$이다.

• 하한: 저자들은 파워 기저(power basis) $\zeta_q^i$의 계수들을 선택하여 절대값의 합이 제한되도록 함으로써, 대략 $q^{e^B}$개의 선택지를 갖는 다항식 하한을 구성한다.
• 비교: 저자들은 함수체 유사체(function field analogue) $\mathbb{F}_q(t)$에서 개수가 정확히 $q^{B+1}$임을 관찰하였으며, 이는 수체(number field)의 경우에도 실제 개수가 $q$에 대한 다항식일 수 있음을 시사한다. 다만, 증명된 상한은 차수 $D$에 대해 지수적이다.

4. 의의 및 주장

본 논문은 체의 차수가 무한대로 갈 때, 고정된 높이를 가진 사이클로토믹 체 내의 대수적 정수 및 단원의 개수에 대한 최초의 점근적 경계를 제공한다고 주장한다.

• 기존 문헌과의 대비: 본 연구는 차수를 고정하고 높이를 키우는 기존의 결과들(예: Dubickas [4])과 대조된다. 여기서는 높이가 고정되어 있고 체가 변한다.
• 아지수 추측(Subexponential Conjecture): 단원에 대한 증명된 경계는 $q^{5/6}$에 대해 지수적이지만, 저자들은 $h_q^+$의 거동과 함수체 유사성을 바탕으로 실제 성장은 $q$에 대한 다항식(차수에 대해 아지수)일 가능성이 높다고 추측한다.
• 방법론적 기여: 본 논문은 다벤포트의 격자점 계수 보조정리와 사이클로토믹 단원의 명시적 스펙트럼 특성(디리클레 문자를 통해) 및 민코프스키 임베딩의 정밀한 행렬식 추정을 결합하는 것의 유용성을 입증한다.

저자들은 현재의 경계가 최적의 형태인지에 대해서는 신중한 태도를 유지하며, 단원의 경계에서 나타나는 지수적 인자가 클래스 수 $h_q^+$를 엄밀히 제어하지 못하는 현재의 한계와 정수 개수 산정에 사용된 기하학적 덮개(covering) 논법에서 기인함을 인정한다.