On the proximity of algebraic units to divisors (Q1345279)

Let \(K\) be a totally real number field of degree \(r + 1\) over \(\mathbb{Q}\) and let \(p\) be a prime which splits completely in \(K\). Denote by \(\sigma_i : K \to \mathbb{R}\) for \(i = 1, \dots, r + 1\) the distinct embeddings of \(K\) into \(\mathbb{R}\) and by \(\tau_i : K \to \mathbb{Q}_p\) for \(i = 1, \dots, r + 1\) the distinct embeddings of \(K\) into \(\mathbb{Q}_p\). Finally, let \(k\) be an integer with \(1 \leq k \leq r + 1\). In this paper, the author is counting the units of \(K\) with respect to the function \[ N_{D,S} (u) = \max_{1 \leq i \leq r + 1} \log \bigl |\sigma_i (u) \bigr |+ \max_{1 \leq i \leq k} \log \bigl |\tau_i (u) - 1 \bigr |, \qquad u \neq 1 \] which he interprets as a proximity function to the divisor \[ D = \sum_{i = 1}^{r + 1} (z_i = 0) + \sum_{i = 1}^k(z_i = 1) \] on the group variety defined by \(z_1 \cdots z_{r + 1} = \pm 1\). More concretely, let \(U_1\) be the group of units \(u\) of \(K\) with \(u \equiv 1 \pmod p\) and let \(G\) be a subgroup of \(U_1\) of finite index. The author shows that there exists a real number \(A_G > 0\) and a rational number \(\theta_{D,G} > 0\) such that the number of elements \(u\) of \(G\) with \(N_{D,S} (u) \leq Q\) is given by \[ A_G Q^r + rA_G \theta_{D,G} \log (p) Q^{r - 1} + o(Q^{r - 1}). \]