On the locally analytic completed cohomology of modular curves

1. 연구 배경 및 문제 제기

• 배경: Emerton 은 $p$-adic 자동형 형식 (automorphic forms) 의 공간에 대한 적절한 대안으로 완비 코호몰로지 (completed cohomology) $\tilde{H}^i(K_p)$를 도입했습니다. 이는 $GL_2(\mathbb{Q}_p)$ 작용, Hecke 작용, 그리고 $G_{\mathbb{Q}}$ (Galois 군) 작용을 동시에 가집니다.
• 핵심 문제: 이 세 가지 대칭성 (특히 $GL_2(\mathbb{Q}_p)$와 $G_{\mathbb{Q}_p}$) 의 상호작용을 이해하는 것, 특히 $p$-adic 국소 Langlands 대응과 어떻게 조화되는지 규명하는 것입니다.
• 기존 접근법: Emerton 은 $p$-adic 국소 Langlands 대응을 직접 사용하여 이 문제를 접근했습니다.
• 새로운 접근법: Pan 은 Scholze 의 **무한 차수 모듈러 곡선 (perfectoid modular curve)**과 **Sen 이론 (Sen theory)**을 기반으로 한 기하학적 방법을 도입했습니다. 이는 완비 코호몰로지의 **국소 해석적 벡터 (locally analytic vectors)**를 특정 $D$-module 로 "국소화 (localization)"하는 것을 목표로 합니다.

2. 방법론: 상대적 Sen 이론과 국소화

저자는 Sen 의 연산자를 $p$-adic Galois 표현에 적용하는 방법을 일반화하여 **상대적/기하학적 Sen 이론 (Relative/Geometric Sen theory)**을 정립했습니다.

• 상대적 Sen 이론 (Theorem 2.1):

  • $C$ 위에서 정의된 매끄러운 rigid analytic 다양체 $X$와 그 위의 pro-étale 국소 계수계 (local system) $V$에 대해, Higgs field $\theta_V$를 정의합니다.
  • 이 Higgs field 는 $V \otimes \hat{\mathcal{O}}_X$ 위에서 작용하며, 이는 $p$-adic Cauchy-Riemann 방정식과 유사한 1 차 미분 방정식을 정의합니다.
  • 모듈러 곡선의 경우, 이 Higgs field 는 Kodaira-Spencer 사상과 밀접하게 관련되어 있으며, Hodge-Tate 여과 (filtration) 와 호환됩니다.

• 국소화 (Localization) 및 $O_{la}$:

  • Scholze 의 Hodge-Tate period morphism $\pi_{HT}: X_{K_p} \to \mathbb{P}^1$을 이용하여, 무한 차수 모듈러 곡선 위의 국소 해석적 함수들을 Flag variety($\mathbb{P}^1$) 위의 층 (sheaf) $O_{la}$로 변환합니다.
  • 핵심 결과 (Theorem 2.11, 2.12): 완비 코호몰로지의 국소 해석적 부분 $\tilde{H}^i(K_p)^{la}$는 $O_{la}$의 코호몰로지와 동형이며, 이는 Beilinson-Bernstein 국소화 이론의 $p$-adic 버전으로 해석됩니다. 즉, $GL_2(\mathbb{Q}_p)$의 리 대수 작용이 $\mathbb{P}^1$ 위의 $D$-module 구조로 나타납니다.

3. 주요 결과

3.1. Hodge-Tate 구조 및 Sen 연산자 (Pan22)

• Sen 연산자의 기하학적 해석: $O_{la}$ 위의 수평 작용 (horizontal action) $\theta_h$가 Sen 연산자와 일치함을 보였습니다 (Theorem 2.13). 이는 Infinitesimal character 와 Hodge-Tate weight 사이의 관계를 명확히 합니다.
• 완비 코호몰로지의 분해:
  • 정규 가중치 (Regular weights, $k \neq 1$): 완비 코호몰로지는 **초월 모듈러 형식 (overconvergent modular forms, $M^\dagger_k$)**과 그 여집합으로 분해됩니다 (Theorem 3.1). 이는 $p$-adic Hodge 이론의 관점에서 초월 모듈러 형식을 특징짓는 조건을 제공합니다.
  • 비정규 가중치 (Irregular weight, $k=1$): 분해가 성립하지 않으며, 정확한 열 (exact sequence) 을 통해 기술됩니다 (Theorem 3.4). 이때 Sen 연산자의 작용은 Boxer-Pilloni 가 연구한 Cousin 복합체의 연결 사상 (connecting homomorphism) 과 일치합니다.
• Fontaine-Mazur 추측 및 Gouvêa 추측:
  • 가중치 1 의 경우, Hodge-Tate 성질을 가진 Galois 표현은 고전적인 가중치 1 모듈러 형식에서 유래함을 증명하여 Gouvêa 의 추측을 확인했습니다 (Theorem 3.6).
  • 이는 Emerton 의 국소 - 대역 호환성 (local-global compatibility) 과 Colmez 의 Kirillov 모델을 사용하지 않고도, 기하학적 방법으로 Fontaine-Mazur 추측의 많은 경우를 증명할 수 있음을 보여줍니다.

3.2. de Rham 구조 및 Fontaine 연산자 (Pan26)

• Fontaine 연산자 $N$: Hodge-Tate 구조를 넘어 de Rham 구조를 연구하기 위해 Fontaine 연산자 $N$을 도입했습니다. $N=0$인 경우 해당 표현이 de Rham 임을 의미합니다.
• 기하학적 기술 (Theorem 4.3): Fontaine 연산자 $N$이 $\mathbb{P}^1$ 위의 층 $O_{la}$ 위에서 정의된 2 차 미분 연산자 (Kodaira-Spencer 동형을 통한) 로 기하학적으로 기술됨을 보였습니다.
  • 이는 $p$-adic 국소 Langlands 대응에서 나타나는 특정 국소 해석적 표현을 기하학적으로 구성하는 길을 열었습니다.
• 표현의 구성:
  • 초월 표현 (Supercuspidal): Drinfeld 상반평면 (Drinfeld upper half plane) 위의 국소 계수계를 통해 표현을 구성합니다.
  • 주계열 (Principal series): $P^1(\mathbb{Q}_p)$ 위의 국소 계수계를 통해 구성합니다.
  • 두 경우 모두 Flag variety 의 다른 부분 (strata) 에서 유도된 국소 계수계를 통해 일관된 기하학적 설명을 제공합니다 (Theorem 4.10, 4.12).

4. 의의 및 기여

1. 새로운 방법론의 정립: $p$-adic 국소 Langlands 대응에 대한 깊은 결과 (Kirillov 모델 등) 에 의존하지 않고, Scholze 의 perfectoid 기하학과 Sen 이론만으로 완비 코호몰로지의 구조를 분석할 수 있음을 보였습니다.
2. 기하학적 국소화: 완비 코호몰로지의 국소 해석적 벡터를 Flag variety 위의 $D$-module 로 국소화하여, $p$-adic 표현론과 대수적 기하학 사이의 새로운 연결고리를 마련했습니다.
3. Fontaine-Mazur 추측 증명: 가중치 1 및 특정 조건에서의 Fontaine-Mazur 추측을 증명하는 강력한 도구를 제공하며, 특히 de Rham 조건을 기하학적 미분 연산자로 해석함으로써 새로운 통찰을 줍니다.
4. 일반화 가능성: 이 방법론은 Shimura 다양체 (Rodriguez Camargo 와의 공동 작업) 및 Hilbert modular varieties (Jiang 의 작업) 로 확장되고 있으며, $p$-adic 군의 국소 해석적 표현을 기하학적으로 구성하는 새로운 패러다임을 제시합니다.

요약

이 논문은 $p$-adic 모듈러 곡선의 완비 코호몰로지를 연구할 때, Sen 이론을 기하학적으로 일반화하여 Higgs field 와 미분 연산자를 도입함으로써, 국소 해석적 벡터가 Flag variety 위의 $D$-module 로 국소화됨을 증명했습니다. 이를 통해 Hodge-Tate 및 de Rham 구조를 정밀하게 분석하고, 초월 모듈러 형식과 Galois 표현 사이의 관계를 규명하며, Fontaine-Mazur 추측 및 $p$-adic Langlands 대응에 대한 새로운 기하학적 접근법을 제시했습니다.