Nonreciprocal units in a number field with an application to Oeljeklaus-Toma manifolds (Q2444864)

Let \(K\) be a number field of degree \(d = [K:\mathbb{Q}]\) with \(s\) real embeddings into \(\mathbb{C}\) and \(2t\) complex embeddings into \(\mathbb{C}\). We say that an algebraic number \(\alpha\) is reciprocal if \(\alpha^{-1}\) is its conjugate over \(\mathbb{Q}\) and nonreciprocal otherwise. In this paper, the author shows that if a number field \(K\) contains a nonreciprocal unit \(u\) of degree \(s+2t\) with s positive conjugates and \(2t\) complex conjugates of equal moduli, where \(t\geq 2\), then \(s = (2t + 2m)q - 2t\) for some integers \(m\geq 0\) and \(q \geq 2\). On the other hand, for any \(s\) and \(t\geq 2\) related as above, the author constructs a number field \(K\) with \(s\) real and \(2t\) complex embedding that contains a nonreciprocal unit \(u\) of degree \(s+2t\) with s positive conjugates and \(2t\) complex conjugates of equal moduli. From this, for any pair of integers \(s\geq 1\), \(t\geq 2\) such that \(s \not= (2t + 2m)q - 2t\), the author deduces that the rank of the subgroup of units \(U\) whose \(2t\) complex conjugates have equal moduli is smaller than \(s\) and, therefore, for any choice of an admissible subgroup \(A\) of \(K\) the corresponding Oeljeklaus-Toma manifold \(X(K,A)\) admits no locally conformal Kahler metric.