A homotopy orbit spectrum for profinite groups
Abstract
For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i\}_i$ of $G$-spectra, with each $X_i$ naturally a $G/N_i$-spectrum, where $N_i$ is an open normal subgroup and $G \cong \lim_i G/N_i$. We define the homotopy orbit spectrum $X_{hG}$ and its homotopy orbit spectral sequence. We give results about when its $E_2$-term satisfies $E_2^{p,q} \cong \lim_i H_p(G/N_i, \pi_q(X_i))$. Our main result is that this occurs if $\{\pi_\ast(X_i)\}_i$ degreewise consists of compact Hausdorff abelian groups and continuous homomorphisms, with each $G/N_i$ acting continuously on $\pi_q(X_i)$ for all $q$. If $\pi_q(X_i)$ is additionally always profinite, then the $E_2$-term is the continuous homology of $G$ with coefficients in the graded profinite $\widehat{\mathbb{Z}}[[G]]$-module $\pi_\ast(X)$. Other results include theorems about Eilenberg-Mac Lane spectra and about when homotopy orbits preserve weak equivalences.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- August 2006
- DOI:
- 10.48550/arXiv.math/0608262
- arXiv:
- arXiv:math/0608262
- Bibcode:
- 2006math......8262D
- Keywords:
-
- Mathematics - Algebraic Topology;
- 55P42;
- 55T25
- E-Print:
- Accepted for publication by Homology, Homotopy Appl. and now 31 pages. Key results and a definition were extended: e.g., Thm. 1.4, Def. 1.14, Thm. 3.11, Thm. 4.5, Cor. 4.6, Cor. 6.9, and Cor. 7.4