Elliptic classes via the periodic Hecke module and its Langlands dual

“通过周期性 Hecke 模及其 Langlands 对偶构造椭圆类”技术摘要

问题陈述
本文研究了与 Springer 分辨 $T^*G/B$ 相关联的椭圆类（elliptic classes）的构造及其结构性质。这些类出现在辛解（symplectic resolutions）和椭圆上同调的研究中，是特定向量丛在阿贝尔簇上的有理截面。虽然 Aganagic-Okounkov（通过稳定包络）和 Rimányi-Weber（通过 Bott-Samelson 分辨和椭圆亏格）此前的方法已经建立了涉及带动力参数的椭圆 Demazure-Lusztig (DL) 算子的迭代公式，但本研究旨在寻求一种纯代数框架。核心问题是如何利用根系和 Poincaré 线丛的结构来定义这些类，并阐明一个根系的椭圆类与其 Langlands 对偶根系的椭圆类之间的关系。

方法论
作者采用了一种基于根数据、椭圆曲线和相干层理论的纯代数方法。其方法论通过以下步骤进行：

1. 几何设置： 令 $E$ 为复数域 $\mathbb{C}$ 上的椭圆曲线。给定具有对偶格 $X^*$ 和 $X_*$ 的根数据，作者定义了阿贝尔簇 $A = X^* \otimes E$ 和 $A^\vee = X_* \otimes E$。Weyl 群 $W$ 在两者上作用，分别记为谱作用（spectral action, $W$）和动力作用（dynamical action, $W^d$）。
2. 周期性 Hecke 模： 利用 $A \times A^\vee$ 上的 Poincaré 线丛 $\mathcal{P}$ 以及特定的 $\rho$-位移，作者定义了一个线丛 $L$。他们构造了周期模 $M = \bigoplus_{w \in W} w^*L$，该模作为 Springer 分辨的等变椭圆上同调的模型。
3. 椭圆扭曲群代数： 在直接和 $\bigoplus_{v,w \in W} S_{v,w}$ 上定义了一个代数结构，其中 $S_{v,w} = L \otimes (w^{-1})^*(v^{-1})^{d*}L^{-1}$。该代数被称为椭圆扭曲群代数，它作用于周期模。其代数结构对应于 Kostant-Kumar 扭曲积，并辅以动力 Weyl 群作用。
4. 椭圆 DL 算子： 作者定义了带有动力参数的椭圆 Demazure-Lusztig (DL) 算子 $T_\alpha^{z,\lambda}$，它们是扭曲群代数的有理截面。这些算子满足辫子关系（braid relations），且仅利用椭圆曲线、Poincaré 线丛和根数据进行构造。
5. Langlands 对偶： 针对 Langlands 对偶根数据进行平行的构造，得到对偶周期模 $M^d$ 及对偶算子。作者利用对偶函子和 Poincaré 配对来联系原始系统与其 Langlands 对偶系统。

主要贡献与结果

• 椭圆类的代数定义： 本文为作为周期模的有理截面的椭圆类提供了一个严谨的代数定义。文中推导了这些类到不动点限制的显式公式。
• 主定理（Langlands 对偶同构）： 主要结果建立了一个由 DL 算子组成的自然组合 $T$，它定义了周期模 $M$ 与对偶周期模 $M^d$ 之间的有理同构。具体而言：
  1. 映射 $T: M \dashrightarrow M^d$ 是向量丛的有理同构。
  2. 映射 $T$ 将 $M$ 的不动点基 $\tilde{f}_v$ 映射到 Langlands 对偶系统的椭圆类 $E^d_v$。
  3. 反之，$T$ 将原系统的椭圆类 $E_v$ 映射到对偶系统的不动点基 $\tilde{f}^d_v$。
  4. 逆映射由对偶算子组合 $T^d$ 给出。
• Poincaré 配对与伴随： 作者在周期模上引入了 Poincaré 配对，并证明了椭圆 DL 算子的伴随性质。这些性质对于证明主定理以及建立椭圆类与其“相反”类（通过对偶线丛定义）之间的对偶性至关重要。
• 限制公式： 文中推导了椭圆类到不动点的限制系数的显式公式。这些系数表示为 Weyl 群元素的约化字（reduced word）的子集之和，涉及 theta 函数的乘积。
• 对数次数（Logarithmic Degree）： 为 Weyl 群元素定义了一个新的不变量——“对数次数” $\Theta_w$。该元素属于 $X^* \otimes X_*$，编码了限制系数的零点和极点结构。

意义与主张
本文声称其主定理为 Springer 分辨 $T^*G/B$ 的等变椭圆上同调与其 Langlands 对偶 $T^*G^\vee/B^\vee$ 的等变椭圆上同调之间提供了一个规范同构。该同构将一个空间的固定点基映射到另一个空间的椭圆类，有效地将对偶根数据的几何结构交织在一起。

作者将这项工作定位为椭圆上同调背景下 3d-镜面对称（辛对偶）的一种独特视角。虽然以往的工作（如 Rimányi-Weber）通过比较限制公式并将其与镜面对称联系起来，但本文通过周期性 Hecke 模和 DL 算子的相互作用，提供了一个结构性的解释。

论文还指出，限制系数可以被视为 A 型中的“椭圆双 Schubert 多项式”，这与 Allen Knutson 关于上同调 Schubert 类的工作相类比。作者表示，关于限制系数的“根多项式公式”（侧重于 $b$-系数而非此处讨论的 $a$-系数）将在未来的论文中呈现，这表明当前的工作为这些未来的发展奠定了基础性的代数框架。

该构造在 Langlands 对偶方面表现良好，提供了一个统一的框架来研究椭圆类，而无需依赖特定的几何分辨率（如 Bott-Samelson），尽管它恢复了已知的迭代公式。文章最后指出，椭圆 Hecke 代数（在不进行局部化的情形下）的整结构对于表示论而言仍是一个有趣的课题，并引用了关于其定义及 Fourier-Mukai 变换应用的独立工作。