Voevodsky motives and motives with modulus in positive characteristic

1. Problema e Contexto

O artigo aborda a relação entre duas categorias trianguladas fundamentais na teoria de motivos:

1. $DM^{eff}(k)$: A categoria de motivos de Voevodsky, construída a partir de variedades suaves e baseada na invariância homotópica $\mathbb{A}^1$.
2. $MDM^{eff}(k)$: A categoria de motivos com módulo (modulus), introduzida por Kahn, Miyazaki, Saito e Yamazaki. Esta categoria estende a de Voevodsky para incluir pares de módulos $(M, M_\infty)$, onde $M$ é uma variedade e $M_\infty$ é um divisor de Cartier efetivo. O objetivo original era fornecer um quadro motivico para teorias de cohomologia que não são invariantes por $\mathbb{A}^1$ (como a cohomologia coerente).

O Problema Central:
Em característica zero, a relação entre essas categorias é complexa e depende de resoluções de singularidades. Em característica positiva $p > 0$, existe uma conjectura heurística baseada em trabalhos anteriores (especificamente de Miyazaki) de que, após inverter $p$ (ou seja, trabalhar com coeficientes racionais $\mathbb{Q}$), as multiplicidades dos divisores de módulo tornam-se "invisíveis". Ou seja, motivos associados a pares com o mesmo suporte de divisor, mas com multiplicidades diferentes, deveriam ser isomorfos.

O objetivo do artigo é provar rigorosamente que, em característica positiva e com coeficientes racionais, a categoria de motivos com módulo é equivalente à categoria de motivos de Voevodsky, sem assumir a resolução de singularidades.

2. Metodologia

A prova de Matsumoto é altamente técnica e combina ferramentas de geometria algébrica moderna e topologias de Grothendieck refinadas. Os pilares metodológicos são:

• Topologia qfh de Módulo (Modulus qfh topology): O autor utiliza o trabalho prévio de Kelly e Miyazaki sobre a topologia qfh no contexto de módulos, que permite cobrir pares de módulos por outros pares de maneira controlada.
• Teorema de Alteração Refinada (Bhatt-Snowden): O autor emprega o teorema de alteração refinada de Bhatt e Snowden. Este teorema garante a existência de alterações (mapas próprios e genericamente finitos) que transformam variedades em variedades suaves com divisores de interseção normal estrita, mantendo o comportamento finito em certas vizinhanças.
• Novo Conceito de Cobertura: O autor introduz uma nova noção chamada "interior generically finite h-covering" (cobertura h genericamente finita no interior). Esta é uma classe de coberturas mais forte que a topologia qfh padrão de Kelly-Miyazaki.
  • Propriedade Chave 1: Permite cobrir qualquer par de módulos suave por pares de módulos "log-suaves" (onde o suporte do divisor é um divisor de interseção normal estrita).
  • Propriedade Chave 2: Qualquer tal cobertura pode ser refinada, a menos de morfismos na classe $\Sigma$ (morfismos próprios que são isomorfismos no interior), por uma cobertura qfh de módulo.
• Geração Compacta: A estratégia central é demonstrar que a categoria $MDM^{eff}(k, \mathbb{Q})$ é gerada compactamente por motivos de pares log-suaves. Uma vez estabelecido isso, a equivalência com $DM^{eff}$ segue de resultados de adjunção e propriedades de geradores.

3. Principais Contribuições e Resultados

O artigo estabelece os seguintes resultados fundamentais:

Teorema 1.1 (Equivalência Principal)

Para um corpo perfeito $k$ de característica $p > 0$, o funtor de localização $\omega^{eff}: MDM^{eff}(k, \mathbb{Q}) \to DM^{eff}(k, \mathbb{Q})$ induz uma equivalência de categorias trianguladas:
$$MDM^{eff}(k, \mathbb{Q}) \simeq DM^{eff}(k, \mathbb{Q})$$
Implicação Imediata: Se $X$ é uma variedade normal própria e $D, D'$ são divisores de Cartier efetivos com o mesmo suporte tal que $X \setminus |D|$ é suave sobre $k$, então existe um isomorfismo:
$$M(X, D)_\mathbb{Q} \simeq M(X, D')_\mathbb{Q}$$
Isso confirma que, raticamente, as multiplicidades do módulo não afetam o motivo.

Teorema 1.2 (Geração Compacta)

A categoria $MDM^{eff}(k, \mathbb{Q})$ é gerada compactamente pelos motivos $M(\mathcal{M})_\mathbb{Q}$ onde $\mathcal{M}$ são pares de módulos log-suaves ($\mathcal{M} \in MSmls$). O mesmo vale para a versão própria ($MDM^{eff}$).

• Este resultado é crucial porque reduz o estudo de toda a categoria ao estudo de objetos geometricamente mais simples (log-suaves), que são mais manejáveis.

Teorema 3.7 (Teorema de Comparação)

Reafirma a equivalência do Teorema 1.1, mostrando que o funtor $\omega^{eff}$ é uma equivalência. A prova utiliza o fato de que os geradores log-suaves próprios (com divisor reduzido) são isomorfos à imagem de variedades suaves via o funtor adjunto, e como $\omega^{eff}$ é fiel e totalmente fiel, a equivalência se estende a toda a categoria.

4. Significado e Impacto

• Independência de Resoluções de Singularidades: O resultado é notável porque é provado sem assumir a resolução de singularidades, uma ferramenta que é frequentemente necessária em característica zero mas que não é garantida ou é mais complexa em característica positiva.
• Invisibilidade das Multiplicidades: O trabalho resolve uma questão aberta sobre o comportamento dos motivos com módulo em característica positiva. Ele demonstra que, ao trabalhar com coeficientes racionais, a estrutura de "módulo" (as multiplicidades dos divisores) desaparece, colapsando a categoria de motivos com módulo na categoria clássica de Voevodsky.
• Simplificação da Teoria: Para pesquisadores trabalhando em característica positiva, isso implica que, para questões racionais, não é necessário desenvolver toda a maquinaria pesada dos motivos com módulo para estudar cohomologias não-$\mathbb{A}^1$; a estrutura de Voevodsky já é suficiente.
• Conexão com Cohomologia Coerente: Embora a categoria colapse para a de Voevodsky, o trabalho valida a estrutura subjacente necessária para entender por que certas cohomologias (como a coerente) não são capturadas diretamente por motivos $\mathbb{A}^1$-invariantes sem o módulo, mas que, raticamente, a distinção de multiplicidades não é um obstáculo motivico fundamental em $p>0$.

Em resumo, Matsumoto demonstra que, em característica positiva e com coeficientes racionais, a complexidade adicional introduzida pelos motivos com módulo (especificamente as multiplicidades dos divisores) é "invisível" e a teoria se reduz à teoria de motivos de Voevodsky clássica, utilizando técnicas inovadoras de topologias de cobertura e teoremas de alteração.