On gauge groups over high dimensional manifolds
and self-equivalences of -spaces
Let be a pointed space and let be the group of based self-equivalences of , . For a homotopy commutative -group we construct a subgroup of which has a group structure isomorphic to either , or , . We classify principal bundles over connected sums of -sphere bundles over -spheres, and use the group to obtain homotopy decompositions of their gauge groups. Using these decompositions we give an integral classification, up to homotopy, of the gauge groups of principal -bundles over certain 2-connected 7-manifolds with torsion-free homology.
Key words and phrases:Gauge groups, sphere bundles, self-equivalences, homotopy decomposition
2010 Mathematics Subject Classification:55P45, 54C35, 55P10 (primary), 55R10, 55R25 (secondary)
Let be a connected -complex and be a Lie group. The isomorphism classes of principal -bundles over are in one-to-one correspondence with the set of unpointed homotopy classes of maps from to the classifying space of . Given a principal -bundle over , the gauge group of , denoted , is the group of its bundle automorphisms covering the identity on . The pointed gauge group consists of all bundle automorphisms that pointwise fix the fibre at the base point. Endowed with the compact-open topology, (resp. is homotopy equivalent to the loop space of the connected component of the mapping space (resp. which contains the map that classifies the bundle [AB]. Although the set of isomorphism classes of principal -bundles over a finite -complex might be infinite, there exist only finitely many distinct homotopy types among the gauge groups [CS].
The topology of gauge groups and their associated classifying spaces has received considerable attention due to their connections to mathematical physics and other areas in mathematics. Particular attention has been paid in counting the number of homotopy types of gauge groups over surfaces and 4-manifolds. Although new ideas coming from differential geometry and mathematical physics suggest the possibility of extending gauge theories to high dimensions [DT], the homotopy theory of gauge groups over high dimensional manifolds has been barely explored. Research done in this direction includes the study of gauge groups over high dimensional spheres [HKK, KKT, Spf], -bundles over [IMS] and -connected -manifolds [RH1].
The study of the group of self-homotopy equivalences of a topological space has a long tradition in homotopy theory (see for instance [Ark],[Rut2]). Very little is known, however, about this group when is a product or a wedge sum of spaces. Moreover, the applications of the group of self-equivalences require further investigations. In this work we present an application of the group to the homotopy classification of mapping spaces.
It is well known that there are homeomorphisms and . Similar decompositions do not hold in general for . It has been shown that the loops on these kinds of mapping spaces appear in homotopy decompositions of gauge groups of principal -bundles over 7-dimensional manifolds [IAM2]. For suitable spaces and , is a homotopy commutative -group and so is . We construct a subgroup of the group of self-equivalences of the -fold cartesian product of certain homotopy commutative -groups . We show that this construction can be used to decompose the loop spaces of the connected components of . As a result, we provide full decompositions of the gauge groups associated to -sphere bundles over -spheres. Finally, we use these decompositions to give a complete classification, up to homotopy, of -gauge groups over connected sums of certain -bundles over with cross sections.
Let be the set of -by- matrices with integer coefficients, and let be the subset of invertible matrices. Given an -group , and a matrix , we define a self-map, called a matrix map, on the -fold cartesian product of as the composite