Diophantine definability of nonnorms of cyclic extensions of global fields

Travis Morrison

We show that for any square-free natural number $n$ and any global field $K$ with $(\text{char}(K),n)=1$ containing the $n$th roots of unity, the pairs $(x,y)\in K^{\ast }\times K^{\ast }$ su…