# Full text of "$\mathcal{C}^{\infty}$-hypoellipticity and extension of $CR$ functions"

## See other formats

r- NON COMPLETELY SOLVABLE SYSTEMS OF COMPLEX FIRST ORDER PDE'S C. DENSON HILL AND MAURO NACINOVICH O ' Introduction <^' ^^ ^^ j^ . History and motivation. Hans Lewy in 11291 and Louis Niremberg in B5II gave Q I two fundamental results in tiie theory of linear partial differential equations. The ^ ■ first showed that a non homogeneous equation for a first order partial differential operator with complex valued real analytic coefficients, but C°° -smooth right hand side, may, in general, have no local weak solution. The second, that a homoge- neous equation for a first order partial differential with complex valued smooth ^ \ coefficients may have no non constant weak local solutions. Both results were for- w ' mulated and proved for partial differential operators in R^. A fuller understanding (~| . of 12911 opened different directions of investigation (see e.g. 121 [H [T9J [36j [23), "j^ \ especially from the two points of view of p.d.e. theory and of the analysis of CR manifolds. Nirenberg's example was especially relevant to the problem of embedding CR manifold into complex manifolds. From this point of view, there have been two ^ . types of results. The Nirenberg example means that pseudoconvex three dimen- Tj" \ sional CR hypersurfaces cannot be locally C/?-embedded. However the existence t^^ ■ of sufficiently many independent solutions of the tangential Cauchy-Riemann equa- P^ , tions was shown to hold for pseudoconvex higher dimensional CR hypersurfaces • \ (see e.g. H] |9l |T2j |25l |26j |27|), and some general results were also obtained in Q ■ terms of Lie algebras of vector fields (see e.g. [I3)- In the opposite direction, the counterexample of f35l was extended to CR hypersurfaces with degenerate or non degenerate Lorentzian signature (see e.g. |[T4l [TS, 20, 22, 231 The results above were all obtained for the case of CR hypersurfaces. For higher codimension, a crucial invariant is the scalar Levi form, which is parametrized by (N X ;_] ■ the characteristic codirections of the tangential Cauchy-Riemann complex. The C^ first result in higher codimension on the absence of the Poincare lemma at the place q when some non degenerate scalar Levi form has q positive eigenvalues was first proved in f3l. In flSl this result was extended to some cases where the scalar Levi form is allowed to degenerate. Much less is known about the C/?-embedding of manifolds of higher CR codimension. In OTl some results of Il22ll are extended under some supplementary conditions of the Cauchy-Riemann distribution. We also cite some partial results in |[T0irTTl[T6l . Here we want to reconsider some of these questions, also in the more general framework of general distributions of complex vector fields of El. 2000 Mathematics Subject Classification. Primary: 35F05 Secondary: 32V05, 14M15, 17B20, 57T20. Key words and phrases. Complex vector fiedls, CR manifolds. 1 C.D.HILL AND M. NACINOVICH Contents of the paper. Let M be a smooth paracompact manifold of dimension m, and let Li , . . . , L„ be smooth complex vector fields on M. In local coordinates each Lj can be written as (0-1) Lj^Lj{x,D) = Y^lajM)-^,, with coefficients gjj which are assumed to be complex valued and C°°-smooth. We are interested in considering local solutions of the homogeneous system (0.2) LjU = 0, for j=l,...,n. When n > I, since every local distribution solution u of (10.21 ) also satisfies [Lj^ , Lj,]u = (Lj^Lj^ - Lj^Lj^)u ^0, . . . , [Lj^ , [Lj^, [..., LyJ]]M = for all sequence ji,J2, ■ ■ ■ ,],■ with 1 < i\,J2, ■ ■ ■ ,ir ^ n, it is not restrictive to require that Li, . . . ,L„ satisfy the formal Cartan integrability conditions, i.e. that all commutators [L^, ,L^,] are linear combinations, with smooth coefficients, of L\, . . . , Lfi. When this condition is satisfied, and Li, . . . , L„ define linearly independent tan- gent vectors on a neighborhood Uq of a point p^ e M, there are at most m - n solutions Ml, ... , M„,_„ of (I0.2I ). with dui{po), . . . , du,„-„{pQ) linearly independent. In fact this is always the case when the L/s have coefficients that are real analytic in some coordinate neighborhood of po- Nirenberg's result in Il35l shows that in general this is not true in the C°° case if « = 1, m = 3. A small perturbation of a vector field for which (10.21 ) has two analytically independent solutions changes to a vector field for which all local solutions of (10.21 ) are constant. In ^we show how this result extends to the case where n - \, but m is allowed to be any integer larger or equal to 3. Namely, we show that the smooth complex vector fields for which (10.21 ) admits non locally constant solutions near some point of M form a small nowhere dense set of first Baire category in the Frechet space of complex vector fields on M. This generalization of f35l was already given in fST], and our main goal is to ex- tend in fact the results of 1 22 1 to the case of higher CR codimension. We show that in general, given a smooth manifold M and any locally C/?-embeddable Lorentzian CR structure on M, and a point po e M, there is a new Lorentzian CR structure, which is defined on a neighborhood of po in M, and agrees to infinite order with the original one at po, which is not locally C7?-embeddable. We also show that the corresponding system (10.21 ) is not completely integrable in the class C^. In ^we collect the notions on CR manifolds that will be employed throughout the rest of the paper. In ^ ^ ^ ^we prove the analog of the result of 31] for overdetermined systems by adaptations of the arguments therein. The results are weaker than those obtained for a scalar p.d.e. In fact, our constructions involve perturbations of an original system which, to keep formal integrability, employ ei- ther functions that are constant with respect to some variables, or, in ^ special morphisms of CR manifolds, and, in the more special cases of 96.71 analytic ob- jects, called C/?-divisors. In general, we obtain new overdetermined systems which are only defined in small coordinate neighborhoods. In S6.8l we prove that we can globally define a new CR structure on the Lorentzian real quadric Q in CP^ which is not locally C/?-embeddable at all points of a hyperplane section. NON COMPLETELY SOLVABLE ... 3 In ^ we also describe the CR complexes and show in S6.2I how the technique used in the rest of the paper can be also employed to give proofs of the non validity of the Poincare lemma different from those of |[3ll4l[T8l. 1 . Homogeneous equations with no nontrivial solutions In this section we prove a generalization to dimensions > 3 of a remarkable theo- rem of Nirenberg about local homogeneous solutions to a single homogeneous lin- ear partial differential equation having smooth variable complex coefficients ( |[35]| . see also G21[?T1l ). Here and in the following sections, M will denote a smooth paracompact real manifold of dimension m. We denote by X'^{M) the Frechet space of all C" complex vector fields on M. Note that dc^{M) includes also real vector fields on M. When M is an open set in R'", each L € X^{M) can be written as L = ai{x)-— + a2{x)-— + ■■■ + a,„{x)- — , OXi 0X2 OXm where x = {x\,X2, ■ ■ ■ ,Xm), and the coefficients aj{x) 6 C°°{M) are (in general) complex valued. Theorem 1.1. Let M be a smooth manifold of dimension m>3. Then the set S of L € X'^(M)for which there exists a non empty open subset U of M, an e > 0, and a solution u e C'^^^{U) ofLu = on U with du(p) i= Ofor at least one p & U, is a nowhere dense set of first (thin) Baire category. In other words: the set of all L on M having the property that any u with Holder continuous first derivatives, which is a local solution to Lu = 0, in any neighbor- hood of any point, must be constant, is a dense set of the second (thick) Baire category. First we prove a Lemma. Lemma 1.2. Let M be a smooth Riemannian manifold of dimension m > 3, and let Lq € X^{M). Then for every point po e M, h e N, and e > we can find L € X^{M) with (1.1) ||L-Lo||/,,M<e on M, such that (1.2) u e C\U), [/"P^" 3 po, Lu = OonU ^ du{po) - 0. Proof. We can argue on a small coordinate patch Q. about po, and then, substituting Lq by another vector field Lq sufficiently close in the /z-norm, we can assume that the coefficients of Lq are real analytic in the coordinates in Q, and that Loip), L[){p), [Lo,Lo]{p) are linearly independent in CTpM^p e Q. Let k - m -2. By the real analyticity assumption, using the Cauchy-Kowalevski theorem, and by shrinking £l if needed, we can find k + \ complex valued real analytic zo, Zi , • ■ • , Zm on Q with Lqzi -0, for / = 0, . . . , k, dzo A dzo A dzi A ■ ■ ■ A dzk ^ onQ.. Let Xi = Rezi, yt = Imz,-. We can also arrange that xo,yo,x\,...,Xk are real coordinates in Q centered at po, and that ytipo) = 0, dyi(po) = ior i = I,. . .,k. 4 C.D.HILL AND M. NACINOVICH This preparation yields a local C/?-embedding of Q as a CR submanifold of CR dimension 1 and CR codimension k in C*"*"^, given by Ji = hi{zo,x) for / ^ 1,...,^, with X - (xi, . . . , Xk), and hi - 0{zoZo + kl^)- After multiplication by a nowhere zero function, we can take Lq of the form Lo = — + y.ai—, ateC^ia). dzo -^^'=1 dxi The condition that [Lq, Lo]{po) + implies that d^hildzodzo 7^ at po for some index /. Moreover, we note that we obtain new solutions of the homogeneous equation Lqu = by taking for u any holomorphic function of zo,Z]_, ■ ■ ■,Zk- This allows us to use biholomorphic transformations to obtain that (*) the real Hessian of h\{zo, x) is positive definite in Q.. In this way, the sets Q,- = {/? e Q | Imzi < r], for r > 0, form a fundamental system of open neighborhoods of pQ in M. Set Mr = {peQ.\zi= t), for teC. Then, by ([*]), Mq = {po), and there is an open connected neighborhood tL» of in C and a smooth real curve Im t = <^(Re t) in a>, passing through 0, with the properties (0 MrCQiiTEOJ, (ii) Mr = % if Im T < 0(Re t), {in) M,- = {apoint} if Imr = 0(ReT), (jv) M^ ^ 5 Mf Im T > 0(Re t). Let {Dy} be a sequence of pairwise disjoint closed discs in o)"^ = |t € 6t» I Imr > 0(ReT)}, with centers and radii converging to for v — > oo. For a suitable r^ > 0, all sets a»^ = {t e (X) I 0(Re t) < Im t < r) are connected, for < r < ro. Set w^ = w^ \ l^^^v, D.',. = {peQ.\ ziip) e aj'^}. Let M be a C^ solution of Lq{u) = on Q^, for some < r < ro- For each t e co'^ we define F(t) = I u dzo A dz.2 A • • • A dZk- JMr We claim that F is holomorphic in co'^. Let indeed k be an arbitrary smooth simple closed curve in cOr. Then Ure/c^r is the boundary of a domain A/^^ in O, that is diffeomorphic to the Cartesian product of a 2-disc and a.{k - l)-ball, and (f) F{T)dT = &)dT \ u dzo A dZ2 A • • • A dZk = ± ( " dzo A dz\ A (iz2 A • • • A dZk Jk Jk JMr JdN^ = ± I du A dzo A dzi A • • • A (iZjt = 0, JNr because (see ESl ) du A dzo A Jzi A • • • A dZk - (Lqu) dzo A dzo A (jfzi A • • • A Jzyt = 0. NON COMPLETELY SOLVABLE ... 5 By Morera's theorem, F is holomorphic on a>J.. Moreover, F extends to a continu- ous function on the closure of a»J. in a> n {Im t < r), that equals for Im t = 0(Re r) because of (ITnl ). It follows that F{t) = for t e co'j.. For each v £ N, let Qy = {;? G O | zi(/?) e Dy}. We fix smooth functions ipi in O, such that (A,(izo ^ dzo A • • • A Jz^ is, for each i = 0,1, . . . ,k, a. non-negative real regular measure, with suppiAr- U .^Qa+ic-t+i) and such that, for . r d ^k d we have \\L - Lq\\i, < e. Assume now that u e C'(Qr) satisfies Lu = 0. Hence, for all V sufficiently large, Qy c Q.r, and - ± (h dr \ u dzo A dz2 A • • • A dzk = \ u dzo A dzi A • • • A dzk JdDy J Mr JdQy - I {Lou)dzo A dzo A (izi A • • • A (izyt - I ((Lo - L)u)dzo A (izo A (izi A • • • A dZk implies, by the mean value theorem, that, for all large / € N, there are points Pi, p'. £ Qj such that, for large j. Re -^^ ^ = 0, Im ^^^^^ = 0, ozo dzo du{pi+j(k+n) '^'^^P i+ i(k+i)^ Re ^^ ^ = 0, Im 'U^fllL = o, for i=l,...,k. OXi OXj By passing to the limit, as pj —> po, we obtain that ^ 0, = 0, forj ^ 1,...,L OZO OXi Together with Lu{po) = 0, this yields du{po) = 0. n Proof of Theorem \L1\ We fix a Riemannian metric on M, so that we can compute the length of vectors and covectors and the C'' -norms of functions defined on sub- sets of M. Then we have seminorms which endow '!i{M) with a Frechet space topology, and we may discuss Baire category. Let {?7y}ygN be a countable basis of non empty open subsets of M, and for each y e N fix a point py e Uy. For /j € N we define (£(y, h) to be the closure in X'^{M) of the set of L such that , 1 (1.3) 3M€C^^/i(^y)with The set (£(v, /z) has an empty interior. This can be proved by contradiction. If some E(v, h) had an interior point, by Lemma [L^ it would contain an interior point L satisfying (11.21 ) with po = py. By definition, there is a sequence {Z.y}ygN with Lj —> L in 3E'^(M) for j —> oo such that for each j, there is Uj e C '^h(Uy) with LjUj = on Uy, \\uj\\i_^^i u < h and \du{py)\ > |. By the Ascoli-Arzela theorem, passing to a subsequence we can assume that uj ^ u e C'^*(?7y), uniformly with Lu = on Uy, IMI, 1 < 'Jy - h. [\du{Py)\ ^\ 6 C.D.HILL AND M. NACINOVICH their first derivatives on every compact neigiiboriiood of py in Uy. Then Lm = on Uy, and \du{py)\ > | > contradicts (I1.2I ). Therefore the union |J^;,S(v, /j) is a countable union of closed subsets having empty interior, hence of first Baire category. Then also S is of first Baire category, because £ c [Jy^h^{v, h). This completes the proof of the Theorem. n 2. Involutive systems and CR manifolds To extend the result of ^ to overdetermined systems of homogeneous first or- der p.d.e.'s, we will develop ideas from |14lfT5l[20i. In this section we begin by describing the general framework. In the following, M will denote a C^-smooth manifold of real dimension m. 2.1. Generalized complex distributions and CR structures. Let J^ be a gen- eralized distribution of smooth complex vector fields on M. This means that 2^ defines, for each open subset L'^ of M a, C°°{U) submodule of di^^U), in such a way that the assignment U — > ^(U) is a sheaf: (1) If [/°P™ c y°P™ c M, then Z\u e 3fiU) for all Z £ 3f{Vy, (2) If {Uy] is a family of open subsets of M, a smooth complex vector field Z, defined on lJv^v> belongs to ^{[JyUy) if and only if Z\u^ e ^{Uy) for all y. Our main interest in the sequel will be focused on the local solutions to the homogeneous system (2.1) Zm-0, VZ€^. It is therefore natural to assume in the following that i2° is involutive, ov formally integrable. This means that (2.2) [Zi,Z2] e 3f{U), VZuZj e 3f{U), V[/°p™ c M. Since ^ is a fine sheaf, every germ Zq,^ of iF at a point p e M is the restriction of a global Z e ^(M). Thus we can for simplicity utilize global sections Z e 2f{M) in most of the discussion below. For each point p e M, we consider the set (2.3) ZpM = {Zip) I Z e 3f{M)} c CTpM. If the dimension of the C-linear space ZpM is constant, we say that iF is a distri- bution of complex vector fields. Definition 2.1. A CR structure on M is the datum of an involutive distribution 3f of smooth complex vector fields with ^ n ^ = 0. The constant dimension n of ZpM is its CR dimension, and ^ = m - 2?i its CR codimension. We call the pair (n, k) the type of the CR manifold M. In the case where iF is a CR structure on M, we write sometimes T^'^M for ZM. When M is a real smooth submanifold of a complex manifold X, we consider on M the generalized distribution 3^{U) = {Ze ^'^{U) I Zp e T^'^X, Mp e U], where T^'^X is the bundle of anti-holomorphic complex tangent vectors to X. Then 3f is involutive and ^ n 3f = 0. When 3f has constant rank, ^ defines a CR structure on M, for which we say that M is a CR-submanifold of X. NON COMPLETELY SOLVABLE ... Let 1 < a < oo. A complex CR-immersion of class C" of M is a C"-smooth immersion cj) : M ^ X of M into a complex manifold X with d(!^{XpM) c J ' for all p e U. For any open set L'^ of M we set (2.4) ffuiU) = {ue C\U) \Zu = Q, "iZ e 3f{M)}. The assignment [/"p^" — > i?yi{U) defines a sheaf of rings of germs of complex valued differentiable functions on M. 2.2. The differential ideal and complete integrability. Let Q*j^ = ©o<p<m^ be the sheaf of germs of alternated smooth differential forms on M. We associate to 3f the differential ideal (2.5) Jm = 0^^j J'm with J"^ - {Tl e i2^ I ^\nM) = 0}. This is a graded ideal sheaf of Q*j^^, generated by its elements of degree 1. Being interested in the local solutions to (12.11) . we can assume that ^m is complete and that iF is the characteristic system oi J'm, i.e. that nU) = {Ze I^(M) I Z\Jm{U) c Jm{U)] = {Ze t^{U) I Ti(Z) - 0, Vt] e J^'y^)], V^°p'=" c M. If ^ is a distribution, it is the characteristic system of its differential ideal. The pointwise evaluation of th Z°M of CT*M, given by (2.6) Z°M = y Z^M, with Z^M = {^ € CT*pM \ ^{Z) = VZ e ^(M)). In general, (12.61 ) defines a subset of the complexified tangent bundle of M. Definition 2.2. Let ^ be a generalized distribution of smooth complex vector fields on M and po € M. We say that ^ is completely integrable at po if (2.7) Vt] e ZjJjjM 3m € ^M(po) with Jm(po) - r]- pointwise evaluation of the elements of ^\^ yields in this case a smooth subbundle This means that (12.11) has at po the largest number of differentially independent local solutions that is permitted by the rank of iF. 2.3. The case of CR manifolds. Let ^ be a CR structure of type (n,k) on M. Complete integrability a.t po e M is equivalent to the existence of a complex CR- immersion of class C^ of an open neighborhood U of po into C"*'^. The question of the regularity of complex C/?-immersions seems in general a rather delicate open problem (see e.g. fSOl). Note that any C' -immersion is in fact C°°-smooth when M satisfies suitable pseudo-concavity assumptions (see [2|). For C°° -smooth complex local C/?-immersions we introduce a special notation. Definition 2.3. A CR-chait on M is the datum of an open subset U and oi n + k smooth CR functions zi, . . .,z.n+k e ^m{U) n C°°{U), such that dziip) A • • • A dzn+kip) 7^ 0, V/7 € U. Clearly (\){p) = (ziip),. . . ,Zn+kip)) provides in this case a C°°-smooth C/?- immersion of U in C""*^*^. 8 C.D.HILL AND M. NACINOVICH The functions zi , . . . , Zn+k of a C/?-chart are not independent complex coordi- nates when k > 0. For each point po of U there are indeed k real valued func- tions p\,. . .,pk, defined and C" on an open neighborhood G of <^ipo) in C""'^'^, with Piizu---,Zn+k) ^ Oonaneighborhoodof/7o, and5pi(ct)(/7o))A---A<9pj-((j)(;7o)) * 0. Definition 2.4. We say that a CR manifold M is locally CR-embeddable if the open subsets U of its CR-chaits make a covering. Locally C/?-embeddable CR manifolds can be abstractly defined as ringed spaces, using the structure sheaf ff'^ = 0'm^'^°° of the germs of its smooth CR functions. Lemma 2.5. Let M be a CR manifold of type (n, k) and po e M. Then we can find an open neighborhood U of pq in M and a new CR structure on M which is locally CR-embeddable and agrees to infinite order with the original one at pQ. Proof. Let ^ be the CR structure on M. It suffices to consider smooth functions Zi, . . . ,Zv which are defined on a neighborhood of po, satisfy Zzj = 0°° at pQ, and have dziipo) A ■ • ■ A dzvipo) "^ 0. To prove the existence of such functions, we observe that it is always possible to find a smooth coordinate chart ([/, xi, . . . , x,„) centered at po such that ^ is generated in IJ by vector fields of the form d d sr^m d Zi = — + I- + ),■_ ^, «;W^— ' with aj{x) = 0{\x\). uXi OXj^fi * 'J '^+^ OXi We denote by m the maximal ideal of the local ring C{{xi, . . . , x,„}} of formal power series of xi, . . . ,Xm- We obtain formal power series solution to (12.11 ) by constructing by recurrence sequences {fh}h>o ^ C{{xi, . . . ,Xm}} which solve the equations 'fh e m^ (*) -Ljfiem, for j =l,...,n, Ljfh+i + Rjfh e m''+i , for j = l,...,n. We observe that, taking /i equal to x,- -i- ixi+n for / = 1, . . . ,?i, or to X2„+;, for i = 1, . . . , ^, we obtain v independent solutions of L,/i = for 1 < / < «. Assume now that d > I and fi € m'^ satisfies Lifd + Rifi-i e m'', for l<i<n. The integrability conditions yield [Z,, Zj] = for 1 < /, j < n. Hence we obtain (**) - [Zi, Zj\fd = -LiRjfi + LjRifd + [Ri, Rj]fd. We have Rifd e m'^, and hence there is a polynomial g,,-/ £ C[xi, . . . , x,„], homoge- neous of degree d, such that Rtfd - g,\d £ m''^^ Since [/?,-, Rj]fd £ m^"''^ , we obtain from (t**D that Ligj^d = Ljgj^d for all 1 < i,j < n and therefore there is a polynomial fd+i € C[xi, . . . , x„,], homogeneous of degree d + I, such that Ljfd+i = gj^ for i - I, . . .,n. The series Yjfi of the terms of a sequence {fd] solving (IB is a formal power series solution of (12.11) . In particular, we can find solutions {zi), . . . , {zvl £ C{{xi, . . . , x„,)} to (12.11) with d{Zi]{0) - dx,{0) + idxi+ni^^) fori- I,. . .,n and d{zi]{0) - dxn+i{0) for i - n + 1, . . . , V. It suffices then to take smooth functions zi, - • - , Zv having Taylor series {zi ),..., Izv) at 0. n NON COMPLETELY SOLVABLE ... 9 2.4. Characteristic bundle and Levi form. |[32]| The underlying real distribution and the characteristic bundle of ^ are: (2.8) 'H = {ReZ\Ze3f}, i.e -HC^) = {ReZ | Z € ^(f/)}, VC/°p'=" c M, (2.9) H^M = {^ € T*M I ^{X) = 0, VX £ 'H(M)}. To each characteristic covector ^q e H^^M we associate a Hermitian symmetric form on Zp^M, by (2.10) %„(Zi,Z2)-/MZi,Z2]), VZi,Z2eir(M). In fact a straightforward verification shows that the value of the right hand side of (12.101 ) only depends on Z[{po),Z2{po) e Zp^M. Moreover, Q^g{Zi,Z2) = if one of the two vector fields is real valued on a neighborhood of po. Thus fi^^ defines a Hermitian symmetric form on the quotient of Zp^M by the subspace Np^M ^ {Z{po) \ Z € 3f{M) n 2^{M)}, consisting of the values at po of the complex multiples of the real vector fields in ^{M). Set (2.11) Zp,M = Zp,Ml^p,M. If ^0 £ ^po^' ^^^ (12.101 ) defines a Hermitian symmetric form L^^ on Zp^M, that we call the Levi form of iF at ^o- Definition 2.6. Let pQ e M and ^o £ ^^q^- ^^ ^^Y ^^^ ^ i^ ^-pseudoconvex at ^0 if L^Q is nondegenerate and has exactly q positive eigenvalues on Zp^M. If 3f is 1-pseudoconvex at some ^o e Hp^M, we say that iF is Lorentzian at po- If iF(M) is generated by a single vector field L near p^, the condition of being Lorentzian at po means that L{pq), L{pq), and [L,L](po) are linearly independent in CTp^M. 2.5. Reduction of complete integrability to the case of CR manifolds. When NpM has constant dimension on a neighborhood U oi po e M, then the real vector fields in 3f{U) define an involutive distribution ^ of real vector fields on U. By the Frobenius theorem, there is an open neighborhood W of pQ in U and a smooth fibration n-.W^BofW such that B is a smooth manifold and the fibers of n are integral submanifolds of -vV. One easily proves Lemma 2.7. There is a CR structure S" on B such that for every p e W we have ^M,(p) - ^* ^B,(Mp))' '^^^ ^ '■* completely integrable at p e W if and only if 3f' is completely integrable at Jt(p). 3. Involutive systems which are not completely integrable at po In this section, we give a weak generalization of the results of 31] to Lorentzian CR manifolds M with arbitrary C/?-codimension k > I and C/?-dimension n > 2. We recall that m = dim^ M = 2n + k, and we set v = « + k. We closely follow the arguments of ffl Assume that M is locally C/?-embeddable and Lorentzian at po. Then there is a CR-chait (U, zi , . . . , Zv) centered at po, with dz'ipo) real for / = « + 1, . . . , v, and (3.1) Imz^ + ZvZv + Yj"=i ^fd = Yj'i=n^'J^'J "^ '^'•'^'^^ ""^ ^■ By shrinking, we get ^]~^ZiZi > 5 Imz^ on U. 10 C.D.HILL AND M. NACINOVICH We consider the map k : U 3 p ^ w = (ziip), ■ ■ ■ ,Zn-iip),Zv{p)) e C". By a further shrinking, we can assume that there is an open ball B c C", centered at 0, such that - Tc{U) = u), with B\(jj strictly convex, and do) n B smooth; - if Imx > 0, then {w e B \\raw„ - x] <z oj; - for all w e tL> the set M„ - ti~^{w) is diffeomorphic to the sphere S^; - for w e dco n B the set M„ - k~^{w) is a point. As in ^ we have: Lemma 3.1. Ifue ^m(U), then (3.2) F{w) = I udzn A • • • A dzv-i = 0, Vw € CO. Proof. We prove first that F is holomorphic on w. Fix any polycylinder D - D\ y. ■ ■ ■ y. Dn m oj, with D,- = {t e C | |t - t,| < e,}. For 1 < j < « we set dj{D) = {w e D | |wy - tj\ = ej}, yj = -r^J(c?vvi A • • • A dwn) and consider the integral d) F{w)dwi A • • • A (iw„ A Y; = (b <iwi A • • • A dwn A Yy ( ^^ <3?z« A ■ ■ ■ Adz JdjD JdjD JM„. Let A^,- = 7i'\diD) and A^ = ji-\D). We have 5A^ = Y,"=i ± A^,- Moreover, the form u dz\ A • • • A dzv A Jt*Yy is zero on A^, for / + j. Thus we obtain: (P F(w)dwi A • • • A Jw„ A Yj = ± I udzi A ■ ■ ■ AdZy A Jt*Yy = > I ± M dzi A ■ ■ • dZv A J[*Y/ - ± I c/m A cfzi A • • • dZv A Jt*Y/ = because Jm e (dzi, . . . , (izv) by the assumption that u e ffuiU). This equality, valid for all closed polycylinder D in cu and all I < j < n, implies that F is holomorphic in OJ. Clearly F{w) — > when w -^ dcoDB, because M„,„ is a point for wq e dco n B, and hence F = on 6l» by Holmgren's uniqueness theorem, since d has constant coefficients in C". n Let if/ be a smooth function with compact support in C, and set . ^ 1 CC H^)dl A dl Then —r = >P and therefore ox ilj\X,,x) = U{x)dx + {},{x)dl = ~d{U(j)) is a 5-closed form in C^, with , u dS/{x) , ,5 ct^'AC'c) , ,- , c^ « d0^« dx AdL, + L, dx Adx = dx A — \\f\ dx dx dx Lemma 3.2. Let U' (s U. If tj/i, for i - 1, ... ,v — 1, are smooth functions of a complex variable x, with \[f/i\ sufficiently small. Then a Li (3.3) Gi ^ dzi + i(f\{zn,Zy), ..., Qy~i ^ dzy-i + i/'*_i(z«,Zv), 0v = dzv generate the involutive ideal sheaf J''^^ of a CR structure of type (n, k) on U'. v-l- NON COMPLETELY SOLVABLE ... 11 Proof. The ideal sheaf is generated on U by dz\ , - - - , dzy After shrinking, we can assume that dz\, .. ., dzn, dz\, ■■ ■, dzn are linearly independent on U. Thus, by taking |(A,| sufficiently small, we may keep 9i, . . . , 6^, 61, . . . , 6,, lin- early independent in any neighborhood U' of po with U' (s U. Moreover, since dilfi{Zn,Zv) A dzv - 0, for 1 < / < v, we obtain (dQi) A 61 A • • • A e^ ^ #-(z„, Zv) A 61 A • • • A 9^-1 A dZv = 0, Vi ^ 1, . . . , V - 1. This shows that the ideal sheaf ^^ generated by 9i , . . . , 9^ is involutive and defines a CR structure of type (n, k) onU' . u Let us fix a sequence of distinct complex numbers {xy}, such that Imxj > for all j, xy — > 0, {w,, - Xj]C\(jj i^% for all j. For each j we choose an open disk Ay in C, centered at xy, and such that Ay n |J,-^yA,- = 0. Provided the Ty's are sufficiently close to 0, for each j we can fix a point w^^^ € a>, with w,{ = "Cy, and w^-'^ -^ 0, and take the functions if/j in Lemma [X2l in such a way that supp i//i ^ [J .^^^i+jy, for i=\,...,n, Cj+jy = I i//.{Zn,Zy) Adzn A ■ ■ ■ A dzv-[ A dzy is real and > 0, where (ei , . . . , e„ is the canonical basis of C") Aj = ^l-\{w^iU{x-Xj)en\xe^j]). Let M be a CR function on an open neighborhood V of pQ in U for the structure defined by (I3.3I ). This means that du(p) e Sf']^,„) for all p eV. Since J^yi and J''f^ agree to infinite order outside |JyJt~^({w | w„ e Ay), and \Jj{w e w | w,, € Ay} does not disconnect co, by the argument of Lemma IXT] we have (14.21) for all w in the complement in Jt(V) \ ljy{w € w | w„ e Ay). Thus we obtain = ± (p Jx I M(iz„ A • • • A dzy~^\ = ± I ^ "^^Zk a • • • a dzy JredAj JM (,, JdAj -I This yields du A dZn A • • • A (iZy. du * ■ (A- A (3Z„ A • • • A dZy = 0, (9m , where, to compute — , we consider any C -extension of m as a function of the dzi complex variables zi, . . . ,Zv for which 5m = at all points of U. Taking the limit, we observe that r du JAj+jv OZi -1 I '^" /» A ^ . A ^ dujpQ) dujpo ) I 1// A rl7.. A • • • A rl7.. > > 5z,- 5z; Ch-> I — iA;AJz„A---AfifZv^^^^^^^^-0 V/=1,...,V-1, which, together with (12.11) shows that du{po) € C dzvipo)- We have proved: 12 C.D.HILL AND M. NACINOVICH Theorem 3.3. Let Mbea CR manifold of type (n, k) and assume that M is Lorentzian at a point pQ. Then we can find a new CR structure of type (n, k) on a neighborhood U ofpo, which agrees with the original one to infinite order at po, and a real codi- rection r|o € T*M such that, if J3f is the distribution 0/(0, \)-vector fields for this new structure, all solutions u e C^ on a neighborhood of po to the homogeneous system (12.11 ) satisfy du{po) e Ciio- Proof. Indeed, using Lemma l23] we can always reduce to the case in which M is locally embeddable at po. n Corollary 3.4. We can find a new CR structure of type (n,k) on U, which agrees with the original one to infinite order at po, and which is not CR-embeddable at pQ. 4. Involutive systems whose solutions are critical at Pq In this section we improve the result of the previous section in the case of a Lorentzian CR manifold of the hypersurface type. We assume that M has C/?-dimension n > 2 and C/?-codimension 1, and is Lorentzian and locally embeddable at po e M. We have m = dim^ M = n + 2 and we set V = n + 1 , We can fix a CR-chait {U,z.i,...,Zv) centered at po, with on^. (4.1) Imz^ + Y,]^^zrzi - zizi + OQzh By shrinking, we get that ziZi > ^Imzv on U. Consider the map n : U 3 p —> w = {zaip), ■ ■ ■ , Zvip)) £ C". By a further shrinking, we can assume that there is an open ball B c C", centered at 0, such that - ^(L'^) = a>, with B\aj strictly convex, and dca n B smooth; - if Im T > 0, then {w e B \lFawn = x] c oj; - for all w e a» the set M„, = Ji~\w) is diffeomorphic to the circle S ' ; - for w 6 doj n B the set M^, = n~^{w) is a point. By repeating the proof of Lemma lTTl we obtain Lemma 4.1. Ifu e ^uiU), then (4.2) F(w) = (D udzi=0, Vwew. n Jm„. Since 2ziZ\ > Imzv on U, for any smooth function ip of a. complex variable T, with suppi/^ c {Imx > 0}, the function z~V(Zv) can be extended to a smooth function on U, vanishing to infinite order on {zi = 0} n U. Lemma 4.2. If i/',, for i - 1, . . . , v are smooth fuctions of a complex variable x, with support contained in {Imx > 0), then (4.3) 9l = dZ\ + Zri^4'\iZy)dZy, . . . , Qy = dZy + Z'l^ iffy{Zy)dZy (the functions z^'tAKZv) are put = Oforzi = 0) generate the ideal sheaf J'y, of a CR structure of type (n, 1) in a neighborhood U' of pq in U, which agrees to infinite order with the original one at po- Proof. By the condition on the supports, the functions z]"V((2v) are smooth on U and vanish to infinite for z\ = 0, and in particular at pQ. Thus 9i, ...,6^,61,.. ., 6„ yield a basis of CTpM for p in a. suitable neighborhood U' of po, and agree with dz\,---, dzy, dzi,..., dzn to infinite order at p^. NON COMPLETELY SOLVABLE ... 13 We have moreover d^i = Z] 7, dZy A dZy - Z| if/i{Zy)dZ[ A dZy. OZy Hence je,- A 9i A • • • A e^ ^ dQi A dzi A ■ ■ ■ A dZv = shows that J''jj, is involutive. The proof is complete. n Let us fix a sequence of distinct complex numbers {xj}, such that Im Xj > for all j, Xj -^ 0, {w,, = Xj\ Deo i^ (Dfor all 7. For each j we choose an open disk Ay in C, centered at Xj, and such that Aj n lJ,-^yA, = 0. Provided the t/s are sufficiently close to 0, for each j we can fix a point w*^^ € co, with wj/ = Xj, and w^^^ ^ 0, and take the functions if/j in Lemma l42l in such a way that supp ifri ^ [J .^^ A;+y(v+i), for / = 1, . . . , V, Ci+j{v+i) = I Zi^^i{Zy)dzM A dzi A dzy is real and > 0, where Aj - Jt"^({w'^-'^ + (t - TyO^n I "c e Aj]). Here we denoted by ei , . . . , e„ the canonical basis of C". Let M be a CR function on an open neighborhood V of po in U' for the structure defined by (I5.2I ). This means that du^p) € J''^, ,^ for all p €V. Since J/m and J'^, agree to infinite order on k{U') outside IJ,- supp i/',(w), and this set does not discon- nect U, by the argument of Lemma l3TT] we have (14.21 ) for all w in the complement in n{V) of [Jj{w 6 a> | w„ € Aj}. Thus we obtain - ± (h dx (h u dzn = ± I " '^zi ^ '^Zv - ± I "^^^ /^ '^Zi A (iZv JrefMj Jm ij) JdA, J A, This yields f du _, _ (4.4) /;+y(v+i)(M) = — Zj A <iZv A dZ[ A dZy ^ 0, Ja,+;(v+1) C'Z! where, to compute -— , we consider any C -extension of m as a function of the OZi complex variables zi,. . . ,Zv for which 5m = at all points of V. When j ^ 00, cT^., ,Ji+;(y+i) — > — . Hence, from (14.41 ) we obtain that — = for 1 < J < V, which, together with (12.11 ) shows that du{po) = 0. We have proved: Theorem 4.3. If M is a CR manifold of type (n, 1) and is Lorentzian at po e M, then we can find a new CR structure of type {n, \) on an open neighborhood U of Po in M, which agrees with the original one to infinite order at po, such that, if 3f is the distribution o/(0, \)-vector fields for this new structure, all solutions u e C^ on a neighborhood of po to the homogeneous system (12.11 ) satisfy duipo) = 0. Proof. We can apply the discussion above after reducing, by Lemma [231 to the case in which M is locally C/?-embeddable at po. n 14 C.D.HILL AND M. NACINOVICH 5. The case of higher codimension In this section we extend the result of Theorem l4.3l to some CR manifolds with CR dimension and CR codimension both greater than 1 . To this aim we will first recall some results on weak unique continuation and next consider morphisms of CR manifolds. 5.1. Minimal locally C/?-embeddable CR manifolds and unique continuation. We recall that a CR submanifold M is minimal at po e M if there is no germ (A'^, po) of CR submanifold of M at po, having the same CR dimension, but smaller CR codimension. We have Lemma 5.1. Assume that M is minimal and locally CR-embeddable at po e M. Let {S,po) be a germ of a CR submanifold of M, of type (0, v). Then a germ f e ^M,(po) "/^ CR function at pQ, vanishing on {S, po), is equal to 0. IfM is minimal and locally CR-embeddable at all points, then the CR functions on M satisfy the weak unique continuation principle. Proof. In the first part of the proof, we can assume that M is a generic CR subman- ifold of an open set in C^. For any open neighborhood U of po in M, there are an open neighborhood Uq of pq in U, and an open wedge W in C^, with edge Uq, such that, the restriction m|(/„ of any u e ^MiU) is the boundary value of a holomorphic function u, defined on W (see Il42ll43l l6]|). Assume now that u e ^uiU) vanishes on S . Then m = by the edge of the wedge theorem (see [38]), and therefore u = 0. The last statement follows by unique continuation for holomorphic functions on open subsets of C^. n 5.2. CR-maps with simple singularities. Let M,N be CR manifolds. A smooth map n: M ^NisCR if dniT'-^'^ M) c T^'^N. We say that Jt is - a C/?-immersion if ker<ijt = and dniT'^'^M) = dK{CTM) n T^-^N; - a C/?-submersion if dK{TpM) = Tj,^p)N md dKiTp'^ M) = T^'^^^N, \/p e M; - a local C/?-diffeomorphism if it is at the same time a C/?-immersion and a C/?-submersion. Next we consider critical points of some CR-maps. Let k > 1 and Ji : M ^ N a CR-map, with M of type («, k) and N of type in,k-\). If Po e M is not a critical point of n, then jt is a C/?-submersion near po- Assume now that po is a critical point of Jt, and 170 = K{po) the corresponding critical value. Then the rank of dix,{pQ) is less than 2n + k - \. Assume that it is exactly equal to 2n + k - 2. Then the dual map dK*{po) : T*N —^ T* M is not injective, and has a 1 -dimensional kernel. Definition 5.2. If \&TdK*{pQ) n H^^^N - {0}, we say that jt has at pQ a CR- noncharacteristic singularity. Assume that this is the case and fix 7^ 770 e k&vdK*{p()). Then there is 77^, uniquely determined modulo H^LN, such that 770 -1- ir]'^ e ^00^' ^"^^ ^^ obtain an element ^0 e ^po^' '^i* ^ ?o = dK*{pQ){r]'^). Definition 5.3. If we can choose t/q in such a way that L^^ has 1 positive and n - \ negative eigenvalues, we say that Jt has a Lorentzian CR-non characteristic singularity at po. NON COMPLETELY SOLVABLE ... 15 Assume now that M and N are locally C/?-embeddable at po, qo, respectively, and that L^^ has 1 positive and (n - I) negative eigenvalues. We set v = « + ^. We can choose CR-charts (U;zi, ■ ■ ■ ,Zv) of M, centered at pQ, and {W; W2, ■ ■ ■ , Wy) of A^, centered at qo, with tc(U) c W and Zj = ^*Wj for j = 2, . . . , v, such that ih,Q = dzvipo), and Imzy = h{z) on U, with h{z) = ZiZi - } ,. MZt + 0{\z\ ). Lemma 5.4. Let D = {p e U \ Ziip) = 0). Then, there is an open neighborhood U' of Po in U, an open neighborhood a> of qo in N, and an open domain co- in a>, with qo € doj-, such that (1) o)- c k{U') c o), ii{Dr\U') c dco and oj is strictly pseudoconcave at qo; (2) K : U' ^ N is proper and, for q € k(U'), 7i~^(q) is either a point or is dijfeomorphic to a circle. Proof. Provided U is sufficiently small, the restriction of Jt to D is a smooth diffeo- morphism of D onto a closed hypersurface Jt(D) in an open neighborhood a> of 170 in A'^. By further shrinking, we can assume that A \ Ji(D) consists of two connected components a)+ and w_ and that w_ c 7i{U). Since co- - {Imwy + Y7j^2^i^i + ^(1^1^) > 0! ^'^^^ ^0, we have qo € doj^ and CO- strictly pseudoconcave at ^o- Moreover, by taking U small, we can assume that Imzv + 5_^.^2^'^' - 5^1^^ °" ^' and therefore we obtain an U' satisfying (1) and (2) by setting U' = U D n ^{a>) for a smaller neighborhood co of qo in N. n 5.3. Perturbation of the CR structure of M. We keep the notation of 95.21 and we shall assume that (1) and (2) of Lemma l5.4l hold true with U' = U. Lemma 5.5. Assume that N is a minimal CR manifold. If u is a CR function on a connected open neighborhood V of po in U, then (5.1) g{q) := (p udzi=0, Vq e Jt(y). Proof First we note that W = n{V) U (co \ k(U)) is a neighborhood of ^0 in A^. The function g, equal to the left hand side of (15.11 ) for w e JT(y) and on W \ Jt(V) is continuous, because the fiber n~^{q) shrinks to a point when q — > dTc{V) n a>. Since Jt(y) is connected and its connected component in W contains an open subset where g = 0, our contents follows by the weak unique continuation principle (see Lemma l5Jl) if we show that g is a CR function on W. To this aim, it suffices to show that JN where Qq{W) means smooth exterior forms with compact support in W. We note that Jt*?7 e i3^"+'^"2(V) n J"]J"^"HW), because the map Jt is CR and proper. Thus we obtain I dg AT] = I du A dzi A ii*r] = 0, Jn Jm because u is CR on a neighborhood of the support of dzi A n*?] e ^3^"^*^ ^{V) n J1^\V). The proof is complete. n 16 C.D.HILL AND M. NACINOVICH By shrinking, we get 2ziZi > Im z^ on U. In particulai; if i/^ is a smooth function of one complex variable t, with supp i^ c {Imx > 0), the function z~V(Zv) can be extended to a smooth function on U, vanishing to infinite order on {zi = 0} n L'^. Lemma 5.6. If t//j, for i = 1 , . . . , v are smooth fuctions of a complex variable x, with support contained in {Im x > 0}, then (5.2) Bi = dz\ + z7 Vi(ZvMzv, • ■ • , Qy = dzy + zj Vv(Zv)'5?z~v (the functions z'l^'piiZv) are put = Ofor zi = 0) generate the ideal sheaf J' ^, of a CR structure of type (n, k) in a neighborhood U' of pQ in U, which agree to infinite order with the original one at pQ. Proof. By the condition on the supports, the functions z^VKZv) are smooth on U and vanishing to infinite for zi - 0, and in particular at pQ. Thus Bi, . . ., Qy, 6i, . . ., 6„ yield a basis of CTpM for pin a. suitable neighborhood U' of po, and agree with dzi, ■ ■ ■, dzy, dz\,- ■ ■ , dzn to infinite order at /jq- We have moreover dQi = Z7' ^-^-dZy A dZy - Z^^il/i{Zy)dZ[ A dZy. OZy Hence cfG; A Gi A • • • A 6^ ^ dQi Adzi A--- AdZy =0 shows that J^'y, is involutive. The proof is complete. n Let us fix a sequence of distinct complex numbers {t^}, such that Imty > for all j, Xj —* 0, {w„ = xj] D co i^ Q for all / For each j we choose an open disk Aj in C, centered at xj, in such a way that ^j 1^ Uitj^i = 0- Next we choose balls Bj in C~^ with Kj = {q € ci)\ (W2iq), ■■■, Wy-\{q)) e Bj, Wy e A^} m u. We set DqKj = {q e Kj \ Wy{q) € dAj], Aj = it'\Kj). Note that the A/s are compact because n is proper. Then we take the functions i/',- in Lemma l53] in such a way that, for suitable forms T]j e Q"~^{Bj), we have supp i/zi ^ 1^ .^^ A,+y(v+i), for / = 1, . . . , V, Ci+j(y+i) = I z'[^tl/i{Zy)dzy A dzi A ■ ■ ■ A dzy A 7t*T]j is real and > 0. Let M be a CR function on a connected open neighborhood V of po in U' for the structure defined by (15.21 ). Since ^m and J''jj, agree to infinite order on n(U') outside E = {wy € |J,- supp i/',}, and this set does not disconnect n{V), by the argument of Lemma l53] we have (15.11 ) for all q in the complement in jt(V) of E. Thus we obtain 0=1 0) u dz\ dw2 A • ■ • A dwy AT]j = \ u dz\ A • • • A dzy A n*rij JoKj \ Jjt-i(g) / J<)Aj du A dz\ A ■ • ■ A dzy A n*r]j, yielding / JAi (5.3) j — Z7 VKZv) dZy a dZi a ■ ■ ■ a dZy A Jt*?7,+y(v+i) = 0, Ja,+7(v+1) '^Zi NON COMPLETELY SOLVABLE ... 17 du , where, to compute — , we consider any C -extension of m as a function of the dzi complex variables zi ,..., Zy for which 5m = at all points of V. But ^r+Vv+i) I 7~ zIVKZv) <izv a <izi a • • • a dzv A n*77,-+y(v+i) gM(po) . ^m(/^()) n f • 1 converges to — when j — > +oo. Therefore = tor ; = l,...,v. ozi ozi Together with (12.11) . this shows that du{po) = 0. We have proved: Theorem 5.7. Let M, N, be CR manifolds of types {n, k) and {n,k—\), respectively, with k > \. Assume that N is minimal and that there is a CR map n : M ^> N having a Lorentzian CR-non characteristic singularity at po € M. Then we can find a new CR structure of type {n, k) on an open neighborhood U of po in M, which agrees with the original one to infinite order at po, such that, if 3^ is the distribution of{0, \)-vector fields for this new structure, all solutions u e C^ on a neighborhood of po to the homogeneous system (12.11 ) satisfy duipo) - 0. Proof. The discussion above proves the theorem in the case where both M and N are locally C/?-embeddable at po and at qo = K{po), respectively. In general, we can reduce to this case by taking formal power series solutions {z)i, . . . , {zK at Po, Ml, ■ ■ ■, Mv at ^0. to the homogeneous tangential Cauchy-Riemann systems on M and A'^, respectively, with [zj] = Jt*{w}y for j = 2,..., v. Then we take smooth functions W2, . . . ,Wy on N having Taylor series {w}2, - - - , {w]y at qo, define Zj = n*Wj for j = 2, . . . , v, and choose a smooth function zi on M with Taylor series {zi ) at po. By restricting to a suitable neighborhood U of po in M and W of qo in A^^, we obtain CR-chaits (U;zi,- ■ ■,Zv) and (W; W2, ■ ■ ■, Wv) for new CR structures which agree to infinite order with the original ones at po in M and at ^o in N. The same map Jt has a Lorentizian C/?-noncharacteristic singularity at po also for the new locally C/?-embeddable CR structures, so that the previous discussion applies. n 5.4. Example. Let n > I, k > I, v = n + k, and N any CR manifold of type (n,k - 1), contained in an open neighborhood G of in C^~\ and minimal. Let wi, . . . ,H'v-i be the canonical holomorphic coordinates of C^~^ and assume that dw\ and dwi are linearly independent on N. Let (j) : C"^ 3 (zi, . . . ,Zv) — > (zi, • - - ,Zv-i) £ C"^"' be the projection onto the first V - 1 coordinates. If M - {z 6 CI (t)(z) € A^, Imzi + Yu^'lziZi = ZvZvl, then M is a minimal CR submanifold of type {n,k) of k~^{G) c C^, and the re- striction of (j) describes a CR map k : M ^ N which has at a Lorentzian CR- noncharacteristic singularity. In particular, there are CR structures on a minimal Lorentzian CR manifol M of arbitrary CR codimension such that a point po ^ M is critical for all CR functions defined on a neighborhood of po- 18 c.d.hill and m. nacinovich 6. Tangential Cauchy-Riemann complexes and a global example Throughout this section, M is a smooth CR manifold, of positive CR dimension n, and arbitrary CR codimension ^ > 0. We set v = n + k, and denote by iF the distribution of smooth complex vector fields of type (0, 1) on M. We recall that ^m(^) is the space of CR functions of class C' on ?7°p''" c M. We set ^^([/) - ^MWnC^iU), and ^'^(0) = ^M{U)r]C'^{U) for the restrictions to U of smooth functions on M, which are CR in U. Likewise, when Q. is an open subset of a complex manifold X, we write ff{Q.) for C^CO) n ^(O). 6.1. Definition of tiie ^M-complexes. Let J/m be the ideal sheaf, corresponding to the characteristic distribution 2f of (0, l)-vector fields on M. Formal integrability of ^ is equivalent (see Lemma [X2l) to (6.1) djucju. This implies that also diJ'uT c (^m)". where, for each positive integer a, (J'mT is the a-th exterior power of the ideal ^m. and we set (^m)*' = ^*m- We can define cochain complexes on M by considering the quotients .S^* = {J^mT I {Sm)"^'^ and Bm '■ ■^"i^ -^ >^^* induced on the quotients b We have the map dm '■ =S^* -^ ■^'^* induced on the quotients by the exterior diff"erential. ^M - ©,,o^M ' With ^^'^ ^ ((^m)" n i37)/((^M)^'"^ n if^% and dM{S"j^') c =2^"^^ . This indeed was the intrinsic definition for the tangential Cauchy-Riemann complexes on CR manifolds given in 1.32.1 . Let Z"'^(^) = {/ € ^"'^{U) I SmI = 0} and S^'^U) = dM(.^"M~\u)). The quotient H"'^(?7) = !Z"'''iU)/S"'''(U) is the cohomology group of the smooth coho- mology of Bm on U in bidegree (a, q). We set H^'?(po) = lim H"'^(^) for the group of germs of bidegree {a, g)-cohomology classes at pQ. Let us give a more explicit description of the equations involved in the Om- complexes. An element of Z,"''^{U) has a representative / € Q'^'^iU). The conditions that / £ (J^m)" and that its class [/] e Z,"''^{U) satisfies the integrabihty condition ^m[/] = are expressed by (6 2) (/ A Til A • • • A Tiv-fl+1 = 0, Viii, . . . ,iiv-„+i e j\f{U), J/ A Til A • • • A Tiv-fl+i = 0, Vtii, . . . ,Tiv-fl+i e Jm{U), and the equation Omo: - [/] for a e J2"''' ^{U) is equivalent to finding u -sfl+C Q",^'' \[/) such that I /^ /\ II 1 /\ • • • /\ II 1 ^ ! J 3 111 II 1 t- I (6.3) MA Til A--- ATi^^a+1 ^0, Vtii,...,t1v-„+i eJ'f^{U), {du- f) Af]i A--- A \-]^-a+l =0, VtIi, . . . , Tl^-„+i € J^iU). Both equation (16.21 ) and (16.31 ) are meaningful when /, u are currents, and there- fore we can consider the ^M-complexes on currents, or require diff'erent degrees of regularity on the data and the solution. NON COMPLETELY SOLVABLE ... 19 6.2. Absence of Poincare lemma. In general, the ^M-complexes are not acyclic (see e.g. 13] IH [18] [33). In fact, the perturbations we used in the previous section to deduce non complete-integrability results utilize elements of H"'^(/7o). The argu- ments of ^provide simpler proofs of the absence of the Poincare lemma in some special cases. We have e.g. (see © Proposition 6.1. Let M be a CR manifold of type {n, 1), which is locally CR- embeddable and Lorentzian at po, and let {U;zi, ■ ■ ■ ,Zv). with v = n + I, be a CR chart centered at pofor which (14.11 ) holds and 2z\Z\ > \TCiz.y on U. Let []/ be a smooth function of one complex variable %, with compact support contained in {Imx > 0). Then co = z^^ >p{Zv)dZv, continued by where zi = 0, defines a smooth dM-closed \-form. A necessary and sufficient condition for (o to be cohomologous to is that J/'* (6.4) x"ilf(T)dT Adf = 0,WheZ,h>0. Proof. Assume indeed that there is w € C^{U) such that Bmu - [«>]■ We keep the notation of ^for jt, co, B, and use integration on the fiber to define g(w) = ^(f) udzi, i-e. (gcj)- I uAdziAn*(\>, Vcj) e i?^". Jm,, Jo) Ju Clearly ^ = on dco n B and furthermore we obtain I dg A '\'] - ■^. I du A dz[ A Jt*r| = J^i I Zl^ ll'iZv)dZv A dzi A Jt*Tl - I l//(Wn)dWn A \] Thus g satisfies (dg - 4f{wn)dwn, on 5a>, g = 0, on aw n B. These equations imply that x — > g{Q, x) has compact support and hence that the equation dvjdx - ip{x) has a solution with compact support. This is equivalent to the momentum conditions (16.41) in the statement. n Wy can repeat the same argument to show that the Sm complexes are not acyclic in dimension q when M is strictly ^-pseudoconvex at po. Still restraining to type {n, 1) this condition means that, for a suitable CR chart {U;zi,- ■ ■ ,Zv) centered at Po we have (6.5) Imz, + y' z,zi ^ y'zfZi + 0{\zh onU. Here v = « + 1. By taking U small we can assume that Imz^ < 2^^^jZ,z, on U . Set ^ = V - ^. By taking U sufficiently small we obtain a proper map (6.6) K-Usp^ {Zcj+iip), . . .,z.{p)) 6 w c C^ with a» the complement of a strictly convex open subset in an open ball B of C^, and M„, ~ S^''^^ iov w e oj and M», ~ a point for w eda)C\B. Let Y,1^\Z.iVii{Zl,...,Zq) d _ Kq-iizu ...,Zq) = — ^ — With miizi,. ..,Zq) = -^Idzi A ■ --dZq. (Zi,-=i ZiZiP uZi (6.7) l(vf) _ (-l)g('?-')/2(g-i)! {2m)i ' 20 C.D.HILL AND M. NACINOVICH Proposition 6.2. Let M be a CR manifold of type (n, 1), which is locally CR- embeddable and strictly q-pseudoconvex at pQ. Take a CR-chart {U,zi,- ■ ■ ,Zv) with (I6.5I ). Imzv < 2ziZi on U, and let n : M ^> a> be given by (I6.6I ). Ifij/isa smooth function with compact support of one complex variable x, with supp ijj c {Imx > 0}, then co = ip{zv)dzv A Kq-\{z\, . . . ,Zq), continued by where Z\ = 0, defines a smooth dM-closed q-form on U, and (16.41 ) is a necessary and sufficient condition for to to be cohomologous to 0. Proof. The proof is analogous to that of Proposition l6.11 Here we need to utiUze, instead of Cauchy's formula, the identity I Kq-i{zi,...,Zq) ^dzi ^■■■ ^dZq Jji-l(vf) Vw e a> n supp il/{w(). We have indeed d{Kq-i(z.i ,...,Zq) Adzi A • • • A dzq) = and then the value of the left hand side of (16.71) is a homology invariant. For all wed), the fiber k~^(w) is equivalent to the sphere 5^"^"'. Then the value in (16.71) can be computed by integrating on 5^^"' (see [24]). n 6.3. Strictly pseudoconvex subdomains of CR manifolds. Let Q. be an open set in M. Saying that dQ. is smooth at a point po e dQ. means that there is an open neighborhood U of po in M and a smooth real valued function (p e C°°{U, R) such that (6.8) ^(^U = {peU\ (pip) < 0), d(pipo) + 0. Definition 6.3. We say that O is strictly pseudoconvex at p^ if ^d^(pQ) > on ZpQMnker(i0(/7o). Note that Zp„M n ker cf0(po) - Zp^M when d(p{p()) e H^^M. We need to introduce a weaker notion of CR function on M. Definition 6.4. If [/"P'^" c M, we say that u e C^\U) is CR if Ju udTj = 0, 'irje iJunU) n 0^/}f-\U), where we indicate by Q*j^f^{U) smooth exterior forms having compact support in U. If M is a CR submanifold of a complex manifold X and is minimal at po, then all germs of continuous CR functions extend holomorphically to wedges in X whose edges contain neighborhoods of po (see Il42l l43ll ). We set i^^"' for the sheaf of germs of continuous CR functions on M. For every U°^^^ c M, the space ^^"'(L'^) is Frechet for the topology of uniform convergence on the compact subsets of U. Definition 6.5. Let Q. be an open subset of M, f € i^Mi^), and po e dQ.. We say that / weakly C/?-extends beyond po if there exists a connected open neighborhood U of PO in M and g e ^m"\U) such that {p e Q. n U \ g{p) = f{p)} has a non empty interior. Proposition 6.6. Let M be a CR submanifold of CR-dimension n>\ and arbitrary CR codimension k>0 of a Stein manifold X, and Q. a smooth strictly pseudoconvex domain in X, with dQ. HM i^ d). Let Mq be the set of points ofMC) dQ at which M is minimal. Consider on 0'{Q) the natural Frechet topology of uniform convergence with all derivatives on the compact subsets ofQ. NON COMPLETELY SOLVABLE ... 21 Then the set E of the elements f G €?(Q) such that f\Mr\Ci weakly CR-extends beyond some point p e Mq is of the first Baire category in ff{Q.). Proof. Fix a point po e Mq and a countable fundamental system of open neigh- borhoods { Vy)ygN of Po in X. We can assume that for every y e N the intersection M n Vy is connected and contained in the set of minimal points of M. In particu- lar, two CR functions on M n Vy which agree on some non empty open subset of M n Vy, are equal on all M DVy For each y the set Fy - {{f,g) e ^(O) X ^^"'(M nVy)\g = fonMnanVy] is a Frechet space, being a closed subspace of ff{Q.) x (^^"'(M n Vy). Let TTy :¥y ^ tff{Cl) be the projection into the first component. Assume by contradiction that the set of / € t&(Q.) such that flMno. can be weakly C/?-continued beyond po is of the second Baire category. Then Uyg^ ^v(Fy) is of the second Baire category, and hence at least one KygiFy^) is of the second Baire category in t&{Q.). Hence ny^iFy^) = ^(Q) and, by Banach-Shauder's theorem, the map Ky^ : Fy^ -^ &{Cl) is open (see e.g fW, §2.1]). By the assumption of minimality and the fact that Lemma 15.11 also applies to continuous CR functions, for each / e ^(Q) there is at most one g € ^^"'(M n Vy) such that (/, g) € Fy. Thus, we conclude that there is a relatively compact open neighborhood V of pQ in X such that (6.9) V/ e ^(O) 3!g € ^m(M n V) with/ - g on Mn Q n V and (6.10) \g{p)\<\\f\kK, VpeMnV, where A' is a compact subset of Q. and H/H^.a- a seminorm involving the derivatives of / up to order { on K. Let Ky be a sequence of compact subsets of X such that Ky+i <£ int(A'y), for all y € N, and Hv^v = K. By Cauchy's inequalities, there are constants Cy > such that ll/lkjf < Cysupj,j/|, V/e^(X). Using (16.101 ) we obtain |/(p)| < Cysupj,j/|, V/e^(X), VpeMnV. By applying this inequality to the positive integral powers of the entire functions on X, we obtain that |/(p)| < C^" sup^J/l, V/€^(X), VpeMnV, VO < /j e N ^ |/(p)| < supj,J/|, V/e^(X), WpeMnV. Since Hv^v - K, we obtain \f{p)\ < sup^l/l, V/ e ^(X). But this gives a contradiction, because the fact that Q. is strictly pseudoconvex implies that Q. is holomorphically convex in X. We showed that, for every point p e Mq, the set E^ of / € 0'{Q.) for which flMno. weakly C/?-extends beyond p is of the first Baire category in t&{Cl). The set Mq is separable. Then we take a dense sequence {py] in Mq and we observe that E = {Jyem'^Pv is of the first Baire category, being a countable union of sets of the first Baire category. D 22 C.D.HILL AND M. NACINOVICH 6.4. The Cauchy problem for Bm- Let F'='°'*'='^, [/"P'^" c M. Set, for all a = 0,...,v,q = 0,...,n, ^"'HU; F) = {fe ^"'i{U) | / = 0°" on F n ^}. Clearly {^"'*{U;F),dM) is a subcomplex of {^"'*{U),dM) and we can consider the cohomology groups U'''\U,F) = keridu : ^"'HU;F) -^ ^"'''*\U; F))/dM^"''''\U; F) and also their germs H"'^(po, F) = lim U"'i{U, F). We obtain from Proposition [ Proposition 6.7. Let M be a CR submanifold of positive CR dimension n of a Stein manifold X. Let M' be the set of points of M where M is minimal. Let Q. be a strictly pseudoconvex open subset of X, with Mq = M' n dQ. + 0. Then the set ofae Yf'^{M, Cln M) that restrict to the zero class o/H°''(/7, Q n M) for some p £ Mq is infinite dimensional. More precisely, if we consider the Frechet space ^ - {/ 6 Q\M) I /bnM = O'", df e Jul then the set offe ^ for which we can find p € Mq and U(p) e C? ^ with U(p) van- ishing onQdM, and dMU(p) - fp), span a linear subspace of infinite dimensional codimension in ^. Here we wrote fp) for the germ of f at p, and the equality dMU{p) = f(p) has to be interpreted in the weak sense: it means that there is an open neighborhood Up of p and a continuous function u 6 C{Up), vanishing on Cl n Up, such that f ud^^^- f fA^, Vti € ( Jm)'( Up) n i22"+^- ' ( U,_ Jm Jm )■ Proof. Let g e ^(Q). By Whitney's extension theorem, there is a smooth complex valued function § on X with g = g on Cl. Then / = dg\M is an element of ^. Let w = g\M- Then w is a smooth function on M and its restriction to M n Q is CR. If p € Mq and M(p) G C? . solves dMU(p) = f(p), then w^p) + U(p) yields a weak CR extension of w|Mnn beyond p. Therefore the thesis follows by Proposition l6.6l n Let Nhe. Si smooth submanifold of M. Its conormal bundle in M at /? e A/^ is T*j,pM - {^ e t;m I ^(v) - 0, Vv e TpN). Definition 6.8. We say that A^ is characteristic at p e N if T^ Mn H'^M i^ {0}. Equivalently, N is non characteristic at p e N if it contains a germ (N' ,p) of CR submanifold of type (0, v) of M. We have the following Lemma 6.9. Let M be a CR manifold of positive CR dimension n, and N a smooth submanifold of M. Let U be an open neighborhood of a non characteristic point Po ofN. Iff 6 ^^'\U,N) and u e C°°{U) solves ,g ^^. i^MU = f on U, 1 M = on N then u vanishes to infinite order at pQ. NON COMPLETELY SOLVABLE ... 23 Proof. The statement follows by the uniqueness in the formal non chaiacteristic Cauchy problem. n 6.5. The canonical bundle. The sheaf ^^'° - {JmT n W^^ is the sheaf of germs of smooth sections of a line bundle KM on M, that is called the canonical bundle ofM. Let W^"" c M, and assume that Bi, . . . , 6^ e JuiU) give a basis of Z°M at all points p e U. Since dQj e J^uiU), we obtain d(Qi A • • • A Ov) = a A 9i A • • • A 9v, with a e i2'([/). The form a is uniquely determined modulo Jm. and thus defines a unique element [a] e =2°''(?7). By differentiating we get - d^{Qi A • • • A Bv) = (da) A Bi A • • • A Bv - ff A d{Qi A • • • A 9^) - (da) A 9i A • • • A 9v - a A a A 9i A • • • A 9v ^ (da) A 9i A • • • A 9v <=^ ^mM = 0. If 0) is another non zero section of KM, defined in a neighborhood of a point po e U, we have co = e"9i A ■ • ■ A B^ on a neighborhood Up^ of /jq in ^ and hence doi = e"{du + a) A 9i A • • • A 9v on Up^. Thus we obtain Lemma 6.10. There is a section \)f e T{M, H^'^) of the sheaf of germs of cohomol- ogy classes ofbidegree (0, 1) such that (Vp e M, Vol) € T^p^iKM), with m{p) i^ 0, 3a e Q^^ . such that \du){p) = a{p) A 03{p). dMla] = 0, laj € \]i{p). Here |[a| is the element o/H"''(p) defined by [a] E Z'. Lemma 6.11. IfM is locally CR-embeddable at p, then ^(p) = 0. If 2f is completely integrable at p, then, for a € Qj . satisfying (16.121 ) there is u €C? . such that Bmu = [a]. 6.6. C/?-foldings. Let us recall the notion of a fold singularity for a smooth map (see e.g. 1131). Let M, N be real smooth manifolds of the same real dimension. A map j[ : M — > A^ is a. fold-map if there is a smooth submanifold V of M such that: - the restriction of Jt to M \ V is a two-sheeted covering; - the restriction of Jt to V is a smooth immersion; - there is an involution o : U ^ U of a. tubular neighborhood L'^ of V in M such that Ko a = KonU. The corresponding notion in CR geometry will be a folding about a C/?-divisor. Let us introduce the notions that we will utilize in the sequel. Definition 6.12 (Smooth C/?-divisors). A smooth CR-divisor of a CR manifold M is a smooth submanifold D of M, having real codimenison 2, such that for each Po € D there is an open neighborhood Up^ of po in M and a function / e i^'^iUp^) such that Dr]Upg = {p€ Up„ \ f{p) = 0] and df{po) A dfipo) + B. Definition 6.13 (C/?-folding). Let M, N be CR manifolds having the same CR di- mension. A C/?-folding is a proper smooth CR map n : M ^ N such that there exists a smooth C/?-divisor D on M with the properties: 24 C.D.HILL AND M. NACINOVICH - the restriction of jt to M \ D is a C/?-submersion and a smooth circle bundle; - the restriction of Jt to D is a smooth CR immersion; - there is a tubular neighborhood L' of D in M and an S' -action on the fibers of Jt|j/ : U -^ niU), for which D is the set of fixed points. Example 6.14. The map S - {{z,w) \ zz + ww = 1) 3 {z,w) — > z € C is a C/?-folding. The set D ^ {(z,0) \ zz ^ 1} = {{z,w) e S^ | w = 0) is a smooth C/?-divisor in S^, and jt"^(zo) = {(zo,vv) | ww = 1 - zoZo]- We can define, in the tubular neighborhood U = S^ O {\z\ > 0), an S^-action by e'^ ■ {z, w) = (z, e'^w). Example 6.15. Let Q c CP^, with v > 3, be the ruled real projective quadric, which is a CR submanifold of type (n,l), with n = v - 1, and Levi signature (1, n - 1). For a suitable choice of homogeneous coordinates, Q has equation (6.13) zozo + zizi = 2j-= .ZjZj- =2 The point po = (L 0, . . . , 0) does not belong to Q. Hence, by associating to each p e Q the complex Une pop, we obtain a map n : Q ^ CP", where CP" is the set of complex lines through po of CP"^^. After identifying CP" with the hyperplane {zo - 0), the map n is described in homogeneous coordinates by (6.14) n: {z.o,Zi, ■ ■ ■ ,Zv) — > (zi,...,Zv)- This map is a C/?-folding of M into CP", with divisor Q O {zo = 0), whose image is the complement of an open ball in the projective space: (6.15) /r(0 = IziZi < 2]^^2^;Zy|. To describe the generators of the ideal sheaf J'q of Q, we consider the covering {U, V} of Q with U = {zo* 0}, V = {zi i= 0). Then Jq is defined by the generators Zq Vzi , Z-Q^dzi, ■■■, Zo Vzv onU nQ, zl^dzQ, z^^dzi, ■■■, z^^dzv on V nQ. The canonical bundle is generated by z^^dzi A dz2 A • • • dzv on U n Q and by z'l'^dzo Adz2 /\ ■■■dzy on V n Q- 6.7. Construction of a locally non C/?-embeddable perturbation. In this sub- section we describe a procedure to define a non locally C/?-embeddable CR struc- ture on a neighborhood of po in M that we will use in 96.81 to produce a global example. Let M, N be CR manifolds of type (n, k), (n, k - I) respectively. Assume that there is a CR map n : M ^ N having a Lorentzian singularity and a CR-iolding at Po, and that M, N are locally C/?-embeddable at po, qo, respectively. We are in fact in the situation of Lemma [S!4l and we keep the notation therein. Let a be a (0, l)-form on co, with Bno. = and a = on a»+. Then Z]^^n:*a is well defined and smooth because ii*a vanishes to infinite order on D = {zi = 0}, and we may consider on U the C/?-structure with ideal sheaf J''fj generated by (6.16) dzi -z7^Jt*a, dz.2, ■■-, dzy This new CR structure agrees with the original one to infinite order at all points of D. If this new CR structure admits a CR-chait centered at pQ, then there is a NON COMPLETELY SOLVABLE ... 25 smooth function u, defined on a neighboriiood of po, witli u{po) = and (6.17) d{e'\dz\ - z, 'jt*a) A (iz2 A • • • A dzy) = 0. Tlien we obtain du A (dzi - z~[ Jt*a) A dZ2 A • • • A dz^f + z]" <izi A Jt*a A dz2 A • • • A dZv = 0, from wliicii we get (fif(Z?M) - Jt*a*) A — - A dz2 A • • • A dZv + d(u K*(jf A dz.2 A • • • A (iZv) = 0. Zl Next we integrate on the fiber. For q e W n w_, where VK is a suitable small neighborhood of q^ in a», we obtain w(^) = jt,(ziM)(^) = 2^ (b ZlM<iZl Jn-Ha) Hq) and therefore (iwC^) A dZ2 A • • • A (iZv - 2;^ (p d{ZiU) A dz2 A ■ ■ ■ AdZv = 2^ (t) n*a* — A dz2 A ■ ■ ■ A dzy - a A dz2 A ■ ■ ■ Adzv, Jn-Ua) Zl Hq) because Jit d{u JT a» A dz2 A • • • A dzy) = 0. We observe that w = 0^ onW n doj- and that the equality established above means that w satisfies d^w = [a] on N. By Lemma[6]9j we actually have w = 0°° on ^A'^. By Proposition l6.7l there are ^a^- closed forms a, of type (0, 1), vanishing to infinite order on IV n dco-, for which the Cauchy problem IBnw -a on W n o)-, w - 0" on W n dco^ has no solution when W is any open neighborhood of qo, hence yielding non CR- embeddable CR structures on U which agree to infinite order with the original one. 6.8. A global example. In this section we construct a non locally C/?-embeddable CR structure on the Lorentzian quadric of Example l6.15l In CP^, with homogeneous coordinates zo,Zi, . . . ,Zv, for v > 2, we consider the quadric Q = {zoZo + ZiZi = Z2Z2 + • • • + ZvZvl- Fix the divisor D = {zo = 0) and the global CR-iolding Q ^ N where A^ = {ziZi < Z2Z2 + • • • + ZvZvl c CP""^ is a strictly pseudoconcave closed domain in CP^~^ The closure of its complement is an Euclidean ball B of C""^ = CP^~^ \ {zi = 0). Fix a smooth function /, with compact support in C^~\ which is holomorphic on B, but cannot be continued holomorphically beyond any point of dB, and let a be the restriction of df to A^. We observe that ^ = ^ is meromorphic on CP™ and that ^Jt*a is well-defined on Zo Q. We define a new CR structure on Q by the ideal sheaf having generators z^^dzQ - ^Jt*a*, z'i^dz2, ■■■, z^^dzv on M n |zi i= 0], ZqVzi, Zo'<iz2, ■■-, ZQ^dzv on M \ supp jt*a. 26 C.D.HILL AND M. NACINOVICH Note that the hyperplane {zi - 0} in CP^~' does not intersect the support of a, and hence the ideal sheaf is well defined. By the argument in 96.71 with this new CR structure Q is not locally C/?-embeddable at all points of the divisor D. Thus we have obtained Theorem 6.16. There are CR structures of type {m—\, 1) on the Lorentzian quadric Q that are not locally CR-embeddable at all points of a hyperplane section of Q. D References 1. Takao Akahori, A new approach to the local embedding theorem of CR-structures for n > 4 (the local solvability for the operator dt in the abstract sense), Mem. Amer. Math. Soc. 67 (1987), no. 366, xvi+257. 2. Andrea Altomani, C. Denson Hill, Mauro Nacinovich, and Egmont Porten, Complex vector fields and hypoelliptic partial differential operators, Ann. Inst. Fourier (Grenoble) 60 (2010), no. 3, 987-1034. 3. Aldo Andreotti, Gregory Fredricks, and Mauro Nacinovich, On the absence of Poincare lemma in tangential Cauchy-Riemann complexes, Ann. Scuola Norm. Sup. Pisa CI. Sci. (4) 8 (1981), no. 3, 365-404. 4. Aldo Andreotti and C. Denson Hill, E. E. Levi convexity and the Hans Lewy problem. II. Vanish- ing theorems, Ann. Scuola Norm. Sup. Pisa (3) 26 (1972), 747-806. 5. M. S. Baouendi and L. P. Rothschild, Embeddability of abstract CR structures and integrability of related systems, Ann. Inst. Fourier (Grenoble) 37 (1987), no. 3, 131-141. 6. M. S. Baouendi and Linda Preiss Rothschild, Cauchy-Riemann functions on manifolds of higher codimension in complex space. Invent. Math. 101 (1990), no. 1, 45-56. 7. M. S. Baouendi and F. Treves, A property of the functions and distributions annihilated by a locally integrable system of complex vector fields, Ann. of Math. (2) 113 (1981), no. 2, 387- 421. 8. Shiferaw Berhanu, Paulo D. Cordaro, and Jorge Hounie, An introduction to involutive structures. New Mathematical Monographs, vol. 6, Cambridge University Press, Cambridge, 2008. 9. L. Boutet de Monvel, Integration des equations de Cauchy-Riemann induites formelles, Seminaire Goulaouic-Lions-Schwartz 1974-1975; Equations aux derivees partielles lineaires et non lineaires. Centre Math., Ecole Polytech., Paris, 1975, pp. Exp. No. 9, 14. 10. J. Brinkschulte, C. Denson Hill, and M. Nacinovich, Obstructions to generic embeddings, Ann. Inst. Fourier (Grenoble) 52 (2002), no. 6, 1785-1792. 11. Judith Brinkschulte, C. Denson Hill, and Mauro Nacinovich, The Poincare lemma and local embeddability. Boll. Unione Mat. Ital. Sez. B Artie. Ric. Mat. (8) 6 (2003), no. 2, 393-398. 12. David Catlin, Sufficient conditions for the extension ofCR structures, J. Geom. Anal. 4 (1994), no. 4, 467-538. 13. Ja. M. Eliasberg, Singularities of folding type, Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 1 1 10- 1126. 14. C. Denson Hill, What is the notion of a complex manifold with a smooth boundary?. Algebraic analysis. Vol. I, Academic Press, Boston, MA, 1988, pp. 185-201. 15. , Counterexamples to Newlander-Nirenberg up to the boundary. Several complex vari- ables and complex geometry. Part 3 (Santa Cruz, CA, 1989), Proc. Sympos. Pure Math., vol. 52, Amer. Math. Soc, Providence, RI, 1991, pp. 191-197. 16. C. Denson Hill and Mauro Nacinovich, Embeddable CR manifolds with nonembeddable smooth boundary. Boll. Un. Mat. Ital. A (7) 7 (1993), no. 3, 387-395. 17. , Solvable Lie algebras and the embedding ofCR manifolds. Boll. Unione Mat. Ital. Sez. B Artie. Ric. Mat. (8) 2 (1999), no. I, 121-126. 18. , On the failure of the Poincare lemma for Sm- II, Math. Ann. 335 (2006), no. 1, 193- 219. 19. Lars Hormander, On existence of solutions of partial differential equations. Partial differential equations and continuum mechanics, Univ. of Wisconsin Press, Madison, Wis., 1961, pp. 233- 240. NON COMPLETELY SOLVABLE ... 27 20. Howard Jacobowitz, Simple examples of nonrealizable CR hypersurfaces, Proc. Amer. Math. Soc. 98 (1986), no. 3, 467-468. 2L , Homogeneous solvability and CR structures, Notas de Curso [Course Notes], vol. 25, Universidade Federal de Pemambuco Departamento de Matematica, Recife, 1988. 22. Howard Jacobowitz and Frangois Treves, Nonrealizable CR structures, Invent. Math. 66 (1982), no. 2, 231-249. 23. , Nowhere solvable homogeneous partial differential equations. Bull. Amer. Math. Soc. (N.S.) 8 (1983), no. 3, 467^69. 24. Walter Koppelman, The Cauchy integral for functions of several complex variables. Bull. Amer. Math. Soc. 73 (1967), 373-377. 25. Masatake Kuranishi, Strongly pseudoconvex CR structures over small halls. I. An a priori esti- mate, Ann. of Math. (2) 115 (1982), no. 3, 451-500. 26. , Strongly pseudoconvex CR structures over small balls. II. A regularity theorem, Ann. of Math. (2) 116 (1982), no. 1, 1-64. 27. , Strongly pseudoconvex CR structures over small halls. III. An embedding theorem, Ann. of Math. (2) 116 (1982), no. 2, 249-330. 28. Hans Lewy, On the local character of the solutions of an atypical linear differential equation in three variables and a related theorem for regular functions of two complex variables, Ann. of Math. (2) 64 (1956), 514-522. 29. , An example of a smooth linear partial differential equation without solution, Ann. of Math. (2) 66 (1957), 155-158. 30. Lan Ma and Joachim Michel, Regularity of local embeddings of strictly pseudoconvex CR struc- tures, J. Reine Angew. Math. 447 (1994), \A1-\M. 31. Abdelhamid Meziani, Perturbation of a class of CR structures of codimension larger than one, J. Funct. Anal. 116 (1993), no. 1, 225-244. 32. M. Nacinovich, Poincare lemma for tangential Cauchy-Riemann complexes. Math. Ann. 268 (1984), no. 4, 449-471. 33. M. Nacinovich and E. Porten, C°° -hypoellipticity and extension ofcr functions, \mXiv: 1 107.33741 (2011). 34. A. Newlander and L. Nirenberg, Complex analytic coordinates in almost complex manifolds, Ann. of Math. (2) 65 (1957), 391^04. 35. Louis Nirenberg, A certain problem of Hans Lewy, Uspehi Mat. Nauk 29 (1974), no. 2(176), 241-251, Translated from the English by Ju. V. Egorov, Collection of articles dedicated to the memory of Ivan Georgievic Petrovskii (1901-1973), I. 36. Louis Nirenberg and Fran9ois Treves, On local solvability of linear partial differential equations. I. Necessary conditions, Comm. Pure Appl. Math. 23 (1970), 1-38. 37. , On local solvability of linear partial differential equations. II. Sufficient conditions, Comm. Pure Appl. Math. 23 (1970), 459-509. 38. S.I. Pinchuk and S. V. Khasanov, Asymptotically holomorphic functions and their applications. Mat. Sb. (N.S.) 134(176) (1987), no. 4, 546-555, 576. 39. H. H. Schaefer and M. P. Wolff, Topological vector spaces, second ed.. Graduate Texts in Math- ematics, vol. 3, Springer- Verlag, New York, 1999. 40. F. Treves, Approximation and representation of functions and distributions annihilated by a system of complex vector fields, Ecole Polytechnique Centre de Mathematiques, Palaiseau, 1981. 41. Francois Treves, Hypo-analytic structures, Princeton Mathematical Series, vol. 40, Princeton University Press, Princeton, NJ, 1992, Local theory. 42. A. E. Tumanov, Extension of CR-f unctions into a wedge from a manifold of finite type. Mat. Sb. (N.S.) 136(178) (1988), no. 1, 128-139. 43. , Extension of CR-functions into a wedge. Mat. Sb. 181 (1990), no. 7, 951-964. C. D. Hill: Department of Mathematics,, Stony Brook University, Stony Brook NY 11794 (USA) E-mail address: dhilllOmath . sunysb . edu M. Nacinovich: Dipartimento di Matematica, II Universita di Roma "Tor Vergata", Via della RiCERCA SCIENTIFICA, 00133 RoMA (ItALY) E-mail address: nacinovi@mat . uniroma2 . it