On Dual Algebras of Hopf Algebroids

Titel: Over Dual Algebras van Hopf Algebroiden

Auteur: Jingbang Guo
Datum: 26 februari 2026

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem in de algebraïsche meetkunde en topologische homotopietheorie: het begrijpen van comodules over een Hopf algebroid $(A, \Gamma)$ als modulen over een corresponderende "dual algebra" $\Gamma^\vee$.

Hopf algebroiden ontstaan natuurlijk in de studie van stacks (geometrische objecten die lokale affiene dekkingen hebben) en spelen een cruciale rol in berekeningen van topologische cyclische homologie ($TC$) en $p$-adische cohomologietheorieën. Traditioneel worden objecten op deze stacks beschreven als quasi-coherente sheaves, wat algebraïsch correspondeert met $\Gamma$-comodules. De auteur stelt echter dat het vaak nuttiger is om deze structuren te vertalen naar het domein van modulen over een dual algebra, omdat de theorie van modulen (vooral met projectieve resoluties) vaak meer geavanceerde gereedschappen biedt dan die van comodules.

De kernuitdaging ligt in het feit dat de dual algebra $\Gamma^\vee = \text{Hom}_{A, \eta_L}(\Gamma, A)$ in het algemeen niet-discrete topologische ringen zijn (bijvoorbeeld profinite ringen of ringen met de compact-open topologie). Dit vereist een zorgvuldige behandeling van continuïteit en topologische tensorproducten om een equivalente categorie-theorie te kunnen opbouwen.

2. Methodologie

De auteur hanteert een algebraïsche en categorische benadering, waarbij de volgende methodologische stappen worden doorlopen:

1. Definitie van de Dual Algebra:
   Voor een Hopf algebroid $(A, \Gamma)$, waarbij $\Gamma$ een vrij $A$-module is met een tellbare basis (via de linkereenheid $\eta_L$), wordt de dual algebra gedefinieerd als:
   $$\Gamma^\vee := \text{Hom}_{A, \eta_L}(\Gamma, A)$$
   De algebra-structuur wordt bepaald door de comultiplicatie $\Delta$ van het Hopf algebroid. De vermenigvuldiging in $\Gamma^\vee$ is de compositie van functies via $\Delta$.

2. Topologische Structuur:
   De dual algebra wordt uitgerust met de compact-open topologie (waarbij $A$ discreet is). De auteur benadrukt dat $\Gamma^\vee$ een topologische ring is en dat de actie op een comodule moet worden gezien als een continue actie.

3. Categorie-equivalentie:
   Het centrale technische resultaat is het bewijzen van een equivalentie van categorieën tussen:

   • De categorie van rechtse $\Gamma$-comodules ($R\text{CoMod}_\Gamma$).
   • De categorie van discrete linkse $\Gamma^\vee$-modulen met continue actie ($Mod^\text{d}_{\Gamma^\vee}$).

4. Behandeling van Profinite Ringen:
   Voor het geval $A$ een eindige ring is, is $\Gamma^\vee$ een profiniete ring. De auteur maakt gebruik van de theorie van profinite en discrete modulen over profinite ringen, inclusief Pontryagin-dualiteit en de beschikbare homologische algebra (projectieve/injectieve resoluties) in deze context.

5. Solid Abelian Groups:
   De auteur suggereert dat voor een volledige theoretische onderbouwing (vooral voor tensorproducten en symmetrische monoidale structuren), de theorie van solid abelian groups (zoals ontwikkeld door Scholze en Clausen) noodzakelijk is om de "co-multiplicatie" van de dual algebra correct te definiëren.

3. Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Theorema 2.22):
  Er bestaat een equivalentie van categorieën:
  $$R\text{CoMod}_\Gamma \xrightarrow{\sim} Mod^\text{d}_{\Gamma^\vee}$$
  Hierbij wordt een $\Gamma$-comodule $M$ met structuurafbeelding $\psi_M: M \to M \otimes_A \Gamma$ geassocieerd met een $\Gamma^\vee$-module via de actie $D \cdot m = (\text{id}_M \otimes D)(\psi_M(m))$. Dit resultaat maakt het mogelijk om problemen over comodules te vertalen naar problemen over modulen over een topologische ring.

• Functorialiteit (Sectie 3):
  De auteur analyseert hoe morfismen tussen Hopf algebroiden vertalen naar de dual algebra. Hoewel een morfisme van Hopf algebroiden niet direct een morfisme van dual algebras induceert, kan het worden gefactoriseerd via een "equivalent" Hopf algebroid (via een basisverandering $A \to B$). Dit leidt tot een functor tussen de categorieën van dual modulen, wat de pullback van quasi-coherente sheaves op stacks correspondeert.

• Symmetrische Monoidale Structuur (Sectie 4):
  De tensorproductstructuur op $\Gamma$-comodules correspondeert met een "co-multiplicatie" op $\Gamma^\vee$. De auteur merkt op dat dit een tensorproduct vereist van topologische abelse groepen (bijv. het "solid tensor product") om de symmetrische monoidale structuur op de kant van de dual algebra correct te definiëren.

• Toepassing op Cohomologie en Resoluties (Sectie 5 & 6):

  • Voor profinite ringen $\Lambda$ (waarbij $\Gamma^\vee$ een voorbeeld is), kunnen Ext-groepen $\text{Ext}_{\Gamma^\vee}(M, N)$ worden berekend via projectieve resoluties van profinite modulen of injectieve resoluties van discrete modulen.
  • Voorbeeld: In het geval van prismatic cohomology (gebaseerd op $Z_p[[q-1]]$), wordt de dual algebra gegenereerd door een operator $\nabla_q$ die voldoet aan een specifieke commutatierelatie. De auteur toont aan dat een resolutie van $A$ als $\Gamma^\vee$-module leidt tot een tweetermige complex die de cohomologie berekent, wat overeenkomt met bekende resultaten in de literatuur (bijv. [4], [2]).

• Dualiserend Object:
  De auteur introduceert het idee van het dualiserend object $\omega := R\text{Hom}_{\Gamma^\vee}(A, \Gamma^\vee)$. In specifieke voorbeelden (zoals de prismatic case) wordt aangetoond dat dit object gerelateerd is aan differentiaalvormen ($\Omega^1$), wat een diepe connectie legt tussen de dual algebra en de geometrie van de onderliggende stack.

4. Significatie en Toekomstperspectief

• Algebraïsche Vertaling: Het artikel biedt een krachtig algebraïsch raamwerk om de "geometrische" taal van stacks en comodules om te zetten in de "lineaire" taal van modulen over topologische ringen. Dit is cruciaal voor expliciete berekeningen in topologische homotopietheorie (zoals $TC$ en $TP$).
• Verbinding met Solid Mathematics: De auteur benadrukt dat de volledige theorie van dual algebras van Hopf algebroiden waarschijnlijk het beste wordt begrepen binnen de context van solid abelian groups. Dit opent de deur naar het gebruik van geavanceerde technieken uit de $p$-adische Hodge-theorie en de theorie van diamonds.
• Berekeningen van Topologische Cyclische Homologie: Het artikel is oorspronkelijk gemotiveerd door de berekening van $TC$ voor ringen van gehele getallen van lokale velden. De methode van dual algebras biedt een systematische manier om deze berekeningen uit te voeren via projectieve resoluties in de categorie van modulen, in plaats van direct met de complexere comodule-structuren te werken.

Conclusie:
Guo's werk legt een brug tussen de theorie van Hopf algebroiden en de theorie van topologische modulen. Door de dual algebra $\Gamma^\vee$ te introduceren en de equivalentie met discrete modulen te bewijzen, biedt het artikel een nieuw perspectief voor het bestuderen van cohomologie op stacks, met name in de context van $p$-adische meetkunde en topologische cyclische homologie. De noodzaak van een "solid" theoretische onderbouwing voor tensorproducten en dualiserende objecten markeert een belangrijke richting voor toekomstig onderzoek.