arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.08569

The least prime with a given primitive root and a variant of the larger sieve

Daniel R. Johnston·Sunil Naik
View original source ↗Read source document ↗Export metadata ↓

Abstract

For an integer $g$ not equal to $-1$ or a square, we study the least prime $p_g$ such that $g$ is a primitive root modulo $p_g$. We show that, assuming the Generalised Riemann Hypothesis, all such $g$ with $|g|\in[N,2N]$ have $p_g\leq(\log |g|)^{3.44}$ with at most $O((\log N)^{2.44})$ exceptions. This can be directly compared to the uniform bound $p_g\leq(\log |g|)^{19}$ proven recently by Fan and Pollack. To obtain our result, we prove a new variant of Gallagher's larger sieve, which may be of independent interest. In addition to our conditional result, we discuss other ``almost all" bounds for $p_g$ that hold unconditionally.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniel R. Johnston, Sunil Naik. 2026-10-06. The least prime with a given primitive root and a variant of the larger sieve. https://arxiv.org/abs/2610.08569

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↗