Una equivalencia entre ciertas categorías de representaciones de una álgebra de Lie semisimple compleja (en particular bloques de la categoría O con carácter central fijado) y categorías de D‑módulos (torsionados) sobre la variedad de banderas, que realiza problemas de representación algebraica de forma geométrica sobre la variedad de banderas.

Principio

Un funtor de localización envía un g‑módulo con carácter central adecuado a un D‑módulo (torsionado) en la variedad de banderas; tomar secciones globales es su cuasiinverso bajo hipótesis de regularidad, de modo que módulos algebraicos y D‑módulos geométricos corresponden cuando los pesos son regulares e integrales (o suficientemente genéricos).

Demostración

Un módulo simple de más alto peso en la categoría O con carácter central regular e integral se localiza a un D‑módulo torsionado holonómico en la variedad de banderas cuyas secciones globales recuperan el módulo original; por ejemplo los módulos de Verma y sus cocientes irreducibles corresponden a D‑módulos equivariantes soportados en células de Schubert específicas.

Aplicación incorrecta

Aplicar la localización sin comprobar regularidad o carácter central integral —por ejemplo intentar localización ingenua en un peso singular o en contextos no semisimple— puede fracasar como equivalencia y producir D‑módulos cuyas secciones globales no devuelven la representación inicial.

Consecuencia

El teorema permite emplear técnicas geométricas (faisceaux pervers, geometría de la variedad de banderas, cohomología de intersección) para resolver preguntas de teoría de representaciones, proporciona construcciones geométricas de representaciones y fórmulas de carácter, y sustenta vínculos profundos entre la representación algebraica y la geométrica.

Inversión

La perspectiva inversa toma D‑módulos geométricos en la variedad de banderas e interpreta dichos objetos como g‑módulos algebraicos mediante secciones globales; los fallos del proceso inverso señalan obstrucciones como caracteres centrales singulares o fenómenos de torsión en las secciones globales.

Límite

Funciona más limpiamente para álgebras de Lie semisimples complejas, la variedad de banderas algebraica y caracteres centrales regulares e integrales (o dominantes); son necesarias modificaciones para caracteres singulares, característica positiva o álgebras no semisimples, donde la equivalencia puede romperse o requerir correcciones derivadas/categóricas.

Tensión semántica

A menudo se confunde con paradigmas más generales de representación geométrica (por ejemplo Langlands geométrico o localización en característica positiva) pero difiere en alcance: Beilinson–Bernstein es una equivalencia concreta entre la categoría O y D‑módulos en la variedad de banderas para semisimples bajo hipótesis centrales específicas.

Síntesis

La localización de Beilinson–Bernstein realiza g‑módulos algebraicos como objetos geométricos sobre la variedad de banderas mediante un funtor de localización y su cuasiinverso de secciones globales: bajo hipótesis de regularidad esto identifica categorías de representaciones con categorías de D‑módulos torsionados e incorpora herramientas geométricas a la teoría de representaciones.