A higher weight analogue of Ogg’s theorem on Weierstrass points

Abstract

For a positive integer [Formula: see text], we say that [Formula: see text] is a Weierstrass point on the modular curve [Formula: see text] if there is a non-zero cusp form of weight [Formula: see text] on [Formula: see text] which vanishes at [Formula: see text] to order greater than the genus of [Formula: see text]. If [Formula: see text] is a prime with [Formula: see text], Ogg proved that [Formula: see text] is not a Weierstrass point on [Formula: see text] if the genus of [Formula: see text] is [Formula: see text]. We prove a similar result for even weights [Formula: see text]. We also study the space of weight [Formula: see text] cusp forms on [Formula: see text] vanishing to order greater than the dimension.