Une application de linéarisation pour la $K$-théorie algébrique équivariante authentique

Informations fondamentales

• ID de l'article: 2309.08025
• Titre: A linearization map for genuine equivariant algebraic $K$-theory
• Auteurs: Maxine E. Calle, David Chan, Andres Mejia
• Classification: math.AT (Topologie algébrique), math.KT (K-théorie et homologie)
• Date de publication: 19 novembre 2025 (v3)
• Lien de l'article: https://arxiv.org/abs/2309.08025

Résumé

Cet article introduit une version de la $K$-théorie algébrique pour les systèmes de coefficients d'anneaux (coefficient systems of rings), dont les valeurs sont des spectres $G$-authentiques pour un groupe fini $G$. Les auteurs utilisent cette construction pour établir un spectre $G$-authentique $K_G(\mathbb{Z}[\pi_1(X)])$ associé à un $G$-espace $X$, fournissant un habitat naturel pour les versions équivariantes des invariants classiques (tels que l'obstruction de finitude de Wall et la torsion de Whitehead). L'article établit une comparaison entre ce spectre de $K$-théorie et la $A$-théorie équivariante de Malkiewich-Merling via une application de linéarisation équivariante authentique.

Contexte de recherche et motivation

1. Problème de recherche

La $K$-théorie algébrique classique $K(\mathbb{Z}[\pi_1(X)])$ encode des invariants géométriques importants d'un espace topologique $X$, incluant la caractéristique d'Euler, l'obstruction de finitude de Wall et la torsion de Whitehead. Lorsque l'espace $X$ possède une action d'un groupe fini $G$, l'anneau de groupe $\mathbb{Z}[\pi_1(X)]$ hérite d'une action $G$, et son spectre de $K$-théorie devient un spectre $G$-naïf. Cependant, cette structure naïve est insuffisante pour capturer complètement le type d'homotopie $G$-équivariant de $X$.

2. Importance du problème

• Absence d'invariants équivariants: On sait que des analogues équivariants de l'obstruction de finitude de Wall et de la torsion de Whitehead existent (Baglivo 1979, Andrzejewski 1986, Illman 1974, etc.), mais il manque un cadre unifié au niveau spectral
• Nécessité des spectres authentiques: Pour décrire complètement le type d'homotopie équivariant, on a besoin de spectres $G$-authentiques plutôt que de spectres $G$-naïfs
• Connexion avec la $A$-théorie équivariante: La $A$-théorie équivariante authentique $A_G(X)$ construite par Malkiewich-Merling nécessite d'être reliée à la $K$-théorie algébrique

3. Limitations des approches existantes

• Construction de Merling: Pour un anneau $R$ avec action $G$, Merling a construit un spectre $G$-authentique $K^\theta(R)$, mais lorsque $|G|$ est inversible dans $R$, ses points fixes $K^\theta(R)^H \simeq K(R^H_\theta[W_GH])$ ne capturent que les points fixes de l'anneau, tandis que $(Z[\pi_1(X)])^H \neq Z[\pi_1(X^H)]$, ce qui ne décrit pas précisément les données des points fixes de l'espace
• Approche de Lück: Lück a construit un spectre dont les groupes d'homotopie de bas ordre contiennent des invariants équivariants, mais la relation avec les spectres $G$-authentiques reste obscure

4. Motivation de la recherche

Cet article adopte la philosophie d'Elmendorf: la théorie d'homotopie équivariante peut être comprise en étudiant l'ensemble des espaces de points fixes $\{X^H\}_{H\leq G}$ et leurs applications de restriction. Cela a motivé l'idée de construire des spectres $G$-authentiques à partir de systèmes de coefficients d'anneaux (préfaisceaux sur la catégorie d'orbites).

Contributions principales

1. $K$-théorie des anneaux de coefficients: Construction d'un foncteur $K_G(S)$ des systèmes de coefficients d'anneaux vers les spectres $G$-authentiques, dont les points fixes possèdent une décomposition explicite (théorème A): $K_G(S)^G \simeq \prod_{(H)\leq G} K(S^H_\theta)$
2. $K$-théorie du groupe fondamental équivariant: Pour un $G$-espace $X$, définition du système de coefficients d'anneaux $\mathbb{Z}[\pi_1(X)]$, donnant un spectre $G$-authentique $K_G(\mathbb{Z}[\pi_1(X)])$, récupérant les résultats de Lück et fournissant une réalisation spectrale des invariants équivariants
3. Application de linéarisation équivariante authentique: Construction d'une application $L: A_G(X) \to K_G(\mathbb{Z}[\pi_1(X)])$ (théorème C), prouvant qu'elle est équivariante 2-connexe et compatible avec la décomposition des points fixes (théorème D)
4. Réalisation des invariants géométriques: Preuve que la caractéristique d'Euler équivariante, l'obstruction de finitude de Wall et la torsion de Whitehead se réalisent comme des éléments dans les groupes d'homotopie de $A_G(X)$ (théorème B)
5. Contributions techniques: Développement d'une approche systématique pour construire des foncteurs de Mackey spectraux et leurs morphismes à partir d'entrées de 2-catégories (appendice B), avec des applications indépendantes attendues

Explication détaillée des méthodes

Définition de la tâche

Tâche centrale: Pour un groupe fini $G$ et un système de coefficients d'anneaux $S: \mathcal{O}_G^{op} \to \text{Ring}$, construire un spectre $G$-authentique $K_G(S)$ tel que:

• La valeur en chaque sous-groupe $H\leq G$ soit $K(P^H_S)$ (la $K$-théorie de la catégorie des modules projectifs de type fini)
• Les applications de transfert, restriction et conjugaison soient induites par les foncteurs d'induction, restriction et leurs $K$-théories induites
• Les points fixes possèdent une décomposition calculable

Entrées:

• Un système de coefficients d'anneaux $S: \mathcal{O}_G^{op} \to \text{Ring}$, c'est-à-dire un anneau $S^H$ pour chaque $G/H$, muni d'applications de restriction et d'une action du groupe de Weyl
• Ou plus concrètement, le système de coefficients d'anneaux $\mathbb{Z}[\pi_1(X)](G/H) := \mathbb{Z}[\pi_1(X^H)]$ défini par un $G$-espace $X$

Sorties: Un spectre $G$-authentique (via le modèle des foncteurs de Mackey spectraux)

Architecture du modèle

1. Structure catégorique des systèmes de coefficients

Définition (2.1-2.2):

• Un système de coefficients $M: \mathcal{O}_G^{op} \to \text{Ab}$ est un foncteur de la catégorie d'orbites vers les groupes abéliens
• Un système de coefficients d'anneaux $S$ est un système de coefficients dont les valeurs sont dans la catégorie des anneaux, avec des applications de restriction et une action du groupe de Weyl qui sont des homomorphismes d'anneaux

Structures clés:

• Produit monoïdal $\square$: $(M\square N)^H = M^H \otimes N^H$, avec unité le système de coefficients constant $\mathbb{Z}$
• Les systèmes de coefficients d'anneaux sont exactement les monoïdes dans cette catégorie monoïdale
• La catégorie des $S$-modules $\text{Mod}_S$ est définie comme la catégorie des modules dans cette catégorie monoïdale

Anneau de groupe tordu (2.6-2.7): Pour un anneau $R$ avec action $G$, l'anneau de groupe tordu $R_\theta[G]$ a une multiplication définie par: $(r_1g_1)(r_2g_2) = (r_1r_2^{g_1})g_1g_2$ Un $S$-module $M$ est équivalent à la donnée, en chaque niveau $M^H$, d'un $S^H_\theta[W_GH]$-module, compatible avec les applications de restriction (lemme 2.9)

2. Foncteurs d'induction et restriction

Pour $H\leq K$, on définit un foncteur $\rho: \mathcal{O}_H \to \mathcal{O}_K$:

• Foncteur de restriction $R^K_H: \text{Coeff}_K \to \text{Coeff}_H$ défini comme $(ρ^{op})^*$
• Foncteur d'induction $I^K_H: \text{Coeff}_H \to \text{Coeff}_K$ défini comme l'extension de Kan à gauche $ρ^{op}_!$

Formule de calcul (lemme 2.18): $I^K_H(M)^J \cong \bigoplus_{x\in (K/H)^J} M^{J^x}$ où $J^x = x^{-1}Jx$ est le sous-groupe conjugué

Réciprocité de Frobenius (lemme 2.16): $M \square I^K_H(N) \cong I^K_H(R^K_H(M) \square N)$

Formule de double classe de Mackey (proposition 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$

Ces foncteurs se restreignent à la catégorie des modules projectifs, donnant des adjoints: $\text{Proj}_{R^G_K(S)} \rightleftarrows \text{Proj}_{R^G_H(S)}$

3. Des foncteurs de Mackey catégoriques aux foncteurs de Mackey spectraux

Cadre de 2-catégorie (section 3 et appendice A):

• Définition d'une 2-catégorie stricte $\mathbf{B}_G$, dont les objets sont les sous-groupes de $G$, et les catégories de morphismes $\mathbf{B}_G(H,K)$ sont essentiellement composées de transferts, restrictions et conjugaisons formels
• Résultat technique clé (proposition 3.3, généralisant Malkiewich-Merling): Étant donné un 2-foncteur strict $F: \mathbf{B}_G \to \text{Wald}$ satisfaisant la condition $(\star)$ (préservant les coproduits et l'objet zéro), on peut construire un foncteur de Mackey spectral $K_G(F)$

Condition $(\star)$: Pour tout $A\in F(H)$ et $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$

Traitement des pseudo-foncteurs (proposition 3.4): En réalité, seuls les pseudo-foncteurs (avec compositions satisfaites à isomorphisme près) sont nécessaires, qui peuvent être appliqués via la strictification standard à la proposition 3.3

4. Construction de $K_G(S)$

Catégorie de Waldhausen des modules projectifs: Pour un système de coefficients d'anneaux $S$, $P^H_S$ est la catégorie des modules projectifs de type fini sur $R^G_H(S)$, munie d'une structure exacte (les monomorphismes admissibles sont les monomorphismes, les épimorphismes admissibles sont les épimorphismes scindés)

Construction du pseudo-foncteur (proposition 3.6): L'assignation $H \mapsto P^H_S$ munie des foncteurs d'induction, restriction et conjugaison s'assemble en un pseudo-foncteur $\mathbf{B}_G \to \text{Wald}$ satisfaisant $(\star)$

Points clés de la preuve:

• La pseudo-fonctorialité de l'induction et restriction provient de la formule de Mackey (2.26) et des propriétés de conjugaison (2.25)
• La condition $(\star)$ est garantie par la propriété de coproduit du système de coefficients
• La preuve complète est reportée à l'appendice B (proposition B.43), utilisant une approche systématique

Énoncé du théorème A (théorèmes 3.1, 3.7): $K_G(S)^G \simeq K(\text{Proj}_S) \simeq \prod_{(H)\leq G} K(S^H_\theta)$ où le produit parcourt les représentants des classes de conjugaison, $S^H_\theta = S(G/H)_\theta[W_H]$

Points d'innovation technique

1. Percée de la perspective des systèmes de coefficients

• Innovation: Au lieu de traiter directement les anneaux avec action $G$, on utilise systématiquement les systèmes de coefficients (préfaisceaux sur la catégorie d'orbites)
• Avantages: Encode naturellement les informations de points fixes de tous les sous-groupes, évite le problème $(R^G)^H \neq R^H$ de la méthode de Merling
• Justification: Conforme à la philosophie d'Elmendorf — la théorie d'homotopie équivariante est déterminée par le système des espaces de points fixes

2. Contrôle fin du théorème de décomposition

• Méthode de filtration (section 3.1): Définition des sous-catégories $P_{\leq i}$ (s'annulant sur $G/H_j$, $j>i$) et $P_i$ (modules projectifs générés par $H_i$)
• Lemme clé (3.12): Chaque $P\in P_{\leq i}$ possède une unique suite exacte courte scindée $P_i \to P \to P/P_i$
• Équivalence (3.15): Construction d'un foncteur $\Phi_i: \text{Proj}_{S^{H_i}_\theta} \to P_i$, preuve que le foncteur d'évaluation $\text{ev}_{G/H_i}: P_i \to \text{Proj}_{S^{H_i}_\theta}$ est une équivalence
• Résultat: Obtention de suites fibrées scindées, produisant inductivement la décomposition

3. Perspective des complexes parfaits

• Motivation: L'application de linéarisation se définit plus naturellement au niveau des complexes de chaînes
• Construction (section 3.2): Définition de la catégorie $H_i$-bornée des complexes parfaits $\text{Perf}_{\leq i}$
• Proposition clé (3.24): Existence d'une équivalence d'homotopie $K(\text{Perf}_{\leq i}) \simeq K(\text{Perf}_{\leq(i-1)}) \times K(\text{Perf}_{S^{H_i}_\theta})$ où la projection est induite par l'évaluation $\text{ev}_{G/H_i}$
• Avantages: Permet de définir la linéarisation au niveau des complexes tout en préservant la structure de décomposition

4. Stratégie de construction de l'application de linéarisation

Définition du foncteur (section 4.1): Pour $Y\in R^G_{fd}(X)$ (espace rétractif équivariant finiment dominé), on définit $L_G(Y)(G/H) = C_*(\tilde{Y}^H, \tilde{X}^H)$ où $\tilde{Y}^H$ est le pullback de $Y^H$ le long de la rétraction $Y^H\to X^H$

Quasi-exactitude faible: $L_G$ ne préserve pas les coproduits (seulement à quasi-isomorphisme près), mais préserve les pushouts faibles, induisant donc une application de $K$-théorie (utilisant la construction $S'_\bullet$ de Blumberg-Mandell)

Traitement de la pseudo-naturalité:

• $L$ n'est pas une transformation pseudo-naturelle (le transfert préserve seulement à quasi-isomorphisme près)
• Introduction du concept de "transformation faiblement naturelle" (transformation lax avec 2-cellules étant des équivalences faibles)
• L'appendice B prouve que ceci suffit pour induire une application de spectres $G$-authentiques (théorème B.12)

Compatibilité avec la décomposition (théorème 4.20): Diagramme commutatif clé