On units with Galois complex conjugates of equal absolute value

Stefan Deaconu
2024-10-12
Abstract:We prove, using a theorem of Northcott, that if a number field K with s real embeddings and 2t complex ones has a group of units U such that all elements in U have all its complex conjugates of same absolute value, then one necessarily has t = 1. This fact has an interesting implication in complex hermitian geometry, namely it describes all Oeljeklaus-Toma manifolds carrying locally conformally Kahler structures. It is then shown that the same method also works for the situation concerning the existence of pluriclosed metrics on Oeljeklaus-Toma manifolds.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the conditions that the signature $(s, t)$ of a number field $K$ must satisfy when the complex conjugates of the unit group $U$ in the number field $K$ have the same absolute value under specific conditions. Specifically, the paper aims to prove that if a number field $K$ has $s$ real embeddings and $2t$ complex embeddings, and there exists a unit group $U\subset\mathcal{O}_K^*$ such that the complex conjugates of all elements in $U$ have the same absolute value, then it must be that $t = 1$. ### Main Conclusions: 1. **Restrictions on the Signature of Number Fields**: For a number field $K$ with signature $(s, t)$, if there exists a unit group $U$ in which the absolute values of all complex conjugates of each unit are equal, then it must be that $t = 1$. 2. **Geometric Significance**: This result is of great significance in complex geometry. In particular, it describes all Oeljeklaus - Toma manifolds that carry a locally conformally Kähler (l.c.K) structure. Moreover, this method can also be used to study the existence of pluriclosed (or S.K.T) metrics on these manifolds. ### Background of the Paper: - **Kronecker's Unit Theorem**: This theorem shows that it is a natural problem to find algebraic units whose complex conjugates have the same absolute value. - **Oeljeklaus - Toma Manifolds**: These manifolds are high - dimensional generalizations of Inoue surfaces. They do not admit Kähler metrics but may have other interesting geometric structures, such as l.c.K metrics or pluriclosed metrics. ### Key Tools: - **Northcott - Weil Theorem**: Used to prove finiteness under the height function. - **Dirichlet Logarithmic Embedding**: Used to derive the upper bound of the rank of the unit group. - **Galois Conjugate Properties**: By analyzing the relationship between the absolute values of complex conjugates, the signature restrictions of number fields are derived. ### Applications of the Conclusions: - **Existence of l.c.K Metrics**: The paper proves that the Oeljeklaus - Toma manifold $X(K, U)$ carries an l.c.K metric if and only if $U$ is a congruence subgroup. - **Existence of Pluriclosed Metrics**: Similarly, the paper also discusses the existence conditions of pluriclosed metrics on these manifolds. In conclusion, through rigorous mathematical proofs, this paper reveals the strict restrictions on the signature of number fields imposed by the property that the complex conjugate absolute values of unit groups in number fields are equal, and explores the important applications of this property in complex geometry.