Sheaves for spacetimes: a survey

On a spacetime endowed with a time function (such as a globally hyperbolic manifold) we solve the global Cauchy problem for hyperbolic D-modules in the framework of Sato’s hyperfunctions, illustrating the effectiveness of microlocal-sheaf theoretic methods in linear problems.