On Higher Order Weierstrass Points on X0(N)

Abstract: Let

G a m m a

be the Fuchsian group of the first kind. For an even integer

m g e 4

, we describe the space

H^{m / 2} l e f t (m a t h f r a k R_{G} a m m a i g h t)

of

m / 2

--holomorphic differentials in terms of a subspace

S_{m}^{H} (G a m m a)

of the space of (holomorphic) cuspidal modular forms

S_{m} (G a m m a)

. This generalizes classical isomorphism

S_{2} (G a m m a) s i m e q H^{1} l e f t (m a t h f r a k R_{G} a m m a i g h t)

. We study the properties of

S_{m}^{H} (G a m m a)

. As an application, we describe the algorithm implemented in SAGE for testing if a cusp at

i n f t y

for non-hyperelliptic

X_{0} (N)

is a

f r a c m 2

-Weierstrass point.

Cites Work

Cited In (1)

This page was built for publication: On Higher Order Weierstrass Points on X0(N)