Effective methods for norm-form equations (Q6084194)

Let \(\alpha_1\ldots,\alpha_k\) be linearly independent elements of a number field \(K\) let \(0\ne m\in\mathbb Z\) and consider the norm form equation \[ N_{K/\mathbb Q}(x_1\alpha_1+\ldots x_k\alpha_k)=m \] in \(x_1\ldots x_k\in\mathbb Z\). \textit{W. M. Schmidt} [Ann. Math. (2) 96, 526--551 (1972; Zbl 0226.10024)] described when such a norm form equation has only finitely many solutions and the structure of solutions in case of infinitely many solutions. Some authors provided effective solutions to some restricted families of norm form equations. \textit{ P. Vojta} [Integral points on varieties. Cambridge: Harvard University (PhD Thesis) (1983)] gave effective solutions in case \(n=3\), if \(K\) is totally complex and the ratios \(\alpha_j/\alpha_k\) generate \(K\) over \(\mathbb Q\). In the present paper the author proves that for \(n=6\), if \(K\) is a totally complex Galois field such that the ratios \(\alpha_j/\alpha_k\) generate \(K\) over \(\mathbb Q\), then the solutions of the norm form equation can be effectively determined. Further, the author proves the effective solvability of norm form equations of type \[ N_{K/\mathbb Q}(x_1+x_2\alpha+x_3\alpha^2+x_4\alpha^3)=m, \] where \(K=\mathbb Q(\alpha)\) is a totally complex Galois field of degree \(\ge 6\). The author uses Baker type inequalities for linear forms in the logarithms of algebraic numbers by \textit{E. M. Matveev} [Izv. Math. 64, No. 6, 1217--1269 (2000; Zbl 1013.11043); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 64, No. 6, 125--180 (2000)]. Note that to solve effectively such an equation yields to provide an upper bound for the solutions such that there are only finitely many possible values of the solutions under the bound. These bounds obtained by Baker's method are far too huge to allow to determine all solutions in practice.