Quaternionic families of Heegner points and $p$-adic $L$-functions

기술적 요약: 쿼터니온 헤그너 점의 가족과 p-진 L-함수

문제 제기
본 논문은 모듈러 곡선 ( $\mathrm{GL}_2$ 와 연관됨) 의 고전적 설정에서 "큰 (big)" 헤그너 점의 이론과 $p$-진 $L$-함수와의 관계를, 부정적 쿼터니온 대수 (indefinite quaternion algebras) 의 설정으로 확장하는 문제를 다룬다. 구체적으로, 저자들은 히다 (Hida) 가족 설정에서 $p$-진 $L$-함수를 통해 큰 헤그너 점과 일반화된 헤그너 사이클 사이의 명시적 상호성 법칙을 확립한 Castella 의 결과 [Cas13, Cas20] 를 일반화하는 것을 목표로 한다. 쿼터니온 설정에서의 핵심적인 과제는 Serre–Tate 전개와 무게 2에서의 특수화 비교와 같은 기법들을 부정적 쿼터니온 대수와 연관된 시무라 곡선에 적용하도록 적응시키는 것이다.

방법론
저자들은 대수적 객체와 해석적 객체 사이의 간극을 메우기 위해 히다 가족 내의 무게 2 특수화의 밀집성에 초점을 맞춘 전략을 채택한다.

1. 쿼터니온 히다 가족: 이 작업은 $k_0 \equiv 2 \pmod{2(p-1)}$인 $p$-안정화 된 새로운형 (newform) $f$를 지나는 히다 가족의 원시 분기 (primitive branch) $I$라는 프레임워크 내에서 이루어진다. 저자들은 잔여 갈루아 표현 (기약이고 $p$-구별됨) 에 관한 표준 가설과 이차 허수체 $K$ 내 소수들의 분해 거동에 대한 가정을 전제한다.
2. 큰 헤그너 점: Fouquet [Fou13] 와 Longo–Vigni [LV11] 의 구성을 활용하여, 저자들은 히다 가족 $I$와 헤케 캐릭터 $\xi$의 가족에 부착된 큰 갈루아 표현 $T^\dagger_\xi$의 이와와 (Iwasawa) 코호몰로지에 "큰" 헤그너 점 $Z_c$를 정의한다.
3. 해석적 $p$-진 $L$-함수: 해석적 측면은 저자들의 이전 연구 [LMW26] 에서 구성된 $p$-진 $L$-함수 가족 $L^{\text{an}}_{I,\xi}$에 의존한다. 이 구성은 시무라 곡선 위의 모듈러 형식에 대한 Serre–Tate 전개를 활용하여 히다–오hta (Hida–Ohta) 이론을 쿼터니온 설정으로 일반화한다.
4. 대수적 $p$-진 $L$-함수: 대수적 측면은 큰 헤그너 점 $Z_c$에 적용된 큰 Perrin-Riou 로그 매핑을 통해 정의되며, 이는 $L^{\text{alg}}_{I,\xi}$를 산출한다.
5. 콜먼 적분과 특수화: 중요한 기술적 구성 요소는 시무라 곡선에서의 콜먼 (Coleman) 적분 사용이다. 저자들은 모듈러 곡선에서의 결과를 일반화하여 시무라 곡선 위의 초과수렴 모듈러 형식에 대한 콜먼 원함수를 정의한다. 그들은 산술적 사상에 대한 대수적 $L$-함수의 무게 2 특수화를 계산하여, 이를 헤그너 점에서의 이러한 원함수들의 평가와 연관시킨다.
6. 상호성 법칙: 해석적 및 대수적 $L$-함수 모두의 무게 2 특수화를 비교하고 히다 가족 내 이러한 특수화의 밀집성을 활용함으로써, 저자들은 두 개의 글로벌 객체 사이의 등식을 확립한다.

주요 기여 및 결과

• 명시적 상호성 법칙: 주요 결과는 정리 6.3 으로, 이는 환 $\tilde{I}[[\tilde{\Gamma}_\infty]]$에서 해석적 $p$-진 $L$-함수 $L^{\text{an}}_{I,\xi}$와 대수적 $p$-진 $L$-함수 $L^{\text{alg}}_{I,\xi}$ 사이의 (단위 차이의) 등식을 증명한다:
  $$L^{\text{an}}_{I,\xi} = L^{\text{alg}}_{I,\xi}$$
  이 등식은 큰 헤그너 점들이 고전적 헤그너 점들의 극한으로서의 명시적 설명을 활용하여, 무게 2 산술적 사상에 대한 그들의 특수화가 일치함을 보임으로써 유도된다.

• 큰 헤그너 점의 비-토션 (Non-Torsion): 상호성 법칙과 히다 가족의 일반적 루트 번호가 $+1$이라는 가정의 직접적인 결과로서, 저자들은 큰 헤그너 점 $Z_c$가 $I$-토션이 아님을 증명한다 (Corollary 6.4). 이는 [LV11] 의 추측 10.3 을 확인한다.

• 셀머 군에 대한 산술적 응용: $Z_c$의 비-토션 성질은 셀머 군에 관한 구조적 결과로 이어진다:

  • 큰 갈루아 표현과 연관된 Nekovář 확장 셀머 군 $\tilde{H}^1_f(K, T^\dagger)$는 계수 1 인 자유 $I$-모듈이다 (Corollary 6.5).
  • 유한 개를 제외한 모든 산술적 특수화 $\nu$에 대해, 잔여체 위의 Bloch-Kato 셀머 군 $H^1_f(K, T^\dagger_\nu)$의 차원은 1 이다.

• 일반화된 헤그너 가설: 이러한 결과들의 중요한 특징은 "완화된" 헤그너 가설 하에 성립한다는 점이다. 레벨을 나누는 모든 소수가 $K$에서 분해되는 경우로 제한되었던 이전 연구들과 달리, 본 논문은 레벨 $N$을 나누는 소수 중 짝수 개 (양수 개) 가 $K$에서 불변 (inert) 일 수 있음을 허용한다 (구체적으로, $N^-$는 서로 다른 소수들의 짝수 개의 곱이다).

의의와 한계
본 논문은 Castella 와 Darmon–Rotger 의 기법들을 쿼터니온 설정에 성공적으로 적응시켜, 이 맥락에서 큰 헤그너 점과 $p$-진 $L$-함수를 연관시키는 최초의 명시적 상호성 법칙을 제공한다고 주장한다. 이 일반화는 레벨 내 불변 소수를 포함하는 경우까지 히다 가족에 대한 이와와 이론의 범위를 확장함으로써, 더 넓은 범주의 시무라 곡선에 대한 적용 가능성을 넓힌다는 점에서 중요하다.

그러나 저자들은 더 높은 무게의 특수화와 일반화된 헤그너 사이클 사이의 관계에 관한 특정 한계를 지적한다. 무게 2 특수화는 (저자 중 한 사람의 [Mag22] 연구에 의해) 일반화된 헤그너 사이클과 명시적으로 연관되지만, 본 논문은 현재 일반화된 헤그너 사이클의 관점에서 Perrin-Riou 로그의 더 높은 무게 특수화에 대한 완전한 설명을 제공하지는 않는다. 저자들은 이를 쿼터니온 설정에서 아직 완전히 구비되지 않은 Beilinson–Kato 원소와 Kuga–Sato 다양체에 의존하는 Kings–Loeffler–Zerbes 결과 [KLZ17] 의 쿼터니온 유사체가 부재하기 때문이라고 귀인한다. 따라서 상호성 법칙은 무게 2 점들의 밀집성을 통해 확립되지만, 더 높은 무게에 대한 직접적인 기하학적 해석은 여전히 열린 문제로 남아있다.