Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Over in the thread on “Picard infinity-stack” we turned to discussion of Brauer stack. Just for completeness I should probably make this a separate thread here: I had created Brauer stack for the moment only with the following Idea-section
It is traditional to speak, for a suitable scheme $X$, of its Picard group and of its Brauer group. Moreover, it is a classical fact that under suitable conditions the former admits itself a canonical geometric structure that makes it the Picard scheme of $X$. Still well known, if maybe less commonly highlighted, is that this is just the 0-truncation of the Picard stack of $X$, which is simply the mapping stack $[X, \mathbf{B}\mathbb{G}_m]$ into the delooping of the multiplicative group. In this form this applies immediately also to more general context such as E-∞ geometry ("spectral geometry") and gives a concept of Picard ∞-stack ("derived Picard stack"). Given this and the relation of the Brauer group to étale cohomology it is clear that the Brauer group similarly arises as the torsion subgroup of the 0-truncation of the ∞-stack which ought to be called the Brauer stack, given as the mapping stack
$\mathbf{Br}(X) \coloneqq [X,\mathbf{B}^2 \mathbb{G}_m]$into the second delooping of the multiplicative group (modulating line 2-bundles). Indeed, just as the Picard stack turns under Lie integration (evaluation on infinitesimally thickened points) and 0-truncation into what is commonly called the formal Picard group, so this Brauer $\infty$-stack similarly gives what is commonly called the formal Brauer group.
However, while therefore the terminology "Brauer stack" is the evident continuation of a traditional pattern (which in the other direction continues with the group of units and the mapping scheme $[X,\mathbb{G}_,]$), it seems that this terminology has never been introduced in the literature (at time of this writing). (?)
Do you have a general way to refer to later members of the sequences Picard X, Brauer X, …, for X = group, stack, etc.?
I would just call them moduli $\infty$-stacks of line $n$-bundles. I think this is a typical case of a field with a very long history, where concepts did not develop top-down in the most straightforward general abstract way, but bottom-up by a long history of feeling one’s way. That’s why there is all this terminology for what abstractly is really one single concept. But I really would like to get all the conections to the trational story sorted out. As hilbertthm90 also said: while the words “Brauer stack” seem not to be in the literature, it seems almost inconceivable that nobody considered this, but probably under yet another unsuggestive name! :-)
A very cursory search didn’t give me an answer to your question, but I see here the Brauer group concept (or some ’bigger’ version) can be applied not just to schemes but to algebraic stacks. Maybe this is implicit in your use of ’mapping stack’.
So the thing is that these articles (as far as I am aware) discuss the Brauer group as a discrete group, not as a group scheme/group stack, hence they do not equip the Brauer group which its evident geometry. The mapping stack construction takes care of that canonically, and the “bigger Brauer group” is just the group of global points in the 0-truncation of the “Brauer stack” (without remembering the geometry that holds them together).
For the Picard case this difference is well-recognized and reflected in the dichotomy Picard group $\leftrightarrow$ Picard scheme/Picard stack (no geometry on the left, but geometry on the right). Here I am after this with-geometry version of the Brauer group.
Yes, I was just asking (implicitly) whether you should say that you can form the Brauer stack of a stack. At the moment it’s all in terms of schemes. I guess the generality is there at Picard stack.
Oh, I see. Yes, let $X$ be any spectral derived higher whatsoever $\infty$-stack, then $[X, \mathbf{B}^2 \mathbb{G}_m]$ is its Brauer $\infty$-stack.
I’ll edit to make that clearer in the entry.
1 to 7 of 7