A recent colloquium talk here at UWO caught my attention because it ties in quite directly to some of the things I’ve been talking about here. Alejandro Adem, from UBC (also the PIMS head-to-be) was talking about commuting n-tuples and spaces of homomorphisms. In particular, spaces of homomorphisms where is a discrete group and is a Lie group. If you take to be , then this is a space of -tuples of elements of which all commute (since is abelian).
In particular this turns up when you want to talk about the moduli space of flat -bundles on a manifold , which you do in the area of TQFT’s. Flat -bundles are determined by specifying holonomies in around any loop – the effect of doing transport around . If you take the discrete group , the fundamental group of , then this is an example of the kind of space Adem was talking about. In particular, speaking of commuting -tuples, that is the even more special case when is an -dimensional torus. However, it’s a tricky enough special case in its own right, as it turns out. Adem spent a fair amount of time on some of these.
In geometry, you’re perhaps more likely to be interested in the moduli space of flat bundles up to gauge equivalence – which amounts to saying that if you conjugate all your holonomies by , you have an equivalent bundle. The same thing happens with spaces – since acts on them by conjugation, you can take the quotient under this action. If you started with a finite group , the space was a manifold, but the quotient may not be. However, you do have a bundle , so that each point in the base space is a gauge equivalence class of connections, and the fibre over each point consists of all the gauge-equivalent connections in that class.
(Throughout the talk, I found myself trying to categorify things – in building an extended TQFT, rather than a TQFT, one uses the case where \Gamma = \pi_1(M)$). However, there you take a weak quotient, where instead of forcing gauge-equivalent objects to be equal, you just insert isomorphisms between them, getting a groupoid I’ll call . The bundle picture is related to but different from the groupoid picture. The groupoid is equivalent to its skeleton, where the objects are just the points in . The morphisms at object are the group – the points in the fibre over in the bundle are all stabilized by – it’s a coset space.
Also, when you include the morphisms, instead of looking at functions from this space into, say, , or – its cohomology – you tend to look at functors from the groupoid. The category of functors from it into is exactly the 2-vector space of states it gets in the extended TQFT picture I partially described back here and here. So this is a categorified version of a cohomology module – the non-categorified version being what a regular TQFT based on gauge group would assign to . I’m not sure quite how all the rest of the talk fits into this picture.)
First, though, he described some tools for dealing with such spaces. To start with, you use the classifying spaces and (where is a space whose fundamental group is and which has no other interesting homotopy groups). Since “taking the classifying space” is a functor, homomorphisms turn into continuous maps . (Even better is when for some Riemann surface (i.e. a torus of some genus ), then effectively is the classifying space: ). This correspondence may not be one-to-one, but the point is they tell us something about the shape of the moduli space we were interested in. Looking at homotopy classes of such , which form a space , we get information about the components of the moduli space – there’s a map
which we can try to understand. Alejandro Adem then went on to use this idea to look at spaces of commuting -tuples in a Lie group , namely . Since the image of generates an Abelian subgroup of , one basic result is that if every maximal such subgroup is path-connected, then so is – there’s just one component (since any tuple can be deformed into any other). This can be extended to groups “built from” Abelian subgroups (in various ways he left undefined for this talk).
The other important tool for looking at the geometry/topology of the moduli spaces which he spoke about was (Poincaré-)Alexander-Lefschetz duality, which provides information about the topology of one space embedded in another from the topology of its complement. In particular, it gives an isomorphism between the cohomology of a space and the of its complement, where is -dimensional. In particular, the spaces of commuting -tuples of elements of are subspaces of the manifold , which is much easier to understand.
So finally, among a number of other examples of how these tools come into play, the one Adem described that I was most interested in was the space , and particularly , the space of connections on a torus. The complement in is an open set in a manifold – hence it’s a manifold itself – and in fact it turns out to be equivalent to . You can get partway to seeing this by noting that the projection map turns into a bundle over – the projection never hits the centre of . This centre happens to be just two points, 1 and -1, leaving the base space homotopic to a sphere . The fibre over each point is , the whole group minus the centralizer of (i.e. everything which doesn’t commute with ). The centralizer of any point is just a circle, and the remaining set is homotopic to a circle itself.
So the complement of the moduli space, within , is homotopic to a bundle of circles over a 2-sphere. There are a few of these, and it takes a little more to find out that it happens to be the 3-sphere with the Hopf fibration, but that’s what it is. Then, to find out what the moduli space itself looks like, you have to use the Alexander-Lefschetz duality. Adem didn’t show all the details, so I’m not exactly sure how, but it seems that it turns out you have a space homotopic to the one-point union of three spaces:
Now, as I said before, this is telling us information about the objects of the groupoid (also known as the moduli stack of connections), and while the morphisms shouldn’t be too hard to work out in this case, it might be nice to have a more general picture. When I raised this, Rick Jardine suggested that looking at the maps in should help – the classifying spaces are simplicial sets, and so is the collection of maps between them, and the above is only talking about vertex information. There should be a way of looking at as an infinity-category – and in this case, it should be trivial above the level of morphisms. But I don’t quite know how this works yet.