Technische Samenvatting: Absoluut Vlakke Algebra's in Tensor-categorieën

1. Probleemstelling en Motivatie

Het artikel onderzoekt de structurele relatie tussen drie klassen van algebra's binnen de ind-completions van tensor-categorieën (rigide abelse monoidale categorieën): semisimpele algebra's, artiaanse simpele algebra's en artiaanse absoluut vlakke algebra's (von Neumann reguliere algebra's).

In de klassieke ringtheorie over een veld $k$ zijn deze drie begrippen voor een artiaanse algebra equivalent: een algebra is semisimpel dan en slechts dan als zij een product is van simpele algebra's, of dan en slechts als zij absoluut vlak is. De auteurs vragen zich af of deze equivalenties standhouden in de bredere context van tensor-categorieën. Specifiek adresseren zij:

1. Is elke semisimpele algebra een product van simpele algebra's?
2. Is elke artiaanse simpele algebra absoluut vlak?
3. Onder welke voorwaarden vallen deze eigenschappen samen?

De motivatie komt voort uit verschillende openstaande vragen in het vakgebied:

• Of de uitbreiding van scalairen van een tensor-categorie een tensor-categorie blijft (equivalent aan de vraag of velduitbreidingen absoluut vlak zijn).
• Of Deligne-tensorproducten van pretannakiaanse categorieën altijd pretannaksiaans zijn.
• De Etingof-Ostrik conjectuur betreffende de "exactheid" van simpele algebra's in eindige tensor-categorieën.

2. Methodologie en Kader

De auteurs hanteren een systematische aanpak die categorische algebra, representatietheorie en algebraïsche meetkunde combineert binnen het kader van pretannakiaanse categorieën (symmetrische artiaanse tensor-categorieën).

• Definities: Zij definiëren de Jacobson-radicaal $J(A)$, semisimpliciteit ($J(A)=0$), en absolute vlakheid ($Tor^A_1 \equiv 0$) in de context van ind-algebra's. Zij maken onderscheid tussen links artiaanse, rechts artiaanse en bi-artiaanse eigenschappen.
• Well-Fibered Categorieën: Een centraal methodologisch instrument is het concept van well-fibered (goed gefibreerde) pretannakiaanse categorieën. Een categorie $\mathcal{C}$ is well-fibered als zij een symmetrische tensor-functor bezit naar een "basale" pretannakiaanse categorie $\mathcal{D}$ die zowel Geometrisch Reductief (GR) als Maximaal Nilpotent (MN) is.
  • GR: Voor elke epimorfisme $X \twoheadrightarrow 1$ splitst een bepaalde symmetrische macht $S^n X \twoheadrightarrow 1$.
  • MN: Simpele niet-getriviale objecten hebben eindige symmetrische algebra's, en niet-gesplitste extensies van de eenheid verdwijnen uiteindelijk onder symmetrische machten.
• Reductie tot Groepsschemata: Met behulp van de Tannakische formalisme reduceren de auteurs problemen in well-fibered categorieën tot de studie van algebra's in $\text{Rep}_f G$ (eindige-lengte representaties van een affien groepsschema $G$) over een basisveld $k$.
• Algebraïsche Meetkunde in Tensor-categorieën: Zij maken gebruik van de theorie van algebraïsche groepen en schemata (ontwikkeld in eerdere werken, zoals [C2], [CS]) om commutatieve algebra's te analyseren als coördinatenringen van homogene ruimten $G/H$.

3. Belangrijkste Bijdragen en Resultaten

3.1. Algemene Relaties en Tegenvoorbeelden

Het artikel stelt vast dat in algemene zin de klassieke equivalenties falen.

• Implicaties: De auteurs bewijzen dat voor artiaanse algebra's absolute vlakheid de verdwijning van $\text{Ext}^1$ impliceert, wat impliceert dat de algebra een product is van simpele algebra's, wat weer semisimpliciteit impliceert. Echter, de omgekeerde implicaties gelden niet universeel.
• Tegenvoorbeelden:
  • Semisimpel maar geen product van simpele algebra's: In de Delannoy-categorie (superexponentiële groei) bestaat een commutatieve semisimpele algebra die niet een product is van simpele algebra's (Lemma 4.5).
  • Simpel maar niet absoluut vlak: In categorieën met superexponentiële groei (bijv. $(\text{Rep } GL)_t$), bestaan simpele commutatieve ind-algebra's die niet absoluut vlak zijn (Propositie 4.6).
  • Niet-artiaanse simpele algebra's: Het artikel levert het eerste bekende voorbeeld van een tensor-categorie met eindige-dimensionele morfisme-ruimten die objecten van oneindige lengte bevat (Appendix A), wat de subtiliteiten in de definitie van artiaanse algebra's benadrukt.

3.2. Hoofdtheorema's voor Matige Groei

De primaire positieve resultaten worden vastgesteld voor pretannakiaanse categorieën van matige groei, specifiek de categorieën die well-fibered zijn.

Theorema A (Commutatief geval): Laat $\mathcal{C}$ een well-fibered pretannakiaanse categorie zijn over een algebraïsch gesloten veld $k$.

1. Elke simpele commutatieve algebra in $\text{Ind } \mathcal{C}$ is artiaans en absoluut vlak.
2. Elke semisimpele commutatieve algebra in $\text{Ind } \mathcal{C}$ is een product van simpele algebra's.
3. Indien $\text{char}(k) > 0$, is elke semisimpele algebra (niet noodzakelijkerwijs commutatief) in $\mathcal{C}$ een product van simpele algebra's en is zij absoluut vlak.

Dit theorema impliceert dat voor Frobenius exacte pretannakiaanse categorieën van matige groei (in positieve karakteristiek) en alle dergelijke categorieën in karakteristiek 0, de klassieke equivalenties gelden.

Theorema B (Tannakisch/Groepsschema geval): Laat $G$ een affien groepsschema zijn over een algebraïsch gesloten veld $k$.

1. Voor een simpele commutatieve $G$-equivariante algebra $A$, laat $L$ de algebraïsche afsluiting zijn van het veld van invarianten $A^G$. Er bestaat een exacte subgroep $H \subseteq GL$ zodanig dat $A \otimes_{A^G} L \cong L[GL/H]$.
2. Semisimpele commutatieve $G$-equivariante algebra's zijn producten van simpele algebra's.
3. Eindige-dimensionele semisimpele $G$-equivariante algebra's zijn producten van simpele algebra's.

3.3. Structurele Karakterisaties

• Artiaanse Karakterisering: In well-fibered categorieën is een commutatieve ind-algebra artiaans dan en slechts dan als zij de dalende ketenconditie (DCC) op idealen bevredigt, of equivalent als zij een eindig direct product is van artiaanse lokale algebra's (Theorema 5.2).
• Nakayama Eigenschap: De auteurs maken gebruik van de Nakayama-eigenschap (geldig in well-fibered categorieën) om te bewijzen dat de Jacobson-radicaal samenvalt met de doorsnede van maximale idealen en dat simpele modules overeenkomen met maximale idealen.

3.4. Appendices

• Appendix A: Construeert een symmetrische tensor-categorie met eindige-dimensionele morfisme-ruimten maar objecten van oneindige lengte, wat aantoont dat de ind-completion van een tensor-categorie niet altijd een "mooie" tensor-categorie is in de zin van het hebben van objecten met eindige lengte.
• Appendix B: Generaliseert Deligne's stelling over de neutraliteit van tannakische categorieën, waarbij deze wordt uitgebreid van $\text{Vec}$ naar willekeurige GR+MN pretannakiaanse categorieën.
• Appendix C: Vult een technische kloof aan met betrekking tot de uitbreiding van scalairen in tensor-categorieën.

4. Betekenis en Claims

Het artikel beweert de vraag naar de equivalentie van semisimpliciteit, product-van-simples en absolute vlakheid voor commutatieve algebra's in pretannakiaanse categorieën van matige groei op te lossen, mits de categorie well-fibered is.

• Conjecturale reikwijdte: De auteurs merken op dat het een belangrijke conjectuur in het veld is (ondersteund door [BEO, C2]) dat elke pretannakiaanse categorie van matige groei well-fibered is. Indien deze conjectuur standhoudt, zijn hun resultaten van toepassing op alle dergelijke categorieën.
• Beperkingen: Het artikel stelt expliciet dat in categorieën van superexponentiële groei (die niet van matige groei zijn), deze equivalenties falen.
• Openstaande vragen:
  • Of de equivalentie geldt voor niet-commutatieve algebra's in super-tannakische categorieën van karakteristiek 0 (Vraag 5.16).
  • Of de tegenvoorbeelden gevonden in superexponentiële groei verfijnd kunnen worden om onderscheid te maken tussen niet-artiaanse simpele algebra's en artiaanse simpele algebra's die niet absoluut vlak zijn (Opmerking 4.7).

Het werk biedt een rigoureuze structurele beschrijving van simpele commutatieve algebra's in deze categorieën, waarbij zij worden geïdentificeerd met de coördinatenringen van homogene ruimten $G/H$ waar $H$ een exacte subgroep is, waardoor de abstracte tensor-categorie theorie wordt verbonden met concrete algebraïsche meetkunde.