Harder's conjecture II

기술적 요약: "Harder의 추측 II: 완전한 증명을 포함한 확장 버전"

문제 정의
본 논문은 degree 2인 Siegel modular form의 Hecke eigenvalue와 타원형 modular form의 Hecke eigenvalue로부터 유도된 특정 양 사이의 합동 관계를 상정하는 Harder의 추측을 다룬다. 구체적으로, $f$를 $SL_2(\mathbb{Z})$에 대한 weight $2k+j-2$인 primitive form이라 하고, $p$를 $L$-value $L(k+j, f)$의 algebraic part를 나누는 소수 ideal이라 하자. 이 추측은 weight $(k+j, k)$인 $Sp_2(\mathbb{Z})$의 cusp form 공간 내에, $F$의 eigenvalue가 $f$의 eigenvalue와 소수의 거듭제곱을 포함하는 특정 관계를 $\pmod p$로 만족하는 Hecke eigenform $F$가 존재함을 주장한다.

이전 연구(arXiv:2306.07582v2)에서 저자들은 $f$의 Duke-Imamoglu-Ikeda (DII) lift인 $[I_2(f)]_k$의 Klingen-Eisenstein lift와, $F$의 형태인 type $A(I)$의 lift $A^{(I)}_4(F)$ 사이의 congruence에 관한 더 강력한 추측(Conjecture 1.1)을 제안하였다. 저자들은 Conjecture 1.1이 Harder의 추측을 함의함을 증명하였으나, 이전의 증명은 특정 weight $(k, j)$에 대한 비-congruence 조건을 사례별로 검증하는 방식에 의존하였다.

방법론
저자들은 체크 가능한 조건들 하에서 (even $k$ 및 $j \equiv 0 \pmod 4$에 대해) 일반적인 설정으로 Conjecture 1.1을 확립한다. 방법론은 두 가지 주요 기둥에 의존한다:

1. Klingen-Eisenstein Lifts의 Congruence: 이전 결과들을 바탕으로, 저자들은 만약 $p$가 $L(k+j, f)$의 algebraic part를 나누면, $[I_2(f)]_k$의 상수 배가 아닌 Hecke eigenform $G$가 존재하여 $G \equiv_{ev} [I_2(f)]_k \pmod p$를 만족한다는 사실을 활용한다. 추측을 증명하기 위해서는, 그러한 모든 $G$가 반드시 type $A(I)$의 lift여야 함을 보여주는 것으로 충분하다.

2. Galois Representations를 통한 Non-Congruence: 핵심적인 기술적 혁신은 서로 다른 유형의 modular form들을 구별하기 위해 Galois representations를 사용하는 것이다. 저자들은 후보 form $G$에 부착된 mod $p$ Galois representation $\bar{\rho}_{G, St}$의 semi-simplification을 분석한다.

   • Klingen-Eisenstein lift $[I_2(f)]_k$의 경우, 그 semi-simplified representation은 $\bar{\rho}_f$와 cyclotomic character $\chi_p$의 twist 및 $\chi_p$의 거듭제곱들의 직합(direct sum)으로 분해되는 것으로 알려져 있다.
   • 저자들은 만약 $G$가 type $A(I)$의 lift가 아니라면, 그와 관련된 Galois representation이 주어진 조건 하에서 이러한 특정 분해 구조를 보일 수 없음을 증명한다.
   • 이는 extension class들을 Bloch-Kato Selmer group에서 분석하고, short crystalline representation의 성질을 활용함으로써 달성된다. 구체적으로, 만약 이러한 분해가 non-$A(I)$ form에 대해 발생한다면, 이는 특정 Selmer group이나 class group(예: $C_p^{\omega^{-j}}$) 내의 non-trivial element의 존재를 함의하게 되는데, 저자들은 주어진 조건들(Vandiver의 추측 또는 $p$의 regularity 등)에 의해 이를 배제한다.

주요 기여

• 이전 결과의 일반화: 본 논문은 (k, j) = (10, 4), (14, 4), (4, 24)라는 특정 사례에서 even $k$ 및 $j \equiv 0 \pmod 4$를 위한 일반적인 설정으로 Conjecture 1.1(및 그 결과인 Harder의 추측)의 증명을 확장한다.
• 보조 Lemma의 완전한 증명: 저자들은 이전 버전에서 증명 없이 기술되었던 Lemma 7.2, 7.3 및 Corollary 7.4, 7.5에 대한 완전한 증명을 제공한다. 이 lemma들은 Galois representation에서의 lattice 구조와 extension group에 기반한 representation의 reducibility에 관한 것이다.
• 알고리즘적 검증: 논문은 Klingen-Eisenstein series의 Fourier coefficient와 critical $L$-value를 계산하기 위한 알고리즘(Proposition 6.2)을 상세히 기술한다. 이를 통해 정리가 성립하기 위해 요구되는 "쉽게 체크 가능한" 조건들을 구체적인 예시에서 효과적으로 확인할 수 있다.
• 정교화된 조건: 저자들은 Fourier coefficient, $L$-values, 그리고 class number의 비-나누어짐(non-divisibility)을 포함하는 조건들(C.1–C.8)을 포함하여 메인 정리(Theorem 5.5)를 공식화한다. 또한, 이들을 period $c^\pm(f)$의 선택과 독립적인 조건들(C.2', C.8')로 정교화하여 Theorem 5.7을 제시한다.

결과
주요 결과는 Theorem 5.5(및 그 변형인 Theorem 5.7)이며, 이는 지정된 조건들(여기에는 $p > 2k+j-2$, $\bar{\rho}_f$의 absolute irreducibility, 특정 $L$-values 및 class number의 non-divisibility 포함) 하에서 다음을 만족하는 Hecke eigenform $F \in S_{(k+j, k)}(\Gamma(2))$가 존재함을 명시한다:
$$A^{(I)}_4(F) \equiv_{ev} [I_2(f)]_k \pmod p$$
이의 직접적인 결과로서, Theorem 5.9는 이러한 파라미터들에 대해 Harder의 추측을 확인하며, 다음과 같은 Hecke eigenvalue의 congruence를 확립한다:
$$\lambda_F(T(\ell)) \equiv a(\ell, f) + \ell^{k-2} + \ell^{j+k-1} \pmod{p'}$$
나아가, Theorem 5.10은 이러한 congruence를 arithmetic geometry와 연결하여, representation $T$에 부착된 Bloch-Kato Selmer group $Sel(\mathbb{Q}, T(k+j))$가 $p$-torsion element를 가짐을 증명한다.

Section 10에서 저자들은 Eisenstein series와 Ramanujan delta function으로부터 유도된 새로운 구체적 primitive form들을 사용하여, $(k, j) = (12, 8), (10, 12), (8, 16)$에 대해 Harder의 추측을 확인하는 데 이 결과들을 적용한다.

의의
본 논문은 사례별 검증의 한계를 넘어, 광범위한 클래스에서 Harder의 추측에 대한 엄밀하고 일반적인 증명을 제공함으로써 그 의의를 갖는다. Modular form의 congruence를 Galois representation 및 Selmer group의 구조와 연결함으로써, 이 연구는 Siegel modular form의 산술적 성질과 elliptic modular form 간의 관계에 대한 이해를 심화시킨다. 제공된 명시적인 조건들은 주어진 weight $(k, j)$ 쌍에 대해 추측을 체계적으로 검증할 수 있게 하여, 해당 분야의 추가적인 계산적 탐구를 용이하게 한다.