Equations involving the modular $j$-function and its derivatives

Abstract

We show that for any polynomial $F(X,Y_0,Y_1,Y_2)\in \mathbb{C}[X,Y_0,Y_1,Y_2]$, the equation $F(z,j(z),j^{\prime }(z),j^{\prime \prime }(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or it is divisible by $Y_0$, $Y_0-1728$, or $Y_1$. Our methods establish criteria for finding solutions to more general equations involving periodic functions. Furthermore, they produce a qualitative description of the distribution of these solutions.

37 pages; several typos corrected; appeared in J. Reine Angew. Math

References in corpus (7)

• A geometric approach to some systems of exponential equations
• Blurrings of the $j$-function
• Exponential Sums Equations and Tropical Geometry
• A closure operator respecting the modular $j$-function
• Differential Existential Closedness for the $j$-function
• Blurred Complex Exponentiation
• Generic Solutions of Equations Involving the Modular $j$-function