English

Bernoulli determinants and cuspidal subgroups

Number Theory 2026-07-15 v1

Abstract

We give an explicit formula for the order of the rational cuspidal class group of the modular curve X1(N)X_1(N) for an arbitrary integer NN. The proof relies on results of Streng on the group of modular units on X1(N)X_1(N), and requires computing a certain determinant involving the second Bernoulli polynomial. We also define a higher weight analogue of the cuspidal class group and speculate that its order is related to a similar determinant defined using a higher degree Bernoulli polynomial.

Cite

@article{arxiv.2607.13536,
  title  = {Bernoulli determinants and cuspidal subgroups},
  author = {François Brunault},
  journal= {arXiv preprint arXiv:2607.13536},
  year   = {2026}
}