On uniqueness of hyperfunction solutions of holonomic systems (Q911125)

Let M be a real analytic manifold of dimension n and let X be its complexification. Let \({\mathfrak M}\) be a holonomic system on X and let ch(\({\mathfrak M})\) be the characteristic variety of \({\mathfrak M}\). Let Z be an analytic subset in ch(\({\mathfrak M})\). The real loci of ch(\({\mathfrak M})\) and Z are denoted by ch(\({\mathfrak M})_ R:=ch({\mathfrak M})\cap T^*M\) and \(Z_ R:=Z\cap T^*M\), respectively. (Here \(T^*M\)-cotangent bundle.) The spectral map from the sheaf of hyperfunctions \(b_ M\) to the direct image \(\pi_*(c_ M)\) by \(\pi\) : \(T^*M\to M\) of the sheaf of microfunctions \(c_ M\) is denoted by sp. The main result: Let Z be an analytic subset of complex codimension \(\geq 1\) in ch(\({\mathfrak M})\). For a hyperfunction solution u(x) of the holonomic system \({\mathfrak M}\), if \(sp(u(x))|_{ch({\mathfrak M})_ R-Z_ R}=0,\) then \(u(x)=0\) as a hyperfunction on M.