Homotopy representations of the unitary groups

DOI10.2140/AGT.2016.16.1913MaRDI QIDQ312378zbMATH OpenOpenAlexFDO

Authors Wojciech Lubawski, Krzysztof Ziemiański

Publication date 15 September 2016

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

classifying spacehomotopy representationunitary group

Mathematics Subject Classification ID

Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Maps between classifying spaces in algebraic topology (55R37)

Abstract: Let $G$ be a compact connected Lie group and let $xi,u$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $xi$ contains a subbundle which is isomorphic to $u$. The necessary condition is that for every prime $p$ the restriction $xi{|}_{B{N}_p^G}$, where $N_p^G$ is a maximal $p$-toral subgroup of $G$, contains a subbundle isomorphic to $u{|}_{B{N}_p^G}$. We provide a criterion when this condition is sufficient, expressed in terms of $Lambd{a}^{\ast }$-functors of Jackowski, McClure & Oliver and we prove that this criterion applies if $u$ is a universal bundle over $BU(n)$. Our result allows to construct new examples of maps between classifying spaces of unitary groups. While proving the main result, we develop the obstruction theory for lifting maps from homotopy colimits along fibrations, which generalizes the result of Wojtkowiak.

Review text

Let \(G\) be a compact connected Lie group. For every prime \(p\), there exists a maximal \(p\)-toral subgroup \(N_p^G\subset G\) which is unique up to conjugation. The authors study the following property. A vector bundle \(\nu\) over a space \(X\) has the splitting property with respect to a map \(f:A\to X\) if the following holds for an arbitrary bundle \(\xi\) over \(X\). If there exists a bundle \(\xi^\prime_A\) such that \(f^*\xi \simeq f^*\nu\oplus \xi^\prime_A\), then there exists a bundle \(\xi^\prime\) such that \(\xi \simeq \nu \oplus \xi^\prime\). A complex bundle over the classifying space \(BG\) of \(G\) has the splitting property if it has the splitting property with respect to the map \(\amalg_{p'}BN_p^G\to BG\), induced by the inclusions \(N_p^G\subseteq G\). The authors extend some results about the splitting property, due to Notbohm, Jackowski and Oliver, to a wider class of bundles over \(BU(n)\). Theorem 1.2 For all \(n\) and all \(k\) prime to \(n!\), the bundle \((\Psi^k)^*\gamma^n\) over \(BU(n)\) has the splitting property. In particular, for \(k=1\) this implies that the universal bundle has the splitting property. Theorem 1.2 can be reformulated as follows. Theorem 1.4. For all \(n\) and all \(k\) prime to \(n!\), the character \(\psi^k\) of the unstable Adams representation \(\Psi^k :BU(n)\to BU(n)\) has the splitting property. While proving the main results, the authors develop the obstruction theory for lifting maps from homotopy colimits along fibrations, which generalizes a result of \textit{Z. Wojtkowiak} [Lect. Notes Math. 1298, 227--236 (1987; Zbl 0641.55014)].

Recommendations

• Homology stability for unitary groups
• Presentations of the first homotopy groups of the unitary groups
• On unitary representability of topological groups
• From representation theory to homotopy groups
• Homotopy groups of moduli spaces of representations
• scientific article; zbMATH DE number 4071690
• Homomorphisms of unitary groups
• Homology of gauge groups associated with special unitary groups
• Homotopy theory of unital algebras
• Homotopy representations and spheres of representations

Cited in

(5)

• Unitary representations of the Cherednik algebra: \(V^*\)-homology
• Unitary representability of free abelian topological groups
• Unitary Structures on Cohomology
• From representation theory to homotopy groups
• scientific article; zbMATH DE number 776183 (Why is no real title available?)

This page was built for publication: Homotopy representations of the unitary groups

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