Beilinson–Bernstein localization

In mathematics, especially in representation theory and algebraic geometry, the Beilinson–Bernstein localization theorem relates D-modules on flag varieties G/B to representations of the Lie algebra $𝔤$ attached to a reductive group G. It was introduced by Template:Harvtxt.

Extensions of this theorem include the case of partial flag varieties G/P, where P is a parabolic subgroup in Template:Harvtxt and a theorem relating D-modules on the affine Grassmannian to representations of the Kac–Moody algebra $\widehat{𝔤}$ in Template:Harvtxt.

Statement

Let G be a reductive group over the complex numbers, and B a Borel subgroup. Then there is an equivalence of categories

$𝒟\text{-Mod}(G/B)\simeq (U(𝔤)/\ker \chi )\text{-Mod}.$

On the left is the category of D-modules on G/B. On the right χ is a homomorphism χ : Z(U(g)) → C from the centre of the universal enveloping algebra,

$Z(U(𝔤))\simeq \text{Sym}(𝔱{)}^{W,\rho },$

corresponding to the weight -ρ ∈ t^* given by minus half the sum over the positive roots of g. The above action of W on t^* = Spec Sym(t) is shifted so as to fix -ρ.

Twisted version

There is an equivalence of categories

${𝒟}_{\lambda }\text{-Mod}(G/B)\simeq (U(𝔤)/\ker {\chi }_{\lambda })\text{-Mod}.$

for any λ ∈ t^* such that λ-ρ does not pair with any positive root α to give a nonpositive integer (it is "regular dominant"):

$(\lambda -\rho ,\alpha )\in 𝐂-{𝐙}_{\le 0}.$

Here χ is the central character corresponding to λ-ρ, and D_λ is the sheaf of rings on G/B formed by taking the *-pushforward of D_G/U along the T-bundle G/U → G/B, a sheaf of rings whose center is the constant sheaf of algebras U(t), and taking the quotient by the central character determined by λ (not λ-ρ).

Example: SL₂

The Lie algebra of vector fields on the projective line P¹ is identified with sl₂, and

$U({𝔰𝔩}_2)/\mathrm{\Omega }\simeq 𝒟({𝐏}^1)$

via

$(e,h,f)\mapsto ({\partial }_z,-2z{\partial }_z,z^2{\partial }_z)$

It can be checked linear combinations of three vector fields C ⊂ P¹ are the only vector fields extending to ∞ ∈ P¹. Here,

$\mathrm{\Omega }=ef+fe+\frac{1}{2}{h}^2$

is sent to zero.

The only finite dimensional sl₂ representation on which Ω acts by zero is the trivial representation k, which is sent to the constant sheaf, i.e. the ring of functions O ∈ D-Mod. The Verma module of weight 0 is sent to the D-Module δ supported at 0 ∈ P¹.

Each finite dimensional representation corresponds to a different twist.

References

• Template:Citation
• Template:Citation
• Template:Citation
• Hotta, R. and Tanisaki, T., 2007. D-modules, perverse sheaves, and representation theory (Vol. 236). Springer Science & Business Media.
• Beilinson, A. and Bernstein, J., 1993. A proof of Jantzen conjectures. ADVSOV, pp. 1–50.