Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological Brauer-Grothendieck group of $X$ and $Br_0(X)$ the image of $Br(k)$ in $Br(X)$. We write $Br_1(X)$ for the subgroup of elements in $Br(X)$ that become trivial after replacing $k$ by its algebraic closure.
We prove that $Br(X)/Br_0(X)$ is finite if $X$ is a $K3$ surface. When $X$ is (a principal homogeneous space of) an abelian variety over $k$ then we prove that $Br(X)/Br_1(X)$ is finite.
Let $k$ be a field finitely generated over the finite field $\mathbb F_p$ of odd characteristic $p$. For any K3 surface $X$ over $k$ we prove that the prime to $p$ component of the cokernel of the natural map $Br(k)\to Br(X)$ is finite.
The Tate conjecture for divisors on varieties over number fields is equivalent to finiteness of $\ell$-primary torsion in the Brauer group. We show that this finiteness is actually uniform in one-dimensional families for varieties that satisfy the Tate conjecture for divisors -- e.g. abelian varieties and $K3$ surfaces.
For a K3 surface over a field of characteristic 2 which is finitely generated over its prime subfield, we prove that the cokernel of the natural map from the Brauer group of the base field to that of the K3 surface is finite modulo the 2-primary torsion subgroup. In characteristic different from 2, such results were previously proved by A. N. Skorobogatov and Y. G. Zarhin. We basically follow their methods with an extra care in the case of superspecial K3 surfaces using the recent results of W. Kim and K. Madapusi Pera on the Kuga-Satake construction and the Tate conjecture for K3 surfaces in …
We investigate the question of whether the existence of a family of local zero-cycles of degree $d$ orthogonal to the Brauer group implies the non-emptiness of the Brauer-Manin set for certain varieties. We provide various examples of Brauer-Manin obstruction to the existence of zero-cycles of appropriate degrees.
We study Kummer varieties attached to 2-coverings of abelian varieties of arbitrary dimension. Over a number field we show that the subgroup of odd order elements of the Brauer group does not obstruct the Hasse principle. Sufficient conditions for the triviality of the Brauer group are given, which allow us to give an example of a Kummer K3 surface of geometric Picard rank 17 over the rationals with trivial Brauer group. We establish the non-emptyness of the Brauer--Manin set of everywhere locally soluble Kummer varieties attached to 2-coverings of products of hyperelliptic Jacobians with larg…
Let $X$ and $Y$ be smooth and projective varieties over a field $k$ finitely generated over $\mathbb Q$, and let $\ov X$ and $\ov Y$ be the varieties over an algebraic closure of $k$ obtained from $X$ and $Y$, respectively, by extension of the ground field. We show that the Galois invariant subgroup of $\Br(\ov X)\oplus \Br(\ov Y)$ has finite index in the Galois invariant subgroup of $\Br(\ov X\times\ov Y)$. This implies that the cokernel of the natural map $\Br(X)\oplus\Br(Y)\to\Br(X\times Y)$ is finite when $k$ is a number field. In this case we prove that the Brauer-Manin set of the product…
Nous montrons comment associer à une gerbe définie sur un corps de nombres une obstruction de Brauer-Manin mesurant, comme dans le cas des variétés, le défaut d'existence d'une section globale. Ceci nous conduit à une généralisation de la dualité de Tate-Poitou au cas non-abélien. We find a way to associate to a gerbe defined over a number field a Brauer-Manin obstruction, which measures, as for varieties, the defect to the existence of a global section. This leads us to a generalization of Tate-Poitou duality in the non-abelian case.
We study the Brauer-Manin obstruction to the existence of zero-cycles of degree $d$ on certain classes of varieties over number fields. We generalise existing results in the literature and prove some results about fibrations over the projective line, where the geometric Brauer group of the generic fibre is not assumed to be finite. The idea is to assume that the Brauer-Manin obstruction to the Hasse principle is the only one for certain fibres and then deduce analogous results for zero-cycles.
We prove that for a large class of subvarieties of abelian varieties over global function fields, the Brauer-Manin condition on adelic points cuts out exactly the rational points. This result is obtained from more general results concerning the intersection of the adelic points of a subvariety with the adelic closure of the group of rational points of the abelian variety.
Recently Dasheng Wei proved that the Brauer-Manin obstruction is the only obstruction to the Hasse principle for 0-cycles of degree 1 on some fibrations over the projective line defined by bi-cyclic normic equations. In the present paper, we prove the exactness of the global-to-local sequence for Chow groups of 0-cycles of such varieties, which signifies that the Brauer-Manin obstruction is also the only obstruction to weak approximation for 0-cycles of arbitrary degree. Our main theorem also generalizes several existing results.
J. Stix proved that a curve of positive genus over $\mathbb{Q}$ which maps to a non-trivial Brauer-Severi variety satisfies the section conjecture. We prove that, if $X$ is a curve of positive genus over a number field $k$ and the Weil restriction $R_{k/\mathbb{Q}}X$ admits a rational map to a non-trivial Brauer-Severi variety, then $X$ satisfies the section conjecture. As a consequence, if $X$ maps to a Brauer-Severi variety $P$ such that the corestriction $\operatorname{cor}_{k/\mathbb{Q}}([P])\in\operatorname{Br}(\mathbb{Q})$ is non-trivial, then $X$ satisfies the section conjecture.
We generalize the results of Skorobogatov and Zarhin considering the commutativity of Brauer groups (and Brauer-Manin sets) with taking product of two varieties, by relaxing the condition that varieties are projective.
We consider higher-dimensional analogues of the classical Brauer-Siegel theorem focusing on the case of abelian varieties over global function fields. We prove such an analogue in the case of constant families of elliptic curves and abelian varieties.
Let K be a field. Let A be a central simple algebra over K and let X be the associated Brauer-Severi variety over K. It has recently been asked if there exists a genus 1 curve C over K such that K(C) splits A. In other words, is there a genus one curve C over K with a morphism to X? In this short note, we explicitly construct such a curve in the case where X has dimension at most 4 (equivalently, when A has degree at most 5).
In this paper we give an algorithm for computing equations of Brauer-Severi varieties over perfect fields of characteristic 0. As an example we show the equations of all Brauer-Severi surfaces defined over $\mathbb{Q}$.
Strong approximation with Brauer-Manin obstruction is established for smooth varieties containing a connected linear algebraic group with a compatible action.
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.
In this note we provide explicit generators of the Picard groups of cyclic Brauer-Severi varieties defined over the base field. In particular, for all Brauer-Severi surfaces. To produce these generators we use the Twisting Theory for smooth plane curves.
We provide a relation between Brauer-Manin obstruction and descent obstruction for torsors over open varieties under a connected linear algebraic group or a group of multiplicative type is given. Such a relation is further refined for torsors under a torus. As an appliaction, we prove that the semi-simple part of a connected linear algebraic group will satisfy strong approximation with Brauer-Manin obstruction if G iteself satisfies strong approximation with Brauer-Manin obstruction.The equivalence between descent obstruction and etale Brauer-Manin obstruction for smooth projective varieties i…
We wish to give a short elementary proof of S. Saito's result that the Brauer-Manin obstruction for zero-cycles of degree 1 is the only one for curves, supposing the finiteness of the Tate-Shafarevich-group $\sha^1(A)$ of the Jacobian variety. In fact we show that we only need a conjecturally finite part of the Brauer-group for this obstruction to be the only one. We also comment on the situation in higher dimensions
We study the evaluation maps given by elements of the Brauer group of varieties over local fields. We show constancy of the aforementioned maps in several interesting cases.
Let $X$ be a smooth projective variety with a fibration into varieties that either satisfy a condition on representability of zero-cycles or that are torsors under an abelian variety. We study the classes in the Brauer group that never obstruct the Hasse principle for $X$. We prove that if the generic fiber has a zero-cycle of degree $d$ over the generic point, then the Brauer classes whose orders are prime to $d$ do not play a role in the Brauer--Manin obstruction. As a result we show that the odd torsion Brauer classes never obstruct the Hasse principle for del Pezzo surfaces of degree 2, ce…
Suppose $X$ is a torsor under an abelian variety $A$ over a number field. We show that any adelic point of $X$ that is orthogonal to the algebraic Brauer group of $X$ is orthogonal to the whole Brauer group of $X$. We also show that if there is a Brauer-Manin obstruction to the existence of rational points on $X$, then there is already an obstruction coming from the locally constant Brauer classes. These results had previously been established under the assumption that $A$ has finite Tate-Shafarevich group. Our results are unconditional.
We consider the problem of counting the number of varieties in a family over a number field which contain a rational point. In particular, for products of Brauer-Severi varieties and closely related counting functions associated to Brauer group elements. Using harmonic analysis on toric varieties, we provide a positive answer to a question of Serre on such counting functions in some cases. We also formulate some conjectures on generalisations of Serre's problem.
Let r > 0 be an integer. We present a sufficient condition for an abelian variety A over a number field k to have infinitely many quadratic twists of rank at least r, in terms of density properties of rational points on the Kummer variety Km(A^r) of the r-fold product of A with itself. One consequence of our results is the following. Fix an abelian variety A over k, and suppose that for some r > 0 the Brauer-Manin obstruction to weak approximation on the Kummer variety Km(A^r) is the only one. Then A has a quadratic twist of rank at least r. Hence if the Brauer-Manin obstruction is the only on…
We produce a partial compactification of the variety given by P(t)=N_{K/k}(\mathbf z) whose Brauer group coincides with the unramified Brauer group, where K is an étale k-algebra and P(t)\in k[t] is a nonconstant polynomial. Then we obtain a systematic method to compute the unramified Brauer group for all such varieties.
Two number fields are said to be Brauer equivalent if there is an isomorphism between their Brauer groups that commutes with restriction. In this paper we prove a variety of number theoretic results about Brauer equivalent number fields (e.g., they must have the same signature). These results are then applied to the geometry of certain arithmetic locally symmetric spaces. As an example, we construct incommensurable arithmetic locally symmetric spaces containing exactly the same set of proper immersed totally geodesic surfaces.
This is a textbook on arithmetic geometry with special regard to unramified Brauer groups of algebraic varieties. The topics include Galois cohomology, Brauer groups, obstructions to stable rationality, arithmetic and geometry of quadrics, Weil restriction of scalars, algebraic tori, an example of a stably rational non-rational variety, Brauer-Manin obstruction. All material is split into locally trivial problems with detailed hints.
Let X be a smooth variety over a number field k embedded as a degree d subvariety of $\mathbb{P}^n$ and suppose that X is a counterexample to the Hasse principle explained by the Brauer-Manin obstruction. We consider the question of whether the obstruction is given by the d-primary subgroup of the Brauer group, which would have both theoretic and algorithmic implications. We prove that this question has a positive answer in the case of torsors under abelian varieties, Kummer surfaces and (conditional on finiteness of Tate-Shafarevich groups) bielliptic surfaces. For Kummer varieties we show th…
For a smooth proper variety over a $p$-adic field, the Brauer group and abelian fundamental group are related to the higher Chow groups by the Brauer-Manin pairing and the class field theory. We generalize this relation to smooth (possibly non-proper) varieties, using the motivic homology and the tame version of Wiesend's ideal class group. Several examples are discussed.
Hindry has proposed an analogue of the classical Brauer-Siegel theorem for abelian varieties over global fields. Roughly speaking, it says that the product of the regulator of the Mordell-Weil group and the order of the Tate-Shafarevich group should have size similar to the exponential differential height. Hindry-Pacheco and Griffon have proved this for certain families of elliptic curves over function fields using analytic techniques. Our goal in this work is to prove similar results by more algebraic arguments, namely by a direct approach to the Tate-Shafarevich group and the regulator. We r…
Let D be a finite-dimensional central division algebra over a field K. We define the genus gen(D) of D to be the collection of classes in the Brauer group of K represented by central division K-algebras D' having the same maximal subfields as D. In this paper, we describe a general approach to proving the finiteness of gen(D) and estimating its size that involves the unramified Brauer group with respect to an appropriate set of discrete valuations of K.
We show that Colliot-Thélène's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary fields of transcendence degree 1 over the rational numbers.
We use lattice theory to study the isogeny class of a K3 surface. Starting from isotropic Brauer classes, we construct isogenies via Kneser method of neighboring lattices. We also determine the fields of definition of isogenous K3 surfaces, and study Kneser construction over number fields. We then apply our results to relate conjectures about the finiteness of Brauer groups and Néron-Severi lattices of K3 surfaces.
Zero-cycles are conjectured to satisfy weak approximation with Brauer-Manin obstruction for proper smooth varieties defined over number fields. Roughly speaking, we prove that the conjecture is compatible for products of rationally connected varieties, K3 surfaces, Kummer varieties, and one curve.
Let F be a global field. In this work, we show that the Brauer-Manin condition on adelic points for subvarieties of a torus T over F cuts out exactly the rational points, if either F is a function field or, if F is the field of rational numbers and T is split. As an application, we prove a conjecture of Harari-Voloch over global function fields which states, roughly speaking, that on any rational hyperbolic curve, the local integral points with the Brauer-Manin condition are the global integral points. Finally we prove for tori over number fields a theorem of Stoll on adelic points of zero-dim…
The endomorphism ring End(A) of an abelian variety A is an order in a semi-simple algebra over Q. The co-index of End(A) is the index to a maximal order containing it. We show that for abelian varieties of fixed dimension over any algebraically closed field of characteristic p>0, the p-exponents of the co-indices of their endomorphism rings are bounded. We also give a few applications to this finiteness result.
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
We relate the Brauer group of a smooth variety over a p-adic field to the geometry of the special fibre of a regular model, using the purity theorem in étale cohomology. As an illustration, we describe how the Brauer group of a smooth del Pezzo surface is determined by the singularity type of its reduction. We then relate the evaluation of an element of the Brauer group to the existence of points on certain torsors over the special fibre; we use this to describe situations when the evaluation is constant, and situations when the evaluation is surjective. In the latter case, we describe how thi…
