Acknowledgements. The authors want to thank Pierre Deligne for helpful corrections, and Dusa McDuff and Johan Dupont for helpful discussions.

Notations. Let
${U}_{{i}_{1}},...,{U}_{{i}_{p}}$
be open subsets of a manifolds
$N$
, and
$C$
a presheaf defined on
$N$
. We will denote by
${U}_{{i}_{1}..{i}_{p}}$
the intersection of
${U}_{{i}_{1}}$
,...,
${U}_{{i}_{p}}$
. If
${e}_{{i}_{1}}$
is an object of
$C\left({U}_{{i}_{1}}\right)$
,
${{e}_{{i}_{1}}}^{{i}_{2}...{i}_{p}}$
will be the restriction of
${e}_{{i}_{1}}$
to
${U}_{{i}_{1}...{i}_{p}}$
. For a map
$h:e\to {e}^{\prime}$
between two objects of
$C\left({U}_{{i}_{1}..{i}_{p}}\right)$
, we denote by
${h}^{{i}_{p+1..{i}_{n}}}$
the restriction of
$h$
to a morphism between
${e}^{{i}_{p+1}...{i}_{n}}\to {{e}^{\prime}}^{{i}_{p+1}...{i}_{n}}$
.

Definition. Let
$N$
be a manifold,
$H$
a Lie group and
$P\to N$
a
$H$
-principal bundle defined on
$N$
. A
$P$
-gerbe is a gerbe bounded by the sheaf of automorphisms of
$P$
. More precisely it is defined as follows:

To each open subset
$U$
of
$N$
we associate a category
${C}_{P}\left(U\right)$
. The group of automorphisms of an object of
${C}_{P}\left(U\right)$
is the group of automorphisms of the restriction of
$P$
to
$U$
. We suppose that the following conditions are satisfied:

Gluing conditions for objects.

Let
$U$
be an open subset of
$N$
,
$({U}_{i}{)}_{i\in I}$
an open cover of
$U$
and
${e}_{i}$
an object of
${C}_{P}\left({U}_{i}\right)$
. Suppose given an arrow
${u}_{ij}:{e}_{j}^{i}\to {e}_{i}^{j}$
between the respective restrictions of
${e}_{j}$
and
${e}_{i}$
to
${U}_{i}\cap {U}_{j}$
such that
${{u}_{{i}_{1}{i}_{2}}}^{{i}_{3}}{{u}_{{i}_{2}{i}_{3}}}^{{i}_{1}}={{u}_{{i}_{1}{i}_{3}}}^{{i}_{2}}$
. Then there exists an object
${e}_{U}$
of
${C}_{P}\left(U\right)$
whose restriction to
${U}_{i}$
is
${e}_{i}$
.

Gluing conditions for arrows.

Let
$e$
and
${e}^{\prime}$
be two objects of
${C}_{P}\left(U\right)$
. The correspondence defined on the category of open subsets of
$U$
by
$V\to Hom({e}_{|V},{e}_{|V}^{\prime})$
is a sheaf of sets, where
${e}_{|V}$
and
${e}_{|V}^{\prime}$
are the respective restrictions of
$e$
and
${e}^{\prime}$
to
$V$
.

We suppose that there exists an open cover of
$N$
$({U}_{i}{)}_{i\in I}$
such that the category
${C}_{P}\left({U}_{i}\right)$
is not empty, and objects of
${C}_{P}\left({U}_{i}\right)$
are isomorphic.

An example of
$P$
-gerbe is defined as follows: Let
$G$
be a Lie group and
$H$
a closed normal subgroup of
$G$
. The quotient
$G/H$
is a Lie group. We suppose that the projection
$G\to G/H$
has local sections. Consider a
$G/H$
-bundle
${p}_{G/H}:P\to N$
, defined on the manifold
$N$
. That is a locally trivial bundle whose transition functions is defined by the trivialization
$({U}_{i},{u}_{ij})$
,
${u}_{ij}:{U}_{i}\cap {U}_{j}\to G$
defined by the coordinate changes:

$${U}_{i}\cap {U}_{j}\times G/H\u27f6{U}_{i}\cap {U}_{j}\times G/H$$
$$(x,y)\u27f6(x,y{u}_{ij}(x\left)\right)$$
The functions
${u}_{ij}$
verify the following property:
${{u}_{{i}_{3}{i}_{1}}}^{{i}_{3}}\left(x\right){{u}_{{i}_{1}{i}_{2}}}^{{i}_{3}}\left(x\right){{u}_{{i}_{2}{i}_{3}}}^{{i}_{1}}\left(x\right)$
are in the center of
$H$
to insure the
$G/H$
-bundle to be well-defined as the
$H$
-bundle
${p}_{H}$
whose transition functions are defined by:

$${U}_{i}\cap {U}_{j}\times H\u27f6{U}_{i}\cap {U}_{j}\times H$$
$$(x,y)\u27f6(x,{{u}_{ij}}^{-1}(x\left)y{u}_{ij}\right(x\left)\right)$$
Let
$\mathcal{\mathscr{H}}$
be the Lie algebra of
$H$
and
$Ad$
the adjoint representation. We can define the locally trivial
$\mathcal{\mathscr{H}}$
-bundle
${p}_{\mathcal{\mathscr{H}}}$
over
$N$
whose transition functions are defined by:

$${U}_{i}\cap {U}_{j}\times \mathcal{\mathscr{H}}\u27f6{U}_{i}\cap {U}_{j}\times \mathcal{\mathscr{H}}$$
$$(x,y)\u27f6(x,Ad({{u}_{ij}}^{-1}\left)\right(x\left)\right)\left(y\right))$$
Proposition. Let
$U$
be an open subset of
$N$
, we denote by
${C}_{H}\left(U\right)$
the category of
$G$
-principal bundles whose quotient by
$H$
is the restriction of
${p}_{G/H}$
to
$U$
. A morphism between a pair of objects
$e$
and
${e}^{\prime}$
of
${C}_{H}\left(U\right)$
is a morphism of
$G$
-bundles which cover the identity of the restriction of
${p}_{G/H}$
to
$U$
. The correspondence defined on the category of open subsets of
$N$
by
$U\to {C}_{H}\left(U\right)$
is a gerbe bounded by the sheaf of automorphisms of
${p}_{H}$
.

Proof. Gluing property for arrows:

Let
$U$
be an open subset of
$N$
, and
$({U}_{i}{)}_{i\in I}$
an open cover of
$U$
. Consider an object
${e}_{i}$
of
${C}_{H}\left({U}_{i}\right)$
, and a map
${u}_{ij}:{e}_{j}^{i}\to {e}_{i}^{j}$
such that
${{u}_{{i}_{1}{i}_{2}}}^{{i}_{3}}{{u}_{{i}_{2}{i}_{3}}}^{{i}_{1}}={{u}_{{i}_{1}{i}_{3}}}^{{i}_{2}}$
The definition of bundle implies the existence of a
$G$
-bundle
$e$
whose restriction to
${U}_{i}$
is
${e}_{i}$
. Since the quotient of
${e}_{i}$
by
$H$
is the restriction of
${p}_{G/H}$
to
${U}_{i}$
, we deduce that the quotient of
$e$
by
$H$
is the restriction of
${p}_{G/H}$
to
$U$
.

Gluing condition of arrows.

Let
$e$
and
${e}^{\prime}$
be a pair of objects of
${C}_{H}\left(U\right)$
, the correspondence defined on the category of open subsets of
$U$
by
$V\to Hom({e}_{|V},{e}_{|V}^{\prime})$
is a sheaf of sets, since it is the sheaf of morphisms between two bundles. The bundles
${e}_{|V}$
and
${e}_{|V}^{\prime}$
are the respective restrictions of
$e$
and
${e}^{\prime}$
to
$V$
.

Consider a trivialization
$({U}_{i},{u}_{ij})$
of
${p}_{G/H}$
. The bundle
${U}_{i}\times G$
is an element of
${C}_{H}\left({U}_{i}\right)$
, thus
${C}_{H}\left({U}_{i}\right)$
is not empty, and for each object
$e$
and
${e}^{\prime}$
of
${C}_{H}\left(U\right)$
, the restrictions of
$e$
and
${e}^{\prime}$
to
${U}_{i}\cap U$
are isomorphic to the trivial bundle
${U}_{i}\cap U\times G$
by an isomorphism whose projection to
${U}_{i}\cap U\times G/H$
is the identity.

Let
$e$
, be an object of
${C}_{H}\left(e\right)$
, and
$f$
an automorphism of
$e$
, The restriction
${f}_{i}$
of
$f$
to the restriction of
$e$
to
${U}_{i}\cap U$
is an automorphism of the trivial bundle
${U}_{i}\cap U\times G$
which projects to the identity on
${U}_{i}\cap U\times G/H$
. We deduce that
${f}_{i}$
is defined by a map
${f}^{\prime}:{U}_{i}\cap {U}_{j}\to H$
. On
${U}_{i}\cap {U}_{j}\cap U$
, we have
${f}_{j}={{u}_{ij}}^{-1}{f}_{i}{u}_{ij}$
.

This implies that
$f$
is a section of
${p}_{H}$
$\bullet $
The classifying cocycle of a principal gerbe.

Let
$({U}_{i}{)}_{i\in I}$
be an open cover of
$N$
such that the category
${C}_{P}\left({U}_{i}\right)$
is not empty and the objects of
${C}_{P}\left({U}_{i}\right)$
are isomorphic. Consider for each
$i$
, an object
${e}_{i}$
of
${C}_{P}\left({U}_{i}\right)$
, and arrow
${u}_{ij}:{e}_{j}^{i}\to {e}_{i}^{j}$
. We can defined the automorphism of
${e}_{{i}_{3}}^{{i}_{1}{i}_{2}}$
:
${c}_{{i}_{1}{i}_{2}{i}_{3}}={{u}_{{i}_{3}{i}_{2}}}^{{i}_{1}}{{u}_{{i}_{2}{i}_{1}}}^{{i}_{3}}{{u}_{{i}_{1}{i}_{3}}}^{{i}_{2}}$
. Proposition. The family of maps
${c}_{{i}_{1}{i}_{2}{i}_{3}}$
is a non commutative Cech
$2$
-cocycle.

Proof. Let
${{c}_{{i}_{1}{i}_{2}{i}_{3}}^{\prime}}^{{i}_{4}}={{u}_{{i}_{4}{i}_{3}}}^{{i}_{1}{i}_{2}}{{c}_{{i}_{1}{i}_{2}{i}_{3}}}^{{i}_{4}}{{u}_{{i}_{3}{i}_{4}}}^{{i}_{1}{i}_{2}}$
On
${U}_{{i}_{1}{i}_{2}{i}_{3}{i}_{4}}$
, we have
$${c}_{{i}_{1}{i}_{2}{i}_{3}}^{\prime}{c}_{{i}_{1}{i}_{3}{i}_{4}}={c}_{{i}_{2}{i}_{3}{i}_{4}}{c}_{{i}_{1}{i}_{2}{i}_{4}}$$
$\bullet $
Connective structure on
$H$
-gerbes.

Definition. Consider a gerbe
${C}_{P}$
defined on a manifold
$N$
whose band is
$L$
, the sheaf of automorphisms of the principal bundle
$P\to N$
. A connective structure on
${C}_{P}$
, is a correspondence which associates to each object
${e}_{U}$
of
${C}_{P}\left(U\right)$
an affine space
$Co\left({e}_{U}\right)$
, called the torsor of connections, which is a subset of the set of
${{p}_{\mathcal{\mathscr{H}}}}_{|U}$
-valued
$1$
-forms defined on
$U$
, where
${{p}_{\mathcal{\mathscr{H}}}}_{|U}$
is the restriction of
${p}_{\mathcal{\mathscr{H}}}$
to
$U$
.

The following properties are supposed to be satisfied by this assignment:

(i)The correspondence
${e}_{U}\to Co\left({e}_{U}\right)$
is functorial with respect to restrictions to smaller subsets.

(ii)For every isomorphism
$h:{e}_{U}\to {e}_{U}^{\prime}$
between objects of
${C}_{P}\left(U\right)$
, there exists an isomorphism of torsors
${h}^{*}:Co\left({e}_{U}\right)\to Co\left({e}_{U}^{\prime}\right)$
compatible with the composition of morphisms of
${C}_{P}\left(U\right)$
, and the restrictions to smaller subsets.

(iii)For each morphism
$g$
of the object
${e}_{U}$
of
${C}_{P}\left(U\right)$
, and
${\nabla}_{{e}_{U}}$
a connection of
$Co\left({e}_{U}\right)$
,
$${g}^{*}{\nabla}_{{e}_{U}}=Ad\left({g}^{-1}\right)\left({\nabla}_{{e}_{U}}\right)+{g}^{-1}dg$$
For each open subset
$U$
, we define
${C}_{P}^{\prime}\left(U\right)$
to be the category whose objects are pair of objects
$({e}_{U},{\nabla}_{{e}_{U}})$
, where
${\nabla}_{{e}_{U}}$
is an element of
$Co\left({e}_{U}\right)$
. A morphism
$f:({e}_{U},{\nabla}_{{e}_{U}})\to ({e}_{U}^{\prime},{\nabla}_{{e}_{U}^{\prime}})$
is
${\nabla}_{{e}_{U}^{\prime}}-{u}^{*}\left({\nabla}_{{e}_{U}}\right)$
where
$u:{e}_{U}\to {e}_{U}^{\prime}$
is a morphism of
$C\left(U\right)$
. We suppose the correspondence
$U\to {C}_{P}^{\prime}\left(U\right)$
to be a gerbe
$\bullet $
The classifying cocycle of a connective structure.

Let
$({U}_{i},{h}_{ij}{)}_{i\in I}$
a trivialization of
${p}_{H}$
such that
${C}_{P}\left({U}_{i}\right)$
is not empty, and
${e}_{i}$
an object of
${C}_{P}\left({U}_{i}\right)$
and
${u}_{ij}$
a morphism between
${e}_{j}^{i}$
and
${e}_{i}^{j}$
. Consider an element
${\alpha}_{i}$
of
$Co\left({e}_{i}\right)$
. We define
${c}_{{i}_{1}{i}_{2}{i}_{3}}$
to be
${{u}_{{i}_{3}{i}_{1}}}^{{i}_{2}}{{u}_{{i}_{1}{i}_{2}}}^{{i}_{3}}{{u}_{{i}_{2}{i}_{3}}}^{{i}_{1}}$
. On
${U}_{i}\cap {U}_{j}$
, we can define the
$\mathcal{\mathscr{H}}$
-valued form
${\alpha}_{ij}={\alpha}_{i}^{j}-{{u}_{ij}}^{*}\left({\alpha}_{j}^{i}\right)$
.

The Cech boundary of the
${p}_{\mathcal{\mathscr{H}}}$
$1$
-cocycle
${\alpha}_{ij}$
is:

$${{u}_{{i}_{1}{i}_{2}}}^{*}\left({\alpha}_{{i}_{2}{i}_{3}}\right)-{\alpha}_{{i}_{1}{i}_{3}}+{\alpha}_{{i}_{1}{i}_{2}}$$
$${{u}_{{i}_{1}{i}_{3}}}^{*}({\alpha}_{{i}_{3}}-{{c}_{{i}_{1}{i}_{2}{i}_{3}}}^{*}({\alpha}_{{i}_{3}}\left)\right)$$
$$=Ad\left({{h}_{{i}_{1}{i}_{3}}}^{-1}\right)({\alpha}_{{i}_{3}}-Ad({{c}_{{i}_{1}{i}_{2}{i}_{3}}}^{-1}\left)\right({\alpha}_{{i}_{3}})+{{c}_{{i}_{1}{i}_{2}{i}_{3}}}^{-1}d({c}_{{i}_{1}{i}_{2}{i}_{3}}\left)\right)$$
We have used the fact that on the trivialization
${U}_{i}\cap {U}_{j}\times \mathcal{\mathscr{H}}$
, let
$\alpha $
and
${\alpha}^{\prime}$
be two elements of
$Co\left({e}_{i}\right)$
,
${{u}_{ij}}^{*}(\alpha -{\alpha}^{\prime})$
is transformed in
$Ad\left({{h}_{ij}}^{-1}\right)(\alpha -{\alpha}^{\prime})$
by the transition functions of
${p}_{\mathcal{\mathscr{H}}}$
, since
$\alpha -{\alpha}^{\prime}$
is an element of the vector space of the affine space
$Co\left({e}_{i}\right)$
.

Example. Consider a normal subgroup
$H$
of a Lie group
$G$
, and a
$G/H$
-bundle
${p}_{G/H}$
over the manifold
$N$
. We have defined a gerbe
${C}_{H}$
at page 2. We define the connective structure
$Co$
on
${C}_{H}$
as follows: for each open subset
$U$
of
$N$
, and an object
${e}_{U}$
of
${C}_{H}\left(U\right)$
,
$Co\left({e}_{U}\right)$
is the set of
$1$
-forms
${\theta}^{\prime}:U\to C(\mathcal{\mathscr{H}})$
where
$C(\mathcal{\mathscr{H}})$
is the center of
$\mathcal{\mathscr{H}}$
. This definition is natural since if the center of
$H$
is trivial, then the gerbe
${C}_{H}$
is trivial. The characteristic classes defined below are also trivial.

Definition. A curving of a connective structure
$Co$
is a correspondence
$$D({e}_{U},):Co\left({e}_{U}\right)\to D\left({e}_{U}\right)$$
where
$D\left({e}_{U}\right)$
is an affine space whose underlying vector space is a set of
${p}_{\mathcal{\mathscr{H}}}$
valued
$2$
-forms which satisfies the following property:

(i)For each morphism
$h:{e}_{U}^{\prime}\to {e}_{U}$
,
$\left(D\right({e}_{U},\nabla \left)\right)=D({e}_{U}^{\prime},{h}^{*}\nabla )$
.

(ii)If
$\alpha $
is a
${{p}_{\mathcal{\mathscr{H}}}}_{|U}$
$1$
-form on
$U$
such that
$\nabla +\alpha $
is an element of
$Co\left({e}_{U}\right)$
, then
$$D({e}_{U},\nabla +\alpha )=D({e}_{U},\nabla )+d\alpha +\alpha \wedge \alpha $$
The assignment
${e}_{U}\to D({e}_{U},\nabla )$
is compatible with the restrictions to smaller subsets.

Characteristic classes.

Definition. A polynomial function of degree
$l$
$F:{\mathcal{\mathscr{H}}}^{l}\to IR$
is said to be invariant if and only if for every
$h\in H$
$F\left(Ad\right(h\left)\right)=F$
.

Let
${C}_{P}$
be a gerbe bounded by
$P$
endowed with the connective structure
${C}_{P}^{\prime}$
, consider
$[\Omega ]$
the cohomology class of the classifying cocycle
$\Omega $
of
${C}_{P}^{\prime}$
identified with a DeRham
$3$
-form using the Cech-DeRham isomorphism. For every invariant polynomial
$P$
of degree
$l$
we can define the
$3l$
-form
$P(\Omega )$
by
$P\circ {\wedge}^{l}L$
. The cohomology classes of the forms
$P(\Omega )$
are the characteristic classes of the curving.

Holonomy of non abelian gerbes.

Let
${C}_{P}$
be a principal gerbe defined over a manifold
$N$
endowed with a connective structure
$Co$
and a curving
$Cur$
. Let
$l:{N}_{2}\to N$
be a differentiable map whose domain is the compact surface
${N}_{2}$
. We can pull-back the gerbe
${C}_{P}$
,
$Co$
and
$Cur$
to
${N}_{2}$
by using
$l$
. Let
$({U}_{i}{)}_{i\in I}$
be an open covering of
${N}_{2}$
such that
$\left({l}^{*}{C}_{P}\right)\left({U}_{i}\right)$
is not empty. Consider an object
${e}_{i}$
of
$\left({l}^{*}\right({C}_{P}\left)\right({U}_{i}\left)\right)$
,
${\nabla}_{i}$
an element of
${l}^{*}\left(Co\right)\left({U}_{i}\right)$
, and
${L}_{i}$
the curving of
${\nabla}_{i}$
. Since
${N}_{2}$
is a surface,
${L}_{i}$
is exact. We can set
${L}_{i}=d\left({L}_{i}^{\prime}\right)$
. On
${U}_{{i}_{1}{i}_{2}}$
we have
${L}_{{i}_{2}}-{L}_{{i}_{1}}=d({\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}})+({\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}})\wedge ({\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}})$
, the form
$({\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}})\wedge ({\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}})=d\left({L}_{{i}_{1}{i}_{2}}^{\prime}\right)$
This implies that
${L}_{{i}_{2}}^{\prime}-{L}_{{i}_{1}}^{\prime}={\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}}+{L}_{{i}_{1}{i}_{2}}^{\prime}+d\left(L{\u201d}_{{i}_{1}{i}_{2}}\right)$
. This implies that the Cech boundary
$\delta \left({h}_{{i}_{1}{i}_{2}}\right)$
of
${h}_{{i}_{1}{i}_{2}}={\nabla}_{{i}_{1}}-{u}_{{i}_{1}{i}_{2}}^{*}{\nabla}_{{i}_{2}}+{L}_{{i}_{1}{i}_{2}}^{\prime}$
is a
$2$
-chain of closed forms. We set
$\delta \left({h}_{{i}_{1}{i}_{2}}\right)=d\left({C}_{{i}_{1}{i}_{2}{i}_{3}}\right)$
The chain
${C}_{{i}_{1}{i}_{2}{i}_{3}}+\delta \left(L{\u201d}_{{i}_{i}{i}_{2}}\right)$
is a
$2$
-chain of constant
$\mathcal{\mathscr{H}}$
-functions. Since
${N}_{2}$
is a surface, we can find a cover such that this chain is a cocycle. It suffices to find an open cover
$({U}_{i}{)}_{i\in I}$
such that
${U}_{{i}_{1}{i}_{2}{i}_{3}{i}_{4}}$
is empty and
${U}_{i}$
is a
$1$
-Eilenberg-Mclane space. Thus using the Cech-DeRham isomorphism, we identify this chain to a
${l}^{*}\left({p}_{\mathcal{\mathscr{H}}}\right)$
$2$
-form
$H$
. We define
$$Hol({N}_{2},{C}_{P},Co)=exp\left({\int}_{{N}_{2}}H\right)$$
Reference. J.L Brylinski, Loops spaces, Characteristic Classes and Geometric Quantization, Progr. Math. 107, Birkhauser, 1993.