A relative Langlands dual realization of $T^*(G/K)$ and derived Satake

技术摘要：$T^*(G/K)$ 的相对朗兰兹对偶实现与导出 Satake

问题陈述
本文旨在解决识别与对偶群 $\check{G}$ 的球形簇（spherical variety）$\check{X}$ 相关联的“相对对偶”（或称辛对偶）簇 $M_{\check{G}, \check{X}}$ 的问题。虽然通过导出 Satake 范畴中的环对象来构建此类对偶簇的方法在分裂群及特定情形下（例如 $\check{X} = \check{G}$）已得到充分建立，但本文研究的是逆问题：给定表示论中感兴趣的一个仿射哈密顿 $G$-簇 $M$，特别是拟分裂对称空间 $X = G/K$ 的余切丛 $T^*(G/K)$，能否识别出一个对应的对偶群 $\check{G}$ 的球形簇 $\check{X}$，使得 $M \cong M_{\check{G}, \check{X}}$？

作者关注的情况是 $G$ 为一个不一定是分裂的拟分裂对称空间。在这种情况下，作为对偶对称空间的朴素候选者（即对偶群对对称子群的商）无法产生正确的几何结构。本文试图通过引入“圈对称空间”（loop symmetric spaces）并建立一个推广了已知还原群结果的导出范畴等价性（导出 Satake），来解决这一问题。

方法论
其方法论结合了几何表示论、圈群理论以及正则中心化子群模式的研究。

1. 几何设置与 Kostant-Rallis 理论：
   作者利用对称空间的 Kostant-Rallis 理论。他们将余切丛 $T^*(G/K)$ 与正则中心化子群模式 $J_G$ 和 $J_H$（其中 $H$ 是相关的分裂对称子群）联系起来。具体而言，他们建立了 $T^*(G/K)$ 的坐标环与一个涉及 $G$、$H$ 以及中心化子群模式之间的范数映射的特定商的不变量环之间的同构。

2. 扭曲圈群与仿射格拉斯曼流形：
   核心技术创新在于引入了一个“扭曲”对合 $\check{\theta}$，该对合作用于圈群 $\check{G}(F)$，定义为 $\check{\theta}(\gamma)(t) = \check{\theta}_0(\gamma(-t))$，其中 $\check{\theta}_0$ 是对偶群的一个 pinned 对合。由此定义了扭曲圈群 $\check{G}(F)^{\check{\theta}}$ 和扭曲仿射格拉斯曼流形 $\text{Gr}^{\check{\theta}} = \check{G}(F)^{\check{\theta}} / \check{G}(O)^{\check{\theta}}$。

3. 扭曲格拉斯曼流形的导出 Satake 等价性：
   作者证明了这些扭曲仿射格拉斯曼流形的导出 Satake 等价性。他们表明，$\text{Gr}^{\check{\theta}}$ 上 $\check{G}(O)^{\check{\theta}}$-等变层构成的导出范畴，等价于分裂对称子群 $H$ 的移位余切丛（具体为 $T^*H[2]$）上的完美复形范畴。这将其研究范围从还原群推广到了这些拟分裂情形，扩展了 Zhu 等人的工作。

4. 环对象与相对对偶：
   利用 BZSV (Ben-Zvi, Nadler, Sakellidis) 和 BFN (Braverman, Finkelberg, Nakajima) 的框架，作者在与圈对称空间 $\check{X}^{\check{\theta}}(F) = \check{G}(F) / \check{G}(F)^{\check{\theta}}$ 相关的导出 Satake 范畴中构造了一个环对象 $A_{\check{G}, \check{\theta}}$。他们通过该环对象的坐标环定义了相对对偶簇 $M_{\check{G}, \check{\theta}}$。

5. 纯度与形式性：
   关键的一步是证明扭曲导出 Satake 范畴中 $!$-纯对象的正规性（formality）和全忠实性。这使得作者能够显式地计算这些环对象的上同调，从而将其与 $T^*(G/K)$ 的几何联系起来。

主要贡献与结果

• 定理 1.1 (几何同构)： 作者建立了自然的 $G$-等变环同构：
  $$C[M_{\check{G}, \check{\theta}}] \cong C[T^*(G/K)]$$
  这识别了圈对称空间 $\check{X}^{\check{\theta}}(F)$ 的相对对偶与拟分裂对称空间 $G/K$ 的余切丛。这为非分裂群的相对朗兰兹对偶提供了一组具体的实例。

• 定理 1.2 (圈对称空间的导出 Satake)： 作者为圈对称空间的导出 Satake 范畴与移位余切丛上的等变完美复形范畴建立了一个规范等价：
  $$D^b_{\check{G}(O)}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G(T^*(G/K)[2])$$
  此处下标 $e$ 表示由 Hecke 作用下的基轨道对偶层生成的子范畴。这将其从还原群推广到了拟分裂对称空间。

• 定理 1.3 (扭曲导出 Satake 与纯度)：

  1. 证明了扭曲仿射格拉斯曼流形的单子等价性：$D^b_{\check{G}(O)^{\check{\theta}}}(\text{Gr}^{\check{\theta}}) \cong \text{Perf}_{H \times H}(T^*H[2])$。
  2. 建立了 $!$-纯对象的全忠实性结果，为涉及扭曲格拉斯曼流形嵌入标准仿射格拉斯曼流形的张量积的上同调提供了一个公式。

• Bezrukovnikov 等价 (定理 1.4)： 通过结合导出 Satake 等价性与近期关于缓变（tamely ramified）等价性的工作，作者推导出了关于沿矩映射（moment map）进行基变换后的 Grothendieck-Springer 分辨的等变完美复形的构造性实现：
  $$D^b_{\check{I}}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G((T^*(G/K) \times_{\mathfrak{g}^*} \tilde{\mathfrak{g}})[2])$$
  这作为拟分裂对称空间的 Bezrukovnikov 等价的一个版本。

• 扩展与变体： 文中讨论了包括三元性（对于 $\text{Spin}_8$）、特殊 Parahoric 子群（与 $SU_{2n+1}$ 相关）以及子域 $F_n = \mathbb{C}((t^n))$ 在内的变体情形。这些情形涵盖了先前文献（如 Zhu 的工作）中考虑过的所有扭曲仿射格拉斯曼流形。

意义与主张
本文对“余切丛是否作为相对对偶簇出现”这一问题给出了“肯定回答”。其意义在于：

1. 朗兰兹对偶的推广： 它将此前主要局限于分裂群或特定球形簇的相对朗兰兹对偶框架，扩展到了非分裂（拟分裂）对称空间领域。
2. 范畴实现： 它提供了一种关于 $T^*(G/K)$ 上完美复形范畴的“构造性实现”，有效地将这些空间的 Plancherel 公式范畴化。
3. 与几何朗兰兹的联系： 作者指出，这些结果为“扭曲相对朗兰兹对偶”猜想提供了证据，该猜想预言了圈对称空间的导出范畴与 twistor $\mathbb{P}^1$ 上实丛模栈的构造复形的联系。
4. 技术基础： 该工作建立了扭曲仿射格拉斯曼流形的导出 Satake 等价性，这是一个具有独立价值的结果，依赖于对近邻循环（nearby cycles）算子和 $!$-纯对象形式性的研究。

作者明确指出，这些结果依赖于 $G$ 是伴随型（adjoint）且 $X$ 是拟分裂的。他们还注意到，虽然本文建立了导出 Satake 等价性，但其量子对应物（涉及 $(\mathfrak{g}, K)$-模）则留待后续工作。本文并不声称解决了这些空间的完整几何朗兰兹问题，而是通过相对对偶的视角，在对称空间的几何与圈群的表示论之间建立了一座关键的桥梁。