Modular units and cuspidal divisor class groups of X₁(N)

Abstract: In this article, we consider the group

F_{1}^{i} n f t y (N)

of modular units on

X_{1} (N)

that have divisors supported on the cusps lying over

i n f t y

of

X_{0} (N)

, called the

i n f t y

-cusps. For each positive integer

N

, we will give an explicit basis for the group

F_{1}^{i} n f t y (N)

. This enables us to compute the group structure of the rational torsion subgroup

C_{1}^{i} n f t y (N)

of the Jacobian

J_{1} (N)

of

X_{1} (N)

generated by the differences of the

i n f t y

-cusps. In addition, based on our numerical computation, we make a conjecture on the structure of the

p

-primary part of

C_{1}^{i} n f t y (p^{n})

for a regular prime

p

.

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Modular units and cuspidal divisor class groups of \(X_1(N)\)