Skip to main content

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