Los cortes de los espectros de Eilenberg-Mac Lane cuaterniónicos

Información Básica

• ID del Artículo: 2204.03127
• Título: Los cortes de los espectros de Eilenberg-Mac Lane cuaterniónicos
• Autores: Bertrand J. Guillou, Carissa Slone
• Clasificación: math.AT (Topología Algebraica)
• Fecha de Publicación: 8 de abril de 2022
• Enlace del Artículo: https://arxiv.org/abs/2204.03127

Resumen

Este artículo calcula los cortes y la sucesión espectral de cortes del espectro de Eilenberg-Mac Lane equivariante suspendido en enteros $H\underline{\mathbb{Z}}$ para el grupo cuaterniónico $Q_8$ como grupo equivariante. En este proceso, también se calcula el funtor de Mackey $\pi_{k\rho}H\underline{\mathbb{Z}}$.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Importancia de la filtración de cortes: La filtración de cortes equivariante $G$ fue definida por primera vez por Dugger y jugó un papel crucial en la prueba de la conjetura del invariante de Kervaire por Hill, Hopkins y Ravenel. Es el análogo de la filtración clásica de Postnikov en la categoría de homotopía estable equivariante $G$.
2. Exhibición de periodicidad: A diferencia de la filtración de Postnikov equivariante $G$, la filtración de cortes puede exhibir cierta periodicidad de espectros equivariantes respecto a la suspensión por esferas de representación $G$, lo cual no es visible en la filtración de Postnikov.
3. Perspectivas de aplicación: En la teoría de Lubin-Tate de altura $n$, cuando $n = 2m$ ($m$ es impar), el grupo estabilizador de Morava contiene un subgrupo $Q_8$. Por lo tanto, las técnicas de cortes equivariantes $Q_8$ pueden proporcionar información para comprender la esfera local $K(n)$.

Limitaciones del Trabajo Existente

Aunque se han calculado los cortes de espectros de Eilenberg-Mac Lane equivariantes para varios grupos:

• Se han estudiado los casos de grupos $p$ cíclicos impares
• Se conocen los casos del grupo diédrico $D_{2p}$ ($p$ impar)
• Se ha completado el caso del grupo de Klein cuatro $K_4$

Sin embargo, el caso de $Q_8$ no había sido estudiado sistemáticamente anteriormente.

Contribuciones Principales

1. Cálculo completo de los cortes de $Q_8$: Primer cálculo sistemático de todos los cortes de $\Sigma^n H^{Q_8}\mathbb{Z}$ y las sucesiones espectrales de cortes correspondientes
2. Establecimiento de la teoría de funtores de inflación: Investigación profunda de tres funtores de inflación (inflación ordinaria, inflación geométrica, inflación de módulos $\mathbb{Z}$) y su interacción con la filtración de cortes
3. Caracterización de subgrupos cuello de botella: Se prueba que los subgrupos cuello de botella solo pueden aparecer en grupos $p$ cíclicos o grupos cuaterniónicos, con una clasificación completa
4. Cálculo de funtores de Mackey: Se calcula la homología de Mackey $\mathbb{Z}$-graduada en $RO(Q_8)$ del funtor de Mackey $\mathbb{Z}$

Explicación Detallada de Métodos

Definición de la Tarea

Calcular los cortes $P^k_k(\Sigma^n H^{Q_8}\mathbb{Z})$ y la sucesión espectral de cortes de $\Sigma^n H^{Q_8}\mathbb{Z}$, donde $n \geq 0$ y $k$ es la dimensión del corte.

Arquitectura del Método Principal

1. Método de Funtores de Inflación

Para un subgrupo normal $N \triangleleft G$, se definen tres funtores de inflación:

• Inflación ordinaria $q^*: \text{Sp}^{G/N} \to \text{Sp}^G$
• Inflación geométrica $\phi^*_N: \text{Sp}^{G/N} \to \text{Sp}^G$
• Inflación de módulos $\mathbb{Z}$ $\Psi^*_N: \text{Mod}_{H^{G/N}\mathbb{Z}} \to \text{Mod}_{H^G\mathbb{Z}}$

2. Teoría de Subgrupos Cuello de Botella

Definición: Se dice que $N \triangleleft G$ es un subgrupo cuello de botella si es un subgrupo propio no trivial y para cualquier subgrupo $H \leq G$, o bien $H$ contiene a $N$, o bien $N$ contiene a $H$.

Teorema clave (Proposición 3.6): Un subgrupo cuello de botella $N$ debe ser cíclico, y $G$ es o bien un grupo $p$ cíclico, o bien un grupo cuaterniónico generalizado.

3. Teorema Técnico Principal

Teorema 3.19: Sea $N \triangleleft G$ un subgrupo cuello de botella de orden primo $p$. Para $n \geq 0$, los cortes no triviales de $\Sigma^n H^G(\Psi^*_N M)$ por encima del grado $pn$ son:

$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)$

para $k > n$.

Estrategia de Cálculo Específica

1. Utilización del Mapa Cociente $Q_8 \to K_4$

A través del mapa cociente por el subgrupo central $Z = \langle -1 \rangle$, donde $Q_8 \to Q_8/Z \cong K_4$, se utilizan los resultados conocidos de $K_4$.

2. Descomposición de Representaciones

La representación regular de $Q_8$ se descompone como: $\rho_{Q_8} \cong H \oplus \rho_{K_4}$ donde $H$ es la representación irreducible de $Q_8$ de dimensión 4, y $\rho_{K_4}$ es la inflación de la representación regular de $K_4$.

3. Cálculo Recursivo

Se obtienen todos los cortes analizando la torre de cortes de $\Sigma^{r+j\rho_K} H^{Q_8}\mathbb{Z}$ (donde $r \in \{2,3,4,5\}$).

Resultados Principales

Descripción Completa de los Cortes

Cortes n-ésimos (Proposición 6.7)

Para $n \geq 5$, escribiendo $n = 8k + r$ donde $r \in [5,12]$, entonces: