Obstructions to Deformation Quantization of Bundles

Resumen Técnico: Obstrucciones a la Cuantización de Deformación de Fibrados

Planteamiento del Problema
El artículo aborda el problema de extender una cuantización de deformación de un fibrado vectorial $E$ sobre una variedad algebraica suave o una variedad compleja $M$ (equipada con una forma simpléctica o holomorfa $\omega$) desde un orden finito $k$ a un orden superior $\ell$ ($\ell > k$). Específicamente, dada una cuantización de orden $k$, $E_k$ (un haz localmente libre de módulos sobre la estructura de la capa cuantizada $\mathcal{O}_\hbar / \hbar^{k+1}\mathcal{O}_\hbar$), los autores investigan las obstrucciones cohomológicas para encontrar una cuantización de orden $\ell$, $E_\ell$, que extienda a $E_k$. El estudio distingue entre dos regímenes: el rango "abeliano" donde $k+1 \leq \ell \leq 2k+1$, y el rango "no abeliano" donde $\ell \geq 2k+2$ (incluyendo el caso de orden infinito $\ell = \infty$).

Metodología
Los autores emplean un enfoque geométrico basado en torsores de Harish-Chandra y teoremas de Darboux formales.

1. Trivialización Local y Torsores: Utilizando un lema de Darboux formal (Teorema 7), los autores establecen que, localmente, el par $(\mathcal{O}_\hbar, E_k)$ es isomorfo a un par estándar que involucra la álgebra de Weyl formal $D$ y un módulo libre $M_k = (D/\hbar^{k+1}D)^{\oplus e}$. La colección de todas estas isomorfismos locales forma un torsor $P(k)$ sobre $M$ con grupo de estructura $F_k = \text{Aut}(D, M_k)$.
2. Estructura de Harish-Chandra: Este torsor se eleva a un torsor de Harish-Chandra transitivo sobre el par $(F_k, \mathfrak{g}_k)$, donde $\mathfrak{g}_k$ es el álgebra de Lie de los automorfismos infinitesimales del par. Esta estructura dota a los fibrados vectoriales asociados de conexiones algebraicas planas.
3. Extensiones de Álgebra de Lie: El problema de extender la cuantización se traduce en el problema de elevar el torsor $P(k)$ a un torsor $P(\ell)$ sobre un par de Harish-Chandra extendido. Esto implica analizar las extensiones de los álgebras de Lie $\mathfrak{g}_k \to \mathfrak{g}_\ell$.
   • Para $k+1 \leq \ell \leq 2k+1$, el núcleo de la extensión es abeliano, lo que conduce a una obstrucción cohomológica estándar en $H^2$.
   • Para $\ell \geq 2k+2$, el núcleo es no abeliano. Los autores abelianizan el núcleo mediante el cociente por el subálgebra de conmutadores para derivar una condición necesaria (una "sombra abeliana") para la existencia de la elevación.
4. Mapa de Gelfand-Fuchs: Los autores utilizan el mapa de Gelfand-Fuchs para relacionar las clases de la cohomología del álgebra de Lie (que representan los cociclos de extensión) con las clases de la cohomología de de Rham de los fibrados planos asociados en $M$.
5. Conexiones de Fedosov: En el caso holomorfo, los resultados se reinterpretan utilizando conexiones de tipo Fedosov en fibrados de jets, proporcionando una realización geométrica diferencial concreta de las clases de obstrucción.

Contribuciones Clave y Resultados

• Teorema 1 (Rango Abeliano): Para $k+1 \leq \ell \leq 2k+1$, los autores definen un haz $\text{End}(E)^{(k, \ell]}$ (un cociente de los endomorfismos de $E_k$). Demuestran que:

  • Existe una clase de obstrucción en $H^2(M, \text{End}(E)^{(k, \ell]})$.
  • Esta clase se anula si y solo si existe una extensión $E_\ell$.
  • Si la obstrucción se anula, el conjunto de clases de isomorfismo de tales extensiones es un torsor sobre $H^1(M, \text{End}(E)^{(k, \ell]})$.
  • Este resultado se establece mediante la anulación de la imagen del cociclo de extensión bajo el mapa de Gelfand-Fuchs.

• Teorema 2 (Rango No Abeliano): Para $\ell \geq 2k+2$, los autores definen un haz $\text{End}^+_{\mathcal{O}_\hbar}(E_k)$ relacionado con el núcleo abelanizado de la extensión. Demuestran que:

  • La existencia de una extensión $E_\ell$ implica la anulación de una clase de obstrucción en $H^2(M, \text{End}^+_{\mathcal{O}_\hbar}(E_k))$.
  • Esta condición es necesaria pero no suficiente, ya que el problema completo involucra cohomología no abeliana.

• Teorema 8: Establece la equivalencia entre la cuantización $E_k$ y el haz de secciones planas del fibrado vectorial asociado al torsor de Harish-Chandra $P(k)$. Proporciona un cuasi-isomorfismo entre el haz de cuantización y el complejo de de Rham del fibrado asociado.

• Corolarios sobre Existencia y Unicidad:

  • Si $H^2(M, \text{End}(E)) = 0$ (por ejemplo, $M$ es la unión de dos abiertos afines), cualquier cuantización de orden $k$ se extiende a todos los órdenes $\ell \geq k+1$.
  • Si $H^1(M, \text{End}(E)) = 0$ (por ejemplo, $M$ es afín), la extensión es única.
  • Si $M$ es afín y $E$ es trivial, cualquier cuantización de orden $k \geq 1$ es trivial.

• Elevaciones de Morfismos (Sección 7): El artículo extiende el análisis para elevar morfismos $\phi_k: E_k \to F_k$ a orden $\ell$. Se identifica una obstrucción $O \in H^1(M, \text{Hom}_{\mathcal{O}_\hbar}(E_s, F_s))$. Los autores muestran que incluso si $O$ no se anula, se pueden ajustar las elecciones de las cuantizaciones objetivo $E_\ell$ y $F_\ell$ (añadiendo elementos de $H^1$) para que la obstrucción se anule, permitiendo así la elevación del morfismo.

Significancia y Pretensiones
El artículo pretende proporcionar una caracterización completa de las obstrucciones para extender las cuantizaciones de deformación de fibrados vectoriales en el "rango abeliano" ($\ell \leq 2k+1$), donde la obstrucción es tanto necesaria como suficiente. Para el más complejo rango no abeliano, proporciona un marco riguroso para identificar condiciones necesarias mediante la abelianización.

Los autores enfatizan que su enfoque unifica el estudio de las obstrucciones de cuantización a través de la lente de los torsores de Harish-Chandra y las conexiones planas, ofreciendo una forma sistemática de recuperar los fibrados cuantizados a partir de sus datos geométricos asociados. El trabajo generaliza los resultados previos sobre la cuantización de la estructura de la capa al caso de los fibrados vectoriales y proporciona un enfoque de la secuencia espectral para analizar la cohomología de los haces de obstrucción. El artículo no pretende resolver el problema de la existencia no abeliana en plena generalidad, sino que aísla las obstrucciones abelianas que deben anularse para que exista una solución.