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

The Slices of Quaternionic Eilenberg-Mac Lane Spectra

Basic Information

  • Paper ID: 2204.03127
  • Title: The Slices of Quaternionic Eilenberg-Mac Lane Spectra
  • Authors: Bertrand J. Guillou, Carissa Slone
  • Classification: math.AT (Algebraic Topology)
  • Publication Date: April 8, 2022
  • Paper Link: https://arxiv.org/abs/2204.03127

Abstract

This paper computes the slices and slice spectral sequences of the integral suspended equivariant Eilenberg-Mac Lane spectrum HZ‾H\underline{\mathbb{Z}} for the quaternion group Q8Q_8 as an equivariant group. In the process, the Mackey functor πkρHZ‾\pi_{k\rho}H\underline{\mathbb{Z}} is also computed.

Research Background and Motivation

Problem Background

  1. Importance of Slice Filtrations: The GG-equivariant slice filtration was first defined by Dugger and played a crucial role in Hill, Hopkins, and Ravenel's proof of the Kervaire invariant conjecture. It is an analog of the classical Postnikov filtration in the GG-equivariant stable homotopy category.
  2. Manifestation of Periodicity: Unlike the GG-equivariant Postnikov filtration, the slice filtration can display periodicity of certain equivariant spectra with respect to suspension by GG-representation spheres, which is invisible in the Postnikov filtration.
  3. Application Prospects: In Lubin-Tate theory of height nn when n=2mn = 2m (mm odd), the Morava stabilizer group contains a Q8Q_8 subgroup. Therefore, Q8Q_8-equivariant slice techniques may provide insights into understanding K(n)K(n)-local spheres.

Limitations of Existing Work

Although scholars have computed slices of equivariant Eilenberg-Mac Lane spectra for several groups:

  • Cases of odd cyclic pp-groups have been studied
  • Cases of dihedral groups D2pD_{2p} (pp odd) are known
  • Cases of the Klein four-group K4K_4 have been completed

However, the case of Q8Q_8 had not been systematically studied previously.

Core Contributions

  1. Complete Computation of Q8Q_8 Slices: First systematic computation of all slices of ΣnHQ8Z\Sigma^n H^{Q_8}\mathbb{Z} and corresponding slice spectral sequences
  2. Establishment of Inflation Functor Theory: In-depth investigation of three types of inflation functors (ordinary inflation, geometric inflation, Z\mathbb{Z}-module inflation) and their interactions with slice filtrations
  3. Characterization of Bottleneck Subgroups: Proof that bottleneck subgroups can only appear in cyclic pp-groups or quaternion groups, with complete classification
  4. Computation of Mackey Functors: Computation of RO(Q8)RO(Q_8)-graded Mackey functor Z\mathbb{Z}-homology

Detailed Methodology

Task Definition

Compute the slices Pkk(ΣnHQ8Z)P^k_k(\Sigma^n H^{Q_8}\mathbb{Z}) and slice spectral sequences of ΣnHQ8Z\Sigma^n H^{Q_8}\mathbb{Z}, where n≥0n \geq 0 and kk is the slice dimension.

Core Methodological Architecture

1. Inflation Functor Method

For a normal subgroup N◃GN \triangleleft G, three inflation functors are defined:

  • Ordinary Inflation q∗:SpG/N→SpGq^*: \text{Sp}^{G/N} \to \text{Sp}^G
  • Geometric Inflation ϕN∗:SpG/N→SpG\phi^*_N: \text{Sp}^{G/N} \to \text{Sp}^G
  • Z\mathbb{Z}-Module Inflation ΨN∗:ModHG/NZ→ModHGZ\Psi^*_N: \text{Mod}_{H^{G/N}\mathbb{Z}} \to \text{Mod}_{H^G\mathbb{Z}}

2. Bottleneck Subgroup Theory

Definition: A normal subgroup N◃GN \triangleleft G is called a bottleneck subgroup if it is a nontrivial proper subgroup and for any subgroup H≤GH \leq G, either HH contains NN or NN contains HH.

Key Theorem (Proposition 3.6): A bottleneck subgroup NN must be cyclic, and GG is either a cyclic pp-group or a generalized quaternion group.

3. Main Technical Theorem

Theorem 3.19: Let N◃GN \triangleleft G be a bottleneck subgroup of order a prime pp. For n≥0n \geq 0, the nontrivial slices of ΣnHG(ΨN∗M)\Sigma^n H^G(\Psi^*_N M) above degree pnpn are:

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)

for k>nk > n.

Concrete Computational Strategy

1. Utilization of the Quotient Map Q8→K4Q_8 \to K_4

Through the quotient map by the center subgroup Z=⟨−1⟩Z = \langle -1 \rangle, Q8→Q8/Z≅K4Q_8 \to Q_8/Z \cong K_4, leveraging known results about K4K_4.

2. Representation Decomposition

The regular representation of Q8Q_8 decomposes as: ρQ8≅H⊕ρK4\rho_{Q_8} \cong H \oplus \rho_{K_4} where HH is a 4-dimensional irreducible Q8Q_8-representation and ρK4\rho_{K_4} is the inflation of the K4K_4 regular representation.

3. Recursive Computation

By analyzing the slice towers of Σr+jρKHQ8Z\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z} (where r∈{2,3,4,5}r \in \{2,3,4,5\}), all slices are obtained.

Main Results

Complete Description of Slices

nn-Slices (Proposition 6.7)

For n≥5n \geq 5, writing n=8k+rn = 8k + r where 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}$$ #### $8k$-Slices (Proposition 6.9) For $8k > n$, the $8k$-slices have complex piecewise descriptions involving various Mackey functors such as $g^m$, $mg^*$, $\phi^*_Z B(2,0)$, etc. #### Other Slices - **$8k+4$-Slices**: Primarily involve Mackey functors $\phi^*_{LDR}F_2$, $\phi^*_Z F_2$, $m$, $mg$, etc. - **$4k+2$-Slices**: Nontrivial only when $n$ is even, involving $w$, $\phi^*_Z F_2$, etc. ### Homotopy Mackey Functors The paper also provides detailed computations of homotopy Mackey functors for each slice, for example: **Proposition 4.10**: The nontrivial homotopy Mackey functors of $\Sigma^{k\rho_Q} H^{Q_8}\mathbb{Z}$ are: $$\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}$$ ## Slice Spectral Sequences Section 8 of the paper provides slice spectral sequence diagrams for multiple concrete examples, including complete spectral sequences for $\Sigma^n H^{Q_8}\mathbb{Z}$ ($n = 5,6,7,8,10,12,15$), with comparisons to corresponding $C_4$-equivariant cases. ### Differential Patterns Through restriction to $C_4$-subgroup information, many slice differentials can be determined. For example: - In the cases of $\Sigma^5 H^{Q_8}\mathbb{Z}$, $\Sigma^6 H^{Q_8}\mathbb{Z}$, and $\Sigma^7 H^{Q_8}\mathbb{Z}$, since we must obtain $\pi_n(P^n_n \Sigma^n H^{Q_8}\mathbb{Z}) \cong \mathbb{Z}$, all differentials are forced to be determined. ## Technical Innovations ### 1. Systematization of the Bottleneck Subgroup Concept First systematic study of bottleneck subgroup properties, proving their classification theorem, which provides important tools for handling inflation functors. ### 2. Unified Theory of Three Inflation Functors In-depth analysis of relationships between ordinary inflation, geometric inflation, and $\mathbb{Z}$-module inflation, particularly their equivalence in the bottleneck subgroup case. ### 3. Recursive Computational Strategy By analyzing slice towers of specific forms $\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z}$, a systematic recursive computation method is established. ## Related Work ### Historical Development 1. **Dugger's Pioneering Work**: First definition of $G$-equivariant slice filtrations 2. **HHR Breakthrough**: Application in the proof of the Kervaire invariant conjecture 3. **Subsequent Development**: Ullman's introduction of "regular" slice filtrations, with cases of various groups studied progressively ### Relationship to This Paper This paper continues the research line of computing slices of equivariant Eilenberg-Mac Lane spectra for specific groups, particularly: - Building on Slone's work on $K_4$ - Providing a framework for future study of generalized quaternion groups - Establishing connections with applications to Lubin-Tate theory ## Conclusions and Discussion ### Main Conclusions 1. Complete determination of all slices of $\Sigma^n H^{Q_8}\mathbb{Z}$ 2. Establishment of general theory for handling bottleneck subgroup cases 3. Provision of detailed slice spectral sequence computations ### Limitations 1. Computations primarily concentrated on $Q_8$; generalization to more general quaternion groups requires further work 2. Concrete applications to Lubin-Tate theory require subsequent research 3. Certain technical computations are quite complex; more elegant methods may exist ### Future Directions 1. Generalization to more general generalized quaternion groups 2. Concrete applications in Lubin-Tate theory 3. Connections with other equivariant homotopy theories ## In-Depth Evaluation ### Strengths 1. **Theoretical Completeness**: Provides a complete solution for the $Q_8$ case 2. **Technical Innovation**: Systematic study of bottleneck subgroup theory and inflation functors 3. **Computational Thoroughness**: Contains extensive concrete Mackey functor computations and spectral sequence diagrams 4. **Method Generality**: The established technical framework is applicable to other similar problems ### Weaknesses 1. **Technical Complexity**: The computational process is quite complex; readability could be improved 2. **Limited Applications**: Primarily theoretical computations; practical applications require further development 3. **Generalization**: Extension to more general groups is not straightforward ### Academic Impact 1. **Scholarly Value**: Provides important computational tools and results for equivariant homotopy theory 2. **Subsequent Research**: Provides methodological guidance for studying slices of other groups 3. **Application Potential**: Has potential connections with important problems in algebraic topology (such as the Kervaire invariant) ### Applicable Scenarios 1. Theoretical research in equivariant homotopy theory 2. Related applications in Lubin-Tate theory 3. Problems in algebraic topology involving quaternion group actions ## References The paper cites 40 related references, primarily including: - [HHR1-3]: Foundational work by Hill-Hopkins-Ravenel on slice filtrations - [S1]: Prior work by Slone on the Klein four-group - [D]: Original definition of slice filtrations by Dugger - [U]: Work by Ullman on regular slice filtrations