Filtrations in $\mathbb{C}$-motivic stable homotopy theory

Enunciado do Problema
Este artigo aborda o cálculo das filtrações efetiva, conectiva e muito efetiva na categoria estável celular, 2-completa, $\mathbb{C}$-motívica ($SH_{\mathbb{C}}$). A motivação primária é verificar e generalizar as conjecturas de fatias de Voevodsky, que postulam que as fatias de espectros motívicos específicos (como o espectro da esfera, o cobordismo algébrico $MGL$ e as formas modulares motívicas $mmf$) são determinadas por dados puramente topológicos derivados da sequência espectral de Adams-Novikov (ANSS) clássica de suas realizações de Betti. Embora essas conjecturas tenham sido provadas para casos específicos (por exemplo, $MGL$, a esfera sobre corpos algebricamente fechados e espectros exatos de Landweber), buscava-se um arcabouço computacional unificado para uma classe mais ampla de análogos motívicos, particularmente o espectro das formas modulares motívicas $mmf$.

Metodologia
O autor emprega o modelo de espectro filtrado para a categoria estável $\mathbb{C}$-motívica, estabelecido por Gheorghe-Isaksen-Krause-Ricka (GIKR). Este modelo baseia-se em uma equivalência de categorias entre $SH_{\mathbb{C}}$ e a categoria de módulos sobre o espectro filtrado $\Gamma_{\star}(S)$, onde $\Gamma_{\star}: SH_{cl} \to SH_{fil}$ é o funtor análogo $\mathbb{C}$-motívico.

A metodologia procede através dos seguintes passos:

1. Modelagem de Coberturas via Espectros Filtrados: O autor constrói modelos explícitos de espectros filtrados para as coberturas efetiva, conectiva e muito efetiva de um análogo motívico $\Gamma_{\star}(X)$, onde $X$ é um espectro clássico. Esses modelos são definidos pela modificação da construção de totalização de $\Gamma_{\star}(X)$ (especificamente, truncando as sequências espectrais de Bousfield-Kan em antidiagonais específicas ou aplicando coberturas conectivas em pesos específicos).
2. Caracterizações de Homotopia: Antes de aplicar os modelos, o artigo estabelece caracterizações homotópicas das respectivas coberturas. Ele prova que para espectros $Y$ que são "aproximáveis" (uma condição satisfeita por $\Gamma_{\star}(X)$ quando $X$ é limitado abaixo), as coberturas são unicamente determinadas por propriedades específicas de seus grupos de homotopia (por exemplo, condições de nulidade em certos coweights ou isomorfismos sob a ação de $\tau$).
3. Cálculo de Fatias: Usando os modelos de espectros filtrados explícitos, o autor calcula as fatias (os cofibras das aplicações de cobertura) analisando as sequências espectrais de Bousfield-Kan (BKSS) associadas.
4. Comparação de Sequências Espectrais: O artigo analisa a sequência espectral de fatias efetiva para $\Gamma_{\star}(X)$ e a compara com a ANSS clássica de $X$. Isso envolve um reindexamento de "meia-velocidade" e o uso do funtor de décalage para relacionar os diferenciais da sequência espectral de fatias com os da ANSS.

Contribuições Principais e Resultados

• Teorema da Fatia Generalizada (Teorema 1.2 / Corolário 7.11): Para qualquer espectro clássico $X$ que é limitado abaixo e possui homologia $MU$ par, a $q$-ésima fatia efetiva de seu análogo motívico $\Gamma_{\star}(X)$ é dada por:
  $$s_q(\Gamma_{\star}(X)) \simeq \bigvee_{s+f=2q} \Sigma^{s,q} M E^{s,f}_2$$
  onde $E^{s,f}_2$ é a página $E_2$ da ANSS clássica para $X$, e $M$ é o funtor que leva um grupo ao espectro de Eilenberg-MacLane $\mathbb{C}$-motívico. Este resultado recupera as conjecturas de Voevodsky para $S$, $MGL$, $MU$, $ku$e$ko$, e fornece um novo cálculo para $mmf$ (o espectro das formas modulares motívicas).
• Sequência Espectral de Fatias Efetiva (Teorema 1.3 / Teorema 8.1): O artigo estabelece uma relação precisa entre a sequência espectral de fatias efetiva de $\Gamma_{\star}(X)$ e a ANSS clássica de $X$. A página $E_1$ da sequência espectral de fatias é obtida adicionando livremente $\tau$ à página $E_2$ da ANSS. Além disso, os diferenciais estão relacionados pela fórmula: $d_r(x) = \tau^r y$ na sequência espectral de fatias se, e somente se, $d_{2r+1}(x) = y$ na ANSS.
• Modelos para Coberturas Conectivas e Muito Efetivas: O autor fornece modelos de espectros filtrados explícitos para as coberturas conectiva e muito efetiva de $\Gamma_{\star}(X)$, permitindo o cálculo de suas respectivas fatias.
• Exatidão de Landweber: Mostra-se que, para espectros exatos de Landweber, as coberturas efetiva e muito efetiva coincidem, recuperando resultados conhecidos para espectros motívicos exatos de Landweber.
• Caracterizações de Homotopia: O artigo fornece condições necessárias e suficientes sobre grupos de homotopia (envolvendo a ação de $\tau$ e nulidade em coweights específicos) que caracterizam as coberturas efetiva, conectiva e muito efetiva dentro da subcategoria celular.

Significância
O artigo reivindica significância primariamente em sua capacidade de unificar e estender cálculos anteriores de fatias motívicas. Ao alavancar o modelo de espectro filtrado, o autor demonstra que a estrutura complexa das fatias motívicas para uma classe ampla de espectros (incluindo o caso anteriormente aberto de $mmf$) é inteiramente governada pela sequência espectral de Adams-Novikov clássica. O trabalho confirma as conjecturas de Voevodsky no cenário $\mathbb{C}$-motívico 2-completo para todos os espectros da forma $\Gamma_{\star}(X)$ onde $X$ é limitado abaixo com homologia $MU$ par. Adicionalmente, a relação explícita entre a sequência espectral de fatias efetiva e a ANSS clássica fornece uma ferramenta computacional que traduz problemas motívicos em problemas topológicos clássicos, recuperando resultados de Levine e outros, enquanto oferece novos insights sobre a estrutura das formas modulares motívicas. O artigo permanece modesto quanto ao seu escopo, observando que é restrito à subcategoria celular e ao cenário 2-completo, e que a suposição de "homologia $MU$ par" é necessária para a descrição de forma fechada das fatias, embora grupos de homotopia ainda possam ser calculados sem ela.