I am trying to read [this](http://publications.ias.edu/sites/default/files/Letter%20-%20golden%20gates%20march_0.pdf) letter by Sarnak, where, among other things, he discusses the problem of intrinsic diophantine approximation on $S^3 = \left\{\mathbf{x} \in \mathbb{R}^4 : x\_1^2+x\_2^2+x\_3^2+x\_4^2 = 1\right\}$. In particular, on page 22, he studies diophantine approximation of $S^3$ by points on $S^3(\mathbb{Z}[\tfrac{1}{5}])$. I am aware that the [circle method](https://arxiv.org/pdf/1510.00462.pdf) can be used to obtain these approximations.


My question is as follows: Is there a more direct way to prove that $S^3(\mathbf{Z}[\tfrac{1}{5}])$ is dense in $S^3$? Also, is the statement true if we replace $5$ with any other prime $p \neq 2$?


Edit: Following the comments of Dodd and Wojowu, the condition $p \neq 2$ has been added, since this is clearly necessary.



Diophantine approximation on spheres
Here is a proof that $S(\mathbb{Z}[\frac{1}{p}])$ lies dense in $S^3$ for all primes $p \equiv 1 \pmod{4}$.


Since this is a wholly algebraic/arithmetical question, it is easier to switch to algebro-geometric terminology. We consider the map
$$
\phi \, \colon S^3 \rightarrow \mathbb{A}^1
$$
where $\mathbb{A}^1$ is the affine line, which sends $(x\_1,x\_2,x\_3,x\_4)$ to $x\_1^2+x\_2^2=1-x\_3^2-x\_4^2$.


The fibres of $\phi$ consist of the sets of points $(x\_1,x\_2,x\_3,x\_4)$ with both $x\_1^2+x\_2^2$ and $x\_3^2+x\_4^2$ constant. These fibres have an action of $S^1 \times S^1$ on them, where $S^1$ is the algebraic variety defined by $u^2+v^2=1$ (except I guess for degenerate fibres, which can be safely ignored): namely by interpreting the points of $S^1$ as complex numbers of unit $1$, and interpreting also the tuples $(x\_1,x\_2)$ and $(x\_3,x\_4)$ as complex numbers, and considering complex multiplication, we arrive at the action
$$
((u\_1,v\_1),(u\_2,v\_2)) \circ (x\_1,x\_2,x\_3,x\_4) = (u\_1x\_1-v\_1x\_2,u\_1x\_2+v\_1x\_1,u\_2x\_3-v\_2x\_4,u\_2x\_4+v\_2x\_3)
$$
whose virtue is that the entire orbit of a point in $S^3(\mathbb{Z}[\frac{1}{p}])$ under $(S^1 \times S^1)(\mathbb{Z}[\frac{1}{p}])$ lies wholly in $S^3(\mathbb{Z}[\frac{1}{p}])$, as is clear from the formula.


I first claim that the set $S^1(\mathbb{Z}[\frac{1}{p}])$ lies dense in the set of real points of $S^1$. This is a pretty easy exercise, so I will just leave this claim without a proof for the time being (but this is where the congruence condition on $p$ comes in). Hence also the points $(S^1 \times S^1)(\mathbb{Z}[\frac{1}{p}])$ lie dense in the real points of $S^1\times S^1$. It then also follows that if any fibre of $\phi$ contains a point defined over $\mathbb{Z}[\frac{1}{p}]$, the points lie dense within the real points of that fibre.


I next claim that the image $\phi(S(\mathbb{Z}[\frac{1}{p}]))$ is dense in $\phi(S^3(\mathbb{R})) = [0,1]$. But this follows directly from the density of $S^1(\mathbb{Z}[\frac{1}{p}])$ in $S^1(\mathbb{R})$: already the image under $\phi$ of the subvariety of $S^3$ where $x\_1=x\_4=0$ lies dense in $[0,1]$.


So for any real point $P$ of $S^3$ I can find a point $P' \in S(\mathbb{Z}[\frac{1}{p}])$ which lies on a fibre of $\phi$ arbitrarily close to the fibre that $P$ is on. But then we are done, because the points on this fibre that are defined over $\mathbb{Z}[\frac{1}{p}]$ are dense on it.




---


**The easy exercise.** I claim: let $p$ be a prime congruent to $1\pmod{4}$, then $S^1(\mathbb{Z}[\frac{1}{p}])$ lies dense in the set of real points of $S^1$. **Proof:** it is a classical result that there exist integers $a,b$ such that $a^2+b^2=p$, in other words there exists a complex number $a+bi$ with absolute value $\sqrt{p}$. Then $u+vi=\frac{1}{p} \cdot (a+bi)^2$ is a complex number with absolute value $1$ and $u,v \in \mathbb{Z}[\frac{1}{p}]$. Then, writing $(u+vi)^k = u\_k + iv\_k$, we get an infinite number of pairs $(u\_k,v\_k)$ satisfying $u\_k^2 + v\_k^2=1$ and $u\_k,v\_k \in \mathbb{Z}[\frac{1}{p}]$. Since $\arg(u\_k + iv\_k) = k \arg(u+iv)$, these points indeed lie dense on the unit circle.


