On gauge groups over high dimensional manifoldsand self-equivalences of H-spaces

On gauge groups over high dimensional manifolds
and self-equivalences of -spaces

Ingrid Membrillo-Solis Mathematical Sciences, University of Southampton, University Road, Southampton SO17 1BJ, United Kingdom i.membrillo-solis@soton.ac.uk
July 26, 2019

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)

1. Introduction

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

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description