Odd Knörrer periodicity as a double cover

Resumen Técnico: Periodicidad Impar de Knörrer como Recubrimiento Doble

Enunciado del Problema
El artículo aborda el comportamiento global de la periodicidad de Knörrer, una equivalencia fundamental en la teoría de las factorizaciones de matrices. Clásicamente, la periodicidad de Knörrer establece que añadir un término cuadrático $x^2$ a un superpotencial $w$ (una "estabilización") preserva la categoría derivada de las factorizaciones de matrices si el rango de la forma cuadrática es par, mientras que las estabilizaciones de rango impar pueden resolverse pasando a una categoría equivariante. Aunque las versiones globales de la periodicidad de rango par están bien comprendidas (relacionando las factorizaciones de matrices en un fibrado vectorial con la categoría derivada de la base), una afirmación global para formas cuadráticas de rango uno ha sido esquiva. Específicamente, la equivalencia puntual $MF_{|x|=1}(\mathbb{A}^1, x^2) \simeq D^b(2 \text{ pts})$ sugiere una relación entre las factorizaciones de matrices y los recubrimientos dobles ramificados, pero los marcos existentes para las factorizaciones de matrices graduadas son insuficientes para manejar los datos de graduación "impar" necesarios.

La dificultad central radica en el hecho de que las definiciones estándar de factorizaciones de matrices dependen de la descomposición de los objetos en partes pares e impares ($E_0 \leftrightarrows E_1$), un fenómeno único de los anillos con graduación par. Cuando la coordenada lineal de la fibra tiene grado cohomológico impar, el haz estructural deja de ser superconmutativo, la diferencial en los haces de morfismos deja de ser lineal y la definición estándar de $RHom$ se rompe. En consecuencia, la categoría derivada de las factorizaciones de matrices para tales modelos de Landau–Ginzburg (LG) "con graduación impar" no puede construirse utilizando métodos tradicionales.

Metodología
El autor desarrolla un marco para las factorizaciones de matrices impares donde la coordenada lineal de la fibra $q$ tiene grado cohomológico impar ($|q|=1$).

1. Reformulación de las Definiciones: En lugar de depender de la descomposición $E_0 \leftrightarrow E_1$ o de $RHom$ en el espacio base $X$, el artículo adopta la definición a nivel de objetos de Segal y construye la categoría derivada como un cociente de Verdier de la categoría homotópica de las factorizaciones de matrices por los objetos acíclicos (siguiendo a Orlov y Preygel).
2. De Local a Global mediante Pila Cociente: Para recuperar una noción de homs internos y realizar cálculos de local a global, el autor observa que, aunque los morfismos no forman haces sobre el espacio con graduación impar $X$, sí forman haces sobre la pila cociente $[X/\mathbb{Z}_2]$. La graduación inducida en $[X/\mathbb{Z}_2]$ es par, lo que permite la aplicación de la teoría estándar para álgebras curvas sobre una base con graduación par.
3. Transformación de Fourier–Mukai: El teorema principal se demuestra construyendo un núcleo explícito de Fourier–Mukai. La equivalencia se realiza mediante un bimódulo curvo sobre el espacio total del fibrado en rectas y el recubrimiento doble ramificado. La prueba tiene en cuenta cuidadosamente los signos de Koszul que surgen de la naturaleza no conmutativa del producto tensorial de álgebras con graduación impar.

Contribuciones y Resultados Clave

• Teorema A (Equivalencia Principal): El artículo establece una equivalencia entre la categoría derivada de un recubrimiento doble ramificado $\tilde{X} = \{y^2 = f\} \subset \text{Tot}(L)$ y la categoría de factorizaciones de matrices sobre el espacio total del fibrado en rectas dual $\text{Tot}(L^{-1})$ con un potencial cuadrático fibra a fibra.
  $$MF(\text{Tot}(L^{-1}), fq^2) \simeq D^b(\tilde{X})$$
  Aquí, la coordenada de fibra $q$ se asigna un grado impar, lo que hace que el potencial $fq^2$ tenga grado total 2. Este resultado globaliza la equivalencia puntual $MF_{|q|=1}(\mathbb{A}^1, q^2) \simeq D^b(2 \text{ pts})$.

• Corolario B (Versión Orbifold): Se demuestra una equivalencia análoga para la pila raíz asociada (cociente de pila):
  $$MF([\text{Tot}(L^{-1})/\mathbb{Z}_2], fq^2) \simeq D^b(\sqrt{f}/X)$$
  Esto permanece dentro del ámbito de las factorizaciones de matrices con graduación par, ya que la acción de $\mathbb{Z}_2$ sobre la pila cociente trivializa la graduación impar.

• Resolución de la "Paradoja" de la Iteración: El artículo aclara por qué iterar la construcción del recubrimiento doble no conduce trivialmente a una contradicción con la periodicidad par de Knörrer. Al iterar la construcción sobre una base con graduación impar, el álgebra resultante se vuelve no conmutativa (específicamente, un álgebra de Clifford). Estas álgebras no conmutativas son triviales en el sentido de Morita, resolviendo la aparente paradoja de que un recubrimiento doble iterado (no trivial) debería ser equivalente a una estabilización par (trivial).

• Aplicaciones a la Simetría de Espejo y Resoluciones:

  • Simetría de Espejo: El marco acomoda naturalmente ejemplos de simetría de espejo unidimensional que involucran superficies orbifold y categorías de Fukaya envueltas, donde surgen graduaciones impares a partir de campos de líneas en puntos orbifold.
  • Equivalencias de tipo Orlov: El resultado proporciona una reducción dimensional del teorema de Orlov para recubrimientos dobles, relacionando la categoría derivada de un recubrimiento doble ramificado de Fano con factorizaciones de matrices sobre un orbifold afín.
  • Resoluciones Categóricas: El artículo aplica el teorema para construir y analizar resoluciones categóricas de singularidades (por ejemplo, singularidades de curvas $A_2$ y $A_3$) mediante compactificaciones parciales de modelos LG. Demuestra cómo los subcategorías núcleo de estas resoluciones pueden calcularse utilizando las equivalencias establecidas, coincidiendo con resultados de otras construcciones (por ejemplo, Kuznetsov, Kalck).
  • Exoflops: La teoría se utiliza para reinterpretar los "exoflops" (fenómenos donde las resoluciones de singularidades corresponden a compactificaciones parciales de modelos LG) en el contexto de la periodicidad impar, mostrando cómo el flop puede realizarse mediante variación GIT sin estructuras de orbifold.

Significado y Afirmaciones
El autor afirma que el significado principal de este trabajo es proporcionar una afirmación global rigurosa para formas cuadráticas de rango uno que requiere datos de graduación impar. El artículo argumenta que los enfoques existentes para las factorizaciones de matrices graduadas son inadecuados para este propósito porque asumen superconmutatividad y descomposición par. Al desarrollar la teoría de las factorizaciones de matrices con graduación impar y demostrar la equivalencia con recubrimientos dobles ramificados, el artículo:

1. Unifica la equivalencia puntual (1.1) con construcciones geométricas globales.
2. Ofrece una nueva herramienta para comprender las factorizaciones de matrices con superpotenciales de la forma $fq^2$.
3. Proporciona una interpretación geométrica para la dualidad proyectiva homológica en el contexto de familias de cuádricas diagonales y recubrimientos dobles singulares.
4. Aclara la relación entre los recubrimientos dobles iterados y las álgebras de Clifford, resolviendo la posible confusión respecto a la iteración de la periodicidad de Knörrer.

El artículo se mantiene modesto respecto a las implicaciones futuras, señalando que, aunque los resultados sugieren conexiones con la simetría de espejo homológica para recubrimientos dobles singulares y resoluciones categóricas mínimas, estos son áreas para una investigación futura y no conclusiones establecidas del trabajo actual. El trabajo se presenta como un paso fundamental en la formalización del lado "impar" de la periodicidad de Knörrer.