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.

Primitive elements of finite fields $\mathbf{F}_{q^r}$ avoiding affine hyperplanes for $q=4$ and $q=5$

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

Existence of Special Types Primitive Pairs in Finite Fields Avoiding Affine Hyperplanes

On the Existence for Some Special Primitive Elements in Finite Fields

On the Existence of Some Specific Primitive Elements over Finite Fields of Even Characteristic

Diophantine avoidance and small-height primitive elements in ideals of number fields

On existence of primitive normal elements of rational form over finite fields of even characteristic

Character sums over sparse elements of finite fields

Frobenius nonclassical hypersurfaces

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

Abelian surfaces over finite fields with prescribed groups

Points totalement réels de la courbe $x^5+y^5+z^5=0$

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

On the construction of small subsets containing special elements in a finite field.

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

Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

Finite imprimitive rank $3$ affine groups -- I

Arithmetic representations of fundamental groups II: finiteness

Characterizations of a Class of Planar Functions over Finite Fields

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

On the Recursive Behaviour of the Number of Irreducible Polynomials with Certain Properties over Finite Fields