arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.08998

Automorphisms of general modular curves

Valerio Dose·Guido Maria Lido·Pietro Mercuri
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that for a geometrically connected modular curve $X_H$ of prime level larger than $311$, all automorphisms are modular, i.e., they arise from the moduli interpretation of $X_H$. The proof relies on a general criterion involving the gonality of $X_H$ and the dimension of the CM part of the Jacobian of $X_H$. For arbitrary level, we give algorithms to compute the modular automorphisms and, in many cases, to prove that there are no other automorphisms. Finally, we apply these algorithms to the curves in the database LMFDB.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Valerio Dose, Guido Maria Lido, Pietro Mercuri. 2026-10-06. Automorphisms of general modular curves. https://arxiv.org/abs/2610.08998

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $π$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $π$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

math.NT↗
arXiv2026

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

Recent work of Mao, Wan and Zhang has provided a complete list of strongly tempered hyperspherical varieties and they proposed some new period integrals. In this paper, I will present new period integrals of distinguished polarised strongly tempered hyperspherical varieties and discuss the L-functions these integrals represent, as examples of the Relative Langlands Duality.

math.NT↗
arXiv2026

Harder's conjecture and Hermitian automorphic forms

Let $k\ge4$ and $j\ge2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic cusp form of weight $2k+j-2$ and a degree-two vector-valued Siegel Hecke cusp eigenform of weight ${\det}^{k}\mathrm{Sym}^{j}$. We prove the corresponding Harder-type congruence for the spinor $L$-polynomials under explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. Our approach uses Hermitian automorphic forms on the quasi-split unitary group $\mathrm{U}_{2,2}$. We construct Hermitian spin lifts of Siegel cusp forms and show that the Hermitian cusp form produced by a Hermitian Klingen-Eisenstein congruence lies in the image of this lift. The key step is to prove that the Galois representation attached to this Hermitian cusp form is conjugate invariant. For this, we combine the endoscopic classification for quasi-split unitary groups with Selmer-group vanishing results. This allows us to identify the Hermitian cusp form as the spin lift of a Siegel cusp eigenform and thereby obtain the Harder-type congruence. The argument applies uniformly to both even and odd $k$.

math.NT↗