Local solvability in \(C^{\infty}_ c\) of over-determined systems of vector fields (Q910924)

Let \(L_ 1,...,L_ n\) be linearly independent smooth complex vector fields on an open subset \(\Omega \subset {\mathbb{R}}^{n+1}.\) Assuming the local integrability of the system \(L_ jZ\equiv 0\), hence the formal integrability \([L_ j,L_ k]=\sum \alpha_{jkp}L_ p,\) every point \(P\in \Omega\) has a neighbourhood U such that \(L_ jf\equiv f_ j\) has a unique solution \(f\in C^{\infty}_ c(U)\) for any set \(f_ 1,...,f_ n\in C^{\infty}_ c(U)\) satisfying \(L_ jf_ k-L_ kf_ j=\sum \alpha_{jkp}f_ k\) if and only if every component of the sets \(Z^{-1}(z_ 0)\) is quasicompact. Moreover, the authors determine the conditions when \(L_ j\equiv \partial /\partial x_ j-i\epsilon_ jx_ j\partial /\partial x_{n+1}\) \((\epsilon_ j=\pm 1)\) in appropriate coordinate system (the Mizohata structure of the vector fields) and characterize the local solvability of the system \(L_ jg\equiv g_ j\) in terms of the signature of the Levi form and holomorphic extendability of certain auxiliary function.