Harder's conjecture and Hermitian automorphic forms

기술적 요약: 하더의 추측(Harder's Conjecture)과 헤르미션 오토모픽 형식(Hermitian Automorphic Forms)

문제 정의
본 논문은 타원형 모듈러 형식(elliptic modular forms)과 차수 2의 지겔 모듈러 형식(Siegel modular forms) 사이의 합동(congruence)을 예측하는 하더의 추측을 다룬다. 구체적으로, $k \ge 4$ 및 $j \ge 2$를 $j$가 짝수인 정수라 하고, $f$를 $SL_2(\mathbb{Z})$에 대한 무게 $2k + j - 2$인 원시 타원형 큐스프 형식(primitive elliptic cusp form)이라 하자. 추측은 대수적 임계값 $L^{\text{alg}}(k+j, f)$를 나누는 소 아이디얼 $\mathfrak{p}$에 대하여, 지겔 큐스프 고유 형식 $F \in S_{\det^k \Sym^j}(Sp_2)$가 존재하여, 모든 유리수 소 $\ell$에 대해 다음의 스피너 $L$-다항식(spinor $L$-polynomial) 합동을 만족할 것을 상정한다:
$$L_\ell(X, F, \text{Spin}) \equiv L_\ell(X, f)(1 - \ell^{k-2}X)(1 - \ell^{k+j-1}X) \pmod{\mathfrak{P}}$$
여기서 $\mathfrak{P}$는 $\mathfrak{p}$ 위에 있는 소 아이디얼이다. 이전의 연구들은 (예: 시무라 유형의 대응, 짝수 유니모듈러 격자, 또는 미야와키 리프트 등을 통해) 이 추측의 사례들을 확립해 왔으나, 본 논문은 이 추측을 준-분할 유타리 군(quasi-split unitary group) $U_{2,2}$ 상의 헤르미션 오토모픽 형식들과의 합동으로부터 조건부로 도출하는 것을 목표로 한다.

방법론
저자들은 오토모픽 표현론과 갈로아 표현론을 결합한 두 갈래의 전략을 사용한다:

1. 오토모픽 측면 (리프트의 구성):

   • 저자들은 헤르미션 스핀 리프트(Hermitian spin lifts)를 구성하기 위해 준-분할 유타리 군에 대한 Mok의 엔도스코픽 분류(endoscopic classification)를 활용한다(여기서 $E$는 보조적인 허수 이차체이다). 구체적으로, 지겔 큐스프 고유 형식 $F$에 대하여, 저자들은 $U_{2,2}$ 상의 헤르미션 큐스프 고유 형식 $\text{Lift}_E(F)$를 구성한다.
   • 저자들은 이 리프트의 표준 $L$-다항식이 $F$의 스피너 $L$-다항식과 그 $\chi_E$-트위스트(twist)의 곱으로 인수분해됨을 확립한다.
   • $f$와 연관된 헤르미션 클링엔-아이젠슈타인 리프트(Klingen–Eisenstein lift)의 명시적인 표준 $L$-다항식과 이 인수분해를 비교함으로써, 저자들은 헤르미션 큐스프 형식 $G$와 클링엔-아이젠슈타인 리프트 사이의 합동이 (만약 $G$가 실제로 어떤 $F$의 리프트라면) 원하는 스피너 $L$-다항식 합동을 함의함을 증명한다.

2. 갈로아 측면 (하강 및 기약성):

   • 핵심적인 난제는 클링엔-아이젠슈타인 합동으로부터 얻어진 헤르미션 큐스프 형식 $G$가 실제로 스핀 리프트임을 증명하는 것이다.
   • 저자들은 유타리 군에 부착된 갈로아 표현(Skinner의 연구를 따름)을 사용하여 $G \equiv [f]_{j+4}^2 \pmod{\mathfrak{P}}$라는 합동으로부터 발생하는 잔여 확장 클래스(residual extension classes)를 분석한다.
   • 저자들은 "원치 않는" 잔여 확장 클래스를 배제하기 위해 셀머 그룹 소멸(Selmer-group vanishing) 논증을 사용한다. 구체적으로, 명시적인 산술적 가설 하에서, 연관된 갈로아 표현 $R^\natural_G$가 절대 기약(absolutely irreducible)이며 공액 불변(conjugate-invariant)임을 증명한다.
   • 공액 불변성은 $G$의 전역 아르투르 파라미터(global Arthur parameter)가 $GL_4(\mathbb{A}_E)$에서 $GL_4(\mathbb{A}_{\mathbb{Q}})$로 하강할 수 있게 한다. 이 하강은 $G$를 지겔 큐스프 고유 형식의 전이(transfer)로 식별하며, 이를 통해 $G = \text{Lift}_E(F)$임을 확립한다.

주요 기여 및 결과

• 주요 정리 (정리 5.8): 본 논문은 하더의 추측에 대한 조건부 버전을 증명한다. 만약 $\mathfrak{p}$, 허수 이차체 $E$, 그리고 $f$의 비-합동성(non-congruence)에 관한 특정 산술적 조건들이 충족된다면, 스피너 $L$-다항식 합동이 성립함을 입증한다.
• 기술적 가설: 정리는 다음을 포함한 10가지 명시적 조건을 요구한다:
  • $p > 2k + j - 2$ 이고 $p$가 $E$에서 unramified일 것.
  • $E$의 계수(class number)는 1이며, $q \neq p$인 유일한 ramified 소를 가질 것.
  • 특정 $L$-값들(예: $L(0, \tilde{\omega}^{j+1})$, $L^{\text{alg}}(k+j, f \otimes \chi_E)$)이 $\mathfrak{P}$에 의해 나누어지지 않을 것.
  • ramified 소 $q$에 대한 "Tame" 조건 ($q^{j+2} \not\equiv 1 \pmod p$).
  • $f$에 부착된 갈로아 표현의 이미지가 $SL_2(\mathcal{O}_P)$를 포함할 것.
• 수치적 검증: 저자들은 이러한 가설들이 검증된 수치적 예시들(표 1)을 제공한다. 여기에는 알려진 사례(예: $(k,j,p) = (10,4,41)$)를 복구하는 것뿐만 아니라, 짝수 및 홀수 $k$ 모두에 대한 새로운 사례(예: $(7, 12, 73)$, $(5, 20, 193)$)를 확립하는 것이 포함된다.

의의
본 논문은 $k \ge 4$인 경우에 대해 짝수와 홀수 $k$를 균등하게 다루는 통합된 하더 유형 합동 프레임워크를 제공한다는 점에서 의의를 갖는다. 문제를 헤르미션 오토모픽 형식의 설정으로 전환하고 Mok의 엔도스코픽 분류와 갈로아 이론적 하강을 활용함으로써, 저자들은 (이전 연구들의 $k$에 대한 패리티 제한과 같은) 일부 한계를 우회하는 조건부 증명을 제시한다. 이 연구는 적절한 셀머 그룹이 소멸하고 갈로아 표현이 특정 기약성 및 불변성을 만족하는 한, 지겔 형식 $F$의 존재가 헤르미션 합동으로부터 도출될 수 있음을 보여준다. 저자들은 $k=3$의 경우 Mok의 분류에 따른 경계 문제(boundary issues)로 인해 별도의 논의가 필요함을 명시하면서도, 약간의 수정을 통해 접근 가능함을 시사한다.