New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

이 논문은 2 차 호모로모픽 시겔(cusp forms of degree 2) 의 레벨 (level) $N$ 에 따른 최댓값 문제 (sup-norm problem) 를 연구하며, 특히 새-오래 형식 이론 (new-oldform theory) 을 고전적 언어로 정립하고 이를 바탕으로 Saito-Kurokawa (SK) 리프트 의 공간 크기와 개별 형식의 크기에 대한 경계를 제시합니다.

저자 Pramath Anamby 와 Soumya Das 는 고차원 군 (symplectic groups) 에서의 해석적 문제, 특히 전역 Whittaker 모델이 존재하지 않는 시겔 모듈러 형식의 경우 기존 도구들의 한계를 극복하기 위해 새로운 접근법을 제시합니다.

다음은 이 논문의 기술적 요약입니다.

---

1. 연구 문제 및 배경

• 주요 문제: 2 차 시겔 cusp form 공간 $S^{(2)}_k(N)$ 의 최댓값 (sup-norm) 크기, 즉 Bergman Kernel (BK) 의 상한을 구하는 문제입니다. 이는 단일 고유 형식 (eigenform) 의 크기뿐만 아니라 전체 공간의 크기 (size) 를 측정하는 것을 포함합니다.
• 배경: 고차원 군에서의 sup-norm 문제는 아직 초기 단계이며, 특히 SK 리프트와 같은 특수한 부분공간에 대한 연구는 부족합니다. SK 리프트는 타원 모듈러 형식 (elliptic modular forms) 에서 유도되지만, 고차원에서의 분석적 도구가 부족하여 기존 방법론이 적용되지 않는 난제가 존재합니다.
• 목표:
  1. 제곱 인수가 없는 (square-free) 레벨 $N$ 에 대한 SK 리프트 공간의 새-오래 형식 이론 (new-oldform theory) 을 고전적 언어로 정립한다.
  2. 이를 바탕으로 SK 리프트 공간 및 관련 Jacobi 형식 공간의 크기와 개별 형식의 크기에 대한 정밀한 추측 (conjectures) 을 세우고, 이를 증명하기 위한 경계 (bounds) 를 유도한다.

2. 방법론 (Methodology)

A. 새로운-오래 형식 이론의 고전적 정립 (Part 1)

• 내적 행렬 (Inner-product Matrix) 접근: 기존의 푸리에 전개 (Fourier expansion) 를 통한 Atkin-Lehner 이론은 다양한 극 (cusp) 에서의 전개를 필요로 하여 계산이 복잡합니다. 저자들은 이를 우회하기 위해 $L^2$-노름 (Petersson norm) 에 기반한 새로운 접근법을 사용합니다.
• 행렬 $M_p$ 의 정의: 레벨 $N$ 의 고유 형식 $F$ 에 대해, $p \nmid N$ 인 소수 $p$ 에 대한 4 개의 연산자 ($Id, U_S(p), W_p, U_S(p)W_p$) 를 적용하여 생성된 4 개의 형식들 사이의 내적 행렬 $M_p$ 를 정의합니다.
• 계수 계산: Hecke 대수 (Hecke algebra) 의 구조를 활용하여 행렬 $M_p$ 의 성분들을 고유값 $\lambda_F(p), \lambda_F(p^2)$ 등의 다항식으로 표현합니다.
• SK 리프트의 특징화: 행렬 $M_p$ 의 랭크 (rank) 가 3 인지 4 인지 여부가 해당 형식이 SK 리프트인지 여부를 판별하는 핵심 기준이 됩니다.

B. sup-norm 경계 추정 (Part 2)

• 기본 영역 (Fundamental Domain) 분할: $\Gamma_0^{(2)}(p) \backslash \mathbb{H}_2$ 의 기본 영역을 세 가지 유형 (Type 0, 1, 2) 으로 나누어 분석합니다.
  • Type 0: $Y \gg 1$ (푸리에 전개 사용).
  • Type 1: Fourier-Jacobi (FJ) 전개 사용.
  • Type 2: $Y \gg 1/p$ 영역으로, 푸리에 전개가 무효화되므로 행렬 계수 (counting matrices) 기법과 Jacobi 형식의 Bergman Kernel 의 기하학적 측면을 활용합니다.
• Jacobi 형식과의 연결: SK 리프트는 Jacobi 형식과 밀접한 관련이 있으므로, Jacobi 형식의 sup-norm 문제를 먼저 해결하고 이를 SK 리프트로 확장합니다.
• Waldspurger 공식: 푸리에 계수와 중앙 L-값 (central L-values) 을 연결하여 하한 (lower bound) 을 유도합니다.

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

A. SK 리프트의 새로운-오래 형식 이론

• EZI 리프트의 한계: Eichler-Zagier-Ibukiyama (EZI) 리프트가 모든 SK 리프트를 설명하지 못함을 보였습니다. 특히, 레벨 $Np$ 에서의 '오래 형식 (oldforms)' 중 하나는 EZI 리프트가 아닌 '예외적인' 형식이 존재합니다.
• Maass-Ibukiyama 관계식: SK 리프트 중 EZI 리프트인 것들을 유일하게 특징짓는 조건으로 Maass-Ibukiyama 관계식 을 제시했습니다.
• 행렬 랭크 판정 기준 (Theorem 1.2):
  • $F$ 가 SK 리프트일 필요충분조건은 $M_p$ 의 랭크가 3 이 되는 것입니다.
  • $F$ 가 SK 리프트가 아닐 경우 (non-SK lift), $M_p$ 의 랭크는 4 가 됩니다.
  • 이는 고유값 관계식 $\lambda_F(p^2) = \lambda_F(p)^2 - (p^{k-1} + p^{k-2})\lambda_F(p) + p^{2k-2}$ 와 동치입니다.
• 정규 직교 기저 구성: 위 결과를 바탕으로 SK 리프트의 오래 형식 공간에 대한 명시적인 정규 직교 기저를 구성했습니다.

B. Jacobi 형식의 크기 및 sup-norm 경계

• Jacobi 형식 공간의 크기: 레벨 $N$ 의 Jacobi cusp form 공간 $J^{cusp}_{k,1}(N)$ 의 크기에 대해 $1 \ll \sup(J) \ll N^{1/2}$ 임을 증명했습니다.
• 개별 Jacobi 고유 형식: $L^2$-정규화된 Jacobi 고유 형식 $\phi$ 에 대해 비자명한 경계 $\|\phi\|_\infty \ll N^{-1/36+\epsilon}$ 을 증명했습니다. 이는 Jacobi 형식의 theta 분해에서 발생하는 추가적인 인자 ($v^{1/2}$) 를 처리하기 위한 정교한 분석이 필요했습니다.
• 추측 (Conjecture 1.7): 개별 Jacobi newform 의 크기는 $N^{-1/2+\epsilon}$ 정도일 것이라고 추측합니다.

C. Saito-Kurokawa (SK) 리프트의 크기

• 전체 공간의 크기 추측 (Conjecture 1.9): $N$ 이 제곱 인수가 없는 경우, SK 리프트 공간의 크기는 $\sup(SK_k(N)) \asymp N^{-2}$ 일 것이라고 추측합니다.
• 새로운 형식 (Newforms) 의 크기 추측 (Conjecture 1.10): $L^2$-정규화된 SK newform $F$ 에 대해 $\|F\|_\infty \ll N^{-3/2}$ 일 것이라고 추측합니다.
• 주요 증명 결과 (Theorem 1.8): 레벨이 소수 $p$ 인 경우, SK 리프트 공간의 크기에 대해 다음과 같은 경계를 증명했습니다:
  $$p^{-2} \ll \sup(SK_k(p)) \ll p^{-1+\epsilon}$$
  • 하한: Waldspurger 공식과 중앙 L-값의 평균을 이용하여 $p^{-2}$ 를 유도했습니다.
  • 상한: Type 0, 1, 2 영역별 분석을 통해 $p^{-1+\epsilon}$ 을 얻었습니다. 특히 Type 2 영역에서는 Jacobi 형식의 Bergman Kernel 과 행렬 계수 기법을 결합하여 비자명한 경계를 얻었습니다.

D. 부록 및 추가 결과

• 레벨 1 의 경우 ($n=1$): 모든 $k > 2$ 및 제곱 인수가 없는 레벨 $N$ 에 대해 $\sup(S_k(N)) \asymp 1$ 임을 증명했습니다 (기존 $k=2$ 결과의 일반화).
• Jacobi $U_J(p)$ 연산자: 레벨 $p$ 에서 Jacobi 형식 공간 전체에 대해 $U_J(p)$ 연산자가 자기 수반 (self-adjoint) 이 아님을 증명했습니다. 이는 기존 문헌의 일부 명제가 새로운 형식 공간 (newspace) 에만 적용됨을 시사합니다.

4. 의의 및 결론 (Significance)

1. 고전적 접근의 부활: 고차원 모듈러 형식의 분석적 문제 (sup-norm) 를 해결하기 위해, 복잡한 representation theory 대신 고전적 언어 (Fourier-Jacobi 전개, 내적 계산) 와 Hecke 대수 를 효과적으로 결합한 새로운 패러다임을 제시했습니다.
2. 새-오래 형식 이론의 정립: 고차원 (degree 2) 에서의 SK 리프트에 대한 체계적인 new-oldform 이론을 최초로 고전적으로 정립하여, 향후 관련 연구의 기초를 마련했습니다.
3. 정밀한 경계 추정: SK 리프트 공간의 크기가 $N^{-2}$ 스케일임을 강력하게 지지하는 증거를 제시했으며, 이는 고차원 군에서의 sup-norm 문제 해결에 중요한 이정표가 됩니다.
4. 기하학적 방법의 확장: Bergman Kernel 의 기하학적 측면 (기하학적 측면, counting argument) 을 활용하여 Type 2 영역과 같은 어려운 영역에서도 비자명한 경계를 얻는 방법을 보여주었습니다.

요약하자면, 이 논문은 Saito-Kurokawa 리프트 의 구조를 깊이 있게 분석하고, 이를 통해 레벨 의존적인 sup-norm 경계 에 대한 정밀한 추측을 세우고 이를 부분적으로 증명함으로써, 고차원 자동형식 이론의 중요한 난제 해결에 기여한 획기적인 연구입니다.