Current browse context:
math.NT
Change to browse by:
References & Citations
Mathematics > Number Theory
Title: The rational cuspidal subgroup of $J_0(p^2M)$ with $M$ squarefree
(Submitted on 1 Sep 2021 (v1), last revised 2 Dec 2022 (this version, v2))
Abstract: For a positive integer $N$, let $\mathscr{C}_N(\mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $\mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion subgroup of $J_0(N)$. We prove that two groups $\mathscr{C}_N(\mathbb{Q})$ and $\mathscr{C}(N)$ are equal when $N=p^2M$ for any prime $p$ and any squarefree integer $M$. To achieve this we show that all modular units on $X_0(N)$ can be written as products of certain functions $F_{m, h}$, which are constructed from generalized Dedekind eta functions. Also, we determine the necessary and sufficient conditions for such products to be modular units on $X_0(N)$ under a mild assumption.
Submission history
From: Hwajong Yoo [view email][v1] Wed, 1 Sep 2021 04:02:26 GMT (21kb)
[v2] Fri, 2 Dec 2022 02:04:02 GMT (22kb)
Link back to: arXiv, form interface, contact.