Discrete connections on principal bundles: The discrete Atiyah sequence

In this work we study discrete analogues of an exact sequence of vector bundles introduced by M. Atiyah in 1957, associated to any smooth principal G-bundle π : Q → Q / G. In the original setting, the splittings of the exact sequence correspond to connections on the principal bundle π. The discrete analogues that we consider here can be studied in two different categories: the category of fiber bundles with a (chosen) section, Fbs, and the category of local Lie groupoids, lLGpd. In Fbs we find a correspondence between a) (semi-local) splittings of the discrete Atiyah sequence (DAS) of π, b) discrete connections on the same bundle π, and c) isomorphisms of the DAS with certain fiber product extensions in Fbs. We see that the right splittings of the DAS (in Fbs) are not necessarily right splittings in lLGpd: we use this obstruction to define the discrete curvature of a discrete connection. Then, there is a correspondence between the right splittings of the DAS in lLGpd and discrete connections with trivial discrete curvature, that is, flat discrete connections. We also introduce a semidirect product between (some) local Lie groupoids and prove that there is a correspondence between semidirect product extensions and right splittings of the DAS in lLGpd.