Non-Abelian p-Curvature and a Non-Abelian Katz's Formula

A continuación presento un resumen técnico detallado del artículo "Non-Abelian p-Curvature and a Non-Abelian Katz's Formula" de Michael Barz, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la generalización de la fórmula de Katz al contexto de la teoría de Hodge no abeliana.

• Contexto Clásico: En característica $p$, Katz estableció una relación fundamental entre la clase de Kodaira-Spencer de una morfismo suave y propio $f: X \to S$ y la $p$-curvatura de la conexión de Gauss-Manin asociada a la cohomología de de Rham relativa. Esta fórmula es crucial para la conjetura de Grothendieck-Katz sobre la $p$-curvatura.
• Desafío No Abeliano: Recientemente, Lam y Litt demostraron una variante no abeliana de esta fórmula y de la conjetura de Grothendieck-Katz (conocida como conjetura de Ekedahl-Shepherd-Barron-Taylor). Sin embargo, su demostración utilizaba construcciones técnicas complejas y sugerían que una prueba más conceptual podría obtenerse mediante el enfoque de "pilas" (stacks) en la teoría de Hodge $p$-ádica.
• Objetivo: El objetivo de Barz es proporcionar una prueba conceptualmente simple y directa de la fórmula de Katz no abeliana, utilizando la teoría de pilas de de Rham cortadas (sheared de Rham stacks) desarrollada por Bhatt, Kanaev, Mathew, Vologodsky, Zhang y Drinfeld.

2. Metodología

El autor emplea un marco puramente geométrico y categórico basado en la teoría de stacks, evitando las construcciones analíticas o algebraicas más pesadas utilizadas en trabajos previos.

• Pilas de de Rham Cortadas (Sheared de Rham Stacks):

  • Se utiliza la pila $(S/k)^c_{dR}$, que generaliza la pila de de Rham de Simpson (en característica 0) a característica $p$.
  • A diferencia de la pila de de Rham clásica (que parametriza conexiones con $p$-curvatura nula), la versión "cortada" parametriza conexiones planas generales.
  • La construcción se basa en el concepto de división de potencias nulas (nilpotent divided powers). En lugar de identificar puntos infinitesimalmente cercanos (como en característica 0), se identifican puntos cuya diferencia admite una estructura de división de potencias nulas. Esto se formaliza mediante la transmutación de cuasi-ideales de Drinfeld.

• Conexiones No Abelianas:

  • Se define una conexión no abeliana sobre $S$ como un diagrama cartesiano de pre-pilas:
    $$\tilde{E} \to (S/k)^c_{dR}$$
    donde $\tilde{E}$ es una pila sobre $S$. Esto generaliza el concepto de fibrado vectorial con conexión plana a objetos no lineales (como moduli de haces).

• Filtraciones y Grados Asociados:

  • Filtración de Hodge: Se introduce la pila de de Rham filtrada por Hodge, $(S/k)^c_{dR,+}$, definida sobre el stack $\mathbb{A}^1/\mathbb{G}_m$. Al restringir a $\lambda=1$ se obtiene la pila de de Rham usual; al restringir a $\lambda=0$ (el punto cerrado $B\mathbb{G}_m$), se obtiene la pila de Hodge $(S/k)_{Hodge}$.
  • Filtración Conjugada: Se construye análogamente la pila de de Rham filtrada conjugadamente, $(S/k)^c_{dR,c}$, utilizando una estructura de cuasi-ideal diferente que involucra el giro de Frobenius ($+1$ en lugar de $-1$). Su grado asociado es la pila de Hodge conjugada $S_{Hodge,c}$.

• Campos de Higgs y $p$-Curvatura No Abelianos:

  • Mediante una construcción de "dualidad de Cartier no abeliana" (adaptada a stacks), el autor extrae invariantes de las filtraciones.
  • La restricción de la filtración de Hodge a $\lambda=0$ produce un campo de Higgs no abeliano ($\Theta_{X/S}$).
  • La restricción de la filtración conjugada a $\lambda=0$ produce la $p$-curvatura no abeliana ($\psi_{X/S}|_{\lambda=0}$).

3. Contribuciones Clave

1. Prueba Conceptual Simplificada: El artículo ofrece una demostración de la fórmula de Katz no abeliana que es notablemente más simple y directa que la de Lam-Litt, al enmarcar el problema puramente en términos de morfismos entre stacks y propiedades de transmutación.
2. Construcción Unificada de Objetos: Se demuestra cómo tanto la filtración de Hodge como la conjugada surgen naturalmente como restricciones de una única familia de stacks sobre $\mathbb{A}^1/\mathbb{G}_m$.
3. Clarificación de Signos y Twist de Frobenius: El autor explica rigurosamente el origen de los signos ($[-1]$) y los giros de Frobenius ($F^*_{abs}$) que aparecen en la fórmula. Se muestra que el signo $-1$ es forzado por la necesidad de comparar el twist $+1$ de la $p$-curvatura con el twist $-1$ del campo de Higgs, resolviendo ambigüedades anteriores.
4. Generalización de la Conjetura de Katz: Se establece el marco para la conjetura de Ekedahl-Shepherd-Barron-Taylor en el contexto no abeliano utilizando herramientas de geometría algebraica moderna (stacks de de Rham).

4. Resultados Principales

El resultado central es el Teorema 5.12 (Fórmula de Katz No Abeliana).

Sea $f: X \to S$ un morfismo suave y propio de esquemas $k$-suaves (característica $p$).

• Sea $\Theta_{X/S}$ el campo de Higgs no abeliano asociado a la filtración de Hodge del moduli de haces $SL_n$ con conexión plana.
• Sea $\psi_{X/S}|_{\lambda=0}$ la $p$-curvatura no abeliana asociada a la filtración conjugada.
• Existe un diagrama cartesiano de stacks que relaciona el moduli de Hodge ($M_{Dol}$) y el moduli de Hodge conjugado ($M_{Dol,c}$) mediante el twist de Frobenius absoluto y el auto-isomorfismo $[-1]$ de $\mathbb{G}_m$:
  $$\begin{array}{ccc} M_{Dol,c} & \xrightarrow{\phi} & M_{Dol} \\ \downarrow & & \downarrow \\ S \times B\mathbb{G}_m & \xrightarrow{(F_{abs}, [-1])} & S \times B\mathbb{G}_m \end{array}$$
• La Fórmula: Bajo este diagrama, se cumple la igualdad:
  $$\phi^* \Theta_{X/S} = \psi_{X/S}|_{\lambda=0}$$
  Es decir, la $p$-curvatura no abeliana es el pullback del campo de Higgs no abeliano a través del morfismo que combina el Frobenius y el giro de grado $-1$.

5. Significado e Impacto

• Unificación Teórica: El trabajo conecta la teoría de Hodge no abeliana, la teoría de $p$-curvatura y la teoría de stacks de de Rham en un marco coherente. Muestra que fenómenos aritméticos profundos (como la fórmula de Katz) son consecuencias naturales de la geometría de las pilas de de Rham.
• Herramientas para Futuras Investigaciones: La introducción de conexiones no abelianas filtradas por Griffiths y la construcción de campos de Higgs no abelianos proporcionan nuevas herramientas que pueden ser útiles en otros contextos de geometría algebraica y teoría de representaciones.
• Simplificación de la Conjetura: Al ofrecer una prueba más conceptual, el artículo hace que la conjetura de Ekedahl-Shepherd-Barron-Taylor sea más accesible y sugiere que la teoría de stacks de de Rham es el lenguaje natural para abordar problemas relacionados con la $p$-curvatura en el régimen no abeliano.
• Resolución de Problemas Técnicos: Elimina la necesidad de trabajar con loci donde ciertos parámetros son libres de torsión (un problema técnico en el enfoque de Lam-Litt), permitiendo definir los objetos globalmente sobre el stack.

En resumen, Michael Barz demuestra que la "fórmula de Katz" no es un accidente algebraico, sino una manifestación geométrica de cómo las filtraciones de Hodge y conjugada se "pegan" en la teoría de stacks de de Rham, proporcionando una visión profunda y elegante de la estructura de las conexiones en característica $p$.