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 Q is Diophantine in Q(z). We provide a positive answer conditional on two standard conjectures on elliptic surfaces.