Modular units and cuspidal divisor class groups of \(X_1(N)\) (Q731229)

Let \(\mathcal{F}_1^{\infty}(N)\) denote the group of modular units on the curve \(X_1(N)\) that have divisors supported on the cusps lying over \({\infty}\) of the curve \(X_0(N)\). In this article, for each integer greater than four, the author constructs an explicit basis of \(\mathcal{F}_1^{\infty}(N)\) in terms of the Siegel functions. This enables one to compute the group structure of the rational torsion subgroup \(\mathcal{C}_1^{\infty}(N)\) generated by the divisor classes \([(P)-(\infty)]\) where the points \(P\) run through the cusps lying over \(\infty\). In addition, he makes a conjecture on the structure of the \(p\)-primary part of \(\mathcal{C}_1^{\infty}(p^n)\) for a regular prime \(p\).