# nLab groupoid principal bundle

### Context

#### Bundles

bundles

fiber bundles in physics

cohomology

# Contents

## Idea

For $\mathcal{G}$ a groupoid object a $\mathcal{G}$-principal bundle is a morphism $P \to X$ with an principal action of $\mathcal{G}$ on $P$.

## Definition

For $G$ a group object in some (∞,1)-topos $\mathbf{H}$ (for instance $\mathbf{H} =$ ∞LieGrpd for smooth Lie groupoid-bundles), and $\mathbf{B}G$ the corresponding delooping object, $G$-principal bundles are the (∞,1)-pullbacks of the form

$\array{ P &\to& * \\ \downarrow && \downarrow \\ X &\to& \mathbf{B}G } \,.$

One equivalently (with non-negligible but conventional chance of confusion of terminology) calls such $P \to G$ a $\mathbf{B}G$-groupoid principal bundle.

So more generally, for $\mathcal{G}$ any groupoid object with collection $\mathcal{G}_0$ of objects, the $(\infty,1)$-pullbacks

$\array{ P &\to& \mathcal{G}_0 \\ \downarrow && \downarrow \\ X &\to& \mathcal{G} }$

are groupoid principal bundles .

## Examples

### Lie groupoid principal bundles

For $\mathbf{H}$ = $\infty LieGrpd$ and $G:=G_1 \Rightarrow G_0$ a Lie groupoid, a $G$-prinipal bundle is locally of the form

$U_i \times \mathcal{G}_{x_i}$

for $\mathcal{G}_{x_i}$ the target fiber over an object $x_i$, or equivalently of the form $U_i\times_{G_0} G_1$.

More precisely, we have the following sub-definition for Lie groupoid principal bundles: Given a Lie groupoid $G=G_1 \Rightarrow G_0$, a $G$-principal bundle over a manifold $M$ (with right $G$ action) is a surjective submersion $P\xrightarrow{\pi} M$ together with a moment map $P\xrightarrow{\rho} G_0$ (sometimes also called an anchor), such that there is a (right) $G$-action on $P$, that is, there is map $\Phi: P\times_{G_0} G_1 \to P$, such that

• $\pi(\Phi(p, g))=\pi(p)$,

• $\rho(\Phi(p,g))=s(g)$,

• $\Phi(\Phi(p, g_1), g_2)=\Phi(p, g_1 g_2)$.

Moreover, we require the $G$-action to be free and proper, that is,

• [free] $P\times_{G_0} G_1 \xrightarrow{id\times \Phi} P\times P$ is injective,

• [proper]$P\times_{G_0} G_1 \xrightarrow{id\times \Phi} P\times P$ is a proper map , i.e. the preimage of a compact is compact.

These two conditions are equivalent to the fact that

$P\times_{G_0} G_1 \xrightarrow{id\times \Phi} P\times_M P$

is an isomorphism.

## References

• Ieke Moerdijk, J. Mrčun, Introduction to foliations and Lie groupoids Bulletin (New Series) of the AMS, Volume 42, Number 1, Pages 105–111

Revised on July 18, 2016 04:27:01 by Anonymous Coward (72.38.171.110)