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.

Normal points on Artin-Schreier curves over finite fields

On the number of rational points of Artin–Schreier's curves and hypersurfaces

$\mathbb{F}_q$-primitive points on varieties over finite fields

Artin-Schreier towers of finite fields

Arithmetic representations of fundamental groups II: finiteness

Number of points of curves over finite fields in some relative situations from an euclidean point of vue

Some aspects of rational points and rational curves

A Criterion for the Normality of Polynomials over Finite Fields Based on Their Coefficients

On the $L$-polynomials of curves over finite fields

An Infinite Family of Artin-Schreier Curves with Minimal a-number

Rational points over C1 fields

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

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Estimates for the number of rational points on simple abelian varieties over finite fields

Rational Normal Curves, Chip Firing and Free Resolutions

Finitely generated normal pro-$\mathcal C$ subgroups in right angled Artin pro-$\mathcal C$ groups

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

Refinements of Katz–Sarnak theory for the number of points on curves over finite fields

Subspace configurations and low degree points on curves

Degrees of points on varieties over Henselian fields