On the I(G)-adic topology of the Burnside ring of compact Lie groups
type: Item
instance of: scholarly article
title: On the I(G)-adic topology of the Burnside ring of compact Lie groups
zbMATH Open document ID: 0604.57027
author: Norihiko Minami
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1984-01-01T00:00:00Z
review text: Let G be a compact Lie group and A(G) the Burnside ring of compact G-ENRs [\textit{T. tom Dieck}, Math. Ann. 215, 235-250 (1975; Zbl 0313.57030)]. For subgroups \(H\subset G\) there are homomorphisms: \(Res^ G_ H: A(G)\to A(H)\) and \(Ind^ G_ H: A(H)\to A(G)\). The augmentation ideal I(G) in A(G) is the kernel of the restriction to the trivial group. In this paper the structure of \(A(G)^{\wedge}\), the I(G)-adic completion of A(G), is described in terms of p-adic completions of the augmentation ideals of certain subgroups of G. Let T be a maximal torus of G and for each prime p dividing \(| NT/T|\) pick a p-Sylow subgroup \(F_ p\subset NT/T\). In the following statement \(N_ p\subset NT\) is the preimage of \(F_ p\) and \((M)_ p^{\wedge}\) denotes the p-adic completion of a module M. Theorem: As topological modules, \(A(G)^{\wedge}\cong {\mathbb{Z}}\oplus I(G)^{\wedge}\) and \(I(G)^{\wedge}\cong \Sigma^{\oplus}(Ind^ G_{N_ p}I(N_ p))_ p^{\wedge}\). An explicit basis is given for \(Ind^ G_{N_ p}I(N_ p)\), which is finitely generated if and only if the action of \(F_ p\) on T is trivial. One corollary of this result is that \(A(G)^{\wedge}\) and \(\pi^ 0_ s(BG)\) are different for G a nonabelian, connected Lie group. This shows that the I(G)-adic topology is not appropriate for generalizing the Segal conjecture from finite groups to compact Lie groups [\textit{G. Carlsson}, Ann. Math., II. Ser. 120, 189-224 (1984; Zbl 0586.55008)]. Note that when G is finite the above result reduces the study of \(A(G)^{\wedge}\) to Burnside rings of p-groups. The method of proof for the main theorem is to construct continuous homomorphisms \(Ind^{\wedge}: \Sigma^{\oplus}A(N_ p)^{\wedge}\to A(G)^{\wedge}\) and \(Res^{\wedge}: A(G)^{\wedge}\to \Sigma^{\oplus}A(N_ p)^{\wedge}\) from the induction and restriction maps above. The composite \(Ind^{\wedge}\circ Res^{\wedge}\) is invertible and on \(I(N_ p)\) the p-adic and \(I(N_ p)\)-adic topologies coincide. From this the splitting of \(I…
Mathematics Subject Classification ID: 57S15
Mathematics Subject Classification ID: 55Q91
Mathematics Subject Classification ID: 55P60
Mathematics Subject Classification ID: 55Q55
Mathematics Subject Classification ID: 55P91
zbMATH DE Number: 3975905
zbMATH Keywords: induced representations
zbMATH Keywords: stable equivariant cohomology groups of spheres
zbMATH Keywords: compact Lie group
zbMATH Keywords: Burnside ring
zbMATH Keywords: restriction
zbMATH Keywords: I(G)-adic completion
zbMATH Keywords: p- adic completions
zbMATH Keywords: p-Sylow subgroup
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1195181407
OpenAlex ID: W1999077037
Wikidata QID: Q115224801
cites work: The Burnside ring of a cyclic extension of a torus
cites work: On the Burnside ring and stable cohomotopy of a finite group.
cites work: Q3687345
cites work: On the \(S^ 1\)-Segal conjecture
cites work: Q5587110
DOI: 10.2977/PRIMS/1195181407
description: scientific article; zbMATH DE number 3975905