Propagation of singularities for the wave equation on manifolds with corners (Q2389126)

In the very interesting paper under review the author describes the propagation of \(C^{\infty}\) and Sobolev singularities for the wave equation over \(C^{\infty}\)-manifolds \(M\) with corners equipped with a Riemannian metric \(g.\) In other words, for \(X = M \times \mathbb R_t,\) \(P = D_t^2 - \Delta_M\) and \(u \in H_{\text{loc}}^1(X)\) solving \(Pu = 0\) with homogeneous Dirichlet or Neumann boundary conditions, it is shown that the wave front set \(WF_{bl}(u)\) is a union of maximally extended generalized broken bicharacteristics. This result is a \(C^{\infty}\)-counterpart of \textit{G. Lebeau}'s results [Ann. Sci. Éc. Norm. Supér. (4) 30, No. 4, 429--497 (1997; Zbl 0891.35072)] for the propagation of analytic singularities on real analytic manifolds with appropriately stratified boundary. The machinery employed makes use of \(b\)-microlocal positive commutator estimates, thus providing a new proof for the propagation of singularities at hyperbolic points even if \(M\) has a smooth boundary (and no corners).