No Arabic abstract
Let f:X->X be a morphism of a variety over a number field K. We consider local conditions and a Bruaer-Manin condition, defined by Hsia and Silverman, for the orbit of a point P in X(K) to be disjoint from a subvariety V of X, i.e., the intersection of the orbit of P with V is empty. We provide evidence that the dynamical Brauer-Manin condition is sufficient to explain the lack of points in the intersection of the orbit of P with V; this evidence stems from a probabilistic argument as well as unconditional results in the case of etale maps.
Let k be a perfect field of characteristic p>0. We prove the existence of ascending and descending slope filtrations for Shimura p-divisible objects over k. We use them to classify rationally these objects over bar k. Among geometric applications, we mention two. First we formulate Manin problems for Shimura varieties of Hodge type. We solve them if either pGe 3 or p=2 and two mild conditions hold. Second we formulate integral Manin problems. We solve them for certain Shimura varieties of PEL type.
Let $k$ be a number field. We give an explicit bound, depending only on $[k:mathbf{Q}]$ and the discriminant of the N{e}ron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of isogenous CM elliptic curves. As an application, we show that the Brauer--Manin set for such a variety is effectively computable. Conditional on the Generalised Riemann Hypothesis, we also give an explicit bound, depending only on $[k:mathbf{Q}]$, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of CM elliptic curves. In addition, we show how to obtain a bound, depending only on $[k:mathbf{Q}]$, on the number of $mathbf{C}$-isomorphism classes of singular K3 surfaces defined over $k$, thus proving an effective version of the strong Shafarevich conjecture for singular K3 surfaces.
We construct unramified central simple algebras representing 2-torsion classes in the Brauer group of a hyperelliptic curve, and show that every 2-torsion class can be constructed this way when the curve has a rational Weierstrass point or when the base field is C_1. In general, we show that a large (but in general proper) subgroup of the 2-torsion classes are given by the construction. Examples demonstrating applications to the arithmetic of hyperelliptic curves defined over number fields are given.
We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem of splitting $mu_N$-gerbes, we use crucial input from the arithmetic of modular curves and explicit $N$-descent on elliptic curves.
Let $Y$ be a principal homogeneous space of an abelian surface, or a K3 surface, over a finitely generated extension of $mathbb{Q}$. In 2008, Skorobogatov and Zarhin showed that the Brauer group modulo algebraic classes $text{Br}, Y/ text{Br}_1, Y$ is finite. We study this quotient for the family of surfaces that are geometrically isomorphic to a product of isogenous non-CM elliptic curves, as well as the related family of geometrically Kummer surfaces; both families can be characterized by their geometric Neron-Severi lattices. Over a field of characteristic $0$, we prove that the existence of a strong uniform bound on the size of the odd-torsion of $text{Br}, Y / text{Br}_1, Y$ is equivalent to the existence of a strong uniform bound on integers $n$ for which there exist non-CM elliptic curves with abelian $n$-division fields. Using the same methods we show that, for a fixed prime $p$, a number field $k$ of fixed degree $r$, and a fixed discriminant of the geometric Neron-Severi lattice, $(text{Br}, Y / text{Br}_1, Y)[p^infty]$ is bounded by a constant that depends only on $p$, $r$, and the discriminant.