Golod--Shafarevich for arithmetic surfaces
Abstract
We construct Golod--Shafarevich towers of arithmetic surfaces over the integers. In particular, we obtain an arithmetic surface with a section and infinite geometric etale fundamental group, answering a question raised by Bost and Charles about the existence of such surfaces. Taking generic fibres gives curves over the rationals with infinite geometric etale towers in which a rational point splits completely. This answers questions posed by Ihara and by Frey, Kani and Völklein. Taking the generic fibres of the tower, we also obtain sequence of curves over the rationals whose genera goes to infinity and whose logarithmic conductors grows no more than linearly in the genera, answering a question asked by Venkatesh at PCMI in 2022. The authors worked together on this problem since 2022 and developed a general strategy. They were able to bring it to fruit only after a collaboration with GPT5.6 Sol, Fable and Aletheia a Gemini-powered internal agent developed at Google DeepMind.
Related
- Images of Golod-Shafarevich algebras with small growth
- Zassenhaus Filtrations and Golod-Shafarevich Methods for Ihara Constants
- On the arithmetic of Tate-Shafarevich groups via Kolyvagin's conjecture
- Exponential Growth of Mean Multiplicities in Length Spectra of Semi-Arithmetic Surfaces of Arbitrary Arithmetic Dimension
- Variation of Shafarevich-Tate groups in Hida families
BibTeX
@misc{keller2026golodshafarevich,
title = {{Golod--Shafarevich for arithmetic surfaces}},
author = {Timo Keller and Carlo Pagano},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06461},
eprint = {2610.06461},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.06461},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Golod--Shafarevich for arithmetic surfaces
AU - Timo Keller
AU - Carlo Pagano
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2610.06461
UR - https://arxiv.org/abs/2610.06461
AB - We construct Golod--Shafarevich towers of arithmetic surfaces over the integers. In particular, we obtain an arithmetic surface with a section and infinite geometric etale fundamental group, answering a question raised by Bost and Charles about the existence of such surfaces. Taking generic fibres gives curves over the rationals with infinite geometric etale towers in which a rational point splits completely. This answers questions posed by Ihara and by Frey, Kani and Völklein. Taking the generic fibres of the tower, we also obtain sequence of curves over the rationals whose genera goes to infinity and whose logarithmic conductors grows no more than linearly in the genera, answering a question asked by Venkatesh at PCMI in 2022. The authors worked together on this problem since 2022 and developed a general strategy. They were able to bring it to fruit only after a collaboration with GPT5.6 Sol, Fable and Aletheia a Gemini-powered internal agent developed at Google DeepMind.
ER -