We prove that for a number field F, the distribution of the points of a set Σ ⊂ AnF with a purely exponential parametrization, for example a set of matrices boundedly generated by semi-simple (diagonalizable) elements, is of at most logarithmic size when ordered by height. As a consequence, one obtains that a linear group Γ ⊂ GLn (K ) over a field K of characteristic zero admits a purely exponential parametrization if and only if it is finitely generated and the connected component of its Zariski closure is a torus. Our results are obtained via a key inequality about the heights of minimal m-tuples for purely exponential parametrizations. One main ingredient of our proof is Evertse's strengthening of the S-Unit Equation Theorem. Résumé. Nous prouvons que pour un corps de nombres F, la distribution des points d'un ensemble Σ ⊂ AnF admettant une paramétrisation purement exponentielle, par exemple un ensemble de matrices bornément engendré par des éléments semi-simples (diagonalisables), est de taille au plus logarithmique lorsqu'il est ordonné par hauteur. Par conséquent, on obtient qu'un groupe linéaire Γ ⊂ GLn (K ) sur un corps K de caractéristique zéro admet un paramétrisation purement exponentielle si et seulement s'il est de type fini et la composante connexe de sa clôture de Zariski est un tore. Nos résultats sont obtenus via une inégalité sur la hauteur des tuples minimaux d'un polynôme purement exponentiel. Un ingrédient clé de notre démonstration est une version forte par Evertse du théorème sur l'équation en S-unités.
Bounded Generation by semi-simple elements: quantitative results
CORVAJA, PIETRO;DEMEIO, Julian Lawrence;ZANNIER, UMBERTO
2022
Abstract
We prove that for a number field F, the distribution of the points of a set Σ ⊂ AnF with a purely exponential parametrization, for example a set of matrices boundedly generated by semi-simple (diagonalizable) elements, is of at most logarithmic size when ordered by height. As a consequence, one obtains that a linear group Γ ⊂ GLn (K ) over a field K of characteristic zero admits a purely exponential parametrization if and only if it is finitely generated and the connected component of its Zariski closure is a torus. Our results are obtained via a key inequality about the heights of minimal m-tuples for purely exponential parametrizations. One main ingredient of our proof is Evertse's strengthening of the S-Unit Equation Theorem. Résumé. Nous prouvons que pour un corps de nombres F, la distribution des points d'un ensemble Σ ⊂ AnF admettant une paramétrisation purement exponentielle, par exemple un ensemble de matrices bornément engendré par des éléments semi-simples (diagonalisables), est de taille au plus logarithmique lorsqu'il est ordonné par hauteur. Par conséquent, on obtient qu'un groupe linéaire Γ ⊂ GLn (K ) sur un corps K de caractéristique zéro admet un paramétrisation purement exponentielle si et seulement s'il est de type fini et la composante connexe de sa clôture de Zariski est un tore. Nos résultats sont obtenus via une inégalité sur la hauteur des tuples minimaux d'un polynôme purement exponentiel. Un ingrédient clé de notre démonstration est une version forte par Evertse du théorème sur l'équation en S-unités.File | Dimensione | Formato | |
---|---|---|---|
licenza_...pdf
Accesso chiuso
Descrizione: Concessione licenza Zannier
Tipologia:
Altro materiale allegato
Licenza:
Non pubblico
Dimensione
319.84 kB
Formato
Adobe PDF
|
319.84 kB | Adobe PDF | Richiedi una copia |
CRMATH_2022__360_G11_1249_0.pdf
accesso aperto
Tipologia:
Published version
Licenza:
Creative Commons
Dimensione
566.73 kB
Formato
Adobe PDF
|
566.73 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.