skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Brauer–Manin obstructions requiring arbitrarily many Brauer classes
Abstract On a projective variety defined over a global field, any Brauer–Manin obstruction to the existence of rational points is captured by a finite subgroup of the Brauer group. We show that this subgroup can require arbitrarily many generators.  more » « less
Award ID(s):
2200655 2101040 2101434
PAR ID:
10504574
Author(s) / Creator(s):
 ;  ;  ;  ;  ;  ;  
Publisher / Repository:
Oxford University Press (OUP)
Date Published:
Journal Name:
Bulletin of the London Mathematical Society
Volume:
56
Issue:
5
ISSN:
0024-6093
Format(s):
Medium: X Size: p. 1587-1604
Size(s):
p. 1587-1604
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We develop tools to analyze and compare the Brauer groups of spectra such as periodic complex and real ‐theory and topological modular forms, as well as the derived moduli stack of elliptic curves. In particular, we prove that the Brauer group of is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Our main computational focus is on the subgroup of the Brauer group consisting of elements trivialized by some étale extension, which we call the local Brauer group. Essential information about this group can be accessed by a thorough understanding of the Picard sheaf and its cohomology. We deduce enough information about the Picard sheaf of and the (derived) moduli stack of elliptic curves to determine the structure of their local Brauer groups away from the prime 2. At 2, we show that they are both infinitely generated and agree up to a potential error term that is a finite 2‐torsion group. 
    more » « less
  2. Abstract 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 $${\operatorname{Br}}^{\prime}(S)$$ of $$S$$. We show that the cohomological Brauer group $${\operatorname{Br}}^{\prime}(\mathcal{G})$$ of $$\mathcal{G}$$ is isomorphic to the quotient of $${\operatorname{Br}}^{\prime}(S)$$ by the subgroup generated by the class $$[\mathcal{G}]$$. This is analogous to a theorem proved by Gabber for Brauer–Severi schemes. 
    more » « less
  3. Abstract Given a Brauer class on a K3 surface defined over a number field, we prove that there exists infinitely many reductions where the Brauer class vanishes, under certain technical hypotheses, answering a question of Frei–Hassett–Várilly‐Alvarado. 
    more » « less
  4. We introduce the nil-Brauer category and prove a basis theorem for its morphism spaces. This basis theorem is an essential ingredient required to prove that nil-Brauer categorifies the split \imath-quantum group of rank one. As this \imath-quantum group is a basic building block for \imath-quantum groups of higher rank, we expect that the nil-Brauer category will play a central role in future developments related to the categorification of quantum symmetric pairs. 
    more » « less
  5. Abstract We introduce the oriented Brauer–Clifford and degenerate affine oriented Brauer–Clifford supercategories. These are diagrammatically defined monoidal supercategories that provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercategories. We also discuss connections and applications to the representation theory of the Lie superalgebra of type Q. 
    more » « less