[论文解读] Nearby Cycle Sheaves for Stable Polar Representations

Mikhail Grinberg, Kari Vilonen+1 more|arXiv (Cornell University)|Dec 28, 2020

Advanced Algebra and Geometry参考文献 16被引用 5

一句话总结

本文计算了复数上连通半单群的稳定极化表示的邻近循环层层与扭局部系统之傅里叶变换。结果表明，邻近循环层 $ P_{\tilde{\chi}} $ 的傅里叶变换同构于对偶空间正则点集上秩为 $ |W| $ 的局部系统的交集上同调扩张，为分次李代数中的特征层理论提供了关键工具。

ABSTRACT

Let G|V, G connected, reductive over C, be a stable polar representation in the sense of [DK], satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G, we compute the Fourier transform of the corresponding nearby cycle sheaf P on the zero-fiber of f. This provides a partial generalization of the results of [Gr1] and [GVX1]. Our main intended application is to the theory of character sheaves for graded Lie algebras over C.

研究动机与目标

• 将邻近循环层结果推广至复数上连通半单群的稳定极化表示。
• 计算在零纤维上 $ G $-等变秩一局部系统（由基本群特征扭）的傅里叶变换。
• 在邻近循环层的傅里叶变换与对偶空间上交集上同调层之间建立精确同构。
• 为分次李代数背景下特征层理论提供基础。

提出的方法

• 利用从 $ G $-等变局部系统到零纤维 $ X_0 $ 上 $ G $-等变 $ \mathbb{C}^* $-锥性 perverse 层的邻近循环函子 $ \psi_f[\bar{c}_0] $，定义于正则纤维 $ X_{\bar{c}_0} $。
• 应用拓扑傅里叶变换函子 $ \mathfrak{F} $，将 $ V $ 上的 perverse 层与对偶空间 $ V^* $ 上的 perverse 层联系起来。
• 运用 Picard-Lefschetz 理论，通过边界映射与局部系统类分析单值性与交数。
• 利用 Weyl 群 $ W $、子群 $ W_{\chi}^0 \subset W $ 与 Hecke 代数 $ \mathcal{H}_{W_{\chi}^0} $ 的结构，分解单值表示。
• 依赖正则分裂与 braid 群作用，确保邻近循环函子在正则点集上的相容性。
• 提出一个关于交数消失的猜想，以简化单值分解并澄清单值不变子空间 $ M_0 $ 的结构。

实验结果

研究问题

• RQ1 对于稳定极化表示的正则纤维上 $ G $-等变秩一局部系统，邻近循环层的傅里叶变换行为如何？
• RQ2 在对偶空间上，$ P_{\chi} = \psi_f(\mathcal{L}_\chi[-]) $ 的傅里叶变换的精确结构为何？其与交集上同调层的关系如何？
• RQ3 在何种条件下，邻近循环层上的单值作用可按 $ W_{\chi}^0 \subset W $ 的陪集分解？
• RQ4 子空间 $ M_0 \subset M_{l_0}(P_\chi) $（定义为 $ \mathbb{C}^* $-不变部分）能否独立于其原始构造被表征？
• RQ5 当 $ w_1 W_{\chi}^0 \neq w_2 W_{\chi}^0 $ 时，如猜想 10.2 所述，交数 $ \partial u_1 \pitchfork \partial u_2^* $ 是否消失？

主要发现

• 邻近循环层 $ P_{\chi} $ 的傅里叶变换同构于交集上同调扩张 $ \operatorname{IC}((V^*)^{rs}, \mathcal{M}_{\chi}) $，其中 $ \mathcal{M}_{\chi} $ 是 $ V^* $ 正则点集上秩为 $ |W| $ 的局部系统。
• 在温和的技术假设下（包括零纤维的稳定性、秩一或有限轨道条件），同构 $ \mathfrak{F}P_{\chi} \cong \operatorname{IC}((V^*)^{rs}, \mathcal{M}_{\chi}) $ 成立。
• 邻近循环层上的单值作用按 $ W_{\chi}^0 \subset W $ 的陪集分解，且子空间 $ M_0 \subset M_{l_0}(P_\chi) $ 对应该陪集中的单位元。
• 若猜想中所述交数 $ \partial u_1 \pitchfork \partial u_2^* $ 在 $ w_1 W_{\chi}^0 \neq w_2 W_{\chi}^0 $ 时消失，则单值表示将实现清晰分解。
• 主定理的证明依赖于 Picard-Lefschetz 公式及带扭系数的相对同调中边界映射的结构。
• 该结果通过傅里叶变换与对偶性，直接建立了邻近循环层与分次李代数中特征层之间的联系。