On the homotopy types of $\mathrm{Sp}(n)$ gauge groups
type: Item
instance of: scholarly article
title: On the homotopy types of $\mathrm{Sp}(n)$ gauge groups
zbMATH Open document ID: 1415.55003
author: Daisuke Kishimoto
author: Akira Kono
published in: Algebraic \& Geometric Topology
publication date: 2019-05-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1803.06477
review text: For a compact connected simple Lie group $G$ and an integer $k$, let $P_k$ be the principal $G$-bundle over $S^4$ classified by the characteristic element $k\in \mathbb{Z}= \pi_3(G)$, and let $\mathcal{G}_k(G)$ denote the gauge group of $P_k$. In this paper, the authors study the classification of homotopy types of gauge groups $\{\mathcal{G}_k(G)\}_{k\in \mathbb{Z}}$ when $G=\mathrm{Sp}(n)$. From now on, let us write $\mathcal{G}_{k,n}=\mathcal{G}_k(\mathrm{Sp}(n))$, and let $(a,b)$ denote the greatest common divisor of the integers $a$ and $b$. Note that \textit{W. A. Sutherland} [Proc. R. Soc. Edinb., Sect. A, Math. 121, No. 1--2, 185--190 (1992; Zbl 0761.55007)] previously showed that if $\mathcal{G}_{k,n}$ and $\mathcal{G}_{l,n}$ are homotopy equivalent, then $(k,n(2n+1))=(l,n(2n+1))$ for $n\equiv 0 \mod 2$ and $(k,4n(2n+1))=(l,4n(n+1))$ for $n\equiv 1 \mod 2$. \par As the first step, the authors improve the above result and they prove that if $\mathcal{G}_{k,n}$ and $\mathcal{G}_{l,n}$ are homotopy equivalent, then $(k,4n(2n+1))=(l,4n(n+1))$. \par Next they investigate the meaning of the number $4n(2n+1)$. Let $Q_n$ denote the quasiprojective space of rank $n$ defined by \textit{I. M. James} [Proc. Lond. Math. Soc. (3) 9, 115--140 (1959; Zbl 0089.39401)] and let $\iota_n:Q_n\to\mathrm{Sp}(n)$ be the natural inclusion. Then they show that the order of the Samelson product $\langle \epsilon ,\iota_n\rangle$ is $4n(2n+1)$. Remark that the order of the Samelson product $\langle \epsilon ,1_{\mathrm{Sp}(n)}\rangle$ is no less than that of $\langle \epsilon ,\iota_n\rangle$ and they try to prove that both orders are equal. Although they cannot prove this, they show that it is equal if we localize them at the latter prime $p$. More precisely, they show that $\nu_p(|\langle \epsilon ,\iota_n\rangle |)=\nu_p(4n(2n+1))$ if $(p-1)^2+1\geq 2n$, where $|x|$ is the order of the element $x$. \par As an application, they prove that $\mathcal{G}_{k,n}$ and $\mathcal{G}_{l,n}$ …
reviewed by: Kohhei Yamaguchi
Mathematics Subject Classification ID: 55P15
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 55R35
Mathematics Subject Classification ID: 55Q15
zbMATH DE Number: 7053581
zbMATH Keywords: gauge group
zbMATH Keywords: homotopy types
zbMATH Keywords: unstable \(K\)-theory
zbMATH Keywords: Samelson product
MaRDI profile type: Publication
OpenAlex ID: W3124720986
arXiv ID: 1803.06477
cites work: The Yang-Mills equations over Riemann surfaces
cites work: Groupes de Lie et Puissances Reduites de Steenrod
cites work: Counting homotopy types of gauge groups
cites work: The homotopy types of \(Sp(3)\)-gauge groups
cites work: Exceptional isogenies and the classifying spaces of simple Lie groups
cites work: Applications of Bundle Map Theory
cites work: Samelson products in Sp(2)
cites work: Unstable K1-group and homotopy type of certain gauge groups
cites work: The homotopy types of \(\mathrm{PU}(3)\)- and \(\mathrm{PSp}(2)\)-gauge groups
cites work: Spaces Associated with Stiefel Manifolds
cites work: SAMELSON PRODUCTS OF SO(3) AND APPLICATIONS
cites work: Note on mod \(p\) decompositions of gauge groups
cites work: Refined gauge group decompositions
cites work: Mod \(p\) decompositions of gauge groups
cites work: On p-local homotopy types of gauge groups
cites work: The homotopy types of \(G_{2}\)-gauge groups
cites work: Infiniteness of \(A_\infty\)-types of gauge groups
cites work: A note on the homotopy type of certain gauge groups
cites work: The evaluation map and E H P sequences
cites work: On the groups \([X,Sp(n)]\) with \(\dim X\leq4n+2\)
cites work: Function spaces related to gauge groups
cites work: The odd primary $H$-structure of low rank Lie groups and its application to exponents
cites work: The homotopy types of Sp(2)-gauge groups
cites work: Odd primary homotopy decompositions of gauge groups
cites work: The homotopy types of \(SU(5)\)-gauge groups
cites work: Odd primary homotopy types of \(\mathrm{SU}(n)\)-gauge groups
DOI: 10.2140/AGT.2019.19.491
description: scientific article