Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

技术摘要：TDLDS 表示的非零 $\mathfrak{n}$ 上同调

问题陈述
离散级数表示的完全退化极限（TDLDS）是通过放宽标准离散级数表示所需的正则性假设而定义的。虽然已知离散级数表示对应于伽罗瓦表示，并与算术几何具有稳健的联系，但 TDLDS 表示缺乏同样确立的联系。尽管 Carayol 观察到 TDLDS 可以在 Griffiths-Schmid 域（非埃尔米特对称域）的相干上同调中被检测到，但由于这些域缺乏复结构，经典代数几何工具的应用受到了阻碍。本文解决的核心问题是确定 TDLDS 表示 $\pi$ 的 Lie 代数上同调 $H^*(\mathfrak{n}, \pi)$ 的非零性质，其中 $\mathfrak{n}$ 是负根空间，并调查这些上同调群是否满足能够支持酉群 Gan-Gross-Prasad (GGP) 型分支律的对偶性质。

方法论
本文结合了组合表示论与显式模构造：

1. 组合框架：作者利用 Soergel [Soe97] 引入的组合复形来计算 Lie 代数上同调。这涉及利用 Bruhat 序和相对 Bruhat 长度（$l$ 和 $l_K$）在 Weyl 群 $W$ 的子集上定义链复形。这些复形中的微分被构造为满足特定的符号条件，以确保 $d^2=0$。
2. 上同调分析：本文分析了 TDLDS 表示的权空间 $H^*(\mathfrak{n}, \pi)_{-\lambda}$。通过利用 Casselman-Osborne 引理，分析被限制在由无穷小特征决定的特定权重上。作者证明，对于 TDLDS，由于定义表示的简单根的非紧性，相关度数中的微分消失。
3. 显式构造：在低秩情形（$SU(2,1) \subset SU(1,1)$）下，本文从抽象的组合论证转向显式计算。它利用了 Carayol [Car98] 和 Jantzen-Wallach [JW77] 描述的 $SU(2,1)$ 唯一 TDLDS 的 Harish-Chandra 模分解。作者构造了 $SU(2,1)$ TDLDS 与 $SU(1,1)$ 的一个不可约容许表示之间的显式 intertwining 映射 $J$，并验证了其与 $\mathfrak{g}'$-作用的相容性。

主要贡献与结果

• 非零定理（定理 1.1 / 定理 3.3）：本文确立，对于任何由 Weyl 群固定的整主导权 $\lambda$（TDLDS 的特征），存在一个具有无穷小特征 $\lambda + \rho$ 的 TDLDS 表示 $\pi$，使得上同调群 $H^q(\mathfrak{n}, \pi)_{-\lambda}$ 在规范度数 $q = \#(\Phi_K \cap \Phi^+)$ 处非零。这将 Carayol 和 Kerr 之前的结果推广到了所有约化群。
• Serre 对偶（定理 1.2 / 定理 3.6）：作者证明这些上同调群满足 Serre 对偶。具体而言，$H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$。证明表明，这种对偶性与 $K$-型的 $\mathfrak{n} \cap \mathfrak{k}$ 上同调的 Serre 对偶相容。
• 与 GGP 猜想的联系（第 4 节）：本文通过这类上同调群提出了 GGP 猜想的几何解释。它在秩为 $n$ 和 $n+1$ 的酉群的 Griffiths-Schmid 簇上的线丛上同调群之间构造了限制映射。这些映射的非零性与周期积分和 $L$-值的非零性相关联。
• 显式 intertwining 映射（定理 1.3 / 定理 5.7）：对于特定的包含关系 $SU(1,1) \subset SU(2,1)$，本文构造了一个 $\mathfrak{g}'$-模的同态 $J: \pi \to \pi'$。主要结果是，这样的映射在度数 1 处诱导非零的上同调限制，当且仅当 $\pi'$ 是 $SU(1,1)$的离散级数的反全纯极限。值得注意的是，该映射在$SU(2,1)$的最小$K$-型上为零，但在上同调层面诱导了一个非平凡映射。

意义与主张
本文声称提供了 TDLDS 的 $\mathfrak{n}$-上同调非零性的首个稳健组合证明，超越了特定情形。通过为这些群建立 Serre 对偶，它创建了一个反映标准离散级数性质的结构框架。

作者提出，这些结果为 TDLDS 与 GGP 猜想之间的联系提供了证据。具体而言，上同调限制映射的非零性表明，对于 TDLDS，在 Archimedean 处周期积分的非零性不存在上同调障碍。然而，本文对这种联系的范围持谨慎态度；它将推广到所有酉群作为一个开放问题（问题 1.4）提出，而非已证明的猜想。针对 $SU(2,1)$ 的显式构造作为一个“基本示例”，展示了如何在低秩下研究这些分支律，证明了即使 intertwining 映射湮灭了最小 $K$-型，非零上同调也可能发生，这是一种不同于使用平移函子方法的现象。