[论文解读] On Singular Localization of $\mathfrak{g}$-modules

Erik Backelin, Kobi Kremnizer|arXiv (Cornell University)|Nov 3, 2010

Algebraic structures and combinatorial models参考文献 11被引用 3

一句话总结

本文为复半单李代数建立了单一的奇异局部化定理，通过抛物旗流形与扭曲微分算子，将贝利松-伯恩斯坦局部化推广至奇异中心特征的情形。关键结果是：在奇异常块的范畴 O 与抛物旗流形上的某些 ω-等变 ω-模之间，建立了阿贝尔范畴的等价关系，从而为特征零下的转移函子与 Whittaker 模提供了新的几何解释。

ABSTRACT

We prove a singular version of Beilinson-Bernstein localization for a complex semi-simple Lie algebra following ideas from the positive characteristic case done by \cite{BMR2}. We apply this theory to translation functors, singular blocks in the Bernstein-Gelfand-Gelfand category $\BGGcat$ and Whittaker modules.

研究动机与目标

• 在特征零下发展贝利松-伯恩斯坦局部化的奇异版本，类比贝兹鲁卡夫尼克、米尔科维奇与鲁米宁在正特征下的构造。
• 通过抛物旗流形上的 ω-模，阐明范畴 Ó 中奇异常块的几何结构。
• 将奇异局部化应用于转移函子、范畴 Ó 中的奇异常块以及 Whittaker 模。
• 为量子群类比与导出表示理论中的奇异 t-结构奠定范畴与几何基础。

提出的方法

• 在抛物旗流形 π = G/P 上构造一个 λ-扭的微分算子层 ω^λ_π，其中 P 对应于 λ 的奇异根。
• 将层 ω^λ_π 定义为 π_*ω_{G/R} 在 L 上的不变部分，其中 R 为 P 的幂零根，L 为 P 的 Levi 因子。
• 通过取其相伴的滤过层并利用抛物 Springer 恢复，证明 ω^λ_π 的整体截面同构于 Ó^λ = Ó / (I_λ)。
• 利用伴随函子与 ω-权的分解，建立抛物旗流形上 ω-模范畴与范畴 Ó 中奇异常块 Ó_λ^λ 之间的阿贝尔范畴等价。
• 将理论应用于转移函子，证明其因子化通过奇异常块，相较于正则局部化，构造更为简化。
• 将等价关系推广至抛物范畴 Ó^ρ，并证明 Ó^{ρ}_{λ̂} ≅ 𝒩^{ρ}_f，即在 G/Q 上具有 I_{𝔩,λ}-作用的 ω-等变 ω-模范畴。

实验结果

研究问题

• RQ1 能否在特征零下形式化贝利松-伯恩斯坦局部化的奇异版本，以类比 BMR06 中正特征下的构造？
• RQ2 范畴 Ó 中的转移函子如何通过几何局部化与奇异常块相关联？
• RQ3 奇异常块在范畴 Ó 中的精确几何结构是什么，以抛物旗流形上的 ω-模来表达？
• RQ4 奇异局部化如何促进量子群表示理论中奇异 t-结构的构造？
• RQ5 抛物范畴 Ó^ρ 与 G/Q 上 ω-等变 ω-模范畴之间存在何种关系？

主要发现

• 本文建立了奇异局部化的等价关系：Ó^{ρ}_{λ̂} ≅ 𝒩^{ρ}_f，将抛物范畴 Ó^ρ 中的奇异常块与 G/Q 上的 ω-等变 ω-模联系起来。
• 在抛物旗流形 π = G/P 上，层 ω^λ_π 的整体截面同构于 Ó^λ，推广了正则情形。
• 正则块之间的转移函子因子化通过奇异常块，且该因子化在奇异局部化构造中具有几何实现。
• 该范畴等价关系在阿贝尔范畴层面建立，与正特征下仅在导出范畴中成立的情况不同。
• 该理论为理解 Whittaker 模及其与范畴 Ó 中奇异常块的关系提供了几何框架，通过 ω-模的解释实现。
• 该构造以等变范畴语言表述，为未来推广至量子群与奇异 t-结构提供了可能。