Skip to main content
added 68 characters in body
Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

Here is one way to see it: gerbes on $M$ form a bigroupoid (= bicategory all of whose morphisms and 2-morphisms are invertible).

In particular, if $\mathcal{G}$ is a gerbe over $M$, and $\mathcal{I}_M$ denotes the trivial gerbe over $M$ (trivial cover $\{M\}$, trivial line bundles, trivial isomorphism) then we have a groupoid $Hom(\mathcal{G},\mathcal{I}_M)$ of "trivializations".

Define $$ U \mapsto Hom(\mathcal{G}|_U,\mathcal{I}_U). $$ This is your stack on the site of open sets of $M$.

Here is one way to see it: gerbes on $M$ form a bigroupoid.

In particular, if $\mathcal{G}$ is a gerbe over $M$, and $\mathcal{I}_M$ denotes the trivial gerbe over $M$ (trivial cover $\{M\}$, trivial line bundles, trivial isomorphism) then we have a groupoid $Hom(\mathcal{G},\mathcal{I}_M)$ of "trivializations".

Define $$ U \mapsto Hom(\mathcal{G}|_U,\mathcal{I}_U). $$ This is your stack on the site of open sets of $M$.

Here is one way to see it: gerbes on $M$ form a bigroupoid (= bicategory all of whose morphisms and 2-morphisms are invertible).

In particular, if $\mathcal{G}$ is a gerbe over $M$, and $\mathcal{I}_M$ denotes the trivial gerbe over $M$ (trivial cover $\{M\}$, trivial line bundles, trivial isomorphism) then we have a groupoid $Hom(\mathcal{G},\mathcal{I}_M)$ of "trivializations".

Define $$ U \mapsto Hom(\mathcal{G}|_U,\mathcal{I}_U). $$ This is your stack on the site of open sets of $M$.

Source Link
Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37

Here is one way to see it: gerbes on $M$ form a bigroupoid.

In particular, if $\mathcal{G}$ is a gerbe over $M$, and $\mathcal{I}_M$ denotes the trivial gerbe over $M$ (trivial cover $\{M\}$, trivial line bundles, trivial isomorphism) then we have a groupoid $Hom(\mathcal{G},\mathcal{I}_M)$ of "trivializations".

Define $$ U \mapsto Hom(\mathcal{G}|_U,\mathcal{I}_U). $$ This is your stack on the site of open sets of $M$.