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

Resumo Técnico: Cohomologia de Hochschild de Álgebras de Beilinson de Álgebras Down-Up Gradadas com Pesos (n, m)

Enunciado do Problema
Este artigo aborda o cálculo dos grupos de cohomologia de Hochschild, $HH^r(\nabla A)$, para a álgebra de Beilinson $\nabla A$ associada a uma álgebra down-up graduada $A = A(\alpha, \beta)$. A álgebra $A$ é definida sobre um corpo algebricamente fechado $k$ de característica zero, com geradores $x, y$ e pesos $(\deg x, \deg y) = (n, m)$. O estudo foca no caso onde $\beta \neq 0$, garantindo que $A$ seja uma álgebra AS-regular noetheriana de dimensão 3, e visa especificamente o caso restante não resolvido onde os pesos satisfazem $m \ge n > 1$ e $\gcd(n, m) = 1$.

Trabalhos anteriores estabeleceram resultados para os casos $(n, m) = (1, 1)$ (Belmans) e $(n=1, m \ge 2)$ (Itaba–Ueyama). O trabalho atual estende essas descobertas ao cenário onde ambos os pesos são maiores que 1. Os objetivos principais são determinar as dimensões dos grupos de cohomologia de Hochschild, construir bases explícitas para $HH^1$ e $HH^2$, descrever a estrutura do anel em relação ao produto de Yoneda e investigar a equivalência da categoria derivada do esquema projetivo não comutativo associado.

Metodologia
Os autores empregam uma abordagem algébrica utilizando a resolução projetiva mínima da álgebra de Beilinson $\nabla A$ como módulo sobre sua álgebra envoltória $(\nabla A)^e$. A metodologia procede através das seguintes etapas:

1. Construção da Resolução: Seguindo o quadro de Green–Snashall, os autores constroem a resolução projetiva mínima $P_\bullet$ de $\nabla A$. Eles definem conjuntos específicos de geradores $G_0, G_1, G_2$ correspondentes a vértices, setas e relações do quiver de $\nabla A$. Os diferenciais $\partial_1$ e $\partial_2$ são definidos explicitamente.
2. Complexo Dual e Representação Matricial: Ao aplicar o functor $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$, os autores obtêm um complexo de espaços duais. Eles constroem bases $k$ para esses espaços duais e representam os mapas induzidos $\widehat{\partial}_1$ e $\widehat{\partial}_2$ como matrizes ($L_1$ e $L_2$).
3. Cálculo de Ranks: As dimensões dos grupos de cohomologia são derivadas calculando os ranks dessas matrizes de representação. Os autores utilizam propriedades de matrizes circulantes e seus polinômios associados para determinar os ranks de $L_1$ e $L_2$ sob várias condições nos parâmetros $\alpha, \beta$ e nos pesos $n, m$.
4. Construção de Bases: Bases explícitas para os grupos de cohomologia $HH^1(\nabla A)$ e $HH^2(\nabla A)$ são construídas analisando os núcleos e imagens dos diferenciais no complexo dual.
5. Estrutura do Anel: A estrutura do produto de Yoneda no anel total de cohomologia de Hochschild $\bigoplus_{r \ge 0} HH^r(\nabla A)$ é determinada construindo mapas de cadeia que levantam as classes de cohomologia e calculando suas composições.
6. Análise da Categoria Derivada: Os autores utilizam a característica de Euler da cohomologia de Hochschild e as propriedades do functor de Serre no grupo de Grothendieck para testar a unipotência, comparando os resultados com teoremas conhecidos sobre categorias derivadas de variedades projetivas suaves.

Principais Resultados

• Fórmulas de Dimensão: O artigo fornece uma fórmula de dimensão completa para $HH^r(\nabla A)$ para todo $r \ge 0$ no caso $m > n > 1$ com $\gcd(n, m) = 1$.
  • $HH^0(\nabla A) \cong k$ (dimensão 1).
  • $HH^1(\nabla A)$ tem dimensão 2 se $n+m$ é par e $\alpha=0$ (Caso I), e dimensão 1 caso contrário (Caso II).
  • As dimensões de $HH^2(\nabla A)$ dependem de $n$ e do caso:
    • Se $n=2$: a dimensão é $m+5$ (Caso I) ou $m+4$ (Caso II).
    • Se $n \ge 3$: a dimensão é $n+m+1$ (Caso I) ou $n+m$ (Caso II).
  • $HH^r(\nabla A) = 0$ para todo $r \ge 3$.
• Bases Explícitas: Os autores constroem bases $k$ explícitas para $HH^1(\nabla A)$ e $HH^2(\nabla A)$ para todos os subcasos (incluindo condições específicas sobre $\alpha$ e $\beta$, tais como $\lambda_{m+1}=0$ ou $\alpha^2+4\beta=0$).
• Estrutura do Anel: O anel total de cohomologia de Hochschild é mostrado ser isomorfo a um quociente de uma álgebra exterior $\Lambda(a, b)$ por um ideal homogêneo $I$. O número de geradores $(a, b)$ e as relações específicas em $I$ são tabelados para todos os casos. Para muitos casos (particularmente quando $n \ge 2$), o ideal $I$ é trivial, implicando que o anel é uma álgebra exterior livre.
• Não Equivalência da Categoria Derivada: Uma consequência estrutural significativa é derivada para o caso $m > n > 1$. Os autores calculam a característica de Euler $\chi_{HH}(HH^\bullet(\nabla A))$ e mostram que ela não é igual ao rank do grupo de Grothendieck da categoria derivada limitada do esquema projetivo não comutativo, $2(n+m)$. Ao invocar um teorema de Bondal–Polishchuk sobre a unipotência do functor de Serre em superfícies projetivas suaves, eles concluem que o functor de Serre não age unipotentemente. Consequentemente, a categoria derivada $Db(\text{tails } A)$ não é equivalente à categoria derivada limitada de qualquer superfície projetiva suave.

Significado e Afirmações
O artigo afirma estender a classificação da cohomologia de Hochschild para álgebras de Beilinson de álgebras down-up graduadas ao caso anteriormente não abordado onde ambos os pesos são maiores que 1. Ao construir explicitamente resoluções projetivas e calcular ranks de matrizes, os autores fornecem uma descrição algébrica completa das dimensões de cohomologia e estruturas de anel.

O trabalho destaca uma distinção na natureza geométrica dessas álgebras não comutativas. Enquanto os casos $(1,1)$ e $(1,2)$ (onde $n=1$) exibem equivalências derivadas para superfícies projetivas suaves (ou possuem funtores de Serre unipotentes), o artigo demonstra que, para $m > n > 1$, essa equivalência se rompe. Este resultado serve como um contraexemplo à universalidade das equivalências derivadas entre álgebras AS-regular e variedades projetivas suaves em cenários de pesos mais altos, refinando a compreensão da realização geométrica de esquemas projetivos não comutativos.