Kurokawa-Mizumoto congruence and differential operators on automorphic forms

Nobuki Takeda의 "Kurokawa-Mizumoto Congruence and Differential Operators on Automorphic Forms" 기술 요약

문제 제기
본 논문은 벡터 값(vector-valued) Kurokawa-Mizumoto 합동(congruence)의 존재에 대한 충분 조건을 확립하는 문제를 다룬다. 구체적으로, 차수 1인 Hecke 고유형(Hecke eigenform)의 Klingen-Eisenstein 리프트(lift)와 차수 2인 Siegel 첨점 형식(cusp form) 또는 모듈러 형식 사이의 합동 관계를 조사한다.

$k, \nu$를 짝수 정수라 하고, $f$를 $\Gamma_1$ 위의 가중치 $k+\nu$를 갖는 정규화된 Hecke 고유형이라 하자. Klingen-Eisenstein 리프트 $[f]^{(k+\nu, k)}$는 가중치 $\det^k \otimes \text{Sym}^\nu$를 갖는 차수 2 Siegel 모듈러 형식이다. 핵심적인 추측은 만약 충분히 큰 소 소아이데알(prime ideal) $\mathfrak{p}$가 표준 $L$-함수 $L(k-1, f, \text{St})$의 특수값(special value)을 나눈다면, 다음을 만족하는 Hecke 고유형 $G$(리프트의 스칼라 배가 아닌)가 존재한다는 것이다:
$$[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$$
여기서 $\equiv_{\text{ev}}$는 Hecke 합동을 의미한다. 이는 이전에 스칼라 가중치($\nu=0$) 및 특정 사례($\nu=2$)에 대해 확립되었으나, 본 논문은 일반적인 벡터 값 사례($\nu > 0$)에 대한 충분 조건을 제공하는 것을 목표로 한다. 주요 결과는 Theorem 5.9에서 도출된 특정 충분 조건 하에서 Begström, Faber, 그리고 van der Geer의 추측 10.6이 성립함을 입증한다.

방법론
증명 전략은 Atobe-Chida-Ibukiyama-Katsurada-Yamauchi의 방법과 미분 연산자의 표현론적 재해석을 결합한다.

1. 미분 연산자와 표현론:
   저자는 (Ibukiyama가 연구한 것과 같이) 오토모픽 성질을 보존하는 미분 연산자를 Howe duality를 사용하여 재해석한다. Symplectic group과 그 metaplectic cover가 다항식 공간(Weil representation)에 작용하는 방식을 분석함으로써, 저자는 특정 가중치의 오토모픽 형식을 더 낮은 차수의 Siegel 상반평면들의 곱 위로 매핑하는 미분 연산자 $\Phi_h(\partial_Z)$를 구성한다. 이를 통해 Siegel-Eisenstein 급수를 Klingen-Eisenstein 급수를 포함하는 성분들로 분해할 수 있다.

2. Pullback 공식:
   핵심적인 도구는 차수 $n_1+n_2$인 Siegel-Eisenstein 급수를 더 낮은 차수의 Klingen-Eisenstein 급수들의 곱의 합과 연결하는 pullback 공식(Theorem 4.16)이다. 저자는 Siegel-Eisenstein 급수 $E_{n,k}(Z,s)$로부터 합동 정리(congruence lemma)에 필요한 조건을 만족하는 함수 $G(Z)$를 구성하기 위해 이 공식을 활용한다.

3. 합동 정리 (Lemma 3.5):
   논증의 핵심은 Hecke 고유형들의 선형 결합이 음의 $\mathfrak{p}$-adic valuation을 갖는 푸리에 계수(Fourier coefficient)를 가지면, 그 결합 내의 적어도 다른 하나의 고유형이 첫 번째 고유형과 $\mathfrak{p}$에 대해 합동이어야 한다는 정리(lemma)에 의존한다. 저자는 Klingen-Eisenstein 리프트와 다른 형식들을 포함하는 특정 선형 결합을 구성하고, 특정 산술적 조건 하에서 리프트의 계수가 음의 valuation을 가짐을 보여줌으로써 다른 형식과의 합동을 강제한다.

4. 정수성 및 갈루아 표현:
   저자는 선형 결합의 계수들의 분모를 제어하기 위해 Petersson 내적 및 푸리에 계수에 관한 정수성 정리(integrality lemmas)를 사용한다. 또한, spin $L$-함수에 부착된 갈루아 표현을 사용하여, 결과로 나오는 $G$가 단순한 모듈러 형식이 아니라 첨점 형식(cusp form)이 되도록 하는 조건을 도출한다.

주요 기여 및 결과

• 주요 정리 (Theorem 5.9): 본 논문은 벡터 값 Kurokawa-Mizumoto 합동에 대한 충분 조건을 확립한다. $f$를 $S_{k+\nu}(\Gamma_1)$의 정규화된 Hecke 고유형이라 하고 $p$를 소수라 하자. 만약:

  1. $\text{ord}_p(L(k-1, f, \text{St})) = \alpha > 0$,
  2. 반정수(half-integral) 양의 정부호 행렬 $A$에 대해 $\text{ord}_p(C_{4,k}(f)a(A, [f]^{(k+\nu, k)})) = 0$,
  3. $p \geq 2(k+\nu) - 3$ (또는 $\text{ord}_p(\gamma_1)=0$인 경우 약간 더 약한 경계),
     이면, $[f]^{(k+\nu, k)} \equiv_{\text{ev}} G \pmod{\mathfrak{p}}$를 만족하는 Hecke 고유형 $G \in M_{\rho_2}(\Gamma_2)$가 존재한다.
     추가적인 다른 고유형들에 대한 조건과 서로소(coprimality) 조건이 충족되면, $G$는 $S_{\rho_2}(\Gamma_2)$의 첨점 형식으로 선택될 수 있으며, 합동은 $\mathfrak{p}^\alpha$에 대해 성립한다.

• 표현론적 해석: 본 논문은 Howe duality를 통해 오토모픽 형식 상의 미분 연산자에 대한 새로운 해석(Theorem 4.12)을 제공하며, 이는 Ban과 Ibukiyama의 기존 결과를 일반화한다. 이 프레임워크는 증명에 사용된 pullback 공식을 도출하는 데 필수적이다.

• 명시적 예시: 저자는 이러한 합동이 성립하는 명시적인 수치적 예시를 제공한다:

  • $(k, \nu) = (14, 2)$인 경우, $\Delta_{16,14}$와 $\Delta_{16}$의 리프트 사이의 373에 대한 합동을 증명하였다.
  • $(k, \nu) = (8, 8)$인 경우, $\Delta_{16,8}$와 $\Delta_{16}$의 리프트 사이의 $23^2$에 대한 합동을 증명하였다.

의의 및 주장
본 논문은 벡터 값 Kurokawa-Mizumoto 합동의 존재에 관한 Begström, Faber, 그리고 van der Geer의 추측 10.6이 Theorem 5.9에서 확립된 특정 충분 조건 하에서 성립함을 보여준다. 이는 스칼라 가중치 및 특정 벡터 가중치에 대해 알려진 결과들을 짝수 가중기 $k, \nu$에 대한 일반적인 설정으로 확장한다.

저자는 도출된 조건들이 충분조건일 뿐 반드시 필요조건은 아니라고 언급한다. 구체적으로, 조건 (2)가 증명을 위해 필요하지만, 이것이 합동의 존재를 위해 엄격히 필요한지는 Bloch-Kato 추측과 연관된 섬세한 문제임을 밝히며, 이는 본 논문의 논의를 심화시킨다. 또한, 정리는 $\mathfrak{p}^\alpha$의 거듭제곱에 대한 합동을 허용하지만, 저자는 두 번째 절반의 정리(높은 차수의 거듭제곱 합동을 도출하는 부분)가 효과적임을 보여주는 수치적 예시를 아직 찾지 못했다고 명시한다.

또한 본 연구는 기초 형식(base forms)에 대한 특정 비합동 조건(non-congruence conditions)을 통해, 결과로 나오는 합동 형식 $G$가 첨점 형식임이 보장됨을 갈루아 표현(Theorem 5.13)을 통해 명확히 한다.