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

Resumo Técnico: Teoria de Homotopia $\mathbb{A}^1$ de Esquemas Logarítmicos

Enunciado do Problema
O artigo aborda a construção de uma categoria de homotopia motivica estável para esquemas logarítmicos finos e saturados (fs) que satisfaça o formalismo dos seis funtores de Grothendieck. Trabalhos anteriores de Park, Ayoub e outros estabeleceram um arcabouço para motivos logarítmicos (denotados por $\log DM(k)$ e $\log SH(S)$) onde o intervalo $\square := (\mathbb{P}^1, \infty)$ é invertido em vez da reta afim $\mathbb{A}^1$. Este cenário não-$\mathbb{A}^1$-invariante estabeleceu com sucesso teorias de cohomologia como a cohomologia de Hodge e a cohomologia de Hochschild topológica logarítmica, mas falha em satisfazer a propriedade de localização. Especificamente, para uma imersão fechada estrita $i$ e seu complemento aberto $j$, a sequência $j_\sharp j^* \to \text{id} \to i_* i_*$ não é uma sequência de cofibra, e $i_*$ não é totalmente fiel. Essa falha impede a derivação do formalismo dos seis funtores, que é essencial para construir funtores de ciclos próximos motivicos e computar a cohomologia de fronteiras.

Metodologia
O autor constrói uma nova $\infty$-categoria motivica estável, denotada $SH(X)$, para esquemas logarítmicos fs $X$ ao inverter $\mathbb{A}^1$ enquanto retém características log-geométricas específicas. A construção procede da seguinte forma:

1. Restrição a Estruturas Logarítmicas de Zariski: A teoria é desenvolvida para esquemas fs com estruturas logarítmicas de Zariski (onde o feixe de monoides é um feixe de Zariski). O autor observa que isso não é uma perda de generalidade devido ao resultado de Niziol, que garante que qualquer esquema log fs admite um blow-up logarítmico com uma estrutura log de Zariski.
2. Fronteiras Verticais: Um conceito central introduzido é a "fronteira vertical" $\partial_S X$ de um morfismo log suave $f: X \to S$. Esta é o conjunto de pontos onde o mapa de monoides $M_{S,f(x)} \to M_{X,x}$ não é vertical. O complemento $X - \partial_S X$ representa a parte "vertical" do esquema logarítmico.
3. Funtores de Localização: A categoria $SH(X)$ é construída começando pela $\infty$-categoria de feixes de Nisnevich divididos sobre esquemas log suaves sobre $X$ ($lSm/X$) e aplicando uma dupla localização:
   • Localização $\mathbb{A}^1$: Invertendo as projeções $X \times \mathbb{A}^1 \to X$.
   • Localização Vertical ($ver$): Invertendo imersões abertas $j: U \to V$ em $lSm/X$ tais que o mapa induzido nos complementos das fronteiras verticais, $U - \partial_X U \to V - \partial_X V$, é um isomorfismo.
4. Comparação com a Teoria Clássica: Para um esquema $S$ com estrutura log trivial, o autor prova que a nova categoria $SH(S)$ é equivalente à construção original de Morel-Voevodsky. Isso é alcançado mostrando que, na presença de $\mathbb{A}^1$-invariância, inverter a classe $ver$ é equivalente a inverter a classe de imersões abertas $U - \partial U \to U$.

Principais Contribuições e Resultados

• Construção de $SH(X)$: O artigo define a $\infty$-categoria motivica estável $SH(X)$ e suas variantes abelianas $DA(X, \Lambda)$ para esquemas fs. Estabelece que, para esquemas com estruturas log triviais, isso recupera as categorias clássicas de Morel-Voevodsky.
• A Propriedade de Localização: O principal resultado técnico é a prova de que as categorias construídas satisfazem a propriedade de localização. Para uma imersão fechada estrita $i: Z \to S$ com complemento aberto $j: U \to S$, a sequência
  $$j_\sharp j^* F \xrightarrow{ad'} F \xrightarrow{ad} i_* i_* F$$
  é uma sequência de cofibra em $SH(S)$ (e categorias relacionadas), e $i_*$ é totalmente fiel.
• Formalismo dos Seis Funtores: Como consequência direta da propriedade de localização, o artigo estabelece o formalismo de Grothendieck dos seis funtores ($f^*, f_*, f_!, f^!, \otimes, \underline{Hom}$) para morfismos estritos de esquemas fs, baseando-se no trabalho fundamental de Ayoub e Cisinski-Déglise.
• Cohomologia de Fronteiras: O autor deriva uma sequência longa canônica para a cohomologia de um esquema log fs $X$ log suave sobre uma base $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$$
  Isso expressa a cohomologia da fronteira $\partial X$ em termos da cohomologia do esquema subjacente $X - \partial X$.
• Extensão de Teorias de Cohomologia: O arcabouço permite definir teorias de cohomologia $\mathbb{A}^1$-invariantes para esquemas log fs, incluindo:
  • Cohomologia motivica $H^p_M(X, \Lambda(q))$
  • K-teoria de homotopia $KHP(X)$
  • Cobordismo algébrico $MGL^{p,q}(X)$
• Computações Explícitas: O artigo fornece computações explícitas para a cohomologia do ponto log padrão $pt_{\mathbb{N}, B}$ e relaciona a cohomologia de $\partial X$ ao tipo de homotopia estável no infinito de $X - \partial X$, conectando a teoria ao trabalho de Dubouloz-Déglise-Østvær e Levine.

Significância
O artigo afirma iniciar o estudo do formalismo de Grothendieck dos seis funtores para esquemas fs dentro de um cenário $\mathbb{A}^1$-invariante. Ao inverter $\mathbb{A}^1$ e a classe específica de morfismos $ver$, o autor resolve a obstrução (a falha da propriedade de localização) presente na teoria motivica logarítmica não-$\mathbb{A}^1$-invariante. Isso permite a aplicação de poderosas ferramentas motivicas à geometria logarítmica, especificamente facilitando a construção de funtores de ciclos próximos motivicos que se comportam bem em características positivas e mistas. O trabalho serve como um "reboot" da tese do autor, refinando a estratégia de inversão para garantir a computabilidade enquanto retém o formalismo necessário. Os resultados lançam as bases para artigos subsequentes da série que desenvolvem mais profundamente o formalismo dos seis funtores e aplicam-no a problemas geométricos específicos.