Comparison of Motivic Homotopy Theories

Este artigo constrói funtores de comparação entre categorias duais de teorias de homotopia motivic (invariantes e não invariantes sob $\mathbb{A}^1$) e categorias de motivos localizantes, demonstrando que, sobre um corpo que admite resolução de singularidades, o functor fatorado no caso invariante é plenamente fiel, ao contrário do caso não invariante.

O essencial

Imagine que você é um arquiteto tentando entender a estrutura de duas cidades muito diferentes, mas que compartilham o mesmo terreno.

A tese de Tianjian Tan é como um mapa de comparação entre essas duas "cidades" matemáticas. Vamos simplificar os conceitos usando analogias do dia a dia.

1. As Duas Cidades (SH e MS)

Primeiro, precisamos entender o que são essas cidades:

• A Cidade SH (A Versão "Suavizada"): Imagine uma cidade onde todas as estradas retas são consideradas iguais. Se você tem uma estrada reta e estica ou encolhe ela, ela continua sendo a mesma estrada. Na matemática, isso é chamado de invariância $A^1$. É como se o tempo e o espaço fossem "elásticos" de uma forma muito específica. Esta é a cidade clássica de Morel e Voevodsky.
• A Cidade MS (A Versão "Realista"): Agora, imagine uma cidade onde as estradas são rígidas. Se você estica uma estrada, ela muda. Aqui, não ignoramos a geometria "rígida". É uma versão mais complexa e menos "suavizada" da matemática, construída por Annala, Iwasa e Hoyois.

2. O Objetivo: Encontrar um Tradutor

O autor quer conectar essas duas cidades a um terceiro lugar chamado Motivos Locais (Mot). Pense nos "Motivos" como um dicionário universal ou um sistema de tradução que tenta capturar a essência de qualquer objeto geométrico, transformando-o em algo que podemos contar e medir (como números ou espectros).

O grande desafio é: Como traduzir as regras da cidade SH (ou MS) para o dicionário universal (Mot) sem perder informações?

3. O Truque do Espelho (A Dualidade)

Aqui entra a parte mais criativa da tese. O autor não tenta traduzir a cidade diretamente. Em vez disso, ele usa um espelho.

• Ele olha para a cidade SH, mas vê o seu "reflexo" (o que os matemáticos chamam de dual).
• No reflexo, as regras mudam de lugar. O que era uma condição de "suavidade" na cidade original, torna-se uma condição de "código" no reflexo.
• O autor descobre que esse reflexo da cidade SH é, na verdade, uma coleção de funções que obedecem a regras muito específicas (como "se você vir um quadrado de Nisnevich, ele deve virar um empurrão").

A Analogia do Espelho:
Imagine que a cidade SH é um prédio complexo. Traduzir o prédio inteiro para o dicionário é difícil. Mas, se você olhar para o reflexo do prédio num espelho, o reflexo tem uma estrutura tão simples que você consegue descrevê-lo perfeitamente usando apenas um conjunto de regras de "código". O autor constrói um tradutor que funciona através desse espelho.

4. O Filtro Mágico (K-Teoria)

Depois de criar esse tradutor (o "functor de comparação"), o autor aplica um filtro.

• Ele diz: "Vamos ver se esse tradutor funciona perfeitamente, ou se ele perde detalhes".
• Ele usa um filtro baseado em algo chamado K-Teoria (que é como um scanner que verifica a "estrutura de madeira" dos objetos matemáticos).

O Resultado Surpreendente:

• Para a Cidade SH (Suavizada): O filtro funciona perfeitamente! O tradutor é fiel. Se você traduzir um objeto da cidade SH para o dicionário, você consegue reconstruir o objeto original exatamente como ele era. Não há perda de informação. É como se o espelho e o dicionário estivessem perfeitamente sincronizados.
• Para a Cidade MS (Rígida): O filtro falha. O tradutor perde informações. Dois objetos diferentes na cidade MS podem parecer iguais no dicionário.

5. Por que a Cidade Rígida (MS) falha?

O autor explica isso com uma analogia de contagem:

• Na cidade SH (com o filtro), o número de "caminhos" entre dois pontos é gerenciável e contável. É como ter uma biblioteca com um número finito de livros.
• Na cidade MS, o número de caminhos entre certos pontos é infinito e incontrolável (especificamente, é "não enumerável", como os números reais).
• O dicionário universal (Motivos) é tão poderoso que consegue ver essa infinidade. Mas a estrutura da cidade MS, quando vista através do espelho, é tão "pequena" (contável) que não consegue suportar essa infinidade.
• Conclusão: Quando você tenta traduzir a cidade MS para o dicionário, a "infinidade" da cidade real colapsa. O tradutor não consegue distinguir entre infinitas variações diferentes, então ele as junta todas em uma só. A informação se perde.

Resumo Final

A tese de Tianjian Tan é como um estudo de engenharia que diz:

1. Nós construímos um espelho para olhar para duas versões da geometria (uma elástica e uma rígida).
2. Usamos esse espelho para criar um tradutor para um dicionário universal.
3. Descobrimos que, para a versão elástica (SH), o tradutor é perfeito: você pode ir e voltar sem perder nada.
4. Mas, para a versão rígida (MS), o tradutor é imperfeito: ele "espreme" a informação, perdendo detalhes complexos que só existem quando você não suaviza a geometria.

É uma descoberta importante porque mostra os limites de como podemos traduzir a geometria complexa em estruturas algébricas mais simples, e onde precisamos ter cuidado para não perder a riqueza da realidade matemática.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "Comparison of Motivic Homotopy Theories" de Tianjian Tan, apresentado em português.

Resumo Técnico: Comparação de Teorias de Homotopia Motívica

1. Problema e Contexto

O artigo aborda a relação entre duas grandes correntes na geometria algébrica moderna:

1. Teorias de Homotopia Motívica: Especificamente a categoria de homotopia motivic estável $SH$ (invariante sob $\mathbb{A}^1$, de Morel-Voevodsky) e sua versão não-invariante $MS$ (construída por Annala, Iwasa e Hoyois).
2. Motivos Não-Comutativos: A categoria de motivos localizantes $Mot_{loc}$, introduzida por Blumberg, Gepner e Tabuada (BGT), que generaliza a K-teoria e lida com categorias de espectros.

O objetivo central é construir e analisar funtores de comparação que conectam o dual das categorias de homotopia motivic ($SH^\vee$ e $MS^\vee$) às categorias de motivos localizantes ($Mot_{loc}^{\mathbb{A}^1}$ e $Mot_{loc}$). A questão fundamental é determinar se essas comparações são totalmente fiéis (fully faithful), o que implicaria que a estrutura da homotopia motivic pode ser recuperada inteiramente através da teoria de motivos não-comutativos.

2. Metodologia

O autor emprega uma abordagem baseada na teoria de categorias de alta categoria ($\infty$-categorias) e na dualidade de categorias estáveis e presentes. Os pilares metodológicos incluem:

• Dualidade em $\mathbf{Pr}^L_{st}$: Utiliza-se a noção de objetos dualizáveis na categoria de categorias estáveis e presentáveis ($\mathbf{Pr}^L_{st}$). O dual de uma categoria $C$, denotado $C^\vee$, é definido como $Fun^L(C, Sp)$.
• Inversão Formal de Objetos: A construção das categorias de homotopia motivic envolve a inversão formal do círculo de Tate $\mathbb{P}^1$. O artigo demonstra que a operação de tomar o dual comuta com a inversão formal de objetos compactos. Especificamente, para uma categoria $C$ e objeto compacto $X$, vale a equivalência $C^\vee[(X^{dual})^{-1}] \simeq C[X^{-1}]^\vee$.
• Propriedades Universais: As categorias $SH^\vee$ e $MS^\vee$ são caracterizadas como categorias de "cosheaves" (pré-feixes que satisfazem condições de codescent) com $\mathbb{P}^1$ dual invertido. Isso permite definir funtores de comparação via propriedades universais.
• Fatoração via Módulos (Teorema de Barr-Beck): Os funtores de comparação são fatorados através de categorias de módulos sobre um espectro de K-teoria dual (uma versão dual de $KGL$). A fidelidade total é então investigada analisando se essa fatoração é um equivalência.
• Análise de Contabilidade e Geração Rígida: Diferencia-se o caso invariante sob $\mathbb{A}^1$ do não-invariante analisando se as categorias são "rigidamente geradas" (geradas por objetos compactos e dualizáveis) e contando o número de componentes conexas ($\pi_0$) dos espectros de mapeamento.

3. Principais Contribuições e Resultados

A. Construção dos Funtores de Comparação
O autor constrói dois funtores principais:

1. Caso Invariante sob $\mathbb{A}^1$: Um funtor $\Phi: SH(S)^\vee \to Mot(S)_{loc}^{\mathbb{A}^1}$.
   • $SH(S)^\vee$ é identificado como a inversão formal de $(\mathbb{P}^1)^{dual}$ na categoria de cosheaves que satisfazem condições de excisão de Nisnevich e invariância $\mathbb{A}^1$ co-estável.
   • O funtor é definido estendendo o mapeamento natural $X \mapsto U(perf_X)$ (onde $U$ é o invariante localizante universal).
2. Caso Não-Invariante: Um funtor $\Psi: MS(S)^\vee \to Mot(S)_{loc}$.
   • Similar ao anterior, mas baseado na categoria $MS$ que exige excisão de blow-up elementar além de Nisnevich, sem invariância $\mathbb{A}^1$.

B. Fidelidade Total no Caso Invariante ($\mathbb{A}^1$)

• Resultado Principal (Proposição 4.2): Sobre um corpo $k$ que admite resolução de singularidades, após inverter a característica exponencial $e$ do corpo, o funtor fatorado
  $$e\Phi: Mod_{\Phi^*(1)}(SH(k)[1/e]^\vee) \to Mot(k)_{loc}^{\mathbb{A}^1}[1/e]$$
  é totalmente fiel no nível dos espectros de mapeamento.
• Razão: A categoria $SH(k)^\vee$ é rigidamente gerada (gerada por objetos compactos e dualizáveis) após inverter $e$. Isso permite que a fidelidade local (em geradores) se estenda globalmente. O objeto $\Phi^*(1)$ atua como uma versão dual do espectro de K-teoria $KGL^{\mathbb{A}^1}$.

C. Falta de Fidelidade Total no Caso Não-Invariante

• Resultado Principal (Proposição 4.3): No caso não-invariante, o funtor correspondente não é totalmente fiel em geral.
• Contra-exemplo: O autor demonstra uma discrepância cardinal:
  • Em $MS(k)^\vee$ (sobre um corpo contável), os espectros de mapeamento entre objetos compactos têm $\pi_0$ contável.
  • Em $Mot_{loc}$, os espectros de mapeamento entre certos objetos (relacionados a anéis de Witt grandes) têm $\pi_0$ não contável (devido a um teorema de Efimov sobre a K-teoria não conectiva).
• Causa: A categoria $MS(k)^\vee$ não é rigidamente gerada. A ausência de uma geração por objetos dualizáveis impede a extensão da fidelidade local para a global, e a estrutura de $MS$ não consegue capturar a complexidade "não contável" presente nos motivos localizantes.

4. Significado e Implicações

• Validação da Correspondência Invariante: O trabalho confirma que, no contexto clássico de homotopia motivic (invariante $\mathbb{A}^1$), a teoria de motivos não-comutativos de BGT é suficientemente rica para capturar a estrutura da homotopia motivic, desde que se considere a dualidade e a invariância de características adequadas.
• Limitações da Generalização Não-Invariante: O resultado negativo para o caso não-invariante é crucial. Ele mostra que a teoria de motivos localizantes, embora poderosa, não é um modelo perfeito para a homotopia motivic quando se remove a invariância $\mathbb{A}^1$. A perda de rigidez na geração da categoria dual $MS^\vee$ revela uma lacuna fundamental entre as duas teorias nesse regime.
• Ferramentas Técnicas: O artigo estabelece um framework robusto para lidar com dualidades em categorias de homotopia, unificando conceitos de inversão formal, teoremas de Barr-Beck e propriedades de geração rígida. A demonstração de que a inversão formal comuta com a dualidade é um resultado técnico de interesse independente.

Em suma, o artigo traça um mapa preciso de onde e por que as teorias de homotopia motivic e os motivos não-comutativos coincidem (caso $\mathbb{A}^1$-invariante) e onde elas divergem fundamentalmente (caso não-invariante), fornecendo uma compreensão mais profunda das limitações e capacidades da teoria de motivos de Blumberg-Gepner-Tabuada.