English

Prime and M\"obius correlations for very short intervals in $\mathbb{F}_q[x]$

Number Theory 2020-07-07 v2

Abstract

We investigate function field analogs of the distribution of primes, and prime kk-tuples, in "very short intervals" of the form I(f):={f(x)+a:aFp}I(f) := \{ f(x) + a : a \in \mathbb{F}_p \} for f(x)Fp[x]f(x) \in \mathbb{F}_p[x] and pp prime, as well as cancellation in sums of function field analogs of the M\"obius μ\mu function and its correlations (similar to sums appearing in Chowla's conjecture). For generic ff, i.e., for ff a Morse polynomial, the error terms are roughly of size O(p)O(\sqrt{p}) (with typical main terms of order pp). For non-generic ff we prove that independence still holds for "generic" set of shifts. We can also exhibit examples for which there is no cancellation at all in M\"obius/Chowla type sums (in fact, it turns out that (square root) cancellation in M\"obius sums is {\em equivalent} to (square root) cancellation in Chowla type sums), as well as intervals where the heuristic "primes are independent" fails badly. The results are deduced from a general theorem on correlations of arithmetic class functions; these include characteristic functions on primes, the M\"obius μ\mu function, and divisor functions (e.g., function field analogs of the Titchmarsh divisor problem can be treated.) We also prove analogous, but slightly weaker, results in the more delicate fixed characteristic setting, i.e., for f(x)Fq[x]f(x) \in \mathbb{F}_q[x] and intervals of the form f(x)+af(x) +a for aFqa \in \mathbb{F}_q, where pp is fixed and q=plq=p^{l} grows.

Keywords

Cite

@article{arxiv.1802.01215,
  title  = {Prime and M\"obius correlations for very short intervals in $\mathbb{F}_q[x]$},
  author = {Pär Kurlberg and Lior Rosenzweig},
  journal= {arXiv preprint arXiv:1802.01215},
  year   = {2020}
}

Comments

minor revision