Comparison of arithmetic Brauer groups with geometric Brauer groups

Xinyi Yuan

2020-01-01

Abstract: Let $X$ be a projective and smooth variety over a field $k$. The goal of this paper is to prove that the cokernel of the canonical map $Br(X)\to Br(X_{k^s})^{G_k}$ has a finite exponent. Both groups are natural invariants arising from consideration of the Tate conjecture of divisors over $X$.

What problem does this paper attempt to address?

On geometric Brauer groups and Tate-Shafarevich groups

Yanshuai Qin

DOI: https://doi.org/10.48550/arXiv.2012.01681

2021-12-06

Abstract:Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. We proved that the finiteness of the $\ell$-primary part of $\mathrm{Br}(X_{K^s})^{G_K}$ for a single prime $\ell\neq p$ will imply the finiteness of the prime-to-$p$ part of $\mathrm{Br}(X_{K^s})^{G_K}$, generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety $A$ over $K$, we proved a similar result for the Tate-Shafarevich group of $A$, generalizing a theorem of Schneider for abelian varieties over global function fields.

Algebraic Geometry,Number Theory
On the Brauer groups of fibrations

Yanshuai Qin

2024-03-25

Abstract:Let $\mathcal{X}\rightarrow C$ be a dominant morphism between smooth irreducible varieties over a finitely generated field $k$ such that the generic fiber $X$ is smooth, projective and geometrically connected. Assuming that $C$ is a curve with function field $K$, we build a relation between the Tate-Shafarevich group for $\mathrm{Pic}^0_{X/K}$ and the geometric Brauer groups for $\mathcal{X}$ and $X$, generalizing a theorem of Artin and Grothendieck for fibered surfaces to arbitrary relative dimension.

Algebraic Geometry,Number Theory
On p-torsions of geometric Brauer groups

Zhenghui Li,Yanshuai Qin,with an appendix by Veronika Ertl

2024-09-14

Abstract:Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. In combination with the Leray spectral sequence for rigid cohomology derived from the Berthelot conjecture recently proved by Ertl-Vezzani, we show that the cokernel of $\mathrm{Br}_{\mathrm{nr}}(K(X)) \rightarrow \mathrm{Br}(X_{k^s})^{G_k}$ is of finite exponent. This completes the $p$-primary part of the generalization of Artin-Grothendieck's theorem on relations between Brauer groups and Tate-Shafarevich groups to higher relative dimensions.

Algebraic Geometry
On the Brauer groups of fibrations II

Yanshuai Qin

2024-10-14

Abstract:Let $K$ be a number field, and let $\mathcal{X}$ be a proper regular flat scheme over $\mathcal{O}_{K}$ with a generic fiber $X$ geometrically connected over $K$. We prove that there is an exact sequence up to finite groups $0\rightarrow Sha(Pic_{X/K}^0)\rightarrow Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}\rightarrow 0$, which generalizes a theorem of Artin and Grothendieck for arithmetic surfaces to arbitrary dimensions. Consequently, we reduce Artin's question regarding the finiteness of $Br(\mathcal{X})$ for proper regular flat schemes $\mathcal{X}$ over $\mathbb{Z}$ to $3$-dimensional arithmetic schemes.

Algebraic Geometry,Number Theory
Computing the equivariant Brauer group

Alena Pirutka,Zhijia Zhang

2024-10-07

Abstract:Let X be a smooth projective rational variety carrying a regular action of a finite abelian group G. We give examples of effective computation of the Brauer group of the quotient stack [X/G] in dimensions 2 and 3 using residues in Galois cohomology and the geometry of fixed loci. In particular, we compute Br([X/G]) for all G-minimal del Pezzo surfaces.

Algebraic Geometry,Number Theory
On the Cuspidal Cohomology of Arithmetic Groups

Jian-Shu Li,Joachim Schwermer

DOI: https://doi.org/10.1353/ajm.0.0073

IF: 1.835

2009-01-01

American Journal of Mathematics

Abstract:It is the main objective of this paper to show a vanishing result for cuspidal cohomology of arithmetic groups in classical groups~$G$ defined over some number field~$k$.Our approach relies on the fact that cuspidal automorphic forms are nonsingular in the sense of Howe. This result puts a strong constraint on the (archimedean components of) irreducible cuspidal automorphic representations of $G$that can possibly contribute to the cuspidal cohomology. Combining this with the classification of Vogan-Zuckerman of unitary representations with nonzero cohomologyprovides a constant $r_0(G/k)$, only depending on $G/k$, below which the cuspidal cohomology vanishes. We will give a formula for this constant for each classical group of type (I) in the classification scheme due to Weil. We conclude with making this result explicit for some split classical groups over a totally real algebraic number field.
A $p$-adic local invariant cycle theorem with applications to Brauer groups

Yanshuai Qin

DOI: https://doi.org/10.48550/arXiv.2103.04945

2021-03-09

Abstract:In this article, we prove a $p$-adic analogue of the local invariant cycle theorem for $H^2$ in mixed characteristics. As a result, for a smooth projective variety $X$ over a $p$-adic local field $K$ with a proper flat regular model $\mathcal{X}$ over $O_K$, we show that the natural map $Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}$ has a finite kernel and a finite cokernel. And we prove that the natural map $Hom(Br(X)/Br(K)+Br(\mathcal{X}), \mathbb{Q}/\mathbb{Z}) \rightarrow Alb_X(K)$ has a finite kernel and a finite cokernel, generalizing Lichtenbaum's duality between Brauer groups and Jacobians for curves to arbitrary dimensions.

Algebraic Geometry,Number Theory
Remarks on $p$-primary torsion of the Brauer group

Yuan Yang

2024-10-14

Abstract:For a smooth and proper variety $X$ over an algebraically closed field $k$ of characteristic $p>0$, the group $Br(X)[p^\infty]$ is a direct sum of finitely many copies of $\mathbb{Q}_p/\mathbb{Z}_p$ and an abelian group of finite exponent. The latter is an extension of a finite group $J$ by the group of $k$-points of a connected commutative unipotent algebraic group $U$. In this paper we show that (1) if $X$ is ordinary, then $U = 0$; (2) if $X$ is a surface, then $J$ is the Pontryagin dual of $NS(X)[p^\infty]$; (3) if $X$ is an abelian variety, then $J = 0$. Using Crew's formula, we compute $Br(X)[p^\infty]$ for Enriques surfaces and abelian $3$-folds. Generalizing a result of Ogus, we give a criterion for the injectivity of the canonical map from flat to crystalline cohomology in degree $2$.

Algebraic Geometry,Number Theory
Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields

Azur Đonlagić

2024-10-16

Abstract:Questions related to Brauer-Manin obstructions to the Hasse principle and weak approximation for homogeneous spaces of tori over a number field are well-studied, generally using arithmetic duality theorems, starting with works of Sansuc and of Colliot-Thélène. In this article, we prove the analogous statements (and include obstructions to strong approximation over finite places) in the general case of a commutative affine group scheme $G$ of finite type over a global field in any characteristic. We also study finiteness of different variants of the second Tate-Shafarevich kernel (such as $S$-kernels and $\omega$-kernels) of the Cartier dual of $G$. All this is made possible by some recent theoretical advancements in positive characteristic, namely the finiteness theorems of B. Conrad and the generalized Tate duality of Z. Rosengarten.

Number Theory,Algebraic Geometry
Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Jacob Tsimerman

DOI: https://doi.org/10.48550/arXiv.1103.5619

2011-06-12

Abstract:In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Riemann Hypothesis for CM fields. Along the way we derive a general transfer principle for torsion in ideal class groups of number fields.

Number Theory
Evaluating the wild Brauer group

Martin Bright,Rachel Newton

DOI: https://doi.org/10.1007/s00222-023-01210-8

2023-10-06

Abstract:Classifying elements of the Brauer group of a variety X over a p-adic field according to the p-adic accuracy needed to evaluate them gives a filtration on Br X. We relate this filtration to that defined by Kato's Swan conductor. The refined Swan conductor controls how the evaluation maps vary on p-adic discs: this provides a geometric characterisation of the refined Swan conductor. We give applications to rational points on varieties over number fields, including failure of weak approximation for varieties admitting a non-zero global 2-form.

Algebraic Geometry,Number Theory
Relative Brauer groups of genus 1 curves

Mirela Ciperiani,Daniel Krashen

DOI: https://doi.org/10.1007/s11856-012-0057-5

2012-05-12

Israel Journal of Mathematics

Abstract:In this paper we develop techniques for computing the relative Brauer group of curves, focusing particularly on the case where the genus is 1. We use these techniques to show that the relative Brauer group may be infinite (for certain ground fields) as well as to determine this group explicitly for certain curves defined over the rational numbers. To connect to previous descriptions of relative Brauer groups in the literature, we describe a family of genus 1 curves, which we call “cyclic type” for which the relative Brauer group can be shown to have a particularly nice description. In order to do this, we discuss a number of formulations of the pairing between the points on an elliptic curve and its Weil-Chatêlet group into the Brauer group of the ground field, and draw connections to the period-index problem for genus 1 curves.

mathematics
Arithmetic Restrictions on Geometric Monodromy

Daniel Litt

DOI: https://doi.org/10.48550/arXiv.1607.05740

2016-07-19

Algebraic Geometry

Abstract:Let X be a normal complex algebraic variety, and p a prime. We show that there exists an integer N=N(X, p) such that: any non-trivial, irreducible representation of the fundamental group of X, which arises from geometry, must be non-trivial mod p^N. The proof involves an analysis of the action of the Galois group of a finitely generated field on the etale fundamental group of X. We also prove many arithmetic statements about fundamental groups which are of independent interest, and give several applications.
Some remarks on Brauer Classes of K3-type

Federica Galluzzi,Bert van Geemen

2024-05-30

Abstract:An element in the Brauer group of a general complex projective $K3$ surface $S$ defines a sublattice of the transcendental lattice of $S$. We consider those elements of prime order for which this sublattice is Hodge-isometric to the transcendental lattice of another K3 surface $X$. We recall that this defines a finite map between moduli spaces of polarized K3 surfaces and we compute its degree. We show how the Picard lattice of $X$ determines the Picard lattice of $S$ in the case that the Picard number of $X$ is two.

Algebraic Geometry
On Brauer groups of tame stacks

Niven Achenjang

2024-10-09

Abstract:We develop some general tools for computing the Brauer group of a tame algebraic stack $\mathscr X$ by studying the difference between it and the Brauer group of the coarse space $X$ of $\mathscr X$. It is our hope that these tools will be used to simplify future computations of Brauer groups of stacks. Informally, we show that $\operatorname{Br}\mathscr X$ if often built from $\operatorname{Br} X$ and ``information about the Picard groups of the fibers of $\mathscr X\to X$''. Along these lines, we compute, for example, the Brauer group of the moduli stack $\mathscr Y(1)_S$ of elliptic curves, over any regular noetherian $\mathbb Z[1/2]$-scheme $S$ as well as the Brauer groups of (many) stacky curves (allowing generic stabilizers) over algebraically closed fields.

Algebraic Geometry,Number Theory
Boundedness of the p-primary torsion of the Brauer group of products of varieties

Alexei N. Skorobogatov

2024-07-01

Abstract:Let k be a field finitely generated over its prime subfield. We prove that the quotient of the Brauer group of a product of varieties over k by the Brauer groups of factors has finite exponent. The bulk of the proof concerns p-primary torsion in characteristic p. Our approach gives a more direct proof of the boundedness of the p-primary torsion of the Brauer group of an abelian variety, as recently proved by D'Addezio. We show that the transcendental Brauer group of a Kummer surface over k has finite exponent, but can be infinite when k is an infinite field of positive characteristic. This answers a question of Zarhin and the author.

Algebraic Geometry,Number Theory
Comparison of different Tate conjectures

Veronika Ertl,Timo Keller,Yanshuai Qin

2024-10-17

Abstract:For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture, holds for $A/K$ if and only if a suitably defined Tate--Shafarevich group of $A/K$ (1) has finite $\ell$-primary component for some/all $\ell \neq p$, or (2) finite prime-to-$p$ part, or (3) has $p$-primary part of finite exponent, or (4) is of finite exponent. There is an algorithm to verify those conditions for concretely given $A/K$.

Algebraic Geometry,Number Theory
Two improvements in Brauer's theorem on forms

Arthur Bik,Jan Draisma,Andrew Snowden

2024-01-04

Abstract:Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are homogeneous polynomials on a $k$-vector space $V$ of degrees $d_1, \ldots, d_r$, then the variety $Z$ defined by the $f_i$'s has a non-trivial $k$-point, provided that $\dim{V}$ is sufficiently large compared to the $d_i$'s and $k$. We offer two improvements to this theorem, assuming $k$ is infinite. First, we show that the Zariski closure of the set $Z(k)$ of $k$-points has codimension $<C$, where $C$ is a constant depending only on the $d_i$'s and $k$. And second, we show that if the strength of the $f_i$'s is sufficiently large in terms of the $d_i$'s and $k$, then $Z(k)$ is actually Zariski dense in $Z$. The proofs rely on recent work of Ananyan and Hochster on high strength polynomials.

Number Theory,Algebraic Geometry
The Brauer Group of Rational Numbers

Haiyu Chen

DOI: https://doi.org/10.48550/arXiv.1911.02368

2019-11-02

Abstract:In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the Brauer group of a field is equivalent to a complete classification of finite dimensional central division algebras over the field. One of the important achievements of algebra and number theory in the last century is the determination of Br(Q), the Brauer group of rational numbers. The aim of this dissertation is to review this project, i.e., determining Br(Q). There are three main steps. The first step is to determine Br(R), the Brauer group of real numbers. The second step is to identify Br(k_\nu), the Brauer group of the local fields. The third step is to construct two maps Br(Q) to Br(R) and Br(Q) to Br(Q_p) and to use these two maps to understand Br(Q). This dissertation completed the first two steps of this enormous project. To the author's knowledge, in literature there is no document including all the details of determining Br(Q) and most of them are written from a advanced perspective that requires the knowledge of class field theory and cohomology. The goal of this document is to develop the result in a relatively elementary way. The project mainly follows the logic of the book [6], but significant amount of details are added and some proofs are originated by the author, for example, 1.2.6, 1.4.2(ii), 4.2.6, and maximality and uniqueness of 5.5.12.

Rings and Algebras,Group Theory,History and Overview,Number Theory

Comparison of arithmetic Brauer groups with geometric Brauer groups

On geometric Brauer groups and Tate-Shafarevich groups

On the Brauer groups of fibrations

On p-torsions of geometric Brauer groups

On the Brauer groups of fibrations II

Computing the equivariant Brauer group

On the Cuspidal Cohomology of Arithmetic Groups

A $p$-adic local invariant cycle theorem with applications to Brauer groups

Remarks on $p$-primary torsion of the Brauer group

Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Evaluating the wild Brauer group

Relative Brauer groups of genus 1 curves

Arithmetic Restrictions on Geometric Monodromy

Some remarks on Brauer Classes of K3-type

On Brauer groups of tame stacks

Boundedness of the p-primary torsion of the Brauer group of products of varieties

Comparison of different Tate conjectures

Two improvements in Brauer's theorem on forms

The Brauer Group of Rational Numbers