Towards the Fontaine--Mazur conjecture for GL(2)

기술 요약: $GL_2$에 대한 폰타인-마주르 추측을 향하여

문제 정의
본 논문은 $GL_2$에 대한 폰타인-마주르(Fontaine–Mazur) 추측, 구체적으로는 추측 A를 다룬다. 이 추측은 특정 국소 조건(거의 모든 곳에서 비람다(unramified), $p$에서의 서로 다른 호지-테이트 가중치를 갖는 드 브르(de Rham), 전적으로 홀수(totally odd)인 행렬식)을 만족하는 연속적이고 기약적인 갈로아 표현 $\rho: G_F \to GL_2(\mathbb{Q}_p)$ (여기서 $F$는 전적으로 실수인 수체)가 기하학으로부터 기원한다고 상정한다.

기존 문헌의 중요한 공백은 잔여 표현(residual representation) $\bar{\rho}: G_F \to GL_2(\mathbb{F}_p)$가 가약(reducible)인 경우에 존재한다. 모듈성 리프팅 정리(modularity lifting theorems)는 "충분히 비퇴화된"(예: 기약적인) 잔여 표현들에 대해서는 추측을 성공적으로 증명해 왔으나, 이러한 방법들은 $\bar{\rho}$가 가약인 경우에는 일반적으로 실패한다. Skinner와 Wiles [SW99]에 의한 가약 사례의 기존 결과들은 주로 $F = \mathbb{Q}$인 경우로 제한되었으며, 임의의 전적으로 실수인 수체로의 일반화에 어려움을 겪어 왔다.

방법론
저자 잭 A. 쏜(Jack A. Thorne)은 가약 잔여 표현을 다루기 위해 "수의 기하학(geometry of numbers)"과 결합된 새로운 모듈성 리프팅 정리(modularity lifting theorem)를 도입하여 전적으로 실수인 수체에 대한 새로운 접근법을 제시한다. 증명 전략은 두 가지 주요 기술적 기둥에 의존한다:

1. 새로운 모듈성 리프팅 정리 (정리 4.1):
   본 논문은 타겟 표현 $\rho$와 알려진 모듈 표현 $\rho'$ 사이의 "가까움"이 $\varpi^C$에 대한 합동(congruence)에 의해 측정되는 모듈성 리프팅 결과를 확립한다. 결정적으로, 지수 $C$는 셀머 군(Selmer group)의 계수나 카디널리티와 같은 미묘한 전역적 불변량에 의존하는 대신, 오직 국소 데이터(람다인 곳들)와 전역 표현의 상(image)에만 의존한다. 이를 통해 상수 $C$는 적절한 전적으로 실수인 확장체로의 베이스 체인지(base change) 하에서도 안정적으로 유지될 수 있다. 증명은 테일러-와일즈 패칭(Taylor–Wiles patching) 논법을 활용하여, 패칭된 변형 환(patched deformation ring) $R_\infty$와 패칭된 헤케 대수(patched Hecke algebra) $T_\infty$를 구성한다. 핵심적인 혁신은 울트라필터(ultrafilters)를 사용하여 이러한 환들을 구성하고, 교환 대수적 결과(특히 스펙트럼의 기약 성분의 점들의 지지체에 관한 정리 2.12)를 적용하여, 만약 충분히 가까운 모듈러 점이 존재한다면 타겟 점 또한 동일한 기약 성분 위에 놓여 있어야 하며, 따라서 모듈러임을 도출하는 것이다.

2. 수의 기하학을 통한 모듈 근사치 구성 (섹션 3):
   리프팅 정리를 적용하기 위해서는 $\rho$를 $\varpi^C$에 대해 근사하는 모듈 표현 $\rho'$를 구성해야 한다. 본 논문은 힐베르트-블루멘탈 아벨 다양체(Hilbert–Blumenthal Abelian Varieties, HBAVs)를 사용하여 이러한 근사치를 구성한다.

• 저자는 레벨 구조를 가진 편극된(polarized) HBAV들의 모듈라이 공간을 구성한다.
• "수의 기하학"(구체적으로 [DH98] 및 [Wid12]를 따르는 볼록체 내 격자점의 분포에 관한 결과)을 사용하여, $F'$ 위의 $\rho$의 국소 제한을 높은 정밀도로 근사하는 $F'/F$의 전적으로 실수인 확장체 $F'$와 그 위의 HBAV들이 존재함을 증명한다.
• 이 구성은 $\rho$와 충분히 높은 거듭제곱에 대해 합동인 모듈 표현 $\rho'$(이 HBAV들의 코호몰로지로부터 기원하는)의 존재를 보장한다.

주요 기여 및 결과

• 정리 B (주요 결과): 본 논문은 전적으로 실수인 체 $F$와 소수 $p$에 대하여, 폰타인-마주르 조건을 만족하는(거의 모든 곳에서 비람다, $p$에서 잠재적으로 결정적(potentially crystalline)이며 보통(ordinary)인 가중치 $\{0, 1\}$, 그리고 전적으로 홀수인 행렬식) 연속적이고 기약적인 표현 $\rho: G_F \to GL_2(\mathbb{Q}_p)$는 **잠재적 모듈성(potentially modular)**을 갖는다는 것을 증명한다. 이는 $\rho|_{G_{F'}}$가 $F'/F$ 상의 첨두(cuspidal) 및 정규 대수적(regular algebraic) $GL_2(\mathbb{A}_{F'})$의 자기 동형 표현으로부터 기원하는 유한한 전적으로 실수인 확장 $F'/F$가 존재함을 의미한다.

  • 의의: 이 결과는 $\bar{\rho}$가 가약인 경우에도 적용되며, 이는 이전에는 일반적인 전적으로 실수인 체에 대해 접근 불가능했던 사례이다.

• 정리 D ($\mathbb{Q}$에 대한 응용): 결과로서, 본 논문은 동일한 조건 하에서 $\rho: G_\mathbb{Q} \to GL_2(\mathbb{Q}_p)$의 모듈성을 증명하며, 특히 $\bar{\rho}$가 가약인 $p=2$인 열린 사례를 다룬다. 이는 정리 B와 세르(Serre)의 추측을 결합하여 도출된다.

• 교환 대수 및 군 결정식(Group Determinants): 본 논문은 변형 환과 군 결정식의 구조에 관한 정교한 결과(명제 2.13, 정리 2.12)를 제공하며, $p$-진 근접성에 기반하여 변형 환의 점들이 동일한 기약 성분에 놓이기 위한 조건을 확립한다.

의의 및 주장
본 논문은 가약 잔여 표현의 존재 하에서도 강건한 폰타인-마주르 추측에 대한 새로운 접근법을 제공한다고 주장한다. 모듈성 수준을 전역 셀머 군의 크기에서 분리하고 대신 국소 데이터와 수의 기하학에 의존함으로써, 저자는 전적으로 실수인 체로의 모듈성 리프팅 정리 일반화의 주요 장애물을 극복한다.

본 연구는 폰타인-마주르 추측 전체를 증명한다고 주장하지 않는다(그것은 정리 B에서 "잠재적(potentially)"이라는 용어를 제거하거나 비보통(non-ordinary) 사례를 다루어야 함을 의미한다). 대신, 잠재적 모듈성이 보장되는 매우 중요한 새로운 클래스의 사례들을 확립한다. 저자는 잠재적 모듈성이 표현이 호환 가능한 시스템(compatible system)에 속함을 의미하며, 추가적인 조건(바일-델른(Weil–Deligne) 표현이 잠재적으로 비람다(potentially unramified)가 아닌 장소가 존재하는 경우) 하에서는 이것이 표현이 기하학으로부터 기원함을 의미한다고 언급한다.

논문은 $F=\mathbb{Q}$인 경우의 대다수 사례가 이미 세르의 추측과 리프팅 정리들을 통해 알려져 있었다고 명시하지만, 본 연구는 특히 가약 잔여 이미지를 갖는 $p=2$의 "열린 사례"를 목표로 하여, 모듈성 결과의 범위를 더 넓은 클래스의 표현과 체로 확장한다.