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

Sintesi Tecnica: Cohomologia di Hochschild delle Algebre di Beilinson di Algebre Graded Down-Up con Pesi (n, m)

Enunciazione del Problema
Questo articolo affronta il calcolo dei gruppi di cohomologia di Hochschild, $HH^r(\nabla A)$, per l'algebra di Beilinson $\nabla A$ associata a un'algebra graded down-up $A = A(\alpha, \beta)$. L'algebra $A$ è definita su un campo algebricamente chiuso $k$ di caratteristica zero con generatori $x, y$ e pesi $(\deg x, \deg y) = (n, m)$. Lo studio si concentra sul caso in cui $\beta \neq 0$, garantendo che $A$ sia un'algebra AS-regolare noetheriana di dimensione 3, e mira specificamente al caso residuo irrisolto in cui i pesi soddisfano $m \ge n > 1$ e $\gcd(n, m) = 1$.

Il lavoro precedente aveva stabilito risultati per i casi $(n, m) = (1, 1)$ (Belmans) e $(n=1, m \ge 2)$ (Itaba–Ueyama). Il lavoro corrente estende queste scoperte allo scenario in cui entrambi i pesi sono maggiori di 1. Gli obiettivi principali sono determinare le dimensioni dei gruppi di cohomologia di Hochschild, costruire basi esplicite per $HH^1$ e $HH^2$, descrivere la struttura dell'anello rispetto al prodotto di Yoneda e investigare l'equivalenza della categoria derivata dello schema proiettivo non commutativo associato.

Metodologia
Gli autori adottano un approccio algebrico che utilizza la risoluzione proiettiva minima dell'algebra di Beilinson $\nabla A$ come modulo sulla sua algebra avvolgente $(\nabla A)^e$. La metodologia procede attraverso i seguenti passaggi:

1. Costruzione della Risoluzione: Seguendo il quadro di Green–Snashall, gli autori costruiscono la risoluzione proiettiva minima $P_\bullet$ di $\nabla A$. Definiscono insiemi specifici di generatori $G_0, G_1, G_2$ corrispondenti a vertici, frecce e relazioni del quiver di $\nabla A$. I differenziali $\partial_1$ e $\partial_2$ sono definiti esplicitamente.
2. Complesso Duale e Rappresentazione Matriciale: Applicando il funtore $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$, gli autori ottengono un complesso di spazi duali. Costruiscono basi $k$ per questi spazi duali e rappresentano le mappe indotte $\widehat{\partial}_1$ e $\widehat{\partial}_2$ come matrici ($L_1$ e $L_2$).
3. Calcolo del Rango: Le dimensioni dei gruppi di cohomologia sono derivate calcolando i ranghi di queste matrici di rappresentazione. Gli autori utilizzano le proprietà delle matrici circolanti e dei loro polinomi associati per determinare i ranghi di $L_1$ e $L_2$ in varie condizioni sui parametri $\alpha, \beta$ e sui pesi $n, m$.
4. Costruzione della Base: Basi esplicite per i gruppi di cohomologia $HH^1(\nabla A)$ e $HH^2(\nabla A)$ sono costruite analizzando i nuclei e le immagini dei differenziali nel complesso duale.
5. Struttura dell'Anello: La struttura del prodotto di Yoneda sull'anello totale di cohomologia di Hochschild $\bigoplus_{r \ge 0} HH^r(\nabla A)$ è determinata costruendo mappe di catena che sollevano le classi di cohomologia e calcolando le loro composizioni.
6. Analisi della Categoria Derivata: Gli autori utilizzano la caratteristica di Euler della cohomologia di Hochschild e le proprietà del funtore di Serre sul gruppo di Grothendieck per testare l'unipotenza, confrontando i risultati con teoremi noti riguardanti le categorie derivate di varietà proiettive lisce.

Risultati Chiave

• Formule per le Dimensioni: L'articolo fornisce una formula completa per le dimensioni di $HH^r(\nabla A)$ per ogni $r \ge 0$ nel caso $m > n > 1$ con $\gcd(n, m) = 1$.
  • $HH^0(\nabla A) \cong k$ (dimensione 1).
  • $HH^1(\nabla A)$ ha dimensione 2 se $n+m$ è pari e $\alpha=0$ (Caso I), e dimensione 1 altrimenti (Caso II).
  • Le dimensioni di $HH^2(\nabla A)$ dipendono da $n$ e dal caso:
    • Se $n=2$: la dimensione è $m+5$ (Caso I) o $m+4$ (Caso II).
    • Se $n \ge 3$: la dimensione è $n+m+1$ (Caso I) o $n+m$ (Caso II).
  • $HH^r(\nabla A) = 0$ per ogni $r \ge 3$.
• Basi Esplicite: Gli autori costruiscono basi $k$ esplicite per $HH^1(\nabla A)$ e $HH^2(\nabla A)$ per tutti i sottocasi (inclusi condizioni specifiche su $\alpha$ e $\beta$ come $\lambda_{m+1}=0$ o $\alpha^2+4\beta=0$).
• Struttura dell'Anello: Si dimostra che l'anello totale di cohomologia di Hochschild è isomorfo a un quoziente di un'algebra esterna $\Lambda(a, b)$ per un ideale omogeneo $I$. Il numero di generatori $(a, b)$ e le relazioni specifiche in $I$ sono tabulati per tutti i casi. Per molti casi (in particolare quando $n \ge 2$), l'ideale $I$ è banale, implicando che l'anello è un'algebra esterna libera.
• Non-Equivalenza della Categoria Derivata: Una significativa conseguenza strutturale è derivata per il caso $m > n > 1$. Gli autori calcolano la caratteristica di Euler $\chi_{HH}(HH^\bullet(\nabla A))$ e mostrano che non è uguale al rango del gruppo di Grothendieck della categoria derivata limitata dello schema proiettivo non commutativo, $2(n+m)$. Invocando un teorema di Bondal–Polishchuk riguardante l'unipotenza del funtore di Serre sulle superfici proiettive lisce, concludono che il funtore di Serre non agisce in modo unipotente. Di conseguenza, la categoria derivata $Db(\text{tails } A)$ non è equivalente alla categoria derivata limitata di alcuna superficie proiettiva liscia.

Significato e Affermazioni
L'articolo afferma di estendere la classificazione della cohomologia di Hochschild per le algebre di Beilinson di algebre graded down-up al caso precedentemente non affrontato in cui entrambi i pesi sono maggiori di 1. Costruendo esplicitamente risoluzioni proiettive e calcolando i ranghi delle matrici, gli autori forniscono una descrizione algebrica completa delle dimensioni della cohomologia e delle strutture degli anelli.

Il lavoro evidenzia una distinzione nella natura geometrica di queste algebre non commutative. Mentre i casi $(1,1)$ e $(1,2)$ (dove $n=1$) mostrano equivalenze derivate con superfici proiettive lisce (o hanno funtori di Serre unipotenti), l'articolo dimostra che per $m > n > 1$, questa equivalenza si rompe. Questo risultato serve come controesempio all'universalità delle equivalenze derivate tra algebre AS-regolari e varietà proiettive lisce in scenari di peso più elevato, affinando la comprensione della realizzazione geometrica degli schemi proiettivi non commutativi.