A quotient of the set [BG,BU(n)] for a finite group G of small rank.

DOI10.1016/J.JPAA.2003.08.001MaRDI QIDQ1428103zbMATH OpenOpenAlexFDO

Authors Michael A. Jackson

Publication date 14 March 2004

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0503743

zbMATH Keywords

charactersclassifying spacehomology decompositionhomotopy class of maps

Mathematics Subject Classification ID

Ordinary representations and characters (20C15) Finite nilpotent groups, (p)-groups (20D15) Maps between classifying spaces in algebraic topology (55R37) Obstruction theory in algebraic topology (55S35)

Abstract: We construct a natural map from the set [BG,BU(n)] into a set of characters of the Sylow p-subgroups of G and prove that this natural map is a surjection for all finite groups G of rank two. We show, furthermore, that this same natural map is in fact a bijection for two types of finite groups G: those with periodic cohomology and those of rank two with odd order.

Review text

One major problem of homotopy theory is the computation of homotopy classes of maps between classifying spaces. This article is concerned with the case of maps from classifying spaces of finite groups \(G\) to the the classifying space of a unitary group \(U(n)\). Previous results appeared in [\textit{W. Dwyer} and \textit{A. Zabrodsky}, Algebraic topology, Proc.\ Symp., Barcelona 1986, Lect. Notes Math. 1298, 106--119 (1987; Zbl 0646.55007)], [\textit{G. Mislin} and \textit{C. Thomas}, Q. J. Math., Oxf. II. Ser. 40, No.~157, 65--78 (1989; Zbl 0683.55006)]. Let \(G\) be a finite group, \(p\) a prime number dividing \(| G| \), the order of \(G\), and \(G_p\) a Sylow \(p\)-subgroup of \(G\). \(\text{Char}_n^G(G_p)\) stands for the set of degree \(n\) complex characters of \(G_p\) that are restrictions of class functions of \(G\), or, in other words, stable under fusion in \(G\). There are natural maps \[ [BG,BU(n)] \mathop{\;\longrightarrow\;} [BG,BU(n){{}^\wedge_p}] \mathop{\;\longrightarrow\;}^{\phi_{G,p}} \text{Char}^G_n(G_p) \tag{1} \] the first induced by Bousfield-Kan \(p\)-completion \(BU(n) \to BU(n){{}^\wedge_p}\), and the second by precomposing with the map induced by the inclusion of \(G_p\) in \(G\), and then associating the character of the unique representation \(G_p\to U(n)\) inducing the given composition at the level of classifying spaces, see \textit{W. Dwyer} and \textit{A. Zabrodsky} [loc.cit.]. Considering all primes dividing \(| G| \) at once one gets \[ \psi_G\colon [BG,BU(n)] \mathop{\;\longrightarrow\;} \prod_{p\bigm| | G| } \text{Char}^G_n(G_p) \tag{2} \] The main result of this paper establishes that \(\psi_G\) is surjective if \(G\) does not contain a rank three elementary abelian subgroup. Furthermore, if either, \(G\) is of odd order, or \(G\) does not contain a rank two elementary abelian subgroup, then \(\psi_G\) is bijective. The proof uses homology decompositions of classifying spaces of finite groups, cf. \textit{Dwyer} and \textit{Z. Zabrodsky} [loc. cit.] in order to reduce the analysis of \(\phi_{G,p}\) for a general finite group \(G\) to the simpler case of finite \(p\)-groups. As usual, this procedure involves the computation of some obstruction classes. The author uses methods of [\textit{S. Jackowski, J. E. McClure} and \textit{B. Oliver}, Ann. Math. (2) 135, No.~1, 183--226 (1992; Zbl 0758.55004)] and [\textit{J. Grodal}, Ann. Math. (2) 155, No.~2, 405--457 (2002; Zbl 1004.55008)] in order to show the vanishing of the relevant obstruction groups in some cases. These are the restrictions on the groups \(G\) that appear in his main results.

Recommendations

• Stable splittings of classifying spaces of finite groups
• scientific article; zbMATH DE number 15296
• scientific article; zbMATH DE number 811930
• Homotopy equivalences of p-completed classifying spaces of finite groups
• Unstable homotopy classification of
• On the cohomology of the classifying spaces of projective unitary groups
• Stable homotopy classification of \(BG_ p^ \land\)
• HOMOLOGY DECOMPOSITIONS FOR CLASSIFYING SPACES OF FINITE GROUPS ASSOCIATED TO MODULAR REPRESENTATIONS
• scientific article; zbMATH DE number 4124603
• scientific article; zbMATH DE number 1803809

Cites work

• A conjugation family for finite groups
• Generalizations of Certain Elementary Theorems on p -Groups
• Higher limits via subgroup complexes
• Homology decompositions for classifying spaces of finite groups
• Homotopy classification of self-maps of \(BG\) via \(G\)-actions. II
• Homotopy equivalences of p-completed classifying spaces of finite groups
• Homotopy limits, completions and localizations
• Homotopy spectral sequences and obstructions
• scientific article; zbMATH DE number 510458 (Why is no real title available?)
• On 2-groups of small rank admitting an automorphism of order 3
• On 2-groups of small rank admitting an automorphism of prime order \(p>3\)
• On a special class of p-groups
• On spaces with periodic cohomology
• On the cohomology and homotopy of Swan groups
• ON THE HOMOTOPY SET [Bπ, BG] WITH π FINITE AND G A COMPACT CONNECTED LIE GROUP
• Periodic complexes and group actions
• Stable splittings of classifying spaces of metacyclic \(p\)-groups, \(p\) odd
• Sylow intersections and fusion
• Vector bundles over classifying spaces of compact Lie groups

Cited in

(5)

• Group actions on spheres with rank one isotropy
• Finite groups of rank two which do not involve \(\mathrm{Qd}(p)\)
• ON THE HOMOTOPY SET [Bπ, BG] WITH π FINITE AND G A COMPACT CONNECTED LIE GROUP
• Vector bundles over classifying spaces of p-local finite groups and Benson-Carlson duality
• Qd(\(p\))-free rank two finite groups act freely on a homotopy product of two spheres

This page was built for publication: A quotient of the set \([BG,BU(n)]\) for a finite group \(G\) of small rank.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1428103)