关于常部函子的右导出函子

我们证明了Emerton猜想的一个变体，该猜想涉及常部函子$\operatorname{Ord}_P^G$的右导出函子。这个函子在$p$-进约化群的模$p$表示理论中扮演着重要角色。我们证明的一个关键要素是某些小诱导与抛物诱导之间的比较。此外，我们的方法还给出了Vignéras抛物诱导右伴随的显式描述。在附录中，我们应用我们的结果得到了Bernstein第二伴随性定理的模$p$变体，即我们证明了导出抛物诱导的右伴随和左伴随（在具有可容许上同调的复形上）相差一个上同调平移和一个特征的扭转。