Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

Completing the proof of the Liebeck--Nikolov--Shalev conjecture

Initiating the proof of the Liebeck--Nikolov--Shalev conjecture

Writing finite simple groups of Lie type as products of subset conjugates

On the product decomposition conjecture for finite simple groups

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups

Conjugacy classes of derangements in finite groups of Lie type

On the Gowers trick for classical simple groups

Improved covering results for conjugacy classes of symmetric groups via hypercontractivity

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Minimal doubling for small subsets in compact Lie groups

Bounds for Characters of the Symmetric Group: A Hypercontractive Approach

Greenberg-Shalom's Commensurator Hypothesis and Applications

A simple proof of the Grunbaum conjecture

A Lazard correspondence for post-Lie rings and skew braces

Combination theorems in convex projective geometry

Mod $\ell$ gamma factors and a converse theorem for finite general linear groups

Proof of the geometric Langlands conjecture IV: ambidexterity

A product theorem in simple Lie groups

The $C^*$-algebras of completely solvable Lie groups are solvable

On converse of the Schur's theorem for nilpotent Lie superalgebras

Schur- and Baer-type theorems for Lie and Leibniz algebras