Die äquivariante unitäre Kobordismentheorie und ihre äquivariante formale Gruppe (Q793408): Difference between revisions

Es sei G eine endliche abelsche Gruppe, \(U^*_ G(-)\) die G- äquivariante Kobordismentheorie [\textit{T. tom Dieck}, Topology 9, 345- 358 (1970; Zbl 0209.275)], und \(d^*_ G\) die universelle G-Theorie, für die der Satz über projektive Bündel gilt [Verf., Math. Z. 179, 201-212 (1982; Zbl 0485.55007)]. Es wird gezeigt, daß die kanonische Abbildung \(U^*_ G\to d^*_ G\) injektiv ist. Da die linke Seite torsionsfrei ist, genügt es, rational zu arbeiten. Über \({\mathbb{Q}}\) ist \(U^*_ G\) durch Theorien bestimmt, bei denen Eulerklassen von Darstellungen invertiert sind [\textit{T. tom Dieck}, Math. Ann. 206, 67-78 (1973; Zbl 0253.18017)]. Nach Prop. 1 gilt dies auch für \(d^*_ G\), und die Koeffizienten der lokalisierten Theorien \(S_ g^{-1}U^*_ G\) und \(S_ g^{-1}d^*_ G\) (Satz 1) können berechnet werden. Abschließend wird die formale Gruppe für \(S_ g^{-1}d^*_ G\) bestimmt. Das hierbei benutzte Material über \(U^*_ G\) wird tom Dieck [Proc. Conf. compact Transform. Groups, Lect. Notes Math. 298, 152- 162 (1972; Zbl 0284.57027)] entnommen.