Connections on a principal Lie groupoid bundle and representations up to homotopy

TL;DR

This paper defines and studies connections on principal Lie groupoid bundles, establishing their existence, properties, and uniqueness via an induced action up to homotopy and a short exact sequence of diffeological groupoids.

Contribution

It introduces a new notion of connection on Lie groupoid principal bundles and proves the existence and uniqueness of such connections using homotopy actions.

Findings

Existence of a short exact sequence of diffeological groupoids for the bundle

Definition of a connection on Lie groupoid principal bundles

Uniqueness of connection pairs up to isomorphism

Abstract

A Lie groupoid principal $\mbbX$ bundle is a surjective submersion $\pi\colon P\to M$ with an action of $\mathbb{X}$ on $P$ with certain additional conditions. This paper offers a suitable definition for the notion of a connection on such bundles. Although every Lie groupoid $\mathbb{X}$ has its associated Lie algebroid $A:=1^*\ker ds\to X_0$, it does not admit a natural action on its Lie algebroid. There is no natural action of $\mathbb{X}$ on $TP$ either. Choosing a connection $\mathbb{H}\subset TX_1$ on the Lie groupoid $\mathbb{X},$ and considering its induced action up to homotopy of $\mathbb{X}$ on graded vector bundle $TX_0\oplus A,$ we prove the existence of a short exact sequence of diffeological groupoids over the discrete category $M$ (with appropriate vector space structures on the fibres) for the $\mbbX$ bundle $\pi\colon P\to M.$ We introduce a notion of connection on $\mbbX$ bundle $\pi\colon P\to M,$ and show that such a connection $\omega$ splits the sequence. Finally, we show that a connection pair $(\omega, \mathbb{H})$ on $\mbbX$ bundle $\pi\colon P\to M$ is isomorphic to any other connection pair.}