Atiyah algebroid

"Atiyah sequence" redirects here. For the spectral sequence of Atiyah and Hirzebruch, see Atiyah–Hirzebruch spectral sequence.

In mathematics, the Atiyah algebroid, or Atiyah sequence, of a principal G-bundle P over a manifold M, where G is a Lie group, is the Lie algebroid of the gauge groupoid of P. Explicitly, it is given by the following short exact sequence of vector bundles over M:

$0\to P\times _{G}{\mathfrak {g}}\to TP/G\to TM\to 0.$

It is named after Michael Atiyah, who introduced the construction to study the existence theory of complex analytic connections, and it has applications in gauge theory and mechanics.

Direct construction

For any fiber bundle P over a manifold M, with projection π: P→M, the differential dπ of π defines a short exact sequence

$0\to VP\to TP{\xrightarrow {d\pi }}\pi ^{*}TM\to 0$

of vector bundles over P, where the vertical bundle VP is the kernel of the differential projection.

If P is a principal G-bundle, then the group G acts on the vector bundles in this sequence. The vertical bundle is isomorphic to the trivial g bundle over P, where g is the Lie algebra of G, and the quotient by the diagonal G action is the associated bundle P ×_G g. The quotient by G of this exact sequence thus yields the Atiyah sequence of vector bundles over M.

Lie groupoid viewpoint

Any principal G-bundle P→M has a gauge groupoid, whose objects are points of M, and whose morphisms are elements of the quotient of P×P by the diagonal action of G, with source and target given by the two projections of M. The Lie algebroid of this Lie groupoid is the Atiyah algebroid.

The space of sections of the Atiyah algebroid over M is the Lie algebra of G-invariant vector fields on P under Lie bracket, which is an extension of the Lie algebra of vector fields on M by the G-invariant vertical vector fields. In an algebraic or analytic context, it is more convenient to view the Atiyah algebroid as an exact sequence of sheaves of local sections of vector bundles.

References

• Michael F. Atiyah (1957), "Complex analytic connections in fibre bundles", Trans. Amer. Math. Soc., 85: 181–207.
• "Geometric structures encoded in the lie structure of an Atiyah algebroid", Transformation Groups, 16: 137–160, 2011, doi:10.1007/s00031-011-9126-9 {{citation}}: Unknown parameter |authors= ignored (help), available as arXiv:0905.1226.
• Kirill Mackenzie (1987), Lie groupoids and Lie algebroids in differential geometry, London Mathematical Society lecture notes, vol. 124, CUP, ISBN 978-0521348829.
• Kirill Mackenzie (2005), General theory of lie groupoids and lie algebroids, London Mathematical Society lecture notes, vol. 213, CUP, ISBN 978-0521499286.
• "A Lie algebroid framework for non-holonomic systems", J. Phys. A: Math. Gen., 38: 1097–1111, 2005, doi:10.1088/0305-4470/38/5/011 {{citation}}: Unknown parameter |authors= ignored (help).