We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation". This property can be viewed as a special kind of overconvergence property. One can also go in the opposite direction by using differential functions that arise in a ramified situation to construct "new" (unramified) differential functions.

We present an overview of recent advances in diophantine approximation. Beginning with Roth's theorem, we discuss the Mordell conjecture and then pass on to recent higher dimensional results due to Faltings-Wustholz and to Faltings respectively.

A Diophantine $m$-tuple is a set of $m$ positive integers such that the product of any two of them is one less than a perfect square. In this paper we study some properties of elliptic curves of the form $y^2=(ax+1)(bx+1)(cx+1)$, where $\{a,b,c\}$, is a Diophantine triple. In particular, we consider the elliptic curve $E_k$ defined by the equation $y^2=(F_{2k}x+1)(F_{2k+2}x+1)(F_{2k+4}x+1),$ where $k\ge 2$ and $F_n$, denotes the $n$-th Fibonacci number. We prove that if the rank of $E_k\left(𝐐\right)$ is equal to one, or $k\le 50$, then all integer points on $E_k$ are given by$$\begin{array}{c}(x,y)\in \{(0\pm 1),(4F_{2k+1}{F}_{2k+2}{F}_{2k+3}\pm \left(2F_{2k+1}{F}_{2k+2}-1\right)\hfill \\ \hfill \times \left(2F_{2k+2}^2+1\right)\left(2F_{2k+2}{F}_{2k+3}+1\right)\}.\end{array}$$

Let $K$ be a one-variable function field over a field of constants of characteristic 0. Let $R$ be a holomorphy subring of $K$, not equal to $K$. We prove the following undecidability results for $R$: if $K$ is recursive, then Hilbert’s Tenth Problem is undecidable in $R$. In general, there exist $x_1,...,x_n\in R$ such that there is no algorithm to tell whether a polynomial equation with coefficients in $\mathbb{Q}(x_1,...,x_n)$ has solutions in $R$.

We prove a new lower bound for the height of points on a subvariety $V$ of a multiplicative torus, which lie outside the union of torsion subvarieties of $V$. Although lower bounds for the heights of these points where already known (decreasing multi-exponential function of the degree for Scmhidt and Bombieri–Zannier, [Sch], [Bo-Za], and inverse monomial in the degree by the second author of this note and P. Philippon, [Da-Phi]), our method provesup to an $\epsilon$ the sharpest conjectures that can be formulated....

We discuss the distribution of Mordell-Weil ranks of the family of elliptic curves y² = (x + αf²)(x + βbg²)(x + γh²) where f,g,h are coprime polynomials that parametrize the projective smooth conic a² + b² = c² and α,β,γ are elements from ℚ̅. In our previous papers we discussed certain special cases of this problem and in this article we complete the picture by proving the general results.