Existence of rational points on smooth projective varieties
For any abelian variety J over a global field k and an isogeny ϕ: J → J, the Selmer group is a subgroup of the Galois cohomology group , defined in terms of local data. When J is the Jacobian of a cyclic cover of ℙ¹ of prime degree p, the Selmer group has a quotient by a subgroup of order at most p that is isomorphic to the ‘fake Selmer group’, whose definition is more amenable to explicit computations. In this paper we define in the same setting the ‘explicit Selmer group’, which is isomorphic...
Given a multivariate polynomial with integral coefficients verifying an hypothesis of analytic regularity (and satisfying ), we determine the maximal domain of meromorphy of the Euler product and the natural boundary is precisely described when it exists. In this way we extend a well known result for one variable polynomials due to Estermann from 1928. As an application, we calculate the natural boundary of the multivariate Euler products associated to a family of toric varieties.
Given any global field of characteristic , we construct a Châtelet surface over that fails to satisfy the Hasse principle. This failure is due to a Brauer-Manin obstruction. This construction extends a result of Poonen to characteristic , thereby showing that the étale-Brauer obstruction is insufficient to explain all failures of the Hasse principle over a global field of any characteristic.
Grauert and Manin showed that a non-isotrivial family of compact complex hyperbolic curves has finitely many sections. We consider a generic moving enough family of high enough degree hypersurfaces in a complex projective space. We show the existence of a strict closed subset of its total space that contains the image of all its sections.