No singular modulus is a unit
Abstract
A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In this article, we give a completely effective proof of this result. To be precise, we show that every singular modulus that is an algebraic unit is associated with a CM-elliptic curve whose endomorphism ring has discriminant less than $10^{15}$. Through further refinements and computer-assisted computations, we eventually rule out all remaining cases, showing that no singular modulus is an algebraic unit. This allows us to exhibit classes of subvarieties in $\mathbb{C}^n$ not containing any special points.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2018
- DOI:
- 10.48550/arXiv.1805.07167
- arXiv:
- arXiv:1805.07167
- Bibcode:
- 2018arXiv180507167B
- Keywords:
-
- Mathematics - Number Theory
- E-Print:
- Dedicated to David Masser on the occasion of his 70th birthday. Version 2 has a new title, updated references, and contains minor corrections. 31 pages, to appear in IMRN. Link to scripts https://github.com/philipphabegger/Effective-Bounds-for-Singular-Units