Intersection numbers of modular correspondences for genus zero modular curves
type: Item
instance of: scholarly article
title: Intersection numbers of modular correspondences for genus zero modular curves
zbMATH Open document ID: 1440.11070
author: Yuya Murakami
published in: Journal of Number Theory
publication date: 2020-01-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/1806.01751
review text: Let \(j(E)\) denote the invariant of the elliptic curve \(E\) over \(\mathbb{C}\). For \(N\ge1\) define \(\Phi_N:\mathbb{C}\times\mathbb{C}\rightarrow\mathbb{C}\) by \[ \Phi_N(j(E),j(E'))=\prod_{(f,E_1')}(j(E)-j(E_1')), \] where the product ranges over the isomorphism classes of pairs \((f,E_1')\), with \(E_1'\) an elliptic curve over \(\mathbb{C}\) and \(f:E_1'\rightarrow E'\) an isogeny of degree \(N\). It is known that the function \(\Phi_N\) is given by a symmetric polynomial with coefficients in \(\mathbb{Z}\). Let \(T_N\) denote the affine plane curve defined by \(\Phi_N(X,Y)=0\). In [Math. Ann. 88, 26--52 (1922; JFM 48.1164.04)] \textit{A. Hurwitz} showed that \(T_{N_1}\) and \(T_{N_2}\) intersect properly if and only if \(N_1N_2\) is not a square. In this case he computed the intersection number \(T_{N_1}\cdot T_{N_2}\) in terms of equivalence classes of positive definite binary quadratic forms. The paper under review generalizes Hurwitz's formula by replacing the affine \(j\)-line \(Y_0(1)\) with a modular curve of the form \(Y_0(M)\) for any \(M\ge1\) for which the compactification \(X_0(M)\) has genus 0. Given such an \(M\) the author finds a parameter \(t\) on \(X_0(M)\) which is holomorphic on \(X_0(M)\smallsetminus\{\infty\}\), has a simple pole at \(\infty\) with residue 1, and whose Fourier expansion at the cusp \(\infty\) has coefficients in \(\mathbb{Z}\). For \(N\) relatively prime to \(M\) this allows him to define the modular polynomial \(\Phi_N^{\Gamma_0(M)}(X,Y)\) of level \(N\) for the congruence subgroup \(\Gamma_0(M)\), with \(t\) playing the role of \(j\) in the definition of \(\Phi_N(X,Y)\). Once again, \(\Phi_N^{\Gamma_0(M)}(X,Y)\) is a symmetric polynomial with coefficients in \(\mathbb{Z}\). Let \(T_N^{\Gamma_0(M)}\) denote the curve in \(Y_0(M)\times Y_0(M)\) defined by \(\Phi_N^{\Gamma_0(M)}(X,Y)=0\). A point on \(T_N^{\Gamma_0(M)}\) corresponds to two pairs \((E,C)\), \((E',C')\), each consisting of an elliptic curve over \(\mathbb{…
reviewed by: Kevin Keating
Mathematics Subject Classification ID: 11F32
Mathematics Subject Classification ID: 14C17
Mathematics Subject Classification ID: 11F46
Mathematics Subject Classification ID: 14G35
Mathematics Subject Classification ID: 11E12
zbMATH DE Number: 7152987
zbMATH Keywords: modular correspondences
zbMATH Keywords: Kudla's problem
zbMATH Keywords: intersection number
zbMATH Keywords: modular curves
zbMATH Keywords: modular polynomials
zbMATH Keywords: quadratic forms
MaRDI profile type: Publication
OpenAlex ID: W2974487211
Wikidata QID: Q114157227
arXiv ID: 1806.01751
cites work: Some remarks on Hurwitz-Kronecker class numbers and traces of singular moduli
cites work: Q4349106
cites work: Q3159364
cites work: On the intersection of modular correspondences
cites work: Q3597329
cites work: Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus
cites work: Algebraic cycles on Shimura varieties of orthogonal type
cites work: Intersection of modular polynomials
cites work: Q3632044
cites work: A note on the Siegel-Eisenstein series of weight 2 on \(Sp_ 2(\mathbb{Z})\)
cites work: Torsion-free genus zero congruence subgroups of \(\text{PSL}_2(\mathbb R)\)
cites work: Q3597328
DOI: 10.1016/J.JNT.2019.08.015
description: scientific article