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 Brauer Group $H^{2}(X,\mathcal{O}^{\times})$. This latter group is calculated in the classical (metric) topology on the associated complex manifold with the sheaf of nowhere vanishing holomorphic functions.

However there can easily be non-torsion elements in $H^{2}(X,\mathcal{O}^{\times})$: for instance consider the image in $H^{3}(X,\mathbb{Z}) \cap (H^{(2,1)}(X) \oplus H^{(1,2)}(X))$.

Could there be a topology more refined than etale but defined algebraically which can see these non-torsion classes? Notice that one can also ask the question for any $H^{i}(X,\mathcal{O}^{\times})$. For $i=0,1$ the Zariski and etale work fine.

Why do things break down for $i>1$?


I'd be surprised if such a topology were in the literature. (I'm no expert on the Brauer group, but once I thought a little about it.) So, it's unlikely you'll get a yes answer to your question. To give a no answer you'd of course have to turn it into a precise, mathematical yes/no question. It would probably be interesting if you could.


I think the article by B. Toen "Derived Azumaya algebras and generators for twisted derived categories", arXiv:1002.2599, gives a pointer to a possible answer to your question.

EDIT I have weakened the assertion...

  • 2
    $\begingroup$ I don't think so. Toën shows how to realise non-torsion classes in the étale cohomological Brauer group in terms of generalised Azumaya algebras. This, I believe, has very little to do with the analytic non-torsion classes which generally exist even when the étale group is torsion. $\endgroup$ – Torsten Ekedahl Sep 19 '11 at 9:46
  • $\begingroup$ @Torsten Ekedahl. You are right: it doesn't answer the question literally. My idea is that B. Toën provides an interpretation for the non-torsion elements in the étale case and that his method (which is very categorical) might be adaptable to the analytic case. Of course, I might have overlooked a fundamental obstruction here. $\endgroup$ – Damian Rössler Sep 19 '11 at 10:56
  • 1
    $\begingroup$ You may of course be right but I think the point is that the reason for non-torsion is completely different. Non-torsion in etale cohomology come from singularities so if the variety is non-singular all classes are torsion. The analytic non-torsion classes appear for completely different reason even in the non-singular case. A worth-while analogy is perhaps logarithmic transformations. Algebraically, they are all done by using torsion classes, analytically you can use an class. $\endgroup$ – Torsten Ekedahl Sep 19 '11 at 15:19
  • $\begingroup$ @Torsten Ekedahl. Right. It had slipped my mind that the cohomological Brauer group is torsion for any regular scheme (I knew this for the "Azumaya" one). I wonder how this difference comes into play in Toën's work. $\endgroup$ – Damian Rössler Sep 19 '11 at 16:37
  • $\begingroup$ Although this is not the focus of Toën's article, if I remember correctly, he does point out that the full $H^{2}(X,\mathcal{O})$ has the algebraic interpretation as deformations of algebraic grebes. $\endgroup$ – Oren Ben-Bassat Oct 8 '11 at 19:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.