A Diophantine definition of the constants in $\mathbb{Q}(z)$

Abstract

It is an old problem in the area of Diophantine definability to determine whether $\mathbb{Q}$ is Diophantine in $\mathbb{Q}(z)$. We provide a positive answer conditional on two standard conjectures on elliptic surfaces.