A canonical generator for congruence ideals of Hida families

문제 정의
본 논문은 히다 가족(Hida families)에 연관된 정준 부가 $p$-진 $L$-함수(canonical adjoint $p$-adic $L$-functions)의 구성과 산술적 연구를 다룬다. 모듈러 형식의 부가 리프트(adjoint lift)에 대한 $p$-진 $L$-함수는 이전에 슈미트(Schmidt)와 히다(Hida)에 의해 구성되었으나, 이러한 구성들은 코츠-페린-리우(Coates-Perrin-Riou)의 모티브(motives) 프레임워크와 완전히 일치하지 않았다. 기존 구성에서의 주기(period) 정규화는 페테르손 노름(Petersson norm) $\langle f, f \rangle$에 의존했으나, 모티브적 고려 사항은 올바른 주기가 $p$-정규화된 시무라 주기(Shimura periods)의 곱인 $\Omega^+_f \Omega^-_f$를 포함해야 함을 시사한다. 이러한 불일치는 기존의 $p$-진 $L$-함수가 "진정한(genuine)" 모티브적 $p$-진 $L$-함수의 비율임을 의미한다. 핵심적인 문제는 히다 가족의 congruence ideal의 정준 생성원인 $L_p(\text{ad } F)$를 구성하는 것인데, 이는 adjoint $L$-값과 시무라 주기의 곱의 비율을 보간(interpolate)하며, 이 생성원을 adjoint 셀머 그룹(Selmer group)의 characteristic ideal과 연관시키는 것이다.

방법론
저자는 히다 가족과 오타(Ohta)의 페어링(pairing) 이론에 뿌리를 둔 코호몰로지적 접근 방식을 사용한다. 방법론은 다음과 같은 몇 가지 주요 단계를 거친다:

1. 코호몰로지 설정 및 오타의 페어링: 구성은 모듈러 곡선의 타워(tower)에 대한 안티-오디너리(anti-ordinary) 코호몰로지 $e^*H^1(Np^\infty)$를 활용한다. 저자는 이 공간 위에서 오타에 의해 구성된 완벽한 $\Lambda$-adic 페어링을 사용하며, 이는 안티-오디너리 고유 형식(eigenforms)의 페테르손 노름을 보간한다. 히다 가족은 오디너리 코호몰로지에 기여하므로, 아킨-레너(Atkin-Lehner) 인볼루션을 사용하여 오디너리와 안티-오디너리 코호몰로지 사이의 적분 구조(integral structures)를 이동시키며, 이를 통해 오타의 페어링을 오디너리 설정에 적용할 수 있게 한다.
2. 정준 주기와 $L$-함수의 정의: 관련 코호몰로지 모듈에 대한 기저(basis)를 고정함으로써(특정 기약 조건 하에서 이들은 국소 Hecke 대수 위에서 rank 1인 자유 모듈이다), 저자는 $p$-진 부가 $L$-함수 $L_p(\text{ad } F)$를 이 기저 원소들에 대한 오타의 페어링 값으로 정의한다. 이 정의는 $L$-함수가 congruence ideal의 정준 생성원이 되도록 보장한다.
3. 보간 및 오일러 인자: 본 논문은 이 $L$-함수의 산술적 점(classical modular forms)에서의 특수화를 분석한다. 저자는 이 특수화가 명시적인 오일러 인자와 $p$의 거듭제곱을 제외하고, adjoint $L$-값과 시무라 주기의 곱의 비율을 보간함을 입증한다. 또한 저자는 동일한 잔여 갈루아 표현(residual Galois representation)을 공유하는 다양한 히다 가족의 $L$-함수로 특수화되며, tame level의 변화를 오일러 인자를 통해 반영하는 big Hecke algebra 내의 유니버설 원소 $L_\Sigma(\text{ad } \rho)$를 구성한다.
4. 셀머 그룹과의 관계: 논문은 해석적 대상($L_p(\text{ad } F)$)을 대수적 대상(adjoint Selmer group $\text{Sel}(\text{ad } F)$)과 연관시킨다. 저자는 갈루아 변형 이론(특히 와일즈(Wiles), 테일러-와일즈(Taylor-Wiles), 다이아몬드(Diamond)에 의해 확립된 유니버설 변형 링과 Hecke ring 사이의 동형 관계)과 연속 카를러 미분(continuous Kähler differentials) 모듈을 활용한다. 유한 집합 $\Sigma$에 속하는 소수들에서의 국소 조건을 분석함으로써, 저자는 characteristic ideal과 $p$-진 $L$-함수 사이의 연결을 확립하며, 국소 오토모픽 표현이 supercuspidal인 예외적인 소수들을 위해 조정한다.

주요 기여 및 결과

• 정리 A ( $L_p(\text{ad } F)$의 구성): 잔여 갈루아 표현 $\rho_F$가 절대 기약(absolutely irreducible)이고 $p$-distinguished하다고 가정할 때, 저자는 히다 가족 $F$의 congruence ideal의 생성원 $L_p(\text{ad } F)$를 구성한다. 이 원소의 classical newform $f$에서의 특수화는 다음과 같이 명시적으로 주어진다:
  $$L_p(\text{ad } f) = p^{r-1}\alpha^r w(f^\circ) E_p(\text{ad } f^\circ) \cdot \frac{(-2i)^k \langle f^\circ, f^\circ \rangle}{\Omega^+_{f^\circ} \Omega^-_{f^\circ}}$$
  이는 구성된 $L$-함수가 congruence ideal을 생성하며, 올바른 모티브적 주기 비율을 보간함을 확인시켜 준다.

• 정리 B (Big Hecke Algebra에서의 유니버설 원소): 논문은 유니버설 오디너리 Hecke algebra와 계수 환(coefficient ring)의 텐서 곱 내의 regular element $L_\Sigma(\text{ad } \rho)$를 구성한다. 이 원소는 유한 집합 $\Sigma$와 관련된 오일러 인자를 제외하고, 동일한 잔여 표현 $\rho$를 공유하는 임의의 primitive Hida family의 adjoint $p$-진 $L$-함수로 특수화된다. 이 결과는 동일한 잔여 표현을 공유하는 서로 다른 $p$-ordinary newforms의 페테르손 노름 사이의 congruence의 존재를 해석한다.

• 정리 C (Adjoint Selmer Groups에 대한 Main Conjecture): 잔여 표현이 $\mathbb{Q}(\mu_p)$ 위에서 절대 기약이라는 더 강한 가정 하에, 본 논문은 primitive adjoint Selmer group의 Pontryagin dual가 torsion module임을 증명한다. Twist-minimal Hida family $F$에 대하여, 이 Selmer group의 characteristic ideal은 예외적인 소수 $\Sigma_e$에서의 국소 인자들의 곱에 의해 조정된 $p$-진 $L$-함수와 같다:
  $$\text{char}_I \text{Sel}(\text{ad } F)^\vee = \left( \prod_{\ell \in \Sigma_e} (1 + \ell^{-1})^{-1} \right) L_p(\text{ad } F) \cdot I$$

의의
본 논문은 congruence ideal과 Selmer group의 프레임워크에 자연스럽게 들어맞는 "진정한" 모티브적 adjoint $p$-진 $L$-함수의 엄밀한 구성을 제공한다고 주장한다. 오타의 페어링과 아킨-레너 인볼루션을 활용함으로써, 저자는 이전의 구성(Schmidt-Hida)에 존재하던 정규화 문제를 해결하여, $L$-함수가 Bloch-Kato Selmer group의 크기와 같은 깊은 대수적 불변량을 포착하도록 보장한다. 이 결과들은 해석적인 $p$-진 $L$-함수와 대수적인 adjoint Selmer group의 characteristic ideal 사이의 정밀한 등식을 확립하며, 이는 minimallly ramified 케이스로 제한되었던 히다(Hida)의 이전 결과들을 일반화한다. 또한 본 연구는 twisting 및 tame level의 변화에 따른 이들 $L$-함수의 거동을 명확히 하며, 페테르손 노름 사이의 congruence를 연구하기 위한 통합된 프레임워크를 제공한다.