Weierstrass points on \(X_0(p)\) and supersingular \(j\)-invariants
type: Item
instance of: scholarly article
title: Weierstrass points on \(X_0(p)\) and supersingular \(j\)-invariants
zbMATH Open document ID: 1077.11048
author: Scott Ahlgren
author: Ken Ono
published in: Mathematische Annalen
publication date: 2003-06-02T00:00:00Z
review text: The authors study the arithmetic of the Weierstrass points on modular curves. Such curves are an important subject in arithmetic, and is well known that \(X_0(N)\) is the moduli space of elliptic curves with a prescribed cyclic subgroup of order \(N\). More specifically, the authors consider Weierstrass points in \(X_0(p)\), where \(p\) is a prime number greater than 4. In [Ill. J. Math. 22, 31--35 (1978; Zbl 0374.14005)], \textit{A.~Ogg} proved, among other results, that if \(Q\) is a \(\mathbb{Q}\)-rational Weierstrass point of \(X_0(p)\), then the reduction of \(Q\) modulo \(p\) is supersingular, meaning that the underlying elliptic curve is supersingular. In the present work the authors describe the relationship between the supersingular \(j\)-invariants and the set of \(j(Q)\) for Weierstrass points \(Q \in X_0(p)\). They define two polynomials, namely, \(F_p(x) := \prod_{Q \in X_0(p)} (x - j(Q))^{wt(Q)}\), where \(wt(Q)\) is the Weierstrass weight of \(Q\), and \(S_p(x):= \prod_{E/ \overline{\mathbb{F}}_p \text{\;supersingular}} (x - j(E)) \in \mathbb{F}_p[x]\), where the product is taken over \(\overline{\mathbb{F}}_p\)-isomorphism classes of elliptic curves, and denoting by \(g_p\) the genus of \(X_0(p)\), their main result states that \(F_p(x)\) has \(p\)-integral rational coefficients and satisfies \(F_p(x) \equiv S_p(x)^{g_p(g_p - 1)} \pmod{p}\).
Mathematics Subject Classification ID: 11G18
Mathematics Subject Classification ID: 14H52
Mathematics Subject Classification ID: 14H55
zbMATH DE Number: 1922397
zbMATH Keywords: modular curves
zbMATH Keywords: Weierstrass points
zbMATH Keywords: elliptic curves
reviewed by: Cicero Carvalho
MaRDI profile type: Publication
full work available at URL: s00208-002-0390-9
OpenAlex ID: W1991988623
DOI: 10.1007/S00208-002-0390-9
Recommended article: Weierstrass points on \(X^+_0 (p)\) and supersingular \(j\)-invariants
Recommended article: WEIERSTRASS POINTS ON $X_0(\lowercase{p}M)$ AND SUPERSINGULAR $\lowercase{j}$-INVARIANTS
Recommended article: Weierstrass points on the Drinfeld modular curve \({X_{0}(\mathfrak {p})}\)
Recommended article: Higher Weierstrass points on $X_{0}(p)$
Recommended article: Q4817214
Recommended article: Lifting of supersingular points on X0 (pr) and lower bound of ramification index
Recommended article: Supersingular primes for points on \(X_{0}(p)/w_{p}\)
Recommended article: Supersingular zeros of divisor polynomials of elliptic curves of prime conductor
Recommended article: On the \(j\)-invariants of CM-elliptic curves defined over \(\mathbb{Z}_p\)
Recommended article: Computing the Mordell-Weil Rank of Jacobians of Curves of Genus Two
description: scientific article; zbMATH DE number 1922397