Related papers: Superficies el\'ipticas y el d\'ecimo problema de …

We give the first examples of infinite sets of primes S such that Hilbert's Tenth Problem over Z[S^{-1}] has a negative answer. In fact, we can take S to be a density 1 set of primes. We show also that for some such S there is a punctured…

We consider the Dirichlet problem for solutions to general second-order homogeneous elliptic equations with constant complex coefficients. We prove that any Jordan domain with $C^{1,\alpha}$-smooth boundary, $0<\alpha<1$, is not regular…

Let $\ell$ and $p$ be (not necessarily distinct) prime numbers and $F$ be a global function field of characteristic $\ell$ with field of constants $\kappa$. Assume that there exists a prime $P_\infty$ of $F$ which has degree $1$, and let…

Let K be an algebraic function field of characteristic 2 with constant field C_K. Let C be the algebraic closure of a finite field in K. Assume that C has an extension of degree 2. Assume that there are elements u,x of K with u…

Let $E/F$ be an elliptic curve over a number field $F$ with complex multiplication by the ring of integers in an imaginary quadratic field $K$. We give a complete proof of the conjecture of Birch and Swinnerton-Dyer for $E/F$, as well as…

The Erd\H{o}s similarity conjecture asserted that an infinite set of real numbers cannot be affinely embedded into every measurable set of positive Lebesgue measure. The problem is still open, in particular for all fast decaying sequences.…

We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the…

In this paper, under very general assumptions, we prove existence and regularity of distributional solutions to homogeneous Dirichlet problems of the form $$\begin{cases} \displaystyle - \Delta_{1} u = h(u)f & \text{in}\, \Omega,\newline…

Diophantine approximation is the problem of approximating a real number by rational numbers. We propose a version of this in which the numerators are approximately related to the denominators by a Laurent polynomial. Our definition is…

We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then…

Let (X,d) be a metric space and (\Omega, d) a compact subspace of X which supports a non-atomic finite measure m. We consider `natural' classes of badly approximable subsets of \Omega. Loosely speaking, these consist of points in \Omega…

This paper is concerned with the Dirichlet problem for an equation involving the 1--Laplacian operator $\Delta_1 u$ and having a singular term of the type $\frac{f(x)}{u^\gamma}$. Here $f\in L^N(\Omega)$ is nonnegative, $0<\gamma\le1$ and…

The $p$-adic Littlewood Conjecture due to De Mathan and Teuli\'e asserts that for any prime number $p$ and any real number $\alpha$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle m\alpha \rangle|\, =\, 0 $$ holds. Here, $|m|$…

For orbifolds admitting a crepant resolution and satisfying a hard Lefschetz condition, we formulate a conjectural equivalence between the Gromov-Witten theories of the orbifold and the resolution. We prove the conjecture for the…

We settle the issue of well-posedness for the Dirichlet problem for a higher order elliptic system ${\mathcal L}(x,D_x)$ with complex-valued, bounded, measurable coefficients in a Lipschitz domain $\Omega$, with boundary data in Besov…

An inverse problem of finding an obstacle and the boundary condition on its surface from the fixed-energy scattering data is studied. A new method is developed for a proof of the uniqueness results. The method does not use the discreteness…

We observe that there are elliptic curves over number fields all of whose quadratic twists must have positive rank, assuming the Birch-Swinnerton-Dyer conjecture. We give a classification of such curves in terms of their local behaviour,…

With view to applications, we establish a correspondence between two problems: (i) the problem of finding continuous positive definite extensions of functions $F$ which are defined on open bounded domains $\Omega$ in $\mathbb{R}$, on the…

In this paper we first review the history of Hilbert's Tenth Problem, and then study mixed quantifier prefixes over Diophantine equations with integer variables. For example, we prove that $\forall^2\exists^4$ over $\mathbb Z$ is…

A classical regularity result is that non-negative solutions to the Dirichlet problem $\Delta u =f$ in a bounded domain $\Omega$, where $f\in L^q(\Omega)$, $q>\frac{n}2$, satisfy $\|u\|_{L^\infty(\Omega)} \leq C\|f\|_{L^q(\Omega)}$. We…