# nLab groupoid of Lie-algebra valued forms

Contents

### Context

#### $\infty$-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

$\infty$-Lie groupoids

$\infty$-Lie groups

$\infty$-Lie algebroids

$\infty$-Lie algebras

#### $\infty$-Chern-Weil theory

∞-Chern-Weil theory

∞-Chern-Simons theory

∞-Wess-Zumino-Witten theory

# Contents

## Idea

For $\mathfrak{g}$ a Lie algebra, the groupoid of $\mathfrak{g}$-valued forms is the groupoid whose objects are differential 1-forms with values on $\mathfrak{g}$, and whose morphisms are gauge transformations between these.

This carries the structure of a generalized Lie groupoid $\mathbf{B}G_{conn}$ , which is a differential refinement of the delooping Lie groupoid $\mathbf{B}G$ of the Lie group $G$ corresponding to $\mathfrak{g}$:

its $U$-parameterized smooth families of objects are Lie algebra valued differential forms on $U$. Its $U$-parameterized families of morphisms are gauge transformations of these forms by $G$-valued smooth functions on $U$.

A cocycle with coefficients in $\mathbf{B}G_{conn}$ is a connection on a bundle.

For more discussion of this see ∞-Lie groupoid – Lie groups.

## Definition

###### Definition

For $G$ a Lie group the groupoid of $Lie(G)$-valued differential forms is as a groupoid internal to smooth spaces, the sheaf of groupoids

$\bar \mathbf{B}G := G TrivBund_\nabla(-) := [P_1(-), \mathbf{B}G]$

that to a smooth test space $U \in Diff$ assigns the functor category $[P_1(U),\mathbf{B}G]$ of smooth functors (functors internal to smooth spaces) from the path groupoid $P_1(U)$ of $U$ to the one-object delooping groupoid $\mathbf{B}G$.

## Properties

###### Theorem

The groupoid $\bar \mathbf{B}G$ is canonically equivalent to the smooth groupoid where

• objects are smooth $\mathfrak{g}$-valued 1-forms $A \in \Omega^1(U, \mathfrak{g})$;
• morphisms $h : A \to A'$ are given by smooth $G$-valued functions $h \in C^\infty(U,G)$ such that
$A' = Ad_h(A) - h^* \bar \theta$

Here $\bar \theta$ is the right invariant Maurer-Cartan form on $G$. A common way to write this is $A' = Ad_h(A) + h d h^{-1}$.

A proof is in SchrWalI.

### Differential nonabelian cohomology

###### Theorem

The cohomology with coefficients in $\bar \mathbf{B}G$ classifies $G$-principal bundles connection on a bundle with connection.

More is true: there is a natural canonical equivalence of groupoids

$\mathbf{H}_{Diff}(X, \bar \mathbf{B}G) \simeq G Bund_\nabla(X) \,.$
• There is the obvious projection

$\bar \mathbf{B}G \to \mathbf{B}G \,.$
• Lifting a $G$-cocycle through this projection to a differential $G$-cocycle means equipping it with a connection.

For $G = U(n)$ these differential cocycles model the Yang-Mills field in physics.

• For $G = U(1)$ the sheaf $\bar \mathbf{B}U(1)(-)$ coincides with the the Deligne complex in degree 2, $\bar \mathbf{B}U(1)\simeq \mathbb{Z}(2)_D^\infty$, as described there.

## References

Details are in

The definition in terms of differential forms is def 4.6 there. The equivalence to $[P_1(-), \mathbf{B}G]$ is proposition 4.7.