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 による固体局所解析表現論を拡張し、これらの表現を研究するためのより堅牢なコホモロジー的ツールを提供する。

研究背景と動機

核心的問題

理論拡張の必要性：古典的な $p$ -進局所解析表現論は主に $\mathbf{Q}_p$ -係数を対象としているが、 $p$ -進Hodge理論と $p$ -進Langlands予想では、混合特性係数の場合が頻繁に現れる。
応用駆動：以下の重要な数学領域において、混合特性局所解析表現が自然に出現する：
- $p$ -進Hodge理論における分解完備化現象
- 拡張固有多様体理論
- $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^+)$ に態射 $(\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)^*$

これらの空間は自然な $B$ -代数構造を備え、Baker-Campbell-Hausdorff公式の双対化を通じて得られる。

局所解析ベクトルの定義

固体 $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)$