Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

Resumen Técnico: Módulos DG Curvados y Factorizaciones de Matrices de Hipersuperficies Cuádricas No Conmutativas

Planteamiento del Problema
El artículo aborda la construcción y clasificación de factorizaciones de matrices no conmutativas para elementos en álgebras cuadráticas. Si bien la teoría de las factorizaciones de matrices para anillos conmutativos está bien establecida (Eisenbud) y se ha extendido a entornos no conmutativos específicos (Smith-Van den Bergh, Mori-Ueyama, He-Ye), los resultados existentes suelen depender de supuestos restrictivos: el álgebra $A$ debe ser típicamente Koszul, y el elemento $f$ debe ser frecuentemente central o normal. Además, los teoremas de equivalencia previos (por ejemplo, los que relacionan las factorizaciones de matrices con las categorías estables de módulos MCM o las categorías derivadas de álgebras de Clifford) proporcionan equivalencias categóricas, pero no siempre ofrecen métodos explícitos y constructivos para generar las propias factorizaciones de matrices. Este artículo busca trabajar con mayor generalidad considerando cualquier álgebra cuadrática $A$ y cualquier elemento de grado 2 no nulo $f \in A^2$, referido como una "hipersuperficie cuádrica no conmutativa", y proporcionar un functor canónico y constructivo que produzca factorizaciones de matrices.

Metodología
El autor emplea una combinación de geometría algebraica no conmutativa, álgebra homológica y la teoría de álgebras diferenciales graduadas curvas (CDG).

1. Marco Categórico: El artículo define la categoría Quad-QHS de pares $(A, f)$ donde $A$ es un álgebra cuadrática y $f \in A^2$. Se construye un functor de dualidad contravariante $(\cdot)!$, que mapea $(A, f)$ a un par $(\bar{A}!, f!)$, donde $\bar{A} = A/\langle f \rangle$ y $f!$ es un elemento cuadrático canónico en el dual cuadrático de $\bar{A}$. Esto establece Quad-QHS (y su subcategoría Kos-QHS para álgebras Koszul) como una categoría con dualidad.
2. Construcción de Álgebra DG Curva: A cualquier $(A, f) \in \text{Quad-QHS}$, el autor le asocia un álgebra DG curva canónica $T^\bullet = (T, d_T, \theta_T)$, donde $T = A \otimes \bar{A}!$, la curvatura es $\theta_T = f \otimes f!$, y la diferencial $d_T$ se define mediante un elemento específico $b \in T_1$ derivado de bases duales.
3. Construcción Functorial: Se construye un functor fiel $F$ desde la categoría de módulos graduados sobre $\bar{A}!$ hacia la categoría de homotopía de módulos DG curvos sobre $T^\bullet$.
4. Restricción a Factorizaciones de Matrices: Bajo condiciones donde $A$ satisface la condición de rango fuerte por la izquierda y la multiplicación por la derecha de $f$ es inyectiva, el autor identifica una subcategoría completa $\mathcal{P}(\bar{A}!, f!)$ de los módulos graduados sobre $\bar{A}!$. Se demuestra que la restricción del functor $F$ a esta subcategoría llega a la categoría de factorizaciones de matrices no conmutativas graduadas de $f$ (denotada como $\text{NMFA}_{\mathbb{Z}}(f)$).
5. Análisis de Álgebra de Clifford: Para el caso en que $A$ es un álgebra Koszul noeliana de dimensión global finita y $f$ es normal y regular, el artículo analiza el álgebra de Clifford par $C(A, f) = \bar{A}![(f!)^{-1}]_0$. Construye una presentación de esta álgebra como un álgebra cuadrática no homogénea y prueba que es una deformación PBW de un giro de Zhang de la subálgebra 2-Veronese del dual Koszul $A!$.

Contribuciones Clave y Resultados

• Teorema 1.2 (Dualidad): Las categorías de hipersuperficies cuádricas cuadráticas y Koszul no conmutativas se establecen como categorías con dualidad a través del functor $(\cdot)!$.
• Teorema 1.3 (Functor Fiel): Para cualquier $(A, f) \in \text{Quad-QHS}$, existe un functor fiel $F: \text{GrMod-}\bar{A}! \to \text{Ho(CDGMod-}T^\bullet)$. Si $A$ satisface la condición de rango fuerte por la izquierda y $\rho_f$ es inyectiva, la restricción de $F$ a la subcategoría $\mathcal{P}(\bar{A}!, f!)$ produce un functor fiel hacia la categoría de factorizaciones de matrices no conmutativas $\text{NMFA}_{\mathbb{Z}}(f)$. Esto proporciona un método directo y constructivo para generar factorizaciones de matrices a partir de módulos graduados sobre el álgebra dual.
• Teorema 1.4 (Estructura del Álgebra de Clifford Par): Cuando $A$ es un álgebra Koszul noeliana de dimensión global finita y $f$ es normal y regular:
  1. Existe un functor fiel desde la categoría de módulos de dimensión finita sobre el álgebra de Clifford par $C(A, f)$ hacia $\text{NMFA}_{\mathbb{Z}}(f)$.
  2. El álgebra de Clifford par $C(A, f)$ es isomórfica a una deformación PBW del giro de Zhang de la subálgebra 2-Veronese de $A!$.
• Ejemplos Explícitos: El artículo aplica estas construcciones a álgebras específicas de tipo Artin-Schelter regulares (planos cuánticos, álgebras de Sklyanin 3D, y un álgebra 4D de [10]). En estos casos, el autor computa explícitamente las álgebras de Clifford pares y deriva factorizaciones de matrices no conmutativas específicas (tanto de rango 1 como de rango 2) correspondientes a módulos de punto y módulos de punto gordo (fat point modules).

Significancia y Reivindicaciones
El artículo pretende generalizar los resultados existentes eliminando el requisito de que $A$ sea Koszul para la construcción inicial del functor y proporcionando un mecanismo explícito y constructivo para generar factorizaciones de matrices, en lugar de depender únicamente de equivalencias categóricas abstractas.

Específicamente, el autor señala que, si bien trabajos previos (por ejemplo, [15]) establecieron equivalencias entre las categorías estables de módulos MCM y las categorías derivadas de álgebras de Clifford, no proporcionaron una manera sencilla de "escribir" las factorizaciones de matrices reales. Este artículo llena ese vacío construyendo un functor fiel que mapea módulos graduados directamente a factorizaciones de matrices.

Además, el trabajo generaliza el resultado de He-Ye [11] respecto a la estructura del álgebra de Clifford par: mientras que [11] mostró un isomorfismo para un $f$ central, este artículo prueba que para un $f$ normal y regular, el álgebra de Clifford par es una deformación PBW de un giro de Zhang de la subálgebra 2-Veronese del dual.

La significancia también se demuestra a través de los ejemplos, donde la teoría identifica con éxito el tipo de representación del álgebra cociente $\bar{A}$ (mediante la semisimplicidad de $C(A, f)$) y construye explícitamente factorizaciones de matrices no triviales, incluyendo ejemplos de rango superior que no eran explícitos previamente en la literatura para estas álgebras específicas. El artículo concluye respondiendo a una pregunta específica de [10] sobre el estatus de singularidad aislada de un álgebra de 4 dimensiones, afirmando que es una singularidad aislada graduada.