Related papers: Approximating rational points on horospherical var…
A conjecture of Manin predicts the distribution of K-rational points on certain algebraic varieties defined over a number field K. In recent years, a method using universal torsors has been successfully applied to several hard special cases…
This paper proves the Hasse principle and weak approximation for varieties defined by the smooth intersection of three quadratics in at least 19 variables, over arbitrary number fields.
Let $X$ be a smooth, projective, geometrically irreducible curve of genus at least two defined over a number field $K$. We prove that there is an algorithm that determines whether $X$ has a $K$-rational point if Grothendieck's section…
Let X be a smooth, projective variety defined over a local field K. Following Manin, two K-points of X are called R-equivalent if they can be joined by a rational curve defined over K. The main result of this note shows that if there are…
Let X be a set definable in a sharply o-minimal structure. We consider the problem of counting the number of points where X intersects algebraic varieties V over Q of dimension k < codim X, as a function of T := deg(V) + h(V), where h(V) is…
We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehensive presentation of the geometrical tools which are…
We study projective varieties $X \subset \mathbb{P}^r$ of dimension $n \geq 2$, of codimension $c \geq 3$ and of degree $d \geq c + 3$ that are of maximal sectional regularity, i.e. varieties for which the Castelnuovo-Mumford regularity…
Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps…
Let $X/K$ be a smooth projective variety defined over a number field, and let $f:X\to{X}$ be a morphism defined over $K$. We formulate a number of statements of varying strengths asserting, roughly, that if there is at least one point…
Manin's conjecture predicts the asymptotic behavior of the number of rational points of bounded height on algebraic varieties. For toric varieties, it was proved by Batyrev and Tschinkel via height zeta functions and an application of the…
For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational…
We explain how one can efficiently determine the (finite) set of rational points on a curve of genus 2 over $\mathbb Q$ with Jacobian variety $J$, given a point $P \in J(\mathbb Q)$ generating a subgroup of finite index in $J(\mathbb Q)$.
We explore an analogue of the Andr\'e-Oort conjecture for subvarieties of Drinfeld modular varieties. The conjecture states that a subvariety $X$ of a Drinfeld modular variety contains a Zariski-dense set of complex multiplication (CM)…
A telegraphic survey of some of the standard results and conjectures about the set $C({\bf Q})$ of rational points on a smooth projective absolutely connected curve $C$ over ${\bf Q}$.
In this paper, we prove an explicit upper bound on the number of rational points on a smooth projective curve of genus at least two over a number field. This gives explicit constants in the uniform Mordell conjecture proposed by Mazur and…
A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove…
In this paper infinite families of examples of irreducible free and nearly free curves in the complex projective plane which are not rational curves and whose local singularites can have an arbitrary number of branches are given. All these…
Let $n>m>k$ be positive integers and let $a,b,c$ be nonzero rational numbers. We consider the reducibility of some special quadrinomials $x^n+ax^m+bx^k+c$ with $n=4$ and 5, which related to the study of rational points on certain elliptic…
We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…
Functions with singularities are notoriously difficult to approximate with conventional approximation schemes. In computational applications, they are often resolved with low-order piecewise polynomials, multilevel schemes, or other types…