2025-11-14T15:10:11.421676

The slices of quaternionic Eilenberg-Mac Lane spectra

Guillou, Slone
We compute the slices and slice spectral sequence of integral suspensions of the equivariant Eilenberg-Mac Lane spectra $H\underline{\mathbb{Z}}$ for the group of equivariance $Q_8$. Along the way, we compute the Mackey functors $\underlineπ_{kρ} H\underline{\mathbb{Z}}$.
academic

Les tranches des spectres d'Eilenberg-Mac Lane quaternioniques

Informations fondamentales

  • ID de l'article: 2204.03127
  • Titre: The slices of quaternionic Eilenberg-Mac Lane spectra
  • Auteurs: Bertrand J. Guillou, Carissa Slone
  • Classification: math.AT (Topologie algébrique)
  • Date de publication: 8 avril 2022
  • Lien de l'article: https://arxiv.org/abs/2204.03127

Résumé

Cet article calcule les tranches et la suite spectrale des tranches du spectre d'Eilenberg-Mac Lane équivariant suspendu entier HZ‾H\underline{\mathbb{Z}} pour le groupe quaternionique Q8Q_8 en tant que groupe équivariant. Au cours de ce processus, le foncteur de Mackey πkρHZ‾\pi_{k\rho}H\underline{\mathbb{Z}} est également calculé.

Contexte et motivation de la recherche

Contexte du problème

  1. Importance de la filtration par tranches: La filtration par tranches GG-équivariante a d'abord été définie par Dugger et a joué un rôle clé dans la preuve de la conjecture de l'invariant de Kervaire par Hill, Hopkins et Ravenel. Elle est l'analogue de la filtration de Postnikov classique dans la catégorie d'homotopie stable GG-équivariante.
  2. Manifestation de la périodicité: Contrairement à la filtration de Postnikov GG-équivariante, la filtration par tranches peut manifester la périodicité de certains spectres équivariants par rapport à la suspension par les sphères de représentation GG, ce qui n'est pas visible dans la filtration de Postnikov.
  3. Perspectives d'application: Dans la théorie de Lubin-Tate de hauteur nn, lorsque n=2mn = 2m (mm impair), le groupe de stabilisateurs de Morava contient un sous-groupe Q8Q_8. Par conséquent, les techniques de tranches Q8Q_8-équivariantes pourraient fournir des perspectives pour comprendre les sphères K(n)K(n)-locales.

Limitations des travaux existants

Bien que plusieurs chercheurs aient calculé les tranches des spectres d'Eilenberg-Mac Lane équivariants pour divers groupes:

  • Le cas des pp-groupes cycliques impairs a été étudié
  • Le cas des groupes diédraux D2pD_{2p} (pp impair) est connu
  • Le cas du groupe de Klein quatre K4K_4 a été complété

Cependant, le cas de Q8Q_8 n'avait pas été systématiquement étudié auparavant.

Contributions principales

  1. Calcul complet des tranches de Q8Q_8: Premier calcul systématique de toutes les tranches de ΣnHQ8Z\Sigma^n H^{Q_8}\mathbb{Z} et des suites spectrales de tranches correspondantes
  2. Établissement de la théorie des foncteurs de gonflage: Étude approfondie de trois foncteurs de gonflage (gonflage ordinaire, gonflage géométrique, gonflage de Z\mathbb{Z}-modules) et leurs interactions avec la filtration par tranches
  3. Caractérisation des sous-groupes goulots: Preuve que les sous-groupes goulots ne peuvent apparaître que dans les pp-groupes cycliques ou les groupes quaternioniques, avec une classification complète
  4. Calcul des foncteurs de Mackey: Calcul de l'homologie des foncteurs de Mackey Z\mathbb{Z} gradués par RO(Q8)RO(Q_8)

Explication détaillée des méthodes

Définition de la tâche

Calculer les tranches Pkk(ΣnHQ8Z)P^k_k(\Sigma^n H^{Q_8}\mathbb{Z}) et la suite spectrale des tranches de ΣnHQ8Z\Sigma^n H^{Q_8}\mathbb{Z}, où n≥0n \geq 0 et kk est la dimension de tranche.

Architecture de la méthode principale

1. Méthode des foncteurs de gonflage

Pour un sous-groupe normal N◃GN \triangleleft G, trois foncteurs de gonflage sont définis:

  • Gonflage ordinaire q∗:SpG/N→SpGq^*: \text{Sp}^{G/N} \to \text{Sp}^G
  • Gonflage géométrique ϕN∗:SpG/N→SpG\phi^*_N: \text{Sp}^{G/N} \to \text{Sp}^G
  • Gonflage de Z\mathbb{Z}-modules ΨN∗:ModHG/NZ→ModHGZ\Psi^*_N: \text{Mod}_{H^{G/N}\mathbb{Z}} \to \text{Mod}_{H^G\mathbb{Z}}

2. Théorie des sous-groupes goulots

Définition: Un sous-groupe normal N◃GN \triangleleft G est appelé sous-groupe goulot s'il est un sous-groupe propre non trivial et si pour tout sous-groupe H≤GH \leq G, soit HH contient NN, soit NN contient HH.

Théorème clé (Proposition 3.6): Un sous-groupe goulot NN doit être cyclique, et GG est soit un pp-groupe cyclique, soit un groupe quaternionique généralisé.

3. Théorème technique principal

Théorème 3.19: Soit N◃GN \triangleleft G un sous-groupe goulot d'ordre premier pp. Pour n≥0n \geq 0, les tranches non triviales de ΣnHG(ΨN∗M)\Sigma^n H^G(\Psi^*_N M) au-dessus du degré pnpn sont:

Ppkpk(ΣnHG(ΨN∗M))≃ΨN∗Pkk(ΣnHG/NM)≃ϕN∗Pkk(ΣnHG/NM)P^{pk}_{pk}(\Sigma^n H^G(\Psi^*_N M)) \simeq \Psi^*_N P^k_k(\Sigma^n H^{G/N} M) \simeq \phi^*_N P^k_k(\Sigma^n H^{G/N} M)

pour k>nk > n.

Stratégie de calcul spécifique

1. Utilisation de l'application quotient Q8→K4Q_8 \to K_4

Par l'application quotient via le sous-groupe central Z=⟨−1⟩Z = \langle -1 \rangle, Q8→Q8/Z≅K4Q_8 \to Q_8/Z \cong K_4, en utilisant les résultats connus pour K4K_4.

2. Décomposition des représentations

La représentation régulière de Q8Q_8 se décompose comme: ρQ8≅H⊕ρK4\rho_{Q_8} \cong H \oplus \rho_{K_4} où HH est la représentation irréductible 4-dimensionnelle de Q8Q_8, et ρK4\rho_{K_4} est le gonflage de la représentation régulière de K4K_4.

3. Calcul récursif

Par l'analyse des tours de tranches de Σr+jρKHQ8Z\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z} (où r∈{2,3,4,5}r \in \{2,3,4,5\}) pour obtenir toutes les tranches.

Résultats principaux

Description complète des tranches

Tranches n (Proposition 6.7)

Pour n≥5n \geq 5, en écrivant n=8k+rn = 8k + r où r∈[5,12]r \in [5,12]:

\Sigma^{1+\rho_K+k\rho_Q} H^{Q_8}\mathbb{Z} & r = 5 \\ \Sigma^{2+\rho_K+k\rho_Q} H^{Q_8}\mathbb{Z}(3,2) & r = 6 \\ \Sigma^{-1+(k+1)\rho_Q} H^{Q_8}\mathbb{Z}^* & r = 7 \\ \Sigma^{(k+1)\rho_Q} H^{Q_8}\mathbb{Z}^* & r = 8 \\ \vdots \end{cases}$$ #### Tranches 8k (Proposition 6.9) Pour $8k > n$, les tranches 8k possèdent une description segmentée complexe impliquant divers foncteurs de Mackey tels que $g^m$, $mg^*$, $\phi^*_Z B(2,0)$, etc. #### Autres tranches - **Tranches 8k+4**: Impliquent principalement $\phi^*_{LDR}F_2$, $\phi^*_Z F_2$, $m$, $mg$ et autres foncteurs de Mackey - **Tranches 4k+2**: Non triviales uniquement lorsque $n$ est pair, impliquant $w$, $\phi^*_Z F_2$, etc. ### Foncteurs de Mackey d'homotopie L'article calcule également en détail les foncteurs de Mackey d'homotopie de chaque tranche, par exemple: **Proposition 4.10**: Les foncteurs de Mackey d'homotopie non triviaux de $\Sigma^{k\rho_Q} H^{Q_8}\mathbb{Z}$ sont: $$\pi_n(\Sigma^{k\rho_Q} H^{Q_8}\mathbb{Z}) \simeq \begin{cases} \mathbb{Z} & n = 8k \\ mgw & 4k < n < 8k, n \equiv 2 \pmod{4} \\ B(3,0) & 4k \leq n < 8k, n \equiv 0 \pmod{4} \\ \phi^*_Z \pi_n(\Sigma^{k\rho_K} H^{K_4}\mathbb{Z}) & n < 4k \end{cases}$$ ## Suite spectrale des tranches La section 8 de l'article fournit des diagrammes de suites spectrales de tranches pour plusieurs exemples concrets, incluant les suites spectrales complètes de $\Sigma^n H^{Q_8}\mathbb{Z}$ (pour $n = 5,6,7,8,10,12,15$) et les comparaisons avec les cas $C_4$-équivariants correspondants. ### Motifs de différentielles Par restriction aux informations du sous-groupe $C_4$, de nombreuses différentielles de tranches peuvent être déterminées. Par exemple: - Dans les cas $\Sigma^5 H^{Q_8}\mathbb{Z}$, $\Sigma^6 H^{Q_8}\mathbb{Z}$ et $\Sigma^7 H^{Q_8}\mathbb{Z}$, puisque nous devons obtenir $\pi_n(P^n_n \Sigma^n H^{Q_8}\mathbb{Z}) \cong \mathbb{Z}$, toutes les différentielles sont forcées d'être déterminées. ## Points d'innovation technique ### 1. Systématisation du concept de sous-groupe goulot Première étude systématique des propriétés des sous-groupes goulots, avec preuve d'un théorème de classification, fournissant un outil important pour traiter les foncteurs de gonflage. ### 2. Théorie unifiée de trois foncteurs de gonflage Analyse approfondie des relations entre gonflage ordinaire, gonflage géométrique et gonflage de $\mathbb{Z}$-modules, en particulier leur équivalence dans le cas des sous-groupes goulots. ### 3. Stratégie de calcul récursif Par l'analyse des tours de tranches de formes spécifiques $\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z}$, établissement d'une méthode de calcul récursif systématique. ## Travaux connexes ### Développement historique 1. **Travail fondateur de Dugger**: Première définition de la filtration par tranches $G$-équivariante 2. **Percée de HHR**: Application à la preuve de la conjecture de l'invariant de Kervaire 3. **Développements ultérieurs**: Introduction par Ullman de la filtration par tranches "régulière", étude progressive des cas pour divers groupes ### Relation avec cet article Cet article poursuit la ligne de recherche du calcul des tranches des spectres d'Eilenberg-Mac Lane équivariants pour des groupes spécifiques, en particulier: - Construction sur la base des travaux de Slone concernant $K_4$ - Fourniture d'un cadre pour les recherches futures sur les groupes quaternioniques généralisés - Établissement de connexions avec les applications de la théorie de Lubin-Tate ## Conclusion et discussion ### Conclusions principales 1. Détermination complète de toutes les tranches de $\Sigma^n H^{Q_8}\mathbb{Z}$ 2. Établissement d'une théorie générale pour traiter les cas de sous-groupes goulots 3. Fourniture de calculs détaillés de suites spectrales de tranches ### Limitations 1. Les calculs se concentrent principalement sur $Q_8$; la généralisation à des groupes quaternioniques plus généraux nécessite des travaux ultérieurs 2. Les applications concrètes à la théorie de Lubin-Tate nécessitent des recherches ultérieures 3. Certains calculs techniques sont complexes; des méthodes plus élégantes pourraient exister ### Directions futures 1. Généralisation à des groupes quaternioniques généralisés plus généraux 2. Applications concrètes dans la théorie de Lubin-Tate 3. Connexions avec d'autres théories d'homotopie équivariante ## Évaluation approfondie ### Avantages 1. **Complétude théorique**: Fournit une solution complète pour le cas $Q_8$ 2. **Innovation technique**: Étude systématique de la théorie des sous-groupes goulots et des foncteurs de gonflage 3. **Calculs détaillés**: Contient de nombreux calculs concrets de foncteurs de Mackey et diagrammes de suites spectrales 4. **Généralité des méthodes**: Le cadre technique établi peut s'appliquer à d'autres problèmes similaires ### Insuffisances 1. **Complexité technique**: Le processus de calcul est relativement complexe; la lisibilité pourrait être améliorée 2. **Applications limitées**: Principalement des calculs théoriques; les applications pratiques nécessitent un développement ultérieur 3. **Généralisation**: L'extension à des groupes plus généraux n'est pas directe ### Impact 1. **Valeur académique**: Fournit des outils de calcul importants et des résultats pour la théorie d'homotopie équivariante 2. **Recherches ultérieures**: Fournit des orientations méthodologiques pour l'étude des tranches d'autres groupes 3. **Potentiel d'application**: Connexions potentielles avec des problèmes importants en topologie algébrique (comme l'invariant de Kervaire) ### Scénarios d'application 1. Recherche théorique en théorie d'homotopie équivariante 2. Applications connexes de la théorie de Lubin-Tate 3. Problèmes en topologie algébrique impliquant des actions de groupes quaternioniques ## Références L'article cite 40 références connexes, incluant principalement: - [HHR1-3]: Travaux fondateurs de Hill-Hopkins-Ravenel sur la filtration par tranches - [S1]: Travaux antérieurs de Slone sur le groupe de Klein quatre - [D]: Définition originale de Dugger de la filtration par tranches - [U]: Travaux d'Ullman sur la filtration par tranches "régulière"