The equivariant complex cobordism ring of a finite abelian group (Q530610): Difference between revisions

The main result of this paper is a computation of the equivariant stable complex cobordism ring \((MU_G)_*\) for all finite abelian groups \(G\). Prior to this paper, the only previously known complete computations of \((MU_G)_*\) were for \(G=\mathbb{Z}/p\) in [\textit{I. Kriz}, Contemp. Math. 239, 217--223 (1999; Zbl 0982.55001)] (see also [\textit{N. P. Strickland}, Geom. Topol. 5, 335--345 (2001; Zbl 1009.55003)]) and for \(G=S^1\) in [\textit{D. P. Sinha}, Am. J. Math. 123, No. 4, 577--605 (2001; Zbl 0997.55008)]. The method of computation in this paper builds on the above-cited work of Kriz, who presented \((MU_G)_*\) for \(G=\mathbb{Z}/p\) as a pullback diagram of commutative rings induced by the Tate diagram for the spectrum \(MU_G\). This paper extends this method to arbitrary finite abelian groups using iterated Tate diagrams. More precisely, the authors express \((MU_G)_*\) as an inverse limit of commutative rings \(\Gamma(S)_*\), where \(S\) varies over the poset of nonempty sets of subgroups of \(G\) which are totally ordered by inclusion. The authors define polynomial rings \(A_S\) on certain generators (with some generators inverted) such that for each \(S\), \(\Gamma(S)_*\) is then given as a quotient of a completion of \(A_S\) by an ideal generated by relations built from the universal formal group law. The authors give an example of their method for cyclic groups \(G=\mathbb{Z}/p^n\). They also define a class of `generalized \(MU_G\)', and prove that their main result holds for these spectra as well.