Log motivic Gysin isomorphisms

Technische Samenvatting: Log Motivische Gysin-isomorfismen

Probleemstelling
Het artikel behandelt de constructie van Gysin-isomorfismen binnen de axiomatische motivische setting voor fijne en verzadigde (fs) log-schema's. Terwijl Morel en Voevodsky Gysin-isomorfismen voor gladde schema's in de $\mathbb{A}^1$-homotopietheorie hebben vastgesteld, vormt de uitbreiding naar fs log-schema's een fundamentele obstructie: voor een gesloten immersie $Z \to X$ van log-schema's bestaat het open complement $X - Z$ niet noodzakelijkerwijs binnen de categorie van fs log-schema's als de immersie niet strikt is.

Eerdere pogingen om dit op te lossen involveerden lokale log-blow-ups om striktheid te bereiken, maar deze aanpak miste globale functorialiteit en vereiste complexe Zariski-bedekkingen. Het artikel streeft ernaar een natuurlijke isomorfie te formuleren:
$$\Sigma^\infty(X/X - Z) \simeq \Sigma^\infty(N_Z X / N_Z X - Z)$$
in de motivische stabiele homotopiecategorie $SH(S)$, zelfs wanneer $Z \to X$ een niet-strikte gesloten immersie is.

Methodologie
De auteur maakt gebruik van de theorie van verdeelde log-ruimtes (divided log spaces), ontwikkeld in eerder werk [15], om de beperkingen van de categorie van fs log-schema's te overwinnen.

1. Verdeelde log-ruimtes: Het artikel maakt gebruik van de categorie $lSpc/B$ van verdeelde log-ruimtes over een basis $B$. Dit zijn verdeelde Zariski-sheaves op de categorie van fs log-schema's ($lSch/B$) die axioma's bevredigen die geïnspireerd zijn door algebraïsche ruimtes. Cruciaal is dat in $lSpc/B$ het open complement van een gesloten immersie altijd bestaat, en log-gladde morfismen welgedefinieerde blow-ups en normale bundels bezitten.
2. Extensie van motieven: De stabiele motivische homotopiecategorie $SH$ (of een algemene sheaf van presenteerbare symmetrische monoidale $\infty$-categorieën $\mathcal{T}$) wordt uitgebreid van $lSch/B$ naar $lSpc/B$. Deze extensie berust op de equivalentie van $\infty$-categorieën van sheaves op $lSch/B$ en $lSpc/B$ (Propositie 2.2.1) en maakt gebruik van de techniek van partiële adjointen (Liu-Zheng [7]) om het zes-functor-formalisme (existentie van $f^\sharp$, base change, projectieformule) voor log-gladde morfismen in $lSpc/B$ vast te stellen.
3. Deformatie naar de normale kegel: De kerntechnische tool is de constructie van de deformatie naar de normale kegel (deformation to the normal cone), aangepast aan verdeelde log-ruimtes. Het bewijs reduceert het algemene geval tot het geval van strikte gesloten immersies in log-gladde schema's door:
   • Zariski-bedekkingen te gebruiken om te reduceren tot log-schema's die fan-charts bezitten.
   • Een base change toe te passen langs een log-gladde morfisme $g: S' \to S$ (geconstrueerd via verzadigingseigenschappen in §3.3) zodanig dat de pullback-functor conservatief is en het resulterende morfisme verzadigd is.
   • Het concept van pans (rooster-subsets afgeleid van fans) en hun subdivisies te gebruiken om de combinatorische aspecten van de log-structuren te behandelen.

Belangrijkste Bijdragen en Resultaten

1. Log Gysin-isomorfisme (Theorem 3.4.1): Het artikel stelt een natuurlijke isomorfie vast in $\mathcal{T}(S)$ voor elke gesloten immersie $Z \to X$ van log-gladde verdeelde log-ruimtes:
   $$M_S(X/X - Z) \simeq M_S(N_Z X / N_Z X - Z)$$
   Dit resultaat houdt stand zonder de vereiste dat de immersie strikt moet zijn, waarbij het existentieprobleem van het open complement wordt opgelost via verdeelde log-ruimtes.

2. Thom-transformaties (Theorem 4.2.5): Als directe toepassing bewijst het artikel dat de Thom-transformatie $Th(p, a) := p^\sharp a^*$ een equivalentie van $\infty$-categorieën is voor elke log-gladde morfisme $p: X \to S$ met een sectie $a: S \to X$ die een gesloten immersie is. Dit generaliseert de klassieke Thom-isomorfie naar de log-setting.

3. Zuiverheid voor niet-strikte morfismen (Theorem 5.2.11): Het artikel onderzoekt de "zuiverheid" (purity) van morfismen, gedefinieerd door de isomorfie $f^\sharp \simeq f^* \Sigma_f$ (waarbij $\Sigma_f$ de zuiverheidstransformatie is). Hoewel zuiverheid bekend is voor strikte gladde morfismen, bewijst het artikel dat specifieke niet-strikte propere morfismen van fs log-schema's puur zijn.

   • Specifiek demonstreert Theorem 1.4.2 dat de projectie $f: W \times_{\mathbb{A}^1} S \to S$ puur is, waarbij $W$ een specifieke compactificatie is van $\mathbb{A}^2_{\mathbb{N}} \to \mathbb{A}^1_{\mathbb{N}}$, geconstrueerd door het samenvoegen van specifieke log-schema's ($V_1, V_2, V_3$).
   • Dit resultaat berust op een gedetailleerde analyse van cofiber-sequenties betrokken bij open en gesloten immersies binnen het geconstrueerde log-schema $W$.

Betekenis en Claims
Het artikel claimt dat deze resultaten de noodzakelijke fundamentele bouwstenen vormen voor het motivische zes-functor-formalisme voor fs log-schema's.

• De Gysin-isomorfie en de zuiverheid van specifieke niet-strikte morfismen worden beschreven als essentieel voor het vestigen van het volledige zes-functor-formalisme in latere werken [16] en [18].
• Het gebruik van verdeelde log-ruimtes maakt een verenigde behandeling van strikte en niet-strikte morfismen mogelijk, waardoor de technische complicaties van lokale blow-ups worden vermeden en functorialiteit wordt gewaarborgd.
• Het werk breidt de reikwijdte van de motivische homotopietheorie uit om de rijke geometrie van log-schema's te omvatten, in het bijzonder die voortvloeien uit compactificaties en torische inbeddingen, waar niet-strikte morfismen veel voorkomen.

De auteur merkt expliciet op dat dit artikel een voortzetting is van [17] en zich richt op het construeren van deze isomorfieën en transformaties binnen het axiomatische kader, waarbij de volledige ontwikkeling van het zes-functor-formalisme wordt uitgesteld aan toekomstige publicaties.