The overconvergence of multivariable $(φ_q,\mathcal{O}_K^{\times})$-modules at the perfectoid level

논문 개요

이 논문은 $p$-adic Hodge 이론의 핵심 도구인 $(\phi, \Gamma)$-모듈의 다변수 일반화인 다변수 $(\phi_q, \mathcal{O}_K^\times)$-모듈의 **과수렴성 (overconvergence)**을 연구합니다. 저자는 $K$가 $\mathbb{Q}_p$의 유한 비분기 확대일 때, Galois 표현에 대응되는 모듈들이 특정 계수 링 (Robba ring) 으로 '내려갈 수 (descend)' 있는지, 즉 과수렴하는지 여부를 다룹니다. 특히, 기존 Lubin-Tate 이론에서의 과수렴 실패 문제를 해결하기 위해 **상대 Fargues-Fontaine 곡선 (relative Fargues-Fontaine curve)**의 기하학적 성질을 활용하여 perfectoid level에서의 과수렴성을 증명하는 것이 주요 목표입니다.

---

1. 연구 배경 및 문제 제기

• 배경: Fontaine 은 $K_\infty/K$ (예: 원분 확대) 에 대한 $(\phi, \Gamma)$-모듈을 도입하여 Galois 표현과 동치임을 보였습니다. Cherbonnier 와 Colmez 는 원분 $(\phi, \Gamma)$-모듈이 항상 과수렴 (overconvergent) 함을 증명하여 Robba 링으로 확장 가능함을 보였습니다.
• 문제점:
  • Lubin-Tate 확대의 경우, 일반적으로 과수렴이 성립하지 않습니다 ([FX14]).
  • 저자의 이전 연구 ([Du25]) 에서 도입된 다변수 $(\phi_q, \mathcal{O}_K^\times)$-모듈은 $K$의 비분기 확대 차수 $f$만큼의 변수를 가지며, $GL_2(K)$의 $p$-adic 표현과 관련이 있습니다.
  • 핵심 질문: Galois 표현 $\rho$에 대응되는 다변수 모듈 $D_{Amv,E}^{(i)}(\rho)$는 과수렴하는가? (질문 2.27)
• 현재의 한계: $K=\mathbb{Q}_p$인 경우 Cherbonnier-Colmez 의 정규화된 trace 를 사용한 방법이 있었으나, 일반 $K$의 경우 $\mathcal{O}_K^\times$가 1 차원 $p$-adic Lie 군이 아니며 계수 링의 변수가 많아 이를 직접 확장하기 어렵습니다.

---

2. 주요 방법론 (Methodology)

이 논문은 두 단계로 나뉘어 접근합니다.

가. 대수적 구성: 과수렴 계수 링 $A^\dagger_{mv,E}$의 정의

• 계수 링: $Amv,E$ (완비화된 Witt 벡터 링과 관련) 의 부분환으로서 과수렴 원소들로 이루어진 링 $A^\dagger_{mv,E}$를 정의합니다.
• 함수: $j^{\dagger, *}: \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(A^\dagger_{mv,E}) \to \text{Mod}^{\text{ét}}_{(\phi_q, \mathcal{O}_K^\times)}(Amv,E)$ (기저 확장) 와 그 우변수 $j^\dagger_*$ (Cherbonnier 의 방법을 차용) 를 구성합니다.
• 구조 분석: $A^\dagger_{mv,E}$ 위의 étale 모듈의 구조를 분석하고, $j^\dagger_*$가 우변수 (right adjoint) 이며 $j^{\dagger, *}$가 완전히 충실 (fully faithful) 함을 보입니다.

나. 기하학적 접근: Perfectoid level 과 상대 Fargues-Fontaine 곡선

• Perfectoid 공간: $A_\infty$ (완비화된 perfectoid 링) 와 관련된 상대 Fargues-Fontaine 곡선 $Y_{X, [0,r]}$을 도입합니다.
• Galois 강하 (Galois Descent):
  • Lubin-Tate 모듈 $D_{LT}(\rho)$를 perfectoid Robba 링 $B_{F((T_{LT}^{1/p^\infty})), [0,r]}$ 위에서 정의합니다.
  • $A'_\infty \to A_\infty$ 사상이 $\Delta_1$-torsor (프로-étale) 임을 이용합니다.
  • $D_{A_\infty, i}^{[0,r]}(\rho) := (B_{A'_\infty, [0,r]} \otimes D_{LT}^{[0,r]}(\rho))^{\Delta_1}$로 정의하여 $A_\infty$ 위의 모듈을 구성합니다.
• 주요 도구: Kedlaya 와 Scholze 의 이론을 바탕으로, Fargues-Fontaine 곡선 위의 벡터 다발 (vector bundles) 이 free 모듈임을 보이는 정리들을 활용합니다.

---

3. 주요 결과 (Key Results)

Theorem 1.2 (Section 2): 과수렴 모듈의 범주론적 성질

• $j^{\dagger, *}$는 완전 (exact) 하며, 우변수 $j^\dagger_*$를 가집니다.
• 자연 변환 $\text{id} \to j^\dagger_* \circ j^{\dagger, *}$는 동형사상입니다. 즉, $j^{\dagger, *}$는 **완전히 충실 (fully faithful)**한 함자입니다.
• 이는 $A^\dagger_{mv,E}$ 위의 étale 모듈 범주가 $Amv,E$ 위의 범주의 full subcategory 임을 의미합니다.

Theorem 1.5 & Theorem 3.9 (Section 3): Perfectoid level 과수렴

• 주요 명제: $G_K$의 유한 자유 연속 $O_E$-표현 $\rho$에 대해, 임의의 $r \in \mathbb{Q}_{>0}$에 대하여 $D_{A_\infty, i}^{[0,r]}(\rho)$는 $B_{A_\infty, [0,r]}$ 위의 국소 자유 (locally free) 모듈입니다.
• 강화: $r$이 충분히 작을 때, 이 모듈은 자유 (free) 모듈이 됩니다 (Proposition 3.10).
• 의의: 이전의 Colmez-Sen-Tate 방법론은 $r$이 충분히 작을 때만 보장했으나, 이 논문의 기하학적 방법은 임의의 $r$에 대해 과수렴성이 성립함을 보입니다.

Proposition 3.6: Free 모듈 성질

• $R$이 유한 사영 (finite projective) 모듈이 항상 free 인 perfectoid $F$-대수일 때, 정수 perfectoid Robba 링 $\tilde{R}^{\text{int}}_R$ 위의 유한 사영 모듈도 free 임을 증명합니다. 이는 모듈의 기저를 구성하는 데 필수적입니다.

---

4. 기술적 기여 및 의의 (Significance)

1. 다변수 $(\phi, \Gamma)$-모듈 이론의 확장:

   • 기존 Lubin-Tate 이론에서 과수렴이 실패하는 문제를 다변수 설정에서 perfectoid level 로 해결함으로써, $p$-adic Hodge 이론의 범위를 넓혔습니다.
   • $GL_2(K)$의 $p$-adic 표현 연구에 필요한 모듈 이론적 기반을 강화했습니다.

2. 기하학적 방법론의 도입:

   • 복잡한 계산적 방법 (Colmez-Sen-Tate) 대신 상대 Fargues-Fontaine 곡선의 기하학적 성질 (torsor 구조, 벡터 다발의 free 성) 을 사용하여 증명을 간결화하고 일반화했습니다.
   • 이는 $p$-adic Hodge 이론에서 기하학적 관점의 중요성을 다시 한번 강조합니다.

3. Open Question 에 대한 부분적 해결:

   • 모든 Galois 표현 $\rho$에 대해 $D_{Amv,E}^{(i)}(\rho)$가 $A^\dagger_{mv,E}$로 내려갈 수 있는지 (전체 과수렴) 는 아직 완전히 해결되지 않았습니다 (Question 2.27).
   • 하지만 perfectoid level에서의 과수렴성을 증명함으로써, 이를 $A^\dagger_{mv,E}$로 내리는 작업의 가능성을 열었습니다. 현재 알려진 과수렴 예시는 비분기 character 뿐이지만, 이 결과는 더 일반적인 경우로 확장할 수 있는 토대를 마련했습니다.

4. 기술적 레마 (Technical Lemmas):

   • $A^\dagger_{mv,E}$의 flat 성, étale 모듈의 부분모듈 구조, 그리고 $O_K^\times$ 작용의 국소 $Q_p$-해석성 (locally $Q_p$-analytic) 등에 대한 엄밀한 증명을 제공하여 후속 연구의 기초를 닦았습니다.

결론

이 논문은 다변수 $(\phi_q, \mathcal{O}_K^\times)$-모듈의 과수렴성 문제를 Perfectoid 기하학을 통해 해결한 획기적인 연구입니다. 특히, Fargues-Fontaine 곡선의 구조를 활용하여 임의의 수렴 반경에서 모듈의 자유성을 증명함으로써, $p$-adic Galois 표현과 미분 방정식 간의 연결을 더욱 견고하게 만들었습니다. 비록 $A^\dagger_{mv,E}$로의 완전한 강하 (descent) 여부는 여전히 열려 있지만, 이 결과는 해당 분야의 중요한 이정표가 될 것입니다.