Abstract:In 1927, E. Artin proposed a conjecture for the natural density of primes $p$ for which $g$ generates $(\mathbb{Z}/p\mathbb{Z})^\times$. By carefully observing numerical deviations from Artin's originally predicted asymptotic, Derrick and Emma Lehmer (1957) identified the need for an additional correction factor; leading to a modified conjecture which was eventually proved to be correct by Hooley (1967) under the assumption of the generalised Riemann hypothesis. An appropriate analogue of Artin's primitive root conjecture may moreover be formulated for an algebraic function field $K$ of $r$ variables over $\mathbb{F}_{q}$. Relying on a soon to be established theorem of Weil (1948), Bilharz (1937) provided a proof in the particular case that $K$ is a global function field (i.e. $r=1$), which is correct under the assumption that $g \in K$ is a $\textit{geometric}$ element. Under these same assumptions, Pappalardi and Shparlinski (1995) established a quantitative version of Bilharz's result. In this paper we build upon these works by both generalizing to function fields in $r$ variables over $\mathbb{F}_{q}$ and removing the assumption that $g \in K$ is geometric; thereby completing a proof of Artin's primitive root conjecture for function fields over $\mathbb{F}_{q}$. In doing so, we moreover identify an interesting correction factor which emerges when $g$ is not geometric. A crucial feature of our work is an exponential sum estimate over varieties that we derive from Weil's Theorem.

A uniform Chebotarev density theorem with Artin's holomorphy conjecture

Uniform bounds for the density in Artin's conjecture on primitive roots

A Chebotarev Density Theorem over Local Fields

Faithful Artin induction and the Chebotarev density theorem

A density theorem for Borel-Type Congruence subgroups and arithmetic applications

Algebraic analogues of results of Alladi-Johnson using the Chebotarev Density Theorem

Uniform exponent bounds on the number of primitive extensions of number fields

On Artin's Primitive Root Conjecture for Function Fields over $\mathbb{F}_{q}$

Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions

Chebotarev-Sato-Tate distribution for abelian surfaces potentially of $\rm{GL}_2$-type

Fermat quotients and the Ankeny-Artin-Chowla conjecture

A note on density of geodesics

Density modulo 1 and Hardy fields

A Density Theorem and Its Application

A Uniform Version of a Finiteness Conjecture for CM Elliptic Curves

Dense families of modular curves, prime numbers and uniform symmetric tensor rank of multiplication in certain finite fields

The value-distribution of artin L-functions associated with cubic fields in conductor aspect

A smooth version of Landau's explicit formula

An Improvement of the Hasse-Weil Bound for Artin-Schreier Curves Via Cyclotomic Function Fields

A note on Fourier coefficients of Hecke eigenforms in short intervals

Dynamique analytique sur $\mathbf{Z}$. II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel