Abstract
In this paper we prove a formula which relates the degree of a curve which is the image of a mapping \(z\longmapsto (f(z): g(z): h(z))\) constructed out of three linearly independent modular forms of the same integral or half-integral weight into \(\mathbb P^2\) and the degree of that map. Based on the formula, we present a test for birationality of the map. As an example, we compute the formula for the total degree i.e., the degree considered as a polynomial of two (independent) variables of the classical modular polynomial (or the degree of the canonical model of \(X_0(N)\)). We give an interesting example to the test for birationality which leads us to make a question on existence of specific explicit and simple model of \(X_0(N)\). We prove our claim when \(N=p\) is a prime.
Similar content being viewed by others
Notes
Otherwise, if \(X_0, X_1, X_2\) denote independent variables, then the resultant of \(P(X_0, X_1, X_2)\) and \(\frac{\partial }{\partial X_2}P(X_0, X_1, X_2)\) which is a homogeneous polynomial in \(X_0, X_1\) must be zero. But then \(P(X_0, X_1, X_2)\) and \(\frac{\partial }{\partial X_2}P(X_0, X_1, X_2)\) would have a common irreducible factor. This factor is obviously \(P(X_0, X_1, X_2)\). This a contradiction since this polynomial has the degree in \(X_2\) strictly greater than than its derivative with respect to \(X_2\).
References
Shimura, G: Introduction to the arithmetic theory of automorphic functions. Kan Memorial Lectures, No. 1. Publications of the Mathematical Society of Japan, No. 11. Iwanami Shoten, Publishers, Tokyo; Princeton University Press, Princeton (1971)
Bröker, R., Lauter, K., Sutherland, A.V.: Modular polynomials via isogeny volcanoes. Math. Comput. 81, 1201–1231 (2012)
Cox, D.A.: Primes of the form \(x^2+ny^2\): Fermat, Class Field Theory, and Complex Multiplication. A Wiley series of texts, monographs and tracts, pure and applied mathematics. Wiley, New York (2013)
Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symb. Comput. 24, 235–265 (1997)
Fulton, W.: Intersection Theory, 2nd edn. Springer-Verlag, New York (2008)
Sage Mathematics Software (Version 6.10), The Sage Developers http://www.sagemath.org (2015)
Muić, G., Mikoč, D.: Birational maps of \(X(1)\) into \(\mathbb{P}^2\). Glasnik Matematicki 48(2), 301–312 (2013)
Kodrnja, I.: Ph.D. thesis (2016, in preparation)
Yang, Y.: Defining equations of modular curves. Adv. Math. 204, 481–508 (2006)
Ono, K.: The web of modularity: arithmetic of the coefficients of modular forms and q-series. CBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence, RI (2004)
Miyake, T.: Modular Forms. Springer-Verlag, New York (2006)
Muić, G.: Modular curves and bases for the spaces of cuspidal modular forms. Ramanujan J. 27, 181–208 (2012)
Miranda, R.: Algebraic Curves and Riemann Surfaces. In: Graduate Studies in Mathematics, vol. 5 (1995)
Shafarevich, I.R.: Basic Algebraic Geometry I: Varieties in Projective Space, 3rd edn. Springer, Berlin (2013)
Muić, G.: On embeddings of curves in projective spaces. Monatsh. Math. 173(2), 239–256 (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
This work has been supported in part by Croatian Science Foundation under the project 9364.
Rights and permissions
About this article
Cite this article
Muić, G. On degrees and birationality of the maps \(X_0(N)\rightarrow \mathbb P^2\) constructed via modular forms. Monatsh Math 180, 607–629 (2016). https://doi.org/10.1007/s00605-016-0908-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-016-0908-y