Hodge theory in the Sobolev topology for the de Rham complex on a smoothly bounded domain in Euclidean space.
We give an algebraic description of (wave) fronts that appear in strictly hyperbolic Cauchy problems. A concrete form of a defining function of the wave front issued from the initial algebraic variety is obtained with the aid of Gauss-Manin systems satisfied by Leray's residues.