Abstract:Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that $d \equiv 2 \pmod 4$ is a positive integer such that $x^2 - dy^2 = -1$ and $x^2 - dy^2 = 6$ are solvable in integers. In this paper, we prove the existence of infinitely many $D(n)$-quadruples in $\mathbb{Z}[\sqrt{d}]$ for $n = 4m + 4k\sqrt{d}$ with $m, k \in \mathbb{Z}$ satisfying $m \not\equiv 5 \pmod{6}$ and $k \not\equiv 3 \pmod{6}$. Moreover, we prove the same for $n = (4m + 2) + 4k\sqrt{d}$ when either $m \not\equiv 9 \pmod{12}$ and $k \not\equiv 3 \pmod{6}$, or $m \not\equiv 0 \pmod{12}$ and $k \not\equiv 0 \pmod{6}$. At the end, some examples supporting the existence of quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ for the above exceptional $n$'s are provided for $d = 10$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of Diophantine D(n)-quadruples in a specific form. Specifically, the authors explore whether there are infinitely many quadruples with the property D(n) for certain forms of \(n\) in the quadratic integer ring \(\mathbb{Z}[\sqrt{d}]\).
### Problem Background
A Diophantine m - tuple refers to a set of \(m\) distinct positive integers \(\{a_1, a_2,\ldots, a_m\}\) such that for any \(1\leq i < j\leq m\), \(a_i a_j + n\) is a perfect square. In particular, when \(n = 1\), such an m - tuple is called a Diophantine m - tuple.
In this paper, the authors focus on whether there are infinitely many quadruples with the property D(n) for a given \(n\in\mathbb{Z}[\sqrt{d}]\) in the quadratic integer ring \(\mathbb{Z}[\sqrt{d}]\). Specifically, they consider the case where \(d\equiv 2\pmod{4}\) and assume that the following two Pell equations are solvable in the integers:
\[x^2 - dy^2=- 1\tag{1.1}\]
\[x^2 - dy^2 = 6\tag{1.2}\]
### Main Results
The authors prove that for \(n\) in a specific form, there are infinitely many D(n)-quadruples. Specifically:
1. **Theorem 1.1**: Suppose \(d\equiv 2\pmod{4}\) is a positive square - free integer, and equations (1.1) and (1.2) are solvable in the integers. Let \(n=(4m,4k)\), where \(m,k\in\mathbb{Z}\) satisfy \((m,k)\not\equiv(5,3)\pmod{(6,6)}\). Then there are infinitely many D(n)-quadruples in \(\mathbb{Z}[\sqrt{d}]\).
2. **Theorem 1.2**: Suppose \(d\) is as described in Theorem 1.1. Then for \(n=(4m + 2,4k)\), where \(m,k\in\mathbb{Z}\), and \((m,k)\not\equiv(9,3),(0,0)\pmod{(12,6)}\), there are also infinitely many D(n)-quadruples in \(\mathbb{Z}[\sqrt{d}]\).
### Methods and Techniques
The authors use some existing lemmas and techniques to prove these results, such as:
- **Lemma 2.1**: If \(\{a_1,a_2,a_3,a_4\}\) is a D(n)-quadruple, then for any non - zero \(w\in\mathbb{Z}[\sqrt{d}]\), the set \(\{wa_1,wa_2,wa_3,wa_4\}\) is a D(w^2n)-quadruple.
- **Lemma 2.2**: Provides specific conditions for constructing D(n)-quadruples.
- **Lemma 2.3 and Lemma 2.4**: Used to handle specific algebraic structures and verify the non - zero and distinctness of elements.
Through these lemmas and techniques, the authors discuss in detail the forms of \(n\) in different cases and finally prove the above main results.
### Conclusion
This paper solves the problem in a specific quadratic integer ring \(\mathbb{Z}[\sqrt{d}]\) for some special forms of \(n\)