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.
论文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 p p Q p \mathbf{Q}_p Q p F p ( ( X ) ) \mathbf{F}_p((X)) F p (( X )) Z p [ [ X ] ] ⟨ p / X ⟩ [ 1 / X ] \mathbf{Z}_p[[X]]\langle p/X\rangle[1/X] Z p [[ X ]] ⟨ p / X ⟩ [ 1/ X ]
理论扩展需求 ：经典的 p p p Q p \mathbf{Q}_p Q p p p p p p p 应用驱动 ：在以下几个重要数学领域中，混合特征局部解析表示自然出现：p p p 扩展特征簇(extended eigenvarieties)理论 p p p 技术挑战 ：混合特征环境下，传统的Taylor级数展开失效，需要用二项式展开替代，这带来了技术上的复杂性。作者通过一个具体例子说明了混合特征局部解析表示的自然性：考虑特征 λ T : x ↦ ( 1 + T ) x \lambda_T: x \mapsto (1+T)^x λ T : x ↦ ( 1 + T ) x p p p
理论框架构建 ：建立了混合特征Banach环上的坚实局部解析表示理论，将经典理论从 Q p \mathbf{Q}_p Q p 半线性表示处理 ：发展了处理半线性 G G G G G G 同调比较定理 ：证明了连续上同调与局部解析上同调之间的比较定理（定理1.5）。分布代数的幂等性 ：建立了分布代数的幂等性质（定理6.10），这是理论的核心结构结果。局部解析表示的刻画 ：给出了局部解析表示的完整刻画（定理1.4），证明它们等价于分布代数上的坚实模。定义 ：Banach对是完备的Tate Huber对 ( B , B + ) (B,B^+) ( B , B + ) ( Z p , Z p ) → ( B , B + ) (\mathbf{Z}_p, \mathbf{Z}_p) \to (B,B^+) ( Z p , Z p ) → ( B , B + )
关键概念：
斜率 ：slope ( B , B + ) = sup { λ ∈ Q > 0 : ∣ p ∣ ≤ ∣ ϖ ∣ λ } \text{slope}(B,B^+) = \sup\{\lambda \in \mathbf{Q}_{>0} : |p| \leq |\varpi|^\lambda\} slope ( B , B + ) = sup { λ ∈ Q > 0 : ∣ p ∣ ≤ ∣ ϖ ∣ λ } 剩余有限型 ：B + / ϖ B^+/\varpi B + / ϖ Z \mathbf{Z} Z 由于在混合特征环境下Taylor级数不适用，作者采用二项式展开：
二项式环定义 ：
B h -Bin ( T ) = { ∑ n ∈ Z ≥ 0 d b n ( T n ) : b n ∈ B , 0 ≤ val ϖ ( b n ) − v h ( n ) → ∞ } 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\} B h -Bin ( T ) = { ∑ n ∈ Z ≥ 0 d b n ( n T ) : b n ∈ B , 0 ≤ val ϖ ( b n ) − v h ( n ) → ∞ }
其中 v h ( n ) = ⌊ ∣ n ∣ / p h ( p − 1 ) ⌋ v_h(n) = \lfloor |n|/p^h(p-1) \rfloor v h ( n ) = ⌊ ∣ n ∣/ p h ( p − 1 )⌋
解析分布空间 ：
D h -an ( G 0 , B ) = C h -an ( G 0 , B ) ∗ D_{h\text{-an}}(G_0, B) = C_{h\text{-an}}(G_0, B)^* D h -an ( G 0 , B ) = C h -an ( G 0 , B ) ∗
这些空间配备自然的 B B B
对于坚实 B ■ [ G ] 1 B_\blacksquare[G]_1 B ■ [ G ] 1 V V V V la = lim h → ∞ → Hom B ■ [ G ] 1 ( D h -an ( G , B ) 1 , V ) V^{\text{la}} = \lim_{\overrightarrow{h \to \infty}} \text{Hom}_{B_\blacksquare[G]_1}(D_{h\text{-an}}(G,B)_1, V) V la = lim h → ∞ Hom B ■ [ G ] 1 ( D h -an ( G , B ) 1 , V )
坚实 h h h B ■ [ G ] 1 B_\blacksquare[G]_1 B ■ [ G ] 1 h h h G G G D h -an ( G , B ) 1 D_{h\text{-an}}(G,B)_1 D h -an ( G , B ) 1 复形 C C C h h h h h h 对于复形 C ∈ D ( B ■ [ G ] 1 ) C \in D(B_\blacksquare[G]_1) C ∈ D ( B ■ [ G ] 1 ) RHom B ■ [ G ] 1 ( B , C ) = RHom B ■ [ G ] 1 ( B , C la ) \text{RHom}_{B_\blacksquare[G]_1}(B, C) = \text{RHom}_{B_\blacksquare[G]_1}(B, C^{\text{la}}) RHom B ■ [ G ] 1 ( B , C ) = RHom B ■ [ G ] 1 ( B , C la )
D h -an ( G , B ) 1 ⊗ B ■ [ G ] 1 L D h -an ( G , B ) 1 = D h -an ( G , B ) 1 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 D h -an ( G , B ) 1 ⊗ B ■ [ G ] 1 L D h -an ( G , B ) 1 = D h -an ( G , B ) 1
为处理半线性情况，作者巧妙地利用了滤化和梯度技术。关键观察是：
gr ( B ■ [ G 0 ] 1 ) = gr ( B ■ [ G 0 ] ) \text{gr}(B_\blacksquare[G_0]_1) = \text{gr}(B_\blacksquare[G_0]) gr ( B ■ [ G 0 ] 1 ) = gr ( B ■ [ G 0 ]) gr ( D h -an ( G 0 , B ) 1 ) = gr ( D h -an ( G 0 , B ) ) \text{gr}(D_{h\text{-an}}(G_0,B)_1) = \text{gr}(D_{h\text{-an}}(G_0,B)) gr ( D h -an ( G 0 , B ) 1 ) = gr ( D h -an ( G 0 , B ))
这允许将半线性情况的证明归约到线性情况。
作者将Kohlhaase分辨从 Q p \mathbf{Q}_p Q p
命题6.5 ：Lazard-Serre分辨可以扩展为 D h -an ( G 0 , B + ) 1 D_{h\text{-an}}(G_0,B^+)_1 D h -an ( G 0 , B + ) 1
Banach空间作为 B ■ B_\blacksquare B ■
该理论为理解 p p p
回答了Bellovin提出的问题1.1：是否可以定义混合特征版本的Emerton局部解析Jacquet函子来构造扩展特征簇。
为问题1.2和1.3提供了理论基础，即在混合特征情况下是否有类似的Langlands对应。
非交换性 ：在半线性情况下，B B B B ■ [ G ] 1 B_\blacksquare[G]_1 B ■ [ G ] 1 收敛性 ：二项式级数的收敛性分析比Taylor级数更复杂。同伦理论 ：需要证明各种分辨的收缩同伦存在性。使用滤化和梯度技术将问题归约到已知情况 仔细分析赋值函数 v h ( n ) v_h(n) v h ( n ) 利用坚实数学的同调工具 紧致性假设 ：目前理论假设 G G G 斜率限制 ：要求斜率 ≤ 1 \leq 1 ≤ 1 李代数作用缺失 ：混合特征下的李代数作用仍然神秘。扩展到非紧致群和可容许表示 移除斜率限制 研究混合特征下的李代数作用 与扩展特征簇理论的具体联系 理论深度 ：将经典理论成功推广到更一般设置，技术难度很高。应用价值 ：为多个重要数学领域提供了新工具。技术创新 ：巧妙运用梯度技术解决半线性问题。完整性 ：提供了完整的理论框架，包括所有基础结构定理。首次系统性地处理了混合特征局部解析表示 发展了处理半线性表示的新技术 建立了与凝聚数学的深刻联系 这是一篇高质量的理论数学论文，预期将对 p p p
论文写作严谨，逻辑清晰，为读者提供了丰富的动机和例子，是该领域的重要贡献。
