Variations on the six exponentials Theorem - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Variations on the six exponentials Theorem

Michel Waldschmidt
• Fonction : Auteur
• PersonId : 862020

Résumé

According to the Four Exponentials Conjecture, a $2\times 2$ matrix whose entries $\lambda_{ij}$ ($i=1,2$, $j=1,2$) are logarithms of algebraic numbers is regular, as soon as the two rows as well as the two columns are linearly independent over the field $\BbbQ$ of rational numbers. The question we address is as follows: are the numbers $\lambda_{12}-(\lambda_{11}\lambda_{22}/\lambda_{21}), \quad (\lambda_{11}\lambda_{22})/(\lambda_{12}\lambda_{21}), \quad (\lambda_{12}/\lambda_{11})-(\lambda_{22}/\lambda_{21})$ and $\lambda_{11}\lambda_{22}-\lambda_{21}\lambda_{12}$ transcendental? Denote by $\Ltilde$ the set of linear combination, with algebraic coefficients, of $1$ and logarithms of algebraic numbers. A strong form of the Four Exponentials Conjecture states that a $2\times 2$ matrix whose entries %$\Lambda_{ij}$ ($i=1,2$, $j=1,2$) are in $\Ltilde$ is regular, as soon as the two rows as well as the two columns are linearly independent over the field $\Qbar$ of algebraic numbers. From this conjecture follows a positive answer (apart from trivial cases) to the previous question for the first three numbers: not only they are transcendental, but, even more, they are not in the set $\Ltilde$. This Strong Four Exponentials Conjecture does not seem sufficient to settle the question for the last number, which amounts to prove that a $3\times 3$ matrix is regular; the Conjecture of algebraic independence of logarithms of algebraic numbers provides the answer. The first goal of this paper is to give the state of the art on these questions: we replace the Strong Four Exponentials Conjecture by the Strong Six Exponentials Theorem of D.~Roy; we deduce that in a set of $2$ numbers, at least one element is not in $\Ltilde$ (and therefore is transcendental). The second goal is to replace the Conjecture of algebraic independence of logarithms by the Linear Subgroup Theorem; we obtain partial results on the non existence of quadratic relations among logarithms of algebraic numbers. The third and last goal is to consider elliptic analogs of these statements. An appendix by Hironori Shiga provides a link with periods of $K3$-surfaces.

Dates et versions

hal-00411315 , version 1 (27-08-2009)

Identifiants

• HAL Id : hal-00411315 , version 1

Citer

Michel Waldschmidt. Variations on the six exponentials Theorem. Dependence of logarithms on commutative algebraic groups, Dec 2003, Hyderabad, India. pp.338-355. ⟨hal-00411315⟩

Collections

192 Consultations
281 Téléchargements