Isomorphism between Jacobi forms of index $D_{2n+1}$ and elliptic modular forms of level $2$

1. 연구 배경 및 문제 제기 (Problem)

• 기존 연구: Saito-Kurokawa lifting 및 Eichler-Zagier 이론에 따라, 정수 지수 (integer index) 를 갖는 자코비 형식 (Jacobi forms) 과 특정 레벨의 타원 모듈러 형식 (elliptic modular forms) 부분 공간 사이의 동형 사상이 잘 알려져 있습니다 (예: [S-Z 88]).
• 주요 문제: 이 동형 사상을 **격자 지수 (lattice index)**로 일반화하는 것입니다. 특히, $D_r$ (여기서 $r$은 홀수) 로 표기되는 루트 격자 (root lattice) 를 지수로 갖는 자코비 형식과 레벨 2 의 타원 모듈러 형식 사이의 관계를 규명하는 것이 핵심 과제입니다.
• 가설: A. Mocanu 는 $r$이 홀수일 때, 자코비 형식 공간 $J_{k+\frac{r+1}{2}, D_r}$이 레벨 2 의 특정 모듈러 형식 공간과 헤케 모듈 (Hecke module) 로서 동형일 것이라고 추측했습니다 (Conjecture 1).

2. 연구 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 기법을 종합하여 문제를 해결했습니다:

1. Ikeda Lifting (이케다 리프팅):

   • 정수 계수 모듈러 형식 ($M_{2k}(1)$) 을 시겔 모듈러 형식 (Siegel modular forms) 으로 올리는 Ikeda 리프팅을 사용합니다.
   • 시겔 모듈러 형식의 푸리에 - 자코비 (Fourier-Jacobi) 계수를 추출하여 자코비 형식 공간으로 매핑하는 과정을 통해 '오래된 형식 (oldforms)'의 구조를 규명합니다.

2. Theta Decomposition (타카 분해):

   • 자코비 형식을 격자 $D_r$의 이산 모듈 (discriminant module) 에 해당하는 타카 함수 (theta functions) 들의 선형 결합으로 분해합니다.
   • 이를 통해 자코비 형식 공간과 반정수 가중치 (half-integral weight) 모듈러 형식 공간 (특히 Kohnen plus-space) 사이의 관계를 설정합니다.

3. Shimura Correspondence (시무라 대응):

   • 반정수 가중치 모듈러 형식 공간 ($S^+_{k+1/2}(8)$) 과 정수 가중치 모듈러 형식 공간 ($S_{2k}(2)$) 사이의 시무라 대응을 활용합니다.
   • 특히, $\eta$ 함수 (Dedekind eta-function) 를 곱한 모듈러 형식 공간과 자코비 형식 공간 사이의 동형을 증명하기 위해 꼬임이 있는 헤케 연산자 (twisted Hecke operators) 를 도입하고 분석합니다.

4. 푸리에 계수 명시적 공식 유도:

   • 자코비 - 아이젠슈타인 급수 (Jacobi-Eisenstein series) 의 푸리에 계수를 코헨 - 아이젠슈타인 급수 (Cohen-Eisenstein series) 의 계수와 선형 결합 형태로 명시적으로 표현합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

이 논문은 다음과 같은 세 가지 주요 목표를 달성했습니다:

(i) 자코비 형식과 타원 모듈러 형식 사이의 동형 증명 (Theorem 1.1)

• 결과: 지수 $D_r$ ($r$이 홀수) 인 자코비 형식 공간 $J_{k+\frac{r+1}{2}, D_r}$은 레벨 2 의 타원 모듈러 형식 공간 $M^{new, \epsilon_2}_{2k}(2) \oplus M^{\epsilon_1}_{2k}(1)$과 헤케 모듈로서 동형임을 증명했습니다.
  • 여기서 $\epsilon_1, \epsilon_2$는 $r \pmod 8$에 의해 결정되는 부호입니다.
• 의의: 이는 Mocanu 의 추측을 완전히 증명하는 것으로, 정수 지수에서 격자 지수로의 일반화를 성공적으로 이루었습니다. 또한, 자코비 형식 공간을 '새로운 형식 (newforms)'과 '오래된 형식 (oldforms)'으로 분해하고, 각각이 어떤 모듈러 형식 공간에 대응되는지 구체적으로 규명했습니다 (Theorem 1.2, 1.3).

(ii) 자코비 - 아이젠슈타인 급수의 푸리에 계수 명시적 공식 (Theorem 8.4)

• 결과: 지수 $D_r$ ($r$이 홀수) 인 자코비 - 아이젠슈타인 급수 $E_{k+\frac{r+1}{2}, D_r}$의 푸리에 계수에 대한 명시적인 공식을 제시했습니다.
• 특징: 이 계수는 레벨 4 의 코헨 - 아이젠슈타인 급수 $H_k$의 계수들을 사용하여 선형 결합 형태로 표현됩니다. 이는 기존에 알려진 일반적인 격자 지수에 대한 공식보다 더 정밀한 형태입니다.

(iii) 가중치 3/2, 레벨 8 의 홀론모픽 모듈러 형식 구성 및 헤케 고유값 분석 (Theorem 1.4, 1.5)

• 구성: Zagier - Eisenstein 급수 $F$ (가중치 3/2, 레벨 4) 와 $\theta^3$ (타카 함수의 세제곱) 를 이용하여 가중치 3/2, 레벨 8 의 홀론모픽 모듈러 형식 $E^{(8)}_{3/2}$를 구성했습니다.
• 헤케 고유값: 다음 네 가지 함수가 모든 홀수 소수 $p$에 대해 동일한 헤케 고유값 $1+p$를 가짐을 보였습니다:
  1. $\eta^3$ (Dedekind eta 함수의 세제곱)
  2. $\theta^3$ (타카 함수의 세제곱)
  3. $F$ (Zagier - Eisenstein 급수)
  4. $E^*_2$ (비홀론모픽 아이젠슈타인 급수, 가중치 2)
• 산수적 응용: 이 결과는 정수 $N$을 네 개의 제곱수의 합으로 나타내는 방법의 수 $r_4(N)$ 및 세 개의 제곱수의 합으로 나타내는 방법의 수 $r_3(N)$에 대한 새로운 항등식을 유도하는 데 사용되었습니다 (Corollary 1.6, 1.7). 특히, Hurwitz class number $H(N)$과 $r_3(N)$ 사이의 관계를 명확히 했습니다.

4. 의의 및 결론 (Significance)

• 이론적 통합: 자코비 형식, 시겔 모듈러 형식, 반정수 가중치 모듈러 형식, 그리고 타원 모듈러 형식 사이의 깊은 연결고리를 격자 지수라는 맥락에서 체계적으로 정립했습니다.
• 구체적 계산 가능성: 자코비 형식의 푸리에 계수를 모듈러 형식의 계수를 통해 계산할 수 있는 구체적인 매핑 (Theorem 1.8, 1.9) 을 제공함으로써, 실제 계산을 가능하게 했습니다.
• 산수적 의미: 가중치 3/2 의 모듈러 형식과 관련된 헤케 고유값의 일치는 수론적 함수 (divisor sum, Hurwitz class number 등) 간의 새로운 항등식을 제공하여, 고전적인 리우빌 (Liouville) 의 결과들을 현대적인 모듈러 형식 이론의 관점에서 재해석하고 확장했습니다.

요약하자면, 이 논문은 격자 지수를 갖는 자코비 형식 이론을 레벨 2 의 타원 모듈러 형식 이론과 완전히 연결시켰으며, 이를 통해 구체적인 계수 공식과 산수적 항등식을 도출한 중요한 업적입니다.