沿同源映射提升三角化伽罗瓦表示

给定一个连通约化 $\overline{\mathbb Q}_p$-群的中心同源映射 $\pi\colon G\to H$,以及取值于 $H(\overline{\mathbb Q}_p)$ 且在 Daruvar 意义下为三角化的局部伽罗瓦表示 $\rho$,我们研究 $\rho$ 沿 $\pi$ 的提升是否仍为三角化。在 $\rho$ 的 Hodge--Tate--Sen 权满足弱条件、且 $\rho$ 的三角化参数可沿 $\pi$ 提升的假设下,我们给出肯定答案。这是 Wintenberger、Conrad、Patrikis 和 Hoang Duc 关于 $\rho$ 的 $p$-进 Hodge 理论性质结果的类比。我们描述了适用于所有此类提升问题的 Tannakian 框架,并借助某个 pro-半单群的单连通性重新诠释具有指定局部性质的提升之存在性。在将此形式体系应用于三角化表示时,我们推广了 Berger 与 Di Matteo 关于 $B$-对之可三角化张量积的结果。