Professional Documents
Culture Documents
MATHEMATICS
550
Geometric Analysis
of Several Complex Variables
and Related Topics
Marrakesh Workshop
May 10 –14, 2010
Marrakesh, Morocco
Y. Barkatou
S. Berhanu
A. Meziani
R. Meziani
N. Mir
Editors
Geometric Analysis
of Several Complex Variables
and Related Topics
Marrakesh Workshop
May 10 –14, 2010
Marrakesh, Morocco
Y. Barkatou
S. Berhanu
A. Meziani
R. Meziani
N. Mir
Editors
2010 Mathematics Subject Classification. Primary 32L05, 32Q99, 32V20, 32W05, 35A07,
35B20, 35B65, 35F05, 35F15.
Copying and reprinting. Material in this book may be reproduced by any means for edu-
cational and scientific purposes without fee or permission with the exception of reproduction by
services that collect fees for delivery of documents and provided that the customary acknowledg-
ment of the source is given. This consent does not extend to other kinds of copying for general
distribution, for advertising or promotional purposes, or for resale. Requests for permission for
commercial use of material should be addressed to the Acquisitions Department, American Math-
ematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can
also be made by e-mail to reprint-permission@ams.org.
Excluded from these provisions is material in articles for which the author holds copyright. In
such cases, requests for permission to use or reprint should be addressed directly to the author(s).
(Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of
each article.)
c 2011 by the American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Copyright of individual articles may revert to the public domain 28 years
after publication. Contact the AMS for copyright status of individual articles.
Printed in the United States of America.
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at http://www.ams.org/
10 9 8 7 6 5 4 3 2 1 16 15 14 13 12 11
Contents
Preface vii
Analytic Vectors in Locally Integrable Structures
Rafael F. Barostichi, Paulo D. Cordaro,
and Gerson Petronilho 1
Subellipticity and Maximal Hypoellipticity for Two Complex Vector Fields in
(2 + 2)-Variables
Makhlouf Derridj and Bernard Helffer 15
Existence of Trace for Solutions of Locally Integrable Systems of Vector Fields
J. Hounie and E. R. da Silva 57
Chern-Moser Operators and Weighted Jet Determination Problems
Martin Kolář and Francine Meylan 75
Jet Embeddability of Local Automorphism Groups of Real-Analytic CR
Manifolds
Bernhard Lamel 89
Splitting of Holomorphic Cocycles with Estimates: Several Variables
Jürgen Leiterer 109
A Gysin Sequence for Manifolds with R-action
Gerardo A. Mendoza 139
A Potential Theoretic Characterization of Compactness of the ∂-Neumann
Problem
Sönmez Şahutoğlu 155
Duality between Harmonic and Bergman Spaces
Mei-Chi Shaw 161
On the Solvability and Hypoellipticity of Complex Vector Fields
François Treves 173
v
This page intentionally left blank
Preface
This volume consists of a collection of papers dealing with several complex vari-
ables, partial differential equations, and their interactions. Some of the papers are
expanded versions of the lectures given during the Workshop on Geometric Analy-
sis of Several Complex Variables and Related Topics that was held in Marrakesh,
Morocco, May 10-14, 2010.
Acknowledgment. We are very grateful and would like to thank the following
agencies for their financial support of the workshop.
• Agence Nationale de la Recherche (ANR), Projet ”Resonance”
• Ambassade de France au Maroc à Rabat
• Centre National de la Recherche Scientifique, France (CNRS)
• Centre National pour la Recherche Scientifique et Technique, Morocco (CNRST)
• Direction Générale de la Recherche Scientifique et du Développement Tech-
nologique, Algeria (DG-RSDT)
• International Mathematical Union (IMU)
• International Center for Theoretical Physics (ICTP)
• Laboratoire de Mathématiques et Applications, Université de Poitiers, France
• Laboratoire de Mathématiques Raphaël Salem, Université de Rouen, France
• National Science Foundation, USA, (NSF-OISE 1019538)
• Université Ibn Tofail, Kenitra, Morocco
Y. Barkatou
S. Berhanu
A. Meziani
R. Meziani
N. Mir
vii
This page intentionally left blank
Contemporary Mathematics
Volume 550, 2011
1. Introduction
Let P = P (x, D) be an analytic linear partial differential operator, of order
m ≥ 1, defined in an open subset Ω of RN , and let also s ≥ 1. A distribution
u defined in Ω is called an s-Gevrey vector for P (or an analytic vector for P
when s = 1), if P k u ∈ L2loc (Ω) for every k = 0, 1, . . . and, moreover, the estimates
P k uL2 (K) ≤ CK k! , k = 0, 1, 2, . . ., hold for each compact set K ⊂ Ω.
k+1 ms
2011
c American
c Mathematical
0000 (copyright Society
holder)
1
2 RAFAEL F. BAROSTICHI, PAULO D. CORDARO, AND GERSON PETRONILHO
2. Preliminaries
Let Ω be a smooth, paracompact manifold of dimension n + m endowed with
a locally integrable structure V of rank n. Thus V is a vector subbundle of CTΩ of
rank n whose orthogonal bundle V ⊥ ⊂ CT∗ Ω is locally spanned by the differential
of m smooth functions. We denote by T(V) the vector bundle CT∗ Ω/V ⊥ . Such
bundle T(V) has rank n and the exterior derivative induces a first order operator
d : C ∞ (Ω ) −→ C ∞ (Ω ; T(V)), Ω ⊂ Ω open,
through the composition
d
C ∞ (Ω ) −→ C ∞ (Ω ; CT∗ Ω) −→ C ∞ (Ω ; T(V)),
where d stands for the exterior derivative acting on scalar functions, and the last
arrow is induced by the projection map.
We recall that if E is an arbitrary vector bundle over Ω then the operator d
induces an operator
d ⊗ I : C ∞ (Ω ; E) −→ C ∞ (Ω ; T(V) ⊗ E), Ω ⊂ Ω open.
If we set, for N = 1, 2, . . .,
TN (V) = T(V) ⊗ · · · ⊗ T(V),
N-times
taking E = TN (V), gives, for each N = 1, 2, . . ., an operator
DN : C ∞ (Ω ; TN (V)) −→ C ∞ (Ω ; TN +1 (V)), Ω ⊂ Ω open.
1In general, analytic vectors for analytic hypoelliptic operators are not real-analytic functions
([G], [BCR]).
ANALYTIC VECTORS IN LOCALLY INTEGRABLE STRUCTURES 3
For completeness we shall also write D0 = d and T0 (V) = C. Finally, we shall also
set D(0) = identity and, for N ≥ 1,
D(N ) : C ∞ (Ω ) −→ C ∞ (Ω ; TN (V)), D(N ) = DN −1 ◦ · · · D1 ◦ D0 .
We now assume that T(V) is endowed with a smooth hermitian metric h. Such
hermitian metric induces a smooth hermitian metric hN on each of the bundles
TN (V) (h1 = h). From this we can define, for u ∈ C(Ω , TN (V)), and K ⊂ Ω
compact, the norms
1/2
uK,h = sup {hN (u(A), u(A))} .
A∈K
3. Local expressions
We begin by recalling the standard coordinates and generators associated to a
locally integrable structure (cf. [T, I.5] and [BCH, I.10]). Each point of Ω is the
center of a coordinate system (x1 , . . . , xm , t1 , . . . , tn ), which can be assumed defined
in a product U = B × Θ, where B (respectively Θ) is an open ball centered in the
origin in Rmx (respectively Rt ), over which there is defined a smooth vector-valued
n
Property (2) allows us to identify T(V)|U to the bundle spanned by the differ-
ential forms dt1 , . . . , dtn and the formula
n
m
du = (Lj u) dtj + (Mk u) dZk , u ∈ C 1 (U ),
j=1 k=1
allows us to express d u as
n
d u = (Lj u) dtj .
j=1
n
= (Lj ui1 ···iN ) dtj ⊗ dti1 ⊗ · · · ⊗ dtiN ,
j=1 1≤i1 ,...,iN ≤n
D(N ) u = (Li1 · · · LiN u) dti1 ⊗ · · · ⊗ dtiN .
1≤i1 ,...,iN ≤n
For the first inequality in (1) we first notice that the matrix that represents the
inverse of hN is given by hiN ,jN · · · hi2 ,j2 hi1 ,j1 , where hij denotes the inverse matrix
of hij .
We reason pointwise. For this we denote
|u|2 = |uI |2 , u, v = uI vI .
I I
(N )
We shall also denote by H the linear operator Hu = (wI )I , where wI = J hIJ uJ .
Then H > 0, which implies
|u|2 = |H −1/2 H 1/2 u|2 ≤ H −1/2 2 Hu, u .
Hence, in order to complete the proof, it suffices to notice that
⎧ ⎫N/2
⎨ ⎬
2
H −1/2 2 = H −1 ≤ hi,j .
⎩ ⎭
i,j
In the next statement we shall use the following notation: if α ∈ Zn+ is a
multi-index we shall write Lα = Lα αn
1 . . . Ln .
1
and hence
⎧ ⎫1/2
1/2
1/2 ⎨ ⎬
α! N! α 2
|Lα u| = |L u| ≤ |Li1 . . . LiN u|2 .
|α|!1/2 α! ⎩ ⎭
1≤i1 ,...,iN ≤n
Then
|α|+1 |α|+1
sup |Lα u| ≤ C• |α|!s ≤ ns|α| C• α!s , α ∈ Zn+ .
K
Conversely, if estimates (2) hold then the inequalities
N!
|Li1 . . . LiN u|2 = |Lα u|2 ≤ nN |Lα u|2
α1 ! · · · αn !
1≤i1 ,...,iN ≤n |α|=N |α|=N
6 RAFAEL F. BAROSTICHI, PAULO D. CORDARO, AND GERSON PETRONILHO
from which the result follows after taking C = 1/ and W = B1/p0 .
Theorem 5.1. Assume that the system V is hypocomplex at the origin and let
u ∈ Γ(U ; G1V ). Then there are an open set W × W in Cm × Cn containing the
origin and G ∈ O(W × W ) satisfying u(x, t) = G(Z(x, t), t) in {(x, t) : (Z(x, t), t) ∈
W × W }.
. α
Proof. Take V , D and v as in Theorem 4.1. If we set vα (x, t) = (∂w v)(x, t, 0)
we also have Lj vα = 0, j = 1, . . . , n, α ∈ Zn+ and the Cauchy estimates give
(3) sup |vα | ≤ A|α|+1 α! .
V
Thanks to (3) and (4) there is a neighborhood W of the origin in Cn such that G
defines a holomorphic function in W × W . Finally,
gα (Z(x, t)) vα (x, t)
G(Z(x, t), t) = tα = tα
n
α! n
α!
α∈Z+ α∈Z+
(∂ α v)(x, t, 0)
w
= tα = v(x, t, t) = u(x, t),
n
α!
α∈Z+
.
it follows that
u(x, t) = Ak exp{i(pk t + qk x)}
k≥k0
defines a smooth function on S × S (indeed, u ∈ G2s (S 1 × S 1 )). Moreover, for
1 1
N = 0, 1, . . .,
LN u(x, t) = iN (pk − αqk )N Ak exp{i(pk t + qk x)}
k≥k0
we obtain
|LN u(x, t)| ≤ N ! exp −(pk + qk )1/(2s) .
k≥k0
In particular u ∈ Γ(S ×S 1 1
It remains to prove that u ∈ Gs (S 1 ×S 1 ). Indeed,
; G1V ).
if this were true we would obtain constants B > 0, > 0, such that
Ak ≤ B exp −(pk + qk )1/s , k ≥ k0 .
Hence
exp (pk + qk )1/s ≤ B exp (pk + qk )−τk +1/s + |pk − αqk | , k ≥ k0 ,
or, equivalently,
(pk + qk )1/s ≤ log B + (pk + qk )−τk +1/s + |pk − αqk | , k ≥ k0 .
Dividing by (pk + qk )1/s gives
log B + |pk − αqk | 1
(6) ≤ + , k ≥ k0 .
(pk + qk ) 1/s (pk + qk )τk
If we now notice that
log B + |pk − αqk | const.
1/s
≤ −→ 0
(pk + qk ) (pk + qk )1/s
and that
1
≤ qk−τk = e−τk log qk −→ 0,
(pk + qk )τk
since τk log qk → ∞, we conclude that the right end side of (6) converges to 0 as
k → ∞, which gives the sought contradiction.
Regularity of Gevrey vectors. Still in the case when Ω and V are real-analytic, it
is a natural question to ask about the Gevrey regularity of the elements in Γ(Ω ; GsV ),
s > 1. When V is elliptic, that is when V ⊥ ∩ T∗ Ω = 0, then Γ(Ω ; GsV ) = Gs (Ω )
for every Ω ⊂ Ω open and s ≥ 1. Indeed, when V is elliptic we have m ≤ n and we
can take, in the local coordinates decribed in Section 3, Φj (x, t) = tj , j = 1, . . . , m.
The vector fields Lj now read
∂ ∂ ∂
Lj = −i , j = 1, . . . , m, Lj = , j = m + 1, . . . , n.
∂tj ∂xj ∂tj
If u ∈ Γ(U ; GsV ) then u is an s-Gevrey vector for each Lj , in the following sense:
for every K ⊂ U compact there is a constant C = C(K) > 0 such that
sup |Lpj u| ≤ C p+1 p!, p = 0, 1, . . . , j = 1, . . . , n.
K
It then follows from the results in [BCM] that the Gs -wave-front of u is contained
in σ(Lj ), the characteristic set of Lj over U , j = 1, . . . , n. Since ∩nj=1 σ(Lj ) = ∅ it
follows that u ∈ Gs (U ).
We conclude this work by presenting a partial converse of this statement, which
is inspired by a result on scalar operators due to G. Métivier [M]:
ANALYTIC VECTORS IN LOCALLY INTEGRABLE STRUCTURES 11
Proposition 6.3. Assume that V is not elliptic at A ∈ Ω, that is, assume that
⊥
VA ∩ T∗A Ω = 0. Then given s, s satisfying
1 < s ≤ s < 2s − 1
there is an s-Gevrey vector for V near A which is not a Gevrey function of order
s .
Proof. We can select the local coordinates (x, t) and the local generators Lj ,
dZk as in section 3 in such a way that, in these coordinates, A = (0, 0). By
hypohesis there is ζ0 = (ζ01 , . . . , ζ0m ) ∈ Cm not zero such that k ζ0k dZk (0, 0) is a
real covector.
Since dZk (0, 0) = dxk + idt Φk (0, 0) it follows that ζ0 = ξ0 ∈ Rm and
that k ξ0k dt Φk (0, 0) = 0. Consequently d(Φ · ξ0 ) = 0 at (0, 0) and hence there is
a constant C > 0 such that |Φ(x, t) · ξ0 | ≤ C(|x|2 + |t|2 ) when (x, t) ∈ U .
For convenience, we will write the local generators Lj as
∂ m
∂
Lj = + ajk (x, t) , j = 1, . . . , n,
∂tj ∂xk
k=1
where the coefficients ajk (x, t) are assumed to be real-analytic functions in a neigh-
borhood of the closure of U .
.
Let α ∈]0, 1[ be such that s < 1/α < 2s−1 and define σ = s−(1−α)/(2α) > 1.
Next we√select ζ ∈ Gc (R ) such that ζ(0)
σ n
√ = 1 and with support contained in the ball
|t| ≤ ρ/ m + 1, where ρ < min{r, 1/ C} and r is the radius of Θ. We can assume
that ]−r, r[ m ⊂ B. We also take a cut-off function ψ ∈ Gσc(R),√satisfying ψ√≡ 1 in a
neighborhood of the origin and supported in the interval −ρ/ m + 1, ρ/ m + 1 .
We then set
! ∞
eiλZ(x,t)·ξ0 −λ ζ λ(1−α)/2 t ψ λ(1−α)/2 x1 . . . ψ λ(1−α)/2 xm dλ.
α
u(x, t) =
1
where Ψ(λ, x) = ψ λ(1−α)/2 x1 . . . ψ λ(1−α)/2 xm . We shall prove that, for some
constant A > 0, the estimates
η
Here Cq,θ are universal constants. Since the vector fields Lj commute pairwise,
and since also |θj | > 0, we can choose integers 1 ≤ ij ≤ n such that Lθj w(x ) =
rLθj −eij aij (x, t) (here ek = (δkp )1≤p≤k ∈ Zn+ ). The last equality can then be
written as
Lη ψ(w(x )) = η
Cq,θ r q ψ (q) (w(x ))Lθ1 −ei1 ai1 (x, t) . . . Lθq −eiq aiq (x, t).
θ1 +...+θq =η
|θj |>0
Since the coefficients ajk are real-analytic in Ū and since ψ ∈ Gσc (R) we obtain
the existence of a constant B > 0 such that
(9) sup |Lη ψ(w(x ))| ≤ r |η| B |η|+1 η
Cq,θ B q q!σ |θ1 |! . . . |θq |!.
U
θ1 +...+θq =η
|θj |>0
N|α|
τ (y) = y α , y ∈ Rn
α!
|α|>0
again the Faà di Bruno’s formula shows that (11) can be written as
|η|+1 |η|
(12) sup |Lη ψ(w(x ))| ≤ B1 ε |η|!σ−1 r |η| ∂ η (φ ◦ τ )(0).
U
Arguing as in [AM, p. 197], (see also [CCP, Section 9]), we conclude that
B
|∂ η (φ ◦ τ )(0)| ≤ N|η|
1 − Bε
and consequently, with another constant B2 > 0,
|η|+1 |η| B
sup |Lη ψ(w(x ))| ≤ B1 ε |η|!σ−1 r |η|N
1 − Bε |η|
|η|+1 |η| B c|η|!
= B1 ε |η|!σ−1 r |η|
1 − Bε (|η| + 1)n+1 ε|η|
|η|+1
(13) ≤ r |η| B2 |η|!σ .
Lγ (Ψ(λ, x)) =
References
[AM] S. Alinhac and G. Metivier, Propagation de l’analyticité des solutions de systèmes hyper-
boliques non-linéaires. Invent. Math. 75 (1984), 189–204.
[BG] M.S. Baouendi and C. Goulaouic, Régularité analytique et itères d’operateurs elliptiques
dégénérés; applications. J. Funct. Analysis 9 (1972), 208–248.
[BM] M.S. Baouendi and G. Metivier, Analytic vectors of hypoelliptic operators of principal
type. American J. Math. 104 (1982), 287–319.
[BCH] S. Berhanu, P.D. Cordaro and J. Hounie, An introduction to involutive structures. Cam-
bridge University Press, 2008.
[BCM] P. Bolley, J. Camus, C. Mattera, Analyticité microlocale et itères d’operateurs. Seminaire
Goulaouic–Schwartz 1978–1979, Exposé XIII. École Polytechnique, France.
[BCR] P. Bolley, J. Camus and L. Rodino, Hypoellipticite analytique-Gevrey et itères d’operateurs.
Rend. Sem. Mat. Univers. Politecn. Torino 45 (1987), 1–61.
[CCP] J.E. Castellanos, P.D. Cordaro and G. Petronilho, Gevrey vectors in involutive tube struc-
tures and Gevrey regularity for the solutions to certain classes of semilinear systems,
(2010), to appear.
[Da] M. Damlakhi, Analyticité et itères d’operateus pseudo-différentiels. J. Math. Pures et Appl.
58 (1979), 63–74.
[DaH] M. Damlakhi and B. Helffer, Analyticité et itères d’un système de champs non elliptique.
Annales scient. Éc. Norm. Sup. 4e. série, 13 (1980), 397–403.
[G] C. Goulaouic, Interpolation entre des espaces localement convexes définis à l’aide de semi-
groupes. Ann. Inst. Fourier Grenoble 19 (1969), 269–278.
[HM] B. Hellfer and C. Mattera, Analyticité et itères reduits d’un système de champs de vecteurs.
Comm. PDE 5(10) (1980), 1065–1072.
[M] G. Metivier, Propriete des itères et ellipticite. Comm. PDE 3(9) (1978), 827–876.
[N] E. Nelson, Analytic vectors. Ann. Math. 70 (1959), 572–615.
[RS] M. Reed and B. Simon, Methods of modern mathematical physics I: functional analysis.
Academic Press, 1972.
[T] F. Treves, Hypo-analytic structures: local theory. Princeton University Press, 1992.
1. Introduction
1.1. General context.
Our aim is to revisit some aspects of the theory of hypoelliptic systems whose
systematic analysis was started by F. Trèves [19, 20] and continued by [11, 12,
13, 14]. The analysis of the links between hypoellipticity and subellipticity for
systems appears indeed to be far from completely understood. Some aspects were
analyzed in [1, 2, 3] in connection with a very nice analysis of J-L. Journé et J.-M.
Trépreau [8] but we will analyze in this article new phenomena occuring in larger
dimension and compare, in the spirit of what was done in the book [4], with what
can be done for characterizing maximal hypoellipticity.
We will emphasize in the first part on the approach based on the theory on
nilpotent groups (collaboration of the second author with J. Nourrigat [5] and
further work of him [16, 17, 18] or of the second author with F. Nier [4] ) and in
the second part we will come back to another approach initiated by the first author
[1] and then together [2, 3] leading directly to criteria in subellipticity.
As we shall see, an interest of this analysis of the maximal hypoellipticity by
an approach based on the nilpotent Lie group techniques is that it provides global,
local or microlocal estimates.
More precisely, our aim is to analyze the maximal hypoellipticity of the system
of n first order complex vector fields
(1.1) Lj = (Xj + iYj ), where Xj = ∂tj and Yj = (∂tj B(t)) ∂x ,
2011
c 0000
c Mathematical
American (copyright Society
holder)
1
15
16
2 MAKHLOUF DERRIDJ AND BERNARD HELFFER
and, the case m = 1 being already analyzed in [2, 3], we will mainly discuss in this
paper the case m = 2. We will show at the same time how the techniques used for
this analysis will lead to some information on the question concerning the Witten
Laplacian associated to B.
We assume that the real function B is such that the rank r Hörmander condition
is satisfied for the vector fields (Xj ), (Yj ) at (0, 0).
This is an immediate consequence of :
Definition 1.1. Hörmander’s condition of rank r
(1.2) |∂tα B(0)| > 0 .
1≤|α|≤r
By maximal hypoellipticity for the system (1.1), we mean the existence of the
inequality :
⎛ ⎞
(1.3) ||Xj u||2 + ||Yj u||2 ≤ C ⎝ ||Lj u||2 + ||u||2 ⎠ , ∀u ∈ C0∞ (V(0) × R) .
j j j
In the case when we work in Rn+m with m > 1, we will work microlocally near
(0, 0; ξ0 , 0) and new phenomena appear. This is the main point of this paper.
We say that the system is subelliptic in the neighborhood of the origin is there
exists s > 0 , C > 0 and some open neighborhood of the origin V(0), such that
Microlocal maximal hypoellipticity has been characterized in [5] for this type of
systems under a general criterion which may appear as rather implicit (see although
[16] ) and this study has been extended and developed in a series of paper by J.
Nourrigat [17, 18]. For subellipticity, the tubular case permits a simplification of
the analysis (using a partial Fourier transform). This was developed in [1, 2, 3]
and will be shortly recalled in Subsection 7.1.
1.2. What is known when m = 1.
For about twenty five years it was a kind of folk theorem that, when B analytic,
these systems were subelliptic as soon as they were hypoelliptic. This was indeed
the case when n = 1 [19] but in the case n > 1, an inaccurate reading of the proof
(based on a non standard subelliptic estimate) given by Maire [11] (see also Trèves
[20]) of the hypoellipticity of such systems, under the condition that B does not
admit any local maximum or minimum, was supporting the belief for this folk theo-
rem. This question reappears in the book of [4] in connection with the semi-classical
analysis of Witten Laplacians. Quite recently, J.L. Journé and J.M.Trépreau [8]
show by explicit examples that there are very simple systems (with polynomial B’s)
which were hypoelliptic but not subelliptic in the standard L2 -sense. But in these
examples, B is not quasihomogeneous.
In [1] and [2, 3] the homogeneous and the quasihomogeneous cases were analyzed
in dimension 2. We showed indeed that the folk theorem was correct in the quasi-
homogeneous case.
1.3. Main goals of the paper : n = 2, m = 2.
We would like to analyze the microlocal subellipticity at (0, 0, 0, 0 ; 0, 0, 1, 0) of
systems defined by
(1.10) L1 = ∂s + i∂s B(s, t, ∂x , ∂y ) , L2 = ∂t + i∂t B(s, t, ∂x , ∂y ) .
In short we denote this system by (LB ) to mention the reference to B. We will
concentrate our analysis on the homogeneous case. The new point is that we have
18
4 MAKHLOUF DERRIDJ AND BERNARD HELFFER
It is immediate to see that the only term of degree 2 for a limiting polynomial P is
1 (2) 2 (2)
2 11 s , with 11 ≥ 0. Here we use that limn→+∞ ηn /|ξn | = 0.
Hence any limiting polynomial has the form :
1 (2) 2 (1) (1)
P (s, t) = s + 1 s + 2 t ,
2 11
(2)
with 11 ≥ 0.
(1) (1)
We then observe, considering successively the cases when 2 = 0, then 2 =
(1) (1) (1) (2)
0, 1 = 0, and finally 2 = 0, 2 = 0 and 11 > 0, that there is no non trivial
limiting polynomial of this form with a local maximum at 0.
with σ1 and σ2 ∈ R.
Remark 4.1.
In the negative example which will be analyzed later in this subsection, we have
γ1 = 0, γ2 = 0 and γ3 = 0.
Note also that if γ1 = 0, the condition |γ2 | + |γ3 | > 0 is necessary for having the
Trèves condition satisfied.
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 21
7
lim γ1 tn sn ηn = 0 .
n→+∞
We can choose
1 1 7
δ= ,= ,ρ= .
16 4 16
Hence we obtain
P (s, t) = −s2 ,
which admits a maximum at s = 0.
Remark 4.4.
Note that all these systems satisfy Trèves’s condition microlocally. We do not know
if this model is hypoelliptic. One should for proving this property analyze if some
Maire’s condition is satisfied.
This condition was automatically satisfied when B is analytic and when we have
only the x variable (no y). As presented in Journé-Trépreau [8], this result is due
to Maire and Journé-Trépreau give a proof of an improvment of this theorem (see
their Theorem 1.2 and its proof in section 2 of [8]), which gives a minimal control
of the loss of derivatives.
4.4. Conclusion for the homogeneous case with k = 3.
When γ1 = γ2 = γ3 = 0, it is clear that it is microlocally maximal hypoelliptic
and we have already mentioned that when γ1 = 0, Trèves condition implies the
inequality |γ2 | + |γ3 | > 0. To recapitulate, we have obtained :
Theorem 4.5.
With B defined by (4.1), the system (1.10) is microlocally maximally hypoelliptic
at (0, 0, 0, 0 ; 0, 0, 1, 0) if γ3 = 0 or if γ1 = γ2 = γ3 = 0.
It is not microlocally maximally hypoelliptic at (0, 0, 0, 0 ; 0, 0, 1, 0) if γ3 = 0 and
γ2 = 0 are satisfied, or if γ2 = γ3 = 0 and γ1 = 0 are satisfied.
Remark 4.6.
It remains to analyze γ2 = γ3 = 0 and γ1 = 0. But Trèves condition is not satisfied.
5.1. γ4 = γ2 = γ1 = 0 and γ3 = 0.
We would like to analyze the microlocal maximal hypoellipticity at (0, 0, 0, 0 ; 0, 0, 1, 0).
Proposition 5.1.
If B is defined by (5.1), with γ4 = γ2 = γ1 = 0 and γ3 = 0, then the system (1.10)
is maximally hypoelliptic at (0, 0, 0, 0 ; 0, 0, 1, 0).
Proof
We compute the various quantities appearing in Helffer-Nourrigat’s criterion. We
get (we only write the non zero terms)
∂ s B = s 3 ξ + γ3 t3 η , ∂t B = 3γ3 st2 η ,
2
∂ss B = 3s2 ξ , 2
∂st B = 3γ3 t2 η , 2
∂tt B = 6γ3 stη ,
3 3 3
∂sss B = 6sξ , ∂stt B = 6γ3 tη , ∂ttt B = 6γ3 sη ,
4 4
∂ssss B = 6ξ , ∂sttt B = 6γ3 η .
The proof is a consequence of various observations for a sequence satisfying the
above properties.
(1) We have always
(5.2) lim d4n ∂sttt
4
B(sn , tn , ξn , ηn ) = 6 lim d4n ηn = 0
n→+∞ n→+∞
This implies that the only term of degree 4 in the limiting polynomial
1 (4)
function should be 24 1111 s4 .
2 4 3
(2) Observing that 6(∂st B) (∂sttt B) = (∂stt B)2 , we get
(5.3) lim d3n ∂stt
3
B(sn , tn , ξn , ηn ) = 6γ3 lim (d3n tn ηn ) = 0 .
n→+∞ n→+∞
2
(3) Observing that 3
(∂ttt B)2 = 2γ32 ηξ2 2
∂ss B 4
∂ssss B, we get
(5.4) lim d3n ∂ttt
3
B(sn , tn , ξn , ηn ) = 6 lim (d3n sn ηn ) = 0 .
n→+∞ n→+∞
The two last observations imply that the only term of degree 3 in the
(3)
limiting polynomial function should be 16 111 s3 .
2 2
(4) Observing that 2(∂tt B) = ∂t B ∂ttt B and (5.4), we obtain
(5.5) lim d2n ∂tt
2
B(sn , tn , ξn , ηn ) = 6 lim (d2n sn tn ηn ) = 0 .
n→+∞ n→+∞
This implies that the only terms of degree 2 in the limiting polynomial
(2) (2)
function should be 12 11 s2 and 12 st.
(4)
We now distinguish two cases depending on the condition that 1111 = 0 or not.
(4)
Case 1 : 1111 = 0.
Then observing that
2 4 3
(5.6) 2∂ss B ∂ssss B = (∂sss B)2 ,
we get
(5.7) lim d3n ∂sss
3
B(sn , tn , ξn , ηn ) = 24 lim (d3n sn ξn ) = 0 .
n→+∞ n→+∞
This implies that in this case our limiting polynomial function should be of degree
2:
1 (2) 2 (2)
(5.8) s + 12 st + α1 s + α2 t ,
2 11
24
10 MAKHLOUF DERRIDJ AND BERNARD HELFFER
2
with in addition a sign condition due to the positivity of ∂ss B:
(2)
11 ≥ 0 .
But there are no non trivial polynomial function of this form admitting a local
maximum at 0.
(4)
Case 2 : 1111 = 0.
We first observe that in this case, we have
(4)
(5.9) lim ξn d4n = 1111 > 0
n→+∞
This implies that the only term of degree 4 in the limiting polynomial
1 (4)
function should be 24 1111 s4 .
(2) We control dn tn ηn and d2n s2n ξn . We can introduce
2 2
and
δ2 = lim d2n t2n ηn .
n→+∞
(δ1 + δ2 γ2 )s2 + δ2 γ3 st + α1 s + α2 t .
with δ1 ≥ 0.
But there are no non trivial polynomial function of this form admitting a local
maximum at 0. We can first exclude the case when α1 or α2 is not zero. Then it
remains to consider :
s ((δ1 + δ2 γ2 )s + δ2 γ3 t)
which is easy to control (one can discuss separately δ2 = 0 and δ2 = 0).
(4)
Case 2 : 1111 = 0.
After eliminating the polynomials for whch (0, 0) is not a critical point, it
remaains to analyze the limiting polynomial function takes the form
1 (4) 4
(5.13) (s − 4s0 s3 + 6s20 s2 ) + δ2 γ2 s2 + δ2 γ3 st .
24 1111
We look at the quadratic term
5.3. γ4 = 0, and γ3 = 0.
We would like to analyze the microlocal maximal hypoellipticity at (0, 0, 0, 0 ; 0, 0, 1, 0).
Proposition 5.3.
If B is defined by (5.1) with γ4 = 0 and γ3 = 0, then the system (1.10) is maximally
hypoelliptic at (0, 0, 0, 0 ; 0, 0, 1, 0).
Proof
We compute the various quantities appearing in Helffer-Nourrigat’s criterion. We
get (we only write the non zero terms)
∂s B = s3 ξ + (3γ1 ts2 + 2γ2 st2 + γ3 t3 )η , ∂t B = (γ1 s3 + 2γ2 ts2 + 3γ3 t2 s)η ,
2
∂ss B = 3s2 ξ + (6γ1 ts + 2γ2 t2 )η , ∂st
2
B = (3γ1 s2 + 4γ2 st + 3γ3 t2 )η ,
2 2
∂tt B = (2γ2 s + 6γ3 ts)η
3 3
∂sss B = 6sξ + 6γ1 tη , ∂sst B = (6γ1 s + 4γ2 t)η ,
3 3
∂stt B = (4γ2 s + 6γ3 t)η , ∂ttt B = 6γ3 sη ,
4 4 4 4 4
∂ssss B = 6ξ , ∂ssst B = 6γ1 η , ∂sstt B = 4γ2 η , ∂sttt B = 6γ3 η , ∂tttt B = 0.
The proof is a consequence of various observations for a sequence satisfying the
above properties. We only mention the new points or new difficulties.
(1) The only term of degree 4 in the limiting polynomial function should be
1 (4) 4
24 1111 s .
(2) We control d2n t2n ηn and d2n s2n ξn . We can introduce
δ1 = lim d2n s2n ξn
n→+∞
and
δ2 = lim d2n t2n ηn .
n→+∞
and
3 1 1 −3
sn = dn4 , tn = 2 dn4 , ηn = 1 d .
γ1 n
This implies
−7
ξn = −31 2 dn 2 .
With this choice, we obtain :
d2n ∂ss
2
B(sn , tn , ξn , ηn ) = −31 2
and we have a problem, because looking at our assumption on ξn we should have
−1 2 > 0. !! So the most natural research of counterexample goes nowhere.
We will see in Proposition 9.1 that this example is actually subelliptic.
5.6. Higher homogeneity.
maximal hypoellipticity holds actually for any k ≥ 2 for the system (1.10) associated
with k
1 k 1
k−
B(s, t, ξ, η) = s ξ + γ t s η,
k! !
=1
with γk = 0. The only limiting polynomials have indeed the form
1
(s − s0 )k + α1 s + α2 t ,
k!
or
δ1 s2 + α1 s + α2 t ,
with δ1 ≥ 0.
and
r−|α| (α)
μr σ ∞ B (ω∞ ) = P α (0) .
If B is an homogeneous polynomial of degree r, we obtain
−r
P (t) = μr σ∞ (B(ω∞ + σ∞ t) − B(ω∞ )) .
If B satisfies the Trèves condition globally, this is the same for P !
It remains to analyze the case when
B (α) (ω∞ ) = 0 , ∀α with 1 ≤ |α| ≤ r − 1 .
We rewrite ωn = ω∞ + wn ηn , with wn ∈ R+ and ηn ∈ Sd−1 . Without loss of
singularity we can assume that limn→+∞ ηn = η∞ and that limn→+∞ wn = 0 .
Then we can rewrite (6.1) in the form :
ρn
μr lim (dn /ρn )r (B(ωn + t) − B(ωn )) = P (t)
n→+∞ dn
We rewrite B(ωn + dρnn t) − B(ωn ) in the form
α
α
= |α|=r B (α) (ω∞ ) − ω∞ ) + t − |α|=r B (α) (ω∞ ) dρnn (ωn − ω∞ )
dn
ρn (ωn
α
α
= |α|=r B (α) (ω∞ ) wρnndn ηn + t − |α|=r B (α) (ω∞ ) wρnndn ηn .
1. r̃ = 1.
The philosophy is that Trèves condition gives immediately the control of the
non-degenerate representations in the sense of C. Rockland (see [5] for this no-
tion). But maximal hypoellipticity can fail if the criterion is not satisfied for some
degenerate representation.
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 31
17
Part 2. Subellipticity
7. General discussion
7.1. Derridj’s subellipticity criterion.
We write the criterion in the case “n + m” (this will then applied for n = 2 and
m = 2). The variables are denoted by x (x ∈ Rm ) and s (s ∈ Ω ⊂ Rn ) and the
dual variables in this section by ξ and σ. We look at the system
(7.1) ∇s + i∇s B(s) · ∇x ,
associated with B(s, ξ) = j Bj (s) · ξj . Assuming that 0 ∈ Ω and that Bj (0) =
∇Bj (0) = 0 (j = 1, . . . , m) , we consider the microlocal subellipticity of the system
at the point1 (0, 0; ξ0 , 0) in Rn+m × (Rn+m \ {ξ = σ = 0}).
Assumption 7.1. (H(α, ξ0 ))
There exist a conic neighborhood V of ξ0 in Rm \ {0}, a neighborhood ω of 0 in Ω
and constants C and α such that for any ξ ∈ V , there exists ω̃ξ of full measure in
ω and a map γ
ω̃ξ × [0, 1] (s, τ ) → γ(ξ, s, τ ) ∈ Ω
s. t., writing γξ (·) = γ(ξ, ·), we have
• γξ (s, 0) = s , γξ (s, 1) ∈ / ω, ∀s ∈ ω̃ξ
• γξ is of class C 1 outside a negligeable set Eξ ⊂ ω̃ξ × [0, 1], and
(1) |∂τ γξ (s, τ )| ≤ C , ∀(s, τ ) ∈ ω̃ξ × [0, 1] \ Eξ ,
(2) |det(Ds γξ )| ≥ C1 , ∀(s, τ ) ∈ ω̃ξ × [0, 1] \ Eξ ,
(3) B(γ(ξ, s, τ )) − B(s) ≥ C1 τ α , ∀(s, τ ) ∈ ω̃ξ × [0, 1]
• γ is measurable.
Theorem 7.2.
1
If φ satisfies (H(α, ξ0 )), then the associated system (7.1) is microlocally α -subelliptic
at ((0, 0); (ξ0 , 0)).
In order to verify the assumptions of Theorem 7.2, we have to control the
variation of B in different sectors. Hence, there is a “second” localization associated
with different directions (associated with points on the circle S1 ) . We choose to
analyze the situation close to (0, 1) in S1 .
7.2. Description of the possible types of sectors.
With B defined in (1.11), and B1 and B2 homogeneous of degree r (with r ≥ 2),
we consider
(7.2) B (s, t) = ξ −1 B(s, t, ξ, η) ,
with
η
(7.3) = .
ξ
We then introduce φ by
(7.4) φ (s) = B (s, 1 − s2 ) .
The analysis in the neighborhood of the direction (0, 1) leads us to distinguish
between six types of sectors and to define the rules followed by the escaping rays
when starting from, or going through the considered (family of -dependent) sec-
tor(s). We denote these sectors by V (or V to mention their dependence on ) and
1actually the ray associated with the point
32
18 MAKHLOUF DERRIDJ AND BERNARD HELFFER
SV denotes the arc S ∩ V . A point on the circle is most of the time parametrized by
s. All these sectors are contained in a sufficiently small (independently of ) open
sector containing (0, 1).
Type A+ : φ is positive, monotone and attains its maximum at one end s() of SV .
Moreover, there exists c0 > 0 such that |s()| ≥ c0 .
Type A− : φ is negative, monotone and attains its minimum at one end s() of SV .
Moreover, there exists c0 > 0 such that |s()| ≥ c0 .
Type B + : φ is positive and monotone on SV .
Type B − : φ is negative, monotone on SV .
Type C + : We have
(7.5) φ ≥ c0 || and |φ | ≤ C0 ||
Remark 7.3.
In fact, what we actually need is (immediate consequence of (7.5) and (7.6)) the
existence of C such that, in V ,
|φ | ≤ ±Cφ
with ±φ > 0 .
7.3. Description of the escaping rays.
As in our previous works there is an initial (sufficiently small) neighborhood of
(0, 0) in R2 which will be denoted by D. We will describe how points in D can
escape of D along broken straight lines. More precisely for points escaping from
D ∩ V , we will explain how they can either leave D or attain a neighboring sector.
But there is at the end a global constraint that they should escape from D. Our
escaping rays should be continuous, hence we can be can be vague for the rules
concerning points at the boundary of the sectors.
Type A+ : The rays are outgoing and parallel to the ray corresponding to the maxi-
mum of φ on SV .
Type A− : The rays are ingoing and parallel to the ray corresponding to the minimum
of φ on SV . They will necessarily touch the ray corresponding to the
maximum of φ on SV .
Type B + : The rays are outgoing and parallel to ( = 0. Note that σ
σ ) with σ is
independent of and that 0 < |
σ | < σ. Moreoever
(7.7) φ σ
≥ 0 on SV .
Type C + The rays are outgoing and parallel to ( is independent of
σ ). Note that σ
and that 0 < |
σ | < σ.
Type B − : The rays are ingoing and parallel to (
σ ). Moreover σ should satisfy
(7.8) φ σ
≤ 0 on SV .
Type C − : The rays are ingoing and parallel to (
σ ).
Remark 7.4.
In the case of Type C + or Type C − , the sign of σ is not given and determined by
global considerations : one should finally escape from D.
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 33
19
In the case of type B + , one will either leave directly D inside V or touch a neigh-
boring sector.
Once we have covered a conic neighborhood of (0, 1) by this family of sectors, we
have to verify that we can escape from any point of D (intersected with this cone).
This is not always possible and this possibility is not a consequence of Trèves con-
dition.
7.4. Control of φ .
7.4.1. Preliminaries. We refer to [3] for the general scheme of the proof and we
will restart at the level of the proof of Lemma 4.2. Hence we focus on the control
from below of B (s(τ ), t(τ )) − B (s, t), whose proof is based on the decomposition
(see formula (4.6) in [3]) :
(7.9) B (s(τ ), t(τ )) − B (s, t) = (I) + (II) ,
with
(I) := ρ(τ )m (φ (s̃(τ )) − φ (s̃(0)))
(7.10)
(II) := φ (s̃(0))(ρ(τ )m − ρm ) .
Here we recall that
s(τ )
ρ(τ )2 = s(τ )2 + t(τ )2 , s̃(τ ) = , ρ = ρ(0) ,
ρ(τ )
where (s(τ ), t(τ )) denotes the coordinates of the curve γ(s, t, τ ) starting from (s, t)
at time 0.
Our goal is to control from below, uniformly with respect to , the variation of
B along the escaping rays, i.e. the expression (I) + (II) in the different cases.
7.4.2. Type A+ . We observe that (II) is positive (ρ(τ ) is increasing). It remains
to get a lower bound of (I) by c0 τ sup(m,k) , with c0 independent of and with k the
order of the zero of φ=0 ).
For this we can apply our uniform lower bound lemma A.1 to φ(s, ) = φ (s)
together with what we did in the proof of Lemma 4.6 in [3]. We also use the lower
bound of s̃(τ ) − s̃(0) :
τ
(7.11) |s̃(τ ) − s̃(0)| ≥ C(σ) ,
ρ(τ )
with C(σ) > 0 and σ is the point of maximum of φ on the arc SV which is by
assumption uniformly away from the origin (as assumed in our definition of type
[A+ ]. This estimate is established in [2] (Formula (5.9)) and results from the fact
that our ray is not parallel to the ray (0). Hence we get for (I) the lower bound
(7.12) (I) ≥ c0 ρ(τ )m−k τ k ,
for some c0 > 0.
We now observe that for (s(τ ), t(τ )) = (s + cτ, t + dτ )
(7.13) ρ(τ )2 − ρ2 = τ (τ + 2sc + 2td) .
Hence we get that
(7.14) ρ(τ ) ≥ τ if st + cd ≥ 0 .
The conclusion is then easy by separating the two cases k ≤ m and k > m. When
k ≤ m, we use indeed the inequality (7.14) and when k > m, we use that ρ(τ ) is
uniformly bounded by the radius of D.
34
20 MAKHLOUF DERRIDJ AND BERNARD HELFFER
7.4.3. Type B + . The proof is the same replacing σ by σ . The important point
is independent of .
is that σ
7.4.4. Type C + . The problem is that (I) is not positive. Hence we have to find
a lower bound for (II) and (s, t, τ ) s.t. (s, t) ∈ V and γ(s, t, τ ) ∈ V ,
(II) ≥ cτ m ,
and show that |(I)| ≤ 12 (II).
We start from
m−1
ρ(τ )m − ρm = (ρ(τ ) − ρ)( j=0 ρ(τ )m−1−j ρj )
(7.15) )2 −ρ2 ) m−1
= (ρ(τ
ρ(τ )+ρ ( j=0 ρ(τ )
m−1−j j
ρ )
We now use (7.13) together with the observation that sc + td = ρ(s̃, t̃) , (c, d) and
that (s̃, t̃) , (c, d) is close to one because SV is close to (0, 1). Hence we get
(7.16) ρ(τ )2 − ρ2 ≥ τ (τ + ρ) .
Noting that by the triangular inequality
(7.17) τ + ρ ≥ ρ(τ ) ,
this leads to
ρ(τ )m − ρm ≥ τ 2ρ(τ
τ +ρ
) ρ(τ )
m−1
(7.18)
= 12 τ ρ(τ )m−1 .
Hence we obtain coming back to the definition of (II) and using the lower bound
away of 0 of |φ | :
||
(7.19) (II) ≥
|ϕ(0)|τ ρ(τ )m−1 .
4
On the other hand, using that on SV we have, using (8.4) and (8.6),
(7.20) |φ (s̃)| ≤ C|| ,
we obtain
|(I)| ≤ C1 |||s̃(τ ) − s̃(0)|ρ(τ )m .
We then observe2 that
τ
|s̃(τ ) − s̃(0)| ≤ δ(σ)
ρ(τ )
with
lim δ(σ) = 0 .
σ→0
Hence, we get :
(7.21) |(I)| ≤ C1 δ(σ)||τ ρ(τ )m−1 .
Hence we can choose σ small enough such that
1
(7.22) |(I)| ≤
(II) .
2
It remains to find a lower bound for (II). Having in mind that
(7.23) (SV ) ≤ C2 ||ω ,
where (SV ) denotes the length of the arc SV , we observe3 that, if γ(s, t, τ ) remains
in V , we have
τ ≤ C3 ||ω ρ(τ ) ,
i.e
τ 1
|| ≥ c4 ( )ω .
ρ(τ )
From this we obtain,
τ 1 1 1
(II) ≥ c0 ||τ ρ(τ )m−1 ( ) ω = c5 τ 1+ ω ρ(τ )m−1− ω .
ρ(τ )
Having in mind (7.14) and noting that ω ≤ 1, we obtain (we recall that m ≥ 2)
(7.24) (II) ≥ c6 τ m .
So we have effectively obtained
1
(7.25) (I) + (II) ≥
c6 τ m .
2
Note that the estimate is independent of the vanishing order k.
7.4.5. Types A− , B − and C − . This is the same. We have just to replace in
the proofs φ by −φ .
7.5. Control of the Jacobian.
We refer to the discussion for the case of homogeneity 3 and to the last paragraph
of Subsection 8.3, where the general proof is sketched.
The proof below will treat a more general situation where the polynomial character
has disappeared.
8.1. Analysis of the graph of φ .
We first analyze the zeroes of φ (s) for s ∈ I := [−σ, σ], with σ > 0. σ and will
be chosen independently of small enough size (we will not mention systematically
repeat the “small enough” at each step of the proof).
We have
(8.4) φ (s) = 3s2 + ϕ (s) .
We first note that, because ϕ(0) = 0, φ (s) has a unique zero s0 () in I and this
zero satisfies :
1
(8.5) s0 () ∼ (−ϕ(0)) 3 .
It is clear that φ (s0 ()) > 0 and that φ has at most two zeroes in I. We can now
discuss different cases depending on the behavior of ϕ at the origin.
(1) ϕ (0) = 0.
If ϕ (s) ≥ 0, φ ≥ 0 and φ is monotonically increasing.
If ϕ (s) < 0, then φ has two zeroes s1 () and s2 () which corresponds
respectively to a local maximum or a local minimum. We have
s1 () ∼ −3− 2 || 2 |ϕ (0)| 2 , s2 () ∼ 3− 2 || 2 |ϕ (0)| 2
1 1 1 1 1 1
(8.6)
Note that we have, depending on the sign of ϕ(0),
(a) either
(8.7) −σ < s0 < s1 < 0 < s2 < σ
(b) or
(8.8) −σ < s1 < 0 < s2 < s0 < σ ,
and that
(8.9) φ (sj ) ∼ ϕ(0) .
Observing that
φ (s) = 6s + ϕ (s) ,
we get that
φ (sj ) ∼ 6sj ,
so s1 is a local maximum and s2 is a local minimum. This implies the
following control of φ between (s1 ) and (s2 ) :
(8.10) |φ (s)| ≤ C(|sj ()| + ||)|sj ()| ≤ C̃|| .
(2) ϕ (0) = 0, ϕ (0) = 0.
In this case, we can write ϕ = sψ1 with ψ1 (0) = 0 and we get
φ (s) = s(3s + ψ1 (s)) .
φ vanishes at 0 and at a point s1 () satisfying
(8.11) s1 () ∼ − ψ1 (0) ,
3
whose sign is determined by the sign of −ψ1 (0). Note that we have,
depending on the signs of ϕ(0) and ψ1 (0), four cases
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 37
23
Notation. √
From now on, we denote by (−σ) the ray joining (0, 0) to (−σ, 1 − σ 2 ).
For a point (s, t) in the second sector (associated with the arc (s0 , s1 )) and the
third sector (associated with the arc (s1 , s2 )), we consider outgoing rays parallel to
(
σ ), till the ray meets a neighboring sector or the boundary of the disk.
Finally, for a point (s, t) in the fourth sector (associated with the arc (s 2 , σ) ),
we consider outgoing rays parallel to (σ).
−σ < σ
< s1 < 0 < s2 < s0 < σ .
For a point (s, t) in this first sector we choose an ingoing ray starting from
(s, t), which is parallel to(−σ), till the ray crosses the ray associated with s0 (that
is joining (0, 0) and (s0 , 1 − s20 ).
For a point (s, t) in the second sector (associated with the arc (s 1 , s2 )) and the
third sector (associated with the arc (s 2 , s0 )), we consider ingoing rays parallel to
(
σ ), till we meet another sector.
Finally, for a point (s, t) in the fourth sector (associated with the arc (s 0 , σ)),
we consider outgoing rays parallel to (σ).
(s
1 , 0), (0, s0 ) and (s0 , σ).
For a point (s, t) in the fourth sector, we consider outgoing rays parallel to (σ).
For a point (s, t) in the third sector we choose an ingoing ray starting from (s, t),
which is parallel to ( σ ), till the ray crosses the ray associated with (s0 ), we then
follow the rule of the fourth sector.
For a point (s, t) in the second sector we choose an ingoing ray starting from (s, t),
which is parallel to ( σ ), with −σ < σ̂ < 0, till the ray crosses the ray associated
with s = 0. We then follow the rules of the third and fourth sectors.
Finally, for a point (s, t) in the first sector we choose an ingoing ray starting from
(s, t), which is parallel to (−σ), till the ray crosses the ray associated with s1 and
then follow the rules of the other sectors.
these angles are not zero and can be controlled by -independent lower bounds and
upper bounds. It is clear that we get a uniform positive lower bound for det(Dγ).
Here we refer to Appendix A in [2] (see Formula (A.15)). Let us illustrate what we
explained there on an example, let us assume that we start from a point (s, t) in
S1 such that the corresponding ray is broken when crossing (s0 ) and (s2 ). Then,
we have
• det(Dγ)(t, s, τ ) = 1 ,
if γ(t, s, τ ) ∈ S1 ,
• |det(Dγ)(t, s, τ )| = |Δ((−σ), (s0 ))|−1 |Δ((s0 ), ( σ ))| ,
if γ(t, s, τ ) ∈ S2 ∪ S3 ,
• |det(Dγ)(t, s, τ )|
= |Δ((−σ), (s0 ))|−1 |Δ((s0 ), ( σ ), (s2 ))|−1 |Δ((s2 )(σ))| ,
σ ))| |Δ((
if γ(t, s, τ ) ∈ S4 .
√
Here Δ((α), (β)) = α 1 − β 2 − β 1 − α2 and we observe that
Because all these limits are not zero, we get for small enough uniform lower and
upper bounds for the Jacobian.
In all the remaining cases we have just to control the angles between the ingoing
broken line and the boundary rays of the sector V . This should be only controlled
when the line is effectively broken.Because all the crossed boundary rays tend to
the ray (0), the property results of the fact that σ and σ are not 0. Because this is
the rule which is followed when defining the rays for each type of sector, the proof
works in full generality.
φ (s) = s3 + sϕ(s) ,
with ϕ(0) = 0, we note that Trèves condition is satisfied. We recall that this class
3
contains the homogeneous model of degree 3 B(s, t, ξ, η) = s3 ξ + γ1 s2 t + γ2 st2 ,
which is not maximally hypoelliptic. The subellipticity is open. If we try to follow
our general method for ϕ(0) < 0, then ϕ has three zeroes 0, s± ()) ∼ ± −ϕ(0)
and two critical points. This determines 6 sectors, each associated arc having one
zero of φ at one end. We necessarily arrive to a configuration A− B + B + B − B − A+
for which there are no way to escape, following the rules we have given.
When
φ (s) = s3 + s2 ϕ(s) ,
with ϕ(0) = 0, we simply note that Trèves’s condition is not satisfied. Hence we do
not have hypoellipticity.
Finally when
φ (s) = s3 + s3 ϕ(s) ,
φ has a unique zero at s = 0 and we are in a configuration A− A+ .
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 41
27
(2) If ϕ(0) < 0, then φ has two roots s1 () and s2 () satisfying :
−σ < s1 () < 0 < s2 () < σ ,
and
1 1
(9.8) s1 () ∼ −|ϕ(0)| 4 , s2 () ∼ |ϕ(0)| 4 .
We continue the discussion in function of m.
(a) If m = 0, we have asymptotically
s1 () < s0 () < s2 () ,
We will show that configuration A+ B − B − A+ is suitable.
(b) If m = 1, and ψ(0) > 0, φ has a unique negative minima at 0 and
s1 () < 0 < s2 ()
We will show that configuration A+ B − B − A+ is suitable.
If m = 1 and ψ(0) < 0 in this neighborhood, 0 corresponds to a
point of negative local maximum
(9.9) φ (0) = ϕ(0) < 0 ,
and the two other zeroes of φ s̃1 and s̃2 , correspond to points of nega-
tive local minima. We will show that configuration A+ B − C − C − B − A+
is suitable.
(c) If m = 2, then φ has a unique negative minimum at s0 () and a
negative inflexion point at 0. Depending on the sign of s0 (), we are
either in the situation when
−σ < s1 < s0 < 0 < s2 < σ ,
or
−σ < s1 < 0 < s0 < s2 < σ .
[B:] = 1.
Hence we have
φ (s) = s(s3 + ϕ(s)) .
φ has two roots : 0 and
1
s1 () ∼ −(ϕ(0)) 3 ,
whose sign is the sign of −ϕ(0).
The derivative
φ (s) = 4s3 + ϕ(s) + sϕ (s) ,
has only one zero
1 1
s0 () ∼ − (ϕ(0)) 3
4
44
30 MAKHLOUF DERRIDJ AND BERNARD HELFFER
4
φ has a unique minimum. We will show that a suitable configuration is A+ B − B − A+ .
[C:] = 2.
If ϕ(0) > 0, this is OK for the construction but this will not work when ϕ(0) < 0
and we have a need to treat the two signs.
This is actually a general fact. In any homogeneity we can observe that the
Trèves condition in a neighborhood of ξ = 1, η = 0) implies that cannot be even
if < 3. (see Remark 10.3)
If ϕ < 0, φ has three roots including 0 which is of multiplicity 2. But φ has
three roots (including 0). In this case the Trèves condition is not satisfied. Hence
it is not hypoelliptic.
[D:] = 3.
φ has two roots including 0 (as triple zero) and s1 () ∼ −ϕ(0) and φ has two
roots, with 0 as double zero and
3
s0 () ∼ − ϕ(0) .
4
We have
3 1
φ (s0 ()) ∼ −( )3 4 ϕ(0)4
4 4
and
9 2
φ (s0 ()) ∼
ϕ(0)2 .
16
So φ has a unique minimum at s0 () and, depending on the sign of ϕ(0), we have
−σ < 0 < s0 () < s1 () < σ ,
or
−σ < s1 () < s0 () < 0 < σ .
We will show that a suitable configuration is A+ B − B − A+ .
[E:] ≥ 4.
We have
φ (s) = s4 (1 + ϕ(s)) .
We will show that a suitable configuration is A+ A+ .
When m = 1, and ψ(0) > 0, we can do the same thing. If ψ(0) < 0, we have
two minima and a local maximum. Hence we consider four sectors attached to the
sequence −σ, s̃1 , 0, s̃2 , σ and we have to consider the configuration A+ C + C + A+ .
The condition (7.5) is satisfied immediately using (9.7) and (9.6). Considering
some 0 < σ < σ, and when starting from S2 we take an outgoing ray parallel to
(−σ ). When starting from S3 , we take an outgoing ray parallel to (σ ).
When m ≥ 3, we have five points −σ < s1 < 0 < s2 < σ , which determine four
sectors. The configuration is A+ B − B − A+ .
Case B : = 1.
We treat the case when ϕ(0) > 0.
We have five characteristic points −σ < s1 < s0 < 0 < σ ,, which determine in
clockwise order four sectors Sj . The configuration is A+ B − B − A+ . For a point
(s, t) in S1 , we choose an outgoing ray starting from (s, t), which is parallel to
(−σ), till the ray leaves the disk. For a point (s, t) in S4 , we choose an outgoing
ray starting from (s, t), which is parallel to (σ), till the ray leaves the disk. For
a point (s, t) in S2 , we consider ingoing rays parallel to (σ ), till the ray enters in
S1 and then use the rule of S1 . For a point (s, t) in S3 , we consider ingoing rays
parallel to (−σ ), till the ray enters in S4 and then use the rule of S4 .
Case D : = 3.
We treat the case when ϕ(0) > 0. We have five points −σ < s1 < s0 < 0 < σ ,
which determine in clockwise order four sectors Sj (j = 1, . . . , 4). The configuration
is A+ B − B − A+ .
The other case is treated similarly by exchanging the role of 0 and s1 ().
Case E : ≥ 4.
We have three points
−σ < 0 < σ ,
which determine in clockwise order two sectors S1 and S2 . The configuration is
A+ A+ . For a point (s, t) in S1 we choose an outgoing ray starting from (s, t),
which is parallel to (−σ), till the ray leaves the disk. For a point (s, t) in S2 , we
choose an outgoing ray starting from (s, t), which is parallel to (−σ), till the ray
leaves the disk.
9.3. The results in the homogeneous case of degree 4.
In the polynomial case, we obtain
Subcase = 0.
In that case, we have
ψ
φ = ϕ(sp + ) ,
ϕ
and we immediately see that φ has one zero
1
ψ(0) p
(10.2) s0 () ∼ − .
ϕ(0
Let us consider the derivative of φ .
(10.3) φ = sp−1 (pϕ + sϕ ) + ψ .
Writing
ψ (s) = sm g(s) .
We discuss between various subsubcases.
a) m ≥ p − 1.
Then φ has , for σ small enough a unique 0 at s = 0 of even order. We then obtain
four possibilities.
i) ϕ(0) > 0, s0 () < 0
ii) ϕ(0) > 0, s0 () > 0
iii) ϕ(0) < 0, s0 () < 0
iv) ϕ(0) < 0, s0 () > 0
The three sectors are determined by the sequence −σ < s0 () < 0 < σ for the
items i) and iii) and by the sequence −σ < 0 < s0 () < σ for the items ii) and iv).
It is then easy to give the corresponding configurations : A− B + A+ , A− B − A+ ,
A+ B − A− , and A+ B + A− .
b) m = 0.
In this case, assuming that g(0) = 0, we have
(10.4) φ = sp−1 (pϕ + sϕ ) + g .
Now p − 1 is even. If g(0)/ϕ(0) > 0, then φ has no zero on (−σ, σ). Hence φ is
monotone on ] − σ, +σ[ for σ > 0 small enough. The two sectors are determined
by the sequence −σ < s0 () < σ and the corresponding configuration are A− A+ or
A+ A− .
If g(0)/ϕ(0) < 0, then φ has two zeroes s1 () and s2 () of opposite signs such
that, for j = 1, 2,
1
−g(0) p−1
(10.5) |sj ()| ∼ .
pϕ(0)
Note that |sj ()| << s0 () for j = 1, 2. In this situation, we choose four sectors
corresponding to the sequence −σ < s1 () < s2 () < s0 () < σ leading to a config-
uration A− C − B − A+ (or A+ C + B + A− ) or to the sequence −σ < s0 () < s1 () <
s2 () < σ leading to a configuration A− B + C − A+ (or A+ B − C + A− ). Having in
mind what we have done for the homogeneous cases of degree 3 and 4, the only dif-
ficulty is to control the claim that the sector delimited on the circle by (s1 (), s2 ())
is indeed of type C ± . Now, because p ≥ 3 and (10.5) holds, φ (s) ∼ ψ(0) on this
interval and it is easy to see from (10.4) that |φ (s)| ≤ C||.
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 49
35
c) 1 ≤ m < p − 1.
We restart of (10.3) that we rewrite in the form
(10.6) φ = sm (pϕ + sϕ )sp−m−1 + g .
Hence, assuming again that g(0) = 0, 0 is a zero of order m and for other zeroes
we have to look at
(pϕ + sϕ )sp−m−1 + g = 0 .
The existence of solutions depends on the parity of m and of the sign of
h := −g(0)/ϕ(0)
We distinguish three subcases
i) m even and h < 0 ;
ii) m even and h > 0 ;
iii) m odd.
i)
In this case s = 0 is the only zero and is of even order. So φ is monotone and
associate with −σ < s0 () < σ, we have a configuration A+ A− or A+ A− .
ii)
In this case φ has three zeroes which are s = 0 and two other zeroes s1 () and
s2 () of opposite sign satisfying
p−m−1
1
h
(10.7) |sj ()| ∼ .
p
So we take a configuration associated to −σ < s1 () < s2 () < s0 () < σ or
−σ < s0 () < s1 () < s2 () < σ and have to show that we are in the configuration
A± C ± B ± A∓ or A± B ∓ C ∓ A∓ . As before, we have just to control |φ | from below
m
(we get |φ | ≥ C1 ||) and |φ | from above (we get |φ | ≤ C||1+ p−m−1 ) in the interval
[s1 (), s2 ()].
iii)
When m is odd, φ has another zero s1 () with asymptotics as → 0
p−m−1
1
h
(10.8) s1 () ∼ .
p
We associate to the sequence −σ < 0 < s1 () < s0 () < σ ( or to −σ <
s0 () < 0 < s1 () , or to what we get by exchanging s1 () and 0) and we get a
configuration A∓ C ∓ B ∓ A± , or A∓ B ± C ± A± . Then we have only to control |φ
from below between 0 and s1 () (we get |φ | ≥ C1 ) and |φ | from above (we get
m
|φ | ≤ C||1+ p−m−1 ).
10.3. The case when p is even, p ≥ 2. We keep the same notation and
consider three subcases.
Subcase ≥ p.
The Trèves condition implies ϕ(0) > 0. Hence we get
1 p
(10.9) ϕ (s) ≥ s ,
C
and 0 is the only zero and this zero is of even order. Rewriting
φ (s) = sp−1 (pϕ + sϕ + s−p ψ + s−p+1 ψ ) ,
50
36 MAKHLOUF DERRIDJ AND BERNARD HELFFER
we obtain that φ has a unique zero at 0. Associated with the sequence −σ < 0 < σ,
we get two sectors with configuration A+ A+ .
Subcase = 0.
So φ = sp ϕ + ψ with ϕ(0) > 0 and ψ(0) = 0. If ψ(0) > 0 then φ has no zero
and if ψ(0) < 0 φ has two zeroes of opposite sign satisfying
1
(10.10) s± () ∼ ±(−ψ(0)) p
We have then to analyze
φ = sp−1 [pϕ + sϕ ] + ψ ,
and to discuss in function of the behavior of ψ at 0. We write
ψ (s) = sm θ(s) ,
with θ(0) = 0 if m < p − 1. a) m ≥ p − 1.
Then φ has only one zero at 0 of odd order. Hence φ has at 0 a minimum.
When ψ(0) > 0, we can associate to the sequence −σ < 0 < σ two sectors
corresponding to the configuration A+ A+ . When ψ(0) < 0, we associate to the
sequence −σ < s− () < 0 < s+ () < σ four sectors corresponding to a configuration
A+ B − B − A+ .
b) m = 0.
Then, as θ(0) = 0, φ has a unique zero s1 (), which satisfies
1
θ(0) p−1
(10.11) s1 () ∼ − .
pϕ(0)
When ψ(0) > 0, we can associate to the sequence −σ < s1 () < σ two sectors
corresponding to the configuration A+ A+ . When ψ(0) < 0, we associate to the
sequence −σ < s− () < s1 () < s+ () < σ four sectors corresponding to a configu-
ration A+ B − B − A+ .
c) 1 ≤ m < p − 1.
We write
φ = sm sp−m−1 [pϕ + sϕ ] + θ , ,
and are let to distinguish between two possibilities :
• m even
• m odd
When m is even, then φ has two zeroes, 0 which is of even order and another one
s1 () admitting the asymptotics
1
θ(0) p−m−1
(10.12) s1 () ∼ − .
pϕ(0)
Then
– either 0 is an inflexion point and s1 () is a minimum and we consider the sequence
−σ < s− () < s1 () < s+ () < σ with a configuration A+ B − B − A+ – or 0 is the
minimum and s1 () is an inflexion point and we consider the sequence −σ < s− () <
0 < s+ () < σ with a configuration A+ B − B − A+ .
When m is odd, then φ has either one zero if θ(0) > 0 or if θ(0) < 0, three
zeroes, 0 which is of odd order and two others s± () admitting the asymptotics
1
−θ(0) p−m−1
(10.13) s± () ∼ ± .
pϕ(0)
SUBELLIPTICITY AND MAXIMAL HYPOELLIPTICITY 51
37
Lemma A.1.
Let (s, ) → φ(s, ) a C ∞ function defined in a neighborhood of (0, 0) in R × Rm .
Let us assume that, for some k ∈ N∗ , we have
Proof
The initial choice of U0 =] − α, +α[ is done in order that ∂s φ(., 0) have only s = 0
as zero in U0 for = 0 , · · · , k − 1.
The main ingredient is the formula
s
(A.6) φ(s , ) − φ(s, ) = ∂s φ(τ, ) dτ ,
s
The case k = 1.
We have simply to apply the implicit function theorem. We get for close to 0 a
unique zero s0 () depending smoothly on and such that s0 (0) = 0. We note that
∂s φ(·, ) is non zero. Say for example that ∂s φ > 0. For s and s such that s > s,
we deduce from (A.6) that (A.4) in the form
|φ(s, ) − φ(s , )| ≥ inf |∂s φ(s, )| |s − s | .
(s,)∈U0 ×V0
At many times (but only finitely many times), we will have to take, without to
mention it explicitly, smaller U0 and V0 .
The case k = 2.
We first consider the unique zero s1 () of ∂s φ(·, ) whose existence is given by the
implicit function applied to ∂s φ(·, ). Assuming for definiteness that ∂s2 φ(0, 0) > 0,
we can choose a smaller interval U0 and a smaller neighborhood V0 such that, for
∈ V0 , s ∈ U0 such that s ≥ s1 (), we have
1
∂s φ(s, ) ≥ |∂s2 φ(0, 0)|(s − s1 ()) ≥ 0 .
2
Hence we obtain that for any s, s , such that s > s > s1 (),
s
f (s , ) − f (s, ) ≥ 12 |∂s2 φ(0, 0)| s (τ − s1 ())dτ
= 14 |∂s2 φ(0, 0)| (s − s1 ())2 − (s − s1 ())2
≥ c21 (s − s)2 .
Here we have used for the last inequality that, for ∈ N∗ ,
(A.7) (θ ) − θ ≥ (θ − θ) , ∀θ, θ s. t. θ > θ ≥ 0 .
So we have obtained the lemma for k = 2 with C2 = 1.
The case k = 3.
First we denote by s2 () the zero of ∂ss φ(·, ) and assume for definiteness that
∂sss φ(·, ) > 0. Then ∂s φ(·, ) has either no zero, one double zero, or two zeroes
depending of the sign of ∂s φ(s2 (), ).
Let us consider the two subcases.
Subcase a : ∂s φ(s2 (), ) ≥ 0
In this case, ∂s φ ≥ 0 and φ is monotone. We will prove (A.4) first with s, s ≥ s2 (),
then with s, s ≤ s2 (). The general result for s, s ∈ U0 then easily follows using a
“splitting argument” based on the following inequality, for θ0 ≤ θ1 ≤ θ2 ,
|θ2 − θ1 |3 + |θ1 − θ0 |3 ≥ 2−3 |θ2 − θ0 |3 .
More generally we could need later that, for s ≥ 1, ∈ N∗ and θ0 ≤ θ1 ≤ θ2 ≤
· · · ≤ θ ,
(A.8) |θk − θk−1 |s ≥ −s |θ − θ0 |s .
k=1
Coming back to our analysis, we have to find a lower bound of ∂s φ(τ, ) for
τ ≥ s2 (). We have
c3 (φ)
c3 (φ)
∂s φ(τ, ) ≥ ∂s φ(s2 (), ) + (τ − s2 ())2 ≥ (τ − s2 ())2 ,
2 2
54
40 MAKHLOUF DERRIDJ AND BERNARD HELFFER
with
c3 (φ) = inf |∂s3 φ(s, )| .
(s,)∈U0 ×V0
Implementing in the formula (A.6) for φ(s )−φ(s2 ()), we obtain, for s > s ≥ s2 () :
c3 s
c3 (φ) c3 (φ)
f (s , ) − f (s, ) ≥ (τ − s2 ())2 dτ ≥ (s − s)3 ≥ (s − s)3 .
2 s 6 2
The last inequality, based on c3 6(φ) ≥ c3 2(φ) , being achieved by taking U0 and V0
small enough.
Considering general pairs s , s and using the splitting argument, we obtain the
lemma with the condition C1 ≥ 8.
Subcase b : ∂s φ(s2 (), ) < 0
Analyzing the behavior of f (s, 0) and taking sufficiently close to 0 we get that
∂s φ has two zeroes. We denote by s− +
1 () and s2 () the two zeroes such that
s− +
1 () < s2 () < s1 () .
s
c3 s
c3
φ(s, ) − φ(s , ) = (−∂s φ(τ, ))dτ ≥ (τ − s−
1 ()) dτ ≥
2
|s − s |3 .
s 2 s 6
This implies to choose C3 ≥ 1. In the last case,
s
c3 (φ) s
c3 (φ)
φ(s, ) − φ(s , ) = (−∂s φ(τ, ))dτ ≥ (τ − s+
1 ()) dτ ≥
2
|s − s |3 .
s 2 s 6
In the middle case, we use the “splitting” argument by writing
φ(s, ) − φ(s , ) = φ(s, ) − φ(s2 (), ) + φ(s2 (), ) − φ(s , )
and can use the previous analysis. Note here that this is why we are obliged to
increase C3 in comparison with the case k = 1 and k = 2 and get C3 ≥ 8, without
to pretend at optimality.
argument to ∂s φ(·, ) after observing that this function satisfies (A.2)-(A.3) with
k = k0 − 1. Hence we have, for any s, s in a monotonicity interval of ∂s φ(·, ) :
1
(A.9) |∂s φ(s, ) − ∂s φ(s , )| ≥ ck−1 (∂s φ) |s − s|k−1 .
2Ck−1
We observe that
(A.10) ck−1 (∂s φ) = k ck (φ) .
The proof goes like as for k = 3. First we determine the monotonicity νk + 1 inter-
()
vals of f (·, ξ) (at most k + 1) by considering the νk zeroes s1 () of ∂s φ(·, ).
Then we have three types of intervals :
(1) (ν ) (j) (j+1)
]s−∞ , s1 ()[, ]s1 k (), s+∞ [ and ]s1 (), s1 ()[.
2
In each of these intervals, we determine the zeroes of ∂ss φ(·, ) corresponding to an
effective change of monotonicity for ∂s φ(·, ) and get an attached decomposition of
subintervals.
In each of these subintervals, we consider the quantity φ(s, ) − φ(s , ) and use
the first order Taylor formula. We compare ∂s φ(τ, ) with ∂s φ(s̃, ) where s̃ is the
end of the subinterval where |∂s φ(·, )| is minimal. One can then use
kck kck
|∂s φ(τ, )| ≥ |∂s φ(s̃, )| + |τ − s̃|k−1 ≥ |τ − s̃|k−1 .
Ck−1 Ck−1
References
[1] M. Derridj. Subelliptic estimates for some systems of complex vector fields. In “Hyperbolic
problems and regularity questions”. Series Trends in Mathematics. Edtrs: M. Padula and L.
Zanghirati. Birkhäuser (2006), p. 101-108.
[2] M. Derridj and B. Helffer. Subelliptic estimates for some systems of complex vector fields:
quasihomogeneous case. http://www.arxiv.org/abs/math.AP/0611926 and Trans. Amer.
Math. Soc. 361 (2009), no. 5, p. 2607-2630.
[3] M. Derridj and B. Helffer. On the subellipticity of some hypoelliptic quasihomogeneous sys-
tems of complex vector fields. In ”Complex Analysis”, Series Trends in Mathematics. Edtrs:
P. Ebenfelt, N. Hungerbuehler, J.J. Kohn, N. Mok, E.J. Straube. Birkhuser (2010), p. 109-
124.
[4] B. Helffer and F. Nier.Hypoelliptic estimates and spectral theory for Fokker-Planck operators
and Witten Laplacians. Lecture Notes in Math. 1862, Springer Verlag, Berlin 2005.
[5] B. Helffer and J. Nourrigat. Hypoellipticité maximale pour des opérateurs polynômes de
champs de vecteurs. Progress in Mathematics, Birkhäuser, Vol. 58 (1985).
[6] L. Hörmander. Hypoelliptic second order differential equations.Acta Mathematica 119 (1967),
p. 147-171.
[7] L. Hörmander. Subelliptic operators. Seminar on singularities of solutions of partial differen-
tial equations.Ann. Math. Studies 91 (1978), p. 127-208.
[8] J.L. Journé and J.M. Trépreau. Hypoellipticité sans sous-ellipticité : le cas des systèmes de n
champs de vecteurs complexes en (n + 1)- variables. Séminaire EDP in Ecole Polytechnique,
April 2006.
[9] J. Kohn. Lectures on degenerate elliptic problems. Pseudodifferential operators with applica-
tions, C.I.M.E., Bressanone 1977, p. 89-151 (1978).
[10] J.J. Kohn. Hypoellipticity and loss of derivatives, with an appendix by M. Derridj and D.
Tartakoff. Ann. of Math. 162 (2), p. 943-986 (2005).
[11] H.M. Maire. Hypoelliptic overdetermined systems of partial differential equations. Comm.
Partial Differential Equations 5 (4), p. 331-380 (1980).
[12] H.M. Maire. Résolubilité et hypoellipticité de systèmes surdéterminés. Séminaire Goulaouic-
Schwartz 1979-1980, Exp. V, Ecole Polytechnique (1980).
[13] H.M. Maire. Necessary and sufficient condition for maximal hypoellipticity of ∂¯b . Unpublished
notes, Séminaire de Rennes 1981.
56
42 MAKHLOUF DERRIDJ AND BERNARD HELFFER
[14] H.M. Maire. Régularité optimale des solutions de systèmes différentiels et du Laplacien associé
: application au b . Math. Ann. 258, p. 55-63 (1981).
[15] F. Nier. Hypoellipticity for Fokker-Planck operators and Witten Laplacians. Course in China.
Preprint September 2006. To appear in 2010.
[16] J. Nourrigat. Subelliptic estimates for systems of pseudo-differential operators. Course in
Recife (1982). University of Recife.
[17] J. Nourrigat. Systèmes sous-elliptiques. Séminaire Equations aux Dérivées Partielles, 1986-
1987, exposé V, Ecole Polytechnique (1987).
[18] J. Nourrigat. Subelliptic systems II. Inv. Math. 104 (2) (1991), p. 377-400.
[19] F. Trèves. A new method of proof of the subelliptic estimates. Comm. Pure Appl. Math. 24
(1971), p. 71-115.
[20] F. Trèves. Study of a model in the theory of complexes of pseudo-differential operators. Ann.
of Math. (2) 104, p. 269-324 (1976). See also erratum: Ann. of Math. (2) 113, p. 423 (1981).
Introduction
A classical result states ([H1, Thms. 3.1.14 and 3.1.15]) that a holomorphic
function in one complex variable, defined on domain with smooth boundary, that
has tempered growth at the boundary possesses a well defined distributional bound-
ary value. In the case of several complex variables, one considers the more general
situation of holomorphic functions defined on wedges and studies their boundary
values at the edges and an analogous result holds [BER, Ch. VII]. If we view holo-
morphic functions as homogeneous solutions of an overdetermined system of equa-
tions, it is natural to ask for which kind of overdetermined systems of vector fields
their continuous homogeneous solutions defined on wedges behave similarly, that
is, they have weak boundary values provided some growth restriction is assumed
at the edge. Several works have dealt with this problem in particular situations,
the case of a single vector field has been considered in [BH1], [BH2], [BH3] and
[BCH, Thm. VI.1.3] while E. Bär studied in her thesis [B] the case of solutions
defined in a wedge for a locally integrable system of vector fields of co-rank one.
Our main result applies to continuous solutions of a general overdetermined sys-
tem of first order partial differential equations that arises from a locally integrable
57
58
2 J. HOUNIE AND E. R. DA SILVA
involutive structure and gives a sufficient condition for the existence of boundary
values. Involutive structures arise in many geometric contexts including foliations,
complex structures, and CR structures (see for example [EG1], [EG2], [HJ] and
[Sz]). A smooth locally integrable involutive structure is a pair (M, L) where M is
a smooth manifold and L is a smooth, involutive subbundle of CT M such that L⊥ ,
the subbundle of CT ∗ M orthogonal to L, is locally generated by exact one-forms.
Similarly, a real analytic involutive structure is a pair (M, L) where M is a real
analytic manifold and L is a real analytic, involutive subbundle of CT M. It fol-
lows from the Cauchy-Kowaleska theorem that a real analytic involutive structure
is always locally integrable, in particular, our results apply to general real analytic
involutive structures.
The paper is organized as follows. In section 1 we state a sufficient growth
condition that guarantees the existence of trace for a homogeneous solution, defined
on a wedge with maximally real edge, of a locally integrable involutive structure
(Theorem 1.1) which is our main result. This condition is (in general) strictly
weaker that the usual requirement of tempered growth at the edge. However,
this condition is formulated in terms of a special first integral, so in section 2, we
address the invariance problem and prove that our growth condition is actually
independent of the choice of the first integral by attaching a local invariant to
points p ∈ (M, L, Σ), where (M, L) is a locally integrable structure and Σ ⊂ M is
a maximally real submanifold. In section 3 we prove a slightly strengthened form
of Theorem 1.1 (Theorem 3.1). In Section 4 we give an application of the invariant
defined in Section 2, showing that it can be used to characterize CR structures
among general locally integrable structures.
first integral of the system. On the subject of locally integrable structures we refer
to [T] and [BCH]. We recall that
CTp M = CTp Σ ⊕ Lp , p ∈ Σ.
nates x1 , . . . , xm , t1 , . . . , tn , such that (x(p), t(p)) = (0, 0) and assume we are in the
following situation:
Z(x, t) = (Z1 (x, t), . . . , Zm (x, t)) : Brx (0) × BTt (0) −→ Cm
Theorem 1.1. Let u be a continuous solution of (1.2) and assume that there
exists ν ∈ N such that
T
ν
(1.3) sup dist Z(x, τ t ), Z(Σ) |u(x, τ t )| dxdτ < ∞.
t ∈Γ0 0 Brx (0)
Then u(x, t) has a distributional limit as t → 0 in ΓT . More precisely, for any test
function φ(x) ∈ Cc∞ (Brx (0)), the limit
.
bu, φ
= lim u(x, t)φ(x) dx
t→0
t∈ΓT
: Z(U 1 ) −→ Cm
u
u(ζ1 ) − u
| (ζ0 )| ≤ K|ζ1 − ζ0 |, ζ1 , ζ0 ∈ U 1 .
Proof: By the proof of Theorem II.1.1 in [BCH] we may assume that the functions
Zk , 1 ≤ k ≤ m, are given by (1.1), and the choice of local coordinates (x, t) is such
that p = (0, 0) and U 1 is expressed by |x| ≤ a, |t| ≤ b. Let ζ0 = Z(x0 , t0 ),
ζ1 = Z(x1 , t1 ) be two arbitrary points in Z(U 1 ) and set p0 = (x0 , t0 ), p1 = (x1 , t1 ),
q = (x1 , t0 ), ζ2 = Z(q). Notice that ζ0 = x0 , ζ1 = ζ2 = x1 and consider
smooth curves γ0 and γ1 given by
and
γ1 = [Z(p1 ), Z(q)] ⊂ {(x1 , ϕ(x1 , t)); t ∈ [t0 , t1 ] ⊂ Rn }
where [A, B] denotes the closed convex hull of the points A and B. Next consider
the approximating sequence uj = Pj ◦ Z, j = 1, 2, . . . , and write
Pj (ζ2 ) − Pj (ζ0 ) = dPj ,
γ
0
Pj (ζ1 ) − Pj (ζ2 ) = dPj .
γ1
Furthermore,
≤ C2 |ζ1 − ζ0 |,
|
u(ζ1 ) − u
(ζ0 )| ≤ K|ζ1 − ζ0 |
as we wished to prove.
EXISTENCE OF TRACE AND LOCALLY INTEGRABLE STRUCTURES 63
7
.
onto W # = Z # U 0 and the inverse of Z# : W → W # is given by Z : W # → W .
Furthermore, by Lemma 2.1, Z and Z # are Lipschitz functions.
We now apply these considerations to the setup of Theorem 1.1 and the role of
# ◦ Z and Z = Z
Σ in condition (1.3). Using the factorizations Z # = Z ◦ Z # , we
see that
(2.4) d ∼ d# .
In other words, the equivalence class [d] of the germ at p of the function d(q) is
independent of the choice of the first integrals Z1 , . . . , Zm and it is a local invariant
64
8 J. HOUNIE AND E. R. DA SILVA
so taking the sup in t ∈ Γ0 on the left hand side we see that u satisfies a growth
restriction analogous to (1.3) with Z # in the place of Z. This argument can be
reversed to show that a growth condition in terms of Z # implies a similar a growth
condition in terms of Z, possibly after shrinking r and T .
(2.5) dist (Z(x, t), Z(Σ)) |ϕ(x, t) − ϕ(x, 0)| = |Z(x, t) − Z(x, 0)|,
Remark 2.2: Since the rank of the map Z : B x × B t → Cm might not be constant,
Z(B x × B t ) is, in general, neither an open set nor a submanifold and may be rather
irregular. Nevertheless, it is arc-connected by piecewise differentiable curves and
this is the main fact we exploited in the proof of Lemma 2.1. If we define a
distance between two points ζ0 , ζ1 ∈ Z(B x × B t ) as the infimum of the lengths of
the piecewise differentiable curves contained in Z(B x × B t ) that join ζ0 to ζ1 , the
arguments in the proof of Lemma 2.1 show that this distance is equivalent to the
Euclidean distance restricted to Z(B x × B t ).
EXISTENCE OF TRACE AND LOCALLY INTEGRABLE STRUCTURES 65
9
In fact (cf. [BCH, Chapter I]), there exist smooth vector fields
m
∂
Mk = μk (x, t) , k = 1 · · · m,
∂x
=1
satisfying Mk Zj = δkj (Kronecker’s delta) such that
∂ ∂ϕkm
Lj = −i (x, t)Mk ,
∂tj ∂tj
k=1
∂
m
∂
= + λjk (x, t) j = 1, · · · , n.
∂tj ∂xk
k=1
The vector fields L1 , . . . , Ln , M1 . . . , Mm are pairwise commuting and span CT M
over the local patch where they are defined. Furthermore, if f is of class C 1 we
have
n
m
(3.1) df = Lj f dtj + Mk f dZk .
j=1 k=1
Theorem 3.1. Let f (x, t) be a continuous function on the wedge Q = Brx (0) ×
ΓT with edge Σ = Brx (0) × {0} and assume that
(1) Lj f ∈ L∞ (Q), j = 1, . . . , n;
(2) for some ν ∈ N
T
(3.2) sup |ϕ(x, τ t ) − ϕ(x, 0)|ν |f (x, τ t )|dxdτ < ∞.
t ∈Γ0 0 Brx (0)
Then f (x, t) has a distributional limit as t → 0 in ΓT . More precisely, for any test
function ψ(x) ∈ Cc∞ (Brx (0)), the limit
.
bf, ψ
= lim f (x, t)ψ(x) dx
t→0
t∈ΓT
The proof of Theorem 3.1 will be carried out in three steps. In the first step
we will assume that f is of class C 1 and will show that the limit exists as t → 0 in
ΓT along a fixed direction. In the second step we will assume that f is of class C 0
but we will still approach 0 along a fixed direction. In the final step we will deal
with the general case.
66
10 J. HOUNIE AND E. R. DA SILVA
Lemma 3.1. Let ψ ∈ Cc∞ (Brx (0)) and fix a positive integer ν. There exists a
smooth function u(ξ + iη, ṫ) defined on Cm × Γ0 such that
(1)
u(Z(x, 0), ṫ) =
ψ(x), |x| < r;
∂u
(2)
(ξ + iη, ṫ)
≤ C dist (ξ + iη, Z(Σ))ν , j = 1, . . . , m, |ξ| ≤ r, |η| ≤ R,
∂ζ j
ṫ ∈ Γ̃0 ,
where R > 0 is a constant such that Z(Brx (0) × BTt (0)) ⊂ Br (0) + iBR (0), C > 0
is a constant and Γ̃0 is a compact subset of Γ0 . Furthermore, the function u is
obtained by applying to ψ(x) a linear partial differential operator P (x, t, Dx , Dt ) of
order ν with smooth coefficients.
EXISTENCE OF TRACE AND LOCALLY INTEGRABLE STRUCTURES 67
11
Corollary 3.1. Let u(ζ, ṫ) be the function considered in the lemma above.
Setting ψ(x, τ, ṫ) = u(Z(x, τ ṫ), ṫ) we have
(1) ψ(x, 0, ṫ) = ψ(x), |x| < r;
(2) L(ṫ) ψ(x, τ, ṫ) ≤ C |ϕ(x, τ t ) − ϕ(x, 0)|ν .
m
If we set M(kṫ) = ∂
=1 μk (x, τ ṫ) ∂x , k = 1, · · · , m, it follows from (3.1) that
1
for any g(x, τ ) of class C ,
m
dg = M(kṫ) g(ṫ) dZ(kṫ) + L(ṫ) g(ṫ) dτ.
k=1
Writing dZ(ṫ) = dZ1 (x, τ ṫ) ∧ · · · ∧ dZm (x, τ ṫ), the exterior derivative of the m−form
g(x, t) dZ(ṫ) is given by
We now call Corollary 3.1 and set g(x, τ ) = f(ṫ) (x, τ )ψ(x, τ, ṫ). Using the above
formulas and Stokes’ theorem we get
(3.3) f(ṫ) (x, )ψ(x, , ṫ) dx Z(ṫ) (x, ) =
Brx (0)
f(ṫ) (x, T )ψ(x, T, ṫ) dx Z(ṫ) (x, T )
Brx (0)
T
+ f(ṫ) (x, τ )L(ṫ) ψ(x, τ, ṫ) dτ ∧ dZ(ṫ)
Brx (0)
T
+ L(ṫ) f(ṫ) (x, τ )ψ(x, τ, ṫ) dτ ∧ dZ(ṫ) .
Brx (0)
|f(ṫ) (x, τ )L(ṫ) ψ(x, τ, ṫ)| ≤ C|f(ṫ) (x, τ )||ϕ(ṫ) (x, τ ) − ϕ(ṫ) (x, 0)|ν
which shows that |f(ṫ) (x, τ )L(ṫ) ψ(x, τ )| ∈ L1 (Brx (0) × [0, T ]) in view of (3.2). Thus,
the second integral of the right hand side of (3.3) has a limit when 0 and is
bounded by a constant independent of the direction ṫ. The existence of the limit
when 0 of the other two integrals on the right hand side of (3.3) is clear. We
conclude that the limit when 0 of the left hand side of (3.3) exists and
f(ṫ) (x, )ψ(x, , ṫ) dx Z(ṫ) (x, )
≤ C,
Brx (0)
with C > 0 independent of ṫ ∈ Γ̃0 and 0 < ≤ T . We next concatenate ψ(x, τ, ṫ)
and ψ(x) ∈ Cc∞ (Brx (0)), i.e., we find a finite sequence of smooth functions ψ (x, τ, ṫ),
= 0, . . . , ν −1, whose x-support is contained in a fixed compact subset independent
of t such that
68
12 J. HOUNIE AND E. R. DA SILVA
f(ṫ) (x, τ )ψ (x, τ, ṫ) dx Z(ṫ) (x, τ )
≤ C , 0 < τ ≤ T, ṫ ∈ Γ̃0 ,
Brx (0)
implies a bound
f(ṫ) (x, )ψ−1 (x, τ, ṫ) dx Z(ṫ) (x, τ )
≤ C−1 , 0 < τ ≤ T, ṫ ∈ Γ̃0 .
Brx (0)
(3.5)
f(ṫ) (x, τ )ψ(x) dx Z(ṫ) (x, τ )
≤ C0 , 0 < τ ≤ T, ṫ ∈ Γ̃0 .
Brx (0)
Notice that the expression for the limit in (3.4) involves derivatives of order one
of the function ψν (x, τ, ṫ) = ψ(x, τ, ṫ) which, by Lemma 3.1 and its corollary, is a
linear combination with smooth coefficients of derivatives of ψ(x) up to order ν,
so it defines a distribution of order ν + 1. More generally, if g(x, τ ) is smooth on
EXISTENCE OF TRACE AND LOCALLY INTEGRABLE STRUCTURES 69
13
Brx (0) × [0, T ] and the support of x → g(x, τ ) is contained in a compact subset that
does not depend on t ∈ [0, T ] we have
(3.6) lim f(ṫ) (x, τ )g(x, τ ) dxZ(ṫ) (x, τ ) exists
τ →0 Brx (0)
and
(3.7)
f(ṫ) (x, τ )g(x, τ ) dx Z(ṫ) (x, τ )
≤ C, 0 < τ ≤ T, ṫ ∈ Γ̃0 .
Brx (0)
3.2. Step 2. Assume now that f ∈ C 0 (Q). In fact, the proof of Step 1 still
holds for a continuous f but the fact that the restriction f(ṫ) of f to Π(ṫ) satisfies
weakly the equation L(ṫ) f(ṫ) ∈ L∞ and that Stokes’s formula (3.3) is valid requires
some justification (it could be proved, for instance, with the help of Baouendi-
Treves approximation formula). An alternative approach is to regularize f and
apply Step 1 to the regularizations. Let φ ∈ Cc∞ (B), with B the unit ball in Rm+1 ,
1
φ dxdτ = 1 and φδ (x, τ ) = δm+1 φ( xδ , τδ ), δ > 0. For > 0, set f(ṫ) (x, τ ) =
f(ṫ) (x, τ + ). Then, for δ < , f(ṫ) ∗ φδ (x, τ ) is smooth on {τ > 0}. Set g(,δ
ṫ)
(x, τ ) =
f(ṫ) ∗ φδ (x, τ ) ψ(x, τ + , ṫ), Z(ṫ) (x, τ ) = Z(ṫ) (x, τ + ) and
∂ m
∂
L(ṫ) = + λk (x, t + , ṫ) .
∂τ ∂xk
k=1
As in Step 1, we have
d(g(,δ
ṫ)
dZ(ṫ) ) = L(ṫ) g(,δ
ṫ)
dτ ∧ dZ(ṫ)
which we use to obtain the analogue of (3.3) for f(ṫ) ∗ φδ (x, τ ). Then, repetition
of the arguments of Step 1 lead to the analogue of (3.4), (3.5), (3.6) and (3.7) for
f(ṫ) ∗ φδ (x, τ ). If we let δ 0 and invoke Friedrichs’ lemma we derive (3.4) and
(3.5) for f(ṫ) . Finally, we let 0 to get (3.4), (3.5), (3.6) and (3.7) for f(ṫ) itself.
3.3. Step 3. Since ṫ appears on the right hand side of (3.4) the directional
limit seems to depend on the direction ṫ. To show that this is not so, consider for
ψ(x) ∈ Cc∞ (Brx (0)) the function
T (t) = f (x, t)ψ(x) dx, t ∈ ΓT .
Brx (0)
given by
∂T
(t) =
∂tj
∂
m
Lj f (x, t)ψ(x) dx + f (x, t) λjk (x, t)ψ(x) dx.
Brx (0) Brx (0) ∂xk
k=1
The first term on the right hand side is bounded because Lj f is bounded. To bound
the second term, write
m
∂
λjk (x, t)ψ(x) = g(x, t) = g(x, τ ṫ)
∂xk
k=1
with τ = |t|, ṫ = t/|t| and apply (3.7). Hence, T (t) is a Lipschitz function and has
a limit as t → 0 on proper subcones of ΓT . Letting t → 0 along a fixed direction ṫ
we see that the limit is given by (3.4). As we have already pointed out, this shows
that det Zx (x, 0) bf (x) is a distribution of order ν + 1 and dividing by det Zx (x, 0)
so is bf (x).
4. Another application
and denote by dΣ,Z and δ Σ their corresponding germs at p. We have already seen
that the vanishing rate of dΣ,Z is an invariant of the pair (Σ, L). Since clearly
dΣ,Z (q) ≤ Cdist (q, Σ ∩ U ) as q → p, we always have dΣ,Z δ Σ . It is a natural
question to ask for which structures the opposite relation also holds, i.e., when
dΣ,Z ∼ δ Σ . This question has a simple answer: this property characterizes CR
structures among locally integrable structures. We recall that L is CR at p if
Lp ∩ Lp = {0} and L is CR on M if L is CR at p for every point p ∈ M. Before
stating the precise characterization result, we will need some facts about local
canonical forms for generators of L⊥ in appropriate local coordinates. As before,
N will denote the dimension of M.
{x1 , . . . , xν , y1 , . . . , yν , s1 , . . . , sd , t1 , . . . , tn }
The theorem above summarizes well known results, see for instance [BCH,
Theorem I.10.1] and [BCH, Section I.15].
We state now the characterization theorem.
Proof: Since it is trivial that (2) implies (3) it is enough to show that (1) implies
(2) and that (3) implies (1).
(1) =⇒ (2). Since L is CR in a neighborhood of p we may find a local coordinate
system vanishing at p,
(x1 , . . . , xn , y1 , . . . , yn , s1 , . . . , sd )
72
16 J. HOUNIE AND E. R. DA SILVA
Zj = xj + iyj , j = 1, . . . , n;
where we have used (4.1) in the second equality. This shows what we wanted for
this special choice of Z and the case of a general first integral Z # follows from (2.4)
(3) =⇒ (1). We will show that if (1) does not hold then (3) does not hold either.
Let Σ be a maximally real submanifold that is not CR on any neighborhood of p.
We may choose local coordinates defined on an open neighborhood U of p
{x1 , . . . , xν , y1 , . . . , yν , s1 , . . . , sd , t1 , . . . , tn }
with the properties described in Theorem 4.1 such that Σ is given by the equations
y = 0, t = 0. Notice that n ≥ 1 because Σ is not CR on U . For q = (x, y, s, t),
δΣ (q) = (|y|2 + |t|2 )1/2 while
References
[BER] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild, Real Submanifolds in Complex Space
and their Mappings, Princeton Math. Ser. 47(1999), Princeton Univ. Press.
[BT] 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. 113 (1981), 387–421.
[B] E. Bär, Um teorema de F. e M. Riesz para um sistema de campos vetoriais de co-posto
um, Tese de doutorado, UFScar, São Carlos, 2008 (in Portuguese).
[BCH] S. Berhanu, P. Cordaro and J. Hounie, An Introduction to Involutive Structures, Cam-
bridge University Press, 2008.
EXISTENCE OF TRACE AND LOCALLY INTEGRABLE STRUCTURES 73
17
[BH1] S. Berhanu and J. Hounie, An F. and M. Riesz theorem for planar vector fields, Math.
Ann. 320 (2001), 463–485
[BH2] S. Berhanu and J. Hounie, On boundary properties of solutions of complex vector fields,
J. Funct. Anal. 192 (2002), 446–490.
[BH3] S. Berhanu and J. Hounie,Traces and F. and M. Riesz theorem for planar vector fields,
Annales de l’institut Fourier 53 (2003), 1425–1460.
[EG1] M. Eastwood and R. Graham, Some involutive structures in analysis and geometry, Trends
Math., Birkhäuser, (1997), 25–38.
[EG2] M. Eastwood and R. Graham, The involutive structure on the blow-up of Rn in Cn , Comm.
Anal. Geom. 7, (1999), 609–622.
[HJ] N. Hanges and H. Jacobowitz, Involutive structures on compact manifolds, Amer. Jour.
Math. 177, (1995),491–522.
[H1] L. Hörmander, The Analysis of linear partial differential operators I, Second edition,
Springer-Verlag, (1990).
[S] R. Szoke, Involutive structures on the tangent bundle of symmetric spaces, Math. Ann.
319, (2001), 319–348.
[T] F. Treves, Hypo-analytic structures, Princeton University Press, (1992).
1. Introduction
The Chern-Moser operator ([8]) provides a powerful tool to understand local
CR geometry of Levi nondegenerate manifolds. For instance, the celebrated Chern-
Moser normal form construction essentially reduces to the analysis of its kernel and
its image.
It has been a long-standing question whether these methods and techniques
can be adapted and applied to Levi degenerate manifolds ([10], [20]). Note that
the Levi degenerate case presents completely new challenges, which are closer to
algebraic, rather than to differential geometry.
Starting with the work of Kohn [11], the study of Levi degenerate manifolds has
lead to major advances both in analysis and geometry, in particular in microlocal
analysis, subelliptic multiplier ideal sheaves, or in the work of Baouendi, Ebenfelt,
Rothschild [1] and others. Recently, techniques developed in the degenerate case
were applied to solve major problems in algebraic geometry by Siu [16] and others.
In this paper we show how to adapt the Chern-Moser techniques in the context
of the jet determination problem to the class of finite type hypersurfaces (in the
sense of Kohn and Bloom-Graham). It can be viewed as the first step for a more
general approach, which will allow us to understand the jet determination problem
as well as the stability group itself for hypersurfaces of finite Catlin multitype ([7],
[12], [13]).
The paper is organized as follows. In Section 2, we recall the notion of Bloom-
Graham finite type and its basic properties. We also recall the notion of model
hypersurface associated to M, called MH , and then define the notion of weighted
2011
c 0000
c Mathematical
American (copyright Society
holder)
1
75
76
2 MARTIN KOLÁŘ AND FRANCINE MEYLAN
jets. In Section 3, we show how to reduce the study of the weighted jet determina-
tion problem for Aut(M, p), the stability group of M, to the study of hol(MH , p),
the set of real-analytic infinitesimal CR automorphisms of MH at p (see Theorem
3.10). In Section 4, we introduce the notion of rigid vector fields and prove results
regarding the jet determination problem for hol(MH , p) (see Theorem 4.6). In Sec-
tion 5, we illustrate these techniques by describing completely hol(MH , p), where
MH is the model hypersurface of the form
(1.1) {(z1 , z2 , w) ∈ C3 | Im w = z1 z̄2l + z2 l z̄1 , l > 1}.
We then obtain an effective bound for the weighted jet determination problem for
Aut(M, p) for all smooth hypersurfaces with the model given by (1.1) (see Theorem
5.8).
2. Preliminaries
Let M ⊆ C n+1
be a smooth hypersurface, and p ∈ M be a point of finite type
m ≥ 2 in the sense of Kohn and Bloom-Graham ([1], [4], [11]).
We consider local holomorphic coordinates (z, w) vanishing at p, where
z = (z1 , z2 , ..., zn ) and zj = xj + iyj , w = u + iv. The hyperplane {v = 0} is
assumed to be tangent to M at p, hence M is described near p as the graph of a
uniquely determined real valued function
(2.1) v = ψ(z1 , . . . , zn , z̄1 , . . . , z̄n , u), dψ(p) = 0.
Using for instance a result of [1] (see Theorem 4.2.16), we may assume that
(2.2) ψ(z1 , . . . , zn , z̄1 , . . . , z̄n , u) = Pm (z, z̄) + o(u, |z|m ),
where Pm (z, z̄) is a homogeneous polynomial of degree m with no pluriharmonic
terms. Coordinates which provide such a description will be called standard coor-
dinates.
Following [8], we assign natural weights to the variables. The variables w and
u are given weight one, while the tangential variables z1 , . . . , zn are given weight
1
m.
Note that standard coordinates are not unique, but it is easily shown that all
models are equivalent by a linear transformation (see the remark following formula
(3.5)).
Definition 2.5. Let (z, w) ∈ Cn+1 be standard coordinates and let F :
Cn+1
−→ C be a holomorphic function given in these coordinates. The weighted
jet of F at p of weighted order κ is given by the following set
∂ α+β F 1
(2.4) { (p), |α| + |β| ≤ κ}.
∂z α ∂wβ m
Definition 2.6. Let F1 , F2 : Cn+1 −→ C be two holomorphic functions given
in some standard coordinates. We say that F1 and F2 are weighted equivalent
modulo κ at p if
∂ α+β F1 ∂ α+β F2 1
(p) = (p), |α| + |β| ≤ κ.
∂z α ∂wβ ∂z α ∂wβ m
We have the following lemma, whose proof is immediate.
Lemma 2.7. The notion of weighted equivalence modulo κ at p is independent
of the choice of standard coordinates.
n
2Re Pzj (z, z̄)f j μ−1+ m1 (z, u+iP (z, z̄)) =
(3.6) j=1
= Im gμ (z,u + iP (z, z̄)) + . . .
∂P
where dots denote terms depending on f j ν−1+ m1 , gν , ψν , for ν < μ , and Pzj = ∂zj
(there are no dots for μ = 1).
We are now in position to give the definition of the generalized Chern-Moser oper-
ator.
Definition 3.4. The generalized Chern-Moser operator, denoted by L, is de-
fined by
(3.7) L(f, g) =
⎧ ⎫
⎨ n
∂P j ⎬
= Re ig(z, u + iP (z, z̄)) + 2 f (z, u + iP (z, z̄)) .
⎩ ∂zj ⎭
j=1
The following lemma shows the relation between the kernel of L and the infinitesi-
mal CR automorphisms of the model hypersurface given by (2.3). (See also [8] for
the analogue in the Levi non degenerate case).
Lemma 3.5. Let L be given by (3.7) and let (f, g) be given by (3.2). Then
(f, g) lies in the kernel of L if and only if the vector field
n
∂ ∂
Y = f j (z, w) + g(z, w)
j=1
∂z j ∂w
Remark 3.11. In the light of Theorem 3.10, we see that in order to study
the weighted jet determination problem for Aut(M, p), it is enough to study the
weighted jet determination problem for hol(MH , p).
n
∂ ∂
X= f j (z, w) + g(z, w) .
j=1
∂zj ∂w
where f j are germs of holomorphic functions at p. Then the coefficients f j are sums
of monomials of weighted degree less than one.
Remark 4.7. Note that, using Remark 3.9, the weighted homogeneous com-
ponents of X are of weight less than 1 − m
1
.
The proof of the theorem is a direct application of the following lemma.
Lemma 4.8. Let MH be holomorphically nondegenerate, and let X ∈ hol(MH , p)
be a rigid vector field given by (4.4). If
∂αf j 1
α
(0) = 0, |α| < 1,
∂z m
then X = 0.
Proof. By assumption, we have
n
∂
(4.5) (Re f j (z) ) (Im w − P (z, z̄)) = 0.
j=1
∂z j
Write
n
∂P
(4.7) f j (z) (z, z̄) = Bαα̂ z α z̄ α̂ .
j=1
∂zj
α,α̂
the other hand, by (4.8), we obtain that there exists a nonzero term with weight
in z less than one, and z̄ greater than or equal to one. That gives a contradiction,
hence all Bα,α̂ are zero. Therefore we obtain that X itself is complex tangent to
MH , and since MH is holomorphically nondegenerate, X = 0.
We have the following lemma.
Lemma 4.9. Let X ∈ hol(MH , p) be a weighted homogeneous vector field, and
let W ∈ hol(MH , p) given by (4.2). There exists an integer k ≥ 1, and a rigid vector
field Y ∈ hol(MH , p) such that [. . . [[X; W ]; W ]; . . . ]; W ] = Y, where the string of
brackets is of length k.
Proof. Observe that the effect of taking the bracket of X with W is simply
differentiation of the coefficient with respect to w. Also note that
(Re[X; W ])(v − P (z, z̄)) = [ReX, ReW ](v − P (z, z̄)).
5. A model case
In this section we illustrate the results obtained in Section 4 by describing com-
pletely hol(MH , p), where MH , the model hypersurface associated to M ⊂ C3 , is
given by
(5.1) MH = {(z1 , z2 , w) ∈ C3 | Im w = z1 z̄2l + z2 l z̄1 , l > 1, }
and obtaining an efficient bound for the jet determination problem for hypersurfaces
with this model (Theorem 5.8). Note that MH is the preimage of the standard
hyperquadric under the mapping (z1 , z2 , w) → (z1 , z2l , w). The infinitesimal CR
automorphisms described below correspond precisely to the automorphisms of the
hyperquadric which can be pulled back by this mapping.
Remark 5.1. M whose model hypersurface is given by (5.1) is of finite type
m = l + 1.
We have the following lemmas.
Lemma 5.2. Let MH be given by (5.1). Then MH admits only the following
homogeneous rigid vector fields: The rigid vector fields
∂
W =a , a ∈ R,
∂w
of weight −1. The rigid vector fields
∂ ∂
(5.2) Z=a + 2iāz2 l , a ∈ C,
∂z1 ∂w
CHERN-MOSER OPERATORS 83
9
−1
of weight . The rigid vector fields given by
l+1
∂ ā ∂
X = az1 − z2 , a ∈ C,
∂z1 l ∂z2
of weight 0. The rigid vector fields given by
∂
Y = aiz2 l , a ∈ R,
∂z1
l−1
of weight l+1 .
Proof. A direct computation, using (3.8) and Theorem 4.6, gives all homogeneous
rigid vector fields on MH .
∂P
+Re ψj (z) + Re iφ(z) = 0.
∂zj
Since the first two summands contain only mixed terms, we obtain φ(z) = 0. Hence,
we obtain
⎛ ⎞
2 2
⎝ ∂P ⎠ ∂P
(5.12) −P (z, z̄)Im 2 φj (z) + 2Re ψj (z) = 0.
j=1
∂zj j=1
∂zj
1
−
(3u2 P − P 3 ) = 0.
12
Putting u = 0 in (5.16), we obtain
5 3 n
∂P
(5.17) − P + Re (ψj (z)) = 0.
12 j=1
∂zj
By the same arguments as for Lemma 5.3, we conclude that (5.17) is impossible.
Hence, there is no 3-integration of W. This achieves the proof of the proposition.
2
∂P 1 2 1
+Re ψj (z) + Re (u − P 2 + 2iuP )2iāz2 l + φ(z) = 0.
j=1
∂zj 2 2i
Since the first two summands contain only mixed terms, we obtain φ(z) = 0.
We may rewrite (5.24), using the hypothesis, as
2
∂P 2
∂P
(5.25) −u P (z, z̄)Im Z(P ) + Re (u + iP )φj (z) + Re ψj (z) = 0.
j=1
∂zj j=1
∂zj
Remark 5.7. Following the proofs of the above propositions, we obtain the
remaining nonrigid vector fields in hol(MH , p),
W1 = λE + X, λ ∈ R,
where E is the Euler field and X is given by Lemma 5.2,
∂ 1 ∂ 1 2 ∂
W2 = λ (z1 + z2 )w + w , λ ∈ R,
∂z1 l ∂z2 2 ∂w
∂ ∂ 1 ∂ ∂
Z1 = aw − iāz1 z2 l − iā z2 l+1 + 2iāz2 l w , a ∈ C.
∂z1 ∂z1 l ∂z2 ∂w
We have then the following theorem
Theorem 5.8. Let M ⊂ C3 be a smooth hypersurface given by (3.1), whose
model hypersurface MH is given by
(5.28) MH = {(z1 , z2 , w) ∈ C3 | Im w = z1 z̄2l + z2 l z̄1 , l > 1.}
Let h ∈ Aut(M, 0) given by (3.2), and T given by (3.3) satisfying
∂ α+β T 1
(5.29) { (0) = 0 |α| + |β| ≤ 2}.
∂z α ∂wβ l+1
Then h is the identity map.
Proof. Apply Theorem 3.10, Lemma 4.9, Lemma 5.2, Proposition 5.4, Proposition
5.5 and Proposition 5.6.
References
[1] Baouendi, M. S., Ebenfelt, P., Rothschild, L. P., Real Submanifolds in Complex Space and
Their Mappings, Princeton Mathematical Series, (1999).
[2] Baouendi, M. S., Ebenfelt, P., Rothschild, L. P., Convergence and finite determination of
formal CR mappings, J. Amer. Math. Soc. 13, (2000), 697-723.
[3] Baouendi, M. S., Ebenfelt, P., Rothschild, L. P., Local geometric properties of real submani-
folds in complex space, Bull. Amer. Math. Soc. (N.S.) 37 3 (2000), 309–336.
[4] Bloom, T. and Graham, I., On ”type” conditions for generic real submanifolds of C n , Invent.
Math. 40 (1977), no. 3, 217–243.
[5] Cartan, E., Sur la géométrie pseudo-conforme des hypersurfaces de deux variables complexes,
I , Ann. Math. Pura Appl. 11 (1932), p. 17–90.
[6] Cartan, E., Sur la géométrie pseudo-conforme des hypersurfaces de deux variables complexes,
II, Ann.Scoula Norm. Sup. Pisa 1 (1932), p. 333–354.
[7] Catlin, D., Boundary invariants of pseudoconvex domains, Ann. Math. 120 (1984), 529–586.
[8] Chern, S. S. and Moser, J., Real hypersurfaces in complex manifolds, Acta Math. 133 (1974),
219–271.
[9] D’Angelo, J., Orders od contact, real hypersurfaces and applications, Ann. Math. 115 (1982),
615–637.
[10] Ebenfelt, P., New invariant tensors in CR structures and a normal form for real hypersur-
faces at a generic Levi degeneracy, J. Differential Geom. 50 (1998), 207–247.
[11] Kohn, J. J., Boundary behaviour of ∂¯ on weakly pseudoconvex manifolds of dimension two,
J. Differential Geom. 6 (1972), 523–542.
[12] Kolář, M., The Catlin multitype and biholomorphic equivalence of models, Int. Math. Res.
Not. (2010), 3530–3548.
[13] Kolář, M., Meylan, F., Effective bounds for the weighted jet determination problem, preprint
88
14 MARTIN KOLÁŘ AND FRANCINE MEYLAN
[14] Kolář, M., Normal forms for hypersurfaces of finite type in C2 , Math. Res. Lett. 12 (2005),
p. 523-542.
[15] Poincaré, H., Les fonctions analytiques de deux variables et la représentation conforme
Rend. Circ. Mat. Palermo 23 (1907), p. 185-220.
[16] Siu, Y.-T., Invariance of plurigenera, Invent. Math. 134 (1998), 661–673.
[17] Vitushkin, A. G., Real analytic hypersurfaces in complex manifolds, Russ. Math. Surv. 40
(1985), p. 1-35.
[18] Webster, S. M., On the Moser normal form at a non-umbilic point, Math.Ann 233 (1978),
p. 97-102.
[19] Wells, R. O., Jr., The Cauchy-Riemann equations and differential geometry, Bull. Amer.
Math. Soc. (N.S.) 6 (1982), 187–199.
[20] Wong, P., A construction of normal forms for weakly pseudoconvex CR manifolds in C2 ,
Invent. Math. 69 (1982), p. 311-329.
Bernhard Lamel
1. Introduction
Our goal in this paper is to provide a survey of results on the existence of Lie
group structures on the local automorphism groups of real-analytic CR manifolds,
with an emphasis of so-called “parametrizations”. This is meant to complement
the existing survey on unique determination by Zaitsev [30] and the chapter in the
book of Baouendi, Ebenfelt, and Rothschild [5] with more recent results. We will
also try to give some geometric motivation and description of the proofs of these
results (without going into details).
Given a geometric structure, understanding its automorphism group is of fun-
damental importance for its study. If one follows Klein’s approach [18], the study
a geometric structure actually is the study of its group of automorphisms. This
remains to some degree true in a setting where one considers a geometric structure
which is induced by a system of PDE’s, as in the Cauchy-Riemann (CR) setting;
however, such structures are much more rigid than traditional ones, and there-
fore carry invariants which cannot be obtained from their automorphisms (as there
might not be any).
The traditional approach to studying the structure of the automorphism group
is by considering its action on the underlying geometric structure, as for example
in Myers and Steenrod’s work [23] on the isometries of Riemannian manifolds: One
considers the action of the group G of isometries of M on M n = M × · · · × M ; after
establishing a uniqueness result, one can identify the orbit of a point (p1 , . . . , pn )
c 2011
XXXX
c American Mathematical Society
1
89
90
2 BERNHARD LAMEL
under this action with G. This is then used to transport the manifold structure on
M n to G.
Another example of this approach, which is somewhat closer to the subject mat-
ter of this survey, can be found in the work of Henri Cartan on the automorphism
group of a bounded domain [12]; his classical uniqueness result (if a holomorphic
automorphism of a bounded domain in Cn is tangent to the identity to first order
at some interior point of the domain, then it is the identity) plays an eminent role
in establishing the Lie group structure on these automorphism groups.
Getting back to the Riemannian setting, a comparison with Riemannian man-
ifolds also serves to point out the main differences in the CR case: Even for CR
manifolds with a very nice structure (Levi-nondegenerate ones), the automorphisms
are not comparable by linear data (which, for the Riemannian case, is obviously
true); and automorphisms of CR manifolds might be defined on arbitrarily small
open subsets (which does also not happen in the Riemannian case). Both problems
mean that one cannot apply the traditional methods to the CR case.
This survey concentrates on a particular method to construct a Lie group struc-
ture on the automorphism group of a CR manifold, namely by jet parametrizations.
Here, we use the embedding of the automorphism group into a jet group of finite
order given by a finite order Taylor expansion of the maps, and try to invert this
embedding on its image.
This also means that we do not try to describe the results known via normal-
ization methods for particular types of CR manifolds, as we think this is outside
the scope of this survey. We also only discuss results for the local automorphism
group, i.e. of automorphisms fixing a point.
This paper is organized as follows: In § 2 we define the objects which we will
discuss in this paper. We also give a complete example of the construction of a
parametrization in a special case in order to illustrate the more technical points
later. Nondegeneracy conditions are introduced in § 3, followed by a discussion of
minimality in § 4. We then discuss the known conditions implying the existence of
a jet parametrization in § 5.
and refer to it as the local automorphism group of (M, p). It has a natural topology
as a group of local real-analytic diffeomorphisms of M , with respect to which it is
a topological group acting continuously on the germ (M, p); in this topology, a se-
quence hn ∈ Aut(M, p) converges to h ∈ Aut(M, p) if there exists a neighbourhood
U of p on which all hn are defined, and hn → h(n → ∞) uniformly on U .
An important object attached to such an M is its complexification M. This
is the complex manifold of complex dimension 2n + d, defined locally by M =
{(Z, ζ) ∈ U × Ū : ρj (Z, ζ) = 0, j = 1, . . . , d}. M has a natural anti-holomorphic
map ι given by (Z, ζ) → (ζ̄, Z̄), and M is contained in M as the fixed point set
of ι. An automorphism H of M induces the automorphism (Z, ζ) → (H(Z), H̄(ζ))
of M, where we write H̄ for the power series whose coefficients are the complex
conjugates of the coefficients of H.
A generic submanifold M ⊂ CN also gives rise to the family of Segre varieties
Sp , defined locally–say for p ∈ U × Ū –by
(1) Sp = {Z ∈ U : ρ(Z, p̄) = 0},
where ρ is a real-analytic defining function of M in U . Sp is a complex-analytic
submanifold of U of complex dimension N − d. We see that a definition in terms
of the complexification M is given by
Sp = {Z : (Z, p̄) ∈ M}.
We disregard here and in what follows the neighbourhoods in which the Segre
varieties are defined and assure the reader that he can (and should) do the same.
The analogous concept to the CR bundle in the complexification is the (1, 0)-
tangent bundle T (1,0) M and the (0, 1)-tangent bundle and T (0,1) M, given by the
∂
linear combinations of the ∂Z j
and the ∂ζ∂ j , respectively.
It is sometimes important to have coordinates in which the Segre varieties
associated to points on a particular subvariety transverse to the complex tangent
directions are all flat; this is done by means of so-called normal coordinates. Normal
coordinates for M near p are holomorphic coordinates (z, w) ∈ Cn × Cd , where
n = dimCR M , in which p = 0, and M is given by the equation w = Q(z, z̄, w̄) for
some germ of a holomorphic funtion Q : Cn × Cn × Cd → Cd satisfying
Q(z, 0, τ ) = Q(0, χ, τ ) = τ ;
in other words, S(0,w) = {(χ, τ ) : τ = w̄}. We also note that if an equation of the
form w = Q(z, z̄, w̄) defines a real submanifold of CN , then necessarily
Q(z, z̄, Q̄(z̄, z, w)) = w.
then truncates them at order k. In any case, it is easy to see that Gkp (CN ) is a
complex (algebraic) Lie group.
We are going to use the map jpk : Aut(M, p) → Gkp (CN ) and try to invert it in
order to transport the Lie group structure on the image jpk (Aut(M, p)) in Gkp (CN )
back to Aut(M, p). Such an inversion is a parametrization of Aut(M, p); it is
given by a map, defined in a neighbourhood U × V of (0, id) ∈ CN × Gkp (CN ),
complex-analytic in its first and real-analytic in its second variable, such that for
H ∈ Aut(M, p) with jpk H ∈ V ,
Ψ(Z, jpk H) = H(Z).
The observation that such a parametrization can be used to define a Lie group
structure on Aut(M, p) goes back to [2]. In order to carry out the following con-
struction, we note that we can always assume that a parametrization Ψ satisfies
jpk Ψ(Z, Λ) = Λ (this just changes the first few terms in Ψ); here we denote by Λ
coordinates in the jet space Gkp (CN ).
Let us consider a defining function ρ for M as well as a real-analytic parametriza-
tion ξ(t) of M , defined for t = (t1 , . . . , t2n+d ) in a neighbourhood of 0 ∈ R2n+d .
Then a jet Λ ∈ V is in the image of Aut(M, p) in Gkp (CN ) if and only if
ρ Ψ(ξ(t), Λ), Ψ(ξ(t), Λ) = 0
for t near 0. We develop the left hand side of this equation into a power series in t
to see that this is equivalent to
Rα (Λ)tα = 0,
α
where Rα is a real-analytic function defined in V . Thus,
jpk (Aut(M, p)) ∩ V = {Λ ∈ V : Rα (Λ) = 0},
and we recognize it as a real-analytic subvariety of V ; however, jpk (Aut(M, p)) is
also a subgroup, which implies that jpk (Aut(M, p)) is a closed real-analytic subgroup
of Gkp (CN ); clearly, the map jpk is also compatible with the natural topology on
Aut(M, p), hence, the Lie group structure on jpk (Aut(M, p)) induces a Lie group
structure on Aut(M, p) which is compatible with the topology on Aut(M, p).
A special class of parametrizations which we are also interested in are the
rational parametrizations; a parametrization Ψ is rational if we can write
Pα (Λ)
Ψ(Z, Λ) = Zα
α
Q α (Λ)
where P and Q are complex-valued real polynomials in Λ, with Qα (j0k id) = 0. If
we have a rational parametrization of Aut(M, p), then we actually get the structure
of a real-algebraic Lie group on Aut(M, p).
2.3. An illustrative example. Before diving into some technical notions and
details, we would like to give a complete discussion of a (well-known) example: We
shall construct a parametrization for the local automorphism group of
M = {(z, w) ∈ C2 : Im w = |z|2 },
the Lewy hypersurface, at the point p = (0, 0). As a byproduct, we shall also obtain
the well-known explicit formulas for the automorphisms of the Lewy hypersurface
JET EMBEDDABILITY OF LOCAL AUTOMORPHISM GROUPS 93
5
Since the left hand side of this equation is a holomorphic function in χ and −2izχ,
R has to vanish. So all in all, we arrive at
fz (0)z + fw (0)w
(10) f (z, w) = .
gzw (0) gw2 (0)
1− gw (0) z + ffzw
z
(0)
(0) − g w (0) w
Using g(z, 2izχ) = 2if (z, 2izχ)f¯(χ, 0) and (5) we get a similar equation for g,
namely
gw (0)w
(11) g(z, w) =
gzw (0) gw2 (0)
1− gw (0) z + ffzw (0)
z (0)
− gw (0) w
The right hand sides of (10) and (11) are parametrizations for f and g, i.e. H =
Ψ(Z, j02 H). Of course, we would have to arrange things such that j02 Ψ(Z, Λ) = Λ;
but computationally, it is preferable to use the additional information present in
(10) and (11) in order to compute j02 (Aut(M, 0)): We thus check which map of the
form
αz + βw w
(12) (z, w) → ,
1 + γz + δw 1 + γz + δw
− ¯ = 0 −2iβ β̄ + δ̄ − δ¯
=0
− αᾱ = 0 2β ᾱ + iγ̄ = 0.
This describes the image of Aut(M, p) in the closed subgroup of G20 (C2 ) defined by
mappings of the form (12). An explicit parametrization of this image is given by
Let us retrace our steps: We first determined H̄(χ, 0) and H̄τ (χ, 0) in (5), (6),
and (7) in terms of j02 H; this was done using a nondegeneracy condition on (M, 0),
namely, that we could solve for f¯(χ, 0) in (4) evaluated at z = w = τ = 0; then
we leveraged this knowledge to get a formula for f¯(χ, −2izχ) in terms of j02 H̄,
again using the fact that we could solve for it in (4) evaluated at w = 0 in terms of
2
j(z,0) H. This procedure led to a formula for H since the map (z, χ) → (χ, −2izχ) is
generically of full rank; we will see later that this is a consequence of the minimality
of M at 0.
JET EMBEDDABILITY OF LOCAL AUTOMORPHISM GROUPS 95
7
3. Nondegeneracy conditions
3.1. From finite nondegeneracy to holomorphic nondegeneracy. Non-
degeneracy conditions tell us how “curved” a CR manifold is. The nondegeneracy
conditions we discuss here have mostly geometric significance (for example, we
do not distinguish between Levi-nondegeneracy and strict pseudoconvexity here).
They measure how the Segre varieties differ from point to point. Our main tool in
the presentation here is the following map defined on the complexification M of a
real-analytic generic submanifold M ⊂ CN of codimension d:
(14) πM : M → Hd (CN ), (Z, ζ) → (Sζ̄ , Z),
N
where Hd (C ) is the bundle of germs of complex-analytic submanifolds of codi-
mension d in CN . We can now define:
Definition 1. Let (M, p) be a germ of a generic, real-analytic submanifold of
CN . Then:
(1) (M, p) is finitely nondegenerate at p if Sp̄ ζ → πM (p, ζ) is an immersion
at ζ = p̄;
(2) (M, p) is essentially finite at p if Sp̄ ζ → πM (p, ζ) is a finite map at
ζ = p̄;
(3) (M, p) is of class C at p if Sp̄ ζ → πM (p, ζ) is generically of full rank;
(4) (M, p) is holomorphically nondegenerate if SZ̄ ζ → πM (Z, ζ) is generi-
cally of full rank for generic Z ∈ M close by p (which happens if and only
if πM is generically of full rank).
Remark 1. We remark that while the definitions given above are very con-
venient to work with, they are neither the original nor the standard definitions
(except for class C, introduced in [21]). The notion of holomorphic nondegeneracy
has been introduced by Stanton [25], and is usually defined by saying that M is
holomorphically nondegenerate if there is no nontrivial germ of a vector field
∂
X= aj (Z)
j
∂Zj
which is tangent to M . Essential finiteness has been introduced by Baouendi,
Jacobowitz, and Treves [7] in their study of analyticity of smooth CR maps; an
equivalent definition is that (M, p) is essentially finite if ∩q∈Sp Sq = {p}. Finite
nondegeneracy has been introduced by Baouendi, Huang, and Rothschild [6]; also
here, the original definition is different than the one given here.
Directly from the definition we see that if M ⊂ CN is a connected, real-analytic,
generic submanifold, then either (M, p) is holomorphically nondegenerate for all p ∈
M or for none; in the first case, we say that M is holomorphically nondegenerate,
in the second case, that M is holomorphically degenerate.
The nondegeneracy conditions in Definition 1 are increasingly weaker; i.e. a
finitely nondegenerate submanifold is essentially finite, an essentially finite one is
of class C, one of class C is holomorphically nondegenerate; there are examples that
all of these inclusions are strict, see Example 1. Furthermore, if M ⊂ CN is a
connected, real-analytic generic submanifold which is holomorphically nondegener-
ate, then there exists a nontrivial real-analytic subvariety V1 ⊂ M such that for all
p ∈ M \ V1 , (M, p) is of class C; there exists a real-analytic subvariety V2 ⊂ M ,
V2 ⊃ V1 , such that for p ∈ M \ V2 , (M, p) is essentially finite; and, there exists a
96
8 BERNHARD LAMEL
If X is a holomorphic tangent vector field as above, this means that X̄Qα ≡ 0 for
all α, i.e. there exist germs of holomorphic functions a1 (Z), . . . aN (Z) such that for
all α ∈ Nn ,
N
∂Qα
āj (ζ) (ζ) = 0;
j=1
∂ζj
thus we see that the generic rank of ζ → (Qα (ζ))α is full if and only if no nontrivial
holomorphic tangent vector field exists.
It is often important to get some more detailled control over numerical invari-
ants associated to the nondegeneracy conditions. We discuss these next.
JET EMBEDDABILITY OF LOCAL AUTOMORPHISM GROUPS 97
9
Remark 2. We can use the sequence n(k) to recover several numerical invari-
ants used in the literature: E.g., if (M, p) is finitely nondegenerate, then we say that
(M, p) is -nondegenerate if k() = (0, 0), but (0, 0) ≺ k(j) for j < . Also, note
that (M, p) is Levi nondegenerate if and only if n(1) = (0, 0). However, essential
finiteness and its associated numerical invariants cannot be recovered from n(k).
4. Minimality
The notion of minimality for real-analytic submanifolds in CN has its roots in
the work of Kohn [19] and Bloom-Graham [8]. In the real-analytic case, minimality
(which was introduced by Tumanov [28]) and finite type agree. Here, we will
mostly concern us with a particular method to recover the analog to CR orbits in
the complexified setting, namely through the so-called “Segre-maps”. The main
result in this setting is yet another characterization of minimality due to Baouendi,
Ebenfelt, and Rothschild [1] through these maps.
Let us recall these notions of finite type and minimality before we start. (M, p)
is of finite type if the Lie algebra g generated by the sections of V and the sections
of V̄ spans the whole complexified tangent space at p, i.e. g(p) = CTp M . (M, p) is
minimal if there is no CR manifold N M through p with dimCR N = dimCR M .
As already noted, in the case of a real-analytic submanifold these notions coincide,
see e.g. [5].
Another point of view yet is by considering the CR orbits of points in M . The
CR orbit of Oq of a point q ∈ M is a germ of a real-analytic submanifold Oq ⊂ M
which is obtained as the set of points which can be connected to q by a piecewise
smooth path γ with γ (t) ∈ Tγ(t)c
M ; with this terminology, (M, p) is of finite type
if Op = M in the sense of germs at p.
Using the Segre varieties Sq , we can define a related increasing series of sets
Spj ⊂ CN , the Segre sets, by
Sp1 = Sp , Spj = Sq , j > 1.
q∈Spj−1
The minimality criterion in [1] can then be stated by saying that (M, p) is minimal
if and only if there exists a j such that Spj contains an open set in CN .
Similar constructions can be carried out in M: If we consider all the points
which can be joined with (p, p̄) ∈ M by curves tangent to T (1,0) M, we obtain
Sp × {p̄}. Now, if we continue this process and look at the set of points which can
be joined to (p, p̄) by a segment tangent to T (1,0) M followed by a segment tangent
to T (0,1) M, we obtain in the next step the set (q, r), where q ∈ Sp and r ∈ Sq̄ .
This process can be continued inductively, and will at some point stabilize, the
projection of the set thus obtained to either the first or second component being
Sp2j+1 or Sp2j , respectively.
It is actually very useful to describe the sets obtained here as the images of
certain holomorphic maps, the Segre maps, which we define as follows. We fix
normal coordinates (z, w), so that M is given by w = Q(z, χ, τ ), or equivalently,
by τ = Q̄(χ, z, w).
JET EMBEDDABILITY OF LOCAL AUTOMORPHISM GROUPS 99
11
S j (x1 , . . . , xj ; t) = x1 , U j (x1 , . . . , xj ; t) .
It will be useful to write
(17) x[j;k] = (xj , . . . , xk ), j ≤ k.
With this notation, the definition of the Segre maps (16) reads
(18) S 1 (x1 ; t) = (x1 , t); S j+1 (x[1;j+1] ; t) = (x1 , Q(x1 , S̄ j (x[2;j+1] ; t))).
This last equation ties the maps to the sequence of Segre sets S0j , since it shows
that S0j = image S j .
We are now ready to state the result from [1] already alluded to above.
Theorem 1. Let (M, 0) be a generic, real-analytic submanifold of CN , and
denote by S j the Segre mappings as defined above. Then (M, 0) is minimal if and
only if there exists a j such that the map
x[1;j] → S j (x[1;j] ; 0)
is generically of full rank.
to real valued homogeneous polynomials of degree d has (real) dimension 2n+d−1 2n−1 .
Now we count the number of independent
real variables.
From the Hα , we get 2 n+d−1 real variables; from the Aγ,δ (which also satisfy
n−1 2n+d−2
the reality condition Aγ,δ = Aδ,γ ), 2n−1 . All in all, that adds up to
n+d−1 2n + d − 2 ∼ dn−1 (d − 1)2n−1 d2n−1 ∼ 2n + d − 1
2 + =2 + < = ,
n−1 2n − 1 n − 1! (2n − 1)! (2n − 1)! 2n − 1
if n > 1. We conclude that for generic ρ, the equation ρα,β = ϕα,β ρδ,γ , Hδ , Aδ ,γ
does not have any solution in Hδ and Aδ ,γ .
The conclusion is that for a given (M , p ), the space of (M, p) such that (M, p) is
biholomorphically equivalent to (M , p ) is quite small. It also follows that there are
at least countably many independent invariants associated to this local equivalence
problem. In terms of the local automorphism group, one expects it to be rather
small for generic (M, p); indeed, the nondegeneracy conditions introduced earlier
in §3 can be thought of as conditions which ensure that the system of equations
encountered in Poincaré’s argument is nonsingular.
n
z, a = zj āj − zj āj
j=1 j=+1
Now, ht(M, p) is also a module over C{Z − p}, and if it is not trivial, its dimension
over R is therefore necessarily infinite; by definition, ht(M, p) is trivial if and only
if (M, p) is holomorphically nondegenerate.
Stanton characterized the finite dimensionality of hol(M, p) for real-analytic hy-
persurfaces by holomorphic nondegeneracy in [26]. The question for real-analytic
submanifolds of higer codimension is more subtle, as one needs to assume in addi-
tion to holomorphic nondegeneracy that (M, p) is not everywhere nonminimal, as
the example of the codimension 2 submanifold of C3 given by the product of a hy-
perquadric in C2 and the real line shows. The defining equations of this submanifold
is
Im w1 = |z|2 , Re w2 = 0,
∂
and hol(M, p) contains every vector field of the form h(w2 ) ∂w 2
with h = h̄, which
shows that hol(M, p) cannot be finite dimensional.
Under these assumptions, i.e. that (M, p) is not everywhere nonminimal and
holomorphically nondegenerate, Baouendi, Ebenfelt and Rothschild proved that
hol(M, p) is finite dimensional in [3]. In view of the remarks above, this actually
gives a complete solution to this problem: hol(M, p) is finite dimensional if and
only if (M, p) is holomorphically nondegenerate.
What do these results tell us for the automorphism group Aut(M, p)? First off,
there is a close relation between Aut(M, p) and the subalgebras
hol0 (M, p) = {X ∈ hol(M, p) : X(p) = 0}, ht0 (M, p) = {X ∈ ht(M, p) : X(p) = 0}.
Indeed, if ht(M, p) is nontrivial, so is ht0 (M, p), and it turns out that Aut(M, p)
cannot be finite dimensional (an observation which goes back to [3]): Consider
X ∈ ht0 (M, p), and its flow ΦX t , which for small t ∈ C is in Aut(M, p). Replacing
t by a holomorphic function h(Z) of Z, we obtain a family of automorphisms
Z → ΦXh(Z) (Z) which is clearly not finite dimensional (if ord h = k, then Φh(Z)
X
agrees with the identity up to order k, but is not the identity). Thus we see that
holomorphic nondegeneracy is also necessary for Aut(M, p) to be finite dimensional.
However, that does not mean that it is also sufficient; indeed, one cannot
conclude from dim hol(M, p) < ∞ that Aut(M, p) is a Lie group. What we can
conclude is that there is a unique Lie group structure on Aut(M, p), but we do
not have any guarantee that this structure relates to the natural topology on the
102
14 BERNHARD LAMEL
topological group Aut(M, p). Indeed, in some sense, dim hol(M, p) < ∞ is a linear
problem, while the existence of a Lie group structure on Aut(M, p) is a highly
nonlinear one.
and let us write Gkp,p for the set of all k-jets of germs of biholomorphisms H : (CN , p) →
(CN , p ). We then have the following main result in [2]:
to-one; in addition, η(H) is a totally real, closed, real analytic submanifold of G2k 0
p,p
(possibly empty) and η is a homeomorphism of H onto η(H). Furthermore, global
defining equations for the submanifold η(H) can be explicitly constructed from local
defining equations for M and M near p and p .
Zaitsev had formulated his result using the notion of analytic dependency on
k-jets: If S ⊂ H(CN , p; CN ) is a set of germs of biholomorphisms, then the germs
in S depend analytically on their k-jets if
(1) Every f ∈ S is uniquely determined by jpk f ;
(2) For every jpk f0 where f0 ∈ S there exists a neighbourhood U (jpk f0 ), a neigh-
bourhood U (p) of p, and a holomorphic function F : U (jpk f0 ) × U (p) → CN
such that for all f ∈ S with jpk f ∈ U (jpk f0 ) one has f (z) = F (jpk f, z).
Given two real analytic submanifolds M ⊂ CN and M ⊂ CN , Zaitsev goes on to
call a germ f admissible if
f (M ) ⊂ M , df (Tpc M ) = Tfc(p) ;
i.e. f is a CR submersive map from M to M . We can now quote the main theorem
from [29]:
We note that in Zaitsevs’ result, the image point f (p) need not be fixed; we
will point out where finite nondegeneracy is used for this below.
Roughly, the proofs are obtained by the following scheme. Consider the com-
plexifications M and M . If H ∈ H(M, p; M , p ), then the following diagram
commutes:
JET EMBEDDABILITY OF LOCAL AUTOMORPHISM GROUPS 103
15
k
jZ H
Hdk (CN ) Hdk (CN )
This means that for (Z, ζ) ∈ M, we can say something about H̄(ζ) by knowing
something about jZk H, if we can invert the arrow on the right-hand side of this
diagram:
(Z, ζ) → (H(Z), H̄(ζ))
M M
k k k −1
πM πM (πM )
k
jZ H
Hdk (CN ) Hdk (CN )
5.6. Sufficient results in class C. This question was tackled by Mir and
the author in [21], by means of a theorem allowing for the inversion of systems
of equations of generically full rank. Let H(Cp , 0; Cq , 0) be the space of germs
of holomorphic maps (Cp , 0) → (Cq , 0). For p = q, we simply write H(Cp , 0),
and denote by B(Cp , 0) the subset of germs of biholomorphisms. These spaces
are topological vector spaces (inductive limits of Frechét spaces), and the essential
result we used is most easily stated in the following way.
Theorem 5. Let A : (Cn , 0) → (Cn , 0) be a germ of a holomorphic map which
is generically of full rank. Then there exists a holomorphic map Ψ : GLn (C) ×
H(Cn , 0) → B(Cn , 0) such that
u = Ψ(u (0), A ◦ u), u ∈ B(Cn , 0).
That is, the map Ψ inverts the map A holomorphically (depending analytically
on the parameters which make the inversion unique). Theorem 5 is a highly non-
trivial result; it turned out that it is connected via the infinite dimensional rank
theorem of Hauser and Müller [16] with several results in singularity theory, as
explained in Bruschek and Hauser [9]. The main parametrization theorem in [21]
can now be stated as follows, where κM (p) denotes the smallest integer k for which
πMk
, restricted to {p} × Sp , is generically of full rank:
i) for any H ∈ Aut(M, p), the point (p, jpp H) belongs to Ω and the following iden-
tity holds:
H(Z) = Ψ(Z, jpp H) for all Z ∈ CN near p;
i) the map Ψ has the following formal Taylor expansion
Pα (Λ, Λ̄)
Ψ(Z, Λ) = (Z − p)α ,
r s
α (D(Λ1 ) )(D(Λ1 ))
α α
However, the approach taken in this case is quite distinct, and based on earlier
work by Ebenfelt [14]; we construct a certain system of singular ODEs which the
jets of maps will have to fulfill, and one then finds a parametrization theorem for
the solutions of these ODEs; in the case of 1-nonminimal hypersurfaces, it turns
out that the associated system of ODEs has a Fuchsian singularity, which makes it
possible to parametrize the solutions. Whether or not a similar procedure can be
carried out for k-nonminimal hypersurfaces with k > 1, or whether there exists a
Lie group structure for the automorphism groups of these remains an interesting
open question.
References
[1] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild. Algebraicity of holomorphic mappings
between real algebraic sets in Cn . Acta Math., 177(2):225–273, 1996.
[2] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild. Parametrization of local biholomorphisms
of real analytic hypersurfaces. Asian J. Math., 1(1):1–16, 1997.
[3] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild. CR automorphisms of real analytic man-
ifolds in complex space. Comm. Anal. Geom., 6(2):291–315, 1998.
[4] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild. Rational dependence of smooth and
analytic CR mappings on their jets. Math. Ann., 315(2):205–249, 1999.
[5] M. S. Baouendi, P. Ebenfelt, and L. P. Rothschild. Real submanifolds in complex space and
their mappings, volume 47 of Princeton Mathematical Series. Princeton University Press,
Princeton, NJ, 1999.
[6] M. S. Baouendi, X. Huang, and L. P. Rothschild. Regularity of CR mappings between alge-
braic hypersurfaces. Invent. Math., 125(1):13–36, 1996.
[7] M. S. Baouendi, H. Jacobowitz, and F. Trèves. On the analyticity of CR mappings. Ann. of
Math. (2), 122(2):365–400, 1985.
[8] T. Bloom and I. Graham. On “type” conditions for generic real submanifolds of Cn . Invent.
Math., 40(3):217–243, 1977.
[9] C. Bruschek and H. Hauser. Arcs, cords, and felts—six instances of the linearization principle.
Amer. J. Math., 132(4):941–986, 2010.
[10] E. Cartan. Sur la géométrie pseudo-conforme des hypersurfaces de l’espace de deux variables
complexes ii. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2), 1(4):333–354, 1932.
[11] E. Cartan. Sur la géométrie pseudo-conforme des hypersurfaces de l’espace de deux variables
complexes. Ann. Mat. Pura Appl., 11(1):17–90, 1933.
[12] H. Cartan. Sur les groupes de transformations analytiques. 1935.
[13] S. S. Chern and J. K. Moser. Real hypersurfaces in complex manifolds. Acta Math., 133:219–
271, 1974.
[14] P. Ebenfelt. On the analyticity of CR mappings between nonminimal hypersurfaces. Math.
Ann., 322(3):583–602, 2002.
[15] P. Ebenfelt, B. Lamel, and D. Zaitsev. Finite jet determination of local analytic CR automor-
phisms and their parametrization by 2-jets in the finite type case. Geometric And Functional
Analysis, 13(3):546–573, Jun 2003.
[16] H. Hauser and G. Müller. A rank theorem for analytic maps between power series spaces.
Inst. Hautes Études Sci. Publ. Math., (80):95–115 (1995), 1994.
[17] R. Juhlin and B. Lamel. On maps between nonminimal hypersurfaces. pages 1–17, Nov 2010.
108
20 BERNHARD LAMEL
[18] F. Klein. Vergleichende Betrachtungen über neuere geometrische Forschungen. Math. Ann.,
43(1):63–100, 1893.
¯
[19] J. J. Kohn. Subellipticity of the ∂-neumann problem on pseudo-convex domains: sufficient
conditions. Acta Math., 142(1-2):79–122, 1979.
[20] B. Lamel and R. Juhlin. Automorphism groups of minimal real-analytic CR manifolds. 2010.
[21] B. Lamel and N. Mir. Parametrization of local CR automorphisms by finite jets and appli-
cations. J. Amer. Math. Soc., 20(2):519–572 (electronic), 2007.
[22] F. Meylan. A reflection principle in complex space for a class of hypersurfaces and mappings.
Pacific J. Math., 169(1):135–160, 1995.
[23] S. B. Myers and N. E. Steenrod. The group of isometries of a riemannian manifold. Ann. of
Math. (2), 40(2):400–416, 1939.
[24] H. Poincaré. Les fonctions analytiques de deux variables et la représentation conforme.
Palermo Rend., 23:185–220, 1907.
[25] N. K. Stanton. Infinitesimal CR automorphisms of rigid hypersurfaces. Amer. J. Math.,
117(1):141–167, 1995.
[26] N. K. Stanton. Infinitesimal CR automorphisms of real hypersurfaces. Amer. J. Math.,
118(1):209–233, 1996.
[27] N. Tanaka. On the pseudo-conformal geometry of hypersurfaces of the space of n complex
variables. J. Math. Soc. Japan, 14:397–429, 1962.
[28] A. E. Tumanov. Extension of CR-functions into a wedge from a manifold of finite type. Mat.
Sb. (N.S.), 136(178)(1):128–139, 1988.
[29] D. Zaitsev. Germs of local automorphisms of real-analytic CR structures and analytic depen-
dence on k-jets. Math. Res. Lett., 4(6):823–842, 1997.
[30] D. Zaitsev. Unique determination of local CR-maps by their jets: a survey. Atti Accad. Naz.
Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl., 13(3-4):295–305, 2002.
JÜRGEN LEITERER
1. Introduction
Let D ⊆ C be an open set, U = {Ui }i∈I an open covering of D, L(r, C) the
n
and
dist(f, 1) = sup fij (ζ) − 1 for f ∈ Z 1 U, OGL(r,C) ,
i,j∈I, ζ∈Ui ∩Uj
where
both the unit matrix in L(r, C) and the unit element in
1 denotes
Z 1 U, OGL(r,C) , and M denotes the operator norm of M ∈ L(r, C) as an opera-
tor acting in Cr endowed with the standard norm.
From the Oka-Grauert principle [Gr] it is well known that if D is a domain
of holo-
morphy, then there exists a constant δ > 0 such that, for each f ∈ Z 1 U, OGL(r,C)
with dist(f, 1) ≤ δ, there exists u ∈ C 0 U, OGL(r,C) which solves the Cousin prob-
lem
(1.1) fij = ui u−1
j on Ui ∩ Uj , i, j ∈ I.
In this paper, under certain additional hypotheses, we give an estimate for the
constant δ as well as for the solution u. For example, Theorem 3.5 below (the main
result) implies the following.
109
110
2 JÜRGEN LEITERER
is to prove some estimates for the Weierstrass product theorems obtained in [GoR1,
GoR2, GoLe] for operator functions. The latter one is also the motivation for
another paper of the author [Le2], where the case of one variable is studied, and in
place of L(r, C) an arbitrary Banach algebra with unit is admitted.
Finally let us compare Theorem 1.1 with the following one-variable result of
B. Berndtsson and J.-P. Rosay [BR]: Let D = D be the unit disc in the complex
plane.
Assume condition (1.2) is satisfied for some ε > 0. Then, for each f ∈
Z 1 U, OGL(r,C) satisfying the condition
(1.6) f := sup fij (ζ) < ∞,
i,j∈I, ζ∈Ui ∩Uj
there exists u ∈ C 0 U, OGL(r,C) which solves the Cousin problem (1.1) and satisfies
both
(1.7) u := sup ui (ζ) < ∞ and u−1 := sup u−1
i (ζ) < ∞.
i∈I, ζ∈Ui i∈I, ζ∈Ui
Of course, our condition (1.3) is much stronger than condition (1.6). However, it
seems to the author that the method of [BR], under the stronger condition (1.3),
does not give estimate (1.4), although some weaker estimate (not explicitly stated
in [BR]) can be obtained analyzing the proof of [BR].
2. Notation
Throughout this paper the following notations are used.
• N is the set of natural numbers, zero included. N∗ = N \ {0}. Z is the set
of integers. C is the complex plane. R is the real line.
• If ξ ∈ Cn , then we denote by ξ1 , . . . , ξn the components of ξ. The standard
1/2
Euclidean norm in Cn will be denoted by |·|, i.e., |ξ| = |ξ1 |2 +. . .+|ξn |2
for ξ ∈ Cn .
• L(r, C) is the algebra of complex r × r matrices, and GL(r, C) is the group
of invertible matrices from L(r, C).
• The unit matrix in L(r, C) will be denoted by 1.
• For A ∈ L(r, C) we denote by A the norm of A as a linear endomorphism
of Cr , where Cr is endowed with the standard Euclidean norm, i.e.,
(2.1) A = max Aξ .
ξ∈Cn ,|ξ|=1
space BC0,1
0
(X), as ∂ is a closed operator. The space BC0,2
Im ∂
(X) need not be closed
in BC0,2 (X).
0
3.2. Definition. Let X ⊆ Cn such that X ⊆ int X. We say the X satisfies that
∂-condition if the following two conditions are satisfied:
(i) There exists a bounded (with respect to the sup-norm · X ) linear operator
T1 : BC0,1
Ker ∂
(X) → BC ∂ (X)
such that
(3.3) ∂T1 f = f for all f ∈ BC0,1
Ker ∂
(X).
(ii) There exists a bounded (with respect to the sup-norm · X ) linear operator
T2 : BC0,2
Im ∂
(X) → BC0,1
∂
(X)
such that
(3.4) ∂T2 f = f for all f ∈ BC0,2
Im ∂
(X). 7
5i.e., a covering which comes from an open covering of an open (in Cn ) neighborhood of X.
6By a continuous (0, q)-form on X we mean a continuous section over X of the bundle of
(0, q)-form over Cn .
7Notice that then BC Im ∂ (X) is closed in BC 0 (X).
0,2 0,2
SPLITTING OF HOLOMORPHIC COCYCLES 113
5
where fi − 1Ui and fij − 1Ui ∩Uj are defined by (3.5).
Note that the “numbers” defined by (3.9) and (3.10) can be infinite if I is infinite.
However, in this paper, we study only those f for which f − 1 < 1.
114
6 JÜRGEN LEITERER
4. On matrix-valued forms
4.1. Let X be a subset of Cn such that X ⊆ int X.
We denote by (BC 0 )L(r,C) (X) = (BC0,0
0 L(r,C)
) (X) the Banach space of bounded
continuous functions f : X → L(r, C) endowed with the norm
(4.1) f X := sup f (ζ),
ζ∈X
where fj (ζ) and fij (ζ) are again defined by (2.1).
We denote by (BC0,q 0 L(r,C)
) (X), q = 1, 2, the Banach space of L(r, C)-valued
bounded continuous (0, q)-forms on X, endowed with the norm
(4.3) f X := sup f (ζ), f ∈ BC0,q
0
(X).
ζ∈X
8Of course, the value 218n+11n n3n is not optimal. We present it just to show that Γ depends
only on n. The same is true for other similar constants in this paper.
9Note that the second inequality, in general, does not follow from the first one. The point
is that max(T1 , T2 ) can be very small compared to ε/Γ although the diameter of X is big
compared to ε (the case when the diameter of X is small compared to ε is not interesting, because
then the trivial covering {X} is a refinement of any ε-separated covering of X.). For example,
this happens when n = 1 and X is a rectangle one side of which is small compared to ε and the
other side of which is big compared to ε.
SPLITTING OF HOLOMORPHIC COCYCLES 115
7
and, hence,
(4.5) f gX ≤ f X gX and gf X ≤ gX f X
if f ∈ 0 L(r,C)
(BC0,0 ) (X)and g ∈ 0 L(r,C)
(BC0,q ) (X),
q = 0, 1, 2.
For two L(r, C)-valued continuous (0, 1)-forms
n n
f= fj dz j and g = gj dz j
j=1 j=1
if f is written in the form (4.9). Then we see from (3.3) and (3.4) that
(4.11) ∂T1r f = f for all f ∈ (BC0,1
Ker ∂ L(r,C)
) (X)
and
(4.12) ∂T2r f = f for all f ∈ (BC0,2
Im ∂ L(rC)
) (X).
116
8 JÜRGEN LEITERER
4.3. Lemma. The operators T1r and T2r are bounded with respect to the sup-norm,
where T1r = T1 and T2r = T2 .
Proof. We only have to prove that
(4.13) Tqr ≤ Tq
for q = 1, 2. The opposite inequality is obvious.
Let L(r, C)∗ be the space of linear functionals Φ : L(r, C) → C endowed with the
norm
Φ = max Φ(A).
A∈L(r,C) , A=1
For f ∈ 0 L(r,C)
(BC0,q ) (X),q = 0, 1, 2, and Φ ∈ L(r, C)∗ , we denote by Φ ◦ f the form
0
in (BC0,q )(X) defined by
r
(4.14) Φ◦f = Φ erμν fμν
μ,ν=1
n
(4.16) (Φ ◦ f )(ζ) = Φ fj (ζ) dz j (ζ) if q = 1
j=1
n
and f is written in the form f = j=1 fj dz j , and
(4.17) (Φ ◦ f )(ζ) = Φ fij (ζ) dz i (ζ) ∧ dz j (ζ) if q = 2
1≤i<j≤n
n
and f is written in the form f = 1≤i<j≤n fij dz i ∧ dz j .
By the Hahn-Banach theorem it follows from (4.15) - (4.17) that, for all f ∈
0 L(r,C)
(BC0,q ) (X), q = 0, 1, 2.
(4.18) max Φ ◦ f X = f X .
Φ∈L(r,C)∗ , Φ=1
Moreover, by definition of M ,
T2r
(id +M ) f ∧ A = M (id +M )−1 f + S(id +M )−1 f A
−1
5.3. Proof of Theorem 5.1. Let R be the operator from Lemma 5.2. Set U =
1 + RA. Then, by (5.6) and (5.2),
1
U − 1X = RAX ≤ 2T1 AX ≤ .
4
In particular, the values of U are invertible, and estimate (5.4) is satisfied. More-
over, from (5.5) we see that
∂U = ∂(1 + RA) = ∂RA = A + (RA)A = (1 + RA)A = U A.
For ε > 0 and μ = (μ1 , . . . μ2n ) ∈ Z2n , we denote by qμε the point in Cn with
μj
(6.1) xj (qμε ) = √ ε,
2n
where x1 , . . . , x2n are the real coordinate functions on Cn with zj = xj + ixj+n . It
is easy to see that
ε ε
(6.2) B qμ , = C.
2n
2
μ∈Z
6.1. Lemma. Let ε > 0, let n ∈ N∗ , and let J ⊆ Z2n such that10 J ≥ 26n nn . Then
(6.3) B qμε , ε = ∅.
μ∈J
Proof. For μ ∈ Z2n we denote by J(μ) the set of all indices ν ∈ Z2n such that
(6.4) |qνε − qμε | < 2ε.
By definition (6.1), the inequality (6.4) can be written in the form
2n 2
μj
√ ε − √νj ε < 4ε2 ,
2n 2n
j=1
or, equivalently,
2n
|μj − νj |2 < 8n.
j=1
√
(6.5) |μj − νj | ≤ 8n for j = 1, . . . , 2n,
√ √
where 8n is the entire part of 8n. Since, for fixed μ, the number of indices
√ 2n
ν ∈ Z2n satisfying (6.5) is equal to 2 8n + 1 and
√ 2n √ 2n √ 2n √ 2n
2 8n + 1 ≤ 2 8n + 1 < 6 n+1 < 8 n = 26n nn ,
we get
(6.6) J(μ) < 26n nn for all μ ∈ Z2n .
Now let J ⊆ Z2n with J ≥ 26n nn be given. Then, by (6.6), for each μ ∈ J, there
exists at least one index ν ∈ J such that ν ∈ J(μ), i.e., |qνε − qμε | ≥ 2ε. Then
B(qμε , ε) ∩ B(qνε , ε) = ∅. In particular, we have (6.3).
6.2. Lemma. Let ε > 0 and n ∈ N∗ . Then there exists a C ∞ -partition of unity
{χμ }μ∈Z2n subordinated to the open covering
(6.7) B qμε , ε 2n μ∈Z
Moreover, we set
φ= μ .
χ
μ∈Z2n
By Lemma 6.1, the sum in the definition of φ is locally finite. Therefore, φ is a
C ∞ -function on Cn and
∂φ ∂χ μ
(6.12) = , 1 ≤ j ≤ n.
∂z j 2n
∂z j
μ∈Z
As
∂χμ 1 ∂χμ χμ ∂φ
= − 2 ,
∂z j φ ∂z j φ ∂z j
μ ≤ 1, from (6.14) and (6.15) we see that
φ ≥ 1 and χ
∂χμ ∂ χ
≤ μ + ∂φ ≤ 8 + 2
6n+3 n
n 26n+4 nn
∂z j ∂z j ∂z j ε ≤ .
ε ε
6.3. Let X ⊆ Cn such that X ⊆ int X, and let U = {Ui }i∈I be a covering of X by
relatively open subsets of X.
We say that {χi }i∈I is a C ∞ partition of unity subordinate to U if
(i) for each i ∈ I, χi is a non-negative real C ∞ -function on X (in the sense
explained in Section 2.1) such that supp χi is relatively compact in Ui ,
(ii) for each a ∈ X, there exists a relative open neighborhood U (a) ⊆ X of a
that χi ≡ 0 on U (a) for all i ∈ I except for a finite number;
such
(iii) i∈I χi ≡ 1 on X.
122
14 JÜRGEN LEITERER
If, for some m ∈ N∗ , the number of the set J(a) in condition (ii) can be always
chosen ≤ m, then U will be called of order ≤ m.
Note that, by Lemma 6.1, each C ∞ partition of unity, which is subordinate to
the covering
(6.16) X ∩ B(qμε , ε) μ∈Z2
As the sets τ −1 (i), i ∈ I, are pairwise disjunct and I is the union of these sets, it
is clear that
χi ≡ 1 on X,
and from (6.18) we see that supp χi ⊆ Ui . Hence, {χi }i∈I is a C ∞ partition of unity
subordinated to U.
Moreover, by Lemma 6.1, the partition { χμ }μ∈Z2n is of order ≤ 26n nn − 1. Since
−1
the sets τ (i), i ∈ I, are pairwise disjoint, this implies, by (6.20), that also the
partition {χi }i∈I is of order ≤ 26n nn − 1.
The fact that the partition of unity {χμ }μ∈Z2n is of order ≤ 26n nn − 1, moreover
implies that, in the sum (6.20), locally, not more than 26n nn − 1 terms are different
from zero. Together with (6.19) this yields the required estimate (6.17).
(7.3) f = sup fij Ui ∩Uj , ∂f = sup ∂fij Ui ∩Uj if q = 1,
i,j∈I i,j∈I
f = sup fijk Ui ∩Uj ∩Uk , ∂f = sup ∂fijk Ui ∩Uj ∩Uk if q = 2,
i,j,k∈I i,j,k∈I
and
(7.4) f ∂ = f + ∂f .
Note that these “numbers” can be infinite if I is infinite. The space of all
f ∈ C q U, (BC ∂ )L(r,C) with f ∂ < ∞ is a Banach space.
• We define linear operators
δ : C q U, (BC ∂ )L(r,C) → C q+1 U, (BC ∂ )L(r,C) , q = 0, 1,
setting, for f ∈ C 0 U, (BC ∂ )L(r,C) ,
(7.5) (δf )ij = fi − fj on Ui ∩ Uj , i, j ∈ I,
and, for f ∈ C U, (BC )
1 ∂ L(r,C)
,
(7.6) (δf )ijk = −fjk + fik − fij on Ui ∩ Uj ∩ Uk , i, j, k ∈ I.
• The element f ∈ C q U, (BC ∂ )L(r,C) defined by fi ≡ 0 if q = 1, fij ≡ 0 if
q = 1, and fijk ≡ 0 if q = 2 will be denoted by 0.
11These are notations from the theory of Čech cohomology with coefficients in sheaves, but, in
this paper, we will not use this theory, except for some very simple facts, which will be explained.
Note that the map U → (BC ∂ )L(r,C) (U ) applied to the relatively open subsets of X is only a
presheaf, but not a sheaf.
12As C 0 U, (BC ∂ )L(r,C) , also C 1 U, (BC ∂ )L(r,C) is an algebra, but we will not use the mul-
tiplicative structure of C 1 U, (BC ∂ )L(r,C) .
124
16 JÜRGEN LEITERER
(7.9) u ≤ f
and
218n+4 n3n
(7.10) ∂u ≤ ∂f + f .
ε
Proof. Let U = {Ui }i∈I , and let f = {fij }i,j∈I ∈ Z q U, (BC ∂ )L(r,C) with f ∂ <
∞ be given. Then, by Lemma 6.4, there exists a C ∞ partition of unity {χi }i∈I
subordinated to U, which is of order ≤ 26n nn , such that
∂χi 212n+4 n2n
(7.11) ∂z μ ≤
(ζ)
ε
, ζ ∈ Cn , 1 ≤ μ ≤ n, i ∈ I.
First let q = 1. Then we define a u = {ui }i∈I ∈ C 0 U, (BC ∂ )L(r,C) by
(7.12) ui = − χk fki .
k∈I
As f is an additive 1-cocycle and χi ≡ 1, then
ui − uj = χk − fki + fkj = χk fij = fij ,
k∈I k∈I
i.e., we have (7.8). Estimate (7.9) is clear, since all χk are non-negative and χk ≡
1. Further, by (7.12),
∂ui
∂fki
∂χk
(ζ) = − χ k (ζ) + f (ζ) , ζ ∈ Ui , i ∈ I.
∂z μ ∂z μ ∂z μ ki
k∈I
∂χ
Hence
∂u ≤ ∂f + f sup k (ζ).
n
∂z μ
1≤μ≤n , ζ∈C
k∈I
Since {χi } is of order ≤ 26n nn , now estimate (7.10) follows from (7.11).
13In the general theory of Čech cohomology, such an operator δ is defined also on
C2 U, (BC ∂ )L(r,C) , and its kernel is Z 2 U, (BC ∂ )L(r,C) . Here we do not need this.
SPLITTING OF HOLOMORPHIC COCYCLES 125
17
Now let q = 2. Then we define a u ∈ C 1 U, (BC ∂ )L(r,C) setting
(7.13) uij = − χν fνij on Ui ∩ Uj , i, j ∈ I.
ν∈I
Since {χν } is of order ≤ 26n nn , now estimate (7.10) follows from (7.11).
• C 1 U, (BC ∂ )GL(r,C) is the set14 of all f ∈ C 1 U, (BC ∂ )L(r,C) such that
fij ∈ (BC ∂ )GL(r,C) (Ui ∩ Uj ) for all i, j ∈ I.
• Z 1 U, (BC ∂ )GL(r,C) is the subset of all f ∈ C 1 U, (BC ∂ )GL(r,C) satisfying
the multiplicative cocycle condition
(8.1) fij fjk = fik on Ui ∩ Uj ∩ Uk , i, j, k ∈ I.
The elements of this subset will be called multiplicative cocycles.
• For g ∈ C U, (BC )
0 ∂ GL(r,C)
and f ∈ C 1 U, (BC)∂ )GL(r,C) , we define g
f ∈ C 1 U, (BC ∂ )GL(r,C) setting
(8.2) (g f )ij = gi−1 fij gj on Ui ∩ Uj , i, j ∈ I.
Note that g 1 is always a multiplicative cocycle. For later reference, note
also that, for all g, h ∈ C 0 U, (BC ∂ )GL(r,C) and f ∈ C 1 U, (BC ∂ )GL(r,C) ,
(8.3) (gh) f = h (g f ).
The aim of this section is to prove the following theorem.
8.2. Theorem. Let X ⊆ Cn such that X ⊆ int X, and let U = {Ui }i∈I
be an ε-separated (Definition 2.2) covering of X by relatively open sets. Let
f ∈ Z 1 U, (BC ∂ )GL(r,C) such that
1
(8.4) f − 1 ≤ .
64
Then there exists g ∈ C 0 U, (BC ∂ )GL(r,C) such that
(8.5) g f = 1,
As g −1 and v belong to C 0 U, (BC ∂ )L(r,C) , then also θ ∈ C 0 U, (BC ∂ )L(r,C) .
Moreover, since v < 1, for g −1 we have the representation
∞
g −1 = (−v)μ ,
μ=0
Since, by (8.22),
∞
∞
μ
65 1 212
v ≤
μ
= 65 = 212 − 65 ,
μ=0 μ=0
212 1 − 212
this implies
652
(8.26) θ ≤ a2 ≤ 2a2 .
212 − 65
From (8.23) we see
(g f )ij = (1 − vi + θi )(1 + aij )(1 + vj )
= 1 − vi + aij + vj − vi aij + aij vj − vi vj − vi aij vj + θi (1 + aij )(1 + vj )
Since, by (8.18), −vi + aij + vj = aij − (δv)ij = uij , this implies that
(8.27) (g f )ij − 1 = uij − vi aij + aij vj − vi vj − vi aij vj + θi (1 + aij )(1 + vj ).
Hence
g f − 1 ≤ u + 2va + v2 + v2 a + θ(1 + a)(1 + v).
In view of (8.16), (8.21), (8.8), (8.26), and (8.22), this implies
65 652 652 65 212 + 65
(8.28) g f − 1 ≤ 1 + + 12 + 18 + 2 · · a2 ≤ 8a2 .
32 2 2 64 212
Taking again into account that a ≤ 1/64, this implies (8.9).
From (8.20), (8.16), and (8.17) we see that
218n+4 n3n
∂v ≤ ∂a + ∂u + a + u
ε
218n+4 n3n 218n+4 n3n
≤ ∂a + 2a∂a + a2 + a + a2
ε ε
218n+4 n3n
= ∂a + 2a∂a + a + 2a2 .
ε
As a ≤ 1/64, this further implies that
33 218n+5 n3n
(8.29) ∂v ≤ ∂a + a.
32 ε
SPLITTING OF HOLOMORPHIC COCYCLES 129
21
Hence, by (8.24),
7
∂θ ≤ ∂va,
3
and further, by (8.29),
7 33 218n+5 n3n 218n+7 n3n 5
(8.30) ∂θ ≤ ∂a + a a ≤ a2 + ∂aa.
3 32 ε ε 2
From (8.27) and the product rule we see
∂(g f ) ≤ ∂u + 2∂va + 2∂av + 2∂vv + 2va∂v
+ v2 ∂a + ∂θ(1 + a)(1 + v) + θ ∂a + ∂v + v∂a + a∂v .
Taking into account that
65 65 1 a
v ≤ a, v < 12 , a < , and θ ≤ 2a2 ≤
64 2 64 32
(see (8.21), (8.22), (8.8), and (8.26)), this implies that
65 65 65
∂(g f ) ≤ ∂u + 2∂va + ∂aa + ∂va + 11 a∂v
32
32 2
652 a 65 1
+ 18 a∂a + 2∂θ + ∂a + ∂v + 12 ∂a + ∂v
2 32 2 64
2
65 65 1 65
≤ ∂u + + 18 + + ∂aa
32 2 32 217
65 65 1 1
+ 2+ + 11 + + 11 ∂va + 2∂θ
32 2 32 2
≤ ∂u + 3∂aa + 5∂va + 2∂θ.
130
22 JÜRGEN LEITERER
and, similarly,
N
+M
M
1 + (gj − 1) = 1 + gμ1 − 1 . . . gμκ − 1 .
j=N +1 κ=1 N +1≤μ1 <...<μκ ≤N +M
M
≤ gμ1 − 1 . . . gμκ − 1
κ=1 N +1≤μ1 <...<μκ ≤N +M
N
+M N
+M
= 1 + gj − 1 − 1 = exp log 1 + gj − 1 − 1.
j=N +1 j=N +1
In particular, as f − 1 ≤ 2−6 ,
N +M
1
(8.44) gj − 1 ≤ 5+3N , N ∈ N, M ∈ N∗ ,
2
j=N +1
and, hence,
N
+M
(8.45) g
j < 2, N ∈ N, M ∈ N∗ .
j=N +1
132
24 JÜRGEN LEITERER
and
(8.51)
C 1 C 1 C 1
∂f2 ≤ 12 f − 1 + 5 ∂f1 ≤ 12 f − 1 + 5 f − 1 + 2 ∂f
2 2 2 2 26 2
1 1 1 C 1
= C 12 + 11 f − 1 + 7 ∂f ≤ 10 f − 1 + 7 ∂f .
2 2 2 2 2
Next we prove by induction that, for all j ∈ N∗ ,
C 1
(8.52) ∂fj+1 ≤ f − 1 + j+6 ∂f .
2j+9 2
For j = 1 this holds true by (8.51). Now let j ∈ N∗ such that (8.52) is already
proved. Then, by (8.49) and (8.52),
C 1
∂f(j+1)+1 ≤ f − 1 + 3(j+1)+2 ∂fj+1
26(j+1)+6 2
C 1 C 1
≤ 6(j+1)+6 f − 1 + 3(j+1)+2 f − 1 + j+6 ∂f
2 2 2j+9 2
1 1 1
= C 6j+12 + 4j+14 f − 1 + 4j+11 ∂f
2 2 2
C 1
≤ (j+1)+9 f − 1 + (j+1)+6 ∂f .
2 2
So (8.52) is proved for all j ∈ N∗ .
As f0 = f , we see from (8.36) that
C 33
(8.53) f − 1 + ∂f .
∂g1 ≤
16 32
Moreover, from (8.36), (8.37), and (8.50) we see
C 33
∂g2 ≤ f1 − 1 + ∂f1
16
32
(8.54)
C 33 C 1 C 33
≤ 7 f − 1 + f − 1 + ∂f ≤ 5 f − 1 + 7 ∂f .
2 32 26 22 2 2
If j ≥ 3, then we see from (8.36), (8.37), and (8.52) that
C 33
∂gj ≤ f − 1 + 5 ∂fj−1
16 j−1 2
C 33 C 1
≤ 3j+1 f − 1 + 5 f − 1 + j+4 ∂f
2 2 2j+7 2
(8.55)
C 1 33 33
= j+5 + 7 f − 1 + j+9 ∂f
2 22j−4 2 2
C 33
≤ f − 1 + j+9 ∂f .
2j+5 2
For N ≥ 3, from the product rule we get the estimate
N N j−1 N
N −1 N −1
∂ g ≤ ∂g g + ∂g g + ∂g g · g
i ,
j 1 j N j j i
j=1 j=2 j=1 j=2 i=1 i=j+1
134
26 JÜRGEN LEITERER
where, by (8.44),
N
N 1
gj ≤ 1 + gj − 1
≤ 1 + 28 ,
j=2 j=2
N −1 N
−1 1
gj ≤ 1 + gj − 1
≤ 1 + 25 ,
j=1 j=1
and
j−1 N
1 1 1
gi ·
gi ≤ 1 + 5 1 + 5+3j ≤ 1 + 6 if j ≥ 2.
2 2 2
i=1 i=j+1
Hence
N
N −1
1 1 1
∂ g ≤ 1 + ∂g + 1 + ∂g + 1 + ∂gj
j
28 1
26 N
25 j=2
j=1
∞
1 1 1
≤ 1 + 8 ∂g1 + 1 + 5 ∂g2 + 1 + 5 ∂gj for N ≥ 3.
2 2 2 j=3
and
∞
1 33 1 33 1 33
1+ 8 + 1+ 5 + 1+ 5
2 25 2 27 2 j=3
2j+9
33 1 1 1 1 1 33 1 99
= 5 1 + 2 + 6 + 7 + 8 + 11 < 5 1 + = < 2,
2 2 2 2 2 2 2 2 64
we obtain that
N C
∂ gj
(8.56) ≤ 4 f − 1 + 2∂f for N ≥ 3.
1
In particular, as f − 1 ≤ 1/64,
N C
gj
(8.57) ∂ ≤ 28 + 2∂f for N ≥ 3.
1
SPLITTING OF HOLOMORPHIC COCYCLES 135
27
−1 j−1 N
N +M
+M
+
∂gj
gi · gi
j=N +2 i=N +1 i=j+1
∞
≤4 ∂gj if N, M ∈ N and M ≥ 3.
j=N +1
By (8.55) and taking into account that f − 1 ≤ 2−6 , this implies that
N +M ∞
∞
Cf − 1 33∂f C ∂f
∂
gj ≤ + j+7 ≤ + j+1
2j+3 2 2j+9 2
(8.58) j=N +1 j=N +1 j=N +1
C ∂f C + ∂f
= N +9 + N +1 < , N, M ∈ N, M ≥ 3.
2 2 2N +1
Again by the product rule,
N +M
N
N
N +M
∂ g −∂ g = ∂ g g − 1
j j j j
j=1 j=1 j=1 j=N +1
N N +M
N N +M
≤
∂ g ·
j
gj − 1 +
g ·
j
∂ g
j
j=1 j=N +1 j=1 j=N +1
∗
for all N ∈ N and M ∈ N . If N, M ≥ 3, then, by (8.57), (8.44), (8.45), and (8.58),
this implies that
N +M
N
C 1 C + ∂f C + ∂f
∂ gj − ∂
gj ≤ + 2∂f 5+3N + ≤ .
28 2 2N 2N −1
j=1 j=1
∞
Together with (8.46) this implies that the infinite product g = j=1 gj converges
even in the Banach space C 0 U, (BC ∂ )L(r,C) endowed with the norm (7.4), where,
by (8.56),
C
∂g ≤ f − 1 + 2∂f .
4
By definition (8.31) of C, this completes the proof of Theorem 8.2.
By (9.1)
(9.4) fij = gi gj−1 on Ui ∩ Uj , i, j ∈ I.
As fij is holomorphic in Ui ∩ Uj ∩ int X, this implies that
0 = (∂gi gj−1 − gi gj−1 ∂gj gj−1 on Ui ∩ Uj , i, j ∈ I,
i.e.,
gi−1 (∂gi = gj−1 ∂gj on Ui ∩ Uj , i, j ∈ I.
Therefore, we have a well-defined form A ∈ 0 L(r,,C)
(BC0,1 ) (X) such that
(9.5) A= gi−1 ∂gi on Ui , i ∈ I.
Then, on each Ui ,
∂A = −gi−1 (∂gi )gi−1 ∧ ∂gi = −(gi−1 ∂gi ) ∧ gi−1 ∂gi = −A ∧ A.
Hence
∂A = −A ∧ A on D.
Since f − 1 ≤ 1/64, from (9.2) we see that g − 1 ≤ 1/32 and therefore
∞
1 33
(9.6) g −1 ≤ = .
32k 32
k=0
Together with (9.5) and (9.3), this implies that
33 Γ Γ
(9.7) AX ≤ f − 1 ≤ f − 1
32 16ε 10ε
and further, by the first estimate in (3.11),
1
(9.8) AX ≤ .
10 max(T1 , T2 )
Therefore, we can apply Theorem 5.1 and obtain a matrix function U ∈
(BC 0 )GL(r,C) (X) such that ∂U ∈ (BC0,1
0 L(r,C)
) (X),
(9.9) U −1 ∂U = A on X,
∞
It remains to prove (3.13). From (9.11) we see that U −1 = j=0 (1 − U )j and
∞
∞
1 4
U −1 − 1X ≤ 1 − U jX ≤ 1 − U X = 1 − U X .
j=1 j=1
4j−1 3
References
[BR] Berndtsson, B., Rosay, J.-P., Quasi-isometric vector bundles and bounded factorization
of holomorphic matrices, Ann. Inst. Fourier, Grenoble 51, 3 (2001), 885-901.
[CG] Cornalba, M., Griffiths, Ph., Analytic cycles and vector bundles on non-compact alge-
braic varieties, Inventiones math. 28 (1975), 1-106.
[GrLi] H. Grauert, I. Lieb, Das Ramirezsche Integral und die Lösung der Gleichung ∂f = α im
Bereich der beschränkten Formen, Rice Univ. Studies 56 (1970), no. 2, 29–50.
[GoLe] Gohberg, I., Leiterer, J., Holomorphic operator funcitons on one variable and applica-
tions, Birkhüser 2009.
[GoR1] Gohberg, I., Rodman, L., Analytic operator valued functions with prescribed local data,
J. Analyse Math. 40 (1981), 90-128.
[GoR2] Gohberg, I., Rodman, L., Analytic matrix functions with prescribed local data, Acta Sci.
Math. (Szeged) 45 (1983), no. 1-4, 189-199.
[Gr] Grauert, H., Analytische Faserungen über holomorph-vollständigen Räumen, Math.
Ann. 135 (1958), 263-273.
[He] G. M. Henkin, Integral representation of functions in strongly pseudoconvex domains
and applications to the ∂-problem (Russian), Mat. Sb. 82 (1970), 300-308; Engl. transl.
in Math. USSR-Sb. 11 (1970), 273–281.
[HeLe] G. Henkin, J. Leiterer, Theorey of functions on complex manifolds, Birkhäuser 1984.
[HeP] Polyakov, P.L., Khenkin, G.M., Integral formulas for the solution of the ∂-equation and
an interpolation problem in analytic polyhedra, (English. Russian original) Trans. Mosc.
Math. Soc. 1991, 135-175; translation from Tr. Mosk. Mat. O.-va 53 (1990), 130-170.
[Le2] Leiterer, J., An estimate for the splitting of holomorphic cocycles. One Variable. To
appear in: Memorial Volume in Honour of Israel Gohberg, OT series, Birkhäuser.
[Li1] Lieb, I., Die Cauchy-Riemannschen Differentialgleichungen auf streng pseudokonvexen
Gebieten, Math. Ann. 190 (1970), 6-44.
[Li2] Lieb, I., Die Cauchy-Riemannschen Differentialgleichungen auf streng pseudokonvexen
Gebieten: Stetige Randwerte, Math. Ann. 199 (1972), 241-256.
[Ov] Øvrelid, N., Integral representation formulas and Lp -estimates for the ∂-equation, Math.
Scand. 29 (1971), 137-160.
138
30 JÜRGEN LEITERER
[R] Range, M., Holomorphic functions and integral representations in several complex vari-
ables, Springer 1986.
[RS] M. Range, Y.-T. Siu, Uniform estimates for the ∂-equation on domains with piecewise
smooth strictly pseudoconvex boundaries, Math. Ann. 206 (1973), 325-354.
Gerardo A. Mendoza
1. Introduction
In this note we shall associate an exact sequence in certain cohomology to
any pair (N , T ) where N is a smooth compact manifold without boundary and
T a real nowhere vanishing smooth vector field on N that admits an invariant
Riemannian metric. The orbits of T need not be closed. The procedure leads
to the classical Gysin sequence in real cohomology when N is the circle bundle
of a complex line bundle, somewhat more generally, to an exact sequence in real
cohomology whenever the orbits of the action are circles.
A brief discussion of, and comments about, the classical case will place the
results in context. Let B be a connected compact manifold and E → B a complex
vector bundle of rank r ≤ dim B/2 with sphere bundle ρ : SE → B. The Gysin
sequence of SE (see Gysin [2], Milnor and Stasheff [7], Bott and Tu [1], Hatcher
[3]) in integral cohomology,
e· ρ∗ ρ∗
(1.1) · · · → H q−2r (B, Z) −−→ H q (B, Z) −→ H q (SE, Z) −→ H q−2r+1 (B, Z) → · · ·
serves to define the Euler class, e ∈ H 2r (B, Z), of E. This class is also the r-th
Chern class of E. By a well known induction process this definition can be used
to define the total Chern class, c(E) = 1 + c1 (E) + · · · + cr (E), of E. The total
Chern class represents an obstruction to the vector bundle being trivial (although
the vanishing of cj (E) for all j ≥ 1 is not sufficient to ascertain the triviality of
E, see [9]). In the special case where the vector bundle is a line bundle, its Euler
class, e = c1 (E), does determine it; this property is attributable to the fact that
U(1), the unitary group in dimension 1, is abelian. Thus the first Chern class of
2010 Mathematics Subject Classification. Primary 57R19; Secondary 58J10, 55R20, 55M55,
55M65.
Key words and phrases. Gysin sequence, de Rham cohomology, R-actions.
2011
c 0000
c Mathematical
American (copyright Society
holder)
1
139
140
2 GERARDO A. MENDOZA
E plays, in the case of a line bundle, the dual role of being the element (except
for sign) which makes the sequence (1.1) exact, and of classifier of the line bundle.
Of course to discuss the Euler class B need not be a manifold, nor compact; it is
only required that E → B be of finite type. The more restricted context of this
paragraph fits the assumptions on the rest of the paper with N being SE and T
being the infinitesimal generator of the R-action t → eit p, p ∈ SE.
Denote by F the class of pairs (N , T ) as in the first paragraph:
N is a connected smooth closed manifold and T a real nowhere vanishing
smooth vector field on N that admits an invariant metric.
For a class of examples of this kind of pairs see the end of this introduction.
Let (N , T ) ∈ F . Write Op for the orbit of T through p. Defining p1 ∼ p2
if p1 ∈ Op2 gives a relation of equivalence on N because of the existence of a T -
invariant metric. We will write B for the quotient space and refer to it as the base
space of N (more precisely, of (N , T )); it is a compact Hausdorff space but may
not be a manifold.
Define the following two relations of equivalence on F (see [6]). Say that
(N , T ) is locally equivalent to (N , T ) if there are open covers {Ua }a∈A of N ,
{Ua }a∈A of N by T , resp. T invariant sets, and diffeomorphisms ha : Ua → Ua
such that dha (T ) = T and
∀a, b ∈ A ∀p ∈ Ua ∩ Ub : ha ◦ h−1
b (p) ∈ O p .
Also say that (N , T ) and (N , T ) are globally equivalent if there is a diffeomor-
phism h : N → N such that dh(T ) = T . Fix (N , T ) ∈ F , let FN ,T be the set of
elements of F which are locally equivalent to (N , T ). Global equivalence defines
a relation of equivalence within this set. Let B be the base space of N . The base
space of each element of FN ,T is homeomorphic to B.
Theorem 1.1 (Theorem 3.9 of [6]). The set of global equivalence classes of
elements of FN ,T is in one to one correspondence with the elements of H 2 (B; Zd )
for some d.
The number d is defined in (7.1). Thus the elements of H 2 (B; Zd ) are like first
Chern classes in their role as classifiers of elements of FN ,T . They are relative
Chern classes because elements within a local equivalence class are being compared
to an arbitrarily fixed element in the class, in contrast with line bundles and their
regular Chern classes where the comparison is with the trivial line bundle.
We shall define an Euler class for (N , T ) ∈ F as an element of the second
cohomology group of certain subcomplex, see (2.3), of the de Rham complex of
N . This subcomplex reduces to the de Rham complex of the base when N is a
circle bundle over a smooth manifold. The defining property of e is the following
theorem, the central result of this paper.
Theorem 1.2. Let (N , T ) ∈ F , let B be the base space of N and let ρ : N → B
be the projection map. There is an exact sequence
q−2 e∧· q ρ∗
q ρ∗
q−1
(1.2) · · · → HdR (B) −−→ HdR (B) −→ HdR (N ) −→ HdR (B) → · · · .
q
The spaces HdR (N ) are the de Rham cohomology groups of N , the groups
q
HdR (B)are the cohomology groups of the complex (2.3) defined in the next section,
the maps ρ∗ and ρ∗ are defined in Section 5, and the theorem is proved in Section 6.
A GYSIN SEQUENCE 141
3
equivalently, solves
T (℘∗−m ψ) − im℘∗−m ψ = 0.
More generally, smooth q-forms on B with values in E ⊗m can be viewed as elements
of the space
q
(1.4) {φ ∈ C ∞ (SE; ρ∗ B) : LT φ − imφ = 0}.
On the plus side, these observations, certainly familiar to experts in algebraic ge-
ometry, permit the analysis of objects such as de Rham cohomology to be carried
out in SE rather than SE ⊗m . We take advantage of these observations, especially
(1.3), to define the analogue of the de Rham complex for tensor products in our
more general context, see (2.2). On the minus side, in what pertains this paper
there is no real gain because, as a consequence of exactness of the Gysin sequence
(or merely by the fact that the Euler class of E m is m times that of E), the de
Rham cohomology of SE ⊗m is identical to that of SE. Also in our more general
context the cohomology groups will be the same (Theorem 2.2).
Example 1.3. Let S 2n+1 be the unit sphere in Cn+1 , let τ 1 , . . . , τ n+1 be
nonzero real numbers. The vector field
n+1
j ∂ j ∂
T =i j
τ z −z
j=1
∂z j ∂z j
is tangent to the sphere: T |z|2 = 0. To verify that the pair (S 2n+1 , T ) belongs to
F we only need to observe that the standard Riemannian metric of the sphere is
T -invariant.
Remark 1.4. On can show that if (N , T ) ∈ F , then there is N ∈ N and a
smooth embedding F : N → S 2N +1 ⊂ CN +1 such that
F∗ T = T
with T as in the example. The assertion, whose proof will appear elsewhere, can
be viewed as an analogue of the statement that every complex line bundle over a
compact manifold B can be realized as the pullback of the canonical line bundle of
complex projective space of some dimension.
2. Set up
Throughout the rest of the paper we work with a fixed element (N , T ) of F .
We write at for the one-parameter group of diffeomorphisms defined by T and Op
for the orbit of T through p. Given any pair (p, p ) ∈ N × N define p ∼ p if
p ∈ Op . As was already mentioned, ∼ is a relation of equivalence because of the
of the assumption on the existence of a T -invariant metric. The space B = N /∼ is
a compact Hausdorff space, not necessarily a manifold. We let
ρ:N →B
be the quotient map.
Let
q q−1
(2.1) iT : N → N
be interiormultiplication by T . If H is the kernel of iT in CT ∗ N , then the kernel
∗
q ∗
of (2.1) is H . Let LT denote Lie derivative with respect to T . For any number
τ and nonnegative integers q and k or k = ∞ define, consistently with (1.4),
q q
(2.2) C k (B; E τ ⊗ B) = {φ ∈ C k (N ; H∗ ) : LT φ − iτ φ = 0}.
The symbol E is a place holder which becomes a Hermitian line bundle with circle
bundle N if the action determined by T make N into a principal S 1 -bundle. The
symbol E τ is a reference to a virtual (not in the sense of K-theory) line bundle
which becomes the m-th tensor power of a line bundle when τ = m and E is an
actual line bundle. Thenumber τ can be any complex number but must be a real
q
number if C k (B; E τ ⊗ B) = 0; it need not be an integer, but the spaces are
nonzero only for τ in a countable subset of R.
If τ , q, and k are all zero, the space (2.2) is canonically isomorphic to
qC(B). In
general when τ = 0 we will use the notation C k (B) if q = 0 and C k (B; B) when
q > 0 for the space (2.2).
q
The space C(B; E τ ⊗ B) is a C(B)-module. It is not necessarily a finitely
generated projective module, so by a theorem of Swan [12] it need not be the space
of continuous sections of a vector bundle over B.
A GYSIN SEQUENCE 143
5
3. Decompositions
Let g be an arbitrarily chosen T -invariant Riemannian metric. Then g(T , T )
is smooth, positive and T g(T , T ) = 0, so we may assume g(T , T ) = 1. Assuming
this, the 1-form θ = T g satisfies (2.5).
Define q q ∗
Πθ : N → H
by
Πθ φ = φ − θ ∧ iT φ.
q ∗ q−1 q
Since iT (θ) = 1, Πθ is the projection on H with kernel θ ∧ N . If φ ∈ N,
then
φ = Π θ φ + θ ∧ iT φ
gives the decomposition
q q ∗ q−1 ∗
N = H ⊕ (θ ∧ H ).
∞
q ∗
If φ ∈ C (N ; H ), then
dφ = Πθ dφ + θ ∧ LT φ.
Define q q+1 ∗
dθ : C ∞ (N ; H∗ ) → C ∞ (N ; H ), dθ = Πθ ◦ d.
∞
q ∗ ∞
q−1 ∗
Thus, if φ ∈ C (N ; H ) and φ ∈ C (N ;
0 1
H ), then
d(φ0 + θ ∧ φ1 ) = dθ φ0 + dθ ∧ φ1 + θ ∧ (LT φ0 − dθ φ1 ).
Define Θφ = dθ ∧ φ. Since iT dθ = 0,
q−1 ∗ q+1 ∗
Θ : C ∞ (N ; H ) → C ∞ (N ; H ), d◦Θ=Θ◦d
and we may view d as the operator
q q+1 ∗
C ∞ (N ; H∗ ) C ∞ (N ; H )
dθ Θ
(3.1) d= : ⊕ → ⊕
LT −dθ q−1 ∗ q
C ∞ (N ; H ) C ∞ (N ; H∗ ).
2
The operators dθ do not form a complex unless qdθ = 0, since dθ + ΘLT = 0.
∞
However the restrictions of dθ to the spaces C (B; B) do form a complex and qare
in fact identical to the operators dB already introduced. Indeed, if φ ∈ C ∞ (B; B)
then by definition iT φ = 0 and LT φ = 0. Using φ0 = Πθ φ = φ and φ1 = iT φ in
(3.1) we get dφ = dθ φ. q
Let m be the Riemannian density on N . The spaces L2 (N ; N ) is defined
using the Riemannian metric and the density m. The Laplacian of the de Rham
complex is
Δθ − L2T + ΘΘ∗ dθ Θ − Θdθ
(3.2) Δ=
Θ dθ − dθ Θ Δθ − L2T + Θ∗ Θ.
where Δθ = dθ dθ + dθ dθ . Since Δ is elliptic, so is Δθ − L2T in each degree.
Let q
kerq Δθ = {φ ∈ L2 (N ; N ) : Δθ φ = 0}
q
This is a closed subspace of L2 (N ; N ), therefore a Hilbert space on its own right.
Let
Dom(LT ) = {φ ∈ kerq Δθ : LT φ ∈ L2 (N ; E)}.
A GYSIN SEQUENCE 145
7
4. Fourier series
q
Suppose τ = 0. For arbitrary φ ∈ C ∞ (N , N ) define
2π/τ
τ
(4.1) (πτ,m φ)(p) = a∗s φ(as p) e−imτ s ds.
2π 0
q
This gives a smooth section of N . To see this, let a : R × N → N be the action
defined by T , a(t, p) = at p, let π : R × N → N be the canonical projection, and
let χ : R → R be the characteristic function of [0, 2π/τ ], regarded as a function on
R × N . Then
πτ,m φ = π∗ χa∗ φe−imτ t dt .
An analysis of the behavior of the wavefront set under pull-back and push-forward,
see Hörmander [5], gives that πτ,m φis smooth if φ is.
q
Suppose now that φ ∈ C ∞ (N τ , N τ ) and let φm = πτ,m φ. Then
(4.2) a∗t (φm (at p)) = φm (p)eiτ mt .
Indeed, using the the definition of πτ,m , the group property of a and a change of
variables we have that (2π/2π)a∗t (φm (at p)) is equal to
2π/τ
2π/τ
∗ ∗
−imτ s
at as φ(as p) (at p) e ds = a∗s+t φ(as+t p) e−imτ s ds
0 0
2π/τ
= a∗s φ(as p) e−imτ s ds eiτ mt .
0
Consequently
a∗t (φ(at p)) = φm (p)eimτ t
m∈Z
for each p ∈ N with convergence in C ∞ (R). In particular
φ= φm
m∈Z
The first two properties are immediate, the third is a consequence of the previous
two. The last follows from (4.2), da∗t = a ∗
t d and uniqueness of the Fourier coeffi-
q ∗
cients. In particular, if φ is a section of H , then so is φm . Thus the Fourier
series representation is compatible with the decomposition 3.1 of d.
5. Homomorphisms
We will first remove τ from the picture. Let
∞
q q
C(0) (N ; N0 ) = {φ ∈ C ∞ (N ; N ) : LT φ = 0}
Since d commutes with LT , we have (yet another) complex,
∞
q d0 ∞
q+1
(5.1) · · · → C(0) (N ; N ) −→ C(0) (N ; N) → ··· ,
∞
q
where d0 is d restricted to C(0) (N ; N ). This is a subcomplex of (2.4) for every
q
τ > 0 as well as of the de Rham complex of N . We will write HdR,0 (N ) for its
cohomology groups. q
The restriction to C ∞ (N τ ; N τ ) of the map πτ,m in (4.1) satisfies
LT ◦ πτ,m = iτ m πτ,m
(see (4.3)), so with m = 0 we have
q q
πτ,0 : C ∞ (N τ ; ∞
N τ ) → C(0) (N ; N ).
This defines a chain map from the complex (2.4) to the complex (5.1).
Lemma 5.1. The cohomology groups of the complex (5.1) are isomorphic to
those of the complex (2.4).
Proof. We show that there is a homotopy from the complex (2.4) to the
subcomplex (5.1). Note that Πθ and iT preserve periodicity because they commute
∗ ∞ q
with at . Using (4.4) we see that if φ ∈ C (N ; N τ ) then in the representation
τ
we get a homomorphism
q q−1 τ
hqτ : C ∞ (N τ ;
N τ ) → C ∞ (N τ ; N ).
∞
q−1 ∗
whose image is actually contained in C (N ; H ). It is easily verified that
LT hqτ φ = hqτ LT φ = φ1 − φ10 , hq+1
τ dθ = dθ hqτ .
Using (3.1) we have
dθ Θ hqτ φ d hq φ d hq φ
dhqτ φ = = θ τq = 1θ τ 1 ,
LT −dθ 0 L τ hτ φ φ − φ0
whereas 0
hq+1 (LT φ0 − dθ φ1 ) φ − φ00 − dθ hqτ φ1 )
hq+1
τ dφ = τ
= .
0 0
A GYSIN SEQUENCE 147
9
6. Exactness
Exactness of
q−2 e ∧· q q ρ∗
HdR (B) −−τ−→ HdR (B) −→ HdR,0 (N ).
q−2
Let ψ ∈ C ∞ (B; B)
q−1
represent an element of HdR (B). Then eτ [ψ] is represented
∞ q ∗
by π dθ ∧
τ
ψ ∈ C (B, B) and ρ (eτ [ψ]) is represented by the same form but in
∞ q
C(0) (N ; N ). But this form is d0 -exact:
τ τ ∞
q−1
dθ ∧ ψ = d0 (θ ∧ ψ), θ ∧ ψ ∈ C(0) (N , N ).
2π 2π
So ρ∗ (eτ [ψ]) = 0.
148
10 GERARDO A. MENDOZA
q
Now suppose φ ∈ C ∞ (B; B) represents an element in HdR q
(B) and ρ∗ [φ] = 0.
∞
q−1
Thus φ1 = iφ = 0, LT ψ = 0, dθ φ1 = 0, and there exists χ ∈ C(0) (N , N ) such
that with ψ 0 = Πθ ψ, ψ 1 = iT ψ likewise we have
0 0
φ dθ Θ ψ
φ= = dψ =
0 LT −dθ ψ 1
So φ0 = dθ ψ 0 + dθ ∧ ψ 1 , 0 = dθ ψ 1 . Since dθ ψ 0 = dψ 0 = d0 ψ 0 , the class of φ in
0
HdR,0 (N ) is equal to that of φ − dψ 0 . We may thus assume that iT φ = 0 to begin
with. So φ = dθ ∧ ψ 1 . From dφ = 0 get dψ 1 = 0, and we conclude that φ is in the
image of eτ ∧ ·.
Exactness of
q ρ∗ q ρ∗ q−1
HdR (B) −→ HdR,0 (N ) −→ HdR (B).
∞
q
Suppose ψ ∈ C (B; B) is dB -closed. Then it is d0 (or just d)-closed as an
∞ q
element of C(0) (N ; N ). Since iT ψ = 0, ρ∗ ρ∗ [ψ] = [iT ψ] = 0.
q
Now suppose [φ] ∈ HdR,0 (N ) and ρ∗ [φ] = 0, that is,
q−2
iT φ = dB χ, χ ∈ C ∞ (B; B).
The form φ is cohomologous in the complex (5.1) to ψ = φ + d0 (θ ∧ χ). But
0 0 0
φ dθ Θ 0 φ dθ ∧ χ φ + dθ ∧ χ
φ + d0 (θ ∧ χ) = 1 + = 1 + = .
φ LT −dθ χ φ dθ χ 0
q
Since φ0 + dθ ∧ χ ∈ C ∞ (B; B), [φ] = ρ∗ [φ0 + dθ ∧ φ].
Exactness of
q ρ∗ q−1 e ∧· q+1
HdR,0 (N ) −→ HdR (B) −−τ−→ HdR (B).
q ∞
q
Suppose [ψ] ∈ HdR,0 (N ). Thus ψ ∈ C (N ; N ), LT ψ = 0, and dψ = 0. We
show that dθ ∧ ψ 1 is exact in the complex (2.3). With ψ 0 , ψ 1 as usual we have
dθ ψ 1 + dθ ∧ ψ 1 0
=
−dψ 1 0
The top line gives dθ ∧ ψ 1 = −dθ ψ 0 .
q−1
Now suppose [φ] ∈ HdR (B) and dθ ∧ φ = 0. Then ψ = θ ∧ φ is a d0 -closed
∞ q
element of C(0) (N ; N ) such that iT ψ = φ.
This completes the proof of exactness of the sequence (2.6).
q
7. The groups HdR (B)
q
We shall now analyze the cohomology groups HdR (B) of the complex (2.3) from
two viewpoints. In the first we will exhibit them (for q ≥ d) as the Čech cohomology
with coefficients in a suitable sheaf. The arguments are essentially those used to
relate, for example, Čech and Rham cohomology. The sheaf in question reduces to
the sheaf of locally constant real-valued functions when the orbits of T are circles,
q
thus proving Theorem 2.1, namely that HdR (B) is isomorphic to H q (B, R). In the
second characterization we present the groups, for any q, as spaces of harmonic
forms for a Laplace-like operator
Let g be some T -invariant metric. Since LT g = 0, {at }, the one-parameter
group of diffeomorphisms generated by T consists of isometries of g. The full group
of isometries is a compact Lie group (see Myers and Steenrod [8], Helgason [4])
A GYSIN SEQUENCE 149
11
∗
Let HU denote the part of H∗ over U ⊂ N . The family whose elements are
q q ∗
C ∞ (V ; V ) = {φ ∈ C ∞ (U ; HU ) : LT φ = 0}, V ⊂ B open, U = ρ−1 (V )
together with the canonical restriction maps forms a presheaf whose associated
sheaf we denote by E q . The operator dB induces a sheaf map dB : E q → E q+1 . If
d = 1 and q = 0 then Z q is the sheaf of locally constant real-valued functions on B
The family whose elements are
q
Z q (V ) = {φ ∈ C ∞ (V, V ) : dB φ = 0}, V ⊂ B open
with its restriction maps is also a presheaf. The associated sheaf, Z q , is a subsheaf
of E q containing the image of dB .
q
Theorem 7.1. If q − p ≥ d − 1 then HdR (B) is isomorphic to Ȟ p (B; Z q−p ).
q
Thus if d = 1, then HdR (B) ≈ Ȟ (B; R).
q
Lemma 7.2. Let x0 ∈ B, Fx0 = ρ−1 (x0 ), and pick V ⊂ B be as just described.
The cohomology of the complex
q q+1
· · · → C ∞ (V ; V ) −−→ C ∞ (V ;
dB
(7.4) V) → ···
is isomorphic to that of the complex (7.3). In particular, these cohomology groups
are zero in all degrees q ≥ dim Fx0 .
As a corollary we obtain the following version of the Poincaré Lemma:
Proposition 7.3. Let d = max{dim Fx : x ∈ B}. The map dB : E q−1 → Z q
is surjective for q ≥ d.
q
Proof of Lemma 7.2. Write HdR (V ) for the q-th cohomology group of the
complex (7.4). Let ι : Fx0 → U be the inclusion map and ℘ : U → Fx0 the
composition
exp−1 π
U −−−−→ Bε −−−→ Fx0 .
Then ℘ commutes with iT , so there is an induced map
(7.5) ℘∗ : H q (Fx0 ; HF
∗ q
x0 ) → HdR (V )
then
(κ∗s φ)(x, y) = es|I| φIJ (es x, y) dxI ∧ dy J .
|I|+|J|=q
A GYSIN SEQUENCE 151
13
is finite and that the resulting form αq (φ)is smooth on U . Furthermore, αq+1 dφ is
also defined because ι∗ dφ = dι∗ φ = 0. In addition,
(7.8) αq+1 dφ = dαq φ if ι∗ φ = 0
using κ∗s dφ = dκ∗s φ. q
Suppose now that φ is a general element of C ∞ (V ; V ). Obviously ι∗ LX φ
vanishes and
d ∗
κ∗s (LX φ)(p) = κ (φ(κs p)).
ds s
So αq (LX φ) is defined and
0
d ∗
αq (LX φ)(p) = κs (φ(κs p)) ds = φ(p) − (κ∗−∞ φ)(p).
−∞ ds
This gives
dαq−1 iX φ + αq iX dφ = I − κ∗−∞
∗
using LX = diX + iX d, ι iX φ = 0, and (7.8). Thus defining hq = αq−1 ◦ iX we have
d ◦ hq + hq+1 ◦ d = I − κ∗−∞ .
q q
The map κ∗−∞ vanishes on C ∞ (V ; V ) → C ∞ (Fx0 ; Fx0 ) when q ≥ dim Fx0 for
the simple reason that the target space in
q q
ι∗ : C ∞ (V ; V ) → C ∞ (Fx0 ; Fx0 )
is zero when q ≥ dim Fx0 .
Thus there is an exact sequence
ι d
0 → Z q−1 − B
→ E q−1 −−→ Zq →0
in each degree q ≥ d. Therefore for such q we have the long exact sequence
(7.9)
d
B
0 → Γ(B, Z q−1 ) → Γ(B, E q−1 ) −−→ Γ(B, Z q ) → Ȟ 1 (B, Z q−1 ) → Ȟ 1 (B, E q−1 ) →
· · · → Ȟ p (B, E q−1 ) → Ȟ p (B, Z q ) → Ȟ p+1 (B, Z q−1 ) → Ȟ p+1 (B, E q−1 ) → . . .
in Čech cohomology.
Lemma 7.4. The sheaf E q is fine.
This is a consequence of the existence of partitions of unity in C ∞ (B). The
following argument proving the existence of such partitions is taken from [6]. Define
A : G × N → N by A(h, p) = h(p). This is a smooth map. Let also π : G × N → N
be the canonical projection. Finally, let m be the Haar measure on G. Define
av : C ∞ (M) → C ∞ (M) by
avf = π∗ (A∗f m)
Again an analysis of wavefront sets gives immediately that av dos indeed send
smooth functions to smooth functions, and since avf is constant on orbits of G, av
in fact maps into C ∞ (B).
152
14 GERARDO A. MENDOZA
Now, if V = {Va }a∈A is an open cover of B and {χb }b∈B is a smooth partition
of unity subordinate to the open cover {ρ−1 (Va )} of N (so χb ∈ C ∞ (N ) for all
b), then the family {avχb }b∈B is another such partition, but now with functions in
C ∞ (B). Interpreting these functions as functions on B, they form a partition of
unity subordinate to the open cover V of B: given any open cover V = {Va }a∈A of
B there is a partition of unity {χb }b∈B with χb ∈ C ∞ (B) for all b ∈ B subordinate
to the given cover.
Since E q is a fine sheaf, Ȟ p (B, E q ) = 0 for p > 0. As in the standard case we
deduce from the long exact sequence that
Ȟ 1 (B, Z q−1 ) ≈ Γ(B, Z q )/dB Γ(B, E q−1 ), q ≥ d,
that is
q
Ȟ 1 (B, Z q−1 ) ≈ HdR (B) if q ≥ d
and
Ȟ p (B, Z q ) ≈ Ȟ p+1 (B, Z q−1 ) for p > 0 and q ≥ d.
from which we reach the thesis of the theorem.
We now turn to a purely analytic description of the groups cohomology groups
of the complex (2.3)
Proposition 7.5. The cohomology group of the qcomplex (2.3) in degree q is
isomorphic to the kernel, H q (B), of Δθ in C ∞ (B; B). The spaces H q (B) are
finite-dimensional.
Proof. The proof is similar to that of the analogous q statement in Hodge
theory. Since Δθ − L2T is elliptic, its kernel in C ∞ (N ; H∗ ), namely H q (B),
is finite dimensional.
Now, H q (B) is in fact the kernel of Δ2θ − L2T . Clearly H q (B) ⊂ ker(Δ2θ − L2T ).
On the other hand, if φ ∈ ker(Δ2θ − L2T ), then
0 = (Δθ − L2T )φ, φ = dθ φ2 + dθ φ2 + LT φ2 .
hence in particular LT φ = 0, so φ ∈ H q (B).
Let
q
ΠqB : L2 (N ; H∗ ) → H q (B)
be the orthogonal
q projection. Then LT ◦ ΠqB =
q0, while also, trivially, q
q ∗ ΠB ◦ LT = 0
∞ ∗
on C (B; B). For each q there is G : L (N ; H ) → L (N ; H ), a selfadjoint
2 2
pseudodifferential operator of order −2, such that G(Δθ − L2T ) = (Δθ − L2T )G =
I − ΠqB . Since LT commutes
q with ΠqB and with (Δθ − L2T ), G commutes with LT .
∞
Thus G maps C (B; B) to itself. The formula
dθ (Δθ − L2T ) = (Δθ − L2T )dθ .
gives
q
dθ Gφ = Gdθ φ, φ ∈ C ∞ (B; B).
q
The rest of the proof consists of using this to show that HdR (B) is isomorphic to
H (B). The details are identical to the corresponding proof in Hodge theory.
q
A GYSIN SEQUENCE 153
15
q
8. The groups HdR,0 (N )
q
We now show that HdR,0 (N ), the q-th cohomology group of the complex (5.1),
is isomorphic to H (N , R) by exhibiting a homotopy from the identity morphism
q
we have
1 1
dhq φ = (LYj πα φ − iYj dπα φ) = φα − hq+1 dφ,
mα iαj
α=0 j∈Jα α=0
that is,
dhq + hq+1 d = I − π0 .
q
It follows immediately that any class in HdR (N ) has a representative in the space
q q q−1
C(0) (N ; N ). If φ ∈ C(0) (N ; N ) and φ = dψ for some ψ ∈ C ∞ (N ;
∞ ∞
N ),
then
φ − dπ0 ψ = dhq dψ.
Applyingπ0 to both sides of this identity gives π0 dhq dψ = 0. Since φ, dπ0 ψ ∈
∞ q
C(0) (N ; N ), dhq dψ must be zero. Thus there is a well defined injective map
q q
π 0 : HdR (N ) → HdR,0 (N ).
154
16 GERARDO A. MENDOZA
q q
The same argument shows that the map ι : HdR,0 (N ) → HdR (N ) obtained from the
∞
∗ ∞
∗
inclusions C(0) (N ; N ) → C (N ; N ), which is a left inverse of π 0 , is injective.
So π 0 is an isomorphism.
References
[1] Bott, R., Tu, L. W., Differential forms in algebraic topology, Springer-Verlag Berlin, Heidel-
berg, New York 1982.
[2] Gysin, W., Zur Homologietheorie der Abbildungen und Faserungen von Mannigfaltigkeiten,
Comment. Math. Helv. 14, (1942), 61–122.
[3] Hatcher, A.,Algebraic topology, Cambridge University Press, Cambridge, 2002.
[4] Helgason, S., Differential geometry, Lie groups, and symmetric spaces. Pure and Applied
Mathematics, 80. Academic Press, Inc, New York-London, 1978.
[5] Hörmander, L., Fourier integral operators. I, Acta Math. 127 (1971), 79–183.
[6] Characteristic classes of the boundary of a complex b-manifold, in Complex Analy-
sis (Trends in Mathematics), 245–262, P. Ebenfelt, N. Hungerbühler, J. J. Kohn, N. Mok,
E. J. Straube, Eds., Birkhuser, Basel, 2010.
[7] Milnor, J., Stasheff, J., Characteristic classes, Annals of Mathematics Studies, 76, Princeton
University Press, Princeton, N. J., 1974.
[8] Myers, S. B., Steenrod, N. E., The group of isometries of a Riemannian manifold, Annals
Math. 40 (1939), 400–416.
[9] Peterson, F., Some remarks on Chern classes, Ann. Math. 69 (1959), 414–420.
[10] de Rham, G. Sur l’analysis situs des variétés à n dimensions, J. de Math., IX. Ser. 10 (1931),
115-200.
[11] , Differentiable manifolds, Grundlehren der Mathematischen Wissenschaften 266.
Springer-Verlag, Berlin, 1984.
[12] Swan, R., Vector bundles and projective modules, Trans. Amer. Math. Soc. 105 (1962) 264–
277.
[13] Warner, F. W., Foundations of differentiable manifolds and Lie groups, Graduate Texts in
Mathematics, 94, Springer-Verlag, New York-Berlin, 1983.
E-mail address: gmendoza@math.temple.edu
Sönmez Şahutoğlu
2011
c 0000
c Mathematical
American (copyright Society
holder)
1
155
156
2 SÖNMEZ ŞAHUTOĞLU
and
∂f 2
λ(p,0) (U ) = inf : f ∈ (Ker∂)⊥ ∩ C0,(p,0)
∞
(U ), f ≡ 0
f 2
where (Ker∂)⊥ is the orthogonal complement of (Ker∂) in L2(p,0) (Ω) (square inte-
grable (p, 0)-forms on Ω). Notice that λ(p,q) (U ) ≤ λ(p,q) (V ) if V ⊂ U. In this paper
a finite type is meant in the sense of D’Angelo [D’A82] and infinite type point
means a point that is not finite type.
We would like to give a simple example below to show that one can use this
characterization to show that, in some cases, compactness of the ∂-Neumann prob-
lem excludes analytic disks from the boundary. We do not claim any originality in
this example as it is a special case of Catlin’s result [FS01, Proposition 1].
Example 1. Let Ω be a smooth bounded pseudoconvex domain in C2 such that
Ω ⊂ {z ∈ C2 : Im(z2 ) < 0} and {z ∈ C2 : Im(z2 ) = 0, |z1 |2 + |z2 |2 < 1} ⊂ bΩ.
Claim: The ∂-Neumann operator on Ω is not compact.
Proof of the Claim: There exist positive numbers a1 < a2 such that
D1 × W1 ⊂ Ω ∩ {z ∈ C2 : |z1 |2 + |z2 |2 < 1} ⊂ D2 × W2
where D1 = {z ∈ C : |z| < 2/3}, D2 = {z ∈ C : |z| < 2}, and
W1 = {z = reiθ ∈ C : 0 < r < a1 , −2π/3 < θ < −π/3},
W2 = {z = reiθ ∈ C : 0 < r < a2 , −4π/3 < θ < π/3}.
Let φj (z1 , z2 ) = f (z1 )gj (z2 )dz 1 where f ∈ C0∞ (D1 ) and f ≡ 0. Later on we will
∗
choose gj ∈ C0∞ ({z ∈ C : |z| < j −2 }) so that φj ∈ Dom(∂) ∩ Dom(∂ ). There exists
a3 > 0 such that D1 × W ⊂ Ω, where W = {z ∈ C : Im(z) < 0, |z| < a3 }, and
φj (z1 , z2 ) = 0 for z ∈ Ω \ D1 × W and j −2 < a3 . Then for j −2 < a3 we have
2
2
∗
∂gj (z2 )
∂f (z )
∂φj 2 + ∂ φj 2
∂z2 f (z1 )
+
gj (z2 ) ∂z11
=
φj 2 gj (z2 )f (z1 )2
2
∂gj (z2 )
∂f (z1 )
2
∂z2
2 f L2 (D2 )
∂z1
2 gj (z2 )2L2 (W )
L (W2 ) L (D1 )
≤ +
gj (z2 )2L2 (W1 ) f L2 (D1 ) f (z1 )2L2 (D1 ) gj (z2 )2L2 (W )
∂gj (z2 )
2
∂f (z1 )
2
∂z2
2
∂z1
2
L (W2 ) L (D1 )
≤ +
gj (z2 )2L2 (W1 ) f (z1 )2L2 (D1 )
Let us choose real valued non-negative functions χj ∈ C0∞ (−j −2 , j −2 ) such that
χj (−t) = χj (t) and χ(t) = 1 for |t| ≤ 4j12 . Since z −2 is not integrable on W1 ∩B(0, ε)
for any ε > 0, we can choose a positive real number αj so that
2
2 2
2
χ |z2 | χj |z2 |
j
dV (z2 ) ≤ dV (z2 ).
W2 ∩B(0,1/j) |z2 − iαj | W1 ∩B(0,1/j) |z2 − iαj |
2 2
Now we define gj (z2 ) = χj |z2 |2 τj (z2 )(z2 − iαj )−1 where τj ∈ C ∞ (C) such that
τj (z) ≡ 1 for Im(z) ≤ 0 and τj (z) ≡ 0 for Im(z) ≥ αj /2. Then we have φj ∈
∞ ∗
C0,(0,1) (Uj ) ∩ Dom(∂ ) where Uj = {z ∈ C : |z| < 2−1 + j −1 } × {z ∈ C : |z| < j −2 }
and
∂gj
≤ gj L2 (W1 ∩B(0,1/j)) .
∂z 2
2
L (W2 ∩B(0,1/j))
∞
Hence, we constructed a sequence of (0, 1)-forms {φj } such that φj ∈ C0,(0,1) (Uj ) ∩
∗
Dom(∂ ) where
∞
K = {z ∈ C2 : |z1 | ≤ 1/2, z2 = 0} = Uj ⊂ bΩ
j=1
158
4 SÖNMEZ ŞAHUTOĞLU
∗
∂φ 2 +∂ φ 2
and j
φj 2
j
stays bounded as j → ∞. Hence, by Theorem 1, the ∂-Neumann
operator on Ω is not compact.
Proof of Theorem 1
Proof of Theorem 1. We will show the equivalences for 0 ≤ p ≤ n and
1 ≤ q ≤ n − 1. The proof can be mimicked for the case q = 0 using the following:
compactness of N0 is equivalent to the following compactness estimate: for all ε > 0
there exists Dε > 0 such that
g2 ≤ ε∂g2 + Dε g2−1 for g ∈ (Ker∂)⊥ ∩ Dom(∂)
First let us prove that (i) implies (ii). Assume that the ∂-Neumann operator
of Ω is compact, and there exist K ⊂ bΩ and M > 0 such that λ(p,q) (U ) < M for
all open neighborhoods U of K. We may assume that there exist sequences of open
neighborhoods {Uk } of K and nonzero (p, q)-forms {fk } such that
∗
i. Uk+1 Uk , K ⊂ ∞ ∞
k=1 Uk ⊂ bΩ, fk ∈ Dom(∂ ) ∩ C0,(p,q) (Uk ),
∗
ii. fk 2 = 1, and ∂fk 2 + ∂ fk 2 < M for k = 1, 2, 3, · · ·
∞ ∞
Since K ⊂ k=1 Uk ⊂ bΩ (hence K has measure 0 in Cn ) and fk ∈ C0,(p,q) (Uk ),
by passing to a subsequence if necessary, we may assume that fk − fl ≥ 1/2.
2
The first inequality follows because L2 imbedds compactly into W s for s > 0. We
used the compactness estimate for the second inequality. If we use λ(p,q) (Uk ) > k
we get:
1 ∗
ϕk u2 ≤ (∂(ϕk u)2 + ∂ (ϕk u)2 )
k
1 ∗
(4) ≤ (∂u2 + ∂ u2 ) + Dk φk u2
k
where φk ≡ 0 in a neighborhood of K, Dk > 0, and φk ≡ 1 in a neighborhood of
the support of ϕk . Calculations that are similar to ones in (3) show that
∗
(5) φk u2 ≤ ε C̃k (∂u2 + ∂ u2 + u2 ) + C̃k,ε u2−1
By choosing ε, ε > 0 small enough and combining (3) and (5) we get the following
estimate: for all k = 1, 2, 3, · · · there exists Mk > 0 such that
2 ∗ ∗ ∞
(6) u2 ≤ (∂u2 + ∂ u2 + u2 ) + Mk u2−1 for u ∈ Dom(∂ ) ∩ C(p,q) (Ω)
k
∗
∞ ∗
We note that Dom(∂ ) ∩ C(p,q) (Ω) is dense in Dom(∂ ) ∩ Dom(∂). Therefore, the
∗
above estimate (6) holds on Dom(∂ ) ∩ Dom(∂). That is, the ∂-Neumann operator
of Ω is compact on (p, q)-forms for 0 ≤ p ≤ n and 1 ≤ q ≤ n − 1.
Acknowledgement
The author would like to thank his advisor, Emil Straube, for suggesting the
problem and fruitful discussions, and Mehmet Çelik for valuable comments on a
preliminary version of this manuscript.
References
[Cat84] ¯
David W. Catlin, Global regularity of the ∂-Neumann problem, Complex analysis of
several variables (Madison, Wis., 1982), Proc. Sympos. Pure Math., vol. 41, Amer.
Math. Soc., Providence, RI, 1984, pp. 39–49.
[Cat87] David Catlin, Subelliptic estimates for the ∂-Neumann problem on pseudoconvex do-
mains, Ann. of Math. (2) 126 (1987), no. 1, 131–191.
[Çel08] Mehmet Çelik, Contributions to the compactness theory of the ∂-Neumann operator,
Ph.D. thesis, Texas A&M University, 2008.
[ÇS09] Mehmet Çelik and Emil J. Straube, Observations regarding compactness in the ∂-
Neumann problem, Complex Var. Elliptic Equ. 54 (2009), no. 3-4, 173–186.
[CS01] So-Chin Chen and Mei-Chi Shaw, Partial differential equations in several complex vari-
ables, AMS/IP Studies in Advanced Mathematics, vol. 19, American Mathematical So-
ciety, Providence, RI, 2001.
[D’A82] John P. D’Angelo, Real hypersurfaces, orders of contact, and applications, Ann. of Math.
(2) 115 (1982), no. 3, 615–637.
[FS98] Siqi Fu and Emil J. Straube, Compactness of the ∂-Neumann problem on convex do-
mains, J. Funct. Anal. 159 (1998), no. 2, 629–641.
[FS01] , Compactness in the ∂-Neumann problem, Complex analysis and geometry
(Columbus, OH, 1999), Ohio State Univ. Math. Res. Inst. Publ., vol. 9, de Gruyter,
Berlin, 2001, pp. 141–160.
[Has] ¯
Friedrich Haslinger, Compactness for the ∂-Neumann problem - a functional analysis
approach, to appear in Collect. Math., arXiv:0912.4406.
[Hör65] Lars Hörmander, L2 estimates and existence theorems for the ∂¯ operator, Acta Math.
113 (1965), 89–152.
[KN65] J. J. Kohn and L. Nirenberg, Non-coercive boundary value problems, Comm. Pure Appl.
Math. 18 (1965), 443–492.
160
6 SÖNMEZ ŞAHUTOĞLU
[McN02] Jeffery D. McNeal, A sufficient condition for compactness of the ∂-Neumann operator,
J. Funct. Anal. 195 (2002), no. 1, 190–205.
[Mun06] Samangi Munasinghe, Geometric sufficient conditions for compactness of the ∂-
Neumann operator, Ph.D. thesis, Texas A&M University, 2006.
[MS07] Samangi Munasinghe and Emil J. Straube, Complex tangential flows and compactness
of the ∂-Neumann operator, Pacific J. Math. 232 (2007), no. 2, 343–354.
[Şah06] Sönmez Şahutoğlu, Compactness of the ∂-Neumann problem and Stein neighborhood
bases, Ph.D. thesis, Texas A&M University, 2006.
[ŞS06] Sönmez Şahutoğlu and Emil J. Straube, Analytic discs, plurisubharmonic hulls, and
non-compactness of the ∂-Neumann operator, Math. Ann. 334 (2006), no. 4, 809–820.
[Str04] Emil J. Straube, Geometric conditions which imply compactness of the ∂-Neumann
operator, Ann. Inst. Fourier (Grenoble) 54 (2004), no. 3, 699–710.
[Str10] , Lectures on the L2 -Sobolev theory of the ∂-Neumann problem, ESI Lectures in
Mathematics and Physics, vol. 7, European Mathematical Society (EMS), Zürich, 2010.
Mei-Chi Shaw*
Abstract. In this paper we study the duality of the harmonic spaces on the
−
annulus Ω = Ω1 \ Ω between two pseudoconvex domains with Ω− ⊂⊂ Ω1 in
C and the Bergman spaces on Ω− . We show that on the annulus Ω, the space
n
of harmonic forms for the critical case on (0, n−1)-forms is infinite dimensional
and it is dual to the the Bergman space on the pseudoconvex domain Ω− . The
duality is further identified explicitly by the Bochner-Martinelli transform,
generalizing a result of Hörmander.
Introduction
Let Ω and Ω1 be two bounded pseudoconvex domains in Cn with Ω− ⊂⊂
−
Ω1 . In this paper we study the duality of the harmonic spaces on the annulus
−
Ω = Ω1 \ Ω and the Bergman spaces on Ω− . This paper is inspired by a recent
¯
paper of Hörmander [Hö 2] where the null space of the ∂-Neumann operator on
a spherical shell as well as on an ellipsoid in Cn has been computed by explicit
formula for the critical case for (0, n − 1)-forms.
¯
The ∂-Neumann problem on the annulus has been studied in [Sh 1] on an
annulus between two pseudoconvex domains in Cn or in a hermitian Stein manifold.
When the boundary is smooth, the closed range property and boundary regularity
for ∂¯ were established in the earlier work (see [BS] or [Sh1]) for 0 < q ≤ n − 1 and
n ≥ 2. In the case when 0 < q < n − 1, the space of harmonic forms is trivial. In
this paper, we will study the critical case when q = n − 1 on the annulus Ω. In this
case the space of harmonic forms is infinite dimensional. Our goal is to establish
the duality between the harmonic forms in the critical degree with the Bergman
spaces on the domain Ω− .
In the first section, we recall the Hodge decomposition theorem on the annulus
between two pseudoconvex domains. In the second section we establish the duality
between the harmonic forms with coefficients in the Sobolev W 1 (Ω) spaces with the
Bergman spaces on Ω− . We then refine the duality to duality between L2 spaces
in Section 3.
c1997
2011
c American Mathematical
American Mathematical Society
Society
1
161
2162 MEI-CHI SHAW*
¯ = f in Ω.
(3) There exists u ∈ L2(p,n−2) (Ω) satisfying ∂u
Corollary 1.3. Let Ω be the same as in Theorem 1.2. Then ∂¯ has closed range
¯
in L2(p,n−1) (Ω) and the ∂-Neumann operator N(p,n−1) exists on L2(p,n−1) (Ω).
have
f = ∂¯∗ ∂N
¯ (p,0) f + H(p,0) f, q = 0.
¯ ¯∗ ¯∗¯
f = ∂ ∂ N(p,q) f + ∂ ∂N(p,q) f, 1 ≤ q ≤ n − 2.
¯ ¯∗ ¯ ∗¯
f = ∂ ∂ N(p,n−1) f + ∂ ∂N(p,n−1) f + H(p,n−1) f, q = n − 1.
f = ∂¯∂¯∗ N(p,n) f, q = n.
We have used the notation H(p,q) to denote the projection operator from L2(p,q) (Ω)
onto the harmonic space H(p,q) (Ω) = ker((p,q) ).
For a proof of Theorem 1.4, see Theorem 3.5 in [Sh4].
Remark: All the results can be extended to annulus between pseudoconvex do-
mains in a Stein manifold with trivial modification.
DUALITY BETWEEN HARMONIC AND BERGMAN SPACES 1633
(Ω− ) → C
(n−p,0)
l : H (p,n−1) (Ω) × HW 1
by
(Ω− ).
(n−p,0)
(2.1) l([f ], h) = f ∧ h, h ∈ HW 1
bΩ−
First we note that the pairing (2.1) is well-defined. It is well-known any holomorphic
function or forms with L2 (Ω) coefficients has a well-defined trace in W − 2 (bΩ) (see
1
e.g. [LM]). For any f in L2(p,n−1) (Ω) with ∂f ¯ = 0 and ∂¯∗ f = 0, we also have a
well-defined trace in W − 2 (bΩ) (see [Sh3] for details). Any function or form with
1
W 1 (Ω− ) coefficients has trace in W 2 (bΩ− ) from the Sobolev Trace Theorem. Thus
1
We also note that the pairing in (2.1) is independent of the choice of the repre-
sentation function [f ]. Let f˜ be another representation of [f ], then f˜ = f + ∂u
¯ for
some element of the form ∂u¯ ∈ L2 (Ω) with u ∈ L 2
(Ω). Using Friedrichs’
(p,n−1) (p,n−2)
4164 MEI-CHI SHAW*
∞
lemma, there exists a sequence {uν } such that uν ∈ C(p,n−2) (Ω) such that uν → u
2 ¯ ν → ∂u
in L(p,n−2) (Ω) and ∂u ¯ in L 2
(Ω). It follows from Stokes’ Theorem that
(p,n−1)
¯ ∧ h = lim
∂u ¯ ν ∧h
∂u
bΩ− ν→∞ bΩ−
(Ω− ).
¯ = 0, (n−p,0)
= lim (−1)p+n uν ∧ ∂h h ∈ HW 1
ν→∞ bΩ−
¯ −1
from Theorem 1.2, there exists a ∂-closed form F ∈ W(p,n−2) (Ω1 ) which is equal to
¯ = f . This implies
f on Ω and one can find a solution u ∈ L(p,n−2) (Ω) satisfying ∂u
2
(Ω− ) .
(n−p,0)
that [f ] = 0. Thus there is a 1-1 map from H (p,n−1) (Ω) to HW 1
(Ω− ).
(n−p,0)
On the other hand, suppose that f is a bounded linear functional on HW 1
We will show that l can be represented by some [f ] in (2.1). Since we assume that
Ω− is pseudoconvex and has smooth boundary, one has the duality for holomorphic
space H 1 (Ω− ) = L2 (Ω− ) ∩ Ker(∂)¯ and H −1 (Ω− ) (see [BB]). If the ∂-Neumann
¯
−
operator is exact regular on W (Ω ), we can use the duality between the usual L2
1
¯
spaces. Otherwise, one can use the exact regularity for the weighted ∂-Neumann
2
operator with weights t|z| for sufficiently large t > 0. The weight function can be
viewed as the bundle metric e−t|z| for the trivial line bundle C and the dual space
2
2
will be equipped with the dual metric et|z| for C. In particular the pairing (2.1)
¯
is well-defined. For simplicity, we assume that the ∂-Neumann operator is exact
regular. But all the arguments remain the same if we use weighted spaces with the
dual weighted norms.
Thus l can be represented by (n − p, 0)-form g with distribution coefficients
in H −1 (Ω− ) = ker(∂)
¯ ∩ W −1 (Ω− ). Extending g to be zero outside Ω− , then g
¯
is a (p, n)-form on Ω1 , a top degree form which is always ∂-exact. The extension
by zero of g results in a form which is in W −1 (Ω1 ). This is due to the fact that
holomorphic functions in W −1 (Ω− ) is also in the dual of W 1 (Ω− ). We remark that
for a general function or forms, this is not true. But when the functions or forms
are harmonic, then the dual space of W01 , denoted by W −1 , coincides with the dual
space of W 1 for domains with smooth boundary. For detailed explanation of this
subtle point, we refer the reader to the paper by Boas (see Appendix B in [Boa]
where the dual space of W 1 is denoted by W∗−1 .).
Thus we have that g = ∂U ¯ on Ω1 for some U ∈ L2
(p,n−1) (Ω1 ). Let f = U on
¯
Ω. It follows that ∂f = 0 on Ω and the linear functional
(Ω− ).
¯ ∧h= (n−p,0)
l(h) = g ∧ h = ∂U f ∧ h, h ∈ HW 1
Ω− Ω− bΩ−
Since f ∈ L2(p,n−1) (Ω), we have that the bounded linear functional l is represented
by [f ] ∈ H (p,n−1) (Ω). This proves the theorem for k = 0.
DUALITY BETWEEN HARMONIC AND BERGMAN SPACES 1655
(2.2) l([f ], h) = f ∧ h.
bΩ−
It is easy to see that the pairing (2.2) is well-defined as before. If f satisfies the
condition
−k+1
f ∧ φ = 0, φ ∈ W(n−p,0) (Ω− ) ∩ Ker(∂),
¯
bΩ−
¯
there exists a ∂-closed form F ∈ W(p,n−1)
k−1
(Ω1 ) which is equal to f on Ω and one
¯ = f . For a proof, see Corollary 2
can find a solution u ∈ W(p,n−2) (Ω) satisfying ∂u
k
coefficients. Thus repeating the same arguments as before, there exists f ∈ W k (Ω)
¯ = 0 such that any bounded linear functional can be given by f in the
with ∂f
equation (2.1).
We set
c(p,n) (Ω− ) = ∂¯c ϑ : L2(p,n) (Ω− ) → L2(p,n) (Ω− ).
The kernel of c(p,n) (Ω− ) is denoted by Hc (Ω− ), the space of harmonic forms of
(p,n)
Proof. From the closed range property for ∂¯ on Ω− and its L2 dual for all
degrees, it follows (see [CS2]) that range of ∂¯c is also closed for all degrees. In
particular, we have
L2(p,n) (Ω− ) = Range(∂¯c ) ⊕ Ker(ϑ).
Here we only need the boundary Ω− to be Lipschitz smooth (see [CS2] for details).
This gives that
For a proof of the equivalence of (2.5) and (2.6), see the proof Proposition 5 in
[CS2].
¯
In this case, f can be extended to be ∂-closed form F where
f, z ∈ Ω,
F = ˜
f − u, z ∈ Ω− .
¯ = 0 in Ω1 and F = f on Ω. The form F is in L2
It follows that ∂F (p,n−1) (Ω1 ) but F
is in W (Ω) since F = f on Ω. Since we assume that the boundary Ω1 is C 2 , we can
1
−
Theorem 3.1. Let Ω ⊂⊂ Cn be the annulus domain Ω = Ω1 \ Ω between two
pseudoconvex domains Ω1 and Ω− and Ω− ⊂⊂ Ω1 , n ≥ 2. We assume that the
boundary of Ω− is C 2 smooth. Then we have the isomorphism:
(3.1) H (p,n−1) (Ω) H (n−p,0) (Ω− ).
Furthermore, if we assume that Ω has C 2 smooth boundary, then we have the iso-
morphism:
(p,n−1)
(3.2) HW 1 (Ω) H (p,n−1) (Ω).
Let h1 = h ∧ ∂ρ. ¯ The form h1 is a (p, n − 1)-form on Ω− and it has boundary
value in W (bΩ− ). We denote the restriction of h1 to bΩ− by
− 12
(3.5) h − = B − hb = B(ζ, z) ∧ hb , z ∈ Ω− .
bΩ−
(3.6) ¯ +.
h+ = ∂u
Let h− be defined by by (3.5). Since Ω− is pseudoconvex, we have
(3.7) h− = ∂u
¯ −
8168 MEI-CHI SHAW*
for some u− ∈ L2(p,n−2) (Ω− ). It follows from (3.6) and (3.7) that that for each
(Ω− ),
(n−p,0)
g ∈ HW 1
− ¯ − ) ∧ g = 0.
¯ + − ∂u
hb ∧ g = (h − h ) ∧ g =
+
(∂u
bΩ− bΩ− bΩ−
Since the functional vanishes on a dense subspace, hb must be zero. This proves
that h = 0 if l+ h = [h+ ] = 0. Thus l+ is one to one.
To show that l+ is onto, take an element F ∈ L2(p,n−1) (Ω) such that ∂F ¯ = 0.
For simplicity, we assume that p = n. We will construct a holomorphic function
h in L2 (Ω) such that l+ h = F . Note that from Theorem 1.4, any element [F ] can
be represented by a harmonic form and we may assume that F is in H(n,n−1) (Ω).
¯ = ∂¯∗ F = 0. It follows that F has boundary value with W − 12 -
This implies that ∂F √
coefficients. Choose a special orthonormal frame field basis w1 , · · · , wn = 2∂ρ¯ for
(1, 0)-forms. Then near the boundary F written in the special orthonormal frame
fields as
n
F = Fi (dV w̄i )
i=1
where dV = w1 ∧ w̄1 . . . wn ∧ w̄n is the volume element. Using
1 1
w̄n = wn = dρ = dσ
2 2
on bΩ− , we have
1
F |bΩ− = Fn dV w̄n |bΩ− = Fn dσ,
2
where dσ is the surface element on bΩ− .
We claim that F̄n is a CR distribtution on bΩ− . To see this, note that ∂¯ F = 0
since ϑF = 0. Restricted to the boundary, this implies that ∂¯F̄n ∧ w̄n = 0 on bΩ− .
Thus F̄n is a CR distribution in W − 2 (bΩ− ). Let h = F̄n be the holomorphic
1
Corollary 3.2. Let Ω be the same as Theorem 3.1. Each element f in the
harmonic space H(p,n−1) (Ω) can be represented by some h+ , where h is a harmonic
form in L2(n−p,0) (Ω− ). We have the following representation for the harmonic space
Proof. We have proved that for every f ∈ H(p,n−1) (Ω), we can write f =
¯ for some holomorphic h in L2 −
h∂ρ = h̄ ∂ρ (n−p,0) (Ω ). On the other hand, any
h ∈ H(n−p,0) (Ω− ), the associated B + (hb ) = h+ is in L2(p,n−1) (Ω). The form h+ is
¯
automatically ∂-closed. To see that it is in the domain of ∂¯∗ and ∂¯∗ h̄+ = 0, we
repeat the arguments before and the corollary is proved.
Remarks:
(1) All the results can be extended to any annulus between two pseudoconvex
domains in a Stein manifold with trivial modification. It can also be applied
to an annulus between two pseudoconvex domains in complex manifolds if
¯
one has the existence and the W 1 regularity of the ∂-Neumann operator on
−
the pseudoconvex domain Ω . We refer the reader to some related results
in [HI] (see also [CaS] and [CS1] and [CS2]).
(2) If we assume that the boundary is C ∞ smooth, we can also have the
(p,n−1)
isomorphism between H (p,n−1) (Ω) and HW k (Ω) for all k following the
same proof.
¯
4. The null space for the ∂-Neumann operator between balls
When the domain Ω = {z ∈ Cn | 0 < R0 < |z| < R1 } is the annulus between
two balls centered at 0, the harmonic space H(0,n−1) has been computed explicitly
in Hörmander (see equation (2.3) in [Hör2]). He proved that any (0, n − 1)-form
¯
f is in the null space of the ∂-Neumann operator if and only if
n
j z̄j z̄
(4.1) f= (−1) h dz̄1 ∧ · · · ∧ dz̄j−1 ∧ dz̄j+1 ∧ · · · ∧ dz̄n ,
1
|z|2n |z|2
where [dζ̄j ] denote the (n, n − 1)-form dV dζ̄j . It is easy to see that
⎛ ⎞
ζ̄j
∂¯ ⎝ [dζ̄j ]⎠ = 0, ζ
= 0.
j
|ζ|2n
170
10 MEI-CHI SHAW*
We also have
⎛ ⎞
∂h δjk
ζ̄ ζ̄ ζ̄k ζj ζ̄j
∂¯ ⎝h ⎠
j
∧ [dζ̄ j ] = − dV
|ζ| 2
j
|ζ| 2n
j
∂wk |ζ|2 |ζ| 4 |ζ|2n
k
∂h ζ̄k ζ̄k
= − 2 dV = 0.
∂wk |ζ|2 |ζ|
k
(4.3) ¯
2 +
∂¯∗ f
2 .
max (n − 2, 1)
f
2 ≤ R12
∂f
Notice that the constant in (4.3) is independent of the inner diameter R0 . It is not
known if one can have such estimates on the more general annulus between two
pseudoconvex domains.
References
[BB] Bell, S. R. and Boas, H. P., Regularity of the Bergman projection and duality of holo-
morphic function spaces, Math. Ann. 267 (1984), 473-478.
[Boa] Boas, H. P., The Szegö projection: Sobolev estimates in regular domains, Trans. Amer.
Math. Soc., 300 (1987), 109–132.
[BS] Boas, H. P. and Shaw, M.-C., Sobolev Estimates for the Lewy Operator on Weakly
pseudo-convex boundaries, Math. Annalen 274 (1986), 221-231.
[BSt] Boas, H. P., and Straube, E. J., Sobolev estimates for the ∂-Neumann operator on
domains in Cn admitting a defining function that is plurisubharmonic on the boundary,
Math. Zeit., 206 (1991), 81–88.
[CaS] ¯
J. Cao and M.-C. Shaw, The ∂-Cauchy problem and nonexistence of Lipschitz Levi-flat
hypersurfaces in CP n with n ≥ 3, Math. Zeit. 256 (2007), 175-192.
[CS1] D. Chakrabarti and M.-C. Shaw, The Cauhcy-Riemann equations on product domains,
To appear in Math. Annalen (on line July 27, 2010).
[CS2] D. Chakrabarti and M.-C. Shaw, L2 Serre duality on domains in complex manifolds
with applications, To appear in Trans. Amer. Math. Society..
[CS] Chen, S.-C. and Shaw, M.-C., Partial Differential Equations in Several Complex Vari-
ables, American Math. Society-International Press, Studies in Advanced Mathematics,
Volume 19, Providence, R.I., 2001.
[Fo] Folland, G. B., The tangential Cauchy-Riemann complex on spheres, Trans. Amer. Math.
Society 171 (1972), 83-133.
[FK] Folland, G. B. and Kohn, J. J., The Neumann Problem for the Cauchy-Riemann Com-
plex, Ann. Math. Studies 75, Princeton University Press, Princeton, N.J., 1972.
[Gr] Grisvard, P., Elliptic Problems in Nonsmooth Domains, Pitman, Boston, 1985.
[Ha] Harrington, P.S., Sobolev Estimates for the Cauchy-Riemann Complex on C 1 Pseudo-
convex Domains, Math. Z. 262 (2009), 199-217.
[HI] Henkin, G. M. and Iordan, A., Regularity of ∂¯ on pseudoconcave compacts and appli-
cations, (see also Erratum: Asian J. Math., vol 7, (2003) No. 1, pp. 147-148), Asian J.
Math. 4 (2000), 855-884.
[Hör1] Hörmander, L., L2 estimates and existence theorems for the ∂¯ operator, Acta Math. 113
(1965), 89-152.
[Hör2] Hörmander, L., The null space of the ∂-Neumann operator, Ann. Inst. Fourier (Grenoble)
54 (2004), 1305-1369.
DUALITY BETWEEN HARMONIC AND BERGMAN SPACES 171
11
[Hor] ¯
Hortmann, M., Über die Lösbarketi der ∂-Giechung mit Hilfe von Lp , C k , und D -
stetigen Integraloperatoren, Math. Ann. 223 (1976), 139-156.
[Ko1] Kohn, J.J., Harmonic integrals on strongly pseudoconvex manifolds, I, Ann. of Math.
78 (1963), 112-148.
[Ko2] Kohn, J. J., Global regularity for ∂ on weakly pseudoconvex manifolds, Trans. Amer.
Math. Soc., 181 (1973), 273–292.
[Ko3] Kohn, J.J., The range of the tangential Cauchy-Riemann operator, Duke Math. Journ.
53 (1986), 525-545.
[KoR] Kohn, J. J., and Rossi, H., On the extension of holomorphic functions from the boundary
of a complex manifold, Ann. Math., 81 (1965), 451-472.
[LM] Lions, J.-L., and Magenes, E., Non-Homogeneous Boundary Value Problems and Appli-
cations, Volume I, Springer-Verlag, New York, 1972.
[MS] ¯
Michel, J., and Shaw, M.-C., Subelliptic estimates for the ∂-Neumann operator on piece-
wise smooth strictly pseudoconvex domains, Duke Math. J., 93 (1998), 115–128.
[Ra] Range, R. M., Holomorphic Functions and Integral Representations in Several Complex
Variables, Graduate Texts in Math.,Vol.108, Springer-Verlag, N.Y., 1986.
[Sh1] Shaw, M.-C., Global solvability and regularity for ∂ on an annulus between two weakly
pseudoconvex domains, Trans. Amer. Math. Soc., 291 (1985), 255-267.
[Sh2] Shaw, M.-C., L2 estimates and existence theorems for the tangential Cauchy-Riemann
complex., Invent. Math. 82 (1985), 133-150.
[Sh3] Shaw, M.-C., L2 estimates and existence theorems for ∂ b on Lipschitz boundaries, Math.
Zeit. 244 (2003), 91-123.
[Sh4] M.-C. Shaw, The closed range property for ∂ on domains with pseudoconcave boundary,
Proceedings for the Fribourg conference, Trends in Mathematics (2010), 307-320.
François Treves
Contents
1. Generalities about Differential Operators of Principal Type 173
2. Local Solvability of Smooth Vector Fields 175
3. Complex Vector Fields in Two Dimensions 181
4. Complex Vector Fields Hypoelliptic off their Critical Points 185
5. Quasi-Elliptic Vector Fields 188
6. Problems and Possible Directions of Further Research 195
References 195
2011
c 0000
c Mathematical
American (copyright Society
holder)
1
173
174
2 FRANÇOIS TREVES
(U, x1 , ..., xn ), in which case ξ1 , ..., ξn stand for the coordinates with respect to the
basis dx1 , ..., dxn in the cotangent spaces at the points of U.
We begin by recalling some terminology and results from the general theory of
linear PDE.
Let P be a linear partial differential operator with complex coefficients of class
C ∞ in M, of order m. In the local chart (U, x1 , ..., xn ),
(1.1) P = P (x, ∂) = cα (x) ∂xα ,
|α|≤m
2.2. Vector fields of principal type. The linear part. Let the local chart
(U, x1 , ..., xn ) be centered at ℘ ∈ CritL (meaning that xj = 0 at ℘, j = 1, ..., n).
We have, in U,
n
(2.1) L= aj (x) ∂xj
j=1
ON THE SOLVABILITY AND HYPOELLIPTICITY OF COMPLEX VECTOR FIELDS 177
5
−1
with aj ∈ C ∞ (U) and aj (0) = 0 for all j. In π ∗ (U) the principal symbol of L is
the linear functional with respect to ξ,
n
(2.2) σ (L) (x, ξ) = aj (x) ξj
j=1
and therefore
(2.3) dσ (L) ∧ τ = σj,k (x, ξ) dxj ∧ dxk ,
1≤j<k≤n
∂a
where aj,k = ∂xkj (0). We might want to view (2.6) as a vector field in U, in which
case L − L℘ vanishes to second order at ℘. From this standpoint changing the
coordinates xj might result in an expression of L℘ whose coefficients are not any
more linear. Not so if we view L℘ as a vector field in T℘ M and if we associate to
a change of coordinates in U the tangent linear transformation in T℘ M. In this
sense the following definition is coordinate-free.
Definition 2. We shall refer to the vector field L℘ in T℘ M as the linear
part of L at the critical point ℘.
We deduce immediately from (2.4) and (2.6):
Proposition 4. For L to be of principal type at a point ℘ ∈ CritL it is
necessary and sufficient that L℘ be of principal type at every point of T℘ M.
Corollary 1. For L to be of principal type in M it is necessary and sufficient
that L℘ be of principal type at every point of T℘ M whatever ℘ ∈ CritL.
Let us continue to reason within the local frame (U, x1 , ..., xn ) centered at the
critical point ℘. Let A (x) stand for the Jacobian matrix with entries ai,j (x) =
∂ai
∂xj (x); A (x) will stand for the transpose of A (x). With this notation we can
rewrite (2.4) as follows:
(2.7) σj,k (x, ξ) = A (x) ξ j ξk − A (x) ξ k ξj .
We see that the quantities σj,k are the components of the 2-covector ξ ∧ A (x) ξ.
We can state
Proposition 5. For L to be of principal type at a critical point x ∈ U it is
necessary and sufficient that the complex matrix A (x) not have any real eigenvec-
tor.
In particular, if L is of principal type at a critical point x ∈ U then the null
space of A (x) in Rn reduces to {0}. This does not mean that det A (x) = 0, as
shown by the example L = z∂z̄ in the plane.
The proofs of the claims in the exemples that follow are left to the reader. They
are direct applications of Proposition 5.
Example 1. The rotation vector field ∂θ = x1 ∂x2 − x2 ∂x1 in R2 is of principal
type.
A complex vector field L can be of principal type and still have a critical set
that is a submanifold of positive dimension, as shown in the following
Example 2. The vector field in R3 ,
(2.8) L = x1 ∂x2 − x2 ∂x1 + ix1 ∂x3
is of principal type in R (by Proposition 5).
3
A vector field L can be of principal type and still have a highly singular critical
set, as shown in the following
Example 3. Let F be an arbitrary closed subset of R and let ϕ ∈ C ∞ (R)
vanish to infinite order on F and not vanish anywhere in the complement of F .
The vector field in R3 ,
(2.9) L = x1 ∂x2 − x2 ∂x1 + (ix1 + ϕ (x3 )) ∂x3
is of principal type in R3 [The linear part of (2.9) at points of F is equal to (2.8).]
ON THE SOLVABILITY AND HYPOELLIPTICITY OF COMPLEX VECTOR FIELDS 179
7
The set CritL may have singularities even if L is of class C ω and of principal
type:
Example 4. The vector field in R4 ,
L = x1 ∂x2 − x2 ∂x1 + x23 − x34 + ix1 ∂x3 + x23 − x34 − ix2 ∂x4 ,
is of principal type at 0. We have
Proof. If (2.10) is not of principal type m (L) must have a real eigenvector
and therefore also a real eigenvalue.
Theorem 4 can be generalized slightly (see [Treves, 2009]):
Theorem 5. Let the the vector field (2.10) have complex coefficients aj,k . If
L ∧ L vanishes identically then the properties (a), (b), (c) in Theorem 4 are
equivalent.
To say that L ∧ L vanishes identically is the same as saying that each L-leaf is
either a critical point or an orbit. It is not the same as saying that L = ζX where
X is a real vector field and 0 = ζ ∈ C. Example: L = (x1 + ix2 ) ∂x1 in R2 .
Note that, when L is the vector field (2.10), CritL is the vector subspace of
Rn defined by the equations nj=1 aj,k xj = 0, k = 1, ..., n. In this connection the
following observation is of interest:
Proposition 8. Suppose that the real vector field (2.10) is of principal type,
in which case CritL = {0}. For L not to be locally solvable at 0 it is necessary and
sufficient that the dimension n be an even number and that each point x◦ ∈ Rn \ {0}
lie in an n-dimensional torus Tx◦ ⊂ Rn \ {0} whose geodesics are orbits of L.
Proof. Suppose (2.10) is of principal type; then CritL = {0} by Remark 2. If
the dimension n were an odd number the real matrix A would perforce have a real
eigenvector, negating the principal type hypothesis on L according to Proposition
5. Every eigenvalue of A must be purely imaginary and thus different from zero,
implying that the torii Tx◦ have maximum dimension n.
Theorem 4 suggests a natural conjecture concerning the local solvability of
complex linear vector fields:
Conjecture 1. Let L be given by (2.10) with complex coefficients aj,k . For L
not to be locally solvable at the origin it is necessary and sufficient that one of the
following conditions be satisfied:
(1) L is not locally solvable in Rn \CritL; or
(2) to each open neighborhood U of 0 there is another open neighborhood V ⊂ U
of 0 such that every L-leaf in V\ (V ∩ CritL) has compact closure con-
tained in U\U ∩ CritL.
The conjecture is true when n = 2, as proved in [Treves, 2009], where a
different necessary and sufficient condition for local solvability is given. We explain
this in the next subsection.
Remark 4. An interesting question is whether there is a group-theoretical for-
mulation of Property 2 in Conjecture 1, of the type: the one-parameter subgroup
R
t → exp tζm (L) has compact closure in GL (n, C) where m (L) = (aj,k )1≤j,k≤n
and 0 = ζ ∈ C is suitably chosen.
In the sequel we refer to vector fields (2.10) with aj,k ∈ C as linear vector
fields. Of course, L need not be linear for the local version of Conjecture 1 to make
sense:
Conjecture 2. Let L be a C ∞ complex vector field in the C ∞ manifold M
and let ℘ ∈ CritL. For L not to be locally solvable at the origin it is necessary and
sufficient that one of the following conditions be satisfied:
ON THE SOLVABILITY AND HYPOELLIPTICITY OF COMPLEX VECTOR FIELDS 181
9
2
(3.2) L℘ = aj,k xk ∂xj , aj,k ∈ C.
j,k=1
In polar coordinates r = x21 + x22 , θ = arg (x1 + ix2 ) we have
(3.3) L℘ = Q (θ) r∂r − A (θ) ∂θ ,
with the notation
(3.4) Q (θ) = a1,1 cos2 θ + a2,2 sin2 θ + (a1,2 + a2,1 ) cos θ sin θ,
(3.5) A (θ) = a1,2 sin2 θ + (a1,1 − a2,2 ) cos θ sin θ − a2,1 cos2 θ.
Note that both (3.4) and (3.5) are periodic functions of period π; they are related
to each other:
(3.6) 2Q (θ) = div L℘ + ∂θ [A (θ)] .
Going back to the definition of vector fields of principal type we see that, when
n = 2,
(3.7) dσ (L) ∧ τ = σ1,2 (x, ξ) dx1 ∧ dx2 ,
The critical set of a linear vector field L (assumed not to vanish everywhere) is
either {0}, when L is of principal type, or a straight-line through the origin, when
L is not of principal type. The class of linear vector fields of principal type can
be further subdivided into two distinct subtypes, called (IN-E) and (OUT-E)
respectively in [Treves, 2009], depending on whether the origin in the plane lies
“inside” or “outside” the convex hull of the ellipse E. Again according to Theorem 6,
[Treves, 2009], the linear vector field L is of type (IN-E) if and only if K (π) = 0.
ON THE SOLVABILITY AND HYPOELLIPTICITY OF COMPLEX VECTOR FIELDS 183
11
It ensues from this and from (3.13) that the Meziani invariant of L is equal to ±1 if L
is of type (IN-E) and to (div L) K (π) if L is of type (OUT-E). In [Treves, 2009]
the value ∞ was assigned to the Meziani invariant of a linear vector field in the
plane that is not of principal type.
Theorem 6. Let L be a linear vector field in the plane which is locally solvable
in R2 \CritL. The following properties are equivalent:
(1): L is not locally solvable at the origin;
(2): L ∧ L vanishes identically and L is not locally solvable at the origin (cf.
Theorem 5);
(3): the origin is an isolated critical point of L and the Meziani invariant
of L at the origin vanishes;
(4): L is of principal type (OUT-E) and div L = 0.
A moment of thought shows that Theorem 6 agrees with Conjecture 1.
Remark 5. An interesting question related to Conjecture 1 in higher dimen-
sions is what should replace the Meziani invariant.
3.3. Cauchy formulas for linear vector fields of principal type in R2 .
We continue to look at a linear vector field (3.14). We assume that L is of principal
type and therefore the origin is the unique critical point of L, to which we can
attach the Meziani number of L, μ (L). We shall make use of the quadratic form
(3.15) (x1 , x2 ) = r 2 A (θ) = −a2,1 x2 + (a1,1 − a2,2 )x1 x2 + a1,2 x2
A 1 2
We compute
(x1 , x2 )−1 Lϕ (x1 , x2 ) dx1 dx2 =
A
x21 +x22 >ε2
2π ∞
A (θ)−1 r −1 Lϕ (r cos θ, r sin θ) drdθ =
0 ε
2π ∞
1 −1
(div L + A (θ)) A (θ) ∂r ϕ (r cos θ, r sin θ) drdθ
2 0 ε
2π ∞
− r −1 ∂θ ϕ (r cos θ, r sin θ) drdθ =
0 ε
2π ∞
1 −1
(div L + A (θ)) A (θ) ∂r ϕ (r cos θ, r sin θ) drdθ =
2 0 ε
2π
1
− (div L + A (θ)) A (θ)−1 ϕ (ε cos θ, ε sin θ) dθ
2 0
after integration by parts. We see that, as ε > 0 converges to zero, the integral
A (x1 , x2 )−1 Lϕ (x1 , x2 ) dx1 dx2
x21 +x22 >ε2
converges to
2π
1
− ϕ (0, 0) (div L + A (θ)) A (θ)−1 dθ,
2 0
whence the claim by (3.13).
∞
To rephrase (3.18): we have, for all ϕ ∈ Cc R , 2
−1 (x1 , x2 )−1 Lϕ (x1 , x2 ) dx1 dx2 .
(3.19) ϕ (0, 0) = lim A
2iπμ (L) ε→+0 x21 +x22 >ε2
Proof. If 2i 1
L ∧ L were to vanish identically in some open set A ⊂ A then A
would be foliated by the orbits of L in A and L could not be hypoelliptic in A by
Proposition 14.
TL1,0 (S\CritL) is orthogonal to VL (for the duality between tangent vectors and
covectors) and TL0,1 (S\CritL) is orthogonal to VL . This amounts to viewing L as
(proportional to) the Cauchy-Riemann operator ∂ . The splitting (4.2) yields the
Dolbeault splitting of the cohomology:
1
L℘ ∧ L℘ = |A (θ)| ω (θ) ∂θ ∧ r∂r
2
(4.4)
2i
with ω given in (3.20). Below we deal with a primitive ω of ω defined in R.
Proposition 16. For L℘ to be elliptic in R2 \ {0} it is necessary and sufficient
that ω (θ) = 0 for all θ ∈ R.
Proof. Ensues directly from (4.4).
a1,1 a1,2
Remark 7. Ellipticity of L℘ in R2 \ {0} does not preclude that det =
a2,1 a2,2
0. Examples: L = (x1 ± ix2 ) (∂x1 ∓ i∂x2 ).
Proposition 17. For L℘ to be hypoelliptic in R2 \ {0} it is necessary and suf-
ficient that ω not vanish identically and not change sign.
Proof. From (4.4) we derive that if ω ≡ 0 then R2 \ {0} is foliated by the
orbits of L℘ . Proposition 14 enables us to conclude.
Corollary 7. For L℘ to be hypoelliptic in R2 \ {0} it is necessary and suffi-
cient that a primitive ω of (3.20) be strictly monotone in R.
“Strictly” because the zeros of ω are isolated.
Going back to (3.13) we can relate the function (??), or rather its primitive in
R, to the Meziani number μ℘ (L):
(4.5) π−ε
1 1 A (θ)
lim (ω (π − ε) − ω (0)) = Re (K (π) div L℘ )+ Im dθ = Re μ℘ (L) .
π ε−→+0 2π 0 A (θ)
This allows us to state:
Proposition 18. If L℘ is hypoelliptic in R2 \ {0} then Re μ℘ (L) = 0.
does not vanish at any point of R2 \ {0}. On the other hand, we have
1
(5.2) L ∧ L = Im a1 (x1 , x2 ) a2 (x1 , x2 ) ∂x ∧ ∂x2 .
2i
We derive from the nonvanishing of (5.2) that, for some positive constants c◦ ,
C and all points in U\ {0},
3
(5.3) |Im (a1 (x1 , x2 ) ā2 (x1 , x2 ))| ≥ c◦ x21 + x22 − C x21 + x22 2
whence the claim.
Thus, in studying the vector field L in some suitably small open neighborhood
of the critical point ℘, for many purposes we may assume that L = L◦ where
Remark 8. Note that the vector fields (5.5) and (5.6) might differ from the
vector fields L in a noteworthy respect: their divergence at the critical point ℘ is
equal to −2iμ℘ (L), possibly different from that of L. The discrepancy lies with the
proportionality factor A (r, θ)−1 . Consider, for instance, the divergence-free planar
vector field z∂z̄ = 12 e2iθ (r∂r + i∂θ ): here A (θ) = 2i
1 2iθ
e ; Property (IN-E) is valid
and μ0 (L◦ ) = 1. The corresponding form (5.6) is r∂r + i∂θ whose divergence is
equal to 2. The example z∂z̄ is also noteworthy for the property that the factor
−1
A (θ) does not even define a continuous function at the origin in R2 .
Proposition 21. Let ℘ ∈ S be a critical point of the quasi-elliptic C ∞ vector
field L. If div L = 0 at ℘ then the linear part L℘ satisfies (IN-E) and μ℘ (L) = ±1.
Proof. By Proposition 20 we know that L is of principal type. Our hypothesis
and (3.13) entail
1
μ℘ (L) = lim (arg A (π − ε) − arg A (0)) .
2π ε−→+0
It follows from Proposition 18 that μ℘ (L) = Re μ℘ (L) = 0. This is only possible if
the winding number of A (θ) at the origin is equal to ±2, whence the claim.
Lμ = (μ + 1)z∂z + (μ − 1) z̄∂z̄ .
Energy estimates that imply the local solvability (actually, the local L2 -solvability)
of quasi-elliptic vector fields can be proved by exploiting the normal forms in Lemma
1 (see Theorem 6, [Treves, 2010]):
5.2.1. Case μ℘ (L) ∈ C\Q. In this case we apply Formula (3.19) to the linear
vector field
(5.9) L◦ = −A (r, θ)−1 L = ∂θ − iμr∂r .
[cf. (5.5)]. The function (3.5) for L◦ is A◦ (θ) = −1; we are in the case (OUT-E)
(see remarks preceding Theorem 6) and K (π) = 12 i, div L◦ = −2iμ. We get, for
arbitrary ϕ ∈ Cc∞ (U),
1 drdθ
(5.10) ϕ (0, 0) = − lim L◦ ϕ ,
2πμ ε→+0 r>ε r
equivalent to
1 drdθ
(5.11) ϕ (℘) = lim A (r, θ)−1 Lϕ .
2πiμ ε→+0 r>ε r
One can regard (5.11) as the inhomogeneous Cauchy formula for the vector field L
when μ ∈ C\Q.
Formula (??) yields here the mean value formula
2π
1
(5.12) h (℘) = h (R, θ) dθ
2π 0
if h ∈ C 1 (U) satisfies Lh = L◦ h = 0 in U (assuming ΔR ⊂⊂ U).
Keep in mind that Re μ = 0 when L is quasi-elliptic (by Proposition 18). A
first integral of L is given by
1
r μ exp (iθ) if Re μ > 0,
(5.13) Z℘ (r, θ) =
r − μ exp (−iθ) if Re μ < 0;
1
If ε > 0 is sufficiently small there is a function ζ℘ ∈ C (Δε ) such that r∂r ζ℘ ∈ C (Δε )
and
(5.15) L◦ ζ℘ = ir q b, ζ℘ (0) = 0.
Proof. Let ϕ (r, θ) ∈ Cc∞ (Δε ) be arbitrary (with ε to be chosen later); since
(L◦ ϕ) (0, 0) = 0 we obtain
2π +∞
−2 drdθ
r (1 + r∂r ζ℘ ) , L◦ ϕ = (1 + r∂r ζ℘ ) L◦ ϕ
0 0 r
2π ∞
drdθ
= lim (1 + r∂r ζ℘ ) L◦ ϕ .
ε−→+0 0 ε r
We have
2π ∞ 2π ∞
drdθ drdθ
(1 + r∂r ζ℘ ) L◦ ϕ = (1 + r∂r ζ℘ ) ϕθ
0 ε r 0 ε r
2π ∞
−i μ + r q b (1 + r∂r ζ℘ ) ϕr drdθ =
0 ε
2π ∞ drdθ
− ϕ L◦ (r∂r ζ℘ ) − i (1 + r∂r ζ℘ ) r∂r r q b
0 ε r
2π
+i μ + εq b (ε, θ) (1 + ε∂r ζ℘ (ε, θ)) ϕ (ε, θ) dθ.
0
194
22 FRANÇOIS TREVES
∂θ Z℘
(5.23) = i + μ−1 ∂θ ζ℘ = i 1 + μ−1 r q b (1 + r∂r ζ℘ ) .
Z℘
We conclude that (5.20) is nothing else but the Cauchy formula (5.14) for the choice
(5.21) of Z℘ . If μ < 0 we must replace μ−1 by −μ−1 in (5.21).
The first integrals (5.13) and (5.21) prove that quasi-elliptic vector fields verify
Conjecture 3:
Theorem 9. A quasi-elliptic vector field on the surface S is not hypoelliptic at
any one of its critical points
ON THE SOLVABILITY AND HYPOELLIPTICITY OF COMPLEX VECTOR FIELDS 195
23
References
[Beals-Fefferman, 1973] Beals, R. and Fefferman, C. On local solvability of lin-
ear partial differential equations, Ann. of Math. 97
(1973), 482-498.
[Bergamasco-Cordaro-Petronilho, 2004] Bergamasco, A. P., Cordaro P. D. and Petronilho, G.
Global solvability for a Class of Complex Vector Fields
on the Two Torus, Communications in P. D. E. 29
(2004), 785-819.
196
24 FRANÇOIS TREVES
523 Aiden A. Bruen and David L. Wehlau, Editors, Error-correcting codes, finite
geometries and cryptography, 2010
522 Oscar Garcı́a-Prada, Peter E. Newstead, Luis Álverez-Cónsul, Indranil Biswas,
Steven B. Bradlow, and Tomás L. Gómez, Editors, Vector bundles and complex
geometry, 2010
521 David Kohel and Robert Rolland, Editors, Arithmetic, geometry, cryptography and
coding theory 2009, 2010
520 Manuel E. Lladser, Robert S. Maier, Marni Mishna, and Andrew Rechnitzer,
Editors, Algorithmic probability and combinatorics, 2010
519 Yves Félix, Gregory Lupton, and Samuel B. Smith, Editors, Homotopy theory of
function spaces and related topics, 2010
518 Gary McGuire, Gary L. Mullen, Daniel Panario, and Igor E. Shparlinski,
Editors, Finite fields: Theory and applications, 2010
517 Tewodros Amdeberhan, Luis A. Medina, and Victor H. Moll, Editors, Gems in
experimental mathematics, 2010
516 Marlos A.G. Viana and Henry P. Wynn, Editors, Algebraic methods in statistics
and probability II, 2010
515 Santiago Carrillo Menéndez and José Luis Fernández Pérez, Editors,
Mathematics in finance, 2010
514 Arie Leizarowitz, Boris S. Mordukhovich, Itai Shafrir, and Alexander J.
Zaslavski, Editors, Nonlinear analysis and optimization II, 2010
513 Arie Leizarowitz, Boris S. Mordukhovich, Itai Shafrir, and Alexander J.
Zaslavski, Editors, Nonlinear analysis and optimization I, 2010
512 Albert Fathi, Yong-Geun Oh, and Claude Viterbo, Editors, Symplectic topology
and measure preserving dynamical systems, 2010
511 Luise-Charlotte Kappe, Arturo Magidin, and Robert Fitzgerald Morse, Editors,
Computational group theory and the theory of groups, II, 2010
510 Mario Bonk, Jane Gilman, Howard Masur, Yair Minsky, and Michael Wolf,
Editors, In the Tradition of Ahlfors-Bers, V, 2010
509 Primitivo B. Acosta-Humánez and Francisco Marcellán, Editors, Differential
algebra, complex analysis and orthogonal polynomials, 2010
508 Martin Berz and Khodr Shamseddine, Editors, Advances in p-Adic and
non-archimedean analysis, 2010
507 Jorge Arvesú, Francisco Marcellán, and Andrei Martı́nez-Finkelshtein, Editors,
Recent trends in orthogonal polynomials and approximation theory, 2010
506 Yun Gao, Naihuan Jing, Michael Lau, and Kailash C. Misra, Editors, Quantum
affine algebras, extended affine Lie algebras, and their applications, 2010
505 Patricio Cifuentes, José Garcı́a-Cuerva, Gustavo Garrigós, Eugenio Hernández,
José Marı́a Martell, Javier Parcet, Alberto Ruiz, Fernándo Soria, José Luis
Torrea, and Ana Vargas, Editors, Harmonic analysis and partial differential equations,
2010
504 Christian Ausoni, Kathryn Hess, and Jérôme Scherer, Editors, Alpine
perspectives on algebraic topology, 2009
503 Marcel de Jeu, Sergei Silvestrov, Christian Skau, and Jun Tomiyama, Editors,
Operator structures and dynamical systems, 2009
502 Viviana Ene and Ezra Miller, Editors, Combinatorial Aspects of Commutative
Algebra, 2009
501 Karel Dekimpe, Paul Igodt, and Alain Valette, Editors, Discrete groups and
geometric structures, 2009