Primes in short intervals on curves over finite fields

We prove an analogue of the Prime Number Theorem for short intervals on a smooth projective geometrically irreducible curve of arbitrary genus over a finite field. A short interval “of size E” in this setting is any additive translate of the space of global sections of a sufficiently positive divisor E by a suitable rational function f. Our main theorem gives an asymptotic count of irreducible elements in short intervals on a curve in the “large q” limit, uniformly in f and E. This result provides a function field analogue of an unresolved short interval conjecture over number fields, and extends a theorem of Bary-Soroker, Rosenzweig, and the first author, which can be understood as an instance of our result for the special case of a divisor E supported at a single rational point on the projective line.


Introduction
In this paper, we give an asymptotic count of irreducible elements inside short intervals on a smooth projective geometrically irreducible curve over a finite field. Our main result (Sect. 1.3, Theorem A) provides a function field analogue of an unresolved short interval conjecture for number fields (Conjecture 1.5), and extends a short interval theorem of Bary-Soroker, Rosenzweig, and the first author [2,Corollary 2.4] for polynomials over finite fields.
The notion of short intervals on a curve which we use is a natural analogue of the familiar notion of short intervals over the integers. In this introduction, we review what is known about short intervals over the integers, over number fields, and over polynomials with coefficients in a finite field. The analogies that run between these different settings lead naturally to our definition of a short interval on a curve and to the statement of our main result.

The Prime Number Theorem for short intervals
The Prime Number Theorem (PNT) states that the asymptotic density of prime integers in real intervals (0, x] is 1/ log x. In other words, if we let π(x) denote the prime counting function We get more refined statements by considering the asymptotic density of primes in families of smaller intervals. Letting (x) be a real valued function with 0 < (x) < x, we can ask for the density of primes in the intervals I (x, ) def = x − (x), x + (x) as x → ∞. Define π I (x, ) def = # p ∈ I (x, ) : p is a prime integer , Then the naive conjecture on the asymptotic density of primes in the intervals I (x, ) is For fixed 0 < c < 1 and (x) ∼ c x, it is a straightforward consequence of the PNT that (2) holds. Assuming the Riemann hypothesis, (2) holds for (x) = x ε+ 1 2 for small 0 < ε < 1/2. On the other hand, Maier [22] established what is now known as the "Maier phenomenon": for (x) = (log x) A , with A > 1, the asymptotic formula (2) fails. A classical conjecture predicts the following "short interval" prime number conjecture: Conjecture 1.1 For 0 < ε < 1 and (x) = x ε , the asymptotic formula (2) holds.

The Prime Polynomial Theorem for short intervals over F q [t] F q [t] F q [t]
For each finite field F q , the analogy between number fields and function fields provides us with the following table of corresponding sets and quantities: : h is monic and deg h = k} If we let π q (k) denote the prime polynomial counting function π q (k) = #{h ∈ M(k, q) : h is irreducible}, then, in accord with Table (3), the Prime Polynomial Theorem (PPT) asserts that π q (k) ∼ q k k as q k → ∞.
Table (3) also suggests a natural definition of short intervals in F q [t]: Definition 1.2 Given any monic non-constant polynomial f ∈ F q [t] and any positive real number ε, the corresponding interval (around f is the set If m def = ε deg f and F q [t] ≤m denotes the space of polynomials of degree at most m, then I ( f , ε) = f + F q [t] ≤m . We say that I ( f , ε) is a short interval if ε < 1, i.e., if m < deg f .

Remark 1.3
Note that in view of Definition 1.2, the set M(k, q) of monic polynomials of degree k is the short interval I (t k , k − 1).
Initial results on the density of prime polynomials in short intervals can be deduced from the work of Cohen [4] when char F q > deg f , and from the work of Keating and Rudnick [18] in an almost everywhere sense. In [2], the first author together with Bary-Soroker and Rosenzweig prove the following analogue of Conjecture 1.1 in the large q limit: Theorem 1.4 [2,Corollary 2.4] For fixed k > 0 and a monic polynomial f ∈ F q [t] satisfying deg f = k and ε > 0, define Then the asymptotic formula holds uniformly for all monic f ∈ F q [t] of degree k and all

Short interval conjectures over number fields
One can extend Conjecture 1.1 to arbitrary number fields. However, because the relevant notions in Q have several competing generalizations to number fields larger than Q, there are several competing generalizations of Conjecture 1.1. If we let K be an algebraic number field of degree n over Q, with ring of integers O K , then each prime a ⊂ O K comes with a norm N K (a) def = #(O K /a). The norm of an element a ∈ O K is by definition the norm of the ideal that a generates. We have both a prime ideal and a principal prime ideal counting function: Landau's Prime Ideal Theorem (PIT) [20] states that Letting h K denote the class number of K , the Principal PIT [25, §7.2, Corollary 4] states that As before, we can attempt to refine these density theorems by considering any real valued function (x), with 0 < (x) < x, the corresponding (real) intervals and the prime ideal counting function The naive guess about the asymptotic behavior of π K I (x, ) is that When (x) ∼ cx for fixed 0 < c < 1, formula (9) follows directly from the PIT. Balog and Ono [1], using formulas for the prime ideal counting function due to Lagarias and Odlyzko [19] and zero density estimates for Dedekind zeta-functions due to Heath-Brown [14] and Mitsui [24], show that formula (9) holds for Here one may take c = 8/3 if [K : Q] = 2, and one can take c = [K : Q] if the degree of the extension is at least 3. Assuming the Riemann Hypothesis for the Dedekind zeta function ζ K (s), Grenié, Molteni, and Perelli [9] show that (9) holds for all (x) = n log x + log |disc(K )| √ x. In a general number field, the norm N K (a) of an element a ∈ O K is not equal to the absolute value of a at a single infinite place of K . Likewise, given an element b ∈ O K with x def = N K (b), and given 0 < ε < 1, the set of all a ∈ O K satisfying N K (a) − x ≤ x ε (with | · | the absolute value in R) is not necessarily the same as the set of all a ∈ O K satisfying N K (a − b) ≤ x ε . This ambiguity in generalizing the basic quantities in Conjecture 1.1 gives us at least two distinct conjectures that can be seen as extensions Conjecture 1.1 to an arbitrary number field K : Conjecture 1.5 Let S = {infinite places of K }. There exists some constant c such that for each real vector ε S = (ε p ) p∈S in (0, 1) S ⊂ R S , the count Conjecture 1.6 There exists some constant c such that for each 0 < ε < 1, the count satisfies the asymptotic formula Remark 1.7 For K = Q, Conjectures 1.5 and 1.6 both recover Conjecture 1.1 if c = 1.

Main result: short intervals on arbitrary curves over
Let C be a smooth projective geometrically irreducible curve over F q . As shown in [27,Theorem 5.12], the natural analogue of the PNT holds on C, which is to say that the counting function π C (k) def = #{P a prime divisor of C : deg(P) = k} satisfies the asymptotic formula One can formulate analogues of each of the Conjectures 1.5 and 1.6 on C. In the present paper, we focus our attention to the analogue of Conjecture 1.5 in the large q limit. We intend to address analogues of Conjecture 1.6 in a future paper. On C, the natural analogue of the "short interval" implicit in Conjecture 1.5 is the following set: Definition 1.8 Let E = m 1 p 1 + · · · + m s p s be an effective divisor on C, and let f be a regular function on the complement of E. The interval (of size E around f ) is the set where  The value that serves as our prime count in any short interval I ( f , E) is such that h generates a prime ideal in the ring of regular functions on C supp(E) The central result of the present paper is the following theorem, which establishes a function field analogue of Conjecture 1.1 and its generalization 1.5. In addition, this result extends Theorem 1.4 to curves of arbitrary genus over F q : Theorem A Let C be a smooth projective geometrically irreducible curve of genus g over F q . Fix a positive integer k > 0. Let E be an effective divisor on C, and let f be a regular function on C supp(E) such that the sum of the orders of all poles of f is equal to k, and such that I ( f , E) is a short interval. Assume that either that the differential d f vanishes on a nonempty finite subset of C supp(E). Then where the implied constant in the error term O(q −1/2 ) depends only on k and g.

Remark 1.10
To establish Theorem A, we prove a result (Theorem 5.5) that is stronger than Theorem A. For any partition type of the set {1, 2, . . . , k}, we provide an asymptotic count of rational functions h ∈ I ( f , E) whose associated principal divisor on C supp(E) has that partition type.

Remark 1.11
Note that since I ( f , E) is a short interval, all poles of f lie in supp(E), and for each p ∈ supp(E), the order ord p ( f ) of each pole of f at p is strictly greater than the order m p of E at p. Because k is the sum of orders of all poles of f , Definition 1.8 then implies that k is equal to the sum p∈supp(E) max{m p , ord p ( f )}.

Outline of the paper
In broad outline, our strategy for proving Theorem A is similar to the strategy taken in [2]; the key insight of the present paper is that specific positivity hypotheses for divisors on C allow one to adapt the steps of the original argument in [2, §3 and §4] to a curve of arbitrary genus. In more detail, the outline of the paper is as follows.
In Sect. 2 we review the divisor theory and positivity conditions we will need. We introduce a variety parameterizing the elements of a short interval, and we use this variety to describe the generic element in a short interval. In Sect. 3 we explain how to associate a Galois group to the generic element. Most of the work in this section lies in showing that the Galois group is well defined. In Sect. 4 we calculate the Galois group. Specifically, we show that it is isomorphic to a symmetric group by verifying the conditions in a particular characterization of the symmetric group. In Sect. 5 we use our knowledge of this Galois group, along with some basic facts about étale morphisms, to show that a key counting result in [2], originally stated only for the genus zero case, can be extended to a count in any genus. Finally, we use this count to prove Theorem A and its stronger form Theorem 5.5. Our arguments in Sect. 5 make crucial use of the Lang-Weil estimates [21] and Bary-Soroker's Chebotarev-type result [3, Proposition 2.2].

Short intervals on curves
Fix a finite field F q , an algebraic closure F q F q , and a smooth projective geometrically irreducible curve C over F q of arithmetic genus g.

Divisors on a curve
We make extensive use of the theory of divisors on algebraic varieties (see [13,§II.6] for instance). We briefly review the most pertinent aspects of the theory.
By a divisor on C, we mean a Weil divisor on C. We denote the support of a divisor D by supp(D), although we drop the distinction between D and its support when it will not lead to confusion. For instance, we write C D instead of C supp(D). If f is a rational function on C, we denote its associated principal divisor by div( f ). Given a divisor D = p∈C m p p on C, its divisor of zeros and divisor of poles are, respectively, the effective divisors . . , f m } such that at least one of the functions f i is non-vanishing at each p ∈ C, we say that D is basepoint free. If D is basepoint free, then our basis gives rise to a morphism into projective space of dimension The divisor D is very ample if D is basepoint free and the morphism (15) is a closed embedding. Every divisor D on C satisfying deg D ≥ 2g + 1 is very ample.
If E is an effective very ample divisor on C, then the basis In particular, if E is an effective very ample divisor, then the open subscheme C E ⊂ C is affine, and its ring of regular functions is generated by the coordinates x 1 , . . . , x m on P m V (x 0 ). We consistently use the notation R def = ring of regular functions on C E.
. Thus if D 0 is very ample and D 0 ≤ D, then D is also very ample.

Remark 2.2
Given a field extension K /F q , each point p in C has a unique factorization p = q e 1 1 · · · q e n n locally on , thus E K is very ample whenever E is.

Generic element in a short interval
Let E be an effective very ample divisor on C. Then following Definition 1.8, each regular function f on C E determines an interval 16. Then we have a corresponding interpretation of as a variety parameterizing the functions in

On the trivial family of curves
, we have a regular function The value π C I ( f , E) becomes the count of a particular set of F q -rational points in A m+1 :

Galois group of a generic element in a short interval
For any field K and any irreducible separable polynomial f ∈ K [t], the residue field When we interpret κ( f ) as the field obtained by adjoining a single root of f to K , it becomes natural to construct split( f ) as the field obtained by adjoining all roots of f to K . We can also construct split( f ) without any explicit reference to roots This latter characterization of the splitting field generalizes to the higher genus setting and, as we demonstrate in the present section, allows us to define the Galois group of the generic element in short intervals on C.

The setting of Sects. 3 and 4
The following datum is to remain fixed throughout Sects. 3 and 4: Let E be an effective very ample divisor on C, define R to be the ring of regular functions on the affine curve C E, and let f ∈ R be a regular function on C E satisfying where Note that the inequality (19) and the quantity k are unaffected by base change along (17). Fix an algebraic closure

Remark 3.1
In the case where g = 0 and E is an effective divisor on P 1 supported at The choice of a regular function f amounts to the choice of a polynomial f ∈ F q [t], and k = deg div( f ) − = deg f . Thus the inequality (19) reduces to the requirement m < k that appears in the form "ε 0 < 1" in Theorem 1.4.

Remark 3.2
In Sect. 5, where we consider the asymptotic behavior of I ( f , E), we will allow E and f to vary subject to the constraint (19).

The splitting field and Galois group of a relative separable point
We can associate Galois groups to a large class of points in C E as follows: be an algebraic extension. For a prime ideal P in the ring K ⊗ F q (A) R(A), denote by κ(P) the residue field of P. The splitting field of P (over K ), denoted split(P) or split(P/K ), is the normal closure of κ(P) in F q (A).
If the extension κ(P)/K is separable, then the Galois group of P is (see [29,Proposition 5.3.9, Definition 5.3.12 and Proposition 5. (20) is equivalent to the statement that in the ring split(P) where deg Q i = 1 and κ(Q i ) ∼ = split(P) for each 1 ≤ i ≤ deg P. The Galois group Gal(P/K ) acts faithfully and transitively on the prime factors Q i .

Primality and separability of the generic element
For any field extension K /F q , define becomes a variety parameterizing elements in I ( f , E K ).

Lemma 3.5 For any field extension K
restrict to morphisms is not prime. Then either the morphism pr 1 | V (F A ) has empty generic fiber, or else the subscheme V (F A ) ⊂ A m+1 K × C K E K has more than one irreducible component.

Comparing the strict inequalities (19) with the inequality defining the inclusion
In particular, F A is not a unit in R K (A), and pr 1 | V (F A ) does not have empty generic fiber.
is either a whole fiber of the projection pr 2 in (22) over a closed point of C K E K , or else its generic point lies over the generic point of C K E K . For any point x ∈ C K E K , the function is linear in the variables A i , and is nonzero since A 0 has coefficient 1. For closed points x ∈ C K E K , this shows that closed fibers of the morphism pr 2 in (22) cannot be irreducible components of V (F A ). Over the generic point ξ of C K E K , linearity of the nonzero function The curve C is smooth, therefore there exist functions y ∈ is invertible on C K (A) ∩ D(x 0 y) K (A) . The entries in the last row of M all have the explicit form

Lemma 3.9 For each algebraic field extension K /F q , there is an inclusion of Galois groups
Proof Since κ(P K ) is isomorphic to the compositum K · κ(P) ⊂ F q (A), we have isomorphisms Post-composing (26) with the inclusion Gal κ(P K ) K (A) → Gal κ(P K ) F q (A) , we obtain the embedding (25).

Proposition 3.10
The branch locus Z ⊂ A m+1 F q of the morphism pr 1 : Then the resulting morphism pr 1 | Y : Y −→X is finite, surjective, and unramified of degree k. The variety X is a normal, and surjectivity of pr 1 | Y implies that for each y ∈ Y , the morphism of stalks O X ,pr 1

A characterization of the symmetric group
Recall from Sect. 3.1 that we fix an effective very ample divisor E on C and a function f regular on C E with poles satisfying the inequalities (19), and that k def = deg(div( f ) − ). Let S k denote the symmetric group on k letters. Our goal in the present section is to prove the following: Beginning of the proof of Theorem 4.1. Observe that for any algebraic extension K /F q the condition (19) and its consequence (23), combined with the fact that the total degree of any principal divisor is 0, imply that deg P K = k. Thus by Remark 3.4, the Galois group Gal F A , K (A) comes with a natural faithful action on a set of k elements, namely the prime factors in (21). In this way, we obtain an embedding for each algebraic extension K /F q . For the special case K = F q , Lemma 3.9 tells us that the inclusion (27) factors as It therefore suffices to check that the Galois group Gal F A , F q (A) satisfies the three conditions in Lemma 4.3. We verify these conditions in Sects. 4.2 and 4.3 below.

Transitivity and double transitivity
By Remark 3.4, the embedding (27)

Proof of Proposition 4.4 Because Gal F A F q (A) is transitive, it is enough to show that there exists a factor Q i in (21) for which the stabilizer subgroup of
Fq , and where f is a regular function on The linear equivalence E ∼ E Fq makes E very ample, thus dim . . , f m−1 }. This implies that the linear combination is the generic element of the interval I ( f , E ). By Remark 4.5, E − q is effective and very ample. Hence (28) and Lemmas 3.5 and 3.7 provide us with a Galois group Gal F A , F q (A ) . Let R denote the coordinate ring of the affine curve C Fq E . Observe that since deg E = deg E, the inequalities (19) imply that P Fq lies in C Fq(A) E Fq(A) . Con-

says that P is separable, whereas h is a codimension-1 point in A m+1
Fq , the point P corresponds to a discrete valuation on κ(P Fq ). Thus the Galois group Gal split(P Fq ) κ(P Fq ) acts transitively on the roots of any monic polynomial whose roots generate the extension split(P ) κ(P ). Because Gal split(P Fq ) κ(P Fq ) is a subgroup of Gal F A , F q (A) , this completes the proof.

Presence of a transposition
Fix an algebraic closure L def = F q (A), and define L ⊂ L to be the algebraic closure . It restricts to the morphism of affine schemes Since E is effective and very ample, we can choose a lift f (x) ∈ F q [x 1 , . . . , x m ] of f as in the proof of Lemma 3.7, and (29) becomes the restriction of the morphism which takes

Proposition 4.6 At each point in C L E L , the ramification order of is at most 1.
Proof Let 1 C L E L denote the R L -module of Kähler differentials on C L E L = Spec R L , and let d ∈ 1 C L E L denote the Kähler differential of . In D(x 0 ), on a sufficiently small affine open neighborhood U x ⊂ D(x 0 ) of each point x ∈ C L E L , we have a matrix M as in equation (24), where the regular functions r i cut out Spec L[x 1 , . . . , x m ]. The points of U x ∩ C L E L where has ramification order 1 are exactly the reduced points of V det(M) ∩ C L E L . Thus is suffices to prove that the L-scheme V det(M) ∩ C L E L is smooth.
For each 1 ≤ i ≤ m, let M mi denote the minor of M that we obtain by removing the m th -row and i th -column of M, so that From the proof of Lemma 3.7, we know that det(M mm ) is nonzero everywhere on In this neighborhood, the vanishing locus of det(M) where G A is a regular function with no A m dependence. Then V det(M) is singular at precisely those points where the determinant of the m × m-matrix vanishes. The absence of A m from det(M ) means that the zeros of det(M ) are defined over the subfield L ⊂ L, whereas the zeros of (30) are defined over the subfield F q (A m ) ⊂ L. Because zeros of (30) are not F q = L ∩F q (A m )-rational, this completes the proof.

Proposition 4.7
The morphism : C L −→ P 1 L is ramified at some point in C L E L in each of the following two cases: Proof The rational function F A on C L determines a morphism F A : C L −→ P 1 L . By definition, and F A differ by the constant A 0 , and so it suffices to show that F A is ramified at some point of C L E L .
At each point p ∈ C L , let ram p (F A ) denote the ramification order of F A at p (the order of vanishing of the Kähler differential dF A ∈ 1 C L at p). Define .
Lemmas 3.5 and 3.7 imply that the morphism F A : C L −→ P 1 L is finite and separable, so satisfies Riemann-Hurwitz [13, §IV, Corollary 2.4]. Since k is the degree of F A , this gives Thus it suffices to show that Fix a point p ∈ supp (E L ), and fix a uniformizing parameter z in the stalk O C L ,p . Let m p denote the order of E L at p, and recall that k p denotes the degree of the pole of f at p. Because E is effective, our assumption (19) implies that k p ≥ m p > 0. Because E is very ample, H 0 C L , O(E L ) is basepoint free, and thus there exists some nontrivial F q -linear combination A 0 of the variables A 0 , . . . , A m so that we can write the rational function m where the order of the pole of G A 1 z at p is between 1 and m p . Write where f (z) is an F q -rational function that does not vanish at z = 0, and where the order of vanishing of G A (z) at z = 0 is between k p − 1 and k p − m p . Thus the order of vanishing of d 1 F A at z = 0 is equal to the order of vanishing of the function at z = 0. This implies that: • If char F q does not divide k p , then ram p (F A ) = k p − 1; • If char F q divides k p , then ram p (F A ) ≤ 2k p − 2.
Repeating this argument at all points p in supp (E L ), we see that Thus (31) is satisfied whenever g > 0 or deg E > 1.

Proposition 4.8
Assume that one of the following two conditions holds: (a) There exists a very ample effective divisor E 0 on C such that E ≥ 3E 0 ; (b) There exists a very ample effective divisor E 0 on C such that E ≥ 2E 0 , char F q = 2, and d f | C E vanishes at a nonempty finite set.
Then the morphism : C L −→ P 1 L separates critical points in C L E L , i.e., there do not exist distinct points x, y ∈ C L E L satisfying the system of equations Proof It suffices to prove that the morphism F A : C L −→ P 1 L separates critical points. Assume that E ≥ n E 0 , with E 0 a very ample effective divisor on C L , and with n = 2 or 3. Let m 0 = dim H 0 C, O(E 0 ) − 1. Interpret C as a closed subvariety of P m 0 via the closed embedding provided by E 0 . The standard proof of Bertini's Theorem [13, §II.8, proof of Theorem 8.18] implies that for any two distinct points x, y ∈ C Fq E Fq , we can choose a linear form t on P m 0 Fq whose restriction to C Fq provides local uniformizing parameters t − t(x) at x and t − t(y) at y. We can furthermore choose t so that it satisfies the generic condition Since Then where Again by the dimension counts in [13, §II.8, proof of Theorem 8.18], we can fix a Zariski open neighborhood U ⊂ C Fq E Fq containing both x and y, such that the restriction of t to C Fq E Fq provides a uniformizing parameter t − t(u) at every point u ∈ U . Define At each L-valued point (u, v) in U xy , the system of equations (32) holds for the function F A if and only if (u, v) satisfies the single F q -valued matrix equation where d dt denotes the regular function on U such that d = d dt dt as a global section of 1 U . Define functions ϕ on U and c on U xy according to By (33), the 3 × 2-matrix at left in (35) has rank 2 everywhere in U xy . Hence (35) holds at (u, v) if and only if (u, v) satisfies the single determinant equation Let d (u, v) be the determinant that appears in (36). A straightforward calculation gives By (33), this last expression is nonzero in any characteristic. If n = 2 and char F q = 2, then .
Because the Zariski open subsets U xy cover C Fq × C Fq {diagonal} as (x, y) varies inside C Fq × C Fq {diagonal}, this completes the proof.

Proof of Theorem A
We now use the Galois group calculation in Sect. 4 to prove Theorem A.

Setup for the proof of Theorem A
Let F A ∈ R[A] be the element defined in (17), and let pr 1 : V (F A ) −→ A m+1 denote the resulting projection. For each F q -rational point a ∈ A m+1 , let F a denote the restriction of

Proposition 5.1
Let E and f be as in the statement of Theorem 4.1, and let Z ⊂ A m+1 F q denote the branch locus of pr 1 Then Z is pure of codimension 1 in A m+1 , and it satisfies the inequality where g denotes the genus of C.
and consider the pair of dual projective spaces where Sym • F q V * and Sym • F q V denote the graded symmetric F q -algebras on V * and V , respectively. Because E is a very ample effective divisor, the inequalities (19) imply that div( f ) − is very ample and effective. Identify C with its image under the closed embedding induced by div( f ) − . Pass to the algebraic closure F q to obtain a smooth, closed, irreducible subvariety C Fq ⊂ P(V Fq ). By [17, §3.1.3 and §5.1], this subvariety determines a dual variety C ∨ Fq ⊂ P(V * Fq ). We claim that C ∨ Fq is a hypersurface in P(V * Fq ). To see this, let N denote the conormal sheaf on C Fq in P(V ), and let P(N ) denote its associated projective scheme over C Fq , which comes with a projection where (39) is unramified reduces to exhibiting a hyperplane H ⊂ P(V Fq ) and a point x 0 of the scheme-theoretic intersection C Fq ∩ H such that x 0 is a non-degenerate (or ordinary) quadratic singularity of C Fq ∩ H (see [17, §1.1] for details). When C Fq ∩ H is 0-dimensional, as it is in our case, the condition that a point x 0 in C Fq ∩ H be a non-degenerate quadratic singularity reduces to the condition that the component of C Fq ∩ H containing x 0 is isomorphic to Spec F q [t] (t 2 ). Our ability to find a hyperplane H ⊂ P(V Fq ) and point x 0 ∈ C Fq ∩ H satisfying this condition follows from the decomposition (34) of F A provided in the proof of Proposition 4.8. Indeed, choose values a 0 , b 1 ∈ F q , for A 0 and B 1 in (34), so that f + a 0 + b 1 t + G A vanishes to order ≥ 2 at a fixed F q -valued point x 0 in C Fq , and then choose the value b 2 = 1 for B 2 . Thus Our parameter space A m+1 Fq admits a natural identification with a distinguished affine open chart inside a linear subspace L ⊂ P(V * ). Because the hyperplane H a associated to a point a ∈ A m+1 does not intersect C Fq at supp E, the morphism the formula (37) follows.

Remark 5.2
Suppose that a is an F q -rational point in A m+1 such that R (F a ) is a separable F q -algebra. Then since R is a Dedekind domain, the ideal (F a ) can be written uniquely as where the f i are distinct prime ideals in R, with each k(f i ) = R/(f i ) a separable extension of F q . Note that in this case, we have

Definition 5.3
If a is an F q -rational point in A m+1 , then the factorization type λ a is the partition of k given in (41). The factorization type counting function for a fixed partition λ of k is the assignment π C (−; λ) taking the short interval I ( f , E) to the value π C I ( f , E); λ def = # a ∈ A m+1 (F q ) : R/(F a ) is separable and λ a = λ . Definition 5.4 Given a permutation σ ∈ S k , its partition type, denoted λ σ , is the partition of k determined by the cycle decomposition of σ . For an arbitrary partition λ of k, we define In other words, P(λ) is the probability that a given permutation in S k has partition type λ.

Proof of the main theorem
We begin by proving a general theorem that provides an estimate for the number of F q -rational substitutions in the variables A 0 , . . . , A 1 for which the regular function f + A 0 + A 1 f 1 + · · · A m f m on C E factors according to a given partition of k.
The formulation of this theorem, as well as its proof, is very much in the spirit of [2, Proposition 3.1].
Theorem 5.5 Let C be a smooth projective geometrically irreducible curve over F q of arithmetic genus g. Fix a positive integer k. Then there exists a constant c(k, g) > 0, depending only on k and g, such that for any datum consisting of (i) a partition λ of k; (ii) a prime number p and a power q = p e ; (iii) an effective divisor E on C and a regular function f on C E satisfying such that p, E, and f satisfy either of the following conditions: (a) There exists a very ample effective divisor E 0 on C with deg E 0 ≥ 2g + 1 such that E ≥ 3E 0 ; (b) There exists a very ample effective divisor E 0 on C with deg E 0 ≥ 2g + 1 such that E ≥ 2E 0 , p = 2, and d f | C E vanishes on a nonempty finite set, we have where m def = deg(E) − g.
Proof of Theorem 5.5 By Theorem 4.1, we have that Gal(F A , F q (A)) = S k . Note also that by the Riemann-Roch Theorem, the requirement that deg E 0 ≥ 2g + 1 in (a) and (b) implies that dim H 0 C, O(E) = deg(E) − g + 1 = m + 1.
Let Z be the branch locus of the morphism V (F A )−→A m+1 as in Proposition 3.10. By Proposition 5.1, we have deg Z ≤ g − 2 + 2k. This provides a bound on both the number of irreducible components of Z and on the degree of each of these irreducible components. Applying Lang-Weil [21, Theorem 1], we obtain a constant c 1 (k, g), depending only on k and g, such that Consider the F q -varieties Y def = V (F A ) A m+1 Z and X def = A m+1 Z . By Proposition 3.10, the morphism ρ := pr 1 | Y : Y −→X is finite étale of degree k. By the theorem of the primitive element, we can construct the normal closure of the separable extension κ(F A ) F q (A 0 , . . . , A m ) as the splitting field of some degree-k polynomial over F q (A 0 , . . . , A m ). The Galois closure W of Y over X (see [29,Proposition 5.3.9]) is isomorphic to the integral closure of the coordinate ring of X in this splitting field, and therefore the Galois group Aut X W is degree k.
Observe that the closed embedding C 1 / / P m realizes V (F A ) as a hypersurface of degree k inside the affine open subscheme A 2m+1 Because we can construct W as a connected component of the k-fold fiber product Y × X · · · × X Y [29, Proof of Proposition 5.3.9], we can realize W as a locally closed subspace of A km+k+1 , whose closure is a hypersurface of degree ≤ k k . Thus we obtain a bound, depending only on k, on the degree of the closure of W inside an affine space.
The morphism W −→X defines a geometric embedding problem, in the sense of [3, §2.1]. In [2, Proposition 3.1], Bary-Soroker, Rosenzweig, and the first author construct a geometric embedding problem associated to a polynomial F ∈ F q [A, t], in the sense of [3, §2.1, p. 859]. However, the last two paragraphs of [2, proof of Proposition 3.1] make no special use of the fact that the geometric embedding is associated to a polynomial. The construction depends only on the following facts: • the degree of the Galois group of the geometric embedding problem is k, • W is a dense open subset of a hypersurface of degree bound by a function of k inside some affine space, • the point count in the branch locus Z ⊂ A m+1 F q has upper bound (45).
The proof can now proceed exactly as in the last two paragraphs of [2, proof of Proposition 3.1] upon replacing V in that proof with our variety X , and noting that (ii) above lets us replace the constant c 2 (m, B) appearing in [2, proof of Proposition 3.1] with a constant depending only on k, as in [2, proof of Theorem 2.3]. Thus we obtain a constant c(k, g), depending only on k and g, such that π C I ( f , E); λ − P(λ) q m+1 ≤ c(k, g) q m+ 1 2 , as desired.  (14) follows immediately from (47). The statement of uniformity in Theorem A, i.e., the statement that the implied constant in the error term O(q −1/2 ) depends only on k and g, follows from the fact that the constant c(k, g) in Theorem 5.5 depends only on k and g.