D₂ₙ₊₁ 지수 자코비 형태와 레벨 2 타원형 모듈라 형태 사이의 동형성

초록

본 논문은 홀수 차원 루트 격자 D₂ₙ₊₁ 지수를 갖는 자코비 형태와 레벨 2 의 타원형 모듈라 형태 사이에 Hecke 모듈로서의 정확한 동형성을 구축한다. 이를 통해 Jacobi‑Eisenstein 급수의 Fourier 계수를 Cohen Eisenstein 급수와 연결하고, Zagier의 무한형 3/2 차원 Eisenstein 급수로부터 레벨 8 의 전통적인 홀수 차원 모듈라 형태를 구성한다. 또한 네 함수 E₂*, η³, θ³, 𝔽 가 동일한 Hecke 고유값 1 + p (홀소수 p) 을 갖는 사실을 보이며, 3제곱수 표현 개수 r₃(n) 에 대한 새로운 합식도 제시한다.

상세 분석

이 연구는 먼저 기존에 알려진 정수 지수 m 에 대한 자코비 형태와 레벨 2 의 타원형 모듈라 형태 사이의 동형성(Shimura‑Ikeda 대응)을 D₂ᵣ ( r 홀수) 격자 지수로 일반화한다. 저자는 A. Mo canu가 제시한 “Conjecture 1”(J_{k+r+1, Dᵣ} ≅ M_{new, ε₂}^{2k}(2) ⊕ M_{ε₁}^{2k}(1))을 전면적으로 증명한다. 핵심은 두 단계의 사상 구성이다. 첫 번째는 Siegel 모듈라 형태를 Ikeda lift를 통해 J_{k+r+1, Dᵣ} 로 보내는 사상이며, 두 번째는 그 Fourier‑Jacobi 계수를 추출해 새로운 모듈라 형태로 사상한다. 이 복합 사상으로 얻어진 “old” 부분은 정확히 M_{ε₁}^{2k}(1) 혹은 M_{ε₂}^{2k}(1)와 동형이며, “new” 부분은 cusp 형태 공간에 포함된다.

다음으로 저자는 Jacobi‑Eisenstein 급수 E_{k+r+½, Dᵣ} 의 Fourier 계수를 명시적으로 계산한다. 이를 위해 레벨 4 의 Cohen Eisenstein 급수 H_k 를 정의하고, Uₖ(4) 연산자를 이용해 레벨 8 의 형태 H_k^* 을 만든 뒤, 이와의 일치를 통해 계수를 선형 결합 형태로 표현한다.

무게 3/2 레벨 8 의 전통적인 모듈라 형태 E(8){3/2} 은 Zagier의 무게 3/2 레벨 4 Eisenstein 급수 𝔽와 θ³ 의 U₁(4) 연산을 통해 직접 구축된다. 이 형태는 Hecke 연산에 대해 고유값 1 + p (odd p) 을 갖고, 비홀수 차원 형태 E₂* 와도 동일한 고유값을 공유한다는 점에서 흥미롭다. 특히 E(8){3/2} 의 Fourier 전개는 r₃(n) (3제곱수 표현 개수)와 Hurwitz 클래스 수 H(N) 사이를 연결하는 전통적인 공식 r₃(N)=12(H(4N)−2H(N)) 을 재현한다.

마지막으로 저자는 J_{k+r+½, Dᵣ} → M_{new, ε₂}^{2k}(2)⊕M_{ε₁}^{2k}(1) 사상의 구체적인 전개식을 제시하고, 이 사상이 Hecke 연산과 교환함을 증명한다. 이를 통해 r₃(n) 의 합식, 즉 ∑_{s²≤N, N−s²≡0,3 (mod 4)} δ̃_s r₃(N−s²)=σ(N)−3σ(N/2)+14σ(N/4)−24σ(N/8) 과 같은 새로운 산술적 관계를 도출한다. 전체적으로 이 논문은 자코비 형태, Siegel 모듈라 형태, 그리고 전통적인 타원형 모듈라 형태 사이의 깊은 구조적 연결고리를 밝히며, 기존의 Hecke‑이론과 클래스 수 공식에 새로운 시각을 제공한다.