[论文解读] Nearby Cycle Sheaves for Symmetric Pairs

Mikhail Grinberg, Kari Vilonen+1 more|arXiv (Cornell University)|May 8, 2018

Advanced Algebra and Geometry参考文献 14被引用 11

一句话总结

本文为对称对 $(G,K)$ 引入了一种邻近循环层构造，通过用层论框架替代格罗滕迪克-斯普林格解析，推广了斯普林格理论，该框架整合了等变局部系统。关键结果表明，邻近循环层 $P_\chi$ 的傅里叶变换是 ${\mathfrak{p}}^{rs}$ 上一个 $K$-等变局部系统的 IC-扩张，其单值性由与小威尔群 $W_{\mathfrak{a}}$ 的考克斯eter子群相关的参数为 $\pm 1$ 的 Hecke 代数编码。该构造在经典对称空间中实现了所有特征层，至多通过抛物诱导。

ABSTRACT

We present a nearby cycle sheaf construction in the context of symmetric spaces. This construction can be regarded as a replacement for the Grothendieck-Springer resolution in classical Springer theory.

研究动机与目标

• 为对称空间中的特征层发展一种层论框架，将经典斯普林格理论推广至格罗滕迪克-斯普林格解析之外。
• 利用带扭曲系数的邻近循环，构造 ${\mathcal{N}}_{\mathfrak{p}}$ 上的 $K$-等变 perverse 层 $P_\chi$。
• 明确以 Hecke 代数描述邻近循环层 $P_\chi$ 的傅里叶变换作为 ${\mathfrak{p}}^{rs}$ 上 $K$-等变局部系统的 IC-扩张。
• 通过参数为 $\pm 1$ 的 Hecke 代数表示，刻画 braid 群 $B_{W_{\mathfrak{a}}}$ 在 $P_1$ 上的单值性作用。
• 建立单值表示的典范基，并证明邻近循环层构造在经典对称空间中至多通过抛物诱导实现了所有特征层。

提出的方法

• 对每个特征 $\chi \in \hat{I}$，其中 $I = Z_K({\mathfrak{a}})/Z_K({\mathfrak{a}})^0$，利用伴随商映射 $f: {\mathfrak{p}} \to {\mathfrak{a}}/W_{\mathfrak{a}}$ 构造邻近循环层 $P_\chi$。
• 利用正则分裂同态，将等变基本群 $\pi_1^K({\mathfrak{p}}^{rs})$ 实现为 $I$ 与 braid 群 $B_{W_{\mathfrak{a}}}$ 的半直积，从而控制单值性。
• 对 $P_\chi$ 应用拓扑傅里叶变换，通过将 ${\mathfrak{p}}$ 与它的对偶 ${\mathfrak{p}}^*$ 同构，将该层与 ${\mathfrak{p}}^{rs}$ 上的局部系统关联起来。
• 通过参数为 $\pm 1$ 的 Hecke 代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ 的表示理论，刻画 $B_{W_{\mathfrak{a}}}$ 在 $P_1$ 上的单值性作用，该代数与 $W_{\mathfrak{a}}$ 的考克斯eter子群相关。
• 构造单值表示 $M_l(P)$ 的典范基 $\{\pm v_w\}$，符号通过路径提升与单值性一致性条件选取。
• 证明 $P_\chi$ 的傅里叶变换同构于诱导模 $\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}] \otimes_{\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}^{\chi,0}]} (\Bbbk_\chi \otimes {\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0} \otimes \Bbbk_\tau)$，通过秩为 $|W_{\mathfrak{a}}|$ 的自由 $\Bbbk$-模同构确立主定理。

实验结果

研究问题

• RQ1 如何将带扭曲系数的邻近循环层构造推广至对称对，以替代斯普林格理论中的格罗滕迪克-斯普林格解析？
• RQ2 邻近循环层 $P_\chi$ 在幂零锥 ${\mathcal{N}}_{\mathfrak{p}}$ 上的傅里叶变换结构是什么？
• RQ3 braid 群 $B_{W_{\mathfrak{a}}}$ 在 $P_1$ 上的单值性作用如何通过参数为 $\pm 1$ 的 Hecke 代数编码？
• RQ4 $W_{{\mathfrak{a}},\chi}^0$ 及其关联的 Hecke 代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ 在描述单值表示中起什么作用？
• RQ5 邻近循环层构造能否在经典对称空间中实现所有特征层，至多通过抛物诱导？

主要发现

• 邻近循环层 $P_\chi$ 的傅里叶变换同构于 ${\mathfrak{p}}^{rs}$ 上一个 $K$-等变局部系统的 IC-扩张，通过参数为 $\pm 1$ 的 Hecke 代数显式描述。
• braid 群 $B_{W_{\mathfrak{a}}}$ 在 $P_1$ 上的单值性作用通过 Hecke 代数 ${\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0}$ 的表示理论实现，其生成元满足关系：当 $\delta(s_{\bar{\alpha}_i})$ 为奇数时 $(\sigma_i - 1)^2 = 0$，当为偶数时 $\sigma_i^2 = 1$。
• 单值表示 $M_l(P)$ 的典范基 $\{\pm v_w\}$ 被构造，符号通过路径提升与沿 $\gamma_{1,s}$ 的单值性一致性条件选取。
• $I = Z_K({\mathfrak{a}})/Z_K({\mathfrak{a}})^0$ 在 $P_\chi$ 上的单值性作用由 $\lambda_l(u) v_w = \chi(u) \cdot \tau(u) \cdot v_w$ 给出，其中 $\chi$ 为特征，$\tau$ 为 $K/K^0$ 上的特征。
• 单值表示 $M_l(P_\chi)$ 同构于 $\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}] \otimes_{\Bbbk[\widetilde{B}_{W_{\mathfrak{a}}}^{\chi,0}]} (\Bbbk_\chi \otimes {\mathcal{H}}_{W_{{\mathfrak{a}},\chi}^0} \otimes \Bbbk_\tau)$，通过秩为 $|W_{\mathfrak{a}}|$ 的自由 $\Bbbk$-模同构确立主定理。
• 该构造在经典对称空间中实现了所有特征层，至多通过抛物诱导，其中特殊情形 $(SL(2), SO(2))$ 在第 4 节中明确验证。