10
$\begingroup$

This is pretty much straightforward curiosity. Is there anything known about Newton polygons of classical modular polynomials (polynomial relations between $j(\tau)$ and $j(n\tau)$)? I understand that modular polynomial is not really a practical way of approaching modular curves, still it would be interesting to see if properties of the Newton polygon had some relevance to the geometry and arithmetic of the curve.

$\endgroup$
5
  • $\begingroup$ Just to make this a bit more interesting: one can associate to every side of the Newton polygon a line bundle on the modular curve. It is interesting to see in examples whether (after subtracting a multiple of the divisor of modular forms) the resulting point on the Jacobian is torsion. $\endgroup$ Jul 26, 2014 at 12:18
  • $\begingroup$ is there any more information you would like in my answer? $\endgroup$
    – Will Sawin
    Jul 29, 2014 at 15:13
  • $\begingroup$ Will, I was happy with your answer, thank you! I didn't quite follow the arguments regarding the bottom corner, but, certainly, if your Heegner point guess is true, then it would dash my faint hope of getting some more sporadic divisors from this construction. I assume that these would be Heegner points for the conductor not coprime (equal?) to the level, which are generally avoided in applications like Gross-Zagier formula. Am I correct? $\endgroup$ Jul 29, 2014 at 23:42
  • $\begingroup$ I worked out in more detail my thoughts about the bottom corner. I think this is more related to Heegner points of conductor $1$, because these are the CM points associated to split ideals in $\mathbb Z[\omega]$, not in a subring. $\endgroup$
    – Will Sawin
    Jul 31, 2014 at 17:06
  • $\begingroup$ @WillSawin Great, I can definitely follow it now. Yes, I think this calculation would indicate that the restriction of this line bundle to $X_0(n)$ would only be the sum of the divisors obtained from traces of Heegner points, so it would not be any "new" bundle. $\endgroup$ Jul 31, 2014 at 17:33

1 Answer 1

6
+50
$\begingroup$

The polynomial $\Phi_n(x,y)$ has a degree of $n \prod_{p|n } \frac{p+1}{p}$ in each variable, so the Newton polygon is contained in a square of that side length. Call this $n'$. For each fixed value of $j_1$, there are $n'$ possible values of $j_2$ with multiplicity, so plugging in any value of $x$ or $y$ gives a degree $n'$ polynomial. This means $(n',0)$ and $(0,n')$ are in the Newton polygon.

If there is no cyclic isogeny of degree $n$ from a curve of $j$ invariant $0$ to itself, then $(0,0)$ is in the polygon, which determines the bottom half. If there is a unique such isogeny that is a point of multiplicity $1$, so $(1,0)$ and $(0,1)$ are in the polygon. If there are multiple isogenies, I am not sure exactly how to describe the bottom half. I think the different isogenies always form distinct branches of the modular curve so if $k$ is the number of isomorphism classes of isogenies then $(k,0)$ and $(0,k)$ are the only vertices in the bottom half.

Edit: At each point $x$ of the abstract modular curve $X_0(N)$ such that $j_1(x)=0$, $j_1$ has a zero of order $1$ or $3$. Similarly if $j_2=0$ then $j_2$ has a zero of order $1$ or $3$. We will show that these two orders are the same. The order is $1$ if and only if the point is an elliptic point - that is, there is an automorphism of order three of the curve that preserves the cyclic subgroup. Modding out by this subgroup, we get an automorphism of order three of the isogenous curve that fixes the dual subgroup. So $j_1$ has degree $1$ if and only if $j_2$ does. What this means is that locally the equation relating $j_1$ and $j_2$ looks like $aj_1+bj_2+$ higher-order terms with $a\neq 0$, $b\neq 0$. Multiplying together one of these equations for each point with $j_1=j_2=0$, we a polynomial of degree $k$ with the coefficients of $x^k$ and $y^k$ nonzero as the lowest-order term, so the Newton polygon is as I described.

The divisor corresponding to this side of the polygon should just be the sum of all the points with $CM$ by $Z[\omega]/(\omega^2+\omega+1)$ where the isogenous curve also has CM by the same ring, with multiplicity $1$ for the elliptic points and $3$ for the CM points. I'm not sure exactly how this relates to the Heegner point construction.

Understanding the top half is basically understanding the behavior as the $j$ invariants of both isogenous curves aprroach $\infty$. How this works out is that one $j$ invariant looks like a power of the other: $j_1 = j_2^{a/b}$, where $ab=n$. This means that the slopes of the top half of the Newton polygon are exactly these rational numbers $a/b$. To make it add up I'm guessing the part of length $a$ travels a distance $(a,b) * \phi ( gcd(a,b))/gcd(a,b)$. I believe there is an explicit combinatorial way of computing this with the modular group. I figured something like this out once. There's probably also a nice reference somewhere.

Basically the idea is that one can view cusps as double cosets $\Gamma_0(n) \backslash \Gamma / \langle T \rangle$. Then the order of the pole of $j$ on that cusp is the size of the double coset (viewed as a $T$-orbit in $\Gamma/\Gamma_0(n)$). The isogeny acts by viewing $\Gamma/\Gamma_0(n)$ as cyclic subgroups of order $n$ of $(\mathbb Z/n )^2$ and sending them to a dual subgroup. You can use this to count the orbits of each degree that are sent to each other degree, which gives the top of the Newton polygon.

The divisors on the top are sums of cusps - basically you're summing all the cusps of a certain type. The divisors on the sides are summing all the points with $j$ invariant $0$, so they're basically the pullback of $O(1)$ from the classical modular curve. The divisors on the bottom corner near $0$ are sums of CM points, so they may be related to Heegner points.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.