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

Technische Samenvatting: Hochschild-cohomologie van Beilinson-algebra's van gegradueerde down-up algebra's met gewichten (n, m)

Probleemstelling
Dit artikel behandelt de berekening van de Hochschild-cohomologiegroepen, $HH^r(\nabla A)$, voor de Beilinson-algebra $\nabla A$ geassocieerd met een gegradueerde down-up algebra $A = A(\alpha, \beta)$. De algebra $A$ is gedefinieerd over een algebraïsch gesloten lichaam $k$ van karakteristiek nul met generatoren $x, y$ en gewichten $(\deg x, \deg y) = (n, m)$. De studie richt zich op het geval waarin $\beta \neq 0$, waardoor $A$ een 3-dimensionale noetheriaanse AS-reguliere algebra is, en specifiek op het resterende onopgeloste geval waarbij de gewichten voldoen aan $m \ge n > 1$ en $\gcd(n, m) = 1$.

Vorig werk had resultaten vastgesteld voor de gevallen $(n, m) = (1, 1)$ (Belmans) en $(n=1, m \ge 2)$ (Itaba–Ueyama). Het huidige werk breidt deze bevindingen uit naar het scenario waarbij beide gewichten groter zijn dan 1. De primaire doelstellingen zijn het bepalen van de dimensies van de Hochschild-cohomologiegroepen, het construeren van expliciete bases voor $HH^1$ en $HH^2$, het beschrijven van de ringstructuur met betrekking tot het Yoneda-product, en het onderzoeken van de equivalentie van de afgeleide categorie van het bijbehorende niet-commutatieve projectieve schema.

Methodologie
De auteurs hanteren een algebraïsche aanpak waarbij gebruik wordt gemaakt van de minimale projectieve resolutie van de Beilinson-algebra $\nabla A$ als een module over zijn omhullende algebra $(\nabla A)^e$. De methodologie verloopt via de volgende stappen:

1. Constructie van de Resolutie: Volgend op het kader van Green–Snashall construeren de auteurs de minimale projectieve resolutie $P_\bullet$ van $\nabla A$. Zij definiëren specifieke verzamelingen van generatoren $G_0, G_1, G_2$ die corresponderen met hoekpunten, pijlen en relaties van de quiver van $\nabla A$. De differentiaals $\partial_1$ en $\partial_2$ worden expliciet gedefinieerd.
2. Duale Complex en Matrixrepresentatie: Door de functor $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$ toe te passen, verkrijgen de auteurs een complex van duale ruimten. Zij construeren $k$-bases voor deze duale ruimten en stellen de geïnduceerde afbeeldingen $\widehat{\partial}_1$ en $\widehat{\partial}_2$ voor als matrices ($L_1$ en $L_2$).
3. Berekening van de Rang: De dimensies van de cohomologiegroepen worden afgeleid door de rangen van deze representatiematrices te berekenen. De auteurs maken gebruik van eigenschappen van circulaire matrices en hun bijbehorende polynomen om de rangen van $L_1$ en $L_2$ te bepalen onder verschillende voorwaarden voor de parameters $\alpha, \beta$ en de gewichten $n, m$.
4. Constructie van Bases: Expliciete bases voor de cohomologiegroepen $HH^1(\nabla A)$ en $HH^2(\nabla A)$ worden geconstrueerd door de kernen en beelden van de differentiaals in het duale complex te analyseren.
5. Ringstructuur: De Yoneda-productstructuur op de totale Hochschild-cohomologiering $\bigoplus_{r \ge 0} HH^r(\nabla A)$ wordt bepaald door kettingafbeeldingen te construeren die de cohomologieklassen liften en hun composities te berekenen.
6. Analyse van de Afgeleide Categorie: De auteurs maken gebruik van de Euler-kenmerk van de Hochschild-cohomologie en de eigenschappen van de Serre-functie op de Grothendieck-groep om te testen op unipotentie, waarbij zij de resultaten vergelijken met bekende stellingen over afgeleide categorieën van gladde projectieve variëteiten.

Belangrijkste Resultaten

• Dimensieformules: Het artikel levert een volledige dimensieformule voor $HH^r(\nabla A)$ voor alle $r \ge 0$ in het geval $m > n > 1$ met $\gcd(n, m) = 1$.
  • $HH^0(\nabla A) \cong k$ (dimensie 1).
  • $HH^1(\nabla A)$ heeft dimensie 2 als $n+m$ even is en $\alpha=0$ (Geval I), en dimensie 1 anders (Geval II).
  • De dimensies van $HH^2(\nabla A)$ hangen af van $n$ en het geval:
    • Als $n=2$: dimensie is $m+5$ (Geval I) of $m+4$ (Geval II).
    • Als $n \ge 3$: dimensie is $n+m+1$ (Geval I) of $n+m$ (Geval II).
  • $HH^r(\nabla A) = 0$ voor alle $r \ge 3$.
• Expliciete Bases: De auteurs construeren expliciete $k$-bases voor $HH^1(\nabla A)$ en $HH^2(\nabla A)$ voor alle subgevallen (inclusief specifieke voorwaarden voor $\alpha$ en $\beta$ zoals $\lambda_{m+1}=0$ of $\alpha^2+4\beta=0$).
• Ringstructuur: De totale Hochschild-cohomologiering blijkt isomorf te zijn met een quotiënt van een uitwendige algebra $\Lambda(a, b)$ door een homogeen ideaal $I$. Het aantal generatoren $(a, b)$ en de specifieke relaties in $I$ zijn voor alle gevallen in tabellen weergegeven. Voor veel gevallen (met name wanneer $n \ge 2$) is het ideaal $I$ triviaal, wat impliceert dat de ring een vrije uitwendige algebra is.
• Niet-equivalentie van Afgeleide Categorie: Een significante structurele consequentie wordt afgeleid voor het geval $m > n > 1$. De auteurs berekenen de Euler-kenmerk $\chi_{HH}(HH^\bullet(\nabla A))$ en tonen aan dat deze niet gelijk is aan de rang van de Grothendieck-groep van de begrenste afgeleide categorie van het niet-commutatieve projectieve schema, $2(n+m)$. Door een stelling van Bondal–Polishchuk over de unipotentie van de Serre-functie op gladde projectieve oppervlakken aan te halen, concluderen zij dat de Serre-functie niet unipotent werkt. Bijgevolg is de afgeleide categorie $Db(\text{tails } A)$ niet equivalent met de begrenste afgeleide categorie van enig glad projectief oppervlak.

Betekenis en Aanspraken
Het artikel claimt de classificatie van Hochschild-cohomologie voor Beilinson-algebra's van gegradueerde down-up algebra's uit te breiden naar het eerder onbehandelde geval waarbij beide gewichten groter zijn dan 1. Door expliciet projectieve resoluties te construeren en matrixrangen te berekenen, bieden de auteurs een volledige algebraïsche beschrijving van de cohomologiedimensies en ringstructuren.

Het werk benadrukt een onderscheid in de geometrische aard van deze niet-commutatieve algebra's. Waar de gevallen $(1,1)$ en $(1,2)$ (waarbij $n=1$) afgeleide equivalenties vertonen met gladde projectieve oppervlakken (of unipotente Serre-functies hebben), toont het artikel aan dat voor $m > n > 1$ deze equivalentie wegvalt. Dit resultaat dient als een tegenvoorbeeld voor de universaliteit van afgeleide equivalenties tussen AS-reguliere algebra's en gladde projectieve variëteiten in scenario's met hogere gewichten, en verfijnt het begrip van de geometrische realisatie van niet-commutatieve projectieve schema's.