It is well-known that étale cohomology is used in the proof of Weil conjectures and that SGA 4.5 is devoted to it. Also it seems(from a brief perusal of Milne's notes) that it is a kind of Galois Cohomology/Kummer theory for arbitrary algebraic varieties.

However I have heard a lot of people praising it, and this leads me to suspect that it must have applications beyond proving the Weil conjectures. I would be grateful if some of these can be given. I am sorry if this is a stupid question. The wikipedia page, Milne's article, etc., did not give any extra applications and so I hope asking people is more sensible. Please provide references also if available.

9more comments