What examples are there of striking applications of the ideas of Microlocal Analysis?

Ideally i'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/topology, representation theory etc.) which follow as natural consequences of Microlocal Analysis and are not known to be obtained easily without it.