# Atiyah–Segal completion theorem Atiyah–Segal completion theorem The Atiyah–Segal completion theorem is a theorem in mathematics about equivariant K-theory in homotopy theory. Let G be a compact Lie group and let X be a G-CW-complex. The theorem then states that the projection map {displaystyle pi colon Xtimes EGto X} induces an isomorphism of prorings {displaystyle pi ^{*}colon K_{G}^{*}(X)_{widehat {I,}}to K^{*}((Xtimes EG)/G).} Here, the induced map has as domain the completion of the G-equivariant K-theory of X with respect to I, where I denotes the augmentation ideal of the representation ring of G.

In the special case of X a point, the theorem specializes to give an isomorphism {displaystyle K^{*}(BG)cong R(G)_{widehat {I,}}} between the K-theory of the classifying space of G and the completion of the representation ring.

The theorem can be interpreted as giving a comparison between the geometrical process of taking the homotopy quotient of a G-space, by making the action free before passing to the quotient, and the algebraic process of completing with respect to an ideal. The theorem was first proved for finite groups by Michael Atiyah in 1961, and a proof of the general case was published by Atiyah together with Graeme Segal in 1969. Different proofs have since appeared generalizing the theorem to completion with respect to families of subgroups. The corresponding statement for algebraic K-theory was proven by Alexander Merkurjev, holding in the case that the group is algebraic over the complex numbers.

See also Segal conjecture References ^ Greenlees, J.P.C. (1996). "An introduction to equivariant K-theory.". CBMS Regional Conference Series. Equivariant homotopy and cohomology theory. Vol. 91. Published for the Conference Board of the Mathematical Sciences, Washington, DC. pp. 143–152. ^ Atiyah, M.F. (1961). "Characters and cohomology of finite groups". Publications Mathématiques de l'IHÉS. 9 (1): 23–64. doi:10.1007/BF02698718. S2CID 54764252. ^ Atiyah, M.F.; Segal, G.B. (1969). "Equivariant K-theory and completion" (PDF). Journal of Differential Geometry. 3 (1–2): 1–18. doi:10.4310/jdg/1214428815. Retrieved 2008-06-19. ^ Jackowski, S. (1985). "Families of subgroups and completion". J. Pure Appl. Algebra. 37 (2): 167–179. doi:10.1016/0022-4049(85)90094-5. ^ Adams, J.F.; Haeberly, J.P.; Jackowski, S.; May, J.P. (1988). "A generalization of the Atiyah-Segal Completion Theorem". Topology. 27 (1): 1–6. doi:10.1016/0040-9383(88)90002-X.

This topology-related article is a stub. You can help Wikipedia by expanding it.

Categories: K-theoryTheorems in topologyTopology stubs

Si quieres conocer otros artículos parecidos a Atiyah–Segal completion theorem puedes visitar la categoría K-theory.

Subir

Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información