Motivic real topological Hochschild spectrum

Título: Espectro de la Homología de Hochschild Topológica Real Motivica
Autor: Doosung Park
Fuente: arXiv:2305.04150v3 [math.KT]

Planteamiento del Problema

La homología de Hochschild topológica (THH) y sus variantes, como la homología topológica cíclica (TC), son centrales para el cálculo de la K-teoría algebraica a través de la traza cíclica. Sin embargo, la THH carece de $\mathbb{A}^1$-invariancia, incluso para esquemas regulares, lo que impide la aplicación directa de la teoría de homotopía motivica clásica (iniciada por Morel y Voevodsky) a la THH. Si bien la teoría de homotopía motivica logarítmica (logSH) se ha desarrollado para dar cabida a teorías no $\mathbb{A}^1$-invariantes como la THH y la TC mediante el reemplazo del intervalo $\mathbb{A}^1$ por el par $(\mathbb{P}^n, \mathbb{P}^{n-1})$, los análogos "reales" de estas teorías —la Homología de Hochschild Topológica Real (THR) y la Homología Cíclica Topológica Real (TCR)— aún no se habían integrado sistemáticamente en este marco.

El artículo aborda la brecha en la definición de un espectro de la homología de Hochschild topológica real motivica que viva en una categoría motivica logarítmica $\mathbb{Z}/2$-equivariante. Específicamente, busca definir la THR para esquemas log con involuciones, establecer sus propiedades de invariancia necesarias para la representabilidad motivica y construir los espectros motivicos asociados.

Metodología

El autor emplea una estrategia de extender las definiciones existentes a los entornos logarítmicos y equivariantes, seguida de la demostración de propiedades de invariancia específicas requeridas para la representabilidad motivica.

1. Construcciones de Bar Repletas Diédricas:
   El artículo comienza refinando la construcción de bar repleta de Rognes para anillos log. El autor introduce las construcciones de bar repletas diédricas ($B_{drep}$) y los nervios diédricos ($N_{di}$) para monoides conmutativos con involuciones. Esto implica utilizar la teoría de conjuntos simpliciales reales y conjuntos diédricos (grupos simpliciales cruzados) para manejar la estructura $\mathbb{Z}/2$-equivariante.

2. Definición de THR y TCR:

   • THR: Definida para anillos log con involuciones como un coproducto en la $\infty$-categoría de álgebras normadas ($NAlg_{\mathbb{Z}/2}$):
     $$THR(A, P) := THR(A) \wedge_{S[B_{di}P]} S[B_{drep}P]$$
   • Extensión a Esquemas: La THR se extiende a esquemas log separados con involuciones definiéndola como una unificación (sheafification) en la topología étale isovariante estricta.
   • TCR: Siguiendo el trabajo de Quigley y Shah, el autor define los espectros cíclicos reales y construye la TCR como la homología topológica cíclica real de los objetos THR resultantes.

3. Invariancia Motivica y Descenso:
   El esfuerzo técnico central consiste en demostrar que la definida THR satisface:

   • Descenso étale isovariante.
   • Invariancia bajo el paso a la estructura log asociada.
   • Invariancia $(\mathbb{P}^n, \mathbb{P}^{n-1})$: Este es el paso crucial para la representabilidad motivica. El autor calcula $THR(\mathbb{P}^n, \mathbb{P}^{n-1})$ explícitamente usando cubos en $\infty$-categorías para demostrar que la aplicación $THR(X) \to THR(X \times (\mathbb{P}^n, \mathbb{P}^{n-1}))$ es una equivalencia.

4. Construcción de Espectros Motivicos:
   Utilizando la periodicidad de la THR con respecto a $\mathbb{P}^1 \wedge \mathbb{P}^\sigma$ (donde $\mathbb{P}^\sigma$ es $\mathbb{P}^1$ con la involución $[x:y] \mapsto [y:x]$), el autor construye la $\infty$-categoría de espectros $\mathbb{Z}/2$-prelogarítmicos motivicos ($prelogSH^{\mathbb{Z}/2}(S)$). Dentro de esta categoría, el espectro de la homología de Hochschild topológica real motivica ($THR$) y el espectro cíclico topológico real motivico ($TCR$) se definen como $(\mathbb{P}^1 \wedge \mathbb{P}^\sigma)$-espectros.

Contribuciones Clave y Resultados

• Definición de THR para Esquemas Log: El artículo proporciona una definición rigurosa de la THR para esquemas log separados con involuciones, utilizando construcciones de bar repletas diédricas para manejar la interacción entre la estructura log y la involución.
• Representabilidad Motivica: El resultado principal es la demostración de que la THR es $(\mathbb{P}^n, \mathbb{P}^{n-1})$-invariante para todo $n \geq 1$. Esto permite que la THR sea representada como un objeto en la categoría motivica logarítmica.
• Localización y Secuencias de Blow-up:
  • Teorema 1.1: Establece sucesiones de fibra para THR y TCR asociadas con inmersiones cerradas de esquemas suaves, involucrando el espacio de Thom del paquete normal y el blow-up. Esto sirve como la secuencia de localización para la THR.
  • Teorema 1.2: Demuestra que los cuadrados inducidos por blow-ups a lo largo de centros suaves son cartesianos tanto para THR como para TCR.
• Espectros Motivicos Equivariantes: El autor construye la $\infty$-categoría $prelogSH^{\mathbb{Z}/2}(S)$ y define los espectros periódicos $THR$y$TCR$ dentro de ella.
• Relación con Teorías Clásicas:
  • Proposición 6.17: Muestra que el functor de "olvido" $i^*$ (que se restringe a esquemas con involuciones triviales) mapea los espectros motivicos reales a los espectros motivicos clásicos: $i^*THR \simeq THH$ e $i^*TCR \simeq TC$.
  • Corolario 4.9: Establece que los puntos fijos del espectro real motivico recuperan la THH motivica clásica: $THR(i^\sharp X)^{\mathbb{Z}/2} \simeq THH(X)$.

Significancia

El artículo integra con éxito la Homología de Hochschild Topológica Real en el marco de la teoría de homotopía motivica logarítmica. Al establecer las propiedades de invariancia necesarias, permite la aplicación de métodos motivicos (como pureza, secuencias de Gysin y fórmulas de blow-up) a la K-teoría real y la K-teoría hermítica mediante el método de la traza real.

El trabajo sienta las bases para un "refinamiento real" del teorema de Dundas-Goodwillie-McCarthy, como sugiere la introducción mediante el trabajo futuro de Harpaz, Nikolaus y Shah. Proporciona la infraestructura técnica (los espectros motivicos $THR$y$TCR$) necesaria para calcular la K-teoría real y hermítica usando técnicas motivicas, de forma análoga a cómo se usan la THH y la TC para la K-teoría algebraica. El artículo no pretende resolver el cálculo de grupos K específicos, sino que proporciona los objetos representables y los teoremas estructurales (localización, invariancia de blow-up) que hacen que tales cálculos sean factibles dentro del marco motivico.