Un mapa de linealización para la $K$-teoría algebraica equivariante genuina

Información Básica

• ID del artículo: 2309.08025
• Título: A linearization map for genuine equivariant algebraic $K$-theory
• Autores: Maxine E. Calle, David Chan, Andres Mejia
• Clasificación: math.AT (Topología Algebraica), math.KT (K-Teoría y Homología)
• Fecha de publicación: 19 de noviembre de 2025 (v3)
• Enlace del artículo: https://arxiv.org/abs/2309.08025

Resumen

Este artículo introduce una versión de $K$-teoría algebraica para sistemas de coeficientes de anillos (coefficient systems of rings) con valores en $G$-espectros genuinos para un grupo finito $G$. Los autores utilizan esta construcción para establecer el espectro genuino $G$ $K_G(\mathbb{Z}[\pi_1(X)])$ asociado a un espacio $G$ $X$, proporcionando un hábitat natural para versiones equivariantes de invariantes clásicos (como el obstáculo de finitud de Wall y la torsión de Whitehead). El artículo establece una comparación entre este espectro de $K$-teoría y la $A$-teoría equivariante de Malkiewich-Merling a través de un mapa de linealización equivariante genuino.

Contexto de Investigación y Motivación

1. Problema de Investigación

La $K$-teoría algebraica clásica $K(\mathbb{Z}[\pi_1(X)])$ codifica invariantes geométricos importantes de espacios topológicos $X$, incluyendo la característica de Euler, el obstáculo de finitud de Wall y la torsión de Whitehead. Cuando el espacio $X$ posee una acción de un grupo finito $G$, el anillo de grupo $\mathbb{Z}[\pi_1(X)]$ hereda una acción $G$, cuyo espectro de $K$-teoría se convierte en un espectro $G$ ingenuo. Sin embargo, esta estructura ingenua es insuficiente para capturar completamente el tipo de homotopía $G$-equivariante de $X$.

2. Importancia del Problema

• Ausencia de invariantes equivariantes: Se conoce la existencia de análogos equivariantes del obstáculo de finitud de Wall y la torsión de Whitehead (Baglivo 1979, Andrzejewski 1986, Illman 1974, etc.), pero falta un marco unificado a nivel espectral
• Necesidad de espectros genuinos: Para describir completamente el tipo de homotopía equivariante, se requieren espectros $G$ genuinos en lugar de espectros $G$ ingenuos
• Conexión con $A$-teoría equivariante: La $A$-teoría equivariante genuina $A_G(X)$ construida por Malkiewich-Merling necesita establecer una conexión con la $K$-teoría algebraica

3. Limitaciones de Métodos Existentes

• Construcción de Merling: Para anillos $R$ con acción $G$, Merling construyó el espectro genuino $G$ $K^\theta(R)$, pero cuando $|G|$ es invertible en $R$, sus puntos fijos $K^\theta(R)^H \simeq K(R^H_\theta[W_GH])$ solo capturan los puntos fijos del anillo, mientras que $(Z[\pi_1(X)])^H \neq Z[\pi_1(X^H)]$, lo que no describe con precisión los datos de los puntos fijos del espacio
• Método de Lück: El espectro construido por Lück tiene grupos de homotopía de bajo orden que contienen invariantes equivariantes, pero la relación con espectros $G$ genuinos no es clara

4. Motivación de la Investigación

Este artículo adopta la filosofía de Elmendorf: la teoría de homotopía equivariante puede entenderse estudiando la colección de espacios de puntos fijos $\{X^H\}_{H\leq G}$ y sus mapas de restricción. Esto motiva la idea de construir espectros $G$ genuinos a partir de sistemas de coeficientes de anillos (presheaves en la categoría de órbitas).

Contribuciones Principales

1. $K$-teoría de anillos de coeficientes: Se construye un funtor desde sistemas de coeficientes de anillos a espectros $G$ genuinos $K_G(S)$, cuyos puntos fijos tienen una descomposición explícita (Teorema A): $K_G(S)^G \simeq \prod_{(H)\leq G} K(S^H_\theta)$
2. $K$-teoría del grupo fundamental equivariante: Para un espacio $G$ $X$, se define el anillo de coeficientes $\mathbb{Z}[\pi_1(X)]$, obteniendo el espectro genuino $G$ $K_G(\mathbb{Z}[\pi_1(X)])$, que recupera los resultados de Lück y proporciona una realización a nivel espectral de invariantes equivariantes
3. Mapa de linealización equivariante genuino: Se construye el mapa $L: A_G(X) \to K_G(\mathbb{Z}[\pi_1(X)])$ (Teorema C), probando que es 2-conexo equivariante y compatible con la descomposición de puntos fijos (Teorema D)
4. Realización de invariantes geométricos: Se prueba que la característica de Euler equivariante, el obstáculo de finitud de Wall y la torsión de Whitehead se realizan como elementos en los grupos de homotopía de $A_G(X)$ (Teorema B)
5. Contribuciones técnicas: Se desarrolla un método sistemático para construir funtores de Mackey espectrales y sus morfismos a partir de entradas de 2-categorías (Apéndice B), con valor metodológico independiente esperado

Explicación Detallada de Métodos

Definición de Tareas

Tarea central: Para un grupo finito $G$ y un sistema de coeficientes de anillos $S: \mathcal{O}_G^{op} \to \text{Ring}$, construir un espectro genuino $G$ $K_G(S)$ tal que:

• En cada subgrupo $H\leq G$, el valor sea $K(P^H_S)$ (la $K$-teoría de la categoría de módulos proyectivos finitamente generados)
• Los mapas de transferencia, restricción y conjugación sean inducidos por los funtores de inducción y restricción y su $K$-teoría inducida
• Los puntos fijos tengan una descomposición computable

Entrada:

• Sistema de coeficientes de anillos $S: \mathcal{O}_G^{op} \to \text{Ring}$, es decir, para cada $G/H$ se da un anillo $S^H$ equipado con mapas de restricción y acción del grupo de Weyl
• O más específicamente, el sistema de coeficientes de anillos $\mathbb{Z}[\pi_1(X)](G/H) := \mathbb{Z}[\pi_1(X^H)]$ definido por un espacio $G$ $X$

Salida: Espectro genuino $G$ (a través del modelo de funtores de Mackey espectrales)

Arquitectura del Modelo

1. Estructura de Categoría de Sistemas de Coeficientes

Definición (2.1-2.2):

• Un sistema de coeficientes $M: \mathcal{O}_G^{op} \to \text{Ab}$ es un funtor desde la categoría de órbitas a grupos abelianos
• Un sistema de coeficientes de anillos $S$ es un sistema de coeficientes con valores en la categoría de anillos, donde los mapas de restricción y la acción del grupo de Weyl son homomorfismos de anillos

Estructura clave:

• Producto monoidal $\square$: $(M\square N)^H = M^H \otimes N^H$, con unidad el sistema de coeficientes constante $\mathbb{Z}$
• Los sistemas de coeficientes de anillos son precisamente los monoides en esta categoría monoidal
• La categoría de módulos $S$ $\text{Mod}_S$ se define como módulos en esta categoría monoidal

Anillo de grupo torcido (2.6-2.7): Para un anillo $R$ con acción $G$, el anillo de grupo torcido $R_\theta[G]$ tiene multiplicación: $(r_1g_1)(r_2g_2) = (r_1r_2^{g_1})g_1g_2$ Un módulo $S$ $M$ es equivalente a ser un módulo $S^H_\theta[W_GH]$ en cada nivel $M^H$, compatible con los mapas de restricción (Lema 2.9)

2. Funtores de Inducción y Restricción

Para $H\leq K$, se define el funtor $\rho: \mathcal{O}_H \to \mathcal{O}_K$:

• Funtor de restricción $R^K_H: \text{Coeff}_K \to \text{Coeff}_H$ como $(ρ^{op})^*$
• Funtor de inducción $I^K_H: \text{Coeff}_H \to \text{Coeff}_K$ como extensión de Kan izquierda $ρ^{op}_!$

Fórmula de cálculo (Lema 2.18): $I^K_H(M)^J \cong \bigoplus_{x\in (K/H)^J} M^{J^x}$ donde $J^x = x^{-1}Jx$ es el subgrupo conjugado

Reciprocidad de Frobenius (Lema 2.16): $M \square I^K_H(N) \cong I^K_H(R^K_H(M) \square N)$

Fórmula de doble coset de Mackey (Proposición 2.26): $R^K_H I^K_J \cong \bigoplus_{\gamma \in J\backslash K/H} I^H_{H\cap J^\gamma} R^{J^\gamma}_{H\cap J^\gamma} c_\gamma$

Estos funtores se restringen a la categoría de módulos proyectivos, dando adjuntos: $\text{Proj}_{R^G_K(S)} \rightleftarrows \text{Proj}_{R^G_H(S)}$

3. De Funtores de Mackey de Categoría a Funtores de Mackey Espectrales

Marco de 2-categoría (Sección 3 y Apéndice A):

• Se define la 2-categoría estricta $\mathbf{B}_G$, cuyos objetos son subgrupos de $G$, y la categoría de morfismos $\mathbf{B}_G(H,K)$ consiste esencialmente en combinaciones de transferencias, restricciones y conjugaciones formales
• Resultado técnico clave (Proposición 3.3, generalización de Malkiewich-Merling): Dado un 2-funtor estricto $F: \mathbf{B}_G \to \text{Wald}$ satisfaciendo la condición $(\star)$ (preserva coproductos y objetos cero), se puede construir un funtor de Mackey espectral $K_G(F)$

Condición $(\star)$: Para cualquier $A\in F(H)$ y $S,T\in \mathbf{B}_G(H,K)$: $F(S\sqcup T)(A) \cong F(S)(A) \vee F(T)(A), \quad F(\emptyset)(A) \cong 0_K$

Manejo de pseudofuntores (Proposición 3.4): De hecho, solo se necesita un pseudofuntor (la composición satisface hasta isomorfismo), que mediante estrictificación estándar puede aplicarse la Proposición 3.3

4. Construcción de $K_G(S)$

Categoría de Waldhausen de módulos proyectivos: Para un sistema de coeficientes de anillos $S$, $P^H_S$ es la categoría de módulos proyectivos finitamente generados sobre $R^G_H(S)$, equipada con estructura exacta (monomorfismos admisibles como inyecciones, epimorfismos como epimorfismos que se dividen)

Construcción de pseudofuntor (Proposición 3.6): La asignación $H \mapsto P^H_S$ equipada con funtores de inducción, restricción y conjugación se ensambla en un pseudofuntor $\mathbf{B}_G \to \text{Wald}$ satisfaciendo $(\star)$

Puntos clave de la prueba:

• La pseudofunctoralidad de inducción y restricción proviene de la fórmula de Mackey (2.26) y propiedades de conjugación (2.25)
• La condición $(\star)$ está garantizada por las propiedades de coproducto del sistema de coeficientes
• La prueba completa se difiere al Apéndice B (Proposición B.43), utilizando un método sistematizado

Enunciado del Teorema A (Teorema 3.1, 3.7): $K_G(S)^G \simeq K(\text{Proj}_S) \simeq \prod_{(H)\leq G} K(S^H_\theta)$ donde el producto recorre representantes de clases de conjugación, $S^H_\theta = S(G/H)_\theta[W_H]$

Puntos de Innovación Técnica

1. Avance de la Perspectiva de Sistemas de Coeficientes

• Innovación: En lugar de tratar directamente anillos con acción $G$, se utilizan sistemáticamente sistemas de coeficientes (presheaves en la categoría de órbitas)
• Ventaja: Codifica naturalmente la información de puntos fijos de todos los subgrupos, evitando el problema de Merling donde $(R^G)^H \neq R^H$
• Justificación: Conforme a la filosofía de Elmendorf—la teoría de homotopía equivariante está determinada por el sistema de espacios de puntos fijos

2. Control Fino del Teorema de Descomposición

• Método de filtración (Sección 3.1): Se definen subcategorías $P_{\leq i}$ (que se anulan en $G/H_j$, $j>i$) y $P_i$ (módulos proyectivos generados por $H_i$)
• Lema clave (3.12): Para cada $P\in P_{\leq i}$ existe una única sucesión exacta corta que se divide $P_i \to P \to P/P_i$
• Equivalencia (3.15): Se construye el funtor $\Phi_i: \text{Proj}_{S^{H_i}_\theta} \to P_i$, probando que el funtor de evaluación $\text{ev}_{G/H_i}: P_i \to \text{Proj}_{S^{H_i}_\theta}$ es una equivalencia
• Resultado: Se obtiene una sucesión de fibras que se divide, produciendo inductivamente la descomposición

3. Perspectiva de Complejos Perfectos

• Motivación: El mapa de linealización se define más naturalmente a nivel de complejos de cadenas
• Construcción (Sección 3.2): Se define la categoría de complejos perfectos acotados $H_i$ $\text{Perf}_{\leq i}$
• Proposición clave (3.24): Existe una equivalencia de homotopía $K(\text{Perf}_{\leq i}) \simeq K(\text{Perf}_{\leq(i-1)}) \times K(\text{Perf}_{S^{H_i}_\theta})$ donde la proyección está inducida por la evaluación $\text{ev}_{G/H_i}$
• Ventaja: Permite definir la linealización a nivel de complejos mientras se preserva la estructura de descomposición

4. Estrategia de Construcción del Mapa de Linealización

Definición de funtor (Sección 4.1): Para $Y\in R^G_{fd}(X)$ (espacio retractive equivariante finitamente dominado), se define $L_G(Y)(G/H) = C_*(\tilde{Y}^H, \tilde{X}^H)$ donde $\tilde{Y}^H$ es el pullback de $Y^H$ a lo largo de la retracción $Y^H\to X^H$

Exactitud débil: $L_G$ no preserva coproductos (solo hasta cuasi-isomorfismo), pero preserva pushouts débiles, por lo que induce un mapa de $K$-teoría (utilizando la construcción $S'_\bullet$ de Blumberg-Mandell)

Manejo de la pseudonaturalidad:

• $L$ no es una transformación pseudonatural (la transferencia solo preserva hasta cuasi-isomorfismo)
• Se introduce el concepto de "transformación débilmente natural" (transformación lax donde las 2-células son equivalencias débiles)
• El Apéndice B prueba que esto es suficiente para inducir un mapa de espectros $G$ genuino (Teorema B.12)

Compatibilidad con la descomposición (Teorema 4.20): Diagrama conmutativo clave