Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

Resumen Técnico: Cocientes Equivariantes de Espacios Simplécticos Derivados y el Teorema de Intersección Legendriana

Enunciado del Problema
La geometría de contacto clásica se basa en un lema fundamental de transversalidad: un campo vectorial de Liouville en una variedad simpléctica induce una estructura de contacto en cualquier hipersuperficie transversal a dicho campo. Esta construcción depende de flujos locales suaves, de la transversalidad de conjuntos de puntos y de la existencia de una hipersuperficie transversal. Sin embargo, estos métodos clásicos fallan en el contexto de problemas de módulos algebraicos, donde los espacios exhiben frecuentemente singularidades, nilpotencia y grupos de automorfismos no triviales, haciendo inalcanzables o mal definidas las condiciones de transversalidad. Además, los problemas de intersección en geometría algebraica a menudo sufren patologías similares donde los productos fibrados carecen de la dimensión homológica o la estructura correctas. El artículo aborda la necesidad de traducir el lema clásico de transversalidad y la teoría de intersección legendriana asociada al marco de la Geometría Algebraica Derivada (DAG), donde situaciones no genéricas (tales como intersecciones no transversales y cocientes "malos") se manejan mediante métodos homotópicos y de categorías superiores.

Metodología
Los autores emplean la maquinaria de la Geometría Algebraica Derivada, utilizando específicamente $\infty$-categorías estables, álgebras conmutativas derivadas (cdgas) y estructuras simplécticas/contacto desplazadas. El cambio metodológico central consiste en reemplazar el campo vectorial de Liouville clásico con una acción de $G_m$ de peso 1 sobre un pila simpléctica derivada.

1. Transversalidad Derivada vía Cocientes: En lugar de construir una hipersuperficie transversal, el artículo utiliza la geometría de $G_m$-torsos y la simpléctificación. El campo vectorial fundamental de una acción de $G_m$ de peso 1 sobre una pila de Artin derivada simpléctica $n$-desplazada $\tilde{X}$ reemplaza al campo vectorial de Liouville. Se demuestra que la pila cociente $[\tilde{X}/G_m]$ hereda una estructura de contacto, eludiendo efectivamente la necesidad de una sección transversal al absorber los "ceros" del campo vectorial en la estructura del estabilizador de la pila.
2. Intersección Legendriana vía Simpléctificación: Para abordar el problema de la intersección legendriana, los autores establecen un diccionario entre estructuras legendrianas en módulos de contacto y estructuras lagrangianas en módulos simplécticos. Esto se logra mediante levantamientos $G_m$-equivariantes a lo largo de la proyección de simpléctificación $p: \tilde{X} \to X$. Al levantar morfismos legendrianos a la cubierta simpléctica, el problema se transforma en un problema de intersección lagrangiana equivariante.
3. Descenso $\infty$-Categórico: Las pruebas dependen en gran medida de operaciones $\infty$-categóricas, incluyendo cambio de base, triángulos exactos de complejos perfectos y cubos de descenso. La construcción de la estructura de contacto en la intersección implica analizar la transgresión de estructuras isotrópicas y verificar la no degeneración mediante la estabilidad de secuencias fibradas en la categoría derivada.

Contribuciones y Resultados Clave

• Teorema 1.1 (Análogo Derivado del Lema Clásico de Transversalidad): El artículo demuestra que, dada una pila de Artin derivada simpléctica $n$-desplazada $(\tilde{X}, \omega_{\tilde{X}})$ equipada con una acción de $G_m$ de peso 1, el cociente de pila $[\tilde{X}/G_m]$ hereda una estructura de contacto $n$-desplazada. Este resultado formaliza la simpléctificación derivada, demostrando que tomar el cociente de un espacio simpléctico homogéneo hace descender datos simplécticos a una estructura de contacto sin requerir una hipersuperficie transversal. El campo vectorial de Liouville se identifica con el campo vectorial fundamental de la acción de $G_m$.
• Teorema 1.2 (Teorema de Intersección Legendriana Derivada): Los autores prueban que la intersección de dos morfismos legendrianos $f_1: L_1 \to X$ y $f_2: L_2 \to X$ en una pila de Artin derivada de contacto $n$-desplazada admite una estructura de contacto $(n-1)$-desplazada. Esto se establece elevando la intersección al nivel simpléctico (donde se convierte en una intersección lagrangiana), aplicando el teorema de intersección simpléctica desplazada y descendiendo la estructura resultante de nuevo al cociente de contacto.
• Corolario 1.3 (Lugares Discriminantes Derivados): Como aplicación directa, se demuestra que el lugar discriminante derivado $\Delta_{loc}(f)$ de una función regular $f$ sobre un esquema $K$ suave $L$ porta una estructura de contacto $(-1)$-desplazada. Este lugar se define como el producto fibrado derivado de la incrustación legendriana de $L$ en el espacio de 1-jets y la sección cero.
• Aplicaciones a la Teoría de Módulos: El artículo proporciona ejemplos concretos de pilas derivadas con estructuras de contacto desplazadas:
  • Haz de Higgs Proyectivos: La pila de módulos derivada de haces de Higgs proyectivos, definida como el cociente de la pila cotangente 1-desplazada de haces principales por la acción de escalamiento, admite una estructura de contacto 1-desplazada canónica.
  • Sistemas Locales $\ell$-ádicos: El cociente de pila formal de la pila de módulos derivada de sistemas locales geométricos $\ell$-ádicos por un esquema de grupo co-representado por $K[x]/(x^{q^d}-1)$ hereda una estructura de contacto $(2-2d)$-desplazada, que surge de la dilatación aritmética inducida por el Frobenius geométrico.
  • Grupos de Lie 2: El cociente de pila derivada $P(T^*[2]BG)$ porta una estructura de contacto 2-desplazada canónica. Además, el producto fibrado derivado de dos legendrianos asociados a subgrupos $H_1, H_2 \subset G$ porta una estructura de contacto 1-desplazada canónica.

Significado y Afirmaciones
El artículo afirma traducir exitosamente el lema clásico de transversalidad al contexto derivado, proporcionando un marco robusto para definir estructuras de contacto en espacios de módulos donde falla la transversalidad clásica. Al reemplazar argumentos topológicos de conjuntos de puntos con operaciones $\infty$-categóricas estables, los autores resuelven el problema de los cocientes "malos" y las intersecciones no transversales.

El significado del trabajo radica en su capacidad para:

1. Generalizar la Geometría de Contacto: Extiende la geometría de contacto a espacios de módulos de dimensión impar y entornos singulares mediante estructuras desplazadas, utilizando acciones de $G_m$ como el proxy algebraico de los flujos de Liouville.
2. Resolver Problemas de Intersección: Proporciona una respuesta afirmativa definitiva al problema de la intersección legendriana en geometría derivada, vinculándolo a la teoría bien comprendida de intersecciones lagrangianas mediante la simpléctificación.
3. Unificar Problemas de Módulos: Los resultados ofrecen una base geométrica unificada para diversos problemas de módulos, incluidos haces de Higgs proyectivos, sistemas locales $\ell$-ádicos y grupos de Lie 2, dotándolos de estructuras de contacto desplazadas naturales que eran previamente inaccesibles o indefinidas en el marco clásico.

Los autores enfatizan que su enfoque evita la necesidad de argumentos analíticos locales o secciones globales, confiando en cambio en las propiedades homológicas intrínsecas de las pilas derivadas y el descenso de datos equivariantes. Esto permite la construcción de estructuras de contacto en espacios que son inherentemente singulares o poseen estabilizadores no triviales, expandiendo así el alcance de la geometría de contacto dentro de la geometría algebraica.