Derived binomial rings I: integral Betti cohomology of log schemes

Titel: Afgeleide binomiale ringen I: Integrale Betti-cohomologie van log-schema's

1. Het Probleem

Het artikel adresseert twee fundamentele problemen in de algebraïsche topologie en de meetkunde van log-schema's:

1. Integrale Homotopietheorie: Er bestaat een behoefte aan een algebraïsch model voor de singuliere cohomologie met gehele coëfficiënten ($C^*_{sing}(-, \mathbb{Z})$) van topologische ruimten. Klassieke modellen zoals de Sullivan-approach (gebaseerd op $\mathbb{Q}$-coëfficiënten) falen voor $\mathbb{Z}$ vanwege de niet-acyclische aard van de de Rham-complexen over $\mathbb{Z}$. Bestaande modellen voor $\mathbb{Z}$-coëfficiënten zijn vaak te groot of moeilijk te hanteren.
2. Cohomologie van Log-Analytische Ruimten: Voor een log-complex analytische ruimte $(X, M)$ is de log-Betti-cohomologie gedefinieerd via de Kato-Nakayama-ruimte $X^{\log}$, een topologische ruimte die een torusvezel heeft boven elk punt. Een expliciete, "directe" formule voor de integrale cohomologie $R\Gamma_{\log}^{\text{Betti}}(X, \mathbb{Z})$ die alleen afhankelijk is van de analytische structuur van $X$ en de monoid $M$ (en niet van de hulp-ruimte $X^{\log}$), ontbreekt voor $\mathbb{Z}$-coëfficiënten. Bestaande formules (zoals die van Steenbrink) werken voornamelijk voor $\mathbb{Q}$-coëfficiënten.

2. Methodologie

De auteurs introduceren en bestuderen een afgeleide versie van de binomiale monade, genoteerd als $\mathcal{L}\text{Bin}$, op de onbegrensde afgeleide categorie $D(\mathbb{Z})$ van $\mathbb{Z}$-modulen.

• Definitie van $\mathcal{L}\text{Bin}$:

  • Ze beginnen met klassieke binomiale ringen (torsie-vrije ringen gesloten onder binomiale coëfficiënten $\binom{x}{n}$).
  • Ze definiëren een gefilterde monade $\text{Bin}_{\leq \ast}$ op de categorie van roosters (lattices) $\text{Lat}$, gebaseerd op additief polynomiale afbeeldingen.
  • Via het "animation"-proces en de theorie van polynomiale functors (volgens Raksit en Barwick-Mathew-Nikolaus) wordt deze monade uitgebreid naar de volledige afgeleide categorie $D(\mathbb{Z})$, resulterend in de afgeleide binomiale monade $\mathcal{L}\text{Bin}$.
  • De categorie van afgeleide binomiale ringen ($\text{DBinAlg}$) wordt gedefinieerd als de categorie van modules over deze monade.

• Vergelijking met andere monaden:

  • De auteurs tonen aan dat $\mathcal{L}\text{Bin}$ efficiënter werkt dan de vrije $E_\infty$-ring monade of de vrije afgeleide symmetrische monade ($\mathcal{L}\text{Sym}_{\mathbb{Z}}$) voor het modelleren van singuliere cohomologie.
  • Ze gebruiken de relatie tussen polynomiale afbeeldingen en distributies op groepschema's (specifiek het "Hilbert additieve groepschema" $H = \text{Spec}(\text{Bin}(\mathbb{Z}))$).

• Toepassing op Log-geometrie:

  • Voor een log-analytische ruimte wordt een 2-termen complex geïntroduceerd: $\text{exp}(\alpha) := [ \mathcal{O}_X \xrightarrow{\text{exp}_M} M^{\text{gp}} ]$.
  • Ze definiëren een versie van de monade $\mathcal{L}\text{Bin}_X$ op de categorie van schoven op $X$.
  • Ze bewijzen dat de pushforward $R\pi_* \mathbb{Z}$ (waar $\pi: X^{\log} \to X$) isomorf is aan de vrije co-geaugmenteerde afgeleide binomiale ring gegenereerd door $\text{exp}(\alpha)$.

3. Belangrijkste Resultaten

A. Theorie van Afgeleide Binomiale Ringen

1. Vrije Afgeleide Binomiale Ringen: De auteurs berekenen expliciet $\mathcal{L}\text{Bin}(A[n])$ voor abelse groepen $A$ geconcentreerd in één graad:

   • Coconnectief bereik ($n \leq -1$): Er is een natuurlijke equivalentie $\mathcal{L}\text{Bin}(M^\vee) \simeq C^*_{\text{sing}}(K(M), \mathbb{Z})$, waarbij $K(M)$ de veralgemeende Eilenberg-MacLane-ruimte is. Dit verbindt de algebraïsche constructie direct met de topologie.
   • Connectief bereik ($n \geq 0$): In dit bereik "instort" de interessante rekenkunde. Voor torsie-groepen $A$ en $n \geq 1$ geldt $\mathcal{L}\text{Bin}(A[n]) \simeq \mathbb{Z}$. Voor torsie-vrije groepen hangt het af van de rationalisatie.
   • Specifiek geval $A[-1]$: Voor een eindige abelse groep $A$ is $\mathcal{L}\text{Bin}(A[-1])$ 1-cotruncated. De cohomologie $H^1(\mathcal{L}\text{Bin}(A[-1]))$ wordt expliciet beschreven in termen van cyclotomische velden en Galois-acties (bijv. voor $A=\mathbb{Z}/p$).

2. Integrale Homotopietheorie:

   • De functor $X \mapsto C^*_{\text{sing}}(X, \mathbb{Z})$ induceert een volledig getrouwe inbedding van de categorie van verbonden nilpotente ruimten van eindig type naar de categorie van afgeleide binomiale ringen.
   • Dit betekent dat een dergelijke ruimte $X$ volledig gereconstrueerd kan worden uit zijn singuliere cohomologie, mits deze is uitgerust met de structuur van een afgeleide binomiale ring.

B. Toepassing op Log-Schema's

1. Formule voor Log-Betti Cohomologie:
   Voor een fs (fine and saturated) log-complex analytische ruimte $(X, M)$ met Kato-Nakayama-ruimte $\pi: X^{\log} \to X$, bewijzen ze de volgende equivalentie:
   $$R\pi_* \mathbb{Z} \simeq \mathcal{L}\text{Bin}^{\text{coaug}}_X(\text{exp}(\alpha))$$
   Hierbij is $\text{exp}(\alpha)$ het 2-termen complex $[\mathcal{O}_X \to M^{\text{gp}}]$.
   Dit leidt tot een gesloten formule voor de integrale log-Betti cohomologie:
   $$R\Gamma_{\log}^{\text{Betti}}(X, \mathbb{Z}) \simeq R\Gamma(X, \mathcal{L}\text{Bin}^{\text{coaug}}_X(\text{exp}(\alpha)))$$

2. Verlenging van Bestaande Resultaten:
   Deze formule is een integrale generalisatie van de bekende formule van Steenbrink (voor normaal kruisende divisors) en de $\mathbb{Q}$-coëfficiënten resultaten uit eerdere werken (zoals [Shu22]). Het lost het probleem op dat de vrije symmetrische algebra ($\mathcal{L}\text{Sym}$) te groot is voor $\mathbb{Z}$-coëfficiënten, terwijl de vrije binomiale algebra precies de juiste grootte heeft.

3. Geometrische Interpretatie:
   De auteurs construeren een "algebraïsche benadering" $X^{\log}_H$ van de Kato-Nakayama-ruimte als een gerbe over een coschoven van groepschema's. Ze tonen aan dat de cohomologie van deze algebraïsche structuur overeenkomt met de singuliere cohomologie van de topologische ruimte.

4. Significatie en Impact

• Nieuw Algebraïsch Model: Het artikel introduceert een krachtig nieuw algebraïsch kader (afgeleide binomiale ringen) dat de kloof overbrugt tussen de homotopietheorie van ruimten en de algebraïsche meetkunde, specifiek voor integrale coëfficiënten.
• Oplossing voor Log-geometrie: Het biedt de eerste expliciete, volledige formule voor de integrale cohomologie van log-analytische ruimten, wat essentieel is voor het bestuderen van degeneraties van variëteiten en periodieke verschijnselen in de arithmetische meetkunde.
• Verbinding met Hoge Stacks: De resultaten verbinden singuliere cohomologie met de cohomologie van structuur-sheaves op hogere stacken (zoals $K(H, n)$), wat nieuwe inzichten biedt in de relatie tussen topologische data en algebraïsche data (zoals de isomorfisme tussen $H^*(K(\mathbb{Z}, 3), \mathbb{Z})$ en de coherente cohomologie van $B G_a$).
• Toekomstperspectief: De auteurs suggereren dat deze methode kan leiden tot een motivische lift van log-structuren en verdere generalisaties in de context van prismaatische cohomologie en $\delta$-ringen.

Kortom, dit werk levert een fundamentele bijdrage aan het begrijpen van de algebraïsche structuur van integrale cohomologie en biedt een krachtig gereedschap voor de studie van log-schema's.