Separating singular moduli and the primitive element problem

DOI10.1093/QMATHJ/HAAA030MaRDI QIDQ5147312zbMATH OpenOpenAlexFDO

Authors Yuri Bilu, Bernadette Faye, Huilin Zhu

Publication date 3 February 2021

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.07126

zbMATH Keywords

discriminantsingular moduliprimitive element problem

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15) [https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Irrationality; linear independence over a field (11J72)

Abstract: We prove that $|x-y|ge800X^{-4}$, where $x$ and $y$ are distinct singular moduli of discriminants not exceeding $X$. We apply this result to the "primitive element problem" for two singular moduli. In a previous article Faye and Riffaut show that the number field $mathbbQ(x,y)$, generated by two singular moduli $x$ and $y$, is generated by $x-y$ and, with some exceptions, by $x+y$ as well. In this article we fix a rational number $alphae0,pm1$ and show that the field $mathbbQ(x,y)$ is generated by $x+alphay$, with a few exceptions occurring when $x$ and $y$ generate the same quadratic field over $mathbbQ$. Together with the above-mentioned result of Faye and Riffaut, this gives a drastic generalization of a theorem due to Allombert et al. (2015) about solution of linear equations in singular moduli.

Recommendations

• Fields generated by sums and products of singular moduli
• Bounding the difference of two singular moduli
• scientific article; zbMATH DE number 3867426
• LINEAR INDEPENDENCE OF POWERS OF SINGULAR MODULI OF DEGREE THREE
• No Singular Modulus Is a Unit

Cited in

(7)

• Equations in three singular moduli: the equal exponent case
• Small height in fields generated by singular moduli
• Some uniform effective results on André-Oort for sums of powers in \(\mathbb{C}^n\)
• Bounding the difference of two singular moduli
• LINEAR INDEPENDENCE OF POWERS OF SINGULAR MODULI OF DEGREE THREE
• Effective multiplicative independence of three singular moduli
• Trinomials, singular moduli and Riffaut's conjecture

This page was built for publication: Separating singular moduli and the primitive element problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5147312)