几何 Jacquet 函子的公式及其特征层类比

设 $(G,K)$ 为复数域上的对称对，并设 $X=K\backslash G$ 为对应的对称空间。在本文中，我们研究与 $X$ 退化至 $M_N\backslash G$（我们称之为“奇妙退化”）相关联的邻近圈函子。我们证明，在 $X$ 上的特征层范畴中，该函子同构于两个平均函子的复合（在 $p$-进设定的函数层面上，[BK, SV] 中已获得了一个平行结果）。作为应用，我们得到了 [ENV] 中几何 Jacquet 函子的公式，并利用该公式给出了著名的 Casselman 子模定理的几何证明，同时建立了 Harish-Chandra 模的第二伴随定理。