Higher uniformity of arithmetic functions in short intervals I. All intervals

Abstract

We study higher uniformity properties of the Möbius function $μ$, the von Mangoldt function $Λ$, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{θ+\varepsilon} \leq H \leq X^{1-\varepsilon}$ for a fixed constant $0 \leq θ< 1$ and any $\varepsilon>0$. More precisely, letting $Λ^\sharp$ and $d_k^\sharp$ be suitable approximants of $Λ$ and $d_k$ and $μ^\sharp = 0$, we show for instance that, for any nilsequence $F(g(n)Γ)$, we have \[ \sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) Γ) \ll H \log^{-A} X \] when $θ= 5/8$ and $f \in \{Λ, μ, d_k\}$ or $θ= 1/3$ and $f = d_2$. As a consequence, we show that the short interval Gowers norms $\|f-f^\sharp\|_{U^s(X,X+H]}$ are also asymptotically small for any fixed $s$ for these choices of $f,θ$. As applications, we prove an asymptotic formula for the number of solutions to linear equations in primes in short intervals, and show that multiple ergodic averages along primes in short intervals converge in $L^2$. Our innovations include the use of multi-parameter nilsequence equidistribution theorems to control type $II$ sums, and an elementary decomposition of the neighbourhood of a hyperbola into arithmetic progressions to control type $I_2$ sums.

Theorems & Definitions (110)

• Theorem 1.1: Discorrelation estimate
• Remark 1.2
• Corollary 1.3: Discorrelation of $\mu$ and $\Lambda$ with polynomial phases in short intervals
• Remark 1.4
• Theorem 1.5: Gowers uniformity estimate
• Theorem 1.6: Multiple ergodic averages over primes in short intervals
• Theorem 1.7: Generalized Hardy--Littlewood conjecture in small boxes for finite complexity systems
• Remark 1.8
• Corollary 1.9: Linear equations in primes in short intervals
• Remark 1.10