Abstract:The conjecture due to Bertrand and Rodriguez Villegas asserts that the 1-norm of the nonzero element in an exterior power of the units of a number field has a certain lower bound. We prove this conjecture for the exterior square case when the number field is a real multi-quadratic Galois extension of any degree of the rationals.
What problem does this paper attempt to address?
This paper attempts to solve a special case of the Bertrand and Rodriguez Villegas conjecture in real multi - quadratic Galois extensions. Specifically, the conjecture asserts that the 1 - norm of non - zero elements in the exterior power of the unit group in a number field has a certain lower bound. The main contribution of the paper lies in proving that the conjecture holds in the case of the exterior square when the number field is a real multi - quadratic Galois extension of the rationals of any degree.
### Core Problem of the Paper
The Bertrand and Rodriguez Villegas conjecture poses a problem regarding the lower bound of the 1 - norm of non - zero elements in the exterior power of the unit group in a number field \( L \). Specifically, the conjecture is stated as follows:
For any number field \( L \) and any positive integer \( j \), there exist two absolute constants \( c_0>0 \) and \( c_1 > 1 \) such that for any non - zero element \( w\in\bigwedge^j\text{LOG}(O_L^*) \subset\bigwedge^j R^{A_L} \), the following inequality holds:
\[
\|w\|_1\geq c_0 c_1^j
\]
Here, \( A_L \) is the set of Archimedean valuations of \( L \), and \(\text{LOG}\) is a mapping from \( O_L^* \) to \( R^{A_L} \) defined as:
\[
(\text{LOG}(\gamma))_v := e_v\log|\gamma|_v
\]
where \( e_v = 1 \) if \( v \) is a real valuation and \( e_v = 2 \) if \( v \) is a complex valuation.
### Contribution of the Paper
This paper solves the conjecture in the case of the exterior square when the number field \( L \) is a real multi - quadratic Galois extension of the rationals of any degree. The main results are as follows:
Let \( n\geq2 \) be a positive integer, and let \( L \) be a real Galois extension of the rationals \( Q \) such that \(\text{Gal}(L/Q)\cong(Z/2Z)^n \). Then for any non - zero element \( w\in\bigwedge^2\text{LOG}(O_L^*) \), the following inequality holds:
\[
\|w\|_1\geq\frac{2\log\left(\frac{1 + \sqrt{5}}{2}\right)}{\log(1+\sqrt{2})}\approx0.8483
\]
This result provides a constant lower bound that is independent of the degree of the number field \( L \), thereby verifying the validity of the Bertrand and Rodriguez Villegas conjecture in a specific type of number field.
### Key Idea
The main idea of the proof is to utilize the fundamental units of the quadratic sub - fields of \( L \). Since \( L \) has exactly \( 2^{n - 1} \) quadratic sub - fields, the fundamental units of these sub - fields generate a subgroup \( E \) of \( O_L^* \). By studying the properties of \(\text{LOG}(E)\) and using methods of elementary linear algebra, the required lower bound is finally obtained.
### Summary
This paper verifies the validity of the Bertrand and Rodriguez Villegas conjecture in the case of the exterior square by studying the exterior power of the unit group in real multi - quadratic Galois extensions and provides a specific lower - bound estimate. This result not only advances the understanding of the properties of the unit group in number fields but also provides a basis for further research on higher - dimensional cases.