Algebraic & Geometric Topology

Completed representation ring spectra of nilpotent groups

Tyler Lawson

Full-text: Open access

Abstract

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.

Article information

Source
Algebr. Geom. Topol., Volume 6, Number 1 (2006), 253-285.

Dates
Received: 11 April 2005
Revised: 31 October 2005
Accepted: 5 January 2006
First available in Project Euclid: 20 December 2017

Permanent link to this document
https://projecteuclid.org/euclid.agt/1513796512

Digital Object Identifier
doi:10.2140/agt.2006.6.253

Mathematical Reviews number (MathSciNet)
MR2199460

Zentralblatt MATH identifier
1118.55009

Subjects
Primary: 55P60: Localization and completion
Secondary: 55P43: Spectra with additional structure ($E_\infty$, $A_\infty$, ring spectra, etc.) 19A22: Frobenius induction, Burnside and representation rings

Keywords
S-algebra R-module completion Bousfield localization representation ring

Citation

Lawson, Tyler. Completed representation ring spectra of nilpotent groups. Algebr. Geom. Topol. 6 (2006), no. 1, 253--285. doi:10.2140/agt.2006.6.253. https://projecteuclid.org/euclid.agt/1513796512


Export citation

References

  • J F Adams, Stable homotopy and generalised homology, University of Chicago Press, Chicago, Ill. (1974)
  • A Baker, A Lazarev, On the Adams spectral sequence for $R$-modules, Algebr. Geom. Topol. 1 (2001) 173–199
  • A K Bousfield, The localization of spectra with respect to homology, Topology 18 (1979) 257–281
  • C Bray, On the cohomology of some representation rings, PhD thesis, Stanford University (1999)
  • G Carlsson, An Adams-type spectral sequence for change of rings, Houston J. Math. 4 (1978) 541–550
  • G Carlsson, Structured stable homotopy theory and the descent problem for the algebraic $K$-theory of fields, preprint (2003)
  • A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society, Providence, RI (1997)
  • M Hovey, J H Palmieri, N P Strickland, Axiomatic stable homotopy theory, Mem. Amer. Math. Soc. 128 (1997) x+114
  • A Lubotzky, A R Magid, Varieties of representations of finitely generated groups, Mem. Amer. Math. Soc. 58 (1985) xi+117
  • M Lydakis, Smash products and $\Gamma$-spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 311–328
  • M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra, Proc. London Math. Soc. $(3)$ 82 (2001) 441–512
  • C Nunley, A Magid, Simple representations of the integral Heisenberg group, from: “Classical groups and related topics (Beijing, 1987)”, Contemp. Math. 82, Amer. Math. Soc., Providence, RI (1989) 89–96
  • S Schwede, Stable homotopical algebra and $\Gamma$-spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 329–356
  • S Schwede, $S$-modules and symmetric spectra, Math. Ann. 319 (2001) 517–532
  • G Segal, Categories and cohomology theories, Topology 13 (1974) 293–312
  • J-P Serre, Linear representations of finite groups, Springer, New York (1977)