A Modular Form Proof of the Irrationality of $\zeta\left(3\right)$

기술 요약: $\zeta(3)$의 무리성에 관한 모듈러 형식 증명

문제 정의
본 논문은 리만 제타 함수의 홀수 양의 정수 값, 구체적으로 $\zeta(3)$ (아페리 상수)의 무리성을 다룬다. 오일러가 모든 $n \in \mathbb{N}$에 대해 $\zeta(2n)$이 무리수임을 확립한 반면, $\zeta(2n+1)$의 무리성은 여전히 미해결 상태로 남아 있으며, $\zeta(3)$만이 1978년 아페리에 의해 무리수임이 증명되었다. 본 논문은 아페리의 원래 조합론적 재귀 관계에 의존하는 대신, 레벨 6인 특정 모듈러 형식 공간 상의 복소 해석학적 틀을 사용하여 아페리의 결과를 재도출하고자 한다.

방법론
증명 전략은 제어된 분모와 충분히 큰 수렴 반경을 갖는 특정 멱급수를 구성하는 것을 요구하는 뵈커스(Beukers)의 무리성 판정법에 기초한다. 방법론은 다음 단계로 진행된다:

1. 모듈러 형식 및 디리클레 급수: 저자들은 레벨 6인 모듈러 형식, 구체적으로 합동 부분군 $\Gamma_1(6)$을 활용한다. 이들은 에타 몫(eta quotients)으로부터 유도된 모듈러 함수 $t(\tau)$와 첨두 형식(cusp form) 공간 $S_4(\Gamma_1(6))$의 가중치 4인 모듈러 형식 $F(\tau)$를 정의한다.
2. 아이클러 적분(Eichler Integrals): $F(\tau)$로부터 급수 $\sum a_n n^{-3} q^n$으로 정의되는 아이클러 적분 $f(\tau)$를 구성한다. 이 적분은 디리클레 급수 $L(F, s)$와 관련이 있으며, $L(F, 3) = \zeta(3)$임을 보인다.
3. 함수 방정식: 프릭케 변환(Fricke involution) $\tau \mapsto -1/(6\tau)$를 사용하여 아이클러 적분의 함수 방정식을 확립한다. 저자들은 보조 함수 $H(\tau) = E(\tau)(f(\tau) - \zeta(3))$를 구성하는데, 여기서 $E(\tau)$는 가중치 2인 특정 모듈러 형식이다. 결정적으로, $H(\tau)$는 프릭케 변환에 대해 불변임을 보인다.
4. 변수 변환: 모듈러 함수 $t(\tau)$는 좌표 변환 역할을 수행하며, 확장된 군 $\Gamma_1(6)^+$의 기본 영역을 상반평면 위로 단사적으로 사상한다. 함수 $H$는 $t$에 대한 멱급수 $H(t)$로 다시 표현된다.
5. 수렴 반경 분석: $H(t)$의 수렴 반경은 역사상 $\tau(t)$의 분기점(branching values)에 의해 결정된다. 첫 번째 분기점은 변환의 고정점인 $\tau = i/\sqrt{6}$에 대응하며, 이때 $t_1 = (\sqrt{2}-1)^4$이다. 그러나 $H(\tau)$가 이 점 근처에서 $\tau(t)$의 두 국소 가지(local branches) 상에서 동일한 값을 가지기 때문에, 외견상의 특이점은 제거 가능한(removable) 것이다. 실제 수렴 반경은 다음 분기점인 $t_2 = (\sqrt{2}+1)^4 = 17 + 12\sqrt{2}$에 의해 결정된다.
6. 분모 제어: $H(t)$의 멱급수 계수들을 분석한다. $f(t)$의 계수들은 $D_n^3$을 나누는 분모를 가지며 (여기서 $D_n = \text{lcm}(1, \dots, n)$), $E(t)$의 계수들은 정수이다. 이는 해당 급수가 뵈커스의 판정법에서 요구하는 유리성과 분모 조건을 충족함을 보장한다.

주요 기여 및 결과

• $t(\tau)$의 구성: 논문은 특정 기본 영역을 상반평면으로 사상하고, 첨점(cusps) 및 내부 점에서의 값을 알고 있는 $\Gamma_1(6)$에 대한 모듈러 함수 $t(\tau)$를 명시적으로 구성한다.
• 제거 가능한 특이점: 본 논문의 핵심적인 기술적 기여는 아이클러 적분과 모듈러 형식 $E$로 구성된 함수 $H(t)$가 첫 번째 분기점 $t_1$을 지나 해석적으로 확장됨을 보이는 것이다. 이 수렴 반경의 확장($|t_1|$에서 $|t_2|$로)은 무리성 증명을 성공시키는 메커니즘이다.
• 무리성 증명: 구성된 급수 $H(t)$에 뵈커스의 판정법을 적용함으로써, 저자들은 수렴 반경 $\rho = 17 + 12\sqrt{2}$가 $\rho > e^3$ (여기서 $d=1, r=3$)을 만족함을 보인다. 이 부등식은 $\zeta(3)$가 무리수라는 결론을 강제한다.

의의 및 주장
본 논문은 $\zeta(3)$의 무리성에 대한 해설적 증명을 제시하며, 아페리의 결과를 "특정 모듈러 형식 공간 위의 복소 해석학의 멋진 결과"로 프레임화한다고 주장한다. 저자들은 모듈러 형식 접근법이 $\zeta(3)$의 무리성을 성공적으로 회복하지만, 현재로서는 다른 홀수 제타 값(예: $\zeta(5)$)에 대한 결과를 도출하지 못한다는 점을 강조한다. 이 연구는 아페리의 조합론적 증명과 모듈러 형식 이론 사이의 깊은 연결을 보여주는 역할을 하며, 특히 모듈러 곡선의 기하학적 성질과 아이클러 적분의 특성이 어떻게 무리성 확립에 활용될 수 있는지를 강조한다. 본 논문은 이 특정 유도 과정을 넘어선 새로운 응용이나 미래의 확장을 제안하지 않는다.