Coherence and Other Properties of Sheaves in the Kohn Algorithm

In the smooth case, we prove quasi-flasqueness for the sheaves of all subelliptic multipliers as well as at each of the steps of the Kohn algorithm on a pseudoconvex domain in $\C^n.$ We use techniques by Jean-Claude Tougeron to show that if the domain has a real-analytic defining function, the modified Kohn algorithm involving generating ideals and taking real radicals only in the ring of real-analytic germs yields quasi-coherent sheaves. This sharpens a result obtained by J. J. Kohn in 1979.