A Note on the Degree of Field Extensions Involving Classical and Nonholomorphic Singular Moduli

Abstract

In their 2015 paper, Mertens and Rolen prove that for a certain level 6 "almost holomorphic" modular function $P$, the degree of $P(\tau )$ over $\mathbb{Q}$ for quadratic $\tau$ is as large as expected, settling a conjecture of Bruinier and Ono. Analogously for level 1 modular functions $f$, we expect $\mathbb{Q}(f(\tau ))$ to have similar degree to $\mathbb{Q}(j(\tau ))$. In this paper, I show for a wide class of level 1 almost holomorphic modular functions that \[\dfrac{1}{M}[\mathbb{Q}(j(τ)):\mathbb{Q}]\leq [\mathbb{Q}(f(τ)):\mathbb{Q}]\leq[\mathbb{Q}(j(τ)):\mathbb{Q}]\] for all quadratic $\tau$ and some constant $M$. This is proven using techniques of o-minimality, and hence can easily be made uniform; the constant $M$ depends only upon the "degree" of $f$ (in a certain well-defined sense).

v2: uses a rather different, and arguably more natural, approach to attaining uniformity

References in corpus (1)

• André-Oort for a Nonholomorphic Modular Function

Cited by in corpus (1)

• Effective André-Oort Type Results for Almost Holomorphic Modular Funcions