In this paper, we examine the “derived completion” of the representation ring of a pro-p group Gp∧ with respect to an augmentation ideal. This completion is no longer a ring: it is a spectrum with the structure of a module spectrum over the Eilenberg–MacLane spectrum ℍℤ, and can have higher homotopy information. In order to explain the origin of some of these higher homotopy classes, we define a deformation representation ring functor R[−] from groups to ring spectra, and show that the map R[Gp∧] → R[G] becomes an equivalence after completion when G is finitely generated nilpotent. As an application, we compute the derived completion of the representation ring of the simplest nontrivial case, the p–adic Heisenberg group.
Lawson, Tyler  1
@article{10_2140_agt_2006_6_253,
author = {Lawson, Tyler},
title = {Completed representation ring spectra of nilpotent groups},
journal = {Algebraic and Geometric Topology},
pages = {253--285},
year = {2006},
volume = {6},
number = {1},
doi = {10.2140/agt.2006.6.253},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2006.6.253/}
}
Lawson, Tyler. Completed representation ring spectra of nilpotent groups. Algebraic and Geometric Topology, Tome 6 (2006) no. 1, pp. 253-285. doi: 10.2140/agt.2006.6.253
[1] , Stable homotopy and generalised homology, University of Chicago Press (1974)
[2] , , On the Adams spectral sequence for $R$–modules, Algebr. Geom. Topol. 1 (2001) 173
[3] , The localization of spectra with respect to homology, Topology 18 (1979) 257
[4] , On the cohomology of some representation rings, PhD thesis, Stanford University (1999)
[5] , An Adams-type spectral sequence for change of rings, Houston J. Math. 4 (1978) 541
[6] , Structured stable homotopy theory and the descent problem for the algebraic $K$–theory of fields, preprint (2003)
[7] , , , , Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society (1997)
[8] , , , Axiomatic stable homotopy theory, Mem. Amer. Math. Soc. 128 (1997)
[9] , , Varieties of representations of finitely generated groups, Mem. Amer. Math. Soc. 58 (1985)
[10] , Smash products and $\Gamma$–spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 311
[11] , , , , Model categories of diagram spectra, Proc. London Math. Soc. $(3)$ 82 (2001) 441
[12] , , Simple representations of the integral Heisenberg group, from: "Classical groups and related topics (Beijing, 1987)", Contemp. Math. 82, Amer. Math. Soc. (1989) 89
[13] , Stable homotopical algebra and $\Gamma$–spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 329
[14] , $S$–modules and symmetric spectra, Math. Ann. 319 (2001) 517
[15] , Categories and cohomology theories, Topology 13 (1974) 293
[16] , Linear representations of finite groups, Springer (1977)
Cité par Sources :