PB-groupoids vs VB-groupoids

TL;DR

This paper introduces principal bundle groupoids (PB-groupoids) as a natural extension of VB-groupoids, establishing a new correspondence between these structures and exploring their applications in Lie groupoid theory.

Contribution

It defines PB-groupoids, relates them to VB-groupoids, and extends the classical vector bundle-principal bundle correspondence to a broader categorical framework.

Findings

PB-groupoids generalize VB-groupoids with Lie 2-groupoid actions

A natural PB-groupoid structure exists on compatible frames of VB-groupoids

The classical vector bundle-principal bundle correspondence is extended to VB- and PB-groupoids

Abstract

In this paper we establish the principal bundle counterpart of the well-known and widely applied notion of vector bundle groupoid (VB-groupoid). In particular, we provide a general notion of principal bundle groupoid (PB-groupoid) as a diagram of Lie groupoids and principal bundles, together with the action of a (strict) Lie 2-groupoid. This recovers as particular cases various constructions involving structural Lie 2-groups, Lie groupoids and Lie groups. Moreover, given any VB-groupoid, we detect which frames are compatible with the underlying structure and show that the set of such frames has a natural PB-groupoid structure, with the action of the general linear 2-groupoid of the appropriate ranks. We use this construction, as well as that of the associated bundle induced by a 2-representation, to extend the classical correspondence between vector bundles and principal bundles to a new correspondence between VB-groupoids and PB-groupoids. We conclude with several examples and applications.