Related papers: Thue equations and CM-fields
Let $F \in \mathbb Z[x, y]$ be an irreducible binary form of degree $d \geq 7$ and content one. Let $\alpha$ be a root of $F(x, 1)$ and assume that the field extension $\mathbb Q(\alpha)/\mathbb Q$ is Galois. We prove that, for every…
Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $\epsilon\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $\epsilon^a$ of $\epsilon$, ($a\in{\mathbf Z}$), we…
Let $r,h\in\mathbb{N}$ with $r\geq 7$ and let $F(x,y)\in \mathbb{Z}[x ,y]$ be a binary form such that \[ F(x , y) =(\alpha x + \beta y)^r -(\gamma x + \delta y)^r, \] where $\alpha$, $\beta$, $\gamma$ and $\delta$ are algebraic constants…
We consider and completely solve the parametrized family of Thue equations \begin{eqnarray*}X(X-Y)(X+Y)(X-\lambda Y)+Y^4=\xi,\end{eqnarray*} where the solutions $x,y$ come from the ring $\mathbb{C}[T]$, the parameter…
Twisting a binary form $F_0(X,Y)\in{\mathbb{Z}}[X,Y]$ of degree $d\ge 3$ by powers $\upsilon^a$ ($a\in{\mathbb{Z}}$) of an algebraic unit $\upsilon$ gives rise to a binary form $F_a(X,Y)\in{\mathbb{Z}}[X,Y]$. More precisely, when $K$ is a…
Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the…
We consider hyper- and superelliptic equations $f(x)=by^m$ with unknowns x,y from the ring of S-integers of a given number field K. Here, f is a polynomial with S-integral coefficients of degree n with non-zero discriminant and b is a…
In this paper we completely solve a simple quartic family of Thue equations over $\mathbb{C}(T)$. Specifically, we apply the ABC-Theorem to find all solutions $(x,y) \in \mathbb{C}[T] \times \mathbb{C}[T]$ to the set of Thue equations…
E. Thomas was one of the first to solve an infinite family of Thue equations, when he considered the forms $F_n(X, Y )= X^3 -(n-1)X^2Y -(n+2)XY^2 -Y^3$ and the family of equations $F_n(X, Y )=\pm 1$, $n\in {\mathbf N}$. This family is…
Let $K$ be a number field of degree $d\geq 3$ and fix $s$ multiplicatively independent algebraic integers $\gamma_1, \dots, \gamma_s \in K^*$ that fulfil some technical requirements, which can be vastly simplified to $\mathbb{Q}$-linearly…
Following a method originally due to Siegel, we establish upper bounds for the number of primitive integer solutions to inequalities of the shape $0<|F(x, y)| \leq h$, where $F(x , y) =(\alpha x + \beta y)^r -(\gamma x + \delta y)^r \in…
Let $h(x,y)$ be a non-degenerate binary cubic form with integral coefficients, and let $S$ be an arbitrary finite set of prime numbers. By a classical theorem of Mahler, there are only finitely many pairs of relatively prime integers $x,y$…
Let $K$ be a number field, let $S$ be a finite set of places of $K$ containing the archimedean places and let $\mu$, $\alpha_1,\alpha_2,\alpha_3$ be non--zero elements in $K$. Denote by $\OS$ the ring of $S$--integers in $K$ and by…
We address univariate root isolation when the polynomial's coefficients are in a multiple field extension. We consider a polynomial $F \in L[Y]$, where $L$ is a multiple algebraic extension of $\mathbb{Q}$. We provide aggregate bounds for…
Let $F(X,Y)=\sum\limits_{i=0}^sa_iX^{r_i}Y^{r-r_i}\in\mathbb{Z}[X,Y]$ be a form of degree $r=r_s\geq 3$, irreducible over $\mathbb{Q}$ and having at most $s+1$ non-zero coefficients. Mueller and Schmidt showed that the number of solutions…
Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…
Thue equations and their relative and inhomogeneous extensions are well known in the literature. There exist methods, usually tedious methods, for the complete resolution of these equations. On the other hand our experiences show that such…
In this paper, we investigate the common index divisors of cyclic cubic fields. Let $a,b,c,d$ and $k$ are integers, we then solve the following Thue cubic equations:: \[ax^3+bx^2y+cxy^2+dy^3= k\ \] when $a,bc+d$ are odd and $3$ doesn't…
Integral Cauchy theorem is used to derive closed-form expressions of the roots of a univariate polynomial of any degree as integrals of elementary functions.
We obtain upper bounds for the multiplicity of an isolated solution of a system of equations $f_1=...= f_M =0$ in $M$ variables, where the set of polynomials $(f_1,..., f_M)$ is a tuple of general position in a subvariety of a given…