The gerbes tag has no usage guidance.

**6**

votes

**0**answers

97 views

### Gerbes on the multiplicative group

Let $k$ be an arbitrary field with absolute Galois group $\Gamma$. The group $\text{Hom}(\Gamma,\mathbb{Q}/\mathbb{Z})$ injects into $H^2(\mathbb{A}^1 \setminus \{ 0 \},\mathbb{G}_m)$, as one can see ...

**4**

votes

**1**answer

171 views

### Smooth algebraic stacks with precisely two $\mathbb C$-objects

In my quest of "understanding" stacks, I recently tried to figure out the structure of a smooth algebraic stack of finite type $\mathcal X$ over $\mathbb C$ with affine diagonal and precisely one $\...

**7**

votes

**1**answer

217 views

### Fiberwise criterion for a stack to be a gerbe

Let $f:X\to Y$ be a morphism of algebraic stacks.
If the geometric fibres of $f$ are algebraic spaces, then $f$ is representable by algebraic spaces.
I'm wondering about analogues of this fiberwise ...

**3**

votes

**1**answer

171 views

### Are there any non-trivial $G$-gerbes over the analytic space $\mathbb C$

Does there exist a finite (abstract) group $G$ and a non-trivial $G$-gerbe $\mathcal X\to \mathbb C$, where we work in the category of analytic stacks.
My guess is that $G$-gerbes for $G$ an abelian ...

**3**

votes

**0**answers

130 views

### Writing down gerbes explicitly over the projective line

Let $X = [\mathbb P^1/(\mathbb Z/2\mathbb Z)]$, where we take the trivial action of $\mathbb Z/2\mathbb Z$ on $\mathbb P^1$. Is this DM stack over $\mathbb C$ a gerbe over $\mathbb P^1$? Is it the ...

**7**

votes

**3**answers

638 views

### Gerbes and Stacks

The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...

**3**

votes

**0**answers

39 views

### Connection on 3-bundle given as triplet of forms

A connection on a bundle is given locally by a Lie algebra-valued 1-form.
Gauge transformations act in the usual way on the forms, and form a groupoid.
A connection on a 2-bundle is given locally by ...

**0**

votes

**0**answers

132 views

### Where are there defined objects between gerbes and bundle gerbes?

Consider a special kind of/something like a gerbe where there is first given local trivialization data with equivalence over 2-fold overlaps but not isomorphism.
Does this exist in the literature?

**13**

votes

**1**answer

461 views

### Gabber's proof of Br' = Br for quasiprojective schemes

In a note by deJong showing the cohomological and ordinary Brauer groups coincide for separated quasicompact schemes with ample line bundle, it is mentioned that Gabber had an unpublished proof of the ...

**10**

votes

**0**answers

311 views

### Are deformations of a scheme some kind of a “derived gerbe” under the cotangent complex?

(This is probably a very naive question. My understanding of the cotangent complex is quite vague.)
Let me first recall the picture for deformations of a smooth morphism:
If $f:X_0\to S_0$ is a ...

**4**

votes

**0**answers

278 views

### Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski

Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...

**13**

votes

**1**answer

766 views

### Second nonabelian group cohomology: cocycles vs. gerbes

In 1965 Jean Giraud published two Comptes Rendus notes titled "Cohomologie non abélienne", and in 1971 he published a book with the same title.
In 1966 Tonny A. Springer's paper "Nonabelian $H^2$ in ...

**1**

vote

**0**answers

179 views

### Mayer-Vietoris on Fibered Products

Suppose $M \xrightarrow{p} X$ is a surjective submersion of smooth manifolds. Define the fibered product in this case: $$M \times_X M = \{ (m_1, m_2) \in M \times M | p(m_1) = p(m_2) \}$$
and let $U =...

**1**

vote

**1**answer

154 views

### gluing gerbes over a spectrum of a field

A theorem of Giraud says that gerbes over a scheme $X$ bounded by a sheaf of Abelian groups $A$ are classified by elements of the etale cohomology group $H^2(X,A)$. Similar statements hold in other ...

**2**

votes

**2**answers

323 views

### Constructing a stack (gerbe) from a connected groupoid

Let $\mathcal{G}=(A\rightrightarrows X)$ be a groupoid.
Here $X={\rm Ob}(\mathcal{G})$, $A={\rm Ar}(\mathcal{G})$,
and we have 5 maps:
$s,t\colon A\to X$ (the source and the target, surjective),
$m\...

**1**

vote

**0**answers

122 views

### The Abelian Group of Equivalence Classes of Gerbes

Are there any good references/explanations for understanding the "contracted product" (as Brylinski calls it) of a gerbe with abelian band? I am finding it difficult, using Brylisnki's definition. to ...

**3**

votes

**1**answer

196 views

### Twisting an object P by an H-Torsor I

I am reading Brylinski's Loop Spaces, Characteristic Classes, and Geometric Quantization.
The Statement
Let $C$ be a gerbe on a space $X$ with "abelian" band $H$, $f: Y \to X$ a local homeomorphism (...

**2**

votes

**0**answers

258 views

### A Fourier-Mukai type duality for gerbes, torsors and their duals

Here is a result whose proof uses Fourier-Mukai duality:
Consider a family of abelian varieties $A \rightarrow X$, its dual $\check{A} \rightarrow X$, and a torsor $\mathcal{T}$ (for $A \rightarrow X$...

**9**

votes

**0**answers

308 views

### Geometrizing the Third Cohomology of a Complex Lie Group

If $G_\mathbb{C}$ is a simply-connected simple complex Lie group, theorem 5.4.10 of Brylinski's "Loop Spaces, Characteristic Classes, and Geometric Quantization" claims that there is a natural $\...

**8**

votes

**1**answer

547 views

### Recovering classical Tannaka duality from Lurie's version for geometric stacks

In Lurie's paper Tannaka Duality for Geometric Stacks, it is essentially shown that specifying a morphism of geometric objects
$$ f \colon X \to Y$$
is equivalent to giving a corresponding pullback ...

**11**

votes

**1**answer

562 views

### Is the first differential Pontryagin class a morphism of stacks?

In Cech Cocycles for Characteristic Classes, Jean-Luc Brylinski and Dennis McLaughlin provide explicit formulas for Cech cocycles for characteristic classes of real and complex vector bundles, and ...

**18**

votes

**2**answers

1k views

### Algebraic versus Analytic Brauer Group

Let $X$ be a smooth projective algebraic variety over $\mathbb{C}$. Then I think that someone (Serre?) showed that the Cohomological Etale Brauer Group agrees with the torsion part of the Analytic ...

**10**

votes

**1**answer

711 views

### Are bundle gerbes bundles of algebras?

The category of line bundles (possibly with connection)
on a smooth manifold M can be defined in two different ways:
The first definition uses transition functions that satisfy a cocycle condition
(...

**5**

votes

**1**answer

698 views

### Bundle Gerbes as Characteristic Classes

Perhaps this is a bit naïve, but I was wondering if it possible to (at least formally) represent Bundle Gerbes as Characteristic Classes. Disclaimer: My understanding of Bundle Gerbes is limited to ...

**4**

votes

**0**answers

731 views

### What's a good reference about gerbes and bands?

I've seen several papers that I would like to read that use the language of gerbes and bands. The wiki page on gerbes is useful, but doesn't even contain the word 'band', so I'm left confused even ...

**14**

votes

**5**answers

1k views

### What do gerbes and complex powers of line bundles have to do with each other?

We all know how to take integer tensor powers of line bundles. I claim that one should be able to also take fractional or even complex powers of line bundles. These might not be line bundles, but ...

**8**

votes

**2**answers

1k views

### Why do gerbes live in H^2 ?

Line bundles on a scheme $X$ live in $H^1(X,O_X^*)$, where $O_{X}^{*}$ is the sheaf of invertible functions. If $X$ is noetherian separated, then we can think of this $H^1$ to be Cech cohmology w.r.t....

**8**

votes

**3**answers

753 views

### Gerbes for a cyclic group. (or maybe G_m too)

Let μn be the group scheme of n-th roots of unity. If X is a scheme and L is a line bundle on X, then I can construct a μn-gerbe Y over X by letting the S-points of Y be a S-point of X, a line ...