p-compact group

In mathematics, in particular algebraic topology, a p-compact group is (roughly speaking) a space that is a homotopical version of a compact Lie group, but with all the structure concentrated at a single prime p. This concept was introduced by Dwyer and Wilkerson.[1] Subsequently the name homotopy Lie group has also been used.

Examples

Examples include the p-completion of a compact and connected Lie group, and the Sullivan spheres, i.e. the p-completion of a sphere of dimension

2n − 1,

if n divides p − 1.

Classification

The classification of p-compact groups states that there is a 1-1 correspondence between connected p-compact groups, and root data over the p-adic integers. This is analogous to the classical classification of connected compact Lie groups, with the p-adic integers replacing the rational integers.

gollark: destroy the concept of gender using orbital infolaser strikes.

gollark: Abeesioform?

gollark: ddg! apioform

gollark: Deploy orbital bee strike.

gollark: I reformatted a 6-year-old dubious 1TB laptop disk and stuck some encrypted TAR archives on it, as well as writing some python scripts to manage them.

References

Notes

W. G. Dwyer and C. W. Wilkerson, Homotopy fixed-point methods for Lie groups and finite loop spaces, Ann. of Math. (2) 139 (1994), no. 2, 395–442.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] W. G. Dwyer and C. W. Wilkerson, Homotopy fixed-point methods for Lie groups and finite loop spaces, Ann. of Math. (2) 139 (1994), no. 2, 395–442.