2025-11-10T03:15:07.296336

Solid locally analytic representations in mixed characteristic

Porat

The theory of locally analytic representations of $p$-adic Lie groups with $\mathbf{Q}_p$-coefficients is a powerful tool in $p$-adic Hodge theory and in the $p$-adic Langlands program. This perspective reveals important differential structures, such as the Sen and Casimir operators. RodrÃguez Camargo and Rodrigues Jacinto developed in \cite{RJRC22} a solid version of this theory using the language of condensed mathematics. This provides more robust homological tools (comparison theorems, spectral sequences...) for studying these representations. In this article, we extend the solid theory of locally analytic representations to a much broader class of mixed characteristic coefficients, such as $\mathbf{F}_p((X))$ or $\mathbf{Z}_p[[X]]\langle p/X\rangle[1/X]$, as well as to semilinear representations. In the introduction, we explain how these ideas could relate to mixed characteristic phenomena in $p$-adic Hodge theory, extend eigenvarieties, and the Langlands program.

academic

혼합 특성에서의 견고한 국소 해석적 표현

기본 정보

논문 ID: 2510.13673
제목: Solid locally analytic representations in mixed characteristic
저자: Gal Porat
분류: math.NT (정수론), math.RT (표현론)
발표 시간: 2025년 10월 16일
논문 링크: https://arxiv.org/abs/2510.13673

초록

본 논문은 $p$ -진 리 군의 국소 해석적 표현 이론을 $\mathbf{Q}_p$ -계수에서 $\mathbf{F}_p((X))$ 또는 $\mathbf{Z}_p[[X]]\langle p/X\rangle[1/X]$ 와 같은 더 광범위한 혼합 특성 계수 범주로 확장하며, 반선형 표현을 다룬다. 저자는 견고한 수학의 언어를 기반으로 Rodríguez Camargo와 Rodrigues Jacinto의 견고한(solid) 국소 해석적 표현 이론을 확장하여, 이러한 표현을 연구하기 위한 더욱 강건한 코호몰로지 도구를 제공한다.

연구 배경 및 동기

핵심 문제

이론 확장의 필요성: 고전적인 $p$ -진 국소 해석적 표현 이론은 주로 $\mathbf{Q}_p$ -계수를 대상으로 하지만, $p$ -진 Hodge 이론과 $p$ -진 Langlands 강령에서는 혼합 특성 계수의 경우가 자주 나타난다.
응용 주도: 다음의 여러 중요한 수학 분야에서 혼합 특성 국소 해석적 표현이 자연스럽게 나타난다:
- $p$ -진 Hodge 이론의 분해 완비화(decompletion) 현상
- 확장 특성 다양체(extended eigenvarieties) 이론
- $p$ -진 Langlands 강령의 분류 대응
기술적 도전: 혼합 특성 환경에서는 전통적인 Taylor 급수 전개가 실패하며, 이항식 전개로 대체되어야 하므로 기술적 복잡성이 증가한다.

연구 동기

저자는 구체적인 예시를 통해 혼합 특성 국소 해석적 표현의 자연성을 설명한다: 특성 $\lambda_T: x \mapsto (1+T)^x$ 를 고려하면, 이는 강체 해석 원판과 의사 강체 원판 모두에서 의미를 가지지만, 후자에서는 $p$ 가 가역이 아니므로 새로운 이론 틀이 필요하다.

핵심 기여

이론 틀 구축: 혼합 특성 Banach 환 위의 견고한 국소 해석적 표현 이론을 확립하여, 고전 이론을 $\mathbf{Q}_p$ 에서 더 광범위한 계수 환으로 확장했다.
반선형 표현 처리: 군 $G$ 가 계수 환에 비자명하게 작용하는 반선형 $G$ -표현을 다루는 기법을 개발했다.
코호몰로지 비교 정리: 연속 코호몰로지와 국소 해석적 코호몰로지 사이의 비교 정리(정리 1.5)를 증명했다.
분포 대수의 멱등성: 분포 대수의 멱등성 성질(정리 6.10)을 확립했으며, 이는 이론의 핵심 구조 결과이다.
국소 해석적 표현의 특성화: 국소 해석적 표현의 완전한 특성화(정리 1.4)를 제시하여, 이들이 분포 대수 위의 견고한 모듈과 동치임을 증명했다.

방법론 상세 설명

Banach 쌍의 이론적 기초

정의: Banach 쌍은 완비 Tate Huber 쌍 $(B,B^+)$ 에 태사(morphism) $(\mathbf{Z}_p, \mathbf{Z}_p) \to (B,B^+)$ 를 갖춘 것이다.

핵심 개념:

기울기: $\text{slope}(B,B^+) = \sup\{\lambda \in \mathbf{Q}_{>0} : |p| \leq |\varpi|^\lambda\}$
잉여 유한형: $B^+/\varpi$ 는 유한 생성 $\mathbf{Z}$ -대수

이항식 환과 해석 함수

혼합 특성 환경에서 Taylor 급수가 적용되지 않으므로, 저자는 이항식 전개를 채택한다:

이항식 환 정의: $B_{h\text{-Bin}}(T) = \left\{\sum_{n \in \mathbf{Z}_{\geq 0}^d} b_n \binom{T}{n} : b_n \in B, 0 \leq \text{val}_\varpi(b_n) - v_h(n) \to \infty\right\}$

여기서 $v_h(n) = \lfloor |n|/p^h(p-1) \rfloor$ 이다.

분포 대수의 구성

해석 분포 공간: $D_{h\text{-an}}(G_0, B) = C_{h\text{-an}}(G_0, B)^*$

이 공간들은 Baker-Campbell-Hausdorff 공식의 쌍대화를 통해 자연스러운 $B$ -대수 구조를 갖춘다.

국소 해석적 벡터의 정의

견고한 $B_\blacksquare[G]_1$ -모듈 $V$ 에 대해: $V^{\text{la}} = \lim_{\overrightarrow{h \to \infty}} \text{Hom}_{B_\blacksquare[G]_1}(D_{h\text{-an}}(G,B)_1, V)$

주요 이론 결과

정리 1.4 (국소 해석적 표현의 특성화)

견고한 $h$ -해석적 표현은 견고한 $B_\blacksquare[G]_1$ -모듈 범주의 충만한 부분범주를 이룬다.
$h$ -해석적 $G$ -표현 범주는 $D_{h\text{-an}}(G,B)_1$ 위의 견고한 모듈 범주와 같다.
복합체 $C$ 가 $h$ -해석적인 것과 그 모든 코호몰로지가 $h$ -해석적인 것은 동치이다.

정리 1.5 (코호몰로지 비교)

복합체 $C \in D(B_\blacksquare[G]_1)$ 에 대해: $\text{RHom}_{B_\blacksquare[G]_1}(B, C) = \text{RHom}_{B_\blacksquare[G]_1}(B, C^{\text{la}})$

정리 6.10 (분포 대수 멱등성)

$D_{h\text{-an}}(G,B)_1 \otimes^L_{B_\blacksquare[G]_1} D_{h\text{-an}}(G,B)_1 = D_{h\text{-an}}(G,B)_1$

기술적 혁신점

1. 기울기 기법의 적용

반선형 경우를 다루기 위해 저자는 여과와 기울기 기법을 교묘하게 활용한다. 핵심 관찰은: $\text{gr}(B_\blacksquare[G_0]_1) = \text{gr}(B_\blacksquare[G_0])$ $\text{gr}(D_{h\text{-an}}(G_0,B)_1) = \text{gr}(D_{h\text{-an}}(G_0,B))$