Motivic real topological Hochschild spectrum

Título: Espectro de Homologia de Hochschild Topológica Real Motivica
Autor: Doosung Park
Fonte: arXiv:2305.04150v3 [math.KT]

Enunciado do Problema

A homologia de Hochschild topológica (THH) e suas variantes, como a homologia cíclica topológica (TC), são centrais para o cálculo da K-teoria algébrica através do traço cíclico. No entanto, a THH carece de $\mathbb{A}^1$-invariância, mesmo para esquemas regulares, o que impede a aplicação direta da teoria de homotopia motivica clássica (iniciada por Morel e Voevodsky) à THH. Embora a teoria de homotopia motivica logarítmica (logSH) tenha sido desenvolvida para acomodar teorias não-$\mathbb{A}^1$-invariantes como THH e TC, substituindo o intervalo $\mathbb{A}^1$ pelo par $(\mathbb{P}^n, \mathbb{P}^{n-1})$, os análogos "reais" dessas teorias — a Homologia de Hochschild Topológica Real (THR) e a Homologia Cíclica Topológica Real (TCR) — ainda não haviam sido sistematicamente integrados a este arcabouço.

O artigo aborda a lacuna na definição de um espectro de homologia de Hochschild topológica motivica real que viva em uma categoria motivica logarítmica $\mathbb{Z}/2$-equivariante. Especificamente, busca-se definir a THR para log esquemas com involuções, estabelecer suas propriedades de invariância necessárias para a representabilidade motivica e construir o espectro motivico associado.

Metodologia

O autor emprega uma estratégia de estender definições existentes para os contextos logarítmico e equivariante, seguida pela prova de propriedades de invariância específicas exigidas para a representabilidade motivica.

1. Construções de Bar Repletas Diédricas:
   O artigo começa refinando a construção de bar repleta de Rognes para anéis logarítmicos. O autor introduz construções de bar repletas diédricas ($B_{drep}$) e nervos diédricos ($N_{di}$) para monoideis com involuções. Isso envolve utilizar a teoria de conjuntos simpliciais reais e conjuntos diédricos (grupos simpliciais cruzados) para lidar com a estrutura $\mathbb{Z}/2$-equivariante.

2. Definição de THR e TCR:

   • THR: Definida para anéis logarítmicos com involuções como um coproduto na $\infty$-categoria de álgebras normadas ($NAlg_{\mathbb{Z}/2}$):
     $$THR(A, P) := THR(A) \wedge_{S[B_{di}P]} S[B_{drep}P]$$
   • Extensão para Esquemas: A THR é estendida para log esquemas separados com involuções definindo-a como um sheafification na topologia étale isovariante estrita.
   • TCR: Seguindo o trabalho de Quigley e Shah, o autor define espectros cíclicos reais e constrói a TCR como a homologia cíclica topológica real dos objetos THR resultantes.

3. Invariância Motivica e Descida:
   O esforço técnico central envolve provar que a definida THR satisfaz:

   • Descida étale isovariante.
   • Invariância sob a passagem para a estrutura logarítmica associada.
   • Invariância $(\mathbb{P}^n, \mathbb{P}^{n-1})$: Este é o passo crucial para a representabilidade motivica. O autor calcula $THR(\mathbb{P}^n, \mathbb{P}^{n-1})$ explicitamente usando cubos em $\infty$-categorias para demonstrar que o mapa $THR(X) \to THR(X \times (\mathbb{P}^n, \mathbb{P}^{n-1}))$ é uma equivalência.

4. Construção de Espectros Motivicos:
   Usando a periodicidade da THR em relação a $\mathbb{P}^1 \wedge \mathbb{P}^\sigma$ (onde $\mathbb{P}^\sigma$ é $\mathbb{P}^1$ com a involução $[x:y] \mapsto [y:x]$), o autor constrói a $\infty$-categoria de espectros motivicos pré-logarítmicos $\mathbb{Z}/2$-equivariantes ($prelogSH^{\mathbb{Z}/2}(S)$). Dentro desta categoria, o espectro de homologia de Hochschild topológica motivica real ($THR$) e o espectro cíclico topológico motivico real ($TCR$) são definidos como $(\mathbb{P}^1 \wedge \mathbb{P}^\sigma)$-espectros.

Principais Contribuições e Resultados

• Definição de THR para Log Esquemas: O artigo fornece uma definição rigorosa de THR para log esquas separados com involuções, utilizando construções de bar repletas diédricas para lidar com a interação entre a estrutura logarítmica e a involução.
• Representabilidade Motivica: O resultado principal é a prova de que a THR é $(\mathbb{P}^n, \mathbb{P}^{n-1})$-invariante para todo $n \geq 1$. Isso permite que a THR seja representada como um objeto na categoria motivica logarítmica.
• Localização e Sequências de Blow-up:
  • Teorema 1.1: Estabelece sequências de fibra para THR e TCR associadas a imersões fechadas de esquemas suaves, envolvendo o espaço de Thom do feixe normal e o blow-up. Isso serve como a sequência de localização para a THR.
  • Teorema 1.2: Prova que os quadrados induzidos por blow-ups ao longo de centros suaves são cartesianos tanto para THR quanto para TCR.
• Espectros Motivicos Equivariantes: O autor constrói a $\infty$-categoria $prelogSH^{\mathbb{Z}/2}(S)$ e define os espectros periódicos $THR$e$TCR$ dentro dela.
• Relacionamento com Teorias Clássicas:
  • Proposição 6.17: Mostra que o funtor "esquecedor" $i^*$ (que restringe para esquemas com involuções triviais) mapeia os espectros motivicos reais para os espectros motivicos clássicos: $i^*THR \simeq THH$ e $i^*TCR \simeq TC$.
  • Corolário 4.9: Estabelece que os pontos fixos do espectro motivico real recuperam a THH motivica clássica: $THR(i^\sharp X)^{\mathbb{Z}/2} \simeq THH(X)$.

Significância

O artigo integra com sucesso a Homologia de Hochschild Topológica Real no arcabouço da teoria de homotopia motivica logarítmica. Ao estabelecer as propriedades de invariância necessárias, ele permite a aplicação de métodos motivicos (como pureza, sequências de Gysin e fórmulas de blow-up) à K-teoria real e à K-teoria hermítica via o método do traço real.

O trabalho estabelece as bases para um "refinamento real" do teorema de Dundas-Goodwillie-McCarthy, conforme sugerido na introdução pelo trabalho futuro de Harpaz, Nikolaus e Shah. Ele fornece a infraestrutura técnica (os espectros motivicos $THR$e$TCR$) necessária para computar a K-teoria real e hermítica usando técnicas motivicas, analogamente a como THH e TC são usados para a K-teoria algébrica. O artigo não pretende resolver o cálculo de grupos K específicos, mas sim fornece os objetos representáveis e os teoremas estruturais (invariância de blow-up, localização) que tornam tais cálculos viáveis dentro do arcabouço motivico.