  We introduce a general result relating "short averages" of a multiplicative
function to "long averages" which are well understood. This result has several
consequences. First, for the M\"obius function we show that there are
cancellations in the sum of $\mu(n)$ in almost all intervals of the form $[x, x
+ \psi(x)]$ with $\psi(x) \rightarrow \infty$ arbitrarily slowly. This goes
beyond what was previously known conditionally on the Density Hypothesis or the
stronger Riemann Hypothesis. Second, we settle the long-standing conjecture on
the existence of $x^{\epsilon}$-smooth numbers in intervals of the form $[x, x
+ c(\varepsilon) \sqrt{x}]$, recovering unconditionally a conditional (on the
Riemann Hypothesis) result of Soundararajan. Third, we show that the mean-value
of $\lambda(n)\lambda(n+1)$, with $\lambda(n)$ Liouville's function, is
non-trivially bounded in absolute value by $1 - \delta$ for some $\delta > 0$.
This settles an old folklore conjecture and constitutes progress towards
Chowla's conjecture. Fourth, we show that a (general) real-valued
multiplicative function $f$ has a positive proportion of sign changes if and
only if $f$ is negative on at least one integer and non-zero on a positive
proportion of the integers. This improves on many previous works, and is new
already in the case of the M\"obius function. We also obtain some additional
results on smooth numbers in almost all intervals, and sign changes of
multiplicative functions in all intervals of square-root length.
