Rings of cooperations for hermitian K-theory over finite fields

Resumo Técnico: Anéis de Cooperações para a K-Teoria Hermitiana sobre Campos Finitos

Enunciado do Problema
O artigo aborda o cálculo do anel de cooperações $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$ para o espectro da K-teoria hermitiana muito efetiva $kq$ sobre campos finitos $\mathbb{F}_q$ onde $\text{char}(\mathbb{F}_q) \neq 2$. Este cálculo é um pré-requisito para determinar a página $E_1$ da resolução $kq$, uma sequência espectral de Adams motivica usada para analisar fenômenos periódicos $v_1$ nos grupos de homotopia motivica estável das esferas. Embora as cooperações para $kq$ tenham sido estudadas sobre os números complexos $\mathbb{C}$ e reais $\mathbb{R}$, o caso dos campos finitos apresenta desafios aritméticos únicos devido à ação não trivial do homomorfismo de Bockstein e à estrutura da cohomologia motivica de $\mathbb{F}_q$.

Metodologia
O autor emprega a sequência espectral de Adams motivica (mASS) baseada no espectro de cohomologia motivica mod-2 $H\mathbb{F}_2$. A ferramenta primária é o cálculo da página $E_2$ da sequência espectral que converge para $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$, seguido pela determinação dos diferenciais para alcançar a página $E_\infty$.

A metodologia procede através dos seguintes passos:

1. Decomposição Algébrica: Utilizando o isomorfismo $H^{*,*}(kq) \cong (A // A(1))^\vee$, a homologia do produto de smash $kq \otimes kq$ é decomposta usando o teorema de Künneth e a decomposição de comodulo de Brown–Gitler de $(A // A(1))^\vee$. Isso reduz o problema ao cálculo de $\text{Ext}_{A(1)^\vee}^{*,*,*}(\mathbb{F}_q^2, BF_q^0(k))$ para vários $k$, onde $BF_q^0(k)$ são comodulos de Brown–Gitler motivicos.
2. Separação de Casos: O cálculo é dividido em dois casos distintos baseados na aritmética do campo finito:
   • Ação de Bockstein Trivial ($q \equiv 1 \pmod 4$): Aqui, o homomorfismo de Bockstein é trivial. As relações da álgebra de Steenrod motivica simplificam-se, e os grupos Ext assemelham-se aos de $\mathbb{C}$, mas com modificações específicas.
   • Ação de Bockstein Não Trivial ($q \equiv 3 \pmod 4$): Aqui, o Bockstein é não trivial (representado por $\rho$). As relações na álgebra de Steenrod dual e os grupos Ext resultantes são mais complexos, exigindo uma análise organizada por coweight.
3. Cálculo Indutivo: O autor utiliza sequências espectrais de Atiyah–Hirzebruch algébricas (aAHSS) para calcular os grupos Ext para comodulos de Brown–Gitler $BF_q^0(k)$ de forma indutiva. Sequências exatas curtas de comodulos relacionam $BF_q^0(k)$ a termos de ordem inferior.
4. Determinação de Diferenciais: Uma afirmação metodológica central é que os diferenciais na mASS para $kq \otimes kq$ não são computados independentemente, mas são "erguidos" (lifted) de diferenciais na mASS para o espectro de cohomologia motivica integral $H\mathbb{Z}$. O mapa $kq \to H\mathbb{Z}$ induz um mapa de sequências espectrais, permitindo que o autor transfira diferenciais conhecidos de $H\mathbb{Z}$ para $kq$ e, subsequentemente, para $kq \otimes kq$.

Contribuições Principais e Resultados

• Cálculo do Anel de Cooperações: O artigo fornece uma descrição completa da página $E_\infty$ da mASS para $kq \otimes kq$ módulo $v_1$-torsão para todos os campos finitos $\mathbb{F}_q$ ($\text{char} \neq 2$).
  • Teorema A: Estabelece a assinatura da sequência espectral como uma soma direta de grupos Ext sobre a subálgebra $A(1)^\vee$ com coeficientes em comodulos de Brown–Gitler.
  • Teorema B: Prova que todos os diferenciais na mASS para $kq \otimes kq$ são determinados pela estrutura de módulo sobre a álgebra Ext e pelos diferenciais da mASS para $kq$ (que, por sua vez, são erguidos de $H\mathbb{Z}$). Isso contrasta com os análogos clássicos, $\mathbb{C}$-motivicos e $\mathbb{R}$-motivicos, onde a sequência espectral frequentemente colapsa mais cedo ou se comporta de maneira diferente.
• Estrutura Explícita dos Grupos Ext:
  • Para $q \equiv 1 \pmod 4$, os grupos Ext são mostrados serem isomórficos ao produto tensorial dos grupos Ext $\mathbb{C}$-motivicos com $\mathbb{F}_q^2$ (módulo $v_1$-torsão), com truncamentos específicos para lidar com torres $\eta$ não nilpotentes.
  • Para $q \equiv 3 \pmod 4$, o autor calcula os grupos Ext explicitamente, identificando novos geradores (como $\rho$ e $\tau h_1$) e relações decorrentes do Bockstein não trivial. Notavelmente, um diferencial $d_3$ na aAHSS para $BF_q^0(1)$ é identificado neste caso, o qual desaparece no caso de Bockstein trivial.
• Aplicação à Resolução $kq$:
  • Teorema C: Descreve a página $E_1$ da resolução $kq$ para a esfera. A linha $n$ da resolução é expressa como um módulo sobre a linha 0 ($\pi_{\mathbb{F}_q}^{*,*}(kq)$), decomposta em deslocamentos de coberturas de Adams truncadas de $kq$e$ksp$, e somandos relacionados a $H\mathbb{Z}$.
  • O artigo prova novamente o cálculo de Friedlander para grupos de K-teoria hermitiana para campos finitos como um teste de consistência.

Significância e Alegações
O artigo alega que o anel de cooperações para a K-teoria hermitiana sobre campos finitos é fundamentalmente determinado pela cohomologia motivica integral do campo base. O autor argumenta que a parte "interessante" das cooperações é inteiramente ditada pelos diferenciais na mASS para $H\mathbb{Z}$.

O trabalho estende o estudo da periodicidade $v_1$ na homotopia motivica para campos de característica positiva. Ao calcular a página $E_1$ da resolução $kq$, o artigo lança as bases necessárias para futuros cálculos dos grupos de homotopia motivica estável das esferas sobre campos finitos, visando especificamente as famílias periódicas $v_1$. O autor observa que, ao contrário do caso clássico, as sequências espectrais motivicas sobre campos finitos não colapsam na página $E_2$, necessitando da análise detalhada de diferenciais fornecida.

O artigo conclui levantando uma questão mais ampla: até que ponto os diferenciais na mASS para qualquer espectro motivico finitamente apresentado (fp) são determinados pelos diferenciais na mASS para $H\mathbb{Z}$? Os resultados para $kq$ e o trabalho anterior sobre $BPGL\langle 1 \rangle$ sugerem uma resposta afirmativa forte, particularmente para espectros onde os análogos clássicos colapsam.