라마누잔식 1/π 급수의 이차 무리수 아날로그와 모듈러 곡선 분류

초록

본 논문은 라마누잔, 보윈, 추드노프스키 등에서 발견된 1/π 급수를 이차 무리수 계수로 일반화하고, 이를 genus‑zero 수준 ℓ의 확장된 모듈러 그룹 Γ₀(ℓ)⁺에 대한 Hauptmodul과 무게 2 모듈러 형식 Z와 연결시켜 체계적으로 분류한다. 특히, 각 급수의 켤레(√d → –√d) 급수가 언제 수렴하고 어떤 상수 배로 1/π에 수렴하는지를 정리하고, 보윈 급수와 레벨 7 유리 급수 사이의 변환 관계를 초극초기식 변환을 통해 증명한다.

상세 분석

논문은 먼저 라마누잔이 제시한 17개의 1/π 급수를 “유리 급수”와 “이차 무리수 급수”로 구분하고, 기존에 보윈이 제시한 복잡한 3개의 파라미터(A, B, C) 형태를 보다 간결한 두 파라미터 X와 λ 로 재표현한다. 핵심 이론은 네 개의 정리(2.1–2.4)로 구성된다. 정리 2.1은 Hauptmodul X가 존재하면 자동으로 무게 2 모듈러 형식 Z가 정의되고, Z의 로그 미분이 다항식 G(X)와 H(X) 로 표현됨을 보인다. 정리 2.2는 Z를 X의 거듭 제곱 전개 Z=∑TₙXⁿ 로 쓸 때, 계수 Tₙ이 G와 H의 계수에 의해 (k₁+1)‑항 선형 재귀식을 만족함을 증명한다. 정리 2.3은 역으로 G, H 로부터 X와 Z의 q‑전개를 복원할 수 있음을 보여, 모듈러 곡선 데이터가 급수의 전개를 완전히 결정한다는 사실을 강조한다. 마지막 정리 2.4는 위 결과를 이용해, 임의의 genus‑zero 그룹 Γ₀(ℓ)⁺에 대해 Hauptmodul X와 그 변형 Y가 만족하는 대수 방정식 f(X,Y)=0을 잡고, λ= X²·(dX/dY)/(dY/dX)·G(Y)·G(X)⁻¹ 로 정의하면, 급수

\