A note on Azumaya algebras and one-forms

Resumen Técnico: Una nota sobre álgebras de Azumaya y 1-formas

Enunciado del Problema
En el contexto de la geometría algebraica sobre un cuerpo algebraicamente cerrado $k$ de característica $p > 0$, el haz de operadores diferenciales cristalizados sobre una variedad suave y propia $X$ define un álgebra de Azumaya, denotada $A_X$, sobre el fibrado cotangente $T^*X'$ del giro de Frobenius $X'$. Aunque se sabe que $A_X$ se descompone al restringirse a ciertas variedades espectrales (un fenómeno utilizado en el programa de Langlands geométrico en característica $p$ y en la teoría de Hodge no abeliana), permanecía abierta una pregunta específica sobre la existencia de variedades donde esta descomposición falla.

Sasha Petrov planteó la siguiente pregunta (Pregunta 1 en el artículo): ¿Existe una variedad suave y propia $X$ y una subvariedad suave $Z \subset T^*X'$, finita sobre $X'$, tal que la restricción $A_X|_Z$ no se descomponga?

Metodología
El artículo aborda esta pregunta analizando la relación entre la descomposición del álgebra de Azumaya y las propiedades cohomológicas de las 1-formas globales sobre $X$. La metodología procede a través de los siguientes pasos lógicos:

1. Secuencia Exacta de Milne: El autor utiliza la secuencia exacta de Milne de haces étales sobre $X'$, que relaciona el grupo multiplicativo, el empuje de Frobenius del grupo multiplicativo, las 1-formas cerradas y el haz de todas las 1-formas. Esta secuencia involucra al operador de Cartier $C_X$ y a la aplicación $d\log$.
2. Homomorfismo de Obstrucción: Mediante el ensamblaje de la secuencia exacta, se define un morfismo de conexión, dando lugar a un homomorfismo de obstrucción:
   $$ob_{X'}: H^0(X', \Omega^1_{X'/k}) \to H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$$
   Este mapa mide la obstrucción a la descomposición del álgebra.
3. Identificación de Gerbes: Citando a Ogus–Vologodsky, el artículo identifica $ob_{X'}(\omega)$ con la clase del $\mathbb{G}_m$-gerbe de fibrados de línea sobre $X$ con conexión integrable y $p$-curvatura $\omega$. Crucialmente, este gerbe también se identifica como el gerbe de descomposiciones de $A_X$ restringido a la sección $i_\omega: X' \to T^*X'$ correspondiente a una 1-forma global $\omega$.
4. Análisis Dimensional de Esquemas de Picard: Para determinar cuándo $ob_{X'}$ es no nulo, el artículo analiza el esquema de Picard rigidizado de fibrados de línea con conexión integrable, denotado $G$. Utilizando el descenso de Cartier y las propiedades del morfismo de $p$-curvatura $\psi: G \to V$ (donde $V$ es el grupo vectorial de las 1-formas globales), el autor compara las dimensiones de la imagen de $\psi$ y el espacio de las 1-formas globales.

Contribuciones y Resultados Clave
El artículo establece los siguientes resultados principales:

• Lema 2: Para una variedad suave $X$ y una 1-forma global $\omega \in H^0(X', \Omega^1_{X'/k})$, la clase del álgebra de Azumaya restringida $[i_\omega^* A_X]$ en $H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$ es exactamente $ob_{X'}(\omega)$. En consecuencia, si $ob_{X'}(\omega) \neq 0$, el álgebra no se descompone sobre la gráfica $\Gamma_\omega$.
• Proposición 3: Si $X$ es una variedad conexa, suave y propia tal que no toda 1-forma global es cerrada (es decir, $H^0(X, Z^1_{X/k}) \subsetneq H^0(X, \Omega^1_{X/k})$), entonces el mapa de obstrucción $ob_{X'}$ es no nulo. La demostración muestra que la imagen del morfismo de $p$-curvatura es estrictamente menor que el espacio de todas las 1-formas globales debido a restricciones dimensionales en las componentes del esquema de Picard.
• Teorema 4 (Resultado Principal): Si $X$ posee una 1-forma global no cerrada, existe una subvariedad suave $Z \subset T^*X'$ (específicamente, la gráfica de una forma no cerrada) que es finita sobre $X'$ (de hecho, un isomorfismo) tal que $A_X|_Z$ no se descompone.

Ejemplos y Significado
El artículo proporciona ejemplos afirmativos en toda característica positiva:

• Ejemplos de Superficies: Se hace referencia a la construcción de Mumford de superficies proyectivas suaves con 1-formas globales no cerradas. También se señala que las superficies de Raynaud generalizadas construidas por Takeda (originalmente para $p>2$) también satisfacen esta condición para $p=2$.
• Dimensiones Superiores: Los productos de estas superficies con espacios proyectivos $X \times \mathbb{P}^n_k$ producen ejemplos de dimensiones superiores.

Significado y Limitaciones
El artículo responde afirmativamente a la Pregunta 1, demostrando que la descomposición del álgebra de Azumaya de operadores diferenciales cristalizados no está garantizada incluso sobre recubrimientos finitos (específicamente, recubrimientos de grado uno) de la base si la variedad admite 1-formas globales no cerradas.

El autor nota una consecuencia directa respecto al levantamiento: por el teorema de Deligne–Illusie, si la sucesión espectral de Hodge a de Rham degenera en $E_1$, todas las 1-formas globales deben ser cerradas. Por lo tanto, las variedades construidas en este artículo (que poseen formas no cerradas) no pueden levantarse al anillo de los segundos vectores de Witt $W_2(k)$. El artículo se mantiene modesto, enmarcando su contribución como una resolución a una pregunta específica planteada por Petrov, sin proponer aplicaciones más amplias ni propuestas experimentales futuras más allá del contexto geométrico inmediato.