Hochschild cohomology of Beilinson algebras of graded down-up algebras with weights ($n,m$)

Resumen Técnico: Cohomología de Hochschild de Álgebras de Beilinson de Álgebras Graduales Down-Up con Pesos (n, m)

Enunciado del Problema
Este artículo aborda el cálculo de los grupos de cohomología de Hochschild, $HH^r(\nabla A)$, para el álgebra de Beilinson $\nabla A$ asociada a un álgebra gradual down-up $A = A(\alpha, \beta)$. El álgebra $A$ está definida sobre un cuerpo algebraicamente cerrado $k$ de característica cero con generadores $x, y$ y pesos $(\deg x, \deg y) = (n, m)$. El estudio se centra en el caso donde $\beta \neq 0$, asegurando que $A$ sea un álgebra AS-regular noetheriana de dimensión 3, y específicamente apunta al caso restante no resuelto donde los pesos satisfacen $m \ge n > 1$ y $\gcd(n, m) = 1$.

Trabajos anteriores habían establecido resultados para los casos $(n, m) = (1, 1)$ (Belmans) y $(n=1, m \ge 2)$ (Itaba–Ueyama). El trabajo actual extiende estos hallazgos al escenario donde ambos pesos son mayores que 1. Los objetivos principales son determinar las dimensiones de los grupos de cohomología de Hochschild, construir bases explícitas para $HH^1$ y $HH^2$, describir la estructura del anillo con respecto al producto de Yoneda e investigar la equivalencia de la categoría derivada del esquema proyectivo no conmutivo asociado.

Metodología
Los autores emplean un enfoque algebraico que utiliza la resolución proyectiva mínima del álgebra de Beilinson $\nabla A$ como módulo sobre su álgebra envolvente $(\nabla A)^e$. La metodología procede a través de los siguientes pasos:

1. Construcción de la Resolución: Siguiendo el marco de Green–Snashall, los autores construyen la resolución proyectiva mínima $P_\bullet$ de $\nabla A$. Definen conjuntos específicos de generadores $G_0, G_1, G_2$ correspondientes a vértices, flechas y relaciones del quiver de $\nabla A$. Los diferenciales $\partial_1$ y $\partial_2$ se definen explícitamente.
2. Complejo Dual y Representación Matricial: Aplicando el funtor $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$, los autores obtienen un complejo de espacios duales. Construyen bases $k$ para estos espacios duales y representan los mapas inducidos $\widehat{\partial}_1$ y $\widehat{\partial}_2$ como matrices ($L_1$ y $L_2$).
3. Cálculo de Rangos: Las dimensiones de los grupos de cohomología se derivan calculando los rangos de estas matrices de representación. Los autores utilizan propiedades de las matrices circulares y sus polinomios asociados para determinar los rangos de $L_1$ y $L_2$ bajo diversas condiciones sobre los parámetros $\alpha, \beta$ y los pesos $n, m$.
4. Construcción de Bases: Se construyen bases explícitas para los grupos de cohomología $HH^1(\nabla A)$ y $HH^2(\nabla A)$ analizando los núcleos y las imágenes de los diferenciales en el complejo dual.
5. Estructura del Anillo: La estructura del producto de Yoneda en el anillo total de cohomología de Hochschild $\bigoplus_{r \ge 0} HH^r(\nabla A)$ se determina construyendo mapas de cadenas que elevan las clases de cohomología y calculando sus composiciones.
6. Análisis de la Categoría Derivada: Los autores utilizan la característica de Euler de la cohomología de Hochschild y las propiedades del funtor de Serre en el grupo de Grothendieck para probar la unipotencia, comparando los resultados con teoremas conocidos sobre categorías derivadas de variedades proyectivas suaves.

Resultados Clave

• Fórmulas de Dimensión: El artículo proporciona una fórmula de dimensión completa para $HH^r(\nabla A)$ para todo $r \ge 0$ en el caso $m > n > 1$ con $\gcd(n, m) = 1$.
  • $HH^0(\nabla A) \cong k$ (dimensión 1).
  • $HH^1(\nabla A)$ tiene dimensión 2 si $n+m$ es par y $\alpha=0$ (Caso I), y dimensión 1 en caso contrario (Caso II).
  • Las dimensiones de $HH^2(\nabla A)$ dependen de $n$ y del caso:
    • Si $n=2$: la dimensión es $m+5$ (Caso I) o $m+4$ (Caso II).
    • Si $n \ge 3$: la dimensión es $n+m+1$ (Caso I) o $n+m$ (Caso II).
  • $HH^r(\nabla A) = 0$ para todo $r \ge 3$.
• Bases Explícitas: Los autores construyen bases $k$ explícitas para $HH^1(\nabla A)$ y $HH^2(\nabla A)$ para todos los subcasos (incluyendo condiciones específicas sobre $\alpha$ y $\beta$ como $\lambda_{m+1}=0$ o $\alpha^2+4\beta=0$).
• Estructura del Anillo: Se demuestra que el anillo total de cohomología de Hochschild es isomorfo a un cociente de un álgebra exterior $\Lambda(a, b)$ por un ideal homogéneo $I$. El número de generadores $(a, b)$ y las relaciones específicas en $I$ se tabulan para todos los casos. Para muchos casos (particularmente cuando $n \ge 2$), el ideal $I$ es trivial, lo que implica que el anillo es un álgebra exterior libre.
• No Equivalencia de la Categoría Derivada: Se deriva una consecuencia estructural significativa para el caso $m > n > 1$. Los autores calculan la característica de Euler $\chi_{HH}(HH^\bullet(\nabla A))$ y muestran que no es igual al rango del grupo de Grothendieck de la categoría derivada acotada del esquema proyectivo no conmutivo, $2(n+m)$. Al invocar un teorema de Bondal–Polishchuk sobre la unipotencia del funtor de Serre en superficies proyectivas suaves, concluyen que el funtor de Serre no actúa unipotente. En consecuencia, la categoría derivada $Db(\text{tails } A)$ no es equivalente a la categoría derivada acotada de ninguna superficie proyectiva suave.

Significado y Afirmaciones
El artículo afirma extender la clasificación de la cohomología de Hochschild para álgebras de Beilinson de álgebras graduales down-up al caso previamente no abordado donde ambos pesos son mayores que 1. Mediante la construcción explícita de resoluciones proyectivas y el cálculo de rangos matriciales, los autores proporcionan una descripción algebraica completa de las dimensiones de la cohomología y las estructuras de anillo.

El trabajo destaca una distinción en la naturaleza geométrica de estas álgebras no conmutativas. Mientras que los casos $(1,1)$ y $(1,2)$ (donde $n=1$) exhiben equivalencias derivadas con superficies proyectivas suaves (o tienen funtores de Serre unipotentes), el artículo demuestra que para $m > n > 1$, esta equivalencia se rompe. Este resultado sirve como un contraejemplo a la universalidad de las equivalencias derivadas entre álgebras AS-regular y variedades proyectivas suaves en escenarios de mayor peso, refinando la comprensión de la realización geométrica de los esquemas proyectivos no conmutivos.