$\mathbb{A}^1$-homotopy theory of log schemes

Technische Samenvatting: A¹-Homotopietheorie van Log-schema's

Probleemstelling
Het artikel behandelt de constructie van een stabiele motivische homotopie-categorie voor fine en verzadigde (fs) log-schema's die een Grothendieck zes-functor-formalisme bevredigt. Voorgaand werk door Park, Ayoub en anderen vestigde een raamwerk voor log-motieven (aangeduid als $\log DM(k)$ en $\log SH(S)$) waarbij het interval $\square := (\mathbb{P}^1, \infty)$ wordt geïnverteerd in plaats van de affiene lijn $\mathbb{A}^1$. Deze niet-$\mathbb{A}^1$-invariante setting integreert succesvol cohomologie-theorieën zoals Hodge-cohomologie en logaritmische topologische Hochschild-homologie, maar faalt in het voldoen aan de lokalisatie-eigenschap. Specifiek voor een strikte gesloten immersie $i$ en haar open complement $j$, is de sequentie $j_\sharp j^* \to \text{id} \to i_* i_*$ geen cofibere-sequentie, en is $i_*$ niet volledig trouw (fully faithful). Dit falen verhindert de afleiding van het Grothendieck zes-functor-formalisme, wat essentieel is voor het construeren van motivische nabijgelegen cycli-functoren en het berekenen van de cohomologie van randen.

Methodologie
De auteur construeert een nieuwe stabiele motivische $\infty$-categorie, aangeduid als $SH(X)$, voor fs log-schema's door $\mathbb{A}^1$ te inverteren terwijl specifieke log-geometrische kenmerken behouden blijven. De constructie verloopt als volgt:

1. Beperking tot Zariski Log-structuren: De theorie wordt ontwikkeld voor fs log-schema's met Zariski log-structuren (waarbij de monoid-sheaf een Zariski-sheaf is). De auteur merkt op dat dit geen verlies van algemeenheid is vanwege het resultaat van Niziol, dat garandeert dat elk fs log-schema een log-blow-up met een Zariski log-structuur toelaat.
2. Verticale Randen: Een centraal concept dat wordt geïntroduceerd is de "verticale rand" $\partial_S X$ van een log-gladde morfisme $f: X \to S$. Dit is de verzameling punten waar de afbeelding van monoiden $M_{S,f(x)} \to M_{X,x}$ niet verticaal is. Het complement $X - \partial_S X$ representeert het "verticale" deel van het log-schema.
3. Lokalisatiefunctoren: De categorie $SH(X)$ wordt geconstrueerd door te beginnen met de $\infty$-categorie van dividing Nisnevich sheaves op log-gladde schema's over $X$ ($lSm/X$) en een dubbele lokalisatie toe te passen:
   • $\mathbb{A}^1$-lokalisatie: Inverteren van projecties $X \times \mathbb{A}^1 \to X$.
   • Verticale Lokalisatie ($ver$): Inverteren van open immersies $j: U \to V$ in $lSm/X$ zodanig dat de geïnduceerde afbeelding op de complementen van verticale randen, $U - \partial_X U \to V - \partial_X V$, een isomorfisme is.
4. Vergelijking met Klassieke Theorie: Voor een schema $S$ met de triviale log-structuur bewijst de auteur dat de nieuwe categorie $SH(S)$ equivalent is aan de oorspronkelijke Morel-Voevodsky constructie. Dit wordt bereikt door aan te tonen dat in aanwezigheid van $\mathbb{A}^1$-invariantie, het inverteren van de klasse $ver$ equivalent is aan het inverteren van de klasse van open immersies $U - \partial U \to U$.

Belangrijkste Bijdragen en Resultaten

• Constructie van $SH(X)$: Het artikel definieert de stabiele motivische $\infty$-categorie $SH(X)$ en haar abelse varianten $DA(X, \Lambda)$ voor fs log-schema's. Het stelt vast dat voor schema's met triviale log-structuren dit de klassieke Morel-Voevodsky categorieën herstelt.
• De Lokalisatie-eigenschap: Het primaire technische resultaat is het bewijs dat de geconstrueerde categorieën de lokalisatie-eigenschap bevredigen. Voor een strikte gesloten immersie $i: Z \to S$ met open complement $j: U \to S$, is de sequentie
  $$j_\sharp j^* F \xrightarrow{ad'} F \xrightarrow{ad} i_* i_* F$$
  een cofibere-sequentie in $SH(S)$ (en gerelateerde categorieën), en is $i_*$ volledig trouw.
• Zes-Functor-Formalisme: Als direct gevolg van de lokalisatie-eigenschap vestigt het artikel het Grothendieck zes-functor-formalisme ($f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$) voor strikte morfismen van fs log-schema's, leunend op het fundamentele werk van Ayoub en Cisinski-Déglise.
• Cohomologie van Randen: De auteur leidt een canonieke lange exacte sequentie af voor de cohomologie van een fs log-schema $X$ log-glad over een basis $B$:
  $$\cdots \to E^{p,q}(X) \to E^{p,q}(X - \partial X) \oplus E^{p,q}(\partial X) \to E^{p,q}(\partial X) \to E^{p+1,q}(X) \to \cdots$$
  Dit drukt de cohomologie van de rand $\partial X$ uit in termen van de cohomologie van het onderliggende schema $X - \partial X$.
• Uitbreiding van Cohomologie-theorieën: Het raamwerk maakt het mogelijk om $\mathbb{A}^1$-invariante cohomologie-theorieën te definiëren voor fs log-schema's, waaronder:
  • Motivische cohomologie $H^p_M(X, \Lambda(q))$
  • Homotopie K-theorie $KHP(X)$
  • Algebraïsche cobordisme $MGL^{p,q}(X)$
• Expliciete Berekeningen: Het artikel biedt expliciete berekeningen voor de cohomologie van het standaard log-punt $pt_{\mathbb{N}, B}$ en relateert de cohomologie van $\partial X$ aan het stabiele homotopietype in de oneindigheid van $X - \partial X$, waarmee het werk wordt verbonden met het werk van Dubouloz-Déglise-Østvær en Levine.

Betekenis
Het artikel beweert de studie van het Grothendieck zes-functor-formalisme voor fs log-schema's binnen een $\mathbb{A}^1$-invariante setting te initiëren. Door $\mathbb{A}^1$ en de specifieke klasse van morfismen $ver$ te inverteren, lost de auteur de obstructie op (het falen van de lokalisatie-eigenschap) die aanwezig is in de niet-$\mathbb{A}^1$-invariante log-motivische theorie. Dit maakt het mogelijk om krachtige motivische instrumenten toe te passen op log-geometrie, specifiek het faciliteren van de constructie van motivische nabijgelegen cycli-functoren die goed gedragen in positieve en gemengde karakteristieken. Het werk dient als een "reboot" van de thesis van de auteur, waarbij de inversiestrategie wordt verfijnd om berekenbaarheid te garanderen terwijl het noodzakelijke formalisme behouden blijft. De resultaten leggen de basis voor opvolgende artikelen in de serie die het zes-functor-formalisme verder ontwikkelen en toepassen op specifieke geometrische problemen.