Poincaré duality in logarithmic motivic homotopy theory

Resumo Técnico: Dualidade de Poincaré na Teoria Homotópica Motívica Logarítmica

1. O Problema e o Contexto

A teoria homotópica motívica (SH) e suas variantes (como $DM$) fornecem um quadro unificado para cohomologias de variedades algébricas. A Dualidade de Poincaré é um resultado fundamental que estabelece que, para morfismos suaves e projetivos $f: X \to S$, o motivo $M_S(X)$ é dualizável, com o dual dado por um espaço de Thom invertido associado ao feixe de formas diferenciais $\Omega^1_{X/S}$.

No entanto, a teoria homotópica motívica clássica ($SH$) é **$\mathbb{A}^1$-invariante**. Isso significa que ela não consegue representar adequadamente certas teorias de cohomologia não-invariantes por $\mathbb{A}^1$, como a cohomologia de Hodge, a cohomologia cíclica topológica e a cohomologia prismática.

Para abordar essas teorias, foi desenvolvida a Teoria Homotópica Motívica Logarítmica ($logSH$), introduzida por Binda, Park e Østvær. Esta teoria lida com esquemas logarítmicos (esquemas com "fronteiras" ou divisores) e permite representar teorias de cohomologia que não são $\mathbb{A}^1$-invariantes.

O problema central abordado neste artigo é a ausência de uma prova geral da Dualidade de Poincaré no contexto de $logSH$. Embora Annala, Hoyois e Iwasa tenham provado tal dualidade para sua categoria de espectros motivicos ($MS$), sua prova dependia da existência de morfismos de Gysin de Tang com certas propriedades de naturalidade que, no momento, não estavam disponíveis no contexto logarítmico. Park busca estabelecer essa dualidade em $logSH$ de forma independente dessas ferramentas não disponíveis, utilizando as ferramentas específicas da geometria logarítmica.

2. Metodologia

O autor adota uma abordagem axiomática e construtiva, generalizando os argumentos de Annala-Hoyois-Iwasa para o ambiente logarítmico. Os pilares metodológicos incluem:

• Quadro Axiomático ($T$): O trabalho é desenvolvido em uma categoria $\infty$-estável simétrica monoidal $T$ que satisfaz condições específicas (invariancia por $P^1$, invariancia por recobrimentos divididos "div", fórmula de base mudada, etc.). O exemplo principal é $logSH_{sat}$, a categoria de espectros motivicos logarítmicos saturados.
• Morfismos de Gysin Logarítmicos: Em vez de depender dos morfismos de Gysin de Tang (que exigem naturalidade forte não disponível), Park utiliza os morfismos de Gysin logarítmicos construídos por Binda-Park-Østvær. Ele prova uma versão mais fraca de naturalidade (Teorema 5.5) que é suficiente para os propósitos da dualidade.
• Espaços de Thom e Inversibilidade: O autor generaliza a noção de espaços de Thom para esquemas logarítmicos arbitrários e prova a invertibilidade desses espaços no contexto logarítmico (Proposição 3.3 e 3.5).
• Sequências de Gysin e Blowing-up: A prova utiliza extensivamente sequências de cofibrações (sequências de Gysin) e a análise de quadrados de "blowing-up" (explosão) suaves. O Teorema 9.3 estabelece que a dualidade de Poincaré se propaga através de quadrados de explosão: se vale para três cantos de um quadrado de explosão suave, vale para o quarto.
• Traces Ciclotômicos Logarítmicos: Para conectar a dualidade com a cohomologia cristalina, o autor utiliza o trace ciclotômico logarítmico (construído em trabalhos anteriores [21, 22]), que permite ver a cohomologia cristalina como um módulo sobre o espectro da esfera localizado por $\mathbb{A}^1$ no contexto logarítmico.

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas principais (Teoremas A, B e C):

• Teorema A (Dualidade de Poincaré em $logSH$):
  Para qualquer morfismo projetivo suave $f: X \to S$ de esquemas logarítmicos, o functor $f^\sharp$ (pushforward com suporte compacto) é equivalente a $f_* \Sigma \Omega^1_f$.
  $$f^\sharp \simeq f_* \Sigma \Omega^1_f$$
  Isso implica que o motivo $M_S(X)$ é dualizável com dual $\text{Th}^{-1}_X(\Omega^1_f)$. Este resultado aplica-se a teorias de cohomologia não-$\mathbb{A}^1$-invariantes que admitem extensões logarítmicas adequadas (ex: cohomologia de Hodge, cohomologia prismática).

• Teorema B (Dualidade de Lefschetz Motívica):
  Estabelece uma versão motivica da dualidade de Lefschetz para variedades com fronteira. Se $Z \hookrightarrow X$ é uma imersão fechada de esquemas suaves projetivos, o motivo relativo $\Sigma^\infty X/Z$ é dualizável. O dual é dado por $\text{Th}^{-1}_{(X,Z)}(\Omega^1_{(X,Z)/S})$, onde $(X,Z)$ é o esquema logarítmico suave associado com fronteira $Z$.
  Este resultado é crucial para provar a estabilidade da dualidade sob operações de explosão (Teorema 9.3).

• Teorema C (Independência da Compactificação Logarítmica):
  Para um corpo perfeito $k$ de característica $p > 0$, o autor constrói um feixe de complexos $R\Gamma^{lc}_{crys}$ na categoria de esquemas sobre $k$ tal que:
  $$R\Gamma^{lc}_{crys}(X - \partial X) \simeq R\Gamma_{crys}(X)$$
  para todo esquema logarítmico suave projetivo $X$ sobre $k$.
  Isso prova que a cohomologia cristalina de uma compactação logarítmica é independente da escolha da compactação, generalizando resultados anteriores que dependiam de resolução de singularidades e fatorização fraca.

4. Resultados Secundários e Técnicas

• Falha da Propriedade de Localização: O autor demonstra que a propriedade de localização (que afirma que $j_! j^* \to \text{id} \to i_* i^*$ é uma sequência de fibra) falha em $logSH$ para imersões fechadas não abertas de esquemas suaves (Proposição 11.2). Isso ocorre porque $logSH$ contém teorias não-invariantes por nilpotência (como a cohomologia de Hodge), ao contrário de $SH$.
• Compatibilidade com Composições: O Teorema 5.5 prova que os morfismos de Gysin logarítmicos são compatíveis com composições de imersões fechadas, uma peça técnica essencial para a prova da dualidade.
• Módulos sobre $\omega^* \mathbb{1}$: O artigo explora a estrutura de módulos sobre o espectro da esfera localizado por $\mathbb{A}^1$ ($\omega^* \mathbb{1}$) no contexto logarítmico, mostrando que espectros como $logTC$ (Topological Cyclic Homology logarítmica) são módulos sobre este espectro.

5. Significado e Impacto

Este trabalho é fundamental para a consolidação da Teoria Homotópica Motívica Logarítmica como uma ferramenta robusta para a geometria algébrica moderna.

1. Unificação de Teorias de Cohomologia: Ao provar a Dualidade de Poincaré em $logSH$, o autor unifica o tratamento de teorias de cohomologia clássicas (como a de Weil) e teorias modernas de característica $p$ (como a cohomologia prismática e sintomática) sob um único princípio de dualidade.
2. Resolução de Problemas Abertos: O Teorema C resolve uma questão aberta sobre a independência da cohomologia cristalina em relação à compactação logarítmica, sem depender de hipóteses fortes como resolução de singularidades (que não são válidas em característica $p$ para todos os esquemas).
3. Novas Ferramentas: A introdução e o uso sistemático de morfismos de Gysin logarítmicos e a análise de dualidade em esquemas com fronteira abrem caminho para novos estudos em geometria aritmética e teoria de motivos.
4. Limites da Teoria: A demonstração da falha da propriedade de localização em certos contextos esclarece os limites e as diferenças estruturais entre a teoria motivica clássica e a logarítmica.

Em suma, o artigo estabelece que $logSH$ é um $\infty$-categoria bem-comportada equipada com ferramentas poderosas (Gysin logarítmicos e traces ciclotômicos) que permitem estender resultados profundos da geometria algébrica clássica para o domínio logarítmico e não-$\mathbb{A}^1$-invariante.