旗簇形式模型的 G-等变性

设 $\mathbb{G}$ 为有限扩张 $L|\mathbb{Q}_p$ 的整数环 $\mathfrak{o}$ 上的分裂连通约化群概形，$\lambda\in X(\mathbb{T})$ 为分裂极大环面 $\mathbb{T}\subseteq\mathbb{G}$ 的代数特征标。我们再考虑 $X^{\text{rig}}$ 为 $\mathbb{G}$ 的刚性解析旗簇以及 $G=\mathbb{G}(L)$。本文第一部分，我们在 $X^{\text{rig}}$ 的形式模型 $\mathfrak{Y}$ 上引入一族 $\lambda$-扭微分算子。我们计算其全局截面，并证明凝聚性以及若干上同调性质。第二部分，我们定义刚性旗簇 $X^{\text{rig}}$ 形式模型族上的余可容许 $G$-等变算术 $\mathcal{D}(\lambda)$-模范畴。我们证明若 $\lambda$ 使得 $\lambda + \rho$ 为支配且正则的（$\rho$ 为 Weyl 特征标），则前述范畴与具有中心特征标 $\lambda$ 的可容许局部解析 $G$-表示范畴反等价。特别地，我们推广了 Huyghe-Patel-Strauch-Schmidt 关于代数特征标的结果（见文中 [25]）。