[Paper Review] On Singular Localization of $\mathfrak{g}$-modules

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

Algebraic structures and combinatorial models11 references3 citations

TL;DR

This paper establishes a singular localization theorem for complex semi-simple Lie algebras, extending Beilinson-Bernstein localization to singular central characters using parabolic flag varieties and twisted differential operators. The key result is an equivalence of abelian categories between singular blocks in category O and certain $ω$-equivariant $ω$-modules on parabolic flag manifolds, enabling new geometric interpretations of translation functors and Whittaker modules in characteristic zero.

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.

Motivation & Objective

• To develop a singular version of Beilinson-Bernstein localization in characteristic zero, analogous to the positive characteristic construction by Bezrukavnikov, Mirković, and Rumynin.
• To clarify the geometric structure of singular blocks in category $Ó$ via $ω$-modules on parabolic flag varieties.
• To apply the singular localization to translation functors, singular blocks in category $Ó$, and Whittaker modules.
• To lay the categorical and geometric groundwork for quantum group analogs and exotic t-structures in derived representation theory.

Proposed method

• Construct a sheaf of $λ$-twisted differential operators ${ω}^\u03bb}_{π}$ on a parabolic flag manifold $π = G/P$, where $P$ corresponds to the singular roots of $λ$.
• Define the sheaf ${ω}^\u03bb}_{π}$ as the $L$-invariant part of the pushforward $π_*\u03c9_{G/R}$, with $R$ the unipotent radical and $L$ the Levi factor of $P$.
• Prove that the global sections of ${ω}^\u03bb}_{π}$ are isomorphic to $Ó^\u03bb} = Ó / (I_\u03bb})$ by passing to the associated graded and using the parabolic Springer resolution.
• Establish an equivalence of abelian categories between the category of $ω$-modules on $π$ and the singular block $Ó_\u03bb}^\u03bb}$ in category $Ó$, using adjoint functors and decomposition by $ω$-weights.
• Apply the theory to translation functors by showing they factor through singular blocks, simplifying the construction compared to regular localization.
• Extend the equivalence to parabolic category $Ó^\u03c1}$ and prove ${Ó}^{\u03c1}_{\widehat{\lambda}} \cong \mathcal{N}^{\u03c1}_f$, the category of $ω$-equivariant $ω$-modules with $I_{\mathfrak{l},\lambda}$-action.

Experimental results

Research questions

• RQ1 Can a singular version of Beilinson-Bernstein localization be formulated in characteristic zero, mirroring the positive characteristic construction of BMR06?
• RQ2 How do translation functors in category $Ó$ relate to singular blocks via geometric localization?
• RQ3 What is the precise geometric structure of singular blocks in category $Ó$ in terms of $ω$-modules on parabolic flag varieties?
• RQ4 How does singular localization facilitate the construction of exotic t-structures in quantum group representation theory?
• RQ5 What is the relationship between parabolic category $Ó^\u03c1}$ and the category of $ω$-equivariant $ω$-modules on $G/Q$?

Key findings

• The paper establishes a singular localization equivalence: ${Ó}^{\u03c1}_{\widehat{\lambda}} \cong \mathcal{N}^{\u03c1}_f$, linking singular blocks in parabolic category $Ó^\u03c1}$ to $ω$-equivariant $ω$-modules on $G/Q$.
• The global sections of the sheaf ${ω}^\u03bb}_{π}$ on the parabolic flag manifold $π = G/P$ are isomorphic to $Ó^\u03bb}$, generalizing the regular case.
• Translation functors between regular blocks factor through singular blocks, and this factorization is geometrically realized via the singular localization construction.
• The equivalence of categories is established at the abelian level, unlike in positive characteristic where it only holds at the derived level.
• The theory provides a geometric framework for understanding Whittaker modules and their relation to singular blocks in category $Ó$, via the $ω$-module interpretation.
• The construction is formulated in an equivariant categorical language, enabling future extension to quantum groups and exotic t-structures.