레프스트라 기준의 비효율성: 대수적 체와 디데킨 ζ‑함수의 새로운 경계

초록

레프스트라가 제시한 정규-유클리드성 기준은 일반화 리만 가설(GRH) 하에서 차수가 충분히 큰 수체에 대해 무효화된다. 저자는 GRH를 가정하면 차수 $n\ge 62238$인 모든 수체가 기준을 만족할 수 없음을 명시적으로 증명하고, GRH 대신 Dedekind ζ‑함수의 특정 하한 가정을 이용해 더 넓은 차수 구간에서도 동일한 결론을 얻는다. 또한, 이러한 ζ‑함수 하한을 실제 계산으로 검증할 수 있음을 보인다.

상세 분석

본 논문은 레프스트라가 1977년에 제시한 “정규-유클리드성(Norm‑Euclidean) 기준”을 현대적인 관점에서 재검토한다. 레프스트라 기준은 두 가지 핵심 요소를 결합한다. 첫째, 수체 $K$의 정규화된 최소 비자명 이데얼(norm) $M$와 판별식 $\Delta$ 사이의 관계를 이용해 $M$이 충분히 크게(즉, $M>\delta^\circ(U),|\Delta|$) 되면 $K$가 정규‑유클리드임을 보인다. 여기서 $\delta^\circ(U)$는 $U\subset\mathbb R^n$의 중심‑패킹 상수이며, 레프스트라는 구형 $U_2$와 단순체 $U_1$ 두 가지 선택을 제시한다. 두 경우 모두 $\delta^\circ(U)$는 Rogers 상수 $\sigma_n$와 감마 함수 $\Gamma$를 통해 명시적으로 표현된다.

두 번째 요소는 “예외적 단위(exceptional units)”의 개수 $M$에 대한 상한이다. 레프스트라는 $M\le 2n$(정확히는 $M\le 2n$ 이하의 정수)라는 단순한 추정치를 사용한다. 이 상한은 실제로는 $M$이 최소 비자명 이데얼의 노름값 $\min_{I\neq0}N(I)$와 직접 연결된다는 점에서 중요한 역할을 한다.

논문의 핵심 정리는 다음과 같다. GRH가 성립한다면, 판별식에 대한 명시적인 하한식
\