Arxiv:1805.04879V2 [Math.AT] 23 Mar 2021 Rca Oei Ahmtclpyisadtegoer Fmanifolds

Home , Pointed space

arXiv:1805.04879v2 [math.AT] 23 Mar 2021 rca oei ahmtclpyisadtegoer fmanifolds. of [ geometry Donaldson the of and theory physics remarkable mathematical in role crucial of ag group gauge lsictoso oooytpso agsgop eeinvestiga were groups gauges types. of homotopy distinct types for many homotopy finitely of only classifications have groups gauge their vndmninlspheres. dimensional even for [ Theriault by 4-manifolds for generally principal of classes isomorphism many infinitely be may there [ Milgram algebra and an Cohen From view, 4-manifolds. of of structures differential the study 71,57S05, 57R19, Membrillo-S 5-manifolds, [ connected Hamanaka-Kono [ non-simply manifolds, author dimensional for the groups dimensions, gauge higher of In surfaces. over groups [ Theriault over, [ Sutherland and Crabb of result of fundamental A spaces moduli decades. cent related and groups gauge of types homotopy the ain ewsas upre npr yCieePostdoctora Scienc Chinese Natural by National part 11801544). and in 2019T120145), C supported and also and 2018M631605 was Council He Postdoctoral Chinese dation. under Students doctoral OOOYO AG RUSOE IHDIMENSIONAL HIGH OVER GROUPS GAUGE OF HOMOTOPY P 2010 a considerable received has groups gauge of theory homotopy The h uhrwsspotdb ototrlItrainlExc International Postdoctoral by supported was author The Let S S 4 8 htfix that diinly ihmt-ooTuaa[ Kishimoto-Kono-Tsutaya Additionally, . yKn [ Kono by G ahmtc ujc Classification. Subject Mathematics ag rusoe oehg iesoa aiod.T emor homot be ( over To the bundles study manifolds. of we groups dimensional gauge work, high study some this over In groups gauge decades. recent in attention Abstract. fshr ude ae ntecasclwr fJmsadWhi and James 2 of work of classical types the t other on of thermore, based i groups Freedman bundles gauge sphere the and investigate Wall of also by We determined category. was natorial which of classification obntoso aiodtplg n aiu ehiusi techniques Th various and groups. topology gauge manifold of of combinations decompositions homotopy various show we eatplgclgopand group topological a be of X h oooyo ag rusadtercasfigsae ly a plays spaces classifying their and groups gauge of topology The . P 23 37 eoe by denoted , ,HsiKsiooKn-ao[ Hasui-Kishimoto-Kono-Sato ], h oooyter fguegop a eevdconsiderab received has groups gauge of theory homotopy The n et[ West and ] 5 one u httemi usini ounderstand to is question main the that out pointed ] G n 41 1. ( mnflsaeas osdrd naltecases, the all In considered. also are -manifolds P MANIFOLDS tde h oooydcmoiin fgauge of decompositions homotopy the studied ] UZIHUANG RUIZHI 8 ,i h ru of group the is ), Introduction h ple h oooyo ag rusto groups gauge of topology the applied who ] P eaprincipal a be n rmr 51,5P0 43;scnay55R25, secondary 54C35; 55P40, 55P15, primary 37 − 1 15 )cnetdcoe 2 closed 1)-connected ,S [ So ], for ] 21 S 33 18 6 , n oTeiut[ So-Theriault and ] 22 n aaaaKj-oo[ Hamanaka-Kaji-Kono and ,Teiut[ Theriault ], G G ieePsdcoa cec Foun- Science Postdoctoral hinese onaino hn Gatno. (Grant China of Foundation e ag rga o noigPost- Incoming for Program hange tde h eea ae of cases general the studied ] cec onain(rn nos. (Grant Foundation Science l bnl vraspace a over -bundle euvratautomorphisms -equivariant 19 oooytheory. homotopy n ettlmanifolds total he tde h homotopy the studied ] n 6 mnfls the -manifolds, ehd are methods e lista though that claims ] p hoyof theory opy pcfi,we specific, e h combi- the n eed Fur- tehead. ctplgclpoint topological ic G 38 bnlsover -bundles connections. e particularly ted ,ec n more and etc, ], ls[ olis tnini re- in ttention hr sthe is There h explicit The 34 le 26 .More- ]. X o 7- for ] The . 16 X ] , 2 RUIZHI HUANG

In this paper, we study the homotopy types of gauge groups over some high dimensional manifolds. We are mainly concerned with manifolds of the following three types: Type A: (Wall [40]) (n − 1)-connected closed oriented combinatorial 2n-manifolds in the sense of (page 181, [40]); Type B: (James-Whitehead [20]) The total spaces of oriented sphere bundles of real vector bundles over spheres with cross sections; Type C: Other highly connected closed oriented 2n-manifolds. The basic idea to study the homotopy types of gauge groups over these manifolds, as applied in the work of Theriault [37] and So [33], is to decompose them into smaller and simpler pieces. It is a classical result that the isomorphism classes of G- principal bundles over a compact manifold M are classiﬁed by the set of homotopy classes of classifying maps [M,BG]. Hence we may also denote the gauge group G(P ) of P with [P ]= α ∈ [M,BG] by Gα(M) to emphasize the base manifold M. By [12] or [2], there is a homotopy equivalence

BGα(M) ≃ Mapα(M,BG) between the classifying space of Gα(M) and the connected component of free map- ping space Map(M,BG) that contains the classifying map representing α. Hence from now on we do not distinguish these two spaces since we only care about their homotopy types. Based on Proposition 2.2 as a generalisation of the results of Theriault [37] and So [33], the relations between the homotopy types of the gauge groups and of the base manifolds can be summarised in the following slogan: The homotopy type of the suspension of the base manifold controls the homotopy types of gauge groups, and moreover, the wedge decomposition of the suspended manifold leads to a product decomposition of gauge groups. We now turn to discuss the three cases. For Type A, the classification of (n − 1)-connected closed oriented 2n-manifolds was studied by Wall [40]. Let M be n Z ∼ m Z such a manifold of rank m, i.e., H (M; ) = ⊕i=1( ). Wall studied the triple n (H (M; Z), IM ,βM ) as the combinatorial invariant of M, where IM is the intersec- n n n tion form IM : H (M) ⊗ H (M) → Z, and βM : H (M; Z) → πn−1(SO(n)) is a function defined by first realizing the cohomology classes of Hn(M; Z) by embed- dings of n-spheres in M and then by taking the clutching functions of the normal bundles of the n-spheres in M. In general βM is not a homomorphism due to the complexity of the intersection form. However, we can show that the composition

n βM J n Σ χ : H (M) → πn−1(SO(n)) → π2n−1(S ) → πn−1(S) is a homomorphism, where J is the classical J-homomorphism and S is the sphere spectrum. This homomorphism χ determines the homotopy structure of ΣM. Indeed, it is clear that Imχ is a subgroup of ImJ, the image of the stable J- homomorphism. The famous work of Adams [1] and Quillen [31] determines ImJ (Theorem 4.1), based on which we can determine the homotopy classiﬁcation of ΣM parametrized by a single index. We then deduce our ﬁrst main result on homotopy decompositions of gauge groups, which generalizes the corresponding decomposition of Theriault [37] for the case when n = 2. Basically we see that the homotopy type of a gauge group is completely determined by the index. HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 3

Theorem 1.1. Let M be an (n − 1)-connected closed oriented 2n-manifold (n ≥ 2) of rank m. Let G be a connected topological group with πn−1(G) =∼ πn(G)=0. Define the number ind(M) to be the index of the subgroup Imχ in ImJ when Imχ is not the trivial group, or 0 otherwise. Then we have the following homotopy equivalences for any α ∈ π2n−1(G) =∼ [M,BG], • if n ≡ 3, 5, 6, 7 mod 8, m m ΣM ≃ S2n+1 ∨ Sn+1, G (M) ≃ G (S2n) × ΩnG; _ α α Y i=1 i=1 • if n ≡ 1, 2 mod 8, and m ≥ 2, m−1 m−1 ΣM ≃ ΣX ∨ Sn+1, G (M) ≃ G (X ) × ΩnG, 1 _ α α 1 Y i=1 i=1 n 2n where X1 = S ∪g e is such that Σg ≡ ind(M) mod 2. If further we localize away from 2, m m ΣM ≃ S2n+1 ∨ Sn+1, G (M) ≃ G (S2n) × ΩnG; _ α α Y i=1 i=1 • if n =4s, and m ≥ 2, m−1 m−1 ΣM ≃ ΣX ∨ Sn+1, G (M) ≃ G (X ) × ΩnG, 2 _ α α 2 Y i=1 i=1 n 2n where X2 = S ∪g e is such that Σg ≡ ind(M) mod ds, and ds is the denominator of Bs/4s for Bs the s-th Bernoulli number defined by z 1 z2s =1 − z − B . ez − 1 2 X s (2s)! s≥1 For Type B, we consider the gauge groups over the total space of a spherical bundle over a sphere i π Sq −→ E −→ Sn, which admits a cross section, i.e., there exists a map s : Sn → E such that π◦s = id. It is known that E has three cells as a CW complex. Suppose further that (E, π) is the sphere bundle of some oriented real vector bundle. The homotopy types, or even the fibrewise homotopy types, of such bundles were classified by James and Whitehead [20] via constructions using the J-homomorphism and the non- exact EHP -sequence. The first observation is that, due to the existence of a cross section, the clutching function ζ ∈ πn−1(SO(q +1)) of (E, π) is the image of some class ξ ∈ πn−1(SO(q)) through the natural inclusion i : SO(q) ֒→ SO(q + 1). Then it can be showed that ΣE ≃ Sn+1 ∨ Th(E), where Th(E) is the Thom space of the q q+n bundle and Th(E) ≃ Σ(S ∪J(ξ) e ). We can now state our second main result.

i π Theorem 1.2. Let Sq −→ E −→ Sn be the sphere bundle of an oriented real vector bundle which admits a cross section. Let G be a connected topological group such that πn−1(G)=0. Then if n and q ≥ 2 we have a homotopy equivalence for any α ∈ [E,BG] q q+n n Gα(E) ≃ Gα(S ∪J(ξ) e ) × Ω G. 4 RUIZHI HUANG

If further πq−1(G)=0 and J(ζ)=0, then when n ≤ 2q − 1 q+n n q Gα(E) ≃ Gα(S ) × Ω G × Ω G. The second part of the last theorem is proved based on a slightly stronger version (Lemma 5.1) of a result of James-Whitehead (Theorem 1.11 of [20]), which deals with the triviality of the sphere bundle. For Type C, we consider the gauge groups of E7-bundles over 4-connected 12- manifolds, and also of E8-bundles over 6-connected 16-manifolds. In these two cases, the isomorphism classes of bundles are both classiﬁed by Z (Lemma 6.7). With many homotopy theoretical techniques and computations, we can analyze the homotopy type of the suspension of such M, and then obtain our last theorem on the homotopy decompositions of the related gauge groups. Theorem 1.3. Let M be an (n − 2)-connected closed oriented 2n-manifold with n−1 Z ∼ m Z n Z H (M; ) = ⊕i=1 and H (M; )=0. Then c m−c M ≃ Σn−3CP 2 ∨ (Sn−1 ∨ Sn+1) ∪ e2n _ _ i=1 j=1 for some non-negative number c with 0 ≤ c ≤ m and there are homotopy equivalences

• of E7-gauge groups when n =6 c−1 m−c−1 m−c G (M) ≃ G (Z) × Ω3Map∗(CP 2, E ) × Ω5E × Ω7E , k k Y 7 Y 7 Y 7 i=1 i=1 i=1 3 2 5 12 where Z ≃ Σ CP ∨ S ∪f e for some f; • and of E8-gauge groups when n =8 c−2 m−c−3 m−c−1 G (M) ≃ G (Z) × Ω5Map∗(CP 2, E ) × Ω7E × Ω9E , k k Y 8 Y 8 Y 8 i=1 i=1 i=1 2 5 2 3 7 9 16 where Z ≃ Σ CP ∨ S ∨ S ∪g e for some g. Wi=1 Wi=1 If further we localize away from 2, then in both cases we have the homotopy equivalences m G (M) ≃ G (S2n) × (Ωn−1E × Ωn+1E ), k k Y i i i=1 where (n,i)=(6, 7) or (8, 8). Theorems 1.1, 1.2 and 1.3 are useful for the study of the homotopy exponent problem of gauge groups. Among others, a typical result (Proposition 7.7) in Sec- tion 7 states that under certain conditions for our manifold M in the theorems l(G)+ord(α) expp(Gα(M)) ≤ p , where 2l(G) + 1 is the largest dimension of the spheres in the rational homotopy decomposition of G, and ord(α) denotes the p-primary order of the classifying map α. Let us close the introduction with some comments. Besides the obvious applications to the homotopy and (co)homology of gauge groups, the results in this paper also inspire several further problems. Firstly, it is natural to consider other types of manifolds. In some sense, the methods in the paper provide a general framework HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 5 to study the homotopy of gauge groups over high dimensional manifolds. Secondly, it is reasonable to apply geometrical tools to study gauge groups. For instance, it is an interesting question to ask how we can trace the change of homotopy type of gauge group if we apply a surgery on the underlying manifold. Finally, for the Type B case, James-Whitehead indeed determined the complete classification of sphere bundles over spheres in terms of some types of obstructions defined by the J-homomorphism. Hence, it is an interesting question whether the homotopy types of the gauge groups of the total spaces can be classified in terms of these obstructions for fixed structure group G. Our paper is organized as follows. In Section 2, we classify principal bundles over highly connected closed manifolds with structure groups having certain properties, and then prove Proposition 2.2. In Section 3, we consider the homotopy suspensions of CW -complexes with the same homologies as our Type A manifolds. The methods in this section, as suggested by our slogan, are general and interesting in their own right and will be used in the rest of the paper. In Section 4, we prove Theorem 1.1 based on Wall’s work on (n − 1)-connected 2n-manifolds. We also give some examples in this section. In Section 5, we prove Theorem 1.2 based on the work of James and Whitehead on sphere bundles over spheres. In Section 6, we prove Theorem 1.3. Section 7 is devoted to applications on the homotopy exponents.

2. Principal bundles over highly connected closed manifolds and their gauge groups In this section, we consider principal bundles and their gauge groups over highly connected closed manifolds. Let M be a k-connected closed oriented m-manifold, and Mi be its i-skeleton.

Lemma 2.1. Let G be a connected topological group with πi(G)=0 for k ≤ i ≤ m − k − 1. Then [M,BG] =∼ πm−1(G).

m−1 f m Σf Proof. The homotopy coﬁbre sequence S → Mm−1 → M → S → ΣMm−1 gives the the following exact sequence ∗ m (Σf) [Mm−1, BG] ← [M,BG] ← [S , BG] ← [ΣMm−1, BG].

Since M is k-connected, Mm−1 = Mm−k−1 by Poincar´eduality. Then we see [Mm−1, BG] =∼ [ΣMm−1, BG] = 0. Hence the lemma follows.

Let us develop a general homotopy decomposition of gauge groups. Proposition 2.2 (cf. Proposition 2.1 of [37] and Lemma 2.3 in [33]). Let M be an oriented m-dimensional k-connected closed manifold, and G be a connected topological group with πi(G)=0 for k ≤ i ≤ m − k − 1. Suppose that there exists a CW-complex Y with [Y,BG]=0, and a map φ : Y → M such that Σφ admits a left homotopy inverse. Then ΣM ≃ ΣY ∨ ΣX, where X is the homotopy coﬁbre of φ, and there is a homotopy equivalence ∗ Gα(M) ≃ Gα(X) × Map (Y, G), where α ∈ πm−1(G). 6 RUIZHI HUANG

Proof. The proof is similar to that of Lemma 2.3 of [33]. The homotopy coﬁbre φ Σφ sequence Y → M → X → ΣY → ΣM gives the the following exact sequence ∗ (Σφ) [Y,BG] ← [M,BG] ← [X,BG] ← [ΣY,BG] ← [ΣM,BG]. By assumption we have [Y,BG] = 0and(Σφ)∗ is an epimorphism. Hence [X,BG] =∼ [M,BG] =∼ πm−1(G). Then by considering the natural homotopy ﬁbre sequence ∗ ∗ ev Mapβ(Z, G) → Gβ(Z) → G → Mapβ(Z,BG) → Mapβ(Z,BG) → BG for any class β ∈ [Z,BG], we have the following homotopy commutative diagram ∗ ∗ ∗ ΩMapα(M,BG) ΩMapα(M,BG)

∗ Gα(X) Gα(M) Map (ΣY,BG)

∗ Gα(X) G Mapα(X,BG)

∗ ∗ ∗ Mapα(M,BG) Mapα(M,BG) where the rows and columns are homotopy ﬁbre sequence, and the map ι is a right homotopy inverse. Hence, the ﬁbre sequence in the second row splits and the lemma follows.

3. Suspension splittings of certain complexes and their gauge groups

In this section, we prove a suspension splitting of a complex Z with H∗(Z; Z) =∼ H∗(M; Z), where M is an (n − 1)-connected closed oriented 2n-manifold of rank Z ∼ m Z m (m ≥ 2), that is, H2(M; ) = ⊕i=1 . We consider this general case ﬁrst rather than the special one for manifolds, since the method in this section does not depend on the manifold structure, and then may be of independent interest. In particular, it will be used often in the remaining sections of the paper. m n 2n First notice that Z admits a cell decomposition Z ≃ i=1 S ∪f e with the W m n attaching map f, the homotopy class of which lies in π2n−1( i=1 S ). Recall that the stable homotopy groups of the sphere spectrum S are torsionW abelian groups in positive dimensions and therefore admit decompositions of the form

(3.1) πn−1(S) =∼ Z/k1 ⊕ Z/k2 ⊕···⊕ Z/kr such that ki|ki+1 for 1 ≤ i ≤ r. By the Freudenthal suspension theorem, we have the surjective suspension morphism m m Σ: π ( Sn) ։ π (S). 2n−1 _ M n−1 i=1 i=1 m Hence, we may write f ≃ (ai,1 + ai,2 + ... + ai,r)+ ω, where ω is in the kernel iP=1 of Σ, and Σ(ai,j ) lies in the j-th component Z/kj in the decomposition (3.1) of the i-th sphere. Notice that the choice of ai,j may be not unique. We may use a matrix to represent the homotopy class

Σf = B, B = (bi,j )m×r, bi,j = Σ(ai,j ). HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 7

Let {a,b}⊆{1, 2,...m}. As in Lemma 2.5 of [33], we can define maps m m φ : Sn → Sn a,b _ i _ i i=1 i=1 n n such that its restriction on Sa ∨ Sb is the composition n n σ∨id n n n id∨∇ n n Sa ∨ Sb −→ Sa ∨ Sa ∨ Sb −→ Sa ∨ Sb , with σ the comultiplication and ∇ the folding map, while φa,b leaves other factors ′ fixed. Define fã,b = φa,b ◦ f and Z as its homotopy cofiber. Then there is a homotopy commutative diagram f S2n−1 m Sn Z Wi=1 i ˜ φa,b ≃ φa,b f˜ S2n−1 a,b m Sn Z′, Wi=1 i where φã,b is a homotopy equivalence since it induces isomorphism on homology. It is easy to check that the effect of the map φa,b on Σf is an elementary row operation on B given by adding the a-th row to the b-th row

Σfã,b = (I + Eb,a)B, where I is the identity matrix and Eb,a is the matrix with value 1 at (b,a) and zero elsewhere. Hence, we can perform row-addition transformations on B without n n changing the homotopy type of Z. Similarly, by the degree −1 map −id : Sa → Sa for 1 ≤ a ≤ m, we can also perform row-multiplying transformations by −1 on B without changing the homotopy type of Z. Hence since the row-switching transformations are always allowed, we then can apply row-addition transformations, row-switching transformations and row-multiplying transformations by −1 on B without changing the homotopy type of Z. There are two remarks. First, we should remember that the elements of the j-th column of B are from Z/dj ; second, in order to preserve the homotopy type of Z, the column operations are not allowed since in that case the elements under summation lie in different direct summands. Lemma 3.1. With above conditions and notation, there is a choice of the attaching map f for M such that the suspension Σf can be represented by a matrix B of the form e1 ∗ ··· ∗   0 e2 ··· ∗ e1 ∗ ··· ∗ ··· ∗ ············     0 e2 ··· ∗ ··· ∗  0 0 ··· er  or   ··· ··· ··· ··· ··· ∗  0 0 ··· 0       0 0 ··· em ··· ∗ ············    0 0 ··· 0,  depending on r ≤ m or r ≥ m. Proof. Since the Euclidean algorithm for the great common divisor of numbers (a1,...,an) can be interpreted as the row-addition transformations on the column T vector (a1,...,an) , we can use row-addition transformations to transform our ′ ′ original matrix B of Σf to a new matrix B1 such that the first column of B1 is of 8 RUIZHI HUANG

T the form (0,..., ±e1,..., 0) where e1 is the great common divisor of the elements of the first column of B. Since we can also apply row-switching transformations ′ and row-multiplying transformations by −1, we can further transform B1 to B1 T with first column (e1, 0,..., 0) . Repeating the process for the remaining rows and columns of B1, we can achieve a matrix of the form as in the statement of the lemma. By our previous discussion, these transformations can be realized without changing the homotopy type of Z. Hence we have proved the lemma. Remark 3.2. For any set S ⊂ Z/d (d 6= 0), we can define the greatest common divisor g.c.d.(S) of S to be the minimum of g.c.d.(s1,...,sl) with (s1,...,sl) running through all the representatives of S in Z/d up to units. In particular, the diagonal m entries e1 of the matrices in Lemma 3.1 can be chosen to be g.c.d.({bi,1}i=1). For instance, when m = 1 and S = {s} with s ∈ Z/d, g.c.d.(S) is the minimum of |x| among all x such that the congruence class [x] = cs for some unit c ∈ Z/d. Indeed, it is easy to see that g.c.d.(S) is equal to the index of the subgroup generated by s in Z/d. By Lemma 3.1 and its proof, we can easily get the following splitting of ΣZ. Corollary 3.3. Let Z be an (n − 1)-connected CW -complex (n ≥ 2) with cell m n 2n decomposition Z ≃ i=1 S ∪f e . Suppose the matrix representation B of Σf has only t non-zeroW columns after row operations and t

J n πn−1(SO(n)) π2n−1(S )

(4.2) i∗ Σ

J n+1 πn−1(SO(n + 1)) π2n(S ). The J-homomorphism in the second row of the diagram is indeed in the stable range, i.e., J : πn−1(SO) → πn−1(S), whose image is known due to famous work of Adams and Quillen. Theorem 4.1 ([1], [31]). 0 n ≡ 3, 5, 6, 7 mod 8, J  Z Im =  /2 n ≡ 1, 2 mod 8,n 6=1, Z/ds n =4s,  where ds is the denominator of Bs/4s for Bs the s-th Bernoulli number. 4.2. Homotopy decompositions of gauge groups over (n − 1)-connected 2n-manifolds. To access the gauge groups we need to analyze the homotopy type of ΣM more carefully, based on the method in Section 3. Indeed, we want to apply matrix transformations through the function β (4.1) and J. To that purpose, first recall that for the manifold M we have the intersection n n form IM : H (M) ⊗ H (M) → Z defined by IM (x ⊗ y)= hxy, [M]i, where [M] is n the fundamental class of M. Then the function β : H (M) → πn−1(SO(n)) (4.1) satisfies the relations: n HJβ(x)= IM (x ⊗ x), x ∈ H (M),

′ n (4.3) β(x + y)= β(x)+ β(y)+ IM (x ⊗ y)∂ ιn,x,y ∈ H (M), n where H is the Hopf invariant, ιn ∈ πn(S ) is given by the identity map and ′ n ∂ : πn(S ) → πn−1(SO(n)) is the connecting homomorphism in the long exact i sequence of homotopy groups for the ﬁbration SO(n) → SO(n+1) → Sn. Applying the composition of the J-homomorphism and the suspension Σ to (4.3), we have ′ ΣJβ(x + y) = ΣJβ(x)+ΣJβ(y)+ IM (x ⊗ y)ΣJ∂ ιn

= ΣJβ(x)+ΣJβ(y)+ IM (x ⊗ y)Σ(−[ιn, ιn]) = ΣJβ(x)+ΣJβ(y), 10 RUIZHI HUANG

′ where we used the fact that −J∂ = [−, ιn] is a Whitehead product (e.g., see (1.3) of [20]). This means the composition

n β J n Σ (4.4) χ : H (M) → πn−1(SO(n)) → π2n−1(S ) → πn−1(S) is a homomorphism. Hence the effects of matrix transformations used in Lemma 3.1 on ΣM can be understood through χ. Indeed, by Theorem 4.1 and Diagram (4.2) we have that the image of χ =ΣJβ = −Ji∗β is always a cyclic group. We then can choose a column vector B = {bi}m×1 to represent the suspension of the attaching 2n−1 m n Z ∼ map f : S → j=1 Sj of M as in Section 3 such that bi ∈ /d = Im(ΣJ) for some d. By LemmaW 3.1 and Remark 3.2, B can be transformed to a vector of the T m form (h, 0,..., 0) such that h =g.c.d.({bi}i=1) in the sense of Remark 3.2. To understand the transformations through χ, let us write the attaching map 2n−1 m n n ∗ f : S → j=1 Sj of M as f ≃ f1 + ··· + fm + ω, where fi = J(αi)= Jβ([Si ] ) W n ∗ n is the i-th component, and [Si ] is the dual of [Si ] under Poincaréduality. Notice that fi corresponds to the i-th row of B. Then n ∗ n ∗ n ∗ n ∗ Σ(fa + fb)= χ([Sa ] + [Sb ] )= χ([Sa ] )+ χ([Sb ] )=Σfa +Σfb, which means that the effect of an elementary row operation on B by adding the a-th row to the b-th row can be achieved by the addition operation of the group n ∼ m Z H (M) = ⊕i=1 . Hence, it follows that h is indeed the index of the subgroup Imχ in ImJ unless h = 0. We can now prove Theorem 1.1.

Proof of Theorem 1.1. First by Lemma 2.1 [M,BG] =∼ π2n−1(G) if πn−1(G) =∼ πn(G) = 0. Notice that ind(M)= h by the above discussions and Remark 3.2. The homotopy classiﬁcation of ΣM now follows from the above arguments and Theorem 4.1, and then the corresponding splittings of gauge groups follows immediately from Proposition 2.2. To complete the proof, it remains to show that the two decompositions of gauge groups involving X1 and X2 in the theorem do not depend on the choices of the (1) n 2n (2) n 2n attaching map g. Indeed, let X = S ∪g(1) e and X = S ∪g(2) e such that Σg(1) ≃ Σg(2). Similar to Lemma 2.12 of [33] we can consider the composition ′ µ g(1) ∨g(2) h : S2n−1 −→ S2n−1 ∨S2n−1 −→ Sn ∨Sn and its homotopy coﬁber Y , where µ′ is the co-multiplication. Then by Lemma 3.1,ΣY ≃ ΣX(1) ∨Sn+1 ≃ ΣX(2) ∨Sn+1. (1) n (2) n It implies that Gα(X ) × Ω G ≃ Gα(X ) × Ω G by Proposition 2.2 . 4.3. Examples. We specify some examples for bundles over particular manifolds and structure groups. 4.3.1. Bundles of exceptional Lie groups. We may consider several examples of bundles over exceptional Lie groups, which can be also studied through the stable homotopy groups of spheres directly. Let us collect some information about the homotopy groups of spheres ([39]): 5 6 8 π9(S ) =∼ Z/2, π11(S ) =∼ Z, π15(S ) =∼ Z ⊕ Z/120,

π4(S)= π5(S)=0, π7(S) =∼ Z/240, 8 where Σ : π15(S ) ։ π7(S) sends the generator σ8 ∈ Z representing the third Hopf invariant 1 map to the generator σ ∈ Z/240, and the generator in Z/120 to 2σ. Combining this information with Proposition 2.2, Corollary 3.3, Lemma 6.7 and HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 11 the information on homotopy groups of E6, E7 and E8, we can get the homotopy decompositions of associated gauge groups. Proposition 4.2. Let M be an (n − 1)-connected closed oriented 2n-manifold of rank m. We have 10 m 5 • when n = 5 and G = E6, Gk(M) ≃ Gk(S ) × i=1 Ω E6; 12 Qm 6 • when n = 6 and G = E7, Gk(M) ≃ Gk(S ) × i=1 Ω E7; Q 16 • when n = 8, G = E8 and Σf is null-homotopic, Gk(M) ≃ Gk(S ) × m 8 Ω E8; Qi=1 • when n = 8, G = E8 and Σf is not null-homotopic, Gk(M) ≃ Gk(Xα) × m−1 8 i=1 Ω E8, where Xα is a 2-cell complex with one 8-cell and one 16-cell Q 8 and an attaching map α ∈ π15(S ).

In the fourth case of Proposition 4.2, the attaching map α of Xα is determined by the original f and the matrix transformations of Σf. By Theorem 1.1, we see 9 17 that ΣXα ≃ S ∪h e , where h is the index of the subgroup Imχ in Z/240 . If further M is almost parallelizable, i.e., M is parallelizable with one point deleted, then the mod 2 Steenrod module structure on H∗(M; Z/2) is trivial due to the triviality of Stiefel-Whitney class of M by the famous Wu formula ([45], page 132 of [27]). Hence we have the following homotopy decomposition in this special case since Sq8 detects σ: Proposition 4.3. Let M be a 7-connected almost parallelizable closed oriented 16-manifold of rank m. Then for the gauge group of the E8-bundle over M corresponding to k ∈ [M,BE8], we have the homotopy equivalence after localization away from 15 m G (M) ≃ G (S16) × Ω8E . k k Y 8 i=1 4.3.2. Stable Sp-bundles. Recall the Bott periodicity for symplectic groups for q − 1 ≤ 4r: q mod 8 0 1 2 3 4 5 6 7 . πq(Sp(r)) 0 0 0 Z Z/2 Z/2 0 Z Proposition 4.4. Let M be an (8n + 1)-connected closed oriented (16n + 4)- manifold of rank m. For the Sp(r)-bundle corresponding to k ∈ [M,BSp(r)] =∼ Z with 8n +1 ≤ 2r, we have the homotopy equivalence m−1 G (M) ≃ G (X) × Ω8n+2Sp(r), k k Y i=1 8n+2 16n+4 where X1 = S ∪g e is such that Σg = h. If further we localize away from 2, m G (M) ≃ G (S16n+4)× Ω8n+2Sp(r). k k Y i=1 4.3.3. Stable Spin-bundles. Recall the Bott periodicity for Spin groups for r ≥ q +2 ≥ 4: q mod 8 0 1 2 3 4 5 6 7 . πq(Spin(r)) Z/2 Z/2 0 Z 0 0 0 Z 12 RUIZHI HUANG

Proposition 4.5. Let M be a (4n+1)-connected closed oriented (8n+4)-manifold of rank m. For the Spin(r)-bundle corresponding to k ∈ [M,BSpin(r)] =∼ Z with r ≥ 8n + 5, we have the homotopy equivalence localized away from 2 m G (M) ≃ G (S8n+4)× Ω4n+2Spin(r). k k Y i=1

5. Sphere bundles over spheres and their gauge groups In this section, we consider the gauge groups over the total space of a spherical i π bundle over a sphere Sq −→ E −→ Sn, which admits a cross section, i.e., there exists a map s : Sn → E such that π ◦ s = id. By [20] we know that E is a 3-cell CW -complex with one q-cell, one n-cell and one (q + n)-cell. As before we need to study the homotopy structure of ΣE and then apply Proposition 2.2.

5.1. Suspension splittings of sphere bundles over spheres with a section. Let us suppose n, q ≥ 2. Then we have a homotopy commutative diagram

q n S Eq+n−1 S s j Sq Eπ Sn, s where the first row is the cofibration for the (q + n − 1)-skeleton Eq+n−1 of E, and the section s factors through the injection j by the cellular approximation. Hence, q n q n q+n we have the homotopy equivalence Eq+n−1 ≃ S ∨ S , and E ≃ (S ∨ S ) ∪h e with the attaching map h for the top cell. We then also have another homotopy commutative diagram of cofibrations ∗ Sn Sn π s (5.1) Sq+n−1 h Sq ∨ Sn E p η Sq+n−1 Sq X, which defines η as one of the components of h, the complex X as the homotopy cofibre of η, and p as the induced map. Since ΣE is a co-H-space, we see that the suspension of the last column of Diagram (5.1) splits, i.e., ΣE ≃ Sn+1 ∨ΣX. On the other hand, we can also get the suspension splitting of ΣE using Thom complexes. Recall that for the spherical bundle (E, π), the Thom complex Th(E) of (E, π) is just the homotopy cofibre of π and we have the homotopy cofibre sequence

π g Σπ E → Sn → Th(E) → ΣE → Sn+1, which deﬁnes the map g. Since Σπ ◦ Σs ≃ id, we then obtain ΣE ≃ Sn+1 ∨ Th(E). The complexes ΣX and Th(E) are related. Indeed, by the above arguments the composition map

′ Σs∨g µ Σπ∨Σp T : Sn+1 ∨ Th(E) → ΣE → ΣE ∨ ΣE → Sn+1 ∨ ΣX, HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 13

′ n+1 is a homotopy equivalence, where µ is the co-multiplication. Let p2 : S ∨ΣX → n+1 ΣX and i2 : Th(E) → S ∨ Th(E) be the canonical projection and injection respectively. Then it is not hard to show that the composition

∗ ∗ ∗ p T i H∗(ΣX) →2 H∗(Sn+1 ∨ Th(E)) → H∗(Sn+1 ∨ Th(E)) →2 H∗(Th(E))

g Σp is an isomorphism. Hence the composition Th(E) → ΣE → ΣX is a homotopy equivalence.

5.2. Sphere bundles of plane bundles over spheres. Suppose E is the sphere bundle of an oriented vector bundle over R. In this case we can get a better description, that is, we can desuspend the homotopy equivalence Th(E) ≃ ΣX. Also notice that we do not need the restriction on q and n if we use Thom complexes to study ΣE. The material in this subsection mainly follows the work of James and Whitehead on spheres bundles over spheres [20]. Indeed, as the sphere bundle of a (q + 1)-plane bundle, E is determined by a clutching function ζ ∈ πn−1(SO(q + 1)), and (Milnor; Proposition 29 of [10]) q+1 q+n+1 (5.2) Th(E) ≃ S ∪J(ζ) e , q+1 where J : πn−1(SO(q + 1)) → πn+q(S ) is the J-homomorphism. Further, the n clutching function ζ is the image of the class of the identity under ∂ : πn(S ) → πn−1(SO(q + 1)), which is the connecting homomorphism of the principal bundle SO(q + 1) → P (E) → Sn of E. Then by the following commutative diagram of the homotopy groups of three ﬁbrations

n n πn(S ) πn(S )

∂ δ=0 j∗ q πn−1(SO(q)) πn−1(SO(q + 1)) πn−1(S )

i∗

πn−1(P (E)) πn−1(E), there exists some ξ ∈ πn−1(SO(q)) such that j∗(ξ)= ζ. Hence by (5.2) and Diagram (4.2), we have q+1 q+n+1 q+1 q+n+1 q q+n Th(E) ≃ S ∪Jj∗(ξ) e ≃ S ∪ΣJ(ξ) e ≃ Σ(S ∪J(ξ) e ). Indeed by the discussion of Section 3 of [20], we actually can choose η in Diagram q q+n (5.1) to be J(ξ) and then X ≃ S ∪J(ξ) e .

5.3. Homotopy decompositions of gauge groups of sphere bundles. In this subsection we prove Theorem 1.2, for which we need a technical lemma. Let Rq+1 → V → Sn be an oriented (q + 1)-plane bundle with the associated sphere bundle Sq → E → B. James and Whitehead [20] have theoretically classiﬁed the homotopy type of sphere bundles of oriented vector bundles over spheres with cross sections. Moreover, they showed a suﬃcient condition for when E ≃ Sq × Sn without the assumption of the existence of a cross section. Lemma 5.1 (Theorem 1.11 of [20]). Suppose J(ζ)=0 and n ≤ 2q − 1. Then E = S(V ) ≃ Sq × Sn. 14 RUIZHI HUANG

Proof. The proof here is due to the work of James and Whitehead, but partly differs from theirs since we do not apply their classification theorem. We try to organize the details of the proof since many of them are classical and interesting, and we should also notice that the statement of the lemma is a little stronger than the theorem of James and Whitehead. The first step is to prove that the associated sphere bundle i π (5.3) Sq −→ E −→ Sn, of V admits a cross section, which is equivalent to proving that for the standard j p q principal bundle SO(q) −→ SO(q + 1) −→ S , we have p∗(ζ) = 0 where ζ ∈ πn−1(SO(q + 1)) is the clutching function of V , that is, j∗(ξ) = ζ for some ξ ∈ πn−1(SO(q)) and then V is indeed a fibre bundle of SO(q). For this purpose, we recall a result of G. W. Whitehead (Theorem 5.1 of [42]). Consider f : Sn−1 ×Sm → Sq with n + m ≤ 3q − 1. Its restriction map (α, β): Sn−1 ∨ Sm ֒→ Sn−1 × Sm → Sq is called the type of f. Whitehead showed that H ◦ F (f) ≃ (−1)q+1(α ∗ β), where F (f) is the Hopf construction of f, H is the Hopf invariant and α ∗ β is the join of the involved maps. In other words, there exists a commutative diagram up to the sign (−1)q+1 n−1 m q F q+1 [S × S ,S ] πn+m(S )

q q ∗ 2q+1 πn−1(S ) ⊕ πm(S ) πn+m(S ). n−1 q q Since ζ ∈ πn−1(SO(q +1)) determines a map ζ˜ : S ×S → S of type (p∗(ζ), ιq ), by Whitehead’s definition of the J-homomorphism we have q+1 H ◦ J(ζ) ≃ H ◦ F (ζ˜) ≃ (−1) (p∗(ζ) ∗ ιq). q+1 By assumption J(ζ) = 0, we then have Σ p∗(ζ) ≃ p∗(ζ) ∗ ιq = 0, which implies p∗(ζ) = 0 by Freudenthal suspension theorem if n ≤ 2q − 1. Hence we complete the first step that the sphere bundle (5.3) admits a section, and then as before there q n q+n exists a homotopy equivalence E ≃ (S ∨ S ) ∪h e . The next step is to show that the fibre inclusion i of (5.3) admits a left homotopy inverse, for which we need to show that η : Sq+n−1 → Sq ∨ Sn → Sq is null homotopic. Notice that there is the commutative diagram

q i∗ π∗ n πq+n−1(S ) πq+n−1(E) πq+n−1(S )

j1∗ j2∗

q q n πq+n−1(S ) πq+n−1(S ∨ S ), where j1 and j2 are inclusions, and the ﬁrst row is a short exact sequence since the bundle (5.3) admits a cross section. Then i∗(η) ≃ (j2 ◦ j1)∗(η) ≃ (j2)∗(h) ≃ 0 implies that η ≃ 0. Hence we can form the homotopy commutative diagram Sq+n−1 η=0 h Sq Sq ∨ Sn Sq i r

E HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 15 that deﬁnes a map r such that r ◦ i ≃ id since the column is a coﬁbration sequence. The second step is then completed. Now the lemma follows by applying the Whitehead theorem to the map (r, π): E −→ Sq × Sn. We can now prove Theorem 1.2.

s p Proof of Theorem 1.2. Since for the homotopy coﬁbration Sn → E → X appeared in Diagram 5.1 s admits a left inverse π, there is a short exact sequence of sets X,BG] ֒→ [E,BG] ։ [Sn, BG]. Hence [E,BG] =∼ [X,BG] by the assumption] πn−1(G) = 0. The proof of the two decompositions in the theorem is then similar to that of Proposition 2.2 based on our discussions on the homotopy type of ΣE in Subsection 5.2 for the ﬁrst one, and Lemma 5.1 with the fact that Σ(Sq × Sn) ≃ Sq+1 ∨ Sn+1 ∨ Sq+n+1 for the second one.

6. Homotopy decompositions of E-gauge groups over (n − 2)-connected 2n-manifolds In this section, we study the gauge groups over other types of closed oriented 2n-manifolds in the spirit of Section 3. We only consider principal bundles of three exceptional Lie groups. The material in this section heavily relies on various computational techniques in unstable homotopy theory.

6.1. Homotopy of suspended (n−2)-connected 2n-manifolds. In this subsection, we consider some types of closed oriented 2n-manifolds (n ≥ 4) which admit a cell decomposition of the form m (6.1) M ≃ Sn−1 ∪ en+1 ∪ en+1 ... ∪ en+1 ∪ e2n. _ (1) (2) (m) i=1 By the method in Section 3, we can determine the homotopy type of the (n +1)- m n f m n−1 skeleton Mn+1 of M through the homotopy coﬁbre sequence i=1 Sj → i=1 Si → m n−1 m W W Mn+1. Since πn( S ) =∼ Z/2, the homotopy type of Mn+1 is deter- Wi=1 Li=1 mined by an (m × m) matrix C = (ci,j ) over the ﬁeld Z/2 where ci,j represents n n−1 the component of the attaching map from Sj to Si . As in Section 3, performing row-addition transformations will not change the homotopy type of Mn+1. Also, the row-multiplying transformations are valid since we work over Z/2. Hence, we can do all row operations. Indeed we can also apply column operations. Lemma 6.1. Under above assumptions let rank(C)= c. Then c m−c M ≃ Σn−3CP 2 ∨ (Sn−1 ∨ Sn+1). n+1 _ _ i=1 j=1

Proof. For any non-singular matrices P and Q ∈ Mm×m(Z/2), we can construct maps to ﬁll in the following commutative diagram

m n C m n−1 S S Mn+1 Wj=1 Wi=1 Q P ≃ φ −1 m n P CQ m n−1 ′ S S Mn ≃ Mn+1, Wj=1 Wi=1 +1 16 RUIZHI HUANG where either row is a homotopy cofibre sequence, and the homotopy equivalence is obtained by applying the Five lemma on the associated long exact sequences of homologies. Hence, we can choose P and Q such that PCQ−1 is a diagonal matrix n−1 of rank rank(C). Since πn(S ) = hηn−1i generated by the first Hopf map, the n−3 2 homotopy cofibre of ηn−1 is homotopy equivalent to Σ CP and then the lemma follows.

Since we want to study the homotopy of gauge groups through Proposition 2.2, we need to study the homotopy type of ΣM, which is determined by the top attaching map lying in the image of the composition

π2n−1(Mn+1) c m−c n−3 2 n−1 n+1 =∼ π2n−1 Σ CP ∨ (S ∨ S ) _ _ i=1 j=1 c m−c m−c n−3 2 n−1 n+1 =∼ π n− (Σ CP ) ⊕ π n− (S ) ⊕ π n− (S ) ⊕ W M 2 1 M 2 1 M 2 1 i=1 i=1 i=1 c m−c m−c −→Σ π (Σn−2CP 2) ⊕ π (Sn) ⊕ π (Sn+2) M 2n M 2n M 2n i=1 i=1 i=1

,(π2n(ΣMn+1 →֒ where the second isomorphism, the factor W and the last inclusion are determined by the Hilton-Milnor theorem (see Section XI.6 of [43] for instance).

6.2. Homotopy types of suspended 4-connected 12-manifolds. In this subsection, we study the homotopy type of ΣM (6.1) when n = 6. In order to study the suspension of the top attaching map of M, we need to compute the homotopy groups of suspended complex projective planes. Lemma 6.2. There is an isomorphism of homotopy groups 6 2 2 8 2 πi(S ∧ CP ∧ CP ) =∼ πi(Σ CP ) for each 0 ≤ i ≤ 11. Proof. First notice that at any odd prime pS6 ∧CP 2 ∧CP 2 ≃ S10 ∨S12 ∨S12 ∨S14, Σ8CP 2 ≃ S10 ∨ S12, and their i-th homotopy groups are trivial for each 0 ≤ i ≤ 11. Hence it remains to consider the 2-torsion parts of the involved homotopy groups, and they are already in the stable range by Freudenthal suspension theorem. In the proof of Lemma 3.10 of [44] Wu constructed a 2-local homotopy cofibration 6 f 2 2 S → CP ∧ CP → Z such that the 7-skeleton Z7 of Z is homotopy equivalent to Σ2CP 2. It follows that there is the stable homotopy fibration S12 → S6 ∧ CP 2 ∧ CP 2 → Σ6Z. By the exact sequence of homotopy groups of fibration, it implies 6 2 2 6 that πi(S ∧ CP ∧ CP ) =∼ πi(Σ Z) for each 0 ≤ i ≤ 11. On the other hand, since 2 2 6 8 2 Z7 ≃ Σ CP , we have πi(Σ Z) =∼ πi(Σ CP ). The lemma then follows.

We now can get the homotopy information of the top attaching map that we need for the homotopy of gauge groups.

3 2 4 2 Lemma 6.3. Σ: π11(Σ CP ) → π12(Σ CP ) =∼ Z/2 is an epimorphism. HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 17

4 2 3 2 Proof. By Lemma 6.2 and Freudenthal suspension theorem, π12(Σ CP ∧Σ CP ) =∼ 9 2 π12(Σ CP ). Then by the EHP -sequence (Chapter XII Theorem 2.2 of [43]) we 3 2 Σ 4 2 H 9 2 have the exact sequence π11(Σ CP ) → π12(Σ CP ) → π12(Σ CP ). In Propo- 9 2 sition 8.1 and Proposition 10.5 of [29] Mukai showed that π12(Σ CP ) = 0 and 4C 2 2 ∼ Z 6 2 ∼ Z π12(Σ P )= {i∗ν6 } = /2, where π12(S )= {ν6 } = /2 and i is the injection of the bottom cell. The lemma now follows.

Lemma 6.4. Let M be a 12-dimensional manifold with cell decomposition of the m 5 7 7 7 12 form M ≃ i=1 S ∪ e(1) ∪ e(2) ... ∪ e(m) ∪f e . Then there exists a non-negative number c withW 0 ≤ c ≤ m such that c−1 m−c−1 m−c ΣM ≃ ΣZ ∨ Σ4CP 2 ∨ S6 ∨ S8, _ _ _ i=1 i=1 i=1 3 2 5 12 where Z ≃ Σ CP ∨ S ∪g e for some g. Proof. This proof is similar to the treatment in Section 3. With Lemma 6.1 (n = 6), 8 6 Lemma 6.3 and the facts that [39] π12(S ) = 0 and π12(S ) =∼ Z/2, we can represent the attaching map Σf of the top cell of ΣM by a matrix B, and apply allowable matrix transformations to simplify B as in Lemma 3.1. The decomposition in the lemma then can be showed similarly as Corollary 3.3.

6.3. Homotopy types of suspended 6-connected 16-manifolds. In this subsection, we study the homotopy type of ΣM when n = 8. The argument is similar to that in the last subsection.

5 2 6 2 Lemma 6.5. The homomorphism Σ: π15(Σ CP ) → π16(Σ CP ) =∼ Z/2 ⊕ Z/4 is surjective. Proof. First, by the similar argument at the beginning of the proof of Lemma 6 2 5 2 13 2 6.3, we have that π16(Σ CP ∧ Σ CP ) =∼ π16(Σ CP ). By the EHP -sequence (Chapter XII Theorem 2.2 of [43]) and Proposition 8.1 of [29], we have the exact 5 2 Σ 6 2 H 13 2 sequence π15(Σ CP ) → π16(Σ CP ) → π16(Σ CP ) = 0. We are left to compute 6 2 π16(Σ CP ). First, by Proposition 12.2 of [29], we have 7 2 π17(Σ CP )= {i∗σ9η16}⊕{ν˜11ν14} =∼ Z/2 ⊕ Z/4, 9 where (following Toda [39]) π17(S )= {σ9η16}⊕{ν¯9}⊕{ǫ9} =∼ Z/2 ⊕ Z/2 ⊕ Z/2, 7 2 and i is the injection of the bottom cell, π14(Σ CP )= {ν˜11} =∼ Z/24 (Proposition 14 10.2 of [29]), and π17(S ) = {ν14} =∼ Z/24. Then by the EHP -sequence, Lemma 6.2 and and Freudenthal suspension theorem, we have the exact sequence

7 2 6 2 P 6 2 Σ 7 2 H 7 2 6 2 π18(Σ CP ∧ Σ CP ) → π16(Σ CP ) → π17(Σ CP ) → π17(Σ CP ∧ Σ CP ), 7 2 6 2 15 2 and πi(Σ CP ∧ Σ CP ) =∼ πi(Σ CP ) for i ≤ 18. Since by Proposition 8.1 of [29] 15 2 15 2 7 2 π18(Σ CP ) = 0, π17(Σ CP ) =∼ Z, and π17(Σ CP ) is a torsion group, we have 6 2 7 2 π16(Σ CP ) =∼ π17(Σ CP ) =∼ Z/2 ⊕ Z/4, and the lemma follows.

Using the methods in Section 3, and combining Lemma 6.5 and the facts [39] ∼ 3 Z ∼ 7 8 9 = 10 ∼ Z ,Σ: ⊕i=1 /2 = π15(S ) ֒→ π16(S ), Σ: π15(S ) → π16(S ) = /2 we obtain the following lemma analogous to Lemma 6.4. 18 RUIZHI HUANG

Lemma 6.6. Let M be a 16-dimensional manifold with cell decomposition of the m 7 9 9 9 16 form M ≃ i=1 S ∪ e(1) ∪ e(2) ... ∪ e(m) ∪f e . Then there exists a non-negative number c withW 0 ≤ c ≤ m such that c−4 m−c−3 m−c−1 ΣM ≃ ΣZ ∨ Σ6CP 2 ∨ S8 ∨ S9, _ _ _ i=1 i=1 i=1 2 5 2 3 7 9 16 where Z ≃ Σ CP ∨ S ∨ S ∪g e for some g. Wi=1 Wi=1 6.4. Homotopy decompositions of gauge groups over (n − 2)-connected 2n-manifolds. Let us start with some homotopy information of exceptional Lie groups (Theorem V, [3]).

πi(E6)=0 for4 ≤ i ≤ 8, π9(E6)= Z,

πi(E7)=0 for4 ≤ i ≤ 10, π11(E7)= Z,

πi(E8)=0 for4 ≤ i ≤ 14, π15(E8)= Z.

With the above facts, the following lemma follows immediately from Lemma 2.1. Lemma 6.7. Let M be a 4-connected closed oriented m-manifold. If

(m, G) = (10, E6), (12, E7) or (16, E8), then [M,BG] =∼ Z. We can now prove Theorem 1.3.

Proof of Theorem 1.3. We have already showed the cell structure of Mn+1 in Lemma 6.1. For the E7-principal bundles over M when n = 6, we have [M,BE7] =∼ Z by Lemma 6.7. Then by applying Proposition 2.2 for m = 12 and k = 4, and Lemma 2 2 6.4 with the fact that [Σ CP , E7] = 0, we can show the homotopy decomposition of the E7-gauge groups. Similarly, for the E8-principal bundles over M when n = 8, we have [M,BE8] =∼ Z by Lemma 6.7. By applying Proposition 2.2 for m = 16 4 2 and k = 6, and Lemma 6.6 with the fact that [Σ CP , E8] = 0, we can show the homotopy decomposition of the E8-gauge groups. The homotopy decomposition of the gauge groups localized away from 2 follows immediately from the integral ones.

7. Applications to the homotopy exponent problem In this section, we apply the results in the previous sections to study the homotopy exponent problem. For any pointed space X, its p-th homotopy exponent is the least power of p which annihilates the p-torsion in π∗(X), and denoted by expp(X) or simply exp(X). We are actually interested in the upper bounds of the odd primary homotopy exponents of gauge groups. Lemma 7.1. Suppose the triple (M, G, p) belongs to one of the following groups: • Type A: M is an (n − 1)-connected closed oriented 2n-manifold, and G is a topological group with πn−1(G) =∼ πn(G)=0, – n 6≡ 0 mod 4, and p is odd, or – n ≡ 0 mod 4, (p, d n )=1, where d is the denominator of B /4s for 4 s s Bs the s-th Bernoulli number; HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 19

i π • Type B: M = E is the total space of the sphere bundle Sq −→ E −→ Sn of an oriented real vector bundle with a cross section such that J(ζ)=0, G is topological group such that πn−1(G)= πq−1(G)=0 and q = n +2k with k ≥ 0; • Type C: M is an (n − 2)-connected closed oriented 2n-manifold, and p is odd. (G, n) = (E7, 6), or (G, n) = (E8, 8).

Then in the Type A and Type C cases, we have for any α ∈ [M,BG]= π2n−1(G) 2n exp(Gα(M)) ≤ max{exp(Gα(S )), exp(G)}; and in the Type B case, we have for any α ∈ [M,BG]= π2(n+k)−1(G)

2(n+k) exp(Gα(M)) ≤ max{exp(Gα(S )), exp(G)}. Proof. It suﬃces to show that in the Type A and Type C cases, there exist p-local 2n nj homotopy decompositions of the form Gα(M) ≃(p) Gα(S )× Ω G, and in the Qnj 2(n+k) Ωnj G, where the numbers n depend Type B case Gα(M) ≃(p) Gα(S ) × nj j on the case. However, these decompositionsQ follow immediately from Theorems 1.1, 1.2 and 1.3.

From Lemma 7.1, we are leaded to consider the homotopy exponents of the 2n gauge groups over even dimensional spheres. For that we only consider Gα(S ) for simplicity. There is a homotopy ﬁbre sequence

2n−1 2n ∂α 2n−1 2n ev (7.1) Ω(Ω0 G) → Gα(S ) → G → Ω0 G → BGα(S ) → BG, where the connecting map ∂α, by a lemma of Lang [25], is identiﬁed with the Samel- 2n son product hα, idGi. This suggests that the exponents of Gα(S ) are controlled by that of G. Thus we need to consider the homotopy exponents of the structure groups, and Lie groups are our main concern here. To set notations, let X be a ﬁnite p-local H-space. Then by a classical result of Hopf, there is a rational homotopy equivalence

2n1+1 2n2+1 2nl+1 X ≃(0) S × S ×···× S , where the index set t(X)= {n1,n2,...,nl} (n1 ≤ n2 ≤ ... ≤ nl) is called the type of X. Denote also l(X)= nl, ti(X)= {k ∈ t(X) | k ≡ i mod (p − 1)}. The types of compact simply connected simple Lie groups are well known and summarised in Table 1.

Table 1. Types of simple Lie groups

G Type G2 1, 5 SU(n) 1, 2,...,n − 1 F4 1, 5, 7, 11 Sp(n) 1, 3,..., 2n − 1 E6 1, 4, 5, 7, 8, 11 Spin(2n) 1, 3,..., 2n − 3,n − 1 E7 1, 5, 7, 9, 11, 13, 17 Spin(2n +1) 1, 3,..., 2n − 1 E8 1, 7, 11, 13, 17, 19, 23, 29

Due to a classical result of Serre [32], it is well known that these Lie groups can be decomposed into a product of spheres at large primes, which was generalized to ﬁnite p-local H-spaces by Kumpel [24]. 20 RUIZHI HUANG

Theorem 7.2. Let X be a ﬁnite mod p H-space of type {n1 = 1,n2,...,nl}. If H∗(X; Z) is p-torsion free and p ≥ l(X)+1, then there exists a map f : S2n1+1 × S2n2+1 ×···× S2nl+1 → X, which is a mod p homotopy equivalence. The primes p for which there exists a map f as in Theorem 7.2 are called the regular primes of X. With this terminology, Theorem 7.2 just claims that X is p-regular if p ≥ l(X) + 1. On the other hand, thanks to a construction of Gray [13] on a family of inﬁnitely n 2n+1 many elements of order p in π∗(S ), Cohen, Neisendorfer and Moore in their famous work [4, 30] showed that i 2n+1 n (7.2) exp(Ω0S )= p , for any i ≥ 0 and odd prime p. The following lemma then follows immediately. Lemma 7.3. Let G be a Lie group in Table 1 with p-torsion free cohomology. Then i l(G) if p ≥ l(G)+1, we have exp(Ω0G)= p for any i ≥ 0. Combining Lemma 7.1 and Lemma 7.3, we can get the following proposition. Proposition 7.4. Let (G,M,p) as in Lemma 7.1, and G be a Lie group in Table 1 with p-torsion free cohomology. If p ≥ l(G) + 1, we have

2n l(G) 2l(G) exp(Gα(M)) ≤ max{exp(Gα(S )),p }≤ p . In order to obtain a more reﬁned estimate, we consider some intermediate primary decomposition of Lie groups. As a generalization of classical work of Mimura, Nishida and Toda [28], Theriault [36] showed a deep result about homotopy decompositions of the low rank Lie groups in Table 2 with further applications of the homotopy exponents.

Table 2. Some low rank Lie groups

SU(n) n − 1 ≤ (p − 1)(p − 2) Sp(n) 2n ≤ (p − 1)(p − 2) Spin(2n + 1) 2n ≤ (p − 1)(p − 2) G2, F4, E6 p ≥ 5 E7, E8 p ≥ 7

Theorem 7.5 (Theriault [36]). Let G be a Lie group in Table 2. Then there is a homotopy decomposition

G ≃(p) B1 × B2 ×···× Bp−1, where Bi is a homotopy associative, homotopy commutative, spherically resolved H-space for each 1 ≤ i ≤ p − 1. Furthermore, there exists a composition q 2l(Bi)+1 c 2l(Bi)+1 S → Bi → S

ri(G) of degree p for some ri(G) ∈ N, where c is a representative of a generator of

π2l(Bi)+1(Bi), and q is the map to the highest dimensional resolving sphere of Bi, HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 21 and a homotopy commutative diagram of H-maps

r (G) p i / Bi Bi

2k+1 / S Bi, k∈Qti(G) for each 1 ≤ i ≤ p − 1. In particular, with r(G) = max{r1(G), r2(G),...,rp−1(G)}

ri(G)+l(Bi) r(G)+l(G) exp(Bi) ≤ p , exp(G) ≤ p .

For a given collection of sets S = {S1,S2,...,Sp−1} we define Spn+i = Si for any 1 ≤ i ≤ p − 1 and n ∈ Z. Equivalently, S is regarded as indexed by Z/(p − 1) as in [21]. Proposition 7.6. Let (G,M,p) be as in Lemma 7.1, and G be a Lie group in Table (n) (n) 2 with p-torsion free cohomology. Denote li (G) = l(Bi)+ l(Bi−n), ri (G) = (n) (n) (n) ri(G)+ rn−i(G), and s (G) = max{ri (G)+ li (G) | 1 ≤ i ≤ p − 1}. Then if n − 1 ∈ t(G), we have s(n)(G) exp(Gα(M)) ≤ p . Proof. It was shown in [21] that there exists a homotopy equivalence 2n Bα Bα Bα Gα(S ) ≃(p) 1 × 2 ×···× p−1, Bα where i for each i ∈ Z/p − 1 is the total space of a homotopy fibre sequence 2n−1 Bα (7.3) Ω(Ω0 Bi) → i → Bi−n. The proposition then follows from Theorem 7.5 and Lemma 7.1. There are two special cases of Proposition 7.6 for which we can obtain better upper bounds of the homotopy exponents. Denote ord(α) to be the least number of powers of p such that pord(α)α = 0. Proposition 7.7. Let (G,M,p) as in Lemma 7.1, and G be a Lie group in Table 2 with p-torsion free cohomology. Suppose n − 1 ∈ t(G), then l(G)+ord(α) (1). exp(Gα(M)) ≤ p if p ≥ l(G) + 1; l(G) (2). exp(Gα(M)) = p if p ≥ l(G)+ n + 1. Proof. For Case (1), by (7.1) we have the exact sequence 2n−1 2n π∗(Ω(Ω0 G)) → π∗(Gα(S )) → Ker(∂α∗) → 0, ord(α) and it is easy to show that p π∗(G) ⊆ Ker(∂α∗). On the other hand, we notice that under the condition p ≥ l(G)+1, the fibration (7.3) is now a homotopy fibration over a sphere with fiber an iterated loop space of a sphere. Moreover, by Theorem 3.12 of [21] we have the homotopy commutative diagram of fibre sequences for each i ∈ Z/p − 1

∂(i) 2n−1 / Bα / α / 2n−1 Ω(Ω0 Bi) i Bi−n Ω0 Bi

2n−1 / 2n / ∂α / 2n−1 Ω(Ω0 G) Gα(S ) G Ω0 G, 22 RUIZHI HUANG

(i) ord(α) where ∂α is the i-th component of ∂α. It follows that p π∗(Bi−n) ⊆ Ker(∂α(i)∗). Bα ord(α) Then the order |coker(π∗( i ) → π∗(Bi−n))|≤ p . By Lemmas 2.2 and 2.3 of Bα ord(α) [35], we see that exp( i ) ≤ p · max(exp(Bi), exp(Bn−i)). The inequality (1) then follows from the p-regularity of G and Lemma 7.1. For Case (2), as shown in Proposition 3.14 of [21], the gauge group of a sphere 2n 2k+1 2n 2k+1 is decomposed completely as Gα(S ) ≃(p) (S × Ω0 S ). The equality k∈Qt(G) (2) then follows immediately from Lemma 7.1 and (7.2).

Remark 7.8. We close the section with several remarks. n−2 • As shown in [36], r(SU(n)) = νp((n − 1)!) ≤⌊ p−1 ⌋, which is much smaller than l(SU(n)) = n−1. Moreover, since SU(2n) ≃(p) Sp(n)×SU(2n)/Sp(n), and Spin(2n + 1) ≃(p) Sp(n) (Harris, [17]), we can obtain upper bounds of the homotopy exponents of Sp(n) and Spin(2n+1) from that of SU(n). The homotopy exponents of exceptional Lie groups are known, as summarised in Theorem 1.10 of [7]. • Proposition 7.7 also holds for the exceptional Lie groups with special (n,p) as listed in Proposition 3.14 of [21]. • We can work out concrete examples based on the above results. For instance, for the two cases of Type C, we have for the E7-bundle with p ≥ 29, 17 29 exp(Gk(M)) = p , and for the E8-bundle with p ≥ 41, exp(Gk(M)) = p . Acknowledgements. The author is indebted to Haibao Duan for introducing several points of Wall’s work on (n − 1)-connected 2n-manifolds. He would like to thank Juno Mukai for the computations of homotopy groups in Lemma 6.5. He beneﬁtted much from the class of Thomas Farrell on geometric topology at the Yau Mathematical Sciences Center of Tsinghua University. He is also grateful to Daisuke Kishimoto and Stephen Theriault for helpful discussions. The author sincerely thanks Stephen Theriault for proofreading this paper. He also wants to thank the anonymous referee most warmly for careful reading of the manuscript and numerous suggestions that have improved the exposition of this paper.

References [1] J. F. Adams, On the groups J(X)-IV, Topology 5 (1) (1966), 21-71. [2] M. Atiyah and R. Bott, The Yang-Mills equations over Riemann surfaces, Philos. Trans. Royal Soc. Lon. Series A, Mathematical and Physical Sciences, 308 (1983), 523-615. [3] R. Bott and H. Samelson, Application of the theory of Morse to symmetric spaces, Amer. J. Math. 80 (1958), 964-1029. [4] F. R. Cohen, J. C. Moore and J. A. Neisendorfer, The double suspension and exponents of the homotopy group of spheres, Ann. Math. 109 (1979), 549-565. [5] R. L. Cohen and R. J. Milgram, The homotopy type of gauge theoretic moduli spaces, from: “Algebraic topology and its applications”, (G. E. Carlsson, R. L. Cohen, W. C. Hsiang, J. D. S. Jones, editors), Math. Sci. Res. Inst. Publ. 27, Springer, New York (1994) 15-55. [6] M. C. Crabb and W. A. Sutherland, Counting homotopy types of gauge groups, Proc. London Math. Soc. 81 (2000), 747-768. HOMOTOPY OF GAUGE GROUPS OVER HIGH DIMENSIONAL MANIFOLDS 23

[7] D. M. Davis and S. D. Theriault, Odd-primary homotopy exponents of simple compact Lie groups, Geom. Topol. Monographs 13 (2008), 195-201. [8] S. K. Donaldson, Connections, cohomology and the intersection forms of 4- manifolds, J. Differential Geom. 24 (1986) 275-341. [9] H. Duan and S. Wang, The degrees of maps between manifolds, Math. Z. 244 (2003), 67-89. [10] T. Farrell and S. Basu, Introductory lectures on surgery theory, from: “Intro- duction to Modern Mathematics”, (S.-Y. Cheng, L. Ji, Y.-S. Poon, J. Xiao, L. Yang, S.-T. Yau, editors), ALM 33, Higher Education Press, Beijing (2015) 3-108. [11] M. H. Freedman, The topology of 4-manifolds, J. Diff. Geom. 17 (1982), 337- 453. [12] D. H. Gottlieb, Applications of bundle map theory. Trans. Amer. Math. Soc. 171 (1972), 23-50. [13] B. I. Gray, On the sphere of origin of infinite families in the homotopy groups of spheres, Topology 8 (1969), 219-232. [14] A. Haefliger, Differential imbeddings, Bull. Amer. Math. Soc. 67 (1961), 109- 112. [15] H. Hamanaka and A. Kono, Homotopy type of gauge groups of SU(3)-bundles over S6, Topology Appl. 154 (2007), no. 7, 1377-1380. [16] H. Hamanaka, S. Kaji, and A. Kono, Samelson products in Sp(2), Topology Appl. 155 (2008), no. 11, 1207-1212. [17] B. Harris, On the homotopy groups of the classical groups, Ann. Math. 74 (1961), 407-413. [18] S. Hasui, D. Kishimoto, A. Kono and T. Sato, The homotopy types of PU(3)- and PSp(2)-gauge groups, Algebr. Geom. Topol. 16 (2016), 1813-1825. [19] R. Huang, Homotopy of gauge groups over non-simply- connected five-dimensional manifolds, Sci. China Math. (2019). https://doi.org/10.1007/s11425-019-9540-3 [20] I. M. James and J. H. C. Whitehead, The homotopy theory of sphere bundles over spheres (I), Proc. London Math. Soc. 3 (4) (1954), 196-218. [21] D. Kishimoto, A. Kono and M. Tsutaya, Mod p decompositions of gauge groups, Algebr. Geom. Topl. 13 (2013), 1757-1778. [22] D. Kishimoto, A. Kono and M. Tsutaya, On p-local homotopy types of gauge groups, Proc. Roy. Soc. Edinburgh Sect. A 144 (2014), no. 1, 149-160. [23] A. Kono, A note on the homotopy type of certain gauge groups, Proc. Roy. Soc. Edinburgh Sect. A 117 (1991) 295-297. [24] P. G. Kumpel, On p-equivalences of mod p H-spaces, Quart. J. Math. 23 (1972), 173-178. [25] G. E. Lang, Jr, The evaluation map and EHP sequences, Pacific J. Math. 44 (1973), 201-210. [26] Membrillo-Solis, Ingrid, Homotopy types of gauge groups related to S3-bundles over S4, Topology Appl. 255 (2019), 56-85. [27] J. Milnor and J. Stasheff, Characteristic classes, Ann. Math. Studies 76, Princeton Univ. Press and Univ. Tokyo Press, Princeton, NJ (1975). [28] M. Mimura, G. Nishida and H. Toda, Mod p decomposition of compact Lie groups, Publ. RIMS, Kyoto Univ. 13 (1977), 627-680. 24 RUIZHI HUANG

[29] J. Mukai, The S1-transfer map and homotopy groups of suspended complex projective spaces, Math. J. Okayama Univ. 24 (1982) 179-200. [30] J. A. Neisendorfer, 3-primary exponents, Math. Proc. Camb. Phil. Soc. 90 (1981), 63-83. [31] D. Quillen, The Adams conjecture, Topology 10 (1) (1971), 67-80. [32] J. P. Serre, Groupes d’homotopie et classes des groups ab´eliens, Ann. of Math. 58 (1953), 258-294. [33] T. L. So, Homotopy types of gauge groups over non-simply-connected closed 4-manifolds, Glasg. Math. J. 61 (2019), no. 2, 349-371. [34] T. L. So and S. Theriault, The suspension of a four-manifold and its applications, preprint (2019), arXiv:1909.11129. [35] S. D. Theriault, Homotopy exponents of Harper’s spaces, J. Math. Kyoto Univ. 44 (2004), no. 1, 33-42. [36] S. D. Theriault, The odd primary H-structure of low rank Lie groups and its application to exponents, Trans. Amer. Math. Soc. 359 (2007), 4511-4535. [37] S. Theriault, Odd primary homotopy decompositions of gauge groups, Algebr. Geom. Topol. 10 (2010), no. 1, 535-564. [38] S. Theriault, Odd primary homotopy types of SU(n)-gauge groups, Algebr. Geom. Topol. 17 (2017), 1131-1150. [39] H. Toda, Composition methods in homotopy groups of spheres, Ann. Math. Studies 49, Princeton Univ. Press, Princeton, N. J. (1962). [40] C. T. C. Wall, Classiﬁcation of (n − 1)-connected 2n-manifolds, Ann. Math. 75 (1962), 163-198. [41] M. West, Homotopy decompositions of gauge groups over real surfaces, Algebr. Geom. Topol. 17 (2017), no. 4, 2429-2480. [42] G. W. Whitehead, Generalization of the Hopf invariant, Ann. Math. 51 (1950), 192-237. [43] G. Whitehead, Elements of homotopy theory, Springer-Verlag, GTM 62, 1978. [44] J. Wu, Homotopy theory and the suspensions of the projective plane, Memoirs AMS 162 (2003), No. 769. [45] W. T. Wu, On Pontrjagin classes, II, Scientia Sinica 4 (1955), 455-490.

Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China, 100190 URL: https://sites.google.com/site/hrzsea/ Email address: [email protected]