Covolumes, units, regulator: conjectures by D. Bertrand and F. Rodriguez-Villegas (Q2022902): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Le problème de Lehmer en dimension supérieure / rank
 
Normal rank
Property / cites work
 
Property / cites work: On fields with Property (B) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lower bound for the height in abelian extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small points on rational subvarieties of tori / rank
 
Normal rank
Property / cites work
 
Property / cites work: On nef and semistable Hermitian lattices, and their behaviour under tensor product / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3476913 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4353964 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on heights in certain infinite extensions of \(\mathbb Q\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4335084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concerning the semistability of tensor products in Arakelov geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ratios of regulators in totally real extensions of number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a question of Lehmer and the number of irreducible factors of a polynomial / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the heights of totally \(p\)-adic numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative regulators of number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Slopes of adelic vector bundles over global fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minima, slopes and tensor algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3751649 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Torsion points on elliptic curves in Weierstrass form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factorization of certain cyclotomic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eine Regulatorabschätzung / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small totally p-adic algebraic numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the product of the conjugates outside the unit circle of an algebraic number / rank
 
Normal rank
Property / cites work
 
Property / cites work: A refinement of two theorems of Kronecker / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective lower bound for the height of algebraic numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ideale kleiner Norm in Idealklassen und eine Regulatorabschätzung / rank
 
Normal rank

Latest revision as of 15:23, 25 July 2024

scientific article
Language Label Description Also known as
English
Covolumes, units, regulator: conjectures by D. Bertrand and F. Rodriguez-Villegas
scientific article

    Statements

    Covolumes, units, regulator: conjectures by D. Bertrand and F. Rodriguez-Villegas (English)
    0 references
    0 references
    0 references
    30 April 2021
    0 references
    The paper under review provides some new evidence towards the conjectures of Bertrand and Rodriguez-Villegas on the covolumes of sub-lattices of the lattice of units of a number field. These conjectures interpolate between some known lower bounds for the regulator of a number field (which are exponential in its degree), and the conjectural lower bounds for the height of an algebraic number, which are the subject of Lehmer's problem. Let us be more precise. For a fixed number field \(K\), one denotes by \(M_{K,\infty}\) its set of Archimedean places, whose cardinality is written as \(\sigma_K\), and by \(\mathcal{L}_K \colon \mathcal{O}_K^\times \hookrightarrow \mathbb{R}^{\sigma_K}\) the logarithmic embedding, sending \(\alpha \to (d_v \log\lvert \alpha \rvert_v)_{v \in M_{K,\infty}}\) where \(d_v := [K_v \colon \mathbb{R}]\). Then, \(\mathcal{O}_K^\times\) is an abelian group of rank \(r_K := \sigma_K - 1\), contained in the hyperplane \(x_1 + \dots + x_{\sigma_K} = 0\) of \(\mathbb{R}^{\sigma_K}\). Now, for every subgroup \(E \subseteq \mathcal{O}_K^\times\), one can define \(\mathrm{Vol}_{p,K}(E)\) to be the covolume of \(\mathcal{L}_K(E)\) inside the real vector space \(\mathbb{R} \cdot \mathcal{L}_K(E) \subseteq \mathbb{R}^{\sigma_K}\), where the latter is endowed with the norm induced by the \(L^p\)-norm on \(\mathbb{R}^{\sigma_K}\). Moreover, one sets \(V(K,m)\) to be the infimum of \(\mathrm{Vol}_{2,K}(E)\) over all the subgroups \(E \subseteq \mathcal{O}_K^\times\) of rank \(m\). Then, the authors of the paper under review unify previous conjectures of \textit{D. Bertrand}, [J. Aust. Math. Soc., Ser. A 62, No. 2, 198--216 (1997; Zbl 0886.11035)] and \textit{F. Rodriguez-Villegas} (see the appendix of the preprint [\url{arXiv:1903.01384}]), to get Conjecture 1.4, which asserts that for every \(m \geq 2\) one has \(V(K,m) \geq c_0 c_1^m\) for some absolute constants \(c_0, c_1 > 0\). In fact, a stronger version of the same conjecture asserts that \(c_1 > 1\). The examples providing evidence for the validity of Conjecture 1.4 are of two kinds. On the one hand, the work of \textit{E. Friedman} and \textit{N.-P. Skoruppa}, [Invent. Math. 135, No. 1, 115--144 (1999; Zbl 0945.11022)] shows that \(V(K,r_K)\), which equals the regulator of \(K\), is bounded from below exponentially in terms of \(r_K\). In fact, similar estimates are known for relative regulators of number fields, and these are used by the authors to show in Theorem 1.7 of the paper under review that \(\mathrm{Vol}_K(E) \geq 1.1^d\), for every number field \(K\) and every subgroup \(E \subseteq \mathcal{O}_K^\times\), provided that \(E\) contains the subgroup of relative units \(E_{K/F} := \{ \alpha \in \mathcal{O}_K^\times \ \colon \ \mathrm{N}_{K/F}(\alpha) \in F^\times_\text{tors} \}\), for some subfield \(F \subseteq K\) such that \([K \colon F]\) is sufficiently big. On the other hand, work of \textit{M. Pohst}, [Abh. Math. Semin. Univ. Hamb. 47, 95--106 (1978; Zbl 0381.12006)] and \textit{A. Costa} and \textit{E. Friedman}, [J. Number Theory 37, No. 3, 288--297 (1991; Zbl 0718.11060)] shows that the strong version of Conjecture 1.4 holds for totally real fields. In fact, Proposition 3.3 of the paper under review generalises this approach, and shows that the weak version of Conjecture 1.3 is valid as soon as \(K\) belongs to a class of number fields for which the quantity \(u_K := \inf\{ h(\varepsilon) \mid \varepsilon \in \mathcal{O}_K^\times \setminus (\mathcal{O}_K^\times)_\text{tors} \}\) is uniformly bounded away from zero. Such classes of number fields include totally real number fields and CM fields, using a result of \textit{A. Schinzel}, [Acta Arith. 24, 385--399 (1973; Zbl 0275.12004)], and totally \(p\)-adic fields for a fixed prime number \(p\), after a result of \textit{L. Pottmeyer}, [Int. J. Number Theory 14, No. 10, 2687--2697 (2018; Zbl 1441.11174)]. The authors remark that the case \(m = 2\) of Conjecture 1.4 gives an analogue of the conjecture of \textit{A. Schinzel} and \textit{H. Zassenhaus}, [Mich. Math. J. 12, 81--85 (1965; Zbl 0128.03402)], which has recently been proved by [\textit{V. Dimitrov}, ``A proof of the Schinzel-Zassenhaus conjecture on polynomials'', Preprint, \url{arXiv:1912.12545}]. On the other hand, it seems that the validity of Conjecture 1.4 does not imply an analogue of Lehmer's problem, which is due to the fact that Conjecture 1.4 is formulated using the \(L^2\)-norm. Nevertheless, the authors formulate Conjecture 1.10, which is known to be a generalization of Lehmer's problem, and asserts that there exists a function \(c \colon \mathbb{N} \to \mathbb{R}_{> 0}\) such that \(\deg(E) \cdot h(E) \geq c(\mathrm{rk}(E))\) for every subgroup \(E \subseteq \mathcal{O}^\times_{\overline{\mathbb{Q}}}\) which is free and of finite rank. Here, \(\deg(E) := [\mathbb{Q}(E) \colon \mathbb{Q}]\) denotes the degree of the number field generated by the elements of \(E\), and \(h(E) := \mathrm{Vol}_{1,K}(E)/[K \colon \mathbb{Q}]^{\mathrm{rk}(E)}\) denotes the height of \(E\), where \(K\) is any number field containing \(\mathbb{Q}(E)\). To conclude, the paper under review is a good introduction to the mixture of methods coming from analysis and geometry of numbers which are used to study covolumes of subgroups of the logarithmic unit lattice associated to a number field, and provides also a good reference for the newest conjectures in the field.
    0 references
    geometry of numbers
    0 references
    heights
    0 references
    Lehmer's problem
    0 references
    regulator
    0 references

    Identifiers