On the representability of actions of unital algebras

Technische Samenvatting: Over de Representeerbaarheid van Acties van Unitale Algebras

Probleemstelling
Het artikel onderzoekt de representeerbaarheid van interne acties binnen de context van unitale niet-associatieve algebras over een veld. In categorische algebra is een categorie actie-representeerbaar als de functor van gesplitste extensies (of interne acties) op een object $X$ natuurlijk isomorf is met de hom-functor $\text{Hom}(-, [X])$, waarbij $[X]$ een object is dat de "acteur" wordt genoemd. Hoewel deze eigenschap geldt voor groepen (waarbij $[X] = \text{Aut}(X)$) en Lie-algebras, is bekend dat deze eigenschap faalt voor vele variëteiten van niet-associatieve algebras, zoals commutatieve associatieve algebras.

Vorige werk stelde vast dat in de setting van semi-abeliaanse categorieën (die niet-unitale algebras omvatten), actie-representeerbaarheid een zeer restrictieve eigenschap is, die in wezen alleen abelse en Lie-algebras karakteriseert. De auteurs adresseren de vraag of deze restrictie blijft bestaan wanneer de aandacht wordt beperkt tot unitale algebras. Specifiek onderzoeken zij de ideaal-exacte categorieën van unitale algebras (die over het algemeen niet gepunt zijn, in tegenstelling tot semi-abeliaanse categorieën) om te bepalen of de aanwezigheid van een multiplicatieve eenheid de actie-representeerbaarheid herstelt.

Methodologie
De auteurs maken gebruik van een combinatie van technieken uit categorische algebra en universele algebra:

1. Ideaal-Exacte Categorieën: Zij werken binnen het raamwerk van ideaal-exacte categorieën (ingevoerd door G. Janelidze), die semi-abeliaanse categorieën generaliseren om niet-gepunte settings te omvatten, zoals de categorie van unitale ringen ($\text{Ring}$) en unitale commutatieve ringen ($\text{CRing}$). Actie-representeerbaarheid in deze context wordt gedefinieerd ten opzichte van de semi-abeliaanse snij-categorie $(\mathcal{U} \downarrow 0)$.
2. Externe Zwakke Acteurs: Voor operadische, actie-toegankelijke variëteiten van niet-associatieve algebras maken de auteurs gebruik van de constructie van de externe zwakke acteur $E(X)$. Dit is een partiële algebra die is opgebouwd uit paren endomorfismen die aan specifieke identiteiten voldoen (de $\lambda/\mu$-regels), afgeleid uit de definierende vergelijkingen van de variëteit.
3. De Canonieke Afbeelding: Een centraal hulpmiddel is de canonieke partiële algebra-homomorfisme $\text{Inn}: X \to E(X)$, gedefinieerd door een element $x$ af te beelden op zijn linker- en vermenigvuldigingsoperatoren $(L_x, R_x)$.
4. Unit-Gesloten Variëteiten: De analyse richt zich op unit-gesloten variëteiten, waarbij het toevoegen van een externe eenheid aan een algebra het lidmaatschap van de variëteit behoudt. Dit stelt de auteurs in staat eigenschappen van unitale algebras te relateren aan de onderliggende niet-unitale variëteit.

Belangrijkste Bijdragen en Resultaten

• Falen van Toegankelijkheid in Algemene Unitale Categorieën: Het artikel demonstreert dat, in het algemeen, categorieën van unitale algebras niet eens actie-toegankelijk zijn (een zwakkere voorwaarde dan representeerbaarheid). Specifiek bewijst Proposition 4.11 dat de categorieën van unitale commutatieve algebras ($\text{Com}_1$) en unitale niet-associatieve algebras ($\text{Alg}_1$) niet actie-toegankelijk zijn. Dit wordt aangetoond door een specifieke 6-dimensionale unitale commutatieve algebra te construeren waarbij de gesplitste extensies geen morfismen toelaten naar betrouwbare objecten.

• Karakterisering van Unitaliteit via de Externe Zwakke Acteur: Voor een operadische, actie-toegankelijke en unit-gesloten variëteit $\mathcal{V}$ bewijzen de auteurs een cruciale equivalentie (Stelling 5.6): Voor elke algebra $X$ in $\mathcal{V}$ is de canonieke afbeelding $\text{Inn}: X \to E(X)$ een isomorfisme dan en slechts dan als $X$ een unitale algebra is.

  • Als $X$ unitaal is, is de kern van $\text{Inn}$ (de annihilator) triviaal, en zorgt het bestaan van een eenheid ervoor dat elk element van de externe zwakke acteur uniek wordt bepaald door zijn actie op de eenheid, wat surjectiviteit garandeert.
  • Als $\text{Inn}$ een isomorfisme is, levert de inverse afbeelding van het identiteitspaar $(\text{id}_X, \text{id}_X)$ een multiplicatieve eenheid voor $X$ op.

• Hoofdstelling over Actie-Representeerbaarheid: Het centrale resultaat (Stelling 5.7) stelt dat als $\mathcal{V}$ een operadische, actie-toegankelijke en unit-gesloten variëteit is, de ideaal-exacte categorie $\mathcal{V}_1$ van unitale algebras in $\mathcal{V}$ actie-representeerbaar is. Bovendien is de acteur van elke unitale algebra $X$ de algebra zelf.

  • Dit impliceert dat voor dergelijke variëteiten de functor van gesplitste extensies van een unitale algebra $X$ representeerbaar is door $X$.
  • Dit resultaat is van toepassing op unitale associatieve algebras, unitale commutatieve associatieve algebras, unitale alternatieve algebras en unitale Jacobi-Jordan algebras (in karakteristiek 3).

• Uitbreiding naar Poisson-Algebras: De auteurs breiden deze bevindingen uit tot unitale Poisson-algebras ($\text{Pois}_1$) en unitale commutatieve Poisson-algebras ($\text{CPois}_1$). Door gebruik te maken van de expliciete constructie van de universele strikte algemene acteur (USGA) voor Orzech-categorieën van belang, bewijzen zij (Stellingen 6.7 en 6.8) dat deze categorieën actie-representeerbaar zijn, waarbij de acteur van een unitale Poisson-algebra de algebra zelf is.

Betekenis en Claims
Het artikel claimt een significant contrast op te lossen tussen de niet-unitale en unitale settings in niet-associatieve algebra. Waar actie-representeerbaarheid in de semi-abeliaanse (niet-unitale) setting zeldzaam is (beperkt tot in wezen Lie-algebras), herstelt de introductie van een multiplicatieve eenheid in operadische, actie-toegankelijke, unit-gesloten variëteiten deze eigenschap universeel.

De auteurs benadrukken dat voor unitale algebras in deze specifieke variëteiten de "acteur" geen complex extern object is (zoals een bimultiplier-algebra of een derivatie-algebra), maar de algebra zelf. Dit vereenvoudigt de categorische structuur van acties voor unitale algebras, wat suggereert dat de aanwezigheid van een eenheid het gedrag van gesplitste extensies en interne acties fundamenteel verandert, waardoor ze op een directe en intrinsieke manier representeerbaar worden. Het werk biedt ook een concrete methode om actie-representeerbaarheid in nieuwe variëteiten te verifiëren door de unit-gesloten eigenschap en het bestaan van $\lambda/\mu$-regels te controleren.