Rational solutions of certain Diophantine equations involving norms

Maciej Ulas¹

¹ Institute of Mathematics Faculty of Mathematics and Computer Science Jagiellonian University Łojasiewicza 6 30-348 Kraków, Poland

Acta Arithmetica, Tome 165 (2014) no. 1, pp. 47-56.

Résumé

We present some results concerning the unirationality of the algebraic variety $\mathcal {S}_{f}$ given by the equation $$ N_{K/k}(X_{1}+\alpha X_{2}+\alpha ^2 X_{3})=f(t), $$ where $k$ is a number field, $K=k(\alpha )$, $\alpha $ is a root of an irreducible polynomial $h(x)=x^3+ax+b\in k[x]$ and $f\in k[t]$. We are mainly interested in the case of pure cubic extensions, i.e. $a=0$ and $b\in k\setminus k^{3}$. We prove that if $\deg f=4$ and $\mathcal {S}_{f}$ contains a $k$-rational point $(x_{0},y_{0},z_{0},t_{0})$ with ${f(t_{0})\not =0}$, then $\mathcal {S}_{f}$ is $k$-unirational. A similar result is proved for a broad family of quintic polynomials $f$ satisfying some mild conditions (for example this family contains all irreducible polynomials). Moreover, the unirationality of $\mathcal {S}_{f}$ (with a non-trivial $k$-rational point) is proved for any polynomial $f$ of degree 6 with $f$ not equivalent to a polynomial $h$ satisfying $h(t)=h(\zeta _{3}t)$, where $\zeta _{3}$ is the primitive third root of unity. We are able to prove the same result for an extension of degree 3 generated by a root of the polynomial $h(x)=x^3+ax+b\in k[x]$, provided that $f(t)=t^6+a_{4}t^4+a_{1}t+a_{0}\in k[t]$ with $a_{1}a_{4}\not =0$.

Détail

DOI : 10.4064/aa165-1-3

Keywords: present results concerning unirationality algebraic variety mathcal given equation alpha alpha where number field alpha alpha root irreducible polynomial mainly interested pure cubic extensions setminus prove deg mathcal contains k rational point mathcal k unirational similar result proved broad family quintic polynomials satisfying mild conditions example family contains irreducible polynomials moreover unirationality mathcal non trivial k rational point proved polynomial degree equivalent polynomial satisfying zeta where zeta primitive third root unity able prove result extension degree generated root polynomial provided