Arithmetic of critical $p$-adic $L$-functions

기술적 요약: 임계 $p$-진 $L$-함수의 산술

1. 문제 제기 및 배경
본 논문은 쿠스피달 콜레만-마주르-버자드(Coleman–Mazur–Buzzard) 아이겐커브(eigencurve) 상의 **$\theta$-임계 점($\theta$-critical points)**에서의 모듈러 형식과 연관된 $p$-진 $L$-함수의 산술 이론을 다룬다. 모듈러 형식 $f_\alpha$ ($f$의 $p$-안정화)는 만약 $f_\alpha$가 $p$-진 $\theta$-연산자 $\theta^{k-1}$의 상에 놓여 있다면 $\theta$-임계적이다.

고전적인(비-$\theta$-임계적) 설정에서 아이겐커브는 웨이트 공간(weight space) 위에서 에탈(étale)이며, $p$-진 $L$-함수는 모듈러 심볼이나 베일린슨-카토(Beilinson–Kato) 원소를 통해 구성되며 표준적인 보간 성질을 만족한다. 그러나 $\theta$-임계 점 $x_0$에서 웨이트 맵은 분기(ramified)되며(분기 지수 $e=2$), 아이겐커브는 더 이상 에탈이 아니다. 이러한 기하학적 퇴화는 "극단적 예외적 영점(extreme exceptional zero)" 현상을 야기한다: 특수화된 $p$-진 $L$-함수 $L^{[0]}$은 전체 임계 띠($1 \le j \le k-1$)에서 소멸하는 반면, "이차적(secondary)" $p$-진 $L$-함수 $L^{[1]}$(웨이트 파라미터에 대한 미분)이 비자명한 보간 데이터를 운반한다.

본 연구의 핵심 과제는 다음과 같은 이들을 포함하여, 이 임계 $p$-진 $L$-함수들을 위한 완전한 산술적 프레임워크를 구축하는 것이다:

• 갈루아 코호몰로지를 이용한 벨라이슈(Bellaïche)의 $p$-진 $L$-함수의 "에탈"적 구성.
• 이 퇴화된 설정에서의 이와사와 주 추측(Iwasawa Main Conjectures) 정식화.
• 대수적 대응물(셀머 복합체) 및 소멸과 주항(leading terms)을 설명하는 $L$-불변량의 정의.
• 이차 $L$-함수의 미분을 $p$-진 높이 쌍생성(height pairings) 및 레귤레이터(regulators)의 관점에서 해석.

2. 방법론
저자들은 이와사와 이론, $p$-진 호지 이론, 그리고 셀머 복합체(네코바르(Nekovář)와 페랭-리위(Perrin-Riou)의 형식을 따름)의 정식화를 종합하여 활용한다.

• 에탈적 구성: 벨라이슈의 원래 작업(모듈러 심볼에 의존함) 대신, 저자들은 베일린슨-카토 원소를 아이겐커브 위에서 보간함으로써 $p$-진 $L$-함수를 구성한다. 저자들은 안드레아타-이오비타-스티븐스(Andreatta–Iovita–Stevens)의 과잉 수렴 에탈 코호몰로지를 사용하여 $\theta$-임계 점 $X$의 아핀 노이보드(affinoid neighborhood) 상의 "거대한" 베일슨-카토 클래스 $z(X, \xi)$를 정의한다.
• 고유공간-전이 원리(Eigenspace-Transition Principle): 핵심적인 기술적 혁신은 "미분을 통한 고유공간-전이" 원리이다. 이는 갈루아 표현의 미분적 변형의 지수 사상(exponential maps)을 그 결정적(crystalline) 부분 몫들의 지수 사상과 연결한다. 이를 통해 저자들은 슬로프 0(slope-zero) $L$-함수의 성질로부터 이차 $L$-함수($L^{[1]}$)의 보간 성질을 도출할 수 있다.
• 두꺼운 셀머 복합체(Thick Selmer Complexes): 갈루아 표현의 비반단순(non-semisimple) 성질인 미분적 변형 $V_k$ (여기서 $V_k$는 아이겐커브를 따른 갈루아 표현의 변형)를 다루기 위해, 저자들은 두꺼운 셀머 복합체를 도입한다. 이들은 환 $\tilde{E} = E[X]/(X^2)$ 상에서 정의되며, $x_0$에서의 퇴화로 인해 표준 셀머 군에서 손실된 산술 정보를 포착한다.
• 이와사와 이론적 $L$-불변량: 저자들은 이와사와 코호몰로지 내 국소화 사상의 기울기로서 새로운 불변량 $L^{cr}_{Iw}$를 정의한다. 이 불변량은 임계 $p$-진 $L$-함수와 고전적인 슬로프 0 $L$-함수 사이의 가교 역할을 한다.
• 레귤레이터와 높이: 저자들은 $p$-진 높이 쌍생성과 레귤레이터에 관한 주항 공식들을 확립한다. 구체적으로, $\mathcal{O}_X$-적 레귤레이터를 정의하고, 이차 $L$-함수의 미분이 레귤레이터 자체가 아닌 레귤레이터의 *이계 미분(second-order derivative)*에 의해 계산됨을 보인다.

3. 주요 기여 및 결과

• 임계 $L$-함수의 에탈적 구성: 저자들은 베일슨-카토 원소와 아이겐커브의 삼각측량(triangulation)을 사용하여 벨라이슈의 $p$-진 $L$-함수($L^{[0]}$ 및 $L^{[1]}$)에 대한 대안적 구성을 제공한다. 이들의 구성이 벨라이슈의 모듈러 심볼 구성과 일치함을 증명한다(정리 C).
• "고유공간-전이" 원리: 저자들은 미분을 통해 미분적 변형의 코호몰로지와 결정적 부분 표현들의 코호몰로지를 연결하는 일반적인 원리(명제 2.6)를 확립한다. 이는 이차 $L$-함수의 보간 성질을 증명하는 데 결정적이다.
• 이와사와 이론적 $L$-불변량 ($L^{cr}_{Iw}$): 저자들은 이와사와 이론적 $L$-불변량 $L^{cr}_{Iw}(V_f)$를 정의하고, 임계 $L$-함수의 사이클로토믹 개선(cyclotomic improvement)이 슬로프 0 $L$-함수에 이 불변량을 곱한 것과 같음을 증명한다(명제 F). 결과적으로, 임계 $L$-함수의 비소멸은 $L^{cr}_{Iw}$의 비소멸과 동치이다.
• 주 추측(Main Conjectures):
  • 점적 주 추측(Punctual Main Conjecture): 저자들은 대수적 $L$-함수의 모듈과 임계 $L$-함수를 연결하는 임계 점에 대한 주 추측을 정식화한다. 이들은 $L^{cr}_{Iw} \neq 0$일 때 이것이 고전적인 슬로프 0 주 추측과 동치임을 보인다.
  • 미분적 두꺼움(Infinitesimal Thickening): 저자들은 두꺼운 셀머 복합체를 포함하는 더 강력한 "미분적 두꺼움"의 주 추측($\tilde{MC}(f)$)을 정식화한다. 이 추측은 점적 및 슬로프 0 추측을 모두 함의한다.
• 주항 공식(Leading Term Formulae):
  • 저자들은 두 변수 $p$-진 $L$-함수에 대한 $\mathcal{O}_X$-적 주항 공식을 증명한다(정리 M).
  • 결정적으로, 하이데(Hecke) $L$-함수가 중앙 임계점에서 1차로 소멸할 때, 이차 $p$-진 $L$-함수의 미분은 1차 레귤레이터가 아니라 $\mathcal{O}_X$-적 레귤레이터의 이계 미분에 의해 계산됨을 보인다. 이는 1차 레귤레이터를 포함하는 표준적인 주항 공식과 대조된다.
• 비소멸 결과: $f$가 복소 곱셉(CM)을 갖는 경우, 저자들은 임계 $L$-함수와 이와사와 이론적 $L$-불변량이 비제로임을 무조건적으로 증명하며(따름정리 3.20), 이는 $\theta$-임계 설정에서 주 추측이 성립하는 첫 번째 구체적인 사례를 제공한다.

4. 의의 및 주장
저자들은 본 연구가 비임계 또는 비-$\theta$-임계 시나리오에 집중했던 이전 연구들의 공백을 메우며, 임계 $p$-진 $L$-함수에 대한 "상당히 완전한 산술 이론"을 개발했다고 주장한다.

• 퇴화의 해결: 본 논문은 "극단적 예외적 영점" 현상(L-함수가 임계 띠에서 소멸하는 현상)을 갈루아 표현의 미분적 변형의 비반단순성(non-semisimplicity)의 결과로 성공적으로 해석한다.
• 새로운 불변량: 이와사와 이론적 $L$-불변량 $L^{cr}_{Iw}$와 두꺼운 셀머 복합체의 도입은 분기된 점에서의 아이겐커브 산술을 연구하기 위한 새로운 도구를 제공한다.
• 높이와의 연결: 이계 미분을 포함하는 주항 공식의 유도는 레귤레이터와 $p$-진 높이 사이의 관계에 대한 새로운 관점을 제공하며, 퇴화된 경우에서의 새로운 결과로 제시된다.
• 일반화 가능성: 저자들은 자신들의 추상적 프레임워크(특히 고유공간-전이 원리와 두꺼운 셀머 형식론)가 $\theta$-임계 상황에서의 $p$-진 랭킨-셀베르그(Rankin–Selberg) $L$-함수와 같은 다른 맥락으로 일반화될 수 있음을 시사하지만, 본 논문에서 이를 명시적으로 구축하지는 않는다.

본 논문은 여기서 제시된 구성의 기초가 되는 $p$-진 $L$-함수 및 셀머 복합체에 관한 조엘 벨라이슈(Joël Bellaïche)와 네코바르(Jan Nekovář)의 기초적 작업에 헌정되었다.