gerbe in nLab

Context

Bundles

$(∞, 1)$ -Topos Theory

Cohomology

Definition
- General
- $G$ -Gerbes
Properties
- Equivalence of $G$ -gerbes to $AUT (G)$ -2-bundles
- Banded gerbes
Sub-entries
Examples
Related concepts
References

Definition

General

In full generality, we have the following definition of gerbe .

Definition

Given an (∞,1)-topos $𝒳$ , a gerbe in $𝒳$ is an object $𝒢 \in 𝒳$ that is

1-truncated
1-connective (= connected).

The first condition says that a gerbe is an object in the (2,1)-topos $τ_{\leq 1} 𝒳 ↪ 𝒳$ inside $𝒳$ . This means that for $C$ any (∞,1)-site of definition for $𝒳$ , a gerbe is a (2,1)-sheaf on $C$ , $𝒢 \in {Sh}_{(2, 1)} (C)$ : a stack on $C$ .

The second condition says that a gerbe is a stack that locally looks like the delooping of a sheaf of groups. More precisely, it says that

the morphism $𝒢 \to *$ to the terminal object of $𝒳$ is an effective epimorphism);
the 0th categorical homotopy group $π_{0} 𝒢$ is isomorphic to the terminal object $*$ as objects in the sheaf topos $τ_{\leq 0} 𝒳 = {Sh}_{(1, 1)} (C)$ . Here $π_{0} 𝒢$ is the sheafification of the presheaf of connected components of the groupoids that $𝒢 : C^{op} \to Grpd ↪ ∞ Grpd$ assigns to each object in the site.

Traditionally this is phrased before sheafification as saying that a gerbe is a stack that is locally non-empty and locally connected . This is the traditional definition, due to Giraud.

Also traditionally gerbes are considered in the little (2,1)-toposes $τ_{\leq 1} 𝒳$ of a topological manifold or smooth manifold $X$ or a topological stack or differentiable stack $X$ . One then speaks of a gerbe over $X$ .

More precisely, we may associate to any $X \in C : =$ Top or $X \in C : =$ Diff the corresponding big site $C / X$ and form the (2,1)-topos $τ_{leq} 𝒳 : = {Sh}_{(2, 1)} (C / X)$ . In terms of this a gerbe is given by a collection of groupoids assigned to patches of $X$ , satisfying certain conditions.

Equivalent to this is the over-(2,1)-topos $τ_{\leq 1} ℋ / j (X)$ , where $τ_{\leq 1} ℋ : = {Sh}_{(2, 1)} (C)$ is the big (2,1)-topos over $C$ (and $j$ denotes its (2,1)-Yoneda embedding).

Since this $ℋ$ is a cohesive (∞,1)-topos we may think of its objects a general continuous ∞-groupoids or smooth ∞-groupoids. In large parts of the literature coming after Giraud gerbes, or related structures equivalent to them, are described this way in terms of topological groupoids and Lie groupoids. This perspective is associated with the notion of a bundle gerbe .

$G$ -Gerbes

We discuss gerbes that have a “strucure group” $G$ akin to a principal bundle. Indeed, while not the same concept, these $G$ -gerbes are equivalent to $AUT (G)$ -principal 2-bundles, for $AUT (G)$ the automorphism 2-group of $G$ .

Remark

The definition 1 of gerbe is almost verbatim that of Eilenberg-MacLane object in degree 1. The only difference is that the latter is required to have not only the homotopy sheaf $π_{0} = *$ , but even have a “global section” in the form of a morphism $* \to P$ .

First consider this locally. A gerbe (as any 1-connected object) necessarily has local sections:

for

(x^{*} ⊣ x_{*}) : ∞ Grpd \overset{\overset{x^{*}}{\leftarrow}}{\underset{x_{*}}{\to}} 𝒳

any topos point, the stalk functor $x^{*}$ , being an inverse image is left exact and hence preserves homotopy sheaves and terminal objects. It follows that the 0th homotopy sheaf is trivial

π_{1} x^{*} P ≃ x^{*} π_{1} (P) ≃ x^{*} * ≃ *

as are all the degree- $p$ homotopy sheaves for $p > 1$ . Therefore $x^{*} P$ is a groupoid with a single object: the delooping groupoid of a group $G_{x}$ :

x^{*} P ≃ B G_{x} .

More generally, by the discussion at looping and delooping we have in an equivalence of (∞,1)-categories

(Ω ⊣ B) : ∞ Gpr (𝒳) \overset{\overset{Ω}{\leftarrow}}{\underset{B}{\to}} 𝒳_{pt, \geq 1}

between the ∞-group objects in the ambient (∞,1)-topos $𝒳$ and the pointed connected objects.

It follows that for a gerbe $P$ that admits a global section $* \to P$ the above relation holds not only stalk-wise, but globally: it is the delooping of its own first sheaf of homotopy groups

P ≃ B π_{1} (P) .

The following definition characterizes gerbes that are locally of the form of remark 1.

Definition

Let $G \in Grp (𝒳)$ be a group object. A gerbe $P \in 𝒳$ is a $G$ -gerbe if there exists an effective epimorphism $U \to *$ and an equivalence

P ∣_{U} ≃ B (G ∣_{U}),

where $P ∣_{U} : = P \times U$ and $G ∣_{U} : = G \times U$ .

Remark

In a typical application one considers gerbes over some topological space $X$ . In that case

$𝒳 = {Sh}_{(∞, 1)} (Op (X))$ is the (∞,1)-category of (∞,1)-sheaves on the category of open subsets of $X$ ;
the terminal object of $𝒳$ is the space $X$ , regarded as an object in its own $(∞, 1)$ -topos, hence we can write $X : = * \in 𝒳$ ;
a group object $G \in 𝒳$ is sheaf of groups on $X$ ;
an effective epimorphism $U \to *$ , hence $U \to *$ is obtained from any open cover ${U_{i} \to X}$ by setting $U : = ∐_{i} U_{i}$ ;
with such a choice of effective epimorphism, $G ∣_{U} = ∐_{i} G ∣_{U_{i}}$ is simply the restriction of the sheaf of groups $G$ to each open subset that is a member of the cover;
$B G_{U} \in 𝒳 / U$ is the stack of $G_{U}$ -principal bundles on $U$ .

Properties

Equivalence of $G$ -gerbes to $AUT (G)$ -2-bundles

Let $𝒳$ be any ambient (∞,1)-topos.

Let $G \in Grp (𝒳) \subset ∞ Grpd (𝒳)$ be a group object (a 0-truncated ∞-group).

Write

G Gerbe \subset 𝒳

for the core of the full sub-(∞,1)-category on $G$ -gerbes in $𝒳$ .

Write

AUT (G) : = {Aut}_{𝒳_{*}} (B G) \in 2 Grp (𝒳) \subset ∞ Grp (𝒳)

for the 2-group object called the automorphism 2-group of $G$ .

Proposition

$G$ -gerbes in $𝒳$ are classified by first $AUT (G)$ -nonabelian cohomology

π_{0} G Gerbe ≃ π_{0} 𝒳 (*, B AUT (G)) = : H_{𝒳}^{1} (X, AUT (G)) .

In the general perspective of (∞,1)-topos theory this appears as (JardineLuo, theorem 23).

Corollary

Since nonabelian cohomology with coefficients in $AUT (G)$ also classified $AUT (G)$ -principal 2-bundles it follows that also

π_{0} G Gerbe ≃ AUT (G) 2 Bund (*) .

Notice that under this equivalence a $G$ -gerbe is not identified with the total space object of the corresponding $AUT (G)$ -principal 2-bundle. The latter differs by an $Aut (H)$ -factor. Where a $G$ -gerbe is locally equivalent to

B (G ∣_{U}) = G ∣_{U} \vec{\to} * ∣_{U}

an $AUT (G)$ -principal 2-bundle is locally equivalent to

AUT (G ∣_{U}) = Aut (G ∣_{U}) \times G \overset{\overset{Ad (p_{2}) \cdot p_{1}}{\to}}{\underset{p_{1}}{\to}} Aut (G ∣_{U}) .

Instead, under the above equivalence a gerbe is identified with the associated ∞-bundle with fibers $B G$ that is associated via the canonical action of $AUT (G) = Aut (B G)$ on $B G$ .

Banded gerbes

For $G \in Grp (𝒢)$ , the automorphism 2-group $AUT (G)$ has a canonical morphism to its 0-truncation, the ordinary outer automorphism group object of $G$ :

\to AUT (G) \to π_{0} (Aut (G)) = : Out (G) .

Therefore every $AUT (G)$ -cocycle has an underlying $Out (G)$ -cocycle (an $Out (G)$ -principal bundle):

𝒳 (*, B AUT (G)) \to 𝒳 (*, B Out (G)) .

By prop. 1 this an assignment of $Out (G)$ -cohomology classes to $G$ -gerbes:

Band : π_{0} (G Gerbe) \to H_{𝒳}^{1} (X, Out (G)) .

For $P \in G Gerbe$ one says that $Band (P)$ is its band.

Sometimes in applications one considers not just the restriction from all gerbes to $G$ -gerbes for some $G$ , but further to $K$ -banded $G$ -gerbes for some $K \in H_{𝒳}^{1} (X, Out (G))$ .

The groupoid $G {Gerbe}_{K} (X)$ of $K$ -banded gerbes is the $K$ -twisted $B^{2} Z (G)$ -cohomology of $X$ (where $Z (G)$ is the center of $G$ ): it is the homotopy pullback

\begin{matrix} G {Gerbe}_{K} (X) & \to & * \\ ↓ & ⇙_{≃} & ↓^{K} \\ 𝒳 (X, B AUT (G)) & \to & 𝒳 (X, B Out (G)) \end{matrix} .

Sub-entries

More details on gerbes is at the following sub-entries:

Examples

determinantal gerbe

Related concepts

principal bundle / torsor / associated bundle
principal 2-bundle / gerbe / bundle gerbe
principal 3-bundle / 2-gerbe / bundle 2-gerbe
principal ∞-bundle / associated ∞-bundle / ∞-gerbe

References

The definition of gerbe goes back to (see also nonabelian cohomology)

J. Giraud, Cohomologie non abélienne , Springer (1971)

Introductions include

Lawrence Breen, Notes on 1- and 2-gerbes in John Baez, Peter May (eds.) Towards Higher Categories (arXiv:math/0611317).

Ieke Moerdijk, Introduction to the language of stacks and gerbes (arXiv:math/0212266)
Lawrence Breen, Notes on 1- and 2-gerbes in John Baez, Peter May (eds.) Towards Higher Categories (arXiv:math/0611317).

A discussion from the point of view of (∞,1)-topos theory is in

Rick Jardine, Z. Luo, Higher order principal bundles , K-theory (2004) (web)

The definition for $n$ -gerbes as $n$ -truncated and $n$ -connected objects (see ∞-gerbe) is in

Jacob Lurie, Higher Topos Theory

nLab
gerbe

Context

Bundles

Context

Classes of bundles

Universal bundles

Presentations

Examples and Applications

$(∞, 1)$ -Topos Theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

Cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Definition

General

Definition

$G$ -Gerbes

Remark

Definition

Remark

Properties

Equivalence of $G$ -gerbes to $AUT (G)$ -2-bundles

Proposition

Corollary

Banded gerbes

Sub-entries

Examples

Related concepts

References

nLab gerbe

Context

Bundles

Context

Classes of bundles

Universal bundles

Presentations

Examples and Applications

(∞,1)-Topos Theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

Cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Definition

General

Definition

G-Gerbes

Remark

Definition

Remark

Properties

Equivalence of G-gerbes to AUT(G)-2-bundles

Proposition

Corollary

Banded gerbes

Sub-entries

Examples

Related concepts

References

nLab
gerbe

$(∞, 1)$ -Topos Theory

$G$ -Gerbes

Equivalence of $G$ -gerbes to $AUT (G)$ -2-bundles