13
votes
1answer
350 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 ...
8
votes
0answers
168 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 ...
5
votes
0answers
186 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 ...
2
votes
1answer
158 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
0answers
194 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 ...
9
votes
0answers
249 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
1answer
426 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 ...
2
votes
0answers
507 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 ...
8
votes
2answers
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 ...
16
votes
2answers
783 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 ...
5
votes
3answers
598 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 ...