Related papers: The bigger Brauer group is really big
Given an algebraic stack with quasiaffine diagonal, we show that each G_m-gerbe comes from a central separable algebra. In other words, Taylor's bigger Brauer group equals the etale cohomology in degree two with coefficients in G_m. This…
We show that, in general, over a regular integral noetherian affine scheme X of dimension at least 6, there exist Brauer classes on X for which the associated division algebras over the generic point have no Azumaya maximal orders over X.…
In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer…
Using twisted and formal-local methods, we prove that every separated algebraic space which is the (open/flat) pushout of affine schemes has enough Azumaya algebras. As a corollary we show that, under mild hypothesis, every cohomological…
Over a normal base scheme, we prove the generalized Theorem of the Cube for 1-motives and that a torsion class of the group H^2_\'et(M,G_m)$ of a 1-motive M, whose pull-back via the unit section is zero, comes from an Azumaya algebra. In…
The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…
Using Maruyama's theory of elementary transformations, I show that the Brauer group surjects onto the cohomological Brauer group for separated geometrically normal algebraic surfaces. As an application, I infer the existence of nonfree…
We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…
Let $(X,\bar x)$ be a pointed connected noetherian scheme. In this note, we give characterizations for the vanishing of the second \'etale homotopy group $\pi^{\rm \'et}_2(X,\bar x)$ in terms of splitting profinite-\'etale covers of $X$,…
Let $A$ be a ring equipped with a derivation $\delta $. We study differential Azumaya $A$ algebras, that is, Azumaya $A$ algebras equipped with a derivation that extends $\delta $. We calculate the differential automorphism group of the…
For each natural number n greater than 1, we define an algebra satisfying many properties that one might expect to hold for a Brauer algebra of type Cn. The monomials of this algebra correspond to scalar multiples of symmetric Brauer…
We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…
Let $R$ be a unital commutative ring with unit and $\mathscr{G}$ an ample groupoid. Using the topology of the groupoid $\mathscr{G}$, Steinberg defined an etale groupoid algebra $R\mathscr{G}$. These etale groupoid algebras generalize…
Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…
Multi-point algebras of Krichever Novikov type for higher genus Riemann surfaces are generalisations of the Virasoro algebra and its related algebras. Complete existence and uniqueness results for local 2-cocycles defining almost-graded…
Let $S$ be a scheme and let $\pi : \mathcal{G} \to S$ be a $\mathbb{G}_{m,S}$-gerbe corresponding to a torsion class $[\mathcal{G}]$ in the cohomological Brauer group $\mathrm{Br}'(S)$ of $S$. We show that the cohomological Brauer group…
In this article, we study bounded-below locally finite $\mathbb{Z}$-graded algebras, which are referred to as commonly graded algebras in literature. Commonly graded algebras have almost similar theory as that of connected graded algebras,…
Let U be a connected scheme of finite cohomological dimension in which every finite set of points is contained in an affine open subscheme. Suppose that alpha is a class in H^2(U_et,Gm)_{tors}. For each positive integer m, the K-theory of…
This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general…
We prove an etale local-global principle for the telescope conjecture and use it to show that the telescope conjecture holds for derived categories of Azumaya algebras on noetherian schemes as well as for many classifying stacks and gerbes.…