Towards the Relative Langlands Duality for Orthosymplectic Pairs

技术摘要：迈向正交辛对的相对朗兰兹对偶

问题陈述
本文探讨了相对朗兰兹对偶（Relative Langlands Duality）猜想的一个特定情形。该猜想假设一个“几何”范畴（球型簇上的 D-模范畴）与一个“谱”范畴（对朗兰兹对偶群的余切丛上的完美模范畴）之间存在等价关系。具体而言，作者研究了由群 $G = SO_{2n} \times Sp_{2n}$ 作用在辛向量空间 $V = \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$ 上的情形。

核心问题在于建立该对的 S-对偶（S-dual）。虽然之前的研究（[6], [14], [8]）已在 $(SO_{2n+1}, Sp_{2n})$ 和 $(GL_n, GL_m)$ 的情形下解决了类似问题，但在非极化版本的猜想框架内，涉及正交辛情形 $SO_{2n} \times Sp_{2n}$ 作用于张量积空间的问题仍有待证明。目标是证明其 S-对偶对为作用在 $T^*SO_{2n+1}$ 上的 $SO_{2n+1} \times SO_{2n}$。

方法论
证明过程通过结合几何表示论、不变理论和范畴代数的多元策略展开：

1. 几何设置与 Weil 表示： 作者将“几何范畴”定义为关于完成的 Weyl 代数 $W$（即环路空间 $(\mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+)_K$ 的 Weyl 代数）的局部紧、重整离散模范畴，记作 $W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc}$。该范畴携带了与 $SO_{2n}$ 和 $Sp_{2n}$ 相关的 Hecke 范畴的作用。同时，“谱范畴”被识别为 $D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$。

2. Hecke 作用识别： 一个关键的预备步骤（第 4 节）涉及证明 $Rep(SO_{2n+1})$ 和 $Rep(SO_{2n})$ 在几何范畴上的 Hecke 作用是兼容的。具体而言，标准表示 $U \in Rep(SO_{2n+1})$ 的作用被证明通过限制到 $SO_{2n}$ 及其对应的 Hecke 作用进行分解。这是通过对基本对象 $E_0$（即模 $W/(V \otimes V')_O$）的作用进行显式计算，并使生成的 D-模与来自 $SO_{2n}$ 侧的模相匹配来实现的。

3. 生成与去等变化： 本文确立了对象 $E_0$ 在 $Rep(SO_{2n})$ 的 Hecke 作用下生成整个几何范畴。这使得问题可以简化为一个代数问题：构造 $E_0$ 的去等变化自同态代数（deequivariantized endomorphism algebra，记作 $\mathcal{E}$）与谱侧函数代数 $Sym(\mathfrak{so}_{2n+1}[-2])$ 之间的同构。

4. 形式性与定域化： 利用纯度考量（提升至混合扭量 D-模），作者证明了 dg-代数 $\mathcal{E}$ 是形式的（formal，即与自身的上同调环 $\mathcal{E}^\bullet$ 拟同构）。证明过程利用定域化定理（Localization Theorem）来分析 $\mathcal{E}^\bullet$ 在范畴商 $\Sigma_{2n} \times \Sigma_{2n+1}$ 上的结构。

5. 不变理论与伪切片： 为了证明同构 $\psi: Sym(\mathfrak{so}_{2n+1}[-2]) \to \mathcal{E}$，作者为 $SO_{2n}$ 在 $\mathfrak{so}_{2n+1}^*$ 上的作用构造了一个“伪切片”（pseudo-slice）。通过分析范畴商，并证明该映射在基变换及沿此伪切片定域化后成为同构，从而推导出全局同构。对于 $n=1$ 的情形，则通过直接计算处理。

主要贡献与结果

• 主定理 (Theorem 1.1)： 本文证明了如下范畴等价：
  $$W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc} \cong D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$$
  该等价关系与各自的 Hecke 范畴作用兼容，并将基本对象 $E_0$ 映射到 $T^*SO_{2n+1}$ 的结构层。

• S-对偶确认 (Theorem 1.5)： 作为直接结果，本文确认了对 $Sp_{2n} \times SO_{2n} \curvearrowright \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$ 的 S-对偶为 $SO_{2n+1} \times SO_{2n} \curvearrowright T^*SO_{2n+1}$。这验证了非极化版本的相对朗兰兹对偶猜想在该特定正交辛情形下的正确性。

• Theta 对应作为函子性 (Theorem 1.7)： 本文展示了 $Sp_{2n}$ 与 $SO_{2n}$ 之间的 theta 对应实现了与自然包含 $SO_{2n} \hookrightarrow SO_{2n+1}$ 相对应的局部几何朗兰兹函子性。具体而言，theta 提升函子被证明与由限制等变性和谱侧的推前定义的函子性提升（在特定对合意义下）是同构的。

• 不可约对象分类： 不可约对象由自对偶特征（self-dual signatures）分类，这些特征对应于 $SO_{2n}$ 的主协权重（dominant coweights）。

意义
本文声称其意义在于，它在非极化（variety $T^*SO_{2n+1}$ 是超球面型的但并非传统意义上的极化型）的设定下，为相对朗兰兹对偶提供了具体的实现。通过证明该正交辛对的等价性，本文将猜说的范围扩展到了此前文献已建立的情形之外。

此外，这项工作提供了一个严格的几何证明，表明 theta 对应不仅是一个函子性提升，而且是受 Derived Satake 同构支配的特定提升。其方法论，特别是使用伪切片和去等变化自同联代数的手段，被呈现为一个适用于一般偶正交辛情形 $osp(2m|2n)$ 的框架，作者指出这将是未来工作的课题。本文并不声称解决了一般的奇正交辛情形或所有超球面簇的完整异常抵消问题，而是为偶情形奠定了基础性的一步。