Generalized group characters and complex oriented cohomology theories

Hopkins, Michael¹ ; Kuhn, Nicholas² ; Ravenel, Douglas³

¹ Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139
² Department of Mathematics, University of Virginia, Charlottesville, Virginia 22903
³ Department of Mathematics, University of Rochester, Rochester, New York 14627

Journal of the American Mathematical Society, Tome 13 (2000) no. 3, pp. 553-594

Résumé

Let $BG$ be the classifying space of a finite group $G$. Given a multiplicative cohomology theory $E^{*}$, the assignment \[ G \longmapsto E^{*}(BG) \] is a functor from groups to rings, endowed with induction (transfer) maps. In this paper we investigate these functors for complex oriented cohomology theories $E^{*}$, using the theory of complex representations of finite groups as a model for what one would like to know. An analogue of Artin’s Theorem is proved for all complex oriented $E^*$: the abelian subgroups of $G$ serve as a detecting family for $E^*(BG)$, modulo torsion dividing the order of $G$. When $E^*$ is a complete local ring, with residue field of characteristic $p$ and associated formal group of height $n$, we construct a character ring of class functions that computes $\frac {1}{p}E^*(BG)$. The domain of the characters is $G_{n,p}$, the set of $n$–tuples of elements in $G$ each of which has order a power of $p$. A formula for induction is also found. The ideas we use are related to the Lubin–Tate theory of formal groups. The construction applies to many cohomology theories of current interest: completed versions of elliptic cohomology, $E_n^*$–theory, etc. The $n$th Morava K–theory Euler characteristic for $BG$ is computed to be the number of $G$–orbits in $G_{n,p}$. For various groups $G$, including all symmetric groups, we prove that $K(n)^*(BG)$ is concentrated in even degrees. Our results about $E^*(BG)$ extend to theorems about $E^*(EG\times _G X)$, where $X$ is a finite $G$–CW complex.

Détail

DOI : 10.1090/S0894-0347-00-00332-5

Bibliographie

[1] Adams, J. F. Stable homotopy and generalised homology 1974

[2] Adams, John Frank Infinite loop spaces 1978

[3] Adams, J. F. Prerequisites (on equivariant stable homotopy) for Carlsson’s lecture 1984 483 532

[4] Araki, Shôrô Equivariant stable homotopy theory and idempotents of Burnside rings Publ. Res. Inst. Math. Sci. 1982 1193 1212

[5] Atiyah, M. F. Characters and cohomology of finite groups Inst. Hautes Études Sci. Publ. Math. 1961 23 64

[6] Atiyah, M. F. 𝐾-theory 1967

[7] Atiyah, Michael, Segal, Graeme On equivariant Euler characteristics J. Geom. Phys. 1989 671 677

[8] Baker, Andrew, Würgler, Urs Liftings of formal groups and the Artinian completion of 𝑣_{𝑛}⁻¹𝐵𝑃 Math. Proc. Cambridge Philos. Soc. 1989 511 530

[9] Baker, Andrew Hecke algebras acting on elliptic cohomology 1998 17 26

[10] Bott, Raoul, Taubes, Clifford On the rigidity theorems of Witten J. Amer. Math. Soc. 1989 137 186

[11] Tom Dieck, Tammo Kobordismentheorie klassifizierender Räume und Transformationsgruppen Math. Z. 1972 31 39

[12] Tom Dieck, Tammo Transformation groups and representation theory 1979

[13] Tom Dieck, Tammo Transformation groups 1987

[14] Hazewinkel, Michiel Formal groups and applications 1978

[15] Hopkins, Michael J. Characters and elliptic cohomology 1989 87 104

[16] Hopkins, Michael J., Kuhn, Nicholas J., Ravenel, Douglas C. Morava 𝐾-theories of classifying spaces and generalized characters for finite groups 1992 186 209

[17] Hunton, John The Morava 𝐾-theories of wreath products Math. Proc. Cambridge Philos. Soc. 1990 309 318

[18] Osadčiĭ, N. M. The algebras 𝐿²_{𝑛}(Γ), and the lattice of closed ideals of these algebras Ukrain. Mat. Ž. 1974

[19] Kriz, Igor Morava 𝐾-theory of classifying spaces: some calculations Topology 1997 1247 1273

[20] Kuhn, Nicholas J. The Morava 𝐾-theories of some classifying spaces Trans. Amer. Math. Soc. 1987 193 205

[21] Kuhn, Nicholas J. Character rings in algebraic topology 1989 111 126

[22] Laitinen, Erkki On the Burnside ring and stable cohomotopy of a finite group Math. Scand. 1979 37 72

[23] Landweber, Peter S. Complex bordism of classifying spaces Proc. Amer. Math. Soc. 1971 175 179

[24] Landweber, Peter S., Ravenel, Douglas C., Stong, Robert E. Periodic cohomology theories defined by elliptic curves 1995 317 337

[25] Lang, Serge Cyclotomic fields 1978

[26] Lewis, L. G., Jr., May, J. P., Steinberger, M., Mcclure, J. E. Equivariant stable homotopy theory 1986

[27] Lubin, Jonathan, Tate, John Formal complex multiplication in local fields Ann. of Math. (2) 1965 380 387

[28] Morava, Jack Completions of complex cobordism 1978 349 361

[29] Elliptic curves and modular forms in algebraic topology 1988

[30] Quillen, Daniel The spectrum of an equivariant cohomology ring. I, II Ann. of Math. (2) 1971

[31] Ravenel, Douglas C. Morava 𝐾-theories and finite groups 1982 289 292

[32] Ravenel, Douglas C. Complex cobordism and stable homotopy groups of spheres 1986

[33] Ravenel, Douglas C., Wilson, W. Stephen The Morava 𝐾-theories of Eilenberg-Mac Lane spaces and the Conner-Floyd conjecture Amer. J. Math. 1980 691 748

[34] Segal, Graeme Classifying spaces and spectral sequences Inst. Hautes Études Sci. Publ. Math. 1968 105 112

[35] Segal, Graeme Equivariant 𝐾-theory Inst. Hautes Études Sci. Publ. Math. 1968 129 151

[36] Segal, G. B. Equivariant stable homotopy theory 1971 59 63

[37] Serre, Jean-Pierre Représentations linéaires des groupes finis 1967

[38] Stretch, C. T. Stable cohomotopy and cobordism of abelian groups Math. Proc. Cambridge Philos. Soc. 1981 273 278

[39] Graves, Lawrence M. The Weierstrass condition for multiple integral variation problems Duke Math. J. 1939 656 660

[40] Tanabe, Michimasa On Morava 𝐾-theories of Chevalley groups Amer. J. Math. 1995 263 278

[41] Green, John W. Harmonic functions in domains with multiple boundary points Amer. J. Math. 1939 609 632

[42] Tezuka, M., Yagita, N. Cohomology of finite groups and Brown-Peterson cohomology 1989 396 408

[43] Würgler, Urs Commutative ring-spectra of characteristic 2 Comment. Math. Helv. 1986 33 45