The homotopy types of \(SU(3)\)-gauge groups over simply connected 4-manifolds
type: Item
instance of: scholarly article
title: The homotopy types of \(SU(3)\)-gauge groups over simply connected 4-manifolds
zbMATH Open document ID: 1256.55002
DOI: 10.2977/PRIMS/80
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 2012-10-26T00:00:00Z
review text: If \(G\) is a compact connected Lie group, \(M\) a connected finite \(CW\)-complex, and \(P\rightarrow M\) is a principal \(G\)-bundle, then the gauge group of this bundle is the group of \(G\)-equivariant self-maps of \(P\) covering the identity map on \(M\). In the paper under review, \(M\) is supposed to be a simply-connected closed \(4\)-dimensional manifold and \(G\) is a simple, simply-connected compact Lie group. Then it is known [\textit{C. H. Taubes}, J. Differ. Geom. 17, 139--170 (1982; Zbl 0484.53026)] that the isomorphism classes of principal \(G\)-bundles over \(M\) are in one-to-one correspondence with the set \([M,BG]=\mathbb Z\) of the homotopy classes of maps from \(M\) into the classifying space \(BG\) of \(G\). If \(P \rightarrow M\) is a principal bundle corresponding to \(k\in \mathbb Z\), then \(\mathcal G_ k(M,G)\) denotes the gauge group of this bundle. In its main result, the paper under review specializes to \(G = SU(3)\) and studies the number of homotopy types of gauge groups of principal \(SU(3)\)-bundles over \(M\). Given two integers \(a\) and \(b\), let \((a,b)\) be the greatest common divisor of \(| a|\) and \(| b|\). The main result is the following theorem: (a) If (in addition to the above mentioned properties) \(M\) is a spin manifold, then there is an integral homotopy equivalence \(\mathcal G_ k(M,G) \simeq \mathcal G_ {k^\prime}(M,G)\) if and only if \((24,k)=(24,k^\prime)\); (b) If \(M\) is a non-spin manifold, then an integral homotopy equivalence \(\mathcal G_ k(M,G) \simeq \mathcal G_ {k^\prime}(M,G)\) implies that \((12,k)=(12,k^\prime)\), while \((12,k)=(12,k^\prime)\) implies that there is a homotopy equivalence \(\mathcal G_ k(M,G) \simeq \mathcal G_ {k^\prime}(M,G)\) after localizing rationally or at any prime. The proof of the main result combines general methods and results with information specific to \(SU(3)\) and \(4\)-dimensional manifolds.
reviewed by: Július Korbaš
Mathematics Subject Classification ID: 55P15
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 55R10
zbMATH DE Number: 6098973
zbMATH Keywords: gauge group
zbMATH Keywords: principal bundle
zbMATH Keywords: homotopy type
zbMATH Keywords: \(4\)-manifold
zbMATH Keywords: localization
author: Stephen Theriault
MaRDI profile type: Publication
cites work: The Yang-Mills equations over Riemann surfaces
cites work: Counting homotopy types of gauge groups
cites work: On \([X,U(n)]\) when \(\dim X\) is \(2n\)
cites work: Unstable K1-group and homotopy type of certain gauge groups
cites work: A note on the homotopy type of certain gauge groups
cites work: A remark on the homotopy type of certain gauge groups
cites work: The evaluation map and E H P sequences
cites work: On the Number of Multiplications on SU (3) AND Sp (2)
cites work: Homotopy groups of \(\mathrm{SU}(3)\), \(\mathrm{SU}(4)\) and \(\mathrm{Sp}(2)\)
cites work: Function spaces related to gauge groups
cites work: Odd primary homotopy decompositions of gauge groups
cites work: The homotopy types of Sp(2)-gauge groups
cites work: A topological proof of theorems of Bott and Borel-Hirzeburch for homotopy groups of unitary groups
cites work: Compositional Methods in Homotopy Groups of Spheres. (AM-49)
description: scientific article; zbMATH DE number 6098973