∞-Lie theory (higher geometry)
Formal Lie groupoids
The Atiyah Lie groupoid of a -principal bundle is the Lie groupoid whose objects are the fibers of the bundle, and whose morphisms are the -equivariant morphisms between the fibers. Schematically:
Its Lie algebroid is the Atiyah Lie algebroid of .
Both the Atiyah Lie groupoid and its Lie algebroid are used to characterize and are characterized by connections on .
As generally for every Lie algebroid, there are different Lie groupoids integrating the Atiyah Lie algebroid. We describe two of them.
The Aityah Lie algebroid of the principal bundle comes canonically with a morphism to the tangent Lie algebroid.
The simplest Lie integration of the tangent Lie algebroid is the pair groupoid of . On the other hand, the universal integration is the fundamental groupoid (both coincide precisey if is a simply connected space).
Accordingly, there is a version of the Atiyah Lie groupoid over , and a richer version over .
Over the pair groupoid
For a Lie group and a -principal bundle, the Atiyah groupoid – also called the gauge groupoid or transport groupoid – of is the Lie groupoid with
the smooth manifold of objects is ;
the smooth manifold of morphisms , where the quotient is taken with respect to the diagonal action of on ;
the source/target maps are those induced by the bundle projection ;
notice that a point over , being an equivalence class of a pair is canonically identified with the unique -equivariant function which sends to ;
composition is the given by ordinary composition of these functions.
The integrated Atiyah sequence
The Atiyah groupoid sits in a sequence of groupoids
is the adjoint bundle of groups associated via the adjoint action of on itself; regarded as a smooth union of one-object groupoids coming from groups;
is the pair groupoid of
the functor is the identity on objects and on morphisms given by the canonical identification , where again we use the diagonal action of on .
the functor is the unique one that is the identity on objects.
Notice that a splitting (a section)
of the Atiyah groupoid is a trivialization of . On the other hand, locally on contractible we have with the fundamental groupoid of , and a splitting is still a trivialization over but indicates now that one may want to interpret it as giving rise to a flat connection.
Over a path groupoid
We have the sequence of surjective and full functors of path categories
with the fundamental groupoid and the smooth path groupoid and may refine the Atiyah groupoid by pulling back along these.
Write therefore for the pullback
A splitting of the top row is now precisely a flat connection on .
If we pull back further to
then splittings of are precisely (not necessarily flat) connections on .
All this is more well known in terms of the Lie algebroid underlying the Atiyah Lie groupoid, i.e. the Atiyah Lie algebroid sequence
is the adjoint bundle of Lie algebras, associated via the adjoint action of on its Lie algebra;
is the Atiyah Lie algebroid
is the tangent Lie algebroid.
Indeed, a splitting of this sequence in the category of Lie algebroids is precisely again a flat connection on and integrates under Lie integration to the splitting of discussed above.
To get non-flat connections in the literature one often sees discussed splittings of the Atiyah Lie algebroid sequence in the category just of vector bundles. In that case one finds the curvature of the connection precisely as the obstruction to having a splitting even in Lie algebroids.
One can describe non-flat connections without leaving the context of Lie algebroids by passing to higher Lie algebroids, namely -algebroids.
higher Atiyah groupoid