The non-existence of \(D(-1)\)-quadruples extending certain pairs in imaginary quadratic rings (Q6057429)

The authors extend several recent results from \textit{Y. Fujita} and \textit{I. Soldo} [Publ. Math. Debr. 100, No. 1--2, 49--67 (2022; Zbl 1499.11162)]. They prove, among others, the following theorems. \par \textbf{Theorem 3.} \textit{Let \(k\) be a non-square integer \(k\geq 2\) and \(a,b\) positive integers with \[ a < b < 16a^2 - a - 2 + 2\sqrt{k(8a^2 + 3a + 1)}. \] Then, there does not exist a \(D(-1)\)-quadruple \(\{a,b,c,d\}\) in \(\mathbb{Z}[\sqrt{-k}]\) with \(c,d\) satisfying \(d < 0 < c\). } \par \textbf{Theorem 4.} \textit{Let \(k\) be a non-square integer with \(k\geq 2\) and \(a,b\) positive integers with \(a < b \leq 8a-3\). Then, there does not exist a \(D(-1)\)-quadruple \(\{a,b,c,d\}\) in \(\mathbb{Z}[\sqrt{-k}]\) with \(c\), \(d\) integers. } \par \textbf{Theorem 5.} \textit{Let \(i\) be a non-negative integer, \(j\) a positive integer, \(k\) a non-square integer \(k\geq 2\) and \(p,q\) primes with \(p^i < q^j \leq 8p^i - 3\). Then, there does not exist a \(D(-1)\)-quadruple of the form \(\{p^i,q^j,c,d\}\) in \(\mathbb{Z}[\sqrt{-k}]\). } \par For Theorems 4 and 5 to be valid, it was crucial to prove Theorem 3. To do that, the authors transform the problem into the system of simultaneous Pellian equations, and apply the Padé approximation method.