Abstract:We study higher uniformity properties of the von Mangoldt function $\Lambda$, the Möbius function $\mu$, and the divisor functions $d_k$ on short intervals $(x,x+H]$ for almost all $x \in [X, 2X]$. Let $\Lambda^\sharp$ and $d_k^\sharp$ be suitable approximants of $\Lambda$ and $d_k$, $G/\Gamma$ a filtered nilmanifold, and $F\colon G/\Gamma \to \mathbb{C}$ a Lipschitz function. Then our results imply for instance that when $X^{1/3+\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (\Lambda(n)-\Lambda^\sharp(n)) \overline{F}(g(n)\Gamma) \right| \ll H\log^{-A} X \] for any fixed $A>0$, and that when $X^{\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (d_k(n)-d_k^\sharp(n)) \overline{F}(g(n)\Gamma) \right| = o(H \log^{k-1} X). \] As a consequence, we show that the short interval Gowers norms $\|\Lambda-\Lambda^\sharp\|_{U^s(X,X+H]}$ and $\|d_k-d_k^\sharp\|_{U^s(X,X+H]}$ are also asymptotically small for any fixed $s$ in the same ranges of $H$. This in turn allows us to establish the Hardy-Littlewood conjecture and the divisor correlation conjecture with a short average over one variable. Our main new ingredients are type $II$ estimates obtained by developing a "contagion lemma" for nilsequences and then using this to "scale up" an approximate functional equation for the nilsequence to a larger scale. This extends an approach developed by Walsh for Fourier uniformity.

Multidimensional small divisor functions

Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

On the multi-index (3m-parametric) Mittag-Leffler functions, fractional calculus relations and series convergence

Arithmetic constants for symplectic variances of the divisor function

Small Divisor problems and $A_p$ weights with an application

Irreducible vector-valued modular forms of dimension less than six

On the Kodaira dimension of moduli spaces of Abelian differentials

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

Multiplier ideals of normal surface singularities

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

Voronoi summation formula for the generalized divisor function $σ_{z}^{(k)}(n)$

Binary quadratic forms of odd class number

On the Dimension of a New Class of Derivation Lie Algebras Associated to Singularities

On effective multiplicity one for modular forms of half-integral weight

Two-Dimensional Analogs of the Minkowski ?(x) Function

Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus

Convolution of periodic multiplicative functions and the divisor problem

Higher Dimensional Versions of the Douglas-Ahlfors Identities

Polar multiplicities and integral dependence

Multidimensional operator multipliers

Reduction of Multiple Harmonic Sums and Harmonic Polylogarithms