Quadratic uniformity of the Möbius function
We prove the “Möbius and Nilsequences Conjecture” for nilsystems of step 1 and 2. This paper forms a part of our program to generalise the Hardy-Littlewood method so as to handle systems of linear equations in primes.