No label defined (Q3979256)

[For the entire collection see Zbl 0732.00009.] Let \(M\) denote a smooth real manifold and \(F\) a rank \(n\) complex subbundle of the complex cotangent bundle \(T^*_ c M\). The Frobenius problem is to find locally \(n\) independent integrals for \(F\). If \(F+\overline F=T^*_ cM\) then \(F\) is called a \(CR\) structure on \(M\). In this case the author observes the Frobenius problem is equivalent to that of local generic \(CR\) embeddability of \((M,F)\) into \(\mathbb{C}^ n\). In this paper the author considers the more general situation in which one assumes that \(F+\overline F\) has constant rank, and investigates the relation between the Frobenius problem and that of local \(CR\) embeddability. For example, he shows that solvability of the Frobenius problem near a point \(p\) guarantees existence of nonconstant \(CR\) functions near \(p\). His ``main result'' is the following Theorem. Suppose \(M\) is a smooth strongly pseudoconvex real hypersurface in \(\mathbb{C}^ n\), \(n\geq 4\). Suppose \((E,D)\) is a smooth almost \(CR\) vector bundle over \(M\). Then every point of \(M\) has a neighborhood over which \((E,D)\) has a smooth \(CR\) frame.