Semisimple Torsion Fields of Modular Jacobians at Powers of 11 and 13
Manuscript 12 October 2026 · Online 12 October 2026
Abstract
For \(\ell\in\{11,13\}\) and every \(m\geq1\), we identify the semisimple \(\ell\)-torsion field of the Jacobian of the connected principal modular curve \(X(\ell^m)\) over \(K_m=\mathbb Q(\zeta_{\ell^m})\). It is the compositum of \(K_m\) with the field cut out by the residual Ramanujan Delta representation, and its Galois group over \(K_m\) is \(\operatorname{SL}_2(\mathbb F_\ell)\). The full torsion field has an \(\ell\)-group kernel over this quotient; the prime-to-\(\ell\) part of its degree is exactly 120 or 168, respectively.
The result is an explicit structural corollary of level-one modularity, the modular decomposition of Jacobians, and Hoshi–Iijima's non-pro-\(\ell\) theorem. We give a cyclotomic-field moduli construction of the covering needed in the argument and reproducible exact certificates for the two residual Delta images. We do not determine the full torsion field or claim to resolve the unrestricted AIM splitting-field question. This AI-assisted note is self-audited and unrefereed; absolute priority is not asserted.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete scoped corollary
- Categories
- math.NT · math.AG
- Manuscript
- 12 October 2026
- Online release
- 12 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Semisimple Torsion Fields of Modular Jacobians at Powers of 11 and 13,” EulerSolve Research Papers, AIM-ALGEBRAIC_NUMBER_THEORY-0077, 2026. https://doi.org/10.5281/zenodo.23322977.
BibTeX
@misc{ferudun2026semisimpletorsion,
author = {Ferudun, Alper},
title = {Semisimple Torsion Fields of Modular Jacobians at Powers of 11 and 13},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-algebraic-number-theory-0077/},
doi = {10.5281/zenodo.23322977},
note = {AIM-ALGEBRAIC_NUMBER_THEORY-0077; unrefereed preprint}
}