Etale cohomology approach on $\tau(n)$ Ramanujan's $\tau$ conjecture states that $$\tau(n)=O_\epsilon(n^{\frac{11}2+\epsilon}),$$ which is a consequence of Deligne's proof of Weil conjectures. Answers in https://math.stackexchange.com/questions/1205419/status-of-taun-before-deligne/1205516 tell that best exponent before Deligne reached $\frac{29}5$.
What was it that cohomological approach gave that broke the traditional approach barrier to reach $5.5$ in exponent?
Posted originally in here https://math.stackexchange.com/questions/1206558/etale-cohomology-approach-on-taun where comments suggested to post in MO.
 A: One of the goals of the development etale cohomology was to generate a cohomology theory that could successfully count points on varieties over finite fields, with one of the main goals of proving the conjecture that Andre Weil laid out in 1949 (see his paper here). Indeed, the formulation of the conjectures already suggests Weil was thinking along these lines. The most striking of these conjectures is the Riemann hypothesis for the zeta function of a variety over a finite field. This conjecture was proven by Deligne in 1974 (available here).
The simplest case had been known for a quite while, namely that if $E/\mathbb{F}_{p}$ is an elliptic curve, then
$$ p + 1 - 2 \sqrt{p} < |E(\mathbb{F}_{p})| < p + 1 + 2\sqrt{p}.$$
This result is as sharp as it gets. For every integer $k$ satisfying $p+1 - 2 \sqrt{p} < k < p+1 + 2 \sqrt{p}$, there is an elliptic curve $E/\mathbb{F}_{p}$, with exactly $k$ points. In general, the bounds on the number of points on a variety (and character sums in general) that one obtains using the Riemann hypothesis are very powerful. (For example, in 1981 Hooley proved an asymptotic formula for the number of representations of an integer as a sum of two squares and three non-negative cubes. Hooley's work required estimates sharp bounds on certain character sums, and Milne proved these estimates by relating them to etale cohomology and using Deligne's proof of the Weil conjectures. Hooley and Milne's papers appear back-to-back in the same issue of Crelle.)
What does this have to do with the Fourier coefficients of modular forms? Deligne constructed algebraic varieties whose etale cohomology groups afford the Galois representations (conjectured to exist by Serre and Swinnerton-Dyer) attached to modular forms. Applying the Riemann hypothesis to these gives the "Deligne bound" that $|\tau(n)| \leq d(n) n^{11/2}$, where $d(n)$ is the number of divisors of $n$. (This application is explicitly mentioned in Deligne's 1974 paper - see Theoreme 8.2.) 
Most interestingly, Rankin's 1939 bound $\tau(n) = O(n^{29/5})$ played a role in Deligne proving the Riemann hypothesis for varieties over finite fields. In particular, Langlands observed that knowledge of the poles of symmetric power $L$-functions attached to $\Delta$ would be sufficient to conclude that $|\tau(p)| \leq 2p^{11/2}$, and Deligne observed that there was a nice translation of this idea into Grothendieck's cohomology theory. By making this work, Deligne overcame the fact that (at the time), knowledge was only had of the poles of $L({\rm Sym}^{2} \Delta, s)$. 
Finally, I will note that Kapil Paranjape and Dinakar Ramakrishnan have constructed an explicit Calabi-Yau 11-fold that gives rise to the Galois representation attached to $\Delta$. (See their paper here.)
