On the Argument of the Lerch, Chowla--Selberg Formula and CM Values of $\eta(\tau)$

기술 요약: 레르히(Lerch), 초와-셀베르그(Chowla–Selberg) 공식 및 $\eta(\tau)$의 CM 값에 관한 논고

문제 제기
본 논문은 복소 곱셈(Complex Multiplication, CM) 점에서의 데데킨트 에타 함수(Dedekind eta function) $\eta(\tau)$를 명시적으로 평가하는 문제를 다룬다. 고전적인 레르히-초와-셀베르그 공식은 주어진 판별식 $D$에 대해 일련의 CM 점들에서의 모듈러스(moduli) $|\eta(\tau)|$의 곱에 대한 명시적인 식을 제공하지만, 개별 값의 편각(argument, phase)이나 절대값을 제외한 값 자체의 곱은 결정하지 못한다. 저자는 절대값 없이 $\eta(\tau)^4$의 곱(초와-셀베르그 감마 몫에 의해 정규화된)을 완전히 명시적인 식으로 제공함으로써, 이 값들의 편각을 분리해내고자 한다. 나아가 본 논문은 $\eta(\tau)$의 개별적인 CM 값들이 갖는 대수적 성질을 조사하고, 이들의 최소 다항식과 차수에 관한 정밀한 추측을 정식화한다.

방법론
이 접근 방식은 모듈러 형식 이론, 이진 이차 형식의 산술, 그리고 명시적 계산을 결합한다.

1. 모듈러 불변성과 대표원: 저자는 판별식 $D$의 클래스 그룹의 표준 대표원 집합 $F(D)$에 대한 곱 $P(D)$를 정의한다. 항 $\Im(\tau)|\eta(\tau)|^4$는 $SL_2(\mathbb{Z})$-불변이므로, $P(D)$의 모듈러스는 초와-셀베르그 공식을 통해 알려져 있다. 과제는 비불변 항인 $\eta(\tau)^4$에 있다.
2. 경계 분석: 주 정리의 증명은 $\eta(\tau)$의 편각이 비자명한(non-trivial) 경계 영역의 기본 영역(fundamental domain)을 분석하는 것에 기초한다. 구체적으로, 저자는 $a=c$ 또는 $a=b$인 이차 형식 $(a, b, c)$를 조사한다. $\eta(\tau)$의 변환 성질(특히 $\eta(-1/\tau)$ 및 $\eta(\tau+1)$)을 활용하여, 저자는 이러한 경계 형태들의 편각을 특정 단위근(roots of unity) 및 $\sqrt{D}$를 포함하는 대수적 인자들과 연관시킨다.
3. 산술적 조건: 본 논문은 $|D|$의 약수들(이를 $U(D)$라 함)에 대한 정밀한 산술적 조건을 확립하여, 어떤 경계 사례가 편각에 기여하는지를 결정한다. 이는 $D$의 2-진 가치(2-adic valuation)에 대한 상세한 분석과 16 및 32에 대한 합동 조건을 포함한다.
4. 대수적 인식: 개별 값을 연구하기 위해, 저자는 $\eta(\tau)^4$가 초와-셀베르그 상수와 $\alpha(\tau)$의 곱에 비례하도록 하는 대수적 수 $\alpha(\tau)$를 정의한다. 광범위한 판별식에 대해 고정밀 수치 계산 및 대수적 인식 알고리즘(Pari/GP의 algdep)을 사용하여, 저자는 $\alpha(\tau)$의 최소 다항식과 차수의 패턴을 식별하기 위해 이를 계산한다.

주요 기여 및 결과

1. 편각에 대한 명시적 공식 (정리 2.1):
   본 논문은 곱 $P(D) = \prod_{\tau \in F(D)} \eta(\tau)^4 / |\eta(\tau)|^4$에 대한 폐쇄형(closed-form) 표현식을 유도한다. 결과는 다음과 같이 주어진다:
   $$P(D) = e^{-(i\pi/6)(|U^-(D)| - 3|U^+(D)|)} \prod_{d \in U^+(D)} \frac{d - \sqrt{D}}{d + \sqrt{D}}$$
   여기서 $U^+(D)$와 $U^-(D)$는 $D \pmod{16}$ 또는 $D \pmod{32}$의 합동 클래스에 의해 결정되는 $|D|$의 특정 부분집합이다.

   • 따름정리 2.2는 특정 사례에 대한 단순화된 결과를 제공한다: 만약 $D \equiv 0 \pmod 8$이면 $P(D) = 1$이고, $D = -p$ ($p \equiv 3 \pmod 4$) 또는 $D = -4p$ ($p \equiv 1 \pmod 4$)이면 $P(D) = e^{-2i\pi/12}$이다.

2. 개별 값의 대수성 (정리 3.2):
   본 논문은 임의의 CM 점 $\tau$에 대하여, $\eta(\tau)^4$가 알려진 초와-셀베르그 상수 및 기하학적 인자들과 대수적 수 $\alpha(\tau)$의 곱과 같음을 증명한다. 결과적으로, 비율 $\eta(\tau)/|\eta(\tau)|$는 대수적 수이다. 이는 일반적인 대수적 푸리에 계수를 갖는 모듈러 형식 $f$로 확장된다 (명제 3.3).

3. 최소 다항식에 관한 추측 (추측 4.1):
   광범위한 수치 데이터를 바탕으로, 저자는 대수적 수 $\alpha(\tau)$(및 정규화된 버전 $\beta(\tau)$)에 관한 네 가지 추측을 제안한다:

   • 정수성: $a \cdot \alpha(\tau)$와 $a/\alpha(\tau)$는 대수적 정수이다.
   • 노름(Norm): $\alpha(\tau)$의 노름은 $\pm 1$이다 (아마도 항상 1일 것이다).
   • 다항식 구조: $a \cdot \beta(\tau)$의 최소 다항식은 특정 형태 $B(x^{jm})$를 가지며, 그 차수는 클래스 수 $h(D)$와 $h(D)$의 2-진 가치에 따라 결정된다.
   • 정의체(Field of Definition): $\alpha(\tau)^{\text{lcm}(6, h(D))}$는 판별식 $D$인 이차 순서(quadratic order)의 링 클래스 필드(ring class field)에 속한다.

4. 경험적 데이터:
   본 논문은 $\alpha(\tau)$, $\beta(\tau)$ 및 그 거듭제곱의 차수를 나열한 방대한 표(판별식 $-3$에서$-180$까지)를 포함한다. 이 데이터는$\alpha(\tau)$의 차수가$j(\tau)$와 같은 모듈러 함수의 차수의 선형적 증가와 대조적으로,$h(D)^2$에 대략 비례하여 성장한다는 추측을 뒷받침한다.

의의 및 주장
저자는 본 연구의 주요 의의가 절대값의 모호함을 제거함으로써 레르히-초와-셀베르그 곱의 편각에 대한 "완전히 명시적인" 공식을 제공했다는 점에 있다고 주장한다. 이를 통해 CM 점에서의 $\eta(\tau)$의 위상(phase)을 정밀하게 결정할 수 있다.

저자는 이 추측들을 엄밀한 증명이라기보다 "상당한 양의 데이터"로부터 도출된 것으로 겸손하게 규정하며, 이들이 "알려진 CM 이론의 결과들을 사용하면 증명하기 그리 어렵지 않을 수도 있음"을 언급한다. 이 추측들의 의의는 $\eta(\tau)$ 값들의 대수적 성질에 대한 구조적 기술에 있으며, 이는 이 값들의 차수와 클래스 수의 제곱 사이의 더 깊은 연결을 시사하고, 이 값들의 명시적 표현을 계산하기 위한 알고리즘적 경로를 제공한다. 이 연구는 고전적인 초와-셀베르그 공식과 개별 에타 값의 명시적 산술 사이의 계산적, 이론적 가교 역할을 한다.