Reconstruction theorem for germs of distributions on smooth manifolds (Q2033239)

The authors study the following formulation of the reconstruction problem on smooth manifolds. Let \(M\) be a \(d\)-dimensional connected smooth manifold without boundary. Given a family of distributions \(\{ F_p\,|\, p\in M\}\) on \(M\) such that the mapping \(p\mapsto F_p(h)\) is Borel measurable for each element \(h\) of the test space, is it possible to find a distribution \(F\) on \(M\) which is locally approximated in a suitable way by \(F_p\) in a neighbourhood of \(p\), for all \(p\in M\). The main result states that this can be done under an additional condition on \(\{F_p\, |\, p\in M\}\). This condition, called \(\gamma\)-coherence, also appears when one considers the problem on \(\mathbb{R}^d\) (the authors give a geometric formulation of this concept). Under this condition, the main theorem states that there always exists a unique distribution \(F\) on \(M\) such that for any local chart \((U,\phi)\) in a fixed atlas, the distribution \(\phi_*F\in \mathcal{D}'(\phi(U))\) satisfies the following: for any compact subset \(K\) of \(U\) and any \(\varphi\in \mathcal{D}(\phi(U))\), it holds that \[ |(\phi_*F-\phi_*F_p)(\lambda^{-d}\varphi(\lambda^{-1}(\cdot-\phi(p))))|\leq C\lambda^{\gamma},\quad p\in K,\, \lambda\in(0,1]. \] Furthermore, the distribution \(F\) does not depend on the atlas.