Professional Documents
Culture Documents
7647tp.indd 1
2/21/11 4:55 PM
Stefan P Ivanov
University of Sofia St Kliment Ohridski, Bulgaria
Dimiter N Vassilev
The University of New Mexico, USA
World Scientific
NEW JERSEY
7647tp.indd 2
LONDON
SINGAPORE
BEIJING
SHANGHAI
HONG KONG
TA I P E I
CHENNAI
2/21/11 4:55 PM
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
ISBN-13 978-981-4295-70-3
ISBN-10 981-4295-70-1
Printed in Singapore.
1/12/2011, 2:31 PM
16:12
Preface
These lecture notes grew out of our work on the quaternionic contact Yamabe problem and in particular the cases of the quaternionic Heisenberg
group and the quaternionic contact sphere. Similarly to its Riemannian
and CR counterparts the complete understanding of the problem requires
a number of beautiful and powerful techniques. Unlike the Riemannian
and CR cases, the solution of the quaternionic contact Yamabe problem
has yet to be achieved. Nevertheless, our eorts have been rewarded with
a complete solution on the seven dimensional quaternionic contact sphere
and quaternionic Heisenberg group. We have also determined the quaternionic contact Yamabe constant of the quaternionic contact sphere of any
dimension and all functions achieving this constant. More importantly, the
quaternionic contact Yamabe problem led to some new ideas and geometric
structures that are interesting on their own. Some of these developments
will nd a place in this book, such as the quaternionic contact conformal
tensor and the qc-Einstein structures since both are crucial for the solution
of the quaternionic contact Yamabe problem. The book presupposes the
paper [94] from which we borrow a number of fundamental results without
supplying their proofs. On the other hand, we leave out completely some
results of [94] concerning anti-regular, quaternionic pluriharmonic and antiCRF functions (see also [154], [156], [138; 139], [140], [43], [44], [123], [12],
[86], [5; 6; 7], [8]), pseudo-Einstein strictures, and innitesimal automorphisms of quaternionic contact manifolds.
The Yamabe problem arouse from two questions, one coming from the
area of geometry, the other from the area of analysis. Yamabe [174] considered conformal transformations, i.e., transformations that preserve angles,
of a Riemannian metric on a given compact manifold M to one with a
constant scalar curvature. The existence of such conformal deformation
ws-book
vi
16:53
ws-book
2/2
u2 dvg
M
which led him to consider the inmum of this functional thereby dening
the so called Yamabe constant of the conformal class
def
j (|u|p2 j u) = |u|p
u,
u C (Rn ),
(0.2)
j=1
Rn
Co
16:53
ws-book
vii
Preface
of the smallest constant Sp for which the equality in (0.3) holds true. Of
course, this was Talentis motivation to consider (0.2).
In the case of the standard sphere, using the stereographic projection an example of a conformal transformation, the description of all Yamabe
metrics on the round sphere is equivalent to the above question on Rn in
the L2 case (p = 2). The solution of this special case is an important
step in solving the general Yamabe problem, the solution of which in the
case of a compact Riemannian manifold was completed in the 80s after the
work of T. Aubin [14; 15; 16; 17] and R. Schoen [149], the latter using the
positive mass theorem of R. Schoen and S. T. Yau, see [122] for references
and history, see also [19].
More recently the CR Yamabe problem was studied, which is the problem of obtaining and classifying all contact forms of constant WebsterTanaka scalar curvature within a xed conformal class of contact forms
compatible with the given CR structure. The solution of the existence
part of the general CR problem is now complete in the case of a compact
CR manifold after the works of D. Jerison and J. Lee, [101] - [104], and
N. Gamara and R. Yacoub, [72], [73]. Similarly to the Riemannian case, all
contact forms conformal to the standard CR pseudo-hermitian structure on
the (2n + 1)-dimensional sphere in Cn that are of constant Tanaka-Webster
scalar curvature turn out to be minimizers of the corresponding CR Yamabe functional. The latter is dened with the help of the xed contact form
with Tanaka-Webster scalar curvature S as follows, [101],
)
( 2n+2
|u|2 + S u2 (d)n
n
M
(u) =
,
2 = 2n + 2,
(
)
2 (d)n 2/2
u
M
with Yamabe constant given by
def
viii
16:53
ws-book
Lu = u Q2 ,
u D 1,2 (G),
u 0,
(0.5)
where L is the sub-Laplacian on the group and Q is the homogeneous dimension of G. It is, up to a scaling, the Euler-Lagrange equation of the
variational problem associated with S2 (i.e., the L2 case), hence its positive
solutions are critical points of the natural functional. One consequence of
16:53
Preface
ws-book
ix
16:53
geometry was developed by O. Biquard [24]. Studying conformal boundaries at innity of quaternionic hyperbolic spaces O. Biquard introduced in
[24] the notion of quaternionic contact structure. In particular, a connection, referred to as the Biquard connection, suitable for handling geometric
questions in geometries modeled on the quaternionic Heisenberg group was
dened in [24]. The quaternionic contact Yamabe problem consists of nding in the conformal class of a given quaternionic contact structure one
with a constant scalar curvature of the Biquard connection and possibly
describing all such structures. Yet again, the question is of variational nature. Given a compact quaternionic contact manifold M with a xed conformal class dened by a quaternionic contact form [] and volume form
V ol (6.9) the Yamabe equation characterizes the non-negative extremals
of the constrained Yamabe functional dened by (see also (6.2))
)
(
n+2
(u) =
4
|u|2 + Scal u2 V ol ,
u2 V ol = 1, u > 0.
n+1
M
M
According to [168], and similarly to the Riemannian and CR Yamabe problems, the quaternionic contact Yamabe constant
def
(M ) = (M, []) = inf{(u) :
u2 V ol = 1, u > 0}
M
ws-book
16:53
Preface
ws-book
xi
xii
16:53
and 4.4.4 give a characterization of qc-Einstein structures using the fundamental four form dening the quaternionic contact structure.
In Chapter 5 we turn to the construction of a quaternionic contact conformally invariant curvature tensor, Denition 5.3.2, characterizing quaternionic contact structures which are locally quaternionic contact conformally
equivalent to the standard at quaternionic contact structure on the quaternionic Heisenberg group. We begin with a complete and slightly dierent
than [97] proof of the existence and invariance of the quaternionic contact
conformal curvature tensor discovered by the authors in [97]. We sketch the
proof of the quaternionic contact atness Theorem 5.3.5 leaving out some
of the computational details, which can be found in [97].
Chapter 6 begins with a brief background from [94] and in particular
Theorem 6.2.5 which determines all qc-Einstein structures conformal to
the standard quaternionic contact structure on the quaternionic Heisenberg group. Then we turn to the divergence formula of [95] supplying the
nal step in the proof of Theorem 6.1.2 which gives explicitly all solutions
of the quaternionic contact Yamabe equation on the seven dimensional
quaternionic Heisenberg group and seven dimensional quaternionic contact
sphere. We end the chapter with Theorem 6.1.1, based on [96], where we determine the sharp constant and all functions for which equality holds in the
L2 Folland-Stein inequality on the quaternionic Heisenberg group of any
dimension. Equivalently, we determine all functions achieving the Yamabe constant of the conformal class of the standard quaternionic contact
spheres. Nevertheless, this leaves open the quaternionic contact Yamabe
problem on the standard quaternionic contact spheres of dimension greater
than seven. Naturally, we expect that there are no other solutions besides
those with lowest energy, i.e., the known functions achieving the Yamabe
constant.
In Chapter 7 Theorem 7.3.5 we give a proof of the Cartan-Chern-Moser
result following the approach we took to derive the quaternionic contact
conformal curvature tensor thus presenting the new proof of the CartanChern-Moser theorem outlined in [99]. The reader should be aware that
the quaternionic contact case requires a considerable amount of calculations
while the details in the CR case are far less and reading of the CR case
before the quaternionic contact case might be useful.
ws-book
16:53
Acknowledgments
xiii
ws-book
February 9, 2011
9:19
ws-book
Contents
Preface
Acknowledgments
xiii
Part I - Analysis
1.1
1.2
1.3
1.4
1.5
1.6
Introduction . . . . . . . . . . . . . . . . . . . . . . . .
Carnot groups . . . . . . . . . . . . . . . . . . . . . .
Sobolev spaces and their weak topologies . . . . . . .
The best constant in the Folland-Stein inequality . . .
The best constant in the presence of symmetries . . .
Global regularity of weak solutions . . . . . . . . . . .
1.6.1 Global boundedness of weak solutions . . . . .
1.6.2 The Yamabe equation - C regularity of weak
solutions . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
5
10
16
28
31
31
. .
36
Introduction . . . . . . . . . . . . . . . . . . . . . . . .
Groups of Heisenberg and Iwasawa types . . . . . . . .
The Cayley transform, inversion and Kelvin transform
2.3.1 The Cayley transform . . . . . . . . . . . . . .
2.3.2 Inversion on groups of Heisenberg type . . . .
2.3.3 The Kelvin transform . . . . . . . . . . . . . .
xv
41
.
.
.
.
.
.
.
.
.
.
.
.
41
41
48
48
50
52
16:53
ws-book
xvi
2.4
63
Intoduction . . . . . . . . . . . . . . . . . . . . . . . . . .
The Hopf Lemma . . . . . . . . . . . . . . . . . . . . . . .
The partially symmetric solutions have cylindrical symmetry
Determination of the cylindrically symmetric solutions of
the Yamabe equation . . . . . . . . . . . . . . . . . . . . .
Solution of the partially symmetric Yamabe problem . . .
Applications. Euclidean Hardy-Sobolev inequalities . . . .
3.6.1 A non-linear equation in Rn related to the Yamabe
equation on groups of Heisenberg type . . . . . .
3.6.2 The best constant and extremals of the HardySobolev inequality . . . . . . . . . . . . . . . . .
Part II - Geometry
4.4
5.3
76
85
88
89
91
97
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Quaternionic contact structures and the Biquard connection 98
The curvature of the Biquard connection . . . . . . . . . . 110
4.3.1 The rst Bianchi identity and Ricci tensors . . . . 112
4.3.2 Local structure equations of qc manifolds . . . . . 117
4.3.3 The curvature tensor . . . . . . . . . . . . . . . . 119
4.3.4 The at model - The qc Heisenberg group . . . . 125
qc-Einstein quaternionic contact structures . . . . . . . . 129
4.4.1 Examples of qc-Einstein structures . . . . . . . . 130
4.4.2 Cones over a quaternionic contact structure . . . 131
63
64
68
95
56
Introduction . . . . . . . . . . . . . . . . . . . . .
Quaternionic contact conformal transformations .
5.2.1 The quaternionic Cayley transform . . .
qc conformal curvature . . . . . . . . . . . . . . .
139
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
139
140
145
147
16:55
ws-book
Contents
xvii
6.3
6.4
6.5
6.6
6.7
157
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . .
Some background . . . . . . . . . . . . . . . . . . . . . . .
6.2.1 The qc normal frame . . . . . . . . . . . . . . . .
6.2.2 Horizontal divergence theorem . . . . . . . . . . .
6.2.3 Conformal transformations of the quaternionic
Heisenberg group preserving the vanishing of the
torsion . . . . . . . . . . . . . . . . . . . . . . . .
Constant qc scalar curvature and the divergence formula .
Divergence formulas . . . . . . . . . . . . . . . . . . . . .
The divergence theorem in dimension seven . . . . . . . .
The qc Yamabe problem on the qc sphere and quaternionic
Heisenberg group in dimension seven . . . . . . . . . . . .
The qc Yamabe constant on the qc sphere and the best constant in the Folland-Stein embedding on the quaternionic
Heisenberg group . . . . . . . . . . . . . . . . . . . . . . .
Introduction . . . . . . . . . . . . . . . . . . . .
CR-manifolds and Tanaka-Webster connection
The Cartan-Chern-Moser theorem . . . . . . .
7.3.1 The three dimensional case . . . . . . .
157
159
159
161
162
165
169
174
179
181
191
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
191
191
193
204
Bibliography
207
Index
217
February 9, 2011
9:19
PART I
Analysis
ws-book
16:53
Chapter 1
1.1
Introduction
This chapter contains the core of the analysis side of the subject of the book.
The main topic is the sharp form of the Sobolev type embedding theorem
(1.1) established by Folland and Stein on Carnot groups, [65]. Let G be a
Carnot group of homogeneous dimension Q and p a constant, 1 < p < Q.
There exists a constant Sp = Sp (G) > 0 such that for u Co (G)
(
)1/p
(
)1/p
p
p
|u| dH
Sp
|Xu| dH
.
(1.1)
G
ws-book
16:53
ws-book
tions converging to an extremal will fail unless a more delicate analysis and
modication (by scaling and translating) of the sequence is performed. The
concentration-compactness principle of P. L. Lions, see [125], [126], will be
applied in Section 1.4 in the homogeneous setting of a Carnot group G to
prove that for any 1 < p < Q the best constant in the Folland-Stein
embedding (1.1) is achieved. This method does not allow an explicit determination of the best constant or the functions for which it is achieved, but
it allows us to see that for any 1 < p < Q the quasi-linear equation with
critical exponent,
Lp u =
Xj (|Xu|p2 Xj u) = up
in G,
(1.2)
j=1
def
I = inf
|Xu|p | u Co (G),
|u|p* = 1 .
(1.3)
G
is achieved on the space D 1,p (G), which is the closure of Co (G) with
respect to the norm
(
)1/p
p
u u o 1,p
=
|Xu| dH
.
(1.4)
D
(G)
Xj (|Xu|p2 Xj u) = |u|p
(1.5)
j=1
16:53
ws-book
j=1
1.2
(1.6)
Carnot groups
In this section we review some well known facts, see for example
[82; 65; 21; 68; 132; 27], and set-up some of the notation we will use
throughout the book.
A Carnot group is a connected and simply connected Lie group G with
a Lie algebra g, which admits a stratication, i.e., g is a direct sum of
r
linear subspaces, g = Vj , with commutators satisfying the conditions
j=1
[V1 , Vj ] = Vj+1 for 1 j < r, [V1 , Vr ] = {0}, [65]. The number r is called
the step of the Carnot group. It tells us how many commutators of the rst
layer are needed in order to generate the whole Lie algebra. Notice that
the last layer Vr is the center of the Lie algebra, while the rst layer V1
generates the whole Lie algebra. Clearly, every Carnot group is trivially a
nilpotent group.
As well known, see for example [[68], Proposition 1.2] and [[48], Theorem
1.2.1] for proofs, we have the following
Theorem 1.2.1. If G is a connected and simply connected nilpotent Lie
group with Lie algebra g, then:
a) the exponential map exp : g G is an analytic dieomorphism (with
inverse denoted by log);
16:53
ws-book
(1.7)
i Vi .
(1.8)
g G,
(1.9)
is N =
dim Vj , whereas the homogeneous dimension of G, attached
j=1
j dim Vj . Recalling
j=1
(1.10)
16:53
ws-book
so that the number Q plays the role of a dimension with respect to the
group dilations. Let Z be the innitesimal generator of the one-parameter
group of non-isotropic dilations { }>0 . Such vector eld is characterized
by the property that a function u : G R is homogeneous of degree s with
respect to { }>0 , i.e., u( (x)) = s u(x) for every x G, if and only if
Zu = su.
Finally, the above xed norm . on g (arising from the xed inner
product on g) induces a homogeneous norm (gauge) | |g on g and (via the
exponential map) one on the group G in the following way. For g, with
= 1 + ... + r , i Vi , we let
1
( r
) 2r!
2r!/i
,
(1.11)
||g =
i
i=1
and then dene |g|G = ||g if g = exp . In particular, for a Carnot group
of step two we have
(
)1/4
||g = 1 4 + 2 2
.
(1.12)
For simplicity of notation we shall use | . | to denote both the norm on the
group and on its Lie algebra with the meaning clear from the context. A homogeneous norm, see [110], [117] or [68], adapted to the xed homogeneous
structure is any function | . | : G [0, +) such that
|h| = 0 i h = e the group identity,
|h| = |h1 |,
| h| = |h|,
| . | C(G),
(1.13)
(1.14)
The homogeneous norm is not unique and below we will see another widely
used example dened with the help of the so called Carnot-Caratheodory
distance. It is important to observe that the balls dened by a homogeneous
norm are compact in the topology dened by the Riemannian distance
on G. The proof of this fact uses only equation (1.13). Indeed, since
the unit Riemannian sphere is compact and does not contain the neutral
element it follows that | . | achieves a positive minimum on the Riemannian
sphere. The homogeneity of the gauge implies then that every gauge ball
is a bounded and compact set. In particular we can integrate over gauge
16:53
ws-book
g G.
A homogeneous norm on G can be used to dene a homogeneous pseudodistance on G, which in the case of the xed gauge is frequently called the
gauge distance,
(g1 , g2 ) = |g21 g1 |G ,
g1 , g2 , h G.
(1.15)
Notice that (1.11) has one additional property, which we shall not use,
namely, it denes a smooth function outside the identity, i.e., | . |
C(G) C (G \ {e}). It is known that a smooth homogeneous norm which
is actually a distance exists on every homogeneous group [87]. We shall
encounter such a norm when we consider the gauge (2.12) on groups of
Heisenberg type, see [54].
With m = dim(V1 ), we x a basis X1 ,. . . ,Xm of V1 and continue to
denote by the same letters the corresponding left-invariant vector elds.
The sub-Laplacian associated with X is the second-order partial dierential
operator on G given by
L =
j=1
Xj Xj
Xj2 ,
(1.16)
j=1
noting that in a Carnot group one has Xj = Xj since the Haar measure
is bi-invariant under translations.
Since the left invariant vector elds {X1 , ..., Xm } on G satisfy the
H
ormander nite rank condition we can dene also the associated CarnotCaratheodory distance on G. A piecewise smooth (t) is called a horizontal
curve when (t) belongs to the span of X1 ((t)), ..., Xm ((t)), the so called
horizontal space. Given g, h G by the Chow-Rashevsky theorem there is
a horizontal curve between them, see [46], [141]. Therefore
d(g, h) = inf {|| : horizontal curve between g and h},
(1.17)
16:53
ws-book
denes a distance on G, which is the Carnot-Caratheodory distance between g and h, see also [130]. Here || denotes the length of with respect
to the xed left invariant Riemannian metric on G. Note that only the
metric on the horizontal space is used to calculate the length of a horizontal curve. Taking into account that we xed a left invariant metric which is
homogeneous of order one on the horizontal space it follows that for every
f, g, h G and for any > 0
d(gf, gh) = d(f, h),
(1.18)
(1.19)
(1.20)
g, h G,
(1.21)
taking into account the equivalence of all homogeneous norms. In fact the
inequalities (1.19) and (1.20) can be derived for the distance dened by any
homogeneous norm and the Riemannian distance, see [65].
We will almost exclusively work with the Carnot-Caratheodory distance d, except in few situations where we will nd more convenient to
use the gauge distance (1.15). In general, we shall work with the CarnotCaratheodory balls which are dened in the obvious way,
Br (x) B(x, R) = {y G | d(x, y) < r},
r > 0.
16:53
ws-book
10
1.3
We also dene the space D 1,p (), 1 p < Q, by taking the completion
of the space of all smooth functions with compact support Co () with
respect to the norm
[
]1/p
p
||u|| o 1,p
= ||Xu||Lp () =
|Xu| dH
.
D
()
()
. Notice that
a function u Lp (). As usual, one can see that u D 1,p () implies that
o
The space D 1,p () and, in particular, D 1,p (G) are the most important
Sobolev spaces in this book. Both are easily seen to be Banach spaces see the next Proposition. Given a Banach space B we consider the dual
space B of all continuous linear functionals on B equipped with the norm
l = supxB,x1 |l(x)|, B . As well known B is also a Banach
16:53
ws-book
11
space with this topology, see for example [145] for details. The space B
is called reexive if its second dual B = (B ) equals B. Of course,
B B is an isometric injection [[175], p.113, Theorem 2], which might
not be a surjection. The latter happens exactly when B is reexive. It
is known that Lp spaces are reexive for p > 1 and L1 is not reexive.
(1.22)
On the other hand, the dual of L (G) is the space of all absolutely continuous (w.r.t. the Haar measure), nitely additive set functions of bounded
total variation on G, see [[175], Chapter IV.9]. The dual Banach space of
1,p
D
() = {T D () : T =
Xj fj , fj Lp ()},
(1.23)
j=1
fj (Xj u) dH.
(1.24)
T D 1,p () = inffLp () ,
(1.25)
j=1
16:53
ws-book
12
[ (
m
j=1
|fj |
]1/p
)p /2
dH
fj dH = lim
(Xj un ) dH
n
= lim
un (Xj ) dH =
u(Xj ) dH,
n
In particular, D 1,p () embeds isometrically in Lp ( : Rm ) as a subspace, i.e., the image is a closed subspace. Since Lp ( : Rm ) is a separable
Banach space, which is reexive if 1 < p < , the same remains true for
every closed subspace.
b) The proofs are analogous to the Euclidean case, see for example [1]
and [128]. The fact that every distribution of the described type denes
o
j=1
(
)1/2
m
2
where |f| =
.
j=1 |fj |
The other direction, i.e., that every linear bounded functional T on
o
m
seen as follows. Let X be the image of D 1,p () under the isometry X. The
linear functional T on X dened by T (Xu) = T (u) is clearly bounded and
T = T . By the Hahn-Banach theorem there exists a norm preserving
extension of T to a bounded linear functional on Lp ( : Rm ), which by
16:53
ws-book
13
m
has the form T (g ) = j=1 fj gj dH. Thus
m
T (u) = T (Xu) =
fj (Xj u) dH,
j=1
observe that any other f Lp ( : Rm ) for which T = j=1 Xj fj corresponds to another extension of T from X to Lp ( : Rm ), which in general
will increase its norm. In fact, the vector f we found above corresponds to
the unique norm preserving extension at least when 1 < p < . Finally,
j=1
un v dH
f v dH.
G
14
16:53
ws-book
u o 1,p
D
()
()
For our needs we shall also need to consider the weak- topology in
the space M(G) of all bounded regular Borel measures on G. Recall that
M(G) can be considered as the dual space of the Banach space C (G) of all
continuous functions on G which vanish at innity. A continuous function
on G is said to vanish at innity if for every > there is a compact K G
such that |(g)| < , g G \ K. Alternatively, since G is a locally compact
Hausdor space, starting with the space of all continuous functions on G
with compact support Co (G) we have that C (G) is the completion of the
space Co (G) in the L (G) norm. The proofs of these facts can be found
in [[146], Chapter 3]. By the Riesz representation theorem [[146], Chapter
6], the space M(G) is the dual of C (G) and in particular for a sequence
of measures dn (bounded regular Borel measures on G) to converge to a
measure d in the weak- topology of M(G) it is necessary and sucient
that for every Co (G) we have
dn
d.
G
16:53
ws-book
15
The following results will play an important role in the study of the variational problem (1.3).
o
In particular we obtain
Corollary 1.3.6. Under the conditions of the above Theorem 1.3.5 we have
|un |q dH |u|q dH = |un u|q dH o(1),
where o(1) 0 weak- in M(G).
(1.26)
16:53
ws-book
16
Proof. For C (G) consider the sequence un , which has the properties
un u a.e. and supn un Lq (G) < . By the Brezis-Lieb lemma we
have
||q |un |q dH
||q |un u|q dH
||q |u|q dH, n .
G
1.4
for the length of the horizontal gradient. Two crucial aspects of equation
(1.2) and variational problem (1.3) are their invariance with respect to the
group translations and dilations, which are the cause of such concentration
phenomenon. The invariance with respect to translations is obvious, since
the vector elds Xj are left-invariant. The invariance with respect to scaling
must be suitably interpreted and follows from the observation that
Lp (u ) = p Lp u.
(1.27)
If we then dene, for a solution u of (1.2) and for > 0, the rescaled
function u = u , it is clear that u satises (1.2) if and only if
= Q/p = (Q p)/p. These considerations suggest the introduction of
two new functions. For a function u Co (G) we let
def
h u = u h ,
h G,
(1.28)
u Q/p* u = Q/p* u ,
> 0.
(1.29)
It is easy to see that the norms in the Folland-Stein inequality and the functionals in the variational problem (1.3) are invariant under the translations
16:53
ws-book
17
(1.28) and the rescaling (1.29). Only the second part requires a small computation since the measure dH is bi-invariant with respect to translations.
Now,
=
|u(g)|p* Q dH(g) = Q up*
.
Lp (G)
G
1,p (G)
= XupLp (G)
= p XupLp (G) = pQ upo
D 1,p (G)
(G)
pQ
Qp
(G)
At this point we are ready to turn to the main result of this section,
Theorem 1.4.2, which is based on an adaptation of the concentrationcompactness principle of P.L. Lions to the case of a Carnot group G with
its homogeneous structure and Carnot-Caratheodory distance. An important tool in the analysis is the concentration function of a measure, which
is given in the next denition.
Definition 1.4.1.
a) For a non-negative measure d on G dene the concentration function
Q on [0, ) by
(
)
def
Q(r) = sup
d .
(1.30)
gG
Br (g)
p
Lloc
b) For a function f
(G) on G we will call concentration function of
f the concentration function of the measure |f |p* dH.
Following Lions work, the crucial ingredients in the solution of the
variational problem of Theorem 1.4.2 are Lemmas 1.4.3 and 1.4.5, which
follow its proof.
Theorem 1.4.2.
o
|Xun |p dH I,
|un |p dH = 1,
(1.31)
G
16:53
ws-book
18
(1.32)
Proof. The claim in part b) of the Theorem follows trivially from part a)
o
together with the fact that for any u D 1,p () we have that |u| D 1,p ()
and |Xu| = |X|u|| a.e.. Thus it is enough to show the existence of a
minimizer.
Consider the variational problem (1.3), p > 1, and a minimizing sequence un Co (G) as in (1.31). By the weak compactness, Proposition
o
1.3.3, we can assume that un u in D 1,p (G) for some u D 1,p (G) and
also weakly in Lp* (G). The sequentially lower semi-continuity of the norms
shows that
u Lp (G) lim infun Lp (G) = 1,
and
u o 1,p
D
(G)
(G)
= I 1/p .
Thus, it is enough to prove that G |u|p* = 1, since by the above and the
p
Folland-Stein inequality (1.1), noting that I = (1/Sp ) (Sp is the optimal
constant in (1.1)), we have
(
)p/p
I
|Xu|p I
|u|p*
= I, when
|u|p* = 1,
(1.33)
G
dn = |vn |p* dH
def
(1.34)
16:53
ws-book
19
The desired convergence i.e. the fact that G |v|p* = 1 will be obtained
by applying the concentration compactness principle exactly as in [125]
(see also
We shall see that is a probability measure and also
[155]).
p*
d = G |v| .
n (r) be the concentration function of un , i.e.,
Let Q
(
)
def
|un |p dH .
(1.35)
Qn (r) = sup
hG
Br (h)
(1.36)
n (rn ) =
Q
|un (g)|p dH(g).
(1.37)
Brn (hn )
def
1 u
vn = rn Q/p u h1
r
n
hn
n
(1.38)
rn
satisfy
Qn (1) =
dn
1
Qn (1) = ,
2
and
B1 (e)
(1.39)
def
I = inf
|Xu|p : u Co (G),
|u|p* = .
(1.40)
G
20
16:53
ws-book
(1.41)
Assume, rst, the compactness case of Lemma 1.4.3 holds when applied to
the sequence dn , which was dened in (1.34). Let gn be a sequence of
points given in the compactness case of Lemma 1.4.3. For > 0 choose
R = R() such that
dn 1 , for every n.
(1.42)
BR (gn )
If < 1/2 then BR (gn ) dn > 1/2 and since by construction B1 (e) dn =
dn
dn 1 , for every n,
(1.43)
B2R+1 (e)
BR (gn )
and therefore the conclusions in the compactness case of Lemma 1.4.3 holds
with gn e for every n. By taking 0 we see that
d = 1.
(1.44)
G
p*
dn d =|v| +
j gj
j
p
dn d |Xv| dH +
dn I,
(1.45)
j gj
(1.46)
def
p*
We shall prove that all j s are zero and thus G |v| dH = 1. Let =
p*
|v| dH
d = 1 we have j = 1. From G d I
G
G
< 1. Since
p
we have G |Xv| dH I j . Now (1.46) gives
I = I1
|Xv| dH +
G
j I +
Ij p/p
I +
Ij .
16:53
ws-book
21
p*
1/2
|vn | dH
d = 1,
B1 (gj )
(1.47)
B1 (gj )
lim
dn1 + (1 )
dn2 = 0.
(1.48)
(1.49)
(1.50)
p/p*
Such a choice of is possible as for 0 < < 1 and p/p* < 1 we
+
( have )
p/p*
(1 )
1 > 0. Let be a cut-o function 0 C0 B2 (e) , 1
on B1 (e). Such smooth cut-o function can be constructed explicitly in
the usual manner for the gauge balls and hence by the equivalence (1.21)
also for the Carnot-Caratheodory balls. Let n = (gn )1/Rn , cf. (1.29),
so that
each)n is a smooth function with compact support, 0
(
C0 B2Rn (e) , 1 on BRn (gn ) . Then we have
p
p
p
|Xvn | dH =
|X(n vn )| dH +
|X(1 n )vn | dH + n .
G
p
n o(1)
|Xvn | dH, where o(1) 0 as n .
G
(1.51)
(1.52)
16:53
ws-book
22
which holds for any 0 < < 1, p 1 and a suitable constant C,p depending
on and p, we have
(
)p
p
p
n =
|Xvn | dH
|X(n vn )| dH
|X (1 n )vn | dH
An
An
An
p
p
p
p
p
|Xvn | dH.
An
p
p
p
n C
|vn | |Xn | dH
|Xvn | dH.
First we use |Xn |
An
C
Rn and
Since
1
p
(1.53)
we obtain
(1.54)
Rn1 vn Lp (An ) Cvn Lp (An ) .
The last term in the above inequality can be estimated as follows.
=
d
=
d
dn
vn p*
n
n
Lp (An )
An
G
G\An
dn2
dn
dn1
G\An
G
G\An
=
dn
dn1
dn2 .
G
(
)1/p*
Rn1 vn Lp (An ) C
dn
dn1
dn2
0 as n .
G
((
)p/p* )
)p/p* (
dn
+ n
I
dn
+
GrBRn (gn )
BRn (gn )
((
G
)
1 p/p*
dn
)
)
2 p/p*
dn
G
(1.56)
+ n .
16:53
ws-book
Letting n we obtain
I = lim vn po
n
D 1,p (G)
23
(
)
I p/p* + (1 )p/p* I
= I + I1 I,
which is a contradiction with the choice of in (1.50) and hence the dichotomy case of Lemma 1.4.3 cannot occur. The proof of the theorem is
nished.
We end the section with the Lemmas that provide key steps in Lions
method of concentration compactness.
Lemma 1.4.3. Suppose dn is a sequence of probability measures on G.
There exists a subsequence, which we still denote by dn , such that exactly
one of the following three cases holds.
(compactness) There is a sequence gn G, n N, such that for
every > 0 there exists R > 0 for which, for every n,
dn 1 .
B(gn ,R)
(
lim sup
n
gG
)
dn = 0.
B(g,R)
(dichotomy) There exists , 0 < < 1 such that for every > 0
there exist R > 0 and a sequence (gn ) with the following property:
Given R > R there exist non-negative measures dn1 and dn2 for
which for every n we have
0 dn1 + dn2 dn
supp
(1.57)
d
+
dn2 .
(1
n
dn1
dn2
(1.58)
(1.59)
16:53
ws-book
24
n
def
have the vanishing case. Suppose = 1. Then there exist R0 such that
Q(R0 ) > 1/2. For every n let gn be such that
Qn (R0 )
dn +
BR0 (gn )
Qn (R)
dn +
BR (hn )
dn +
BR (hn )
1
.
n
(1.60)
1
2
1
.
n
(1.61)
dn > 1 =
BR0 (gn )
dn
(1.62)
Therefore, from the triangle inequality, BR (hn ) B2R+R0 (gn ) and hence
dn
B2R+R0 (gn )
dn Qn (R)
BR (hn )
1
Q(R) for a.e. R. (1.63)
n
dn 1 .
B2R+R0 (gn )
Taking a possibly larger R, we can achieve that the above holds for every
n. This shows that the compactness case holds.
Finally suppose 0 < < 1. Given > 0 there exists R > 0 such that
Q(R) > . Let be an arbitrary xed sequence Rn . We can nd a
subsequence of Qn , which we also denote by Qn , such that lim Qn (Rn ) =
k
. This is trivial since lim Qn (Rn ) = Q(Rn ) and lim Q(Rn ) = , and we
n
can take for example Qnk sauch that |Q(Rk ) Qnk (Rk )| < 1/k and nk > k.
Working from now on with this subsequence, there exists n0 = n0 () such
that
< Qn (R) < +
n no .
14:35
ws-book
25
<
dn < + .
BR (gn )
Let
def
def
(1.64)
dn2 =
dn
dn1 + (1 )
G
G
BR (gn )
+() +
dn 2.
(1.65)
BR (gn )
lim
dn1 + (1 )
dn2 = 0.
(1.66)
(1.67)
G
o
d = |u|p* +
j gj ,
j
d |Xu| dH +
p
j gj , Ij p/p* j ,
(1.68)
j p/p* < .
(1.69)
16:53
ws-book
26
def
(1.70)
def
p*
p*
|| d = lim
|| dn = lim
|vn |p* dH
n G
n G
G
(
)p*/p
p*/p
I
lim
|X(vn )|p dH
n
G
(
)p*/p
p*/p
=I
lim
||p |X(vn )|p dH
n
G
(
)p*/p
= I p*/p
||p d
,
)1/p
|vn |p |X()|p dH
B
)1/p
|vn |p |X()|p dH
C0 (B),
d = |u|p* dH +
j gj and d I
j p/p* .
jJ
jJ
o
16:53
ws-book
27
d = j gj ,
d C0p j p/q gj
jJ
jJ
j p/q < .
jJ
def
q
sure. Let dk = g 1{gk} d with = qp
. We are going to prove
that dk is given by a nite number of Dirac measures. This will prove
that 1{gk} d = g dk is a sum of nite number of Dirac measures
for
d will be proved since
( all k < ) and letting k the claim on
1
{g = } = 0 as g L1 (d) Take = g qp 1{gk} , an arbitrary
bounded measurable
function.
Then we have
g qp 1{gk} ||q d =
||q d =
G
||q dk .
G
On the other
hand
q
p
p
q
qp
1{gk} || d =
g qp 1{gk} ||p d
|| d =
g
G
G
G
p
= || dk .
G
In other words we showed that (1.71) holds also for dk on both sides of
the inequality. Thus for any Borel set A we have
dk (A)1/q C0 dk (A)1/p
16:53
ws-book
28
1.5
We consider here the variational problem (1.3), but we restrict the class of
test functions.
Definition 1.5.1. Let G be a Carnot group with Lie algebra g = V1
V2 Vn . We say that a function U : G R has partial symmetry
with respect to go if there exist an element go G such that for every
g = exp(1 + 2 + + n ) G one has
U (go g) = u(|1 (g)|, |2 (g)|, . . . , n (g)),
for some function u : [0, ) [0, ) . . . [0, ) Vn R.
A function U is said to have cylindrical symmetry if there exist go G
and : [0, ) [0, ) [0, ) R for which
U (go g) = (|1 (g)|, |2 (g)|, . . . , |n (g)|),
for every g G.
We dene also the spaces of partially symmetric and cylindrically symmetric
o
function Dps 1,p (G) and Dcyl 1,p (G), respectively, as follows
o
def
Dps 1,p (G) = {u D 1,p (G) : u(g) = u(|1 (g)|, . . . , |n1 (g)|, n (g))},
(1.72)
and
o
def
(1.73)
The eect of the symmetries, see also [126], is manifested in the fact that
if the limit measure given by Lemma 1.4.5 concentrates at a point, then it
must concentrates on the whole orbit of the group of symmetries. Therefore,
in the cylindrical case there could be no points of concentration except at
the origin, while in the partially-symmetric case the points of concentration
lie in the center of the group.
Theorem 1.5.2.
o
a) The norm of the embedding Dps 1,p (G) Lp* (G) is achieved.
o
b) The norm of the embedding Dcyl 1,p (G) Lp* (G) is achieved.
In order to rule out the dichotomy case in the rst part of the theorem we
prove the following lemma.
Lemma 1.5.3. Under the conditions of Lemma 1.4.3, the points gn in the
dichotomy part can be taken from the center of the group.
16:53
ws-book
29
Qps
=
n
)
dn .
sup
hC(G)
(1.74)
Br (h)
The rest of the proof is identical to the proof of Lemma 1.4.3, with the
remark that in the dichotomy part, the denition of Qps
n shows that the
points gn can be taken to belong to the center.
We turn to proof of Theorem 1.5.2.
Proof. We argue as in Theorem 1.4.2.
o
a) Finding the norm of the embedding Dps 1,p (G) D 1,p (G) leads to
the following variational problem,
o
(
)
ps def
ps
p
1,p
I I1 = inf
|Xu| : u Dps (G), |u|p* = 1 .
(1.75)
G
(1.76)
It is clear that Dps 1,p (G) is invariant under the dilations (1.29). Using the
o
Baker-Campbell-Hausdor formula it is easy to see that Dps 1,p (G) is invariant, also, under the translations (1.28) by elements in the center, C(G),
of G. In order to extract a suitable dilated and translated subsequence of
{un } we have to make sure that we translate always by elements belonging
to C(G). In order to achieve this we dene the concentration function of
un as
(
)
def
ps
sup
|un |p dH .
(1.77)
Qn (r) =
hC(G)
Br (h)
We can x rn > 0 and hn C(G), such that (1.36), and (1.37) hold.
o
Dene the sequence {vn } as in (1.38), hence vn Dps 1,p (G). Using the
translations and scaling as before we obtain (1.39). At this point we can
apply Lemma 1.5.3. The case of vanishing is ruled out from the normalization (1.39) of the sequence {vn }. Suppose we have dichotomy. Let us take
a sequence Rn > 0 such that (1.48) and (1.49) hold. We choose a cut-o
o
and
on 1 (e),
(1.78)
16:53
ws-book
30
(1.79)
(1.80)
|An | RnQ ,
(1.81)
we see that (1.52) holds. Now, from the denition of Ips , having in mind
that n and vn have partial symmetry with respect to the identity, we
obtain
vn po
D 1,p (G)
=m vn po
+ (1 n )vn po
+ n
D 1,p (G)
D 1,p (G)
(
)
Ips m vn pLp (G) + (1 n )vn pLp (G) + n
((
)p/p* (
)p/p* )
Ips
dn
+
dn
+ n
Ips
((
BRn (gn )
)
1 p/p*
dn
GrBRn (gn )
)
)
2 p/p*
dn
(
)
Ips p/p* + (1 )p/p* + n .
G
+ n
Letting n we come to
lim vn po
D 1,p (G)
p
p*
(
)
Ips p/p* + (1 )p/p* > Ips ,
D 1,p (G)
(1.82)
I ps as n ,
which shows that the dichotomy case of Lemma 1.5.3 cannot occur. Hence
the compactness case holds. As in Theorem 1.4.2 we see that
d = 1.
G
Next, we apply Lemma 1.4.5, with I replaced by Ips . The important fact
here is that the partial symmetry of the sequence {vn } implies the points
of concentration of d must be in the center of the group if they occur.
16:53
ws-book
31
Having this in mind and also the denitions of the concnetration functions,
we can justify the validity of (1.47), and nish the proof of part a).
b) The vanishing case is ruled out by using the dilation (but not translation because of the symmetries) invariance and normalizing the minimizing
sequence with the condition Qn (1) = 1/2, see (1.39).
Suppose that the dichotomy case occurs. We shall see that this leads
to a contradiction. The points {gn } in the dichotomy part of Lemma 1.4.3
must be a bounded sequence. If not, let = /2 and R be the as in the
Lemma. Due to the invariance by rotations in the layers of the functions
vn and the Haar measure dH, which is just the Lebesgue measure, for any
arbitrarily xed natural number, No , we can nd a point gn and No points
on the orbit of gn under rotations in one of the layers, such that the balls
with radius R centered at all these points do not intersect. This leads to a
contradiction since the integral of the probability measure dn over each of
these balls is greater than /2. Thus, {gn } is a bounded sequence. This is
however impossible since dn are probability measures.
Therefore, the compactness case holds. Exactly as in the dichotomy
part we see that the sequence {gn } is a bounded sequence. This amounts
to saying, using the triangle inequality, that we can take all of them at the
identity. We conclude that
d = 1.
G
1.6
1.6.1
pQ
Let 1 < p < Q and denote by p* the Sobolev conjugate p* = Qp
and by
o
p
Note that u
p*1
p
p1
(p*)
() = L
obtain that (1.83) holds for every D 1,p (). The main result of this section is that weak solutions as above are bounded functions. In the following
32
16:53
ws-book
spaces. This is not true in the Sobolev spaces D 1,p () we consider, since
we include only the Lp norm of the horizontal gradient in our denition.
Therefore, the results here are not exactly the same, besides that we are
working on a Carnot group. Subsequently Serrins ideas were generalized
to the subelliptic setting in [38], and also in dierent forms in [91], [92],
[119], [173].
o
Xi (|Xu|p2 Xi u) = V |u|p2 u
in
(1.84)
i=1
p2
|Xu|
< Xu, X > dH =
V |u|p2 u dH.
(1.85)
equality shows that (1.85) holds true for any D 1,p (). This follows
o
from the density of the space Co () in the space D 1,p (), which will alo
to
p
p
(p )
olders inequality shows that V |u|p2 u L(p ) (), which allows to pass
H
to the limit in the right-hand side of (1.85). We turn to the proofs of a)
and b).
16:53
ws-book
33
F (u) =
|G (t)|p dt.
(1.86)
tive. From the chain rule, see for ex. [74], F (u) D 1,p () is a legitimate test function in (1.85). The left-hand side, taking into account
F (u) = |G (u)|p , can be rewritten as
|XG(u)|p .
|G(u)|p
)p/p
.
(1.87)
G(t) =
{
q
sign (t) |t| p
l
q
p 1
if 0 |t| l,
if l < |t|.
From the power growth of G, besides the above properties, this function
satises also
|u|p1 |F (u)| C(q)|G(u)|p C(q)|u|q .
(1.88)
The constant C(q) depends also on p, but this is a xed quantity for us.
At this moment the value of C(q) is not important, but an easy calculation
shows that C(q) C q p1 with C depending on p. We will use this in
part b). Note that p to = p . Let M > 0 to be xed in a moment and
16:53
ws-book
34
V |u|p2 uF (u) dH
=
(|V |M )
(|V |M )
V |u|
p2
uF (u) dH +
(|V |>M )
(
|u|p1 F (u)dH+
(|V |>M )
C(q)M
|G(u)|p dH +
|V |todH
(
(|V |>M )
V |u|p2 uF (u) dH
) t1o ( (
)t ) 1
|u|p1 F (u) odH to
|V |to
) 1 (
|G(u)|p dH
to
) pp
.
(1.89)
At this point we x an M suciently large, so that
(
) t1o
Sp
to
C(q)
|V | dH
,
2
(|V |>M )
which can be done because V Lto . Putting together (1.87) and (1.89) we
come to our main inequality
) pp
Sp (
|G(u)|p dH
C(q)M |G(u)|p dH C(q)M |u|q dH.
2
) pp
p
Sp (
C(q)M |u|q dH.
|u| p q dH
2
16:53
ws-book
35
Q
p
= to from to =
. With this notation we can
equivalent to t <
p
p
rewrite (1.91) as
[ C(q) ] 1q
1
(1.92)
uqt
V tq uqt .
Sp
Recall that C(q) Cq p1 . At this point we dene qo = p t and
qk = k qo , and after a simple induction we obtain
k1 1
k1
[ p1 ] 1
j=0 qj
qj
uqk
V t
C qj
uqo .
(1.93)
j=0
1 1
1
log qj
=
<
and
< ,
j
q
qo j=1
qj
j=0 j
j=1
(1.94)
j=1
then u L ().
Xj (|Xu|p2 Xj u) = |u|p
in
16:53
ws-book
36
Proof. We dene V
= |u|p
1.6.2
In this section we explain how one obtains the C smoothness of the extremals of the L2 Folland-Stein embedding, i.e., we prove the C smoothness of the non-negative weak solutions of the Yamabe equation.
Thus, given a Carnot group G we consider the sub-Laplacian associated
with the system {X1 , . . . , Xm }, which is the second-order partial dierential
operator given by
L =
j=1
Xj Xj
Xj2 ,
j=1
see (1.16). By the assumption on the Lie algebra the system {X1 , . . . , Xm }
satises the well-known nite rank condition, therefore thanks to
H
ormanders theorem [93] the operator L is hypoelliptic, see also [144].
However, it fails to be elliptic, and the loss of regularity is measured in
a precise way, which becomes apparent in the corresponding sub-elliptic
regularity estimates, by the number of layers r in the stratication of g.
On a stratied group G we have the analogues of Sobolev and Lipschitz spaces, the so called non-isotropic Sobolev and Lipschitz spaces [67],
[65], dened as follows. Using BC for the space of all bounded continuous
functions and |h| for the homogeneous norm of h G we let
S k,p (G) = {f Lp (G, dH) : XI f Lp (G, dH) for |I| k},
k N {0},
|f (gh) f (g)|
(G) = {f BC :
sup
< },
|h|
g,hG, h=e
1 (G) = {f BC :
0 < < 1,
(1.95)
16:53
ws-book
37
The main regularity result concerning the sub-Laplacian acting on nonisotropic Sobolev or Lipschitz spaces is the following Theorem.
Theorem 1.6.7. [67; 65] Let G be a Carnot group of step r. If Lu is in
k,p
one of the spaces Sloc
(G) or ,loc (G) for some > 0, 1 < p < and
k+2,p
k N {0}, then u is in Sloc
(G) or +(2/r),loc (G), respectively.
38
16:53
ws-book
Remark 1.6.8. The above theorem is valid for any system of vector elds
that satisfy the Hormander condition of order r, see [66] for a general
overview and further details.
The Holder regularity of weak solutions of equation (1.97) follows from
a suitable adaptation of the classical De Giorgi-Nash-Moser result. The
higher regularity when p = 2 follows by an iteration argument based on
Theorem 1.6.7.
Theorem 1.6.9. Let be an open set in a Carnot group G.
o
Xi (|Xu|p2 Xi u) = V up1
in
(1.97)
i=1
(1.98)
BR
for any Carnot-Carathedory (or gauge) ball BR (g) such that B4R (g)
BR0 (g0 ).
o
(1.99)
().
[38] uses the Sobolev spaces S 1,p () rather than D 1,p (). In particular
the Harnack inequality is proven for solutions which are locally in S 1,p ().
The rst step in the proof of the Harnack inequality is the establishment
of the local boundedness of weak solutions (without the non-negativity
we
assumption). Under the assumption V Lt () LQ/p (), t > Q
p,
have even global boundedness u L (), a detailed proof of which was
given in Theorem 1.6.1.
16:53
ws-book
39
February 9, 2011
9:19
ws-book
Chapter 2
Introduction
Kelvin transform is an isometry between the spaces D 1,2 () and D 1,2 (*),
where * denotes the image of under a suitably dened inversion. This
will be a useful fact when we consider equations on unbounded domains. In
particular, we can obtain the precise asymptotic behavior at innity of nite
energy solutions to the Yamabe equation. It is worth mentioning that this
behavior can be obtained also without the use of the Kelvin transform, see
[119], which is useful when studying nite energy solutions on non-compact
Riemannian and sub-Riemannian manifolds, see also [167].
2.2
42
16:53
ws-book
(2.1)
j=1
Xj Xj =
Xj2 ,
(2.3)
j=1
16:53
ws-book
43
|J(2 )1 | = |2 | |1 |.
(2.4)
(2.5)
, n,
(2.6)
where B and are the killing form and the Cartan involution, and
m = dim g , k = dim g2 are the dimensions of the negative (restricted)
root spaces. Very often the notation n is used for the space generated by the
= (n) is the standard notation for the space
positive roots g g2 and n
we dened above. From a geometrical point of view, the above Iwasawa
groups can be seen as the nilpotent part in the Iwasawa decomposition of
the isometry group of the non-compact symmetric spaces M of rank one.
44
16:53
ws-book
16:53
ws-book
45
n
where for z, z Cn we have let z z = j=1 zj zj . In real coordinates a
basis for the Lie algebra of left-invariant vector elds on G (C) is given by
Xj =
+2yj ,
xj
t
Xn+j Yj =
2xj ,
yj
t
,
t
j = 1, ..., n. (2.9)
). However,
4Yi , i = 1, . . . , n, which contradicts the orthogonality of J( t
this calculation shows that an orthonormal basis of an H-type compatible
metric is given by, j = 1, ..., n,
+ 2yj , Xn+j Yj =
2xj , T =
.
(2.10)
Xj =
xj
t
yj
t
4 t
To compute the corresponding homogeneous gauge (1.12) we let X =
2n
j=1 aj Xj +bT be an element of the Lie algebra and use the orthonormality
condition to derive the standard formula
2
2n
|X|4 =
(2.11)
a2j + 16b2 , i.e., |(z, t)| = (|z|4 + 16t2 )1/4 ,
j=1
the latter equation written for the corresponding gauge on the group using
)1/2
(
n
2
2
- the Euclidean norm.
|z| =
j=1 (xj + yj )
On a group N of Heisenberg type there is a very important homogeneous
norm (gauge) given by
(
)1/4
N (g) = |x(g)|4 + 16|y(g)|2
,
(2.12)
which induces a left-invariant distance, cf. (1.15). Kaplan proved in [105]
that in a group of Heisenberg type the fundamental solution of the subLaplacian L, see (2.3), is given by the formula
(g, h) = CQ N (h1 g)(Q2) ,
g, h N, g = h,
(2.13)
46
16:53
ws-book
(2.14)
which may be the cause for a dierence in some constants. Similar convention is also used in the quaternionic setting.
Motivated by the way the Iwasawa type groups appear as boundaries
of the hyperbolic spaces, Damek [56] introduced a generalization of the hyperbolic spaces by starting with a group N of H-type and taking a semidirect product with a one dimensional Abelian group. Specically, consider
the multiplicative group A = R+ acting on an H-type group by dilations
given in exponential coordinates by the formula a (1 , 2 ) = (a1/2 1 , a2 )
and dene S = N A as the corresponding semidirect product. Thus, the
Lie algebra of S is s = V1 V2 a, n = V1 V2 , with the bracket extending
the one on n by adding the rules
1
1 , [, 2 ] = 2 i Vi ,
(2.15)
2
where is a unit vector in a, so that S is the connected simply connected
Lie group with Lie algebra s. In the coordinates (1 , 2 , a) = exp(1 +
2 ) exp(log a), a > 0, which parameterize S = exp s, the product rule of S
is given by the formula
[, 1 ] =
1
(1 , 2 , a) (1 , 2 , a ) = (1 + a1/2 1 , 2 + a2 + a1/2 [1 , 1 ], aa ), (2.16)
2
for all (1 , 2 , a), (1 , 2 , a ) n R+ . Notice that S is a solvable group.
We equip the Lie algebra s with the inner product
< (1 , 2 , a), (1 , 2 , a
) > = < (1 , 2 ), (1 , 2 ) > +a
a
(2.17)
using the xed inner product on n and then dene a corresponding translation invariant Riemannian metric on S. The main result of [56] is then
that the group of isometries Isom(S) of S is as small as it can be and
equals A(S) n S with S acting by left translations, unless N is one of the
Heisenberg groups (2.7), i.e., S is one of the classical hyperbolic spaces.
16:53
ws-book
47
(2.18)
The key result here is the following Theorem of [49], see also [47], which can
be used to show that if N is an H-type group, then the Riemannian space
S = N A is symmetric i the Lie algebra n of N satises the J 2 condition,
see [[49], Theorem 6.1].
Theorem 2.2.5. If n is an H-type algebra satisfying the J 2 -condition, then
n is an Iwasawa type algebra. In other words, the H-type groups N whose
Lie algebras satisfy the J 2 condition are precisely the groups that arise as
the nilpotent component in the Iwasawa decomposition of a semisimple Lie
group of real rank one.
This fundamental result has many consequences in allowing a unied proof
of some classical results on symmetric spaces, in addition to some beautiful
properties of extensions of the classical Cayley transform, inversion and
Kelvin transform, which are of a particular importance for our goals.
16:53
ws-book
48
2.3
2.3.1
(2.21)
equipped with the metric obtained from D via the inverse of the so-called
Cayley transform C : B D dened by C(1 , 2 , a) = (1 , 2 , a ), where
2
((1 a)1 + J(2 )1 ) ,
1 =
(1 a)2 + |2 |2
(2.22)
1 a2 |2 |2
2
a =
2 =
2 ,
.
(1 a)2 + |2 |2
(1 a)2 + |2 |2
The inverse map C 1 : D B is given by C 1 (1 , 2 , a ) = (1 , 2 , a),
where
2
1 =
((1 + a )1 J(2 )1 ) ,
(1 + a )2 + |2 |2
(2.23)
2
1 + a |2 |2
2
2 ,
a=
.
2 =
(1 + a )2 + |2 |2
(1 + a )2 + |2 |2
16:53
ws-book
49
The proof of the above formulas is elementary. For example, we can see
that C(1 , 2 , a) D, i.e., a > 41 |1 |2 from the computation
1 a2 |2 |2
|1 |2
>
,
2
2
(1 a) + |2 |
(1 a)2 + |2 |2
4
2
|1 |2 =
2 |(1 a)1 + J(2 )1 |
2
((1 a) + |2 |2 )
(
)
4 (1 a)2 |1 |2 + |2 |2 |1 |2
4|1 |2
=
=
,
2
(1 a)2 + |2 |2
((1 a)2 + |2 |2 )
a =
(2.24)
using equations (2.4) in the next to last equality. For other versions of
the Cayley transform see [[63], Chapter X]. The Jacobian of C and its
determinant were computed in [58]. The latter is given by the formula
(
)(m+2k+2)/2
det C (1 , 2 , a) = 2m+k+1 (1 a)2 + |2 |2
,
(2.25)
where, as before, m = dim V1 , k = dim V2 .
It is very important and we shall make use of the fact that the Cayley
transform can be extended by continuity to a bijection (denoted by the
same letter!)
C : B \ {(0, 0, 1)} D,
(2.26)
where (0, 0, 1) (referred to as for short) is the point on the sphere where
1 = 2 = 0 and the third component is in agreement without notation
set after equation (2.20). The boundaries of the ball and Siegel domain
models are, respectively,
1
(2.27)
D = {p = (1 , 2 , a ) s = V1 V2 a : a = |1 |2 }
4
and
B = {(1 , 2 , a) s = V1 V2 a : |1 |2 + |2 |2 + a2 = 1}.
(2.28)
The group of Heisenberg type N can be identied with via the map
1
(2.29)
(1 , 2 ) 7 (1 , 2 , |1 |2 ).
4
With this identication we obtain the form of the Cayley transform (stereographic projection) identifying the sphere minus the point and the
H-type group, C : B \ {(0, 0, 1)} N dened by C(1 , 2 , a) = (1 , 2 ),
where
2
((1 a)1 + J(2 )1 ) ,
1 =
(1 a)2 + |2 |2
(2.30)
2
2 =
.
2
(1 a)2 + |2 |2
16:53
50
ws-book
1
((a + J(2 )) 1 , 2 , a) .
|2 |2 + a2
(2.31)
16:53
ws-book
51
(
)1
|x(g)|2 IdV1 + 4J(2 )
1 ,
|x(g)|4
)
2
, (2.32)
2
+ 16|y(g)|
where the map J is as in (2.1), and IdV1 denotes the identity map on V1 .
One easily veries that
g G .
2 (g) = g,
(
)1/4
As before, see (2.12), N (g) will be the gauge N (g) = |x(g)|4 +16|y(g)|2
.
Writing (g) = exp (), with = 1 +2 , for the image of g, we easily obtain
from Denition 2.3.1 and (2.4) that
|1 | =
|1 |
,
N (g)2
and
|2 |
N (g)4
(2.33)
g G .
(2.34)
|2 | =
A direct verication using (2.1) and the denition of the group dilations
shows that the inversion anti-commutes with the group dilations (1.9), i.e.,
( (g)) = 1 ((g)),
g G .
(2.35)
u =
|z| x ty
,
|z|4 + t2
where w = u + iv.
v =
|z| y + tx
,
|z|4 + t2
t
, (2.36)
|z|4 + t2
16:53
ws-book
52
2.3.3
The purpose of this section is to recall the relevant denitions and establish
some more properties of the Kelvin transform, [51] and [49]. Such properties
are particularly far reaching in the context of Iwasawa groups, where we
o
show that the Kelvin transform is an isometry between the spaces D 1,2 ()
o
and D 1,2 (*), where * denotes the image of under the inversion (2.32)
on the group. This will be a useful fact when considering the Yamabe
equation on unbounded domains.
Definition 2.3.2. Let G be a group of Heisenberg type, and consider a
function u on G. The Kelvin transform of u is dened by the equation
u*(g) = N (g)(Q2) u((g)),
g G ,
(2.37)
where is the inversion on the group and N (g) is the gauge (2.12).
When G is a group of Iwasawa type, then it was proved in [49] that the
inversion and the Kelvin transform possess various properties generalizing
those of the well-known Kelvin transform of functions dened on the Euclidean space. In the following theorem we collect the two which will be
used in this book.
Theorem 2.3.3 (see [49]). Let G be a group of Iwasawa type and L the
sub-Laplacian operator (2.3). The Jacobian of the inversion is given by
d(H )(g) = N (g)2Q dH(g),
g G
using the Haar measure dH on the group, cf. (1.2.1). The Kelvin transform
u of a function satises the equation
Lu*(g) = N (g)(Q+2) (Lu)((g)),
g G .
16:53
ws-book
53
o
Proof. Let u, v D 1,2 () and u*, v* D 1,2 (*) be their Kelvin transforms. We begin by observing that thanks to Theorem 2.3.3 and (2.34)
[
]2Q/(Q2)
(u (g ))2 dH(g ) =
N (g )(Q2) u((g ))
dH(g )
]2Q/(Q2)
(Q2)
2Q
=
N ((g))
u(g)
N (g)
dH(g) =
u(g)2 dH(g).
Co ().
(2.38)
An integration by parts
=
N (g )(Q2) u((g )) N (g )(Q+2) (Lv)((g )) dH(g )
*
=
u(g) Lv(g) N (g)(Q2) N (g)(Q+2) N (g)2Q dH(g)
=
u(g) Lv(g) dH(g).
54
16:53
ws-book
u D 1,2 (),
(2.39)
u 0,
Q+2
Q2 ,
g .
(2.40)
Lu = (u)(Q+2)/(Q2) ,
u D 1,2 (),
u 0,
(2.41)
u 0.
(2.42)
u D 1,2 ( ),
=
u*(g )L*(g )dH(g ) =
N (g )2Q u((g ))L*((g ))dH(g )
*
*
=
u(g)L(g)dH(g) =
< Xu(g), X(g) > dH(g)
=
u(g)p (g)dH(g),
where in the last equality we have used the fact that u is a solution to
(2.39). We now make the change of variable g = (g ), g , and use
Theorem 2.3.3 again to obtain
u(g)p (g)dH(g) =
u((g ))p ((g ))N (g )2Q dH(g )
=
u*((g ))p *((g ))N (g )(Q2)p(Q+2) dH(g ).
*
16:53
ws-book
55
=
u*((g ))p *((g ))N (g )(Q2)p(Q+2) dH(g ).
*
a bounded open set containing e. Theorem 2.3.5 implies that u D 1,2 (),
moreover from Lemma 2.3.6 (with the roles of u and u reversed) we know
that u satises (2.41) in , hence for every Co (D \ {e}) one has
|Xk |2 dH 0,
(2.44)
D
Co (D)
as k . We x
arbitrarily. For every k N one has
u2*1 k dH =
< Xu, X(k ) > dH
D
D
=
k < Xu, X > dH +
< Xu, Xk > dH.
D
56
16:53
ws-book
Since u D 1,2 () D1,2 (D) we can apply Lebesgue dominated convergence theorem to conclude, using (2.44),
(2.46)
then we say that u is an entire solution of the Yamabe equation. Kaplan and
Putz [[107], Proposition 2] are the rst to nd an explicit entire solution
of the Yamabe equation on groups of Iwasawa type, even though their
result seems to have been forgotten. Jerison and Lee [103] made the deep
discovery that, up to group translations and dilations, a suitable multiple
of the function
u(z, t) = ((1 + |z|2 )2 + t2 )(Q2)/4 ,
(2.47)
is the only positive entire solution of (2.46) on the Heisenberg group G (C)
(2.8). Here, we have denoted with (z, t), z Cn , t R, the variable point
in G (C) and Q = 2n + 2 is, as usual, the homogeneous dimension. The
goal of this section is to give an explicit family of entire solutions on groups
of Heisenberg type by proving the following result of [[76], Theorem 1.1].
Theorem 2.4.1. Let G be a group of Heisenberg type. For every > 0 the
function
(
) Q2
4
m(Q 2)2
K (g) =
,
g G,
(2.48)
(2 + |x(g)|2 )2 + 16|y(g)|2
is a positive, entire solution of the Yamabe equation (2.46).
The proof requires a few formulas which are stated in the next Lemmas.
Let k = dim V2 and m = dim V1 . The coordinates of the projection 1 in
the basis X1 ,. . . ,Xm will be denoted by x1 = x1 (g), . . . , xm = xm (g), i.e.,
xj (g) = < (g), Xj >
j = 1, ..., m,
(2.49)
16:53
ws-book
57
i = 1, . . . , k,
(2.50)
and y = (y1 , . . . , yk ) Rk .
A simple consequence of the Baker-Campbell-Hausdor formula is the
following Lemma. This result shows in particular that in a Carnot group
the coordinates in the rst and second layers of the Lie algebra g are Lharmonic, where as before L is the associated sub-Laplacian.
def
L = 2m.
(2.51)
j = 1, ..., m.
(2.52)
which implies
j (0) = 2 < 1 (g), Xj > = 2xj (g),
j (0) = 2.
(2.53)
j (0) = 2m,
j=1
|X|2 =
j (0)2 = 4
j=1
j=1
j=1
|xj (g)|2 = 4,
16:53
ws-book
58
2
L(|y| ) = 2
|X(yi )|2 0.
i=1
)
( 2
t2
yi + t < [1 , Xl ], Yi > yi +
< [1 , Xl ], Yi >2 . (2.55)
4
i=1
l (0) =
< [1 , Xl ], Yi > yi ,
i=1
hence
l (0)2 |y|2
Keeping in mind that 1 =
k
(< [1 , Xl ], Yi >)2 .
i=1
i=1
m
k
j=1 i=1
In conclusion
|X(|y|2 )|2 =
l=1
where
C =
m
k
j,l=1 i=1
(2.56)
16:53
ws-book
59
Another technical lemma which we shall need gives the following formulas valid on groups of Heisenberg type.
Lemma 2.4.4. Let G be a group of Heisenberg type. The following formulas hold
k
L(|y(g)|2 ) =
|x(g)|2
(2.57)
2
|X(|y|2 )|2 = |x|2 |y|2
(2.58)
< X(|x(g)|2 ), X(|y(g)|2 ) > = 0,
where |x| =
2
x21
+ +
x2m ,
|y| =
2
y12
(2.59)
. . . , yk2 .
l (0) =
l=1
1
2
1
(< J(Yi )1 , Xl >)2
2
i=1
m
l (0) =
l=1
|J(Yi )1 |2 =
i=1
k 2
|x| .
2
(2.60)
i=1
|X(|y|2 )|2 =
l (0)2 =
(< J(2 )1 , Xl >)2 = |J(2 )1 |2 = |x|2 |y|2 .
l=1
l=1
R.
16:53
ws-book
60
Lf (g) =
|x(g)|2
,
f (g)2
Q1
m2
|Xf (g)|2 +
.
f (g)
f (g)3
1
4f 3
1
|X|2 ,
16f 6
[
L
(2.61)
]
3
2
|X|
.
4f 4
(2.62)
Since
X = 2(2 + |x|2 )X(|x|2 ) + 16X(|y|2 ),
using Lemmas 2.4.2 and 2.4.4 we obtain
|X|2 = 4(2 + |x|2 )2 |X(|x|2 )|2 + 162 |X(|y|2 )|2
(2.63)
(2.64)
Finally, replacing (2.63) and (2.64) in (2.62) we obtain the second part of
the lemma.
We can now give the proof of Theorem 2.4.1.
16:53
ws-book
61
Lu = u Q2 .
(2.65)
Lw = h (f )|Xf |2 + h (f )Lf
[
]
|x|2
Q1
m2
2
= h (f ) 2 + h (f )
|Xf | +
f
f
f3
]
[
2
Q1
m
h (f ) |Xf |2 +
h (f ).
= h (f ) +
f
f3
(2.66)
Q1
h (t) = 0,
t
h
(f
)
,
f3
f (Q+2)
which reduces to
=
This completes the proof.
m(Q 2)2
)(Q2)/4
16:53
ws-book
Chapter 3
3.1
Intoduction
Lu = u Q2 ,
u D 1,2 (G),
u 0.
(3.1)
(3.2)
(3.3)
for every g G.
In [108] the cylindrically symmetric functions were called biradial.
The main results of the chapter are Theorem 3.5.1 and Theorem 3.3.1
showing, respectively, that any entire solution with partial symmetry is
cylindrically symmetric and the classing all entire solutions with cylindrical symmetries.
63
64
16:53
3.2
First we recall the strong maximum principles of Bony [19] that will be
used. We specialize its statement to the context of Carnot groups, but
Theorem 3.2.1 holds in general for Hormander type operators.
Theorem 3.2.1. Let be a connected open set in a Carnot group G.
Assume that c 0 in and that c C(). If u C 2 () satises
Lu + Y u + c u 0
in
ws-book
16:53
Symmetries of solutions
ws-book
65
(3.4)
(3.5)
g B(g1 , R) .
u(g) > 0,
(3.6)
(3.7)
||c||L ()
,
2m
to conclude
L + 2 < X, X > 0
in B(go , R) .
(3.8)
We next use the hypothesis that possesses an interior gauge ball B(g1 , R)
tangent at go . By left-translation we assume without restriction that
66
16:53
ws-book
(g)
eM R
on the ring A = A(R, r) = B(e, R)\B(e, r), where 0 < r < R has been xed.
The constant M > 0 will be chosen shortly. An elementary computation,
using the fact that L(N 2Q )(g) = 0 for every g = e, see (2.13), gives
Q
L(N 2 )(g) =
|X(N 2 )(g)|2 ,
for g = e.
(3.9)
2N 2 (g)
Formula (3.9) allows to nd
Lh + 2 < X, Xh >
(3.10)
]
[
2
Q
) |X(N 2 )|2 2 < X, X(N 2 ) > .
= M eM N (M
2N 2
Using Theorem 2.4.4 we nd
1 2
< X, X(N 2 ) > =
N
[2|X|2 + < X, X(|y|2 ) >]
2
= 4N 2 2 = 4N 2 |XN |4 ,
(3.11)
since in a group of Heisenberg type one has |XN |2 = N 2 , which follows
easily from Lemmas 2.4.2 and 2.4.4. The identity (3.11) allows to conclude
that choosing M > 0 suciently large in (3.10) one obtains
Lh + 2 < X, Xh > 0
in A.
(3.12)
The continuity of u in and the compactness of B(e, r) implies the existence of > 0 such that the function h 0 on B(e, r). This inequality
continues to hold on B(e, R) since h = 0 on that set. By (3.8), (3.12) and
Theorem 3.2.1 we conclude h 0 in A. Since u, and h vanish in go
we conclude
u
h
(go ) = e(go )
(go ) e(go )
(go ),
where is any direction such that < , N > (go ) > 0, with N being
the exterior unit normal to B(e, R). At this point the conclusion follows
by observing that the function N (g) is homogeneous of degree one and
therefore denoting by Z the innitesimal generator of group dilations we
have ZN (g) = N (g) for every g = e. This identity implies in particular
that the Riemannian gradient of N (g), N , never vanishes in G \ {e}.
Since B(e, R) is a level set of N and N is directed outward, we infer
2 N
h
(go ) = 2M ReM R
(go ) < 0.
16:53
Symmetries of solutions
ws-book
67
68
3.3
16:53
ws-book
x < [X , X ], Y >
, =1
.
x
Using the exponential coordinates we have the following formula for the
sub-Laplacian of a function u : G R
Lu(g) = x u(g) +
=1
1
u
(g) + |x(g)|2 y u(g).
y
4
(3.13)
In (3.13) we have respectively denoted with x and y the standard Laplacian in Rm and Rk .
Proof. To avoid confusion, in the course of the proof we will keep the
distinct notation v(x, y) for the function u exp on the Lie algebra.
Here, we note explicitly that g = exp((g)) = exp(1 (g) + 2 (g)) =
m
k
exp ( =1 x (g)X + =1 y (g)Y ). By the Baker-Campbell-Hausdor
formula we have for every = 1, ..., m
v
u
t
t
X u(g) =
(exp( + tX + [, X ])) |t=0 =
( + tX + [, X ]) |t=0
t
2
t
2
1
v
v
1
=
< X + [, X ], X >
+
< X + [, X ], Y >
2
x
2
y
1
v
v
+
,
=
< [, X ], Y >
x
2
y
(3.14)
16:53
ws-book
Symmetries of solutions
69
where we have used the orthonormality of the involved vectors and the
stratication of g. We also note that
< [, X ], Y > = < [1 , X ], Y > .
We thus obtain from (3.14)
1
v
v
+
< [1 , X ], Y >
.
(3.15)
X u =
x
2
y
< [1 , X ], Y > =
x < [X , X ], Y > = 0.
x
x
< [1 , X ], Y > = 0.
y
Applying (3.15) twice and using (3.16) and (3.17) we nd
(
1
)
X2 u(g) =
< [1 , X ], Y >
+
x
2
y
(3.16)
(3.17)
( v
v )
1
< [1 , X ], Y >
+
x
2
y
v
+
x 2
< [1 , X ], Y >
2v
x y
1
2v
.
< [1 , X ], Y >< [1 , X ], Y >
4
y y
,
Summing in we obtain
v 1
2v
+
.
Lu = x v +
T
< [1 , X ], Y >< [1 , X ], Y >
y 4
y y
,,
Now we use (2.5) and orthonormality to further reduce the last term in the
right hand-side of the latter expression
2v
< [1 , X ], Y > < [1 , X ], Y >
y y
,,
)
< J(Y )1 , X > < J(Y )1 , X >
2v
y y
2v
= |x|2 y v.
y y
2v
y y
16:53
ws-book
70
|x(g)|2
y u(g).
4
(3.18)
x x
,
)
u
x
1
u
u
= < J(Y )1 , 1 >
= 0,
r
r
r
|x(g)|2
|y u(g)|2 .
4
(3.19)
1 (
u
u )2
< [1 , X ], Y >
T u
+
.
4
y
y
Since u has partial symmetry T u = 0 and the last term in the above
equality is zero. The second term is computed by using the orthogonality
of the map J and the orthonormality of the vector elds X and Y ,
(
< [1 , X ], Y >
u
u )2
=
< [1 , X ],
Y >2
y
y
u
u
Y )1 , X >2 = |J(
Y )1 |2
< J(
y
y
u
= |x(g)|2 |
Y |2 = |x(g)|2 |y u|2 .
y
16:53
Symmetries of solutions
ws-book
71
Remark 3.3.5. Proposition 3.3.3 underlines the important connection between the sub-Laplacian on a group of Heisenberg type and the BaouendiGrushin operator
|x(g)|2
y
4
acting on functions which possess partial symmetry.
x +
After the above preliminaries our next goal is to prove Theorem 3.3.1.
Before starting the proof however we introduce the relevant notation and
develop some preparatory results. In the remainder of this section we will
always identify a point g = exp(1 + 2 ) G with its exponential coordinates (x, y) = (x(g), (y(g)) Rm Rk , where x = x(g) = (x1 (g), ..., xm (g))
and y = y(g) = (y1 (g), ..., yk (g)) are dened by (2.49) and (2.50). For any
R we consider the characteristic half-spaces in G
= {g = (x, y) G | y1 < },
< 0,
(3.20)
= {g = (x, y) G | y1 > },
> 0.
(3.21)
and
(3.22)
N (g)
,
g
(3.23)
0 on
where K (g) is the function in Theorem 2.4.1. We observe that w
T . It is clear that v is singular in g = g and that v is singular in
g = e. However, thanks to Theorem 2.3.5, Lemma 2.3.6 and Theorem 2.3.7
we can remove the singularities so that v and v become entire solutions
72
16:53
ws-book
w
(g) = 0.
(3.24)
(3.25)
(3.26)
N (g)
We now write
v (g) v(g) = N (g )2Q [u((g )) u((g))] + [N (g )2Q N (g)2Q ] u((g)).
(3.27)
0 on .
Ro . Furthermore, for all || R02 we have w
Proof. The proof of (i) is easy. Suppose that for a certain one has
inf w
= m < 0.
| w
Consider the set A = {g
(g) m /2}. Equation (3.24) and
w 0 on T imply that A is a compact set. By the continuity of w
on
G we conclude the validity of (i).
To prove (ii) we begin by observing that thanks to Proposition 3.3.3 we
have
Lv (g) = Lv(g ).
(3.28)
16:53
ws-book
Symmetries of solutions
73
where
c (g) = (2* 1) 2*2 (g),
(3.30)
with (g) a real number between v(g ) and v(g). The equation satised
by w
can be obtained from (3.29) and from w = K w
,
Lw
+
(
LK )
2
< XK , X w
w
= 0.
> + c +
K
K
(3.31)
Co
,
(1 + N (g))Q2
g G.
(3.32)
We now show that there exist = (Co ) > 0 and Ro = Ro (Co ) > 0 such
that
LK
c (g) +
(g) < 0,
(3.33)
K
for N (g) Ro whenever w
(g) < 0. For such that
def
= {g | w
(g) < 0} =
consider (3.31) on . If g , we have v(g ) < v(g) and thus (3.32)
gives
Co
.
N (g)Q2
(3.34)
Since is between v(g) and v(g ) we conclude from (3.30) and (3.34) that
C1
(2 1)Co2 2
=
c (g)
.
N (g)4
N (g)(Q2)(2*2)
(3.35)
(3.36)
LK (g)
C1
m(Q 2)2
2
4
K (g)
N (g)
( + |x(g)|2 )2 + 16|y(g)|2
C1 N (g)4 + C1 (4 + 22 |x(g)|2 ) m(Q 2)2 N (g)4
(
)
=
N (g)4 (2 + |x(g)|2 )2 + 16|y(g)|2
74
16:53
ws-book
2C1
in the latter inequality, the coecient of N (g)4
If we choose 2 = m(Q2)
is negative, and it is then clear that we can fulll (3.33) for N (g) Ro for
some Ro = Ro (C1 ) > 0. From Theorem 3.2.1 we conclude that w
cannot
achieve a negative inmum for N (g) Ro in . This proves the rst part
of (ii). At this point we observe that
for every g .
N (g) ||,
It is therefore clear from the above argument that if we take || Ro2 , then
w
cannot achieve a negative inmum in . This completes the proof of
Lemma 3.3.6.
We are now ready to present the proof of Theorem 3.3.1.
def
in o ,
(3.37)
(3.38)
k , since by (i) of
Without restriction we can suppose w
k (gk ) = inf w
k
16:53
Symmetries of solutions
dw
k (gk ) = 0.
ws-book
75
(3.39)
In the proof of Lemma 3.3.6 we saw that the sequence {gk } is uniformly
bounded, in fact N (gk ) Ro . Possibly passing to a subsequence, we can
. By continuity from (3.38) and (3.39) we
thus assume that gk go
o
have w
o (go ) 0 and dw
o (go ) = 0. Since w
o > 0 in o , it must
be go To . Finally, w
o > 0 and dw
o (go ) = 0 contradict Theorem
3.2.2 by considering the derivative along any direction non-tangential to
the boundary. This shows that when o < 0 we have wo 0, i.e., v is
symmetric with respect to the hyperplane To .
If o = 0 we can repeat the above reasoning starting from = +
and then either stop at some 1 > 0, or at 1 = 0. In the former case
we can nish as above. In the latter we combine the conclusions of the two
cases to see that v(g) > v(g ) and v(g) < v(g ), i.e., v(g) = v(g )
for any g and g symmetric with respect to the hyperplane y1 = 0. In
either case, we conclude that v is symmetric with respect to T for some
. We note also that the restriction of v to lines perpendicular to T is a
monotonically decreasing function of the Euclidean distance to T . In order
to see this, suppose o < 0 so that T = To . Consider an arbitrary line
l perpendicular to To and let P1 , P2 o l, with P2 between P1 and
the intersection of To and l. By considering the plane T with respect to
which P1 and P2 are symmetric, using also the denition of o , we see that
v(P1 ) < v(P2 ). Arguing similarly in the case of o 0 we see that v
has the described monotonicity, when restricted to any line perpendicular
to To .
From Proposition 3.3.3, L is an operator invariant with respect to rotations in the center, when restricted to partially symmetric functions. Since
v has partial symmetry, v is invariant under such rotations. The previous
arguments show that for every direction in the center, Rk , there exists a hyperplane T = To Rk perpendicular to it, such that for every r > 0, v(r, )
is symmetric with respect to T . We note explicitly that T is independent of
r. In addition, v has the above monotonicity on lines perpendicular to T .
Since v is a continuous function and v(g) 0 when N (g) , every level
set is compact. Therefore, using also the monotonicity of v, for every r 0
and every regular value a, the level set v(r, ) = a is a connected closed
hypersurface of Rk , when it is non-empty. Furthermore, from the symmetry of v, every level set of the function v(r, ) dened on Rk , is symmetric
with respect to the hyperplane T . In view of Proposition 3.2.4 we infer that
76
16:53
ws-book
and from Sards theorem there exists a sequence {ak } of regular values such
that ak b. Since the level sets corresponding to regular values are Euclidean balls in Rk , their union is a ball as well. This shows that v(r, ) is
a radial function of its argument, after choosing suitably the origin of Rk .
Since the planes of symmetry are independent of r, the above choice of the
origin of Rk is independent of r as well. In other words v is a cylindrical
function.
The nal step is to reverse the roles of u and v, using the properties
of the Kelvin transform. In the beginning of the proof we noted that v is
an entire solution that has partial symmetry with respect to the identity
element. Since the Kelvin transform is an involution, from the rst step of
the proof we see that u has cylindrical symmetry, i.e., there exists an ho G
(in fact ho belongs to the center of G) such that ho u = (|x(g)|, |y(g)|).
Therefore,
ho go U = ho go U = (|x(g)|, |y(g)|)
and the proof of Theorem 3.3.1 is complete.
3.4
m(Q 2)2
(2 + |x(g)|2 )2 + 16|y(g)|2
) Q2
4
.
16:53
Symmetries of solutions
ws-book
77
Q 2 2 (Q+2)/(Q2)
) v
.
4
(3.41)
4
At this point we assume that u, and therefore , have cylindrical symmetry
with respect to the identity, i.e., there exists a function : [0, )[0, )
R+ such that we can write with g = exp(1 + 2 ) G
L = (
(3.43)
4
4
(3.44)
Passing to the spherical coordinates r = |1 |, s = |2 |, we obtain from (3.44)
1 +
r2
k1
m1
r +
(ss +
s )
r
4
s
Q2
1
Q2
r2 2
= (
+ 1) (2r +
)+
.
4
4 s
4
rr +
(3.45)
We now let
y=
r2
,
4
x = s,
(3.46)
4
y
xx + yy +
(3.47)
16:53
ws-book
78
b=
n + 2 ||2
a
b
n
x y + ,
2
x
y
2y
(3.49)
G = g + g ,
(3.50)
where
f = x
f = 2 < , x > 2 xy ,
||2
,
||2
,
g = (y )
(3.51)
(3.52)
fy + gx = 0
and therefore there exists a function P = P (x, y) such that
f = Px ,
g = Py .
(3.53)
(3.54)
(3.55)
(3.56)
2b
2a
2b
n
2a
< , x > < , y > + 2 2x + 2 2y 2 y .
x
y
x
y
y
2 < , () >= (n + 2)
16:53
Symmetries of solutions
ws-book
79
We also nd
n + 2 y ||2
< , y >
+ (n + 2)
2
2
b
n
a
b
xy yy + 2 y 2 .
x
y
y
2y
()y =
(3.57)
(3.58)
where = (x, y) is a strictly positive function on which will be determined subsequently. With F and G as in (3.50) we consider the dierential
expression
(hF )x (hG)y = h(fx gy ) h(fx + gy ) + hx F hy G
n+1
(y G x F )]
= h[P (fx + gy ) +
(3.59)
+ (n+1) (x F y G).
A computation gives
||4
||2
< 2 (), >
+
2
2
< , y >
y ||
2
,
+
2
fx + gy =
y G x F =
(3.60)
||4
2 < 2 (), > +2 < , y >
y ||2
. (3.61)
2
< 2 (), >
< , y >
2(n + 2)
+ 2(n + 2)
]
y ||2
(n + 2)
+ (n+1) (x F y G).
2
(3.62)
16:53
ws-book
80
2a
2b
2a 2
2b 2
n
< , x >
< , y > + 2 x + 2 y 2 y
x
y
x
y
y
(
2
n + 2 y ||
< , y >
+ (n + 2)
2
2
2
)
a
||4
b
||2
b
n
xy yy + 2 y 2
+ (n + 2)
x
y
y
2y
2
2(n + 2)
}
y ||2
(n+1)
(n + 2)
+
(x F y G).
2
(3.63)
(
)
||2
2b
2a 2 2b 2
n
< , x > < , y > + 2 x + 2 y 2 y
y
x
y
y
]
2b
n
2b
xy +
yy 2 y + 2 + (n+1) (x F y G). (3.64)
y
y
y
(hF )x (hG)y = h
2a
x
2a
+
x
(
)
2 ||2 ||2 ()2 +
x
y
2a 2 2b 2
n
2a
2b
n
2b
+ 2 x + 2 y 2 y +
xy +
yy 2 y + 2
x
y
y
x
y
y
y
a(n + 1) x ||2
b(n + 1) y ||2
n(n + 2) ||4
=
4
2
x
n(n + 1) ||2
2ab
a(a + 2) 2 b(b + 2) 2
+
+
x y +
x +
y
2y
xy
x2
y2
an
bn + n + 2b
n(n + 4)
x
y +
xy
y2
4y 2
2b
2a
2b
2a
< , x > < , y > +
xy +
yy . (3.65)
x
y
x
y
16:53
Symmetries of solutions
ws-book
81
We now calculate
[
]
x F y G = 2 x < , x > +y < , y >
2 < , y > < , >
||2
||2
+ y
. (3.66)
(
)2
||2
n(n + 2) ||4
2 2x
2 2y
2
2
=
+
a
(1
)
+
b
(1
)
+
+
4
2
n x2
n y2
n(n + 2) 1
a(n + 2) x ||2
b(n + 2) y ||2
+
2
4
y
x
2
n(n + 2) ||
2ab(n + 2) x y
a(n + 2)
b(n + 2)
+
+
x
y .
2y
n
xy
xy
y2
(3.67)
n+2
n
[
]
||2
2a
2b
x
y
2b
2b
n
2a
2b
n
2a
xy +
yy 2 y + 2
+ 2 2x + 2 2y 2 y +
x
y
y
x
y
y
y
(
)
2 2
||
n+2
2
2
2
a x ||
b y ||
n ||
4ab x y 2ab 2 2ab 2 2a
=
+
+ 2 x + 2 y + x
x
2y
n xy
nx
ny
xy
(2 1)n 2a
2b
+
82
16:53
ws-book
< , x >
< , y >
x
y
2b
2b
n
2a
2b
n
2a
xy +
yy 2 y + 2
+ 2 2x + 2 2y 2 y +
x
y
y
x
y
y
y
(
)
2 2
||
n+2
+ 1 (x F y G)
a x ||2
b y ||2
n ||2
4ab x y
2ab 2
2ab
=
+
+
x + 2 2y
2
x
2y
n xy
nx
ny
2a
(2 1)n
2a
2b
+
x +
< , x >
< , y >
xy
2y 2
x
y
b(1 2) a
2a
2b
+
xy +
yy +
y
x
y
y2
{ [
]
+ 1 2 x < , x > +y < , y >
}
||2
||2
2 < , y > < , >
+ y
. (3.69)
(3.70)
2b
2a
2b
2a
< , x > +
< , y >
xy
yy
=
x
y
x
y
b y ||2
b ||2
a x ||2
+
. (3.71)
nx2 x ny 2 y xy
4ab x y
(2 1)n b(1 2) a
+
+
y .
n
xy
2y 2
y2
We nally choose in (3.72) as follows
n
= .
2b
E=
(3.72)
(3.73)
16:53
Symmetries of solutions
ws-book
83
2ab 2
2ab
4ab x y
2a
2a
an
x + 2 2y
+
x 2 y +
2
nx
ny
n
xy
xy
y
2by 2
(
)2
y
n
2ab x
(
) . (3.74)
=
n
x
y
2by
(
)2
{[
]
||2
n+2
2 ||2 ||2 ()2 +
n
(
)2 }
y
n
2ab x
(
)
.
+
n
x
y
2by
|(z)| C|z|,
|2 (z)| C. (3.75)
y 1/2
,
2|z|
|2 | =
x
.
16|z|2
(3.76)
16:53
ws-book
84
both u and u* are entire solutions to (3.1) and they have the decay (3.22).
Using (3.46) again we obtain (3.75) for both u and u*. The bounds for the
derivatives follow from the homogeneity of the arguments of
( y 1/2
x )
(x, y) = |z|2 *
,
,
(3.77)
2|z| 16|z|2
( ) 4
where * = u* Q2 and from dierentiation.
We turn to the proof of Theorem 3.4.1.
Proof. We recall that we are assuming dimV2 = k 2, so that a 1,
and therefore h 0 on . We consider the functions and as in
Theorem 3.4.2 and Lemma 3.4.3. For every R > 0 set R = B(0, R),
R = B(0, R). Integrating the left-hand side of the identity in Theorem
3.4.2 we nd
1
[(hF )x (hG)y ] dxdy =
R
(3.78)
1
h [xF yG] ds C Rn 0
as R .
R
(3.79)
Combining (3.78) with (3.79) and with Theorem 3.4.2, we nally obtain
{[
]
(
)2
n+2
||2
2
2
2
h
2 || || () +
n
(
)2 }
y
n
2ab x
(
)
dxdy = 0.
+
n
x
y
2by
The latter equation implies
||2
x
y
n
= 0,
=
.
(3.80)
x
y
2by
From the rst two equations in (3.80) and from Lemma 3.4.3 we conclude
in a classical fashion (see, e.g., [169] or also [102]) that must be of the
type
2 ||2 ||2 = ()2 ,
(3.81)
16:53
Symmetries of solutions
ws-book
85
Q2
[(2 + |1 |2 )2 + 16|2 |2 ]
16m2
(3.83)
4/(Q2)
where 2 = Q2
, and that
mA . Finally, keeping in mind that = v
u = (1/)v, with given by (3.40), we obtain
3.5
the sequel we denote by X ps (G) the subset of D 1,2 (G) of the functions
having partial symmetry.
Theorem 3.5.2. Let G be a group of Iwasawa type. Consider the restrico
tion to X ps (G) of the embedding of D 1,2 (G) into L2Q/(Q2) (G). For every
o
)1/2
(
|u| dH(g)
S2ps
)1/2
|Xu|2 dH(g)
,
16:53
ws-book
86
with
S2ps
1
m(m + 2(k 1))
k
m+2k
m+k
2(m+2k)
(m + k)
(
)
m+k
2
1
) m+2k
(3.84)
(m + k)
((m + k)/2)
](m+2(k1))/2(m+2k)
.
1,2
(G) of the functions U
Proof. Let D 1,2
ps (G) denote the subspace of D
such that
o
def
2
1,2
2
Ips = inf
|Xu| dH : u D ps (G), u 0,
|u| dH = 1 , (3.85)
G
def
G
2
under left translation, and the fact that if U D 1,2 (G), then also |U |
o
D 1,2 (G) and |XU | = |X|U || for a.e. g G. From Theorem 1.5.2 the inf
o
2
Ips =
|Xv| dH,
v 2 dH = 1.
G
16:53
ws-book
Symmetries of solutions
87
1
Q/2
Ips = (m(Q 2))
dH(g)
.
Q/2
G [(1 + |x(g)|2 )2 + 16|y(g)|2 )]
(3.86)
To obtain the best constant S2 at this point we are left with the computation
of the integral in the right-hand side of (3.86). If U (g) = u(|x(g)|, |y(g)|)
L1 (G) is a function with cylindrical symmetry on G we have
U (g)dH(g) =
u(|x|, |y|)dxdy.
(3.87)
Rm Rk
Using (3.87) we nd
[(1 +
|x(g)|2 )2
1
Q/2
+ 16|y(g)|2 )]
=
Rm Rk
= 4k
[(1 +
Rm
dH(g)
dxdy
|x|2 )2
+ 16|y|2 )]
dx
(1 + |x|2 )Qk
Rk
n)
dt
n ( n
a
=
B
,
,
2 a
2
2
2
Rn (1 + |t| )
Q/2
dy
. (3.88)
(1 + |y|2 )Q/2
a>
n
,
2
(3.89)
2 n/2
(n/2)
and
B(x, y) =
(x) (y)
,
(x + y)
88
16:53
n
dt
n/2 (a 2 )
=
.
(3.90)
2 a
(a)
Rn (1 + |t| )
Using (3.90) in (3.88), and recalling that Q = m + 2k, we nally obtain
( m+k
1
2 )
dH(g) = 4k (m+k)/2
.
Q/2
2
2
2
(m
+
k)
G [(1 + |x(g)| ) + 16|y(g)| )]
(3.91)
Substitution of (3.91) into (3.86) gives
(
)2/Q
( m+k
2 )
I = m(Q 2) 4k (m+k)/2
.
(m + k)
Therefore,
1
(
) m+2k
m+k
k
1
(m
+
k)
ps
. (3.92)
S2 =
4 m+2k 2m+4k
( m+k
m(m + 2(k 1))
2 )
This completes the proof of Theorem 3.5.2.
We note explicitly that the above precise value of the best constant is valid
under the assumption that the horizontal gradient is taken with respect to
an orthonormal basis X1 , . . . , Xm of the rst layer for which the group is
of H-type, cf. (2.10) and the paragraph above it.
Remark 3.5.3. There is the conjecture made after [[75], Theorem 1.1] that
S2ps = S2 . This is conrmed in all but the octonian case due to the results
of G. Talenti [159] and Th. Aubin [14] and [16], D. Jerison and J. Lee [103]
- see also [70], and [96] - see Theorem 6.1.1 and Remark 6.7.5.
3.6
S
dz
dz
.
(3.93)
p,s
|x|s
Rm
Rm
ws-book
16:53
ws-book
Symmetries of solutions
89
Rnk
Rk
|u|
2(n1)
n2
|x|
dxdy
n2
) 2(n1)
(
Rm
|u|2 dz
) 12
(3.94)
Furthermore, K is given in (3.105) and the positive extremals are the functions
(
) n2
) n2
(
4
n2 2
2
2
2
(n1)
v = (n2)
)
+
|y
y
|
K
(|x|
+
,
o
(n 2)2
4a2
(3.95)
where > 0, yo Rnk .
In [127] the authors obtain independently the above theorem proving identities following the lines of [75]. In the proof below, [167], we show the
result as a direct consequence of Theorem 3.4.1 by relating extremals on
the Heisenberg groups to extremals in the Euclidean setting.
3.6.1
b
2a2 2b2
a + b + 2 ||2 a
+ x + y =
+
,
2
x
y
x
y
xy = 0. (3.96)
90
16:53
ws-book
x = and y = we have
def
a + b + 2 ||2
a
b
+ x + y
2
x
y
2
b
a + b + 2 2 ||
a
+
.
=
+
2
x
y
Since = 2 + 2 we have
b
n + 2 2 4( 2 + 2 ) a
+ 2 + 2
= 42
2
2 + 2
x
y
2b2
2a2
+
.
= 2n2 + 2a2 + 2b2 +
x
y
Hence, taking into account a + b = n, we proved =
2a2
x
2b2
y .
2n
2
16:53
ws-book
Symmetries of solutions
v = v n2
91
( p
q )
+
,
|x| |y|
(3.98)
where
p = (n 2)2 a,
q = (n 2)2 b.
(3.99)
2n
2
In this Section we give the proof of Theorem 3.6.2. By Theorems 2.1 and
2.5 of [18] there is a constant K for which (3.94) holds and this constant
is achieved, i.e., the equality is achieved. A non-negative
extremal u of
|u| n2
dxdy = 1
(3.100)
|x|
Rnk Rk
satises the Euler-Lagrange equation
u =
2(n1)
n
n2
u
,
|x|
u D1,2 (Rm ),
(3.101)
smooth in the y
on |x| = 0. Furthermore, u L
loc (R ) and u is C
0,
n
variables. In particular u Cloc (R ) for any 0 < < 1.
92
16:53
It was proven in [150] that there are extremals with cylindrical symmetry, i.e., functions depending only on |x| and |y| for which the inequality
becomes equality. On the other hand, it was shown in [129] that all extremals of inequality (3.93) when p = 2 have cylindrical symmetry after a
suitable translation in the y variable, see also [41] and [124] for some reo
lated results. Thus, if u D 1,2 (Rn ) is a function for which equality holds
in (3.93) then
i) for any y Rnk the function u(., y) is a radially symmetric decreasing
function in Rk ;
ii) there exists a yo Rnk such that for all x Rk the function u(x, .+yo )
is a radially symmetric decreasing function on Rnk .
Thus, by performing a translation if necessary, we can assume that u has
cylindrical symmetry. Introducing = |x|, r = |y| we have that u is a
function of and r. We dene U (, r) = u by restricting u to two lines
through the origin-one in Rk , the other in Rnk . From the regularity of u it
follows that U is a smooth function of r for any xed . For any xed r it is
a smooth function of when = 0, and Lipschitz for any . Furthermore,
in the rst quadrant > 0, r > 0 of the r-plane it satises the equation
n
(3.102)
U = U n2 .
Using the equation and the smoothness of U in r it is not hard to see that
U has bounded rst and second order derivatives on ( (0, 1) (0, 1) ), cf.
Lemma 3.6.5.
2
Let (, r) = U n2 . The calculations of Section 3.6.1 show that
satises the following equation in the plane
a
b
2 1
n ||2
+ + r
= 0,
(3.103)
2
r
n2
where a = k 1, b = n k 1. Let > 0 and consider = 1 . Clearly
is a solution of
2
a
b
2
1
n ||
+ + r
= 0.
2
r
(n 2)
4
2
i.e., = (n2)
Let us choose such that (n2)
= n2
2 . With this choice
2 ,
ws-book
16:53
ws-book
Symmetries of solutions
93
integrals on the and r axes vanish as U has bounded rst and second order derivatives in the punctured neighborhood of any point from the closed
rst quadrant, a fact [which we observed] above. Hence (3.81) after setting
n2 2
2
. Recalling that = and the
|A| = gives = 2 (r + 4a
2) + s
value of we come to
= 2
]
4 [
n2 2
(r +
) + s2 .
2
2
(n 2)
4a
(|x|
+
(n 2)2
4a2
[
] n2
( n 2 )n2
n2 2
2
2
K (n1) (|x| +
)
+
|y|
.
= (n2)
2
4a2
The value of K is determined by (3.100) after xing arbitrarily, say
= 1, since the value of the integral in (3.100) is independent of . With
this goal in mind we set p = n2
4a and note the identity
1=
Rnk
Rk
=
K
2(n1)2
n2
]
1
1 [( n 2 )n2 1
n2
|x|
2
K n1 [(|x| + p)2 + |y|2 ] 2
( n 2 )2(n1)
2
Rnk
Rk
2(n1)
n2
dxdy
1
1
dxdy.
[
]
|x| (|x| + p)2 + |y|2 n1
(3.104)
Rnk
1
1
dy = n+k2
(a2 + |y|2 )n1
a
1
dy
(1 + |y|2 )n1
nk
nk n+k
=
B(
,
1),
n+k2
2a
2
2
Rnk
1
k
rk2
dr
dx
=
n+k2
n+k+1
p
(r + 1)n+k2
Rk |x|(|x| + p)
0
k
= n+k+1 B(k 1, n 1).
p
16:53
94
2(n1)2
n2
( n 2 )2(n1)
nk n+k
k
,
1) n+k+1 B(k 1, n + k 1)
2
2
p
nk n+k
= 22k+3 (n 2)nk3 (k 1)n+k+1 nk k B(
,
1)B(k 1, n 1).
2
2
(3.105)
nk
B(
The proof of Theorem 3.6.2 is complete taking into account the allowed
translations in the y variable.
In the above proof we used the following simple ODE lemma, which can
be proved by integrating the equation.
Lemma 3.6.5. Suppose f is a smooth function on R \ {0}, which is also
locally Lipschitz on R, i.e., on any compact interval there is a constant
L, such that, |f (t ) f (t )| L |t t | for any two points t , t on this
interval. If f satises the equation
k
a
t > 0,
f = + b,
t
t
where k is a constant k > 1 and a, b are L
loc functions, then f has bounded
rst and second order derivatives near the origin.
f +
ws-book
February 9, 2011
9:19
PART II
Geometry
95
ws-book
16:49
Chapter 4
Introduction
Quaternionic contact structures (qc structures for short), [24; 25], are central for the second part of the book. Such a structure appears naturally
as the conformal boundary at innity of the quaternionic hyperbolic space,
see also [136; 83; 64]. Given a qc structure there is a distinguished linear
connection [24], called the Biquard connection, which plays a role similar
to the Tanaka-Webster connection [169] and [160] in the CR case.
The goal of this Chapter is to dene, give examples, and prove some
fundamental properties of manifolds equipped with a qc structure.
In Section 4.2 we give a detailed derivation of the construction and
properties of the Biquard connection studying its torsion. We describe in
detail the structure of the horizontal torsion endomorphism of the Biquard
connection showing that this is the obstruction a qc structure to be locally
isomorphic to (positive or negative) 3-Sasakian structure. We derive local
structure equations of a qc-manifold using the basic objects of the structure
- the contact forms, the corresponding Reeb vector elds and the horizontal
torsion endomorphism. In Section 4.3 we continue with a study of the
corresponding qc-Ricci tensor and qc-scalar curvature, dened in (4.63).
With the help of the Bianchis identities we derive fundamental properties
and formulas for the qc curvature, qc-Ricci tensor and the connection 1forms. In particular, we shall see that the two components of the horizontal
torsion endomorphism and the qc-scalar curvature determine completely
the curvature of the Biquard connection in vertical directions as well as
the traceless part of the qc-Ricci tensor. In Section 4.3.4 we introduce
the quaternionic Heisenberg group as the at model of a qc structure in
addition to some other noteworthy examples.
97
ws-book
98
16:53
In the subsequent Section 4.4 we present an in-depth study of qcEinstein structures, introduced in [94]. These special qc structures turn
out to be not only of crucial importance when studying the Yamabe equation, but also a direct link to the extensively studied 3-Sasakian structures.
We shall nd the local structure equations of a qc-Einstein manifold and
show the (local) equivalence with a 3-Sasakian manifold by considering
cones over qc structures, Theorems 4.4.3 and 4.4.4.
Convention 4.1.1. Everywhere in Part 2 of the book we use the following
conventions:
X, Y, Z, U denote horizontal vector elds, X, Y, Z, U H;
A, B, C, D stand for arbitrary vector elds, A, B, C, D (T M );
{e1 , . . . , e4n } denotes an orthonormal basis of the horizontal space H;
The summation convention over repeated vectors from the basis
{e1 , . . . , e4n } will be used. For example, for a (0,4)-tensor P , the formula
4n
k = P (eb , ea , ea , eb ) means k = a,b=1 P (eb , ea , ea , eb );
e) The triple (i, j, k) denotes any cyclic permutation of (1, 2, 3). In particular, any equation involving i, j, k holds for any such permutation.
f) s and t will be any numbers from the set {1, 2, 3}, s, t {1, 2, 3}.
a)
b)
c)
d)
4.2
ws-book
17:54
ws-book
99
qo q =
=1 qo q , see Section 4.3.4 for notations concerning the qc
group G(H). It is important to observe that if M has a quaternionic contact
structure as above then the denition implies that the distribution H and
its commutators generate the tangent space at every point. A manifold M
with a structure as above will be called also quaternionic contact manifold
(qc manifold) and denoted by (M, [g], Q).
The following is another, more explicit, denition of a quaternionic contact structure.
Definition 4.2.1. [24] A quaternionic contact (qc) manifold (M, [g], Q) is
a 4n + 3-dimensional manifold M with a codimension three distribution H
such that
i) H has an conformal Sp(n)Sp(1) structure, that is, it is equipped
with a conformal class of Riemannian metrics [g] and a rankthree bundle Q consisting of (1,1)-tensors on H locally generated by three almost complex structures I1 , I2 , I3 on H satisfying
the identities of the imaginary unit quaternions, I1 I2 = I2 I1 =
I3 , I1 I2 I3 = id|H which are hermitian compatible with any metric g [g], g(Is ., Is .) = g(., .).
ii) H is locally given as the kernel of a 1-form = (1 , 2 , 3 ) with
values in R3 and the following compatibility condition holds
2g(Is X, Y ) = ds (X, Y ),
g [g].
(4.1)
ys = 0,
V,
(4.2)
100
16:53
form. In this case, if we rotate the R3 -valued contact form and the almost
complex structures by the same rotation we obtain again a contact form,
almost complex structures and a metric on H (the latter is unchanged)
satisfying the above conditions. On the other hand, it is important to
observe that given a contact form the almost complex structures and the
horizontal metric are unique if they exist. Finally, if we are given the
horizontal bundle and a metric on it, there exists at most one sphere of
associated contact forms with a corresponding sphere Q of almost complex
structures [24]. This is the content of the next Lemma.
Lemma 4.2.2. [24] Let (M, [g], Q) be a qc manifold. Then:
a) If (, Is , g) and (, Is , g ) are two qc structures on M , then Is = Is and
g = g .
ws-book
16:53
ws-book
101
(4.3)
4+ = + I1 I1 + I2 I2 I3 I3 .
The two Sp(n)Sp(1)-invariant components are given by
[3] = +++ ,
[1] = + + + + +
3 + I1 I1 + I2 I2 + I3 I3 = 0,
= [1]
I1 I1 I2 I2 I3 I3 = 0.
(4.4)
Denoting the corresponding (0,2) tensor via g by the same letter one
sees that the Sp(n)Sp(1)-invariant components are the projections on the
eigenspaces of the Casimir operator
= I1 I1 + I2 I2 + I3 I3
(4.5)
102
16:53
ws-book
16:41
ws-book
103
The vector elds 1 , 2 , 3 are called Reeb vector elds or fundamental vector elds.
If the dimension of M is seven, the conditions (4.7) do not always hold.
Duchemin shows in [61] that if we assume, in addition, the existence of
Reeb vector elds as in (4.7), then Theorem 4.2.4 holds. Henceforth, by a
quaternionic contact (qc) structure in dimension 7 we shall always mean a
qc structure satisfying (4.7).
Notice that equations (4.7) are invariant under the natural SO(3) action.
Using the Reeb vector elds we extend g to a metric on M by requiring
span{1 , 2 , 3 } = V H and g(s , k ) = sk .
(4.8)
The extended metric does not depend on the action of SO(3) on V , but
it changes in an obvious manner if is multiplied by a conformal factor.
Clearly, the Biquard connection preserves the extended metric on T M ,
g = 0. We shall also extend the quternionic structure by setting Is|V = 0.
We state and prove the Biquard theorem in a slightly dierent way.
First recall that the torsion tensor T of a linear connection is dened by
T (A, B) = A B B A [A, B].
We denote the torsion tensor of type (3,0) by the same letter,
T (A, B, C) = g(T (A, B), C) = g(A B B A [A, B], C).
(4.9)
Theorem 4.2.5. Let (M, g, Q) be a quaternionic contact manifold of dimension 4n + 3 and a xed metric g on H in the conformal class [g].
Suppose the Reeb vector elds do exists also if the dimension is seven and
denote with V = span{1 , 2 , 3 } the vertical space to H. Then there exists
a unique connection on M with torsion T preserving the extendet metric
g, g = 0 satisfying the following conditions
Ii = j Ik + k Ij ;
i = j k + k j ;
s (X, Y )s ;
(4.10)
(4.11)
s=1
T (, X, s ) = 0
T (, X) = X [, X]|H ,
V,
(4.12)
16:41
104
ws-book
(4.15)
Set A = j , B = Y into (4.15) and apply (4.12) to get (see also [24])
di (j , Y ) = k (Y ) = dj (i , Y ).
(4.16)
(4.17)
(4.18)
(4.19)
(4.20)
16:53
ws-book
105
(4.22)
(4.23)
(4.24)
(4.25)
(4.26)
(4.27)
(4.28)
s=1
s (s ydl ) +
s<t
dl (s , t )s t .
(4.29)
16:53
ws-book
106
Combining (4.29) and (4.28), we obtain after a short calculation using (4.7)
and (4.16) that
(Li i )(X, Y ) = di (i , j )j (X, Y ) + di (i , k )k (X, Y )
(4.30)
and
2(Li j )(X, Y ) = (d(i ydj ) (i ydk ) (k ydj ))(X, Y )
= (dk + i j )(X, Y ) dj (i , [X, Y ]|V ) + k ([X, Y ]|V )
= (dk + i j )(X, Y ) + 2j (X, Y )dj (i , j ) + 2k (X, Y )dj (i , k )
2i (X, Y )k (i ) 2j (X, Y )k (j ) 2k (X, Y )k (k )
(4.31)
and also
2(Lj i )(X, Y ) = (d(j ydi ) (j ydk ) (k ydi ))(X, Y )
= (dk + i j )(X, Y ) + 2i (X, Y )di (j , i ) + 2k (X, Y )di (j , k )
+ 2i (X, Y )k (i ) + 2j (X, Y )k (j ) + 2k (X, Y )k (k ).
(4.32)
(4.34)
T (i , X, Ii Y ) = T (i , Y, Ii X).
(4.35)
di (i , k ) = j (i ).
(4.36)
When we add (4.31) and (4.32) and then compare the result with the sum
of (4.22) and (4.23) we see
(Li j + Lj i )(X, Y )
= di (j , i )i (X, Y ) + dj (i , j )j (X, Y )
+ (di (j , k ) + dj (i , k ))k (X, Y )
= (i (i ) j (j ))k (X, Y ) + k (j )j (X, Y ) k (i )i (X, Y )
T (j , X, Ii Y ) + T (j , Y, Ii X) T (i , X, Ij Y ) + T (i , Y, Ij X). (4.37)
Applying (4.36) to (4.37) yields
[
]
di (j , k ) + dj (i , k ) i (i ) + j (j k (X, Y )
= T (j , X, Ii Y ) + T (j , Y, Ii X) T (i , X, Ij Y ) + T (i , Y, Ij X). (4.38)
16:53
ws-book
107
Considering the traceless part of (4.38) together with (4.27) shows that
T (j , X, Ii Y ) T (j , Y, Ii X) + T (i , X, Ij Y ) T (i , Y, Ij X) = 0, (4.39)
while the trace part of (4.38) gives
i (i ) j (j ) = di (j , k ) dj (k , i ).
(4.40)
(4.41)
(4.42)
The properties of the torsion endomorphism are encoded into (4.35) and
(4.39). Decomposing (4.35) into symmetric and skew-symmetric parts gives
T 0 (s , Is X, Is Y ) = T 0 (s , X, Y );
S(s , Is X, Is Y ) = S(s , X, Y ).
(4.43)
(4.46)
The tensor T 0 does not depend on the particular choice of the Reeb vector
elds and is invariant under the natural action of SO(3). Indeed, if s =
3
3
3
108
16:53
ws-book
which tells us that the tensor Ts0 is symmetric and anti-invariant with respect to Is .
The second equality of (4.43) gives
Us (X, Y ) = S(s , Is X, Y ) = S(s , X, Is Y ) = Us (Y, X),
Us (Is X, Is Y ) = S(s , X, Is Y ) = S(s , Is X, Y ) = Us (X, Y ),
(4.48)
which shows that the tensor Us is symmetric and invariant with respect to
Is .
Using again (4.43), (4.47) and (4.48) we rewrite (4.44) and (4.45) as
follows
Ti0 (X, Y ) Ti0 (Ij X, Ij Y ) = Tj0 (X, Y ) + Tj0 (Ik X, Ik Y ),
Ui (X, Y ) + Ui (Ij X, Ij Y ) = Uj (X, Y ) + Uj (Ik X, Ik Y ).
(4.49)
(4.50)
and determines the symmetric part of the torsion endomorphism via the
formula
)
1( 0
(4.51)
T 0 (s , Is X, Y ) =
T (X, Y ) T 0 (Is X, Is Y ) .
4
Proof of Lemma 4.2.6. The rst part follows from (4.27). Using the rst
equality in (4.43) we rewrite the rst equality in (4.49) in the form
Ti0 (X, Y ) Ti0 (Ik X, Ik Y ) = Tj0 (Ii X, Ii Y ) Tj0 (X, Y ).
The cyclic sum of {i, j, k} in the latter equality as well as in the rst equality
in (4.49) gives
Ti0 (Ik X, Ik Y ) + Tj0 (Ii X, Ii Y ) + Tk0 (Ij X, Ij Y ) = 0,
Ti0 (Ij X, Ij Y ) + Tj0 (Ik X, Ik Y ) + Tk0 (Ii X, Ii Y ) = 0.
Summing up the above two equalities using the rst equality in (4.43) gives
(4.50) according to the denition of T 0 given in the rst equality of (4.46)
which proves the rst part of the lemma.
The second part of the lemma follows from the (4.46), (4.47) and the
just proved (4.51) in a straightforward way. The lemma is proved.
16:53
ws-book
109
Lemma 4.2.7.
a) The three symmetric tensors Us are all equal, Us = Ut .
b) The symmetric trace-free tensor dened by U = Ui commutes with each
of the almost complex strictures Is ,
U (X, Y ) = U (Ii X, Ii Y ) = U (Ij X, Ij Y ) = U (Ik X, Ik Y )
(4.52)
(4.53)
(4.55)
110
16:53
The main purpose of this section is to show that the curvature of the Biquard connection is completely determined by its restriction to H and the
torsion.
Let R = [, ] [ , ] be the curvature tensor of . The curvature
operator RBC preserves the qc structure on M since preserves it. In particular RBC preserves the distributions H and V , the quaternionic structure Q on H and the (2, 1) tensor . Moreover, the action of RBC on V is
completely determined by its action on H,
RBC s = 1 ([RBC , Is ]).
ws-book
16:53
ws-book
111
Lemma 4.3.2.
a) The curvature of the Biquard connection decomposes on H as follows
0
X + 1 (B, C)I1 X + 2 (B, C)I2 X + 3 (B, C)I3 X,
RBC X = RBC
(4.62)
Proof. The rst two identities follow directly from the denitions. Using
(4.10), we calculate that on H we have
RBC Ii Ii RBC = B C Ii c B Ii [B,C] Ii
= B (k (C)Ij j (C)Ik ) C (k (B)Ij j (B)Ik )
(k ([B, C])Ij j ([B, C])Ik )
= (dj + k i )(B, C)Ik + (dk + i j )(B, C)Ij .
Now (4.61) follows from (4.60).
Similarly, using (4.10) and (4.61), we obtain
R(B, C)i = (dj + k i )(B, C)k + (dk + i j )(B, C)j
= 2j (B, C)k + k (B, C)j .
Scal = Ric(ea , ea ).
(4.63)
16:53
ws-book
112
(4.64)
where (A,B,C) denotes the cyclic sum over the three tangent vectors. With
this notation the rst Bianchi identity reads as follows
}
(
)
{
R(A, B, C, D) = g b(A, B, C), D = b(A, B, C, D).
(4.66)
(A,B,C)
In what follows we need the well known formula interchanging the places of
the rst couple and the second couple arguments of the curvature tensor,
valid for any metric connection having non-trivial torsion.
The curvature of a linear connection preserving the metric is skewsymmetric with respect to the last two arguments, R(A, B, C, D) =
R(A, B, D, C). One checks directly that the rst Bianchi identity (4.66)
yields
Lemma 4.3.4. The curvature R of a metric connection with torsion T
satises
(
)
1
1
R(A, B, C, D) R(C, D, A, B) = b(A, B, C, D) + b(B, C, D, A)
2
2
1
1
b(A, C, D, B) b(A, B, D, C). (4.67)
2
2
16:53
ws-book
113
The next result was originally proved in [94] and stated in the form
below in [97].
Theorem 4.3.5. On a (4n + 3)-dimensional qc manifold, the horizontal
Ricci tensors Ric and s (X, Is Y ) are symmetric and the horizontal Ricci
tensors s (X, Is Y ), s (X, Is Y ) are symmetric (1,1) tensors with respect to
Is and the next formulas hold
Ric(X, Y ) =
Scal
g(X, Y )
4n
+ (2n + 2)T 0 (X, Y ) + (4n + 10)U (X, Y );
s (X, Is Y ) =
s (X, Is Y ) =
Scal
g(X, Y )
8n(n + 2)
]
1[
T 0 (X, Y ) + T 0 (Is X, Is Y ) 2U (X, Y );
2
Scal
g(X, Y )
8n(n + 2)
]
n + 2[ 0
T (X, Y ) + T 0 (Is X, Is Y ) ;
2n
Scal
g(X, Y )
16n(n + 2)
1 0
2n + 1
2n + 1 0
T (X, Y ) +
T (Is X, Is Y ) +
U (X, Y );
+
4n
4n
2n
(4.68)
(4.69)
(4.70)
s (X, Is Y ) =
X(Scal)
32n(n + 2))
1
+ (i (j , Ik X) + j (k , Ii X) + k (i , Ij X)) ;
2
i (i , j ) + k (k , j ) =
1
j (Scal).
16n(n + 2)
(4.71)
(4.72)
(4.73)
(4.74)
(4.75)
(4.76)
16:53
114
ws-book
(4.77)
(4.79)
(4.81)
16:53
ws-book
115
(4.82)
g(T (X Y, Z), W ) = 0.
(X,Y,Z)
(X,Y,Z)
)
(
1
1
s (X, Y ) 2U (Is Z, W ) T 0 (Is Z, W ) T 0 (Z, Is W ) .
2
2
(4.83)
Applying Lemmas 4.2.6 and 4.2.7 to (4.83), we obtain after some standard
calculations that
b(ea , X, Y, Is ea ) = b(X, Y, ea , Is ea )
= 4U (Is X, Y ) + 2T 0 (Is X, Y ) 2T 0 (X, Is Y ).
(4.84)
(4.85)
Substitute (4.84) and (4.85) into (4.82) and use (4.78) to conclude
]
n + 2[ 0
T (X, Is Y ) T 0 (Is X, Y ) . (4.86)
s (X, Y ) = s (X, Y ) +
2n
Similarly, inserting (4.86) and (4.85) into (4.81) we nd
1
s g(X, Y )
2
2n + 1 0
1 0
2n + 1
T (X, Is Y ) +
T (Is X, Y )
U (X, Is Y ).
4n
4n
2n
The equality (4.87) together with (4.80) yield
s (X, Y ) =
(4.87)
(4.88)
16:53
116
Take the trace in (4.88) and use Lemmas 4.2.6 and 4.2.7 to conclude
Scal
(4.89)
=
8n(n + 2)
Insert (4.89) into (4.88), (4.87) and (4.86) to obtain (4.68), (4.71) and
(4.70). The equalities (4.89) together with (4.41) and (4.34) imply (4.72)
and (4.73).
Since preserves the splitting H V , the rst Bianchi identity, (4.66)
and (4.60) imply
2k (j , X) = R(j , X, i , j )
{(i T )(j , X, j ) + T (T (i , j ), X, j )}
=
i ,j ,X
= (X T )(i , j , j ) + T (T (i , j ), X, j )
= T ([i , j ]H , X, j ) = g([[i , j ]H , X], j ) = dj ([i , j ]H , X)
= 2j ([i , j ], X) = 2T (i , j , Ij X), (4.90)
where we used (4.73) and (4.10) for the third equality and (4.73) to establish
the last line. This proves (4.74).
Similarly, using the just proved (4.74), we obtain
2i (X, i ) + 2j (X, j ) = R(X, i , j , k ) + R(j , X, i , k )
=
{(i T )(j , X, k ) + T (T (i , j ), X, k )}
i ,j ,X
X(Scal)
2k ([i , j ], X)
8n(n + 2)
X(Scal)
=
2k (Ij X, i ), (4.91)
8n(n + 2)
where we used (4.73) and (4.34) in the third line.
Take the cyclic permutations of the indices i, j, k in (4.91), summing up
the rst two obtained equalities and subtracting the third one, we obtain
(4.75).
Since preserves the splitting H V , the rst Bianchi identity , (4.74)
(4.73) and (4.34) imply
2(i (i , j ) + k (k , j )) =
R(i , j , k , j )
= (X T )(i , j , k ) + T (T (i , j ), X, k ) =
i ,j ,k
{(i T )(j , k , j ) + T (T (i , j ), k , j )}
i ,j ,k
1
j (Scal)
8n(n + 2)
ws-book
16:53
ws-book
117
(4.92)
Scal
16n(n + 2)
)
1 (
is d1 (2 , 3 ) + d2 (3 , 1 ) + d3 (1 , 2 ) . (4.93)
2
Proof. The equality (4.92) is a combination of (4.16) and (4.34) and it
was proved in [24]. Substitute (4.89) into (4.42) to get (4.93).
Taking the suitable traces and comparing the Sp(n)Sp(1)-invariant parts
in (4.68), (4.69), (4.70) and (4.71), we obtain at once the next Corollary.
Corollary 4.3.7.
a) The qc-scalar curvature satises the equalities
Scal
= i (Ii ea , ea ) = i (Ii ea , ea ) = 2i (Ii ea , ea ).
2(n + 2)
b) The tensors T 0 determines the traceless [-1]-component of the horizontal
Ricci-type tensors while the tensor U determines the traceless part of the
[3]-component of the horizontal Ricci-type tensors. For example, (4.68)
yields
T0 =
4.3.2
1
Ric[1] ,
2n + 2
U=
1
Ric[3][0] .
4n + 10
(4.94)
16:53
ws-book
118
(4.95)
di = j (k + sk ) k (j + sj )
1
k j + j k + ds j k ,
2
d =
]
2i (k j j k ) + ds i j k ,
(4.96)
(4.97)
(ijk)
are the Ricci 2-forms and (ijk) is the cyclic sum of even permutations of
{1, 2, 3}.
Proof. A straightforward calculation using (4.92) and (4.93) gives the
equivalence of (4.29) and (4.95). Taking the exterior derivative of (4.95),
followed by an application of (4.95), (4.61) and (4.62) implies (4.96). The
last formula, (4.97), follows from (4.96) and denition (4.94).
The next result originally proved in [98] expresses the tensors T 0 and U
in terms of the exterior derivative of the fundamental four form. We have
Theorem 4.3.9. On a qc manifold of dimension (4n + 3) > 7 we have the
identities
U (X, Y ) =
]
1 [
d(i , X, Ik Y, ea , Ij ea ) + d(i , Ii X, Ij Y, ea , Ij ea )
16n
(4.98)
T 0 (X, Y ) =
]
[
1
d(i , X, Ik Y, ea , Ij ea ) d(i , Ii X, Ij Y, ea , Ij ea ) . (4.99)
8(1 n)
(ijk)
16:53
ws-book
119
Proof. Equation (4.97) together with the second equality in Theorem 4.3.5
yield
d(i , X, Ik Y, ea , Ij ea )
= 4(n 1)0k (X, Ik Y ) + 20j (X, Ij Y ) 20j (Ii X, Ik Y ),
(4.100)
]
1[ 0
T (X, Y ) + T 0 (Is X, Is Y ) 2U (X, Y ).
2
(4.101)
(4.102)
Applying again Lemmas 4.2.6 and 4.2.7 to (4.102), we see that U and
T 0 satisfy (4.98) and (4.99), respectively which completes the proof.
The well-known Cartan formula applied for the fundamental four form gives
Ls = s yd + d(s y) = s yd,
since is horizontal. The latter formula and Theorem 4.3.9 yield
Corollary 4.3.10. If one of the Reeb vector elds preserves the fundamental four form on a qc manifold of dimension (4n + 3) > 7 then U = 0 and
the torsion endomorphism of Biquard connection is symmetric, Ts = T0s .
If on a qc manifold of dimension (4n+3) > 7 each Reeb vector eld preserves the fundamental four form, Ls = 0 then the torsion endomorphism
of Biquard connection vanishes, Ts = T 0 = U = 0.
4.3.3
The next result, originaly proved in [94] and [97] describes the curvature of
the Biquard connection. We have
16:53
ws-book
120
Theorem 4.3.11. On a QC manifold the curvature of the Biquard connection satises the equalities:
R(X, Y, Z, V ) R(Z, V, X, Y )
3 [
]
=2
s (X, Y )U (Is Z, V ) s (Z, V )U (Is X, Y )
s=1
3 [
]
s (X, Z)T 0 (s , Y, V ) + s (Y, V )T 0 (s , Z, X)
s=1
+2
3 [
]
s (Y, Z)T 0 (s X, V ) + s (X, V )T 0 (s , Z, Y ) . (4.103)
s=1
The [3]-componenet of the horizontal curvature with respect to the rst two
arguments is given by
3R(X, Y, Z, V )
R(Is X, Is Y, Z, V ))
s=1
[
]
= 2 g(Y, Z)T 0 (X, V ) + g(X, V )T 0 (Z, Y )
[
]
2 g(Z, X)T 0 (Y, V ) + g(V, Y )T 0 (Z, X)
2
3 [
]
s (Y, Z)T 0 (X, Is V ) + s (X, V )T 0 (Z, Is Y )
s=1
+2
3 [
]
3 [
(
)
]
Scal
s (X, Y )s (Z, V ).
2n(n + 2) s=1
3
(4.104)
16:53
ws-book
121
(4.105)
The vertical part of the Biquard curvature satises the next equality
R(i , j , X, Y ) = (i U )(Ij X, Y ) (j U )(Ii X, Y )
]
1[
(i T 0 )(Ij X, Y ) + (i T 0 )(X, Ij Y )
4
]
1[
+ (j T 0 )(Ii X, Y ) + (j T 0 )(X, Ii Y )
4
Scal
T (k , X, Y )
(X k )(Ii Y, i )
8n(n + 2)
T (j , X, ea )T (i , ea , Y ) + T (j , ea , Y )T (i , X, ea ),
(4.106)
3(2n + 1)i (i , X) =
1
3
(ea T 0 )(ea , X) (ea T 0 )(Ii ea , Ii X)
4
4
2n + 1
X(Scal),
(ea U )(X, ea ) +
16n(n + 2)
(4.107)
(2n + 1)(2n 1)
X(Scal) + 2(n + 1)(ea U )(X, ea )
16n(n + 2)
3
4n + 1
+
(ea T 0 )(ea , X) + (ea T 0 )(Ii ea , Ii X).
4
4
(4.108)
Proof. The rst Bianchi identity (4.66), its consequence (4.67) together
with the help of Lemma 4.2.6, Lemma 4.2.7 and (4.11) imply the identity
(4.103) in a straightforward way.
16:41
122
Taking into account (4.103) and (4.60), the properties of the torsion
listed in Lemmas 4.2.6 and 4.2.7, we nd
R(X, Y, Z, V ) R(Ii X, Ii Y, Z, V ) =
2j (X, Y )j (Z, V ) + 2k (X, Y )k (Z, V )
+ 4j (X, Y )U (Ij Z, V ) + 4k (X, Y )U (Ik Z, V )
4j (Z, V )U (Ij X, Y ) 4k (Z, V )U (Ik X, Y ) (4.109)
[
]
+ 2 g(Y, Z)T 0 (i , Ii X, V ) + g(X, V )T 0 (i , Ii Z, Y )
[
]
2 g(Z, X)T 0 (i , Ii Y, V ) + g(V, Y )T 0 (i , Ii Z, X)
[
]
+ 2 i (Y, Z)T 0 (i , X, V ) + i (X, V )T 0 (i , Z, Y )
[
]
2 i (X, Z)T 0 (i , Y, V ) + i (Y, V )T 0 (i , Z, X)
(
)]
1[
j (Y, Z) T 0 (X, Ij V ) T 0 (Ii X, Ik V )
2
(
)]
1[
k (Y, Z) T 0 (X, Ik V ) + T 0 (Ii X, Ij V )
2
(
)]
1[
j (X, V ) T 0 (Y, Ij Z) T 0 (Ii Y, Ik Z)
2
(
)]
1[
k (X, V ) T 0 (Y, Ik Z) + T 0 (Ii Y, Ij Z)
2
(
)]
1[
+ j (X, Z) T 0 (Y, Ij V ) T 0 (Ii Y, Ik V )
2
(
)]
1[
+ k (X, Z) T 0 (Y, Ik V ) + T 0 (Ii Y, Ij V )
2
(
)]
1[
+ j (Y, V ) T 0 (X, Ij Z) T 0 (Ii X, Ik Z)
2
(
)]
1[
+ k (Y, V ) T 0 (X, Ik Z) + T 0 (Ii X, Ij Z) .
2
Now, equality (4.104) follows from (4.109) and Theorem 4.3.5.
Invoking (4.65) and applying (4.11) and Theorem 4.3.5 we have
ws-book
16:53
ws-book
123
where we used Lemma 4.2.6, Lemma 4.2.7 and the two equalities in (4.10)
to pass from the second to the third equality.
A substitution of (4.110) in (4.67) implies (4.105).
If we take the trace in (4.105) and apply (4.73) and (4.72) we come to
1
1
ni (i , X) + k (Ij X, i ) + j (Ii X, k )
2
2
1
1
= (ea T 0 )(ea , X) (ea T 0 )(Ii ea , Ii X).
8
8
Summing (4.111) and (4.75), we obtain
(4.111)
1
(n + 1)i (i , X) + i (Ik X, j )
2
1
1
X(Scal)
0
= (ea T )(ea , X) (ea T 0 )(Ii ea , Ii X) +
. (4.112)
8
8
32n(n + 2)
The second Bianchi identity
}
{
(A R)(B, C, D, E) + R(T (A, B), C, D, E) = 0
(4.113)
(A,B,C)
(X R)(Y, Z, V, W ) + 2
s (X, Y )R(s , Z, V, W ) = 0. (4.114)
(X,Y,Z)
s=1
Letting X = ea , Y = Ii ea in (4.114) we nd
(ea R)(Ii ea , Z, V, W ) + 2n(Z i )(V, W ) + 2(2n 1)R(i , Z, V, W )
+ 2R(j , Ik Z, V, W ) 2R(k , Ij Z, V, W ) = 0. (4.115)
After taking the trace in (4.115) and applying the formulas in Theorem 4.3.5
we come to
2n 1
X(Scal)
(2n 1)i (i , X) 2i (Ik X, j ) =
16n(n + 2)
]
1[
(ea T 0 )(ea , X) + (ea T 0 )(Ii ea , Ii X) (ea U )(X, ea ). (4.116)
4
Now, (4.112) and (4.116) yield (4.107).
Finally, from (4.65) and the fact that preserves the splitting H V ,
we get
R(i , j , X, Y ) = (i T )(j , X, Y ) (j T )(i , X, Y ) + (X T )(i , j , Y )
Scal
T (k , X, Y ) + T (T (j , X), i , Y )
8n(n + 2)
T (T (j , X), i , Y ),
(4.117)
16:53
124
ws-book
where we applied (4.73). The third term in the second line can be evaluated
using (4.74), and (4.10) as follows
(X T )(i , j , Y )
= X(k (Ii Y, i )) + j (X)i (Ij Y, j ) i (X)j (Ii Y, i ).
On the other hand, we calculate using (4.10) that
(4.118)
(n 1)(2n + 1)
d(Scal)(X) = 0. (4.121)
8n(n + 2)
d(Scal)(X) = 0. (4.122)
8n(n + 2)
16:53
ws-book
125
Take the trace in (4.106) and apply Lemma 4.2.6, Lemma 4.2.7 and
(4.108) to conclude
Corollary 4.3.14. On a qc manifold of dimension 4n + 3 we have the
formulas
1
4nk (i , j ) = (ea k )(Ij ea , i ) + ||T 0 ||2 2||U ||2
4
2n + 2
4n + 1
=
(ea eb U )(ea , eb ) +
(ea eb T 0 )(ea , eb )
3(2n + 1)
12(2n + 1)
1
2n 1
+
(ea eb T 0 )(Ik ea , Ik eb )
ea ea (Scal)
4(2n + 1)
48n(n + 2)
1
+ ||T 0 ||2 2||U ||2 ,
4
4ni (i , j ) = (eb k )(eb , i )
2n 1
2n + 2
=
e I e Scal
(eb ea U )(Ij eb , ea )
48n(n + 2) b j b
3(2n + 1)
4n + 1
3
(eb ea T 0 )(Ij eb , ea ) +
(eb ea T 0 )(Ii eb , Ik ea ),
12(2n + 1)
12(2n + 1)
4nk (j , k ) = (eb i )(eb , k )
2n + 2
2n 1
e I e Scal +
(eb ea U )(Ij eb , ea )
=
48n(n + 2) b j b
3(2n + 1)
4n + 1
3
+
(eb ea T 0 )(Ij eb , ea ) +
(eb ea T 0 )(Ik eb , Ii ea ).
12(2n + 1)
12(2n + 1)
4.3.4
The quaternionic Heisenberg group G (H) with its standard left invariant
quaternionic contact structure is the simplest example of a qc manifold.
The Biquard connection coincides with the at left-invariant connection on
the group and G (H) constitute the at model of the quaternionic contact
geometry.
We use the following model of the quaternionic Heisenberg group G (H).
Dene G (H) = Hn Im H with the group law given by
(q , ) = (qo , o ) (q, ) = (qo + q, + o + 2 Im qo q),
where q, qo Hn and , o Im H.
16:53
ws-book
126
xa = xa + xao ,
y a = y a + xao ,
z a = z a + zoa ,
y = y + yo +
z = z + zo +
2(yoa ta
2(zoa ta
zoa xa
yoa xa
tao y a
xao y a
(4.123)
xao z a )
tao z a ).
Xa = I1 Ta ,
Ya = I2 Ta ,
Za = I3 Ta
is given by
Xa =
x
Ya =
y
Za =
z
Ta =
+ 2y a
+ 2z a
x
y
z
2ta
2z a
+ 2y a
x
y
z
+ 2z a
2ta
2xa
x
y
z
2y a
+ 2xa
2ta
.
x
y
z
+ 2xa
(4.124)
2 = 2
3 = 2
.
z
(4.125)
[Ij Ta , Ii Ta ] = 2k .
(4.126)
= (
1,
2,
3 ) is
The standard quaternionic contact form
= d q d
2
q + dq q ,
(4.127)
2
1
2 =
dy y a dta + z a dxa + ta dy a xa dz a
2
3 = 1 dz z a dta y a dxa + xa dy a + ta dz a .
2
The Biquard connection coincides with the at left-invariant connection
on G (H) and the described horizontal and vertical vector elds are parallel
16:53
ws-book
127
T (, X, Y ) = 0,
V.
128
16:53
ws-book
(4.128)
R(X, , i , j ) = 2k (X, ) = 0.
dea = 0,
d1 = de
4n+1
16:53
ws-book
129
rotated forms are left invariant (but not parallel!) [10]. Following is an
explicit description of this construction in dimension seven which we take
from [10].
Consider the seven dimensional quaternionic Heisenberg group. Since
e4 is closed we can write e4 = dx4 , where x4 is a global function on the
manifold H Im H. Now we can use this function to dene a non-leftinvariant qc structure on this manifold as follows. For each c R, let
1 = e1 ,
4 = e4 ,
7 = e7
2 = sin(cx4 ) e2 + cos(cx4 ) e3 ,
3 = cos(cx4 ) e2 + sin(cx4 ) e3 ,
5 = sin(cx4 ) e5 + cos(cx4 ) e6 ,
6 = cos(cx4 ) e5 + sin(cx4 ) e6 .
d 1 = 0,
d 5 = 2 12 + 2 34 + c 46 ,
7
d = 2
14
d 3 = c 24 ,
d 4 = 0,
d 6 = 2 13 + 2 42 c 45 ,
(4.129)
23
+ 2 .
The aim of this section is to show that the vanishing of the torsion endomorphism of the Biquard connection implies that the qc-scalar curvature is
constant. The Bianchi identities will have an important role in the analysis.
16:53
ws-book
130
Scal
g(X, Y ).
4n
The next result, originally proved in [94], (see also [98]) is important in
stating and analyzing the Yamabe problem in quaternionic contact setting.
Theorem 4.4.2. Let (M, g, Q) be a quaternionic contact manifold of dimension (4n + 3). Then
a). (M, g, Q) is a qc-Einstein if and only if the tensors T 0 = U = 0,
i.e. the torsion endomorphism vanishes identically, T = 0, V .
b). On a qc-Einstein manifold of dimension bigger than seven the qc
scalar curvature is constant, d(Scal) = 0 and the vertical distribution spanned by the Reeb vector elds is integrble, [s , t ] V.
c). If n > 1 then (M, g, Q) is qc-Einstein if and only if the fundamental
four form is closed, d = 0.
Proof. The part a) of the assertion follows from Corollary 4.3.7.
The rst part of b) is a consequence of the just established part a)
and (4.121) since n > 1. Substitute T 0 = U = d(Scal) = 0 into (4.108)
to conclude i (j , X) = 0 and compare this with (4.74) to establish the
integrability of the vertical distribution V .
To proof c), assume T 0 = U = 0 and n > 1. Then Theorem 4.3.5
implies
s (X, Y ) = ss (X, Y ),
s (t , X) = 0,
i (i , j ) + k (k , j ) = 0,
(4.130)
The 3-Sasakian Case. We have adopted the denition that a 4n + 3dimensional (pseudo) Riemannian manifold (M, gM ) of signature either
(4n+3, 0) or (4n, 3) has a 3-Sasakian structure if the cone metric t2 gM +dt2
on M R is a hyperkahler metric of signature (4n+4, 0) (positive 3-Sasakian
16:53
ws-book
131
structure, = 1) or (4n,4) (negative 3-Sasakian structure, = 1), respectively, see [113; 162; 100] for the negative case. In other words, the
cone metric has holonomy contained in Sp(n + 1) (see [29]) or in Sp(n, 1)
(see [3]), respectively. We recall that an almost hyperhermitian structure
(g, J1 , J2 , J3 ) is hyper-Kahler if the almost complex structures Js are parallel with respect to the Levi-Civita connection of the metric g.
We remind that, usually, a 4n + 3-dimensional Riemannian manifold
(M, g) is called 3-Sasakian only in the positive case, while the term pseudo
3-Sasakain is used in the negative case. However, we nd it convenient to
use the more general denition.
4.4.2
In this subsection we describe explicitly two almost hyperhermitian structures on the (pseudo) metric cone over a quaternionic contact manifold
M 4n+3 of dimension (4n + 3). One of the strictures is the usual Riemannian metric on the cone, so we focus on the second structure, which is
pseudo-Riemannian of signature (4n, 4). Let either = 1 or = 1. Consider the cone N = M 4n+3 R+ as the product of two smooth manifolds
equipped, in addition, with the following (pseudo-)Riemannian metric GN
and 2-forms Fi :
GN = t2 g + t2 (1 1 + 2 2 + 3 3 ) + dt dt
Fi = t2 i + t2 j k ti dt,
(4.131)
where is the symmetric product. In the above we have also denoted with
the same later both a tensor and its lift to a tensor on the tangent bundle
of N . The above tensors determine the following (1, 1) tensors on the cone
N
i|H = Ii ,
i j = k ,
i i = t
,
t
i k = j ,
(
)
i t
= i .
t
(4.132)
We claim that the above structures dene a (pseudo) almost hyperhermitian structures on N . The claim follows from the following identities relating the 2-forms, the pseudo-metric tensor and the almost complex
structures:
132
16:53
ws-book
GN (i X, ) = Fi (X, ) = 0 trivially,
t
t
(
)
GN (i , s ) = Fi ( , s ) s i (t ) = is ,
t
t
t
GN (i , ) = Fi ( , ) = 0 trivially,
t t
t t
GN (i , X) = Fi ( , X) g(i , X) = 0,
t
t
t
GN (i s , t ) = Fi (s , t ) t (i j ) = kt , t (i k ) = jt , t (i i ) = 0,
GN (i i , ) = Fi (i , ) dt(i i ) = t,
t
t
GN (i s , X) = Fi (s , X) g(i s , X) = 0.
Let us remind that the Riemannian cone is the case = 1, and the above
construction turns into the standard almost hyperhermitian structure on
N.
Conversely, consider the cone N = M 4n+3 R+ over a smooth (4n + 3)dimensional manifold M 4n+3 equipped with a (pseudo) almost hyperhermitian structure (GN , l ) where GN is a (pseudo) Riemannian metric of signature (4n + 4, 0) (resp. (4n, 4)) for = 1 (resp. = 1) and l , l = 1, 2, 3,
are three anti-commuting almost complex structures. The 1-form dt on R+
and the three almost complex structures are related to three 1-forms l on
M 4n+3 dened by l = l ( 1t dt), where we used the same notation for
both a tensor and its lift to a tensor on the tangent bundle of N identifying
M with the slice t = 1 of N . We may write the metric GN and the three
K
ahler 2-forms on N as in (4.131) where g = GN |H and H = 3l=1 Ker l .
A qc structure on M 4n+3 is dened by the three 1-forms l .
We apply Hitchins theorem stating that an almost hyperhermitian
structure is hyperkahler if and only if the three Kahler 2-forms are closed
[90], which is valid with the same proof in the case of non-positive denite
metrics.
It is straightforward to check from the second equation in (4.131) that
dFi = tdt (2i + 2j k di ) + t2 d(i + j k ).
(4.133)
The equation (4.133) yields that the three Kahler forms on N are closed,
dFs = 0, exactly when
di = 2i + 2j k .
(4.134)
16:53
ws-book
133
( Scal
)
1
ds (X, Y ) =
+ s (X, Y )
2
16n(n + 2)
(4.135)
Comparing (4.135) with (4.69) we obtain that the torsion endomorphism of the Biquard connection of the corresponding quaternionic contact
structure vanishes identically and the qc scalar curvature is constant depending on the dimension, T = U = 0, Scal = 16n(n + 2), see [94]. More
precisely, we conclude in a straightforward way applying Theorem 4.3.11
and Corollary 4.2.8 the following result established originally in [94].
Theorem 4.4.3. Any 3-Sasakian manifold is a qc-Einstein with qc-scalar
curvature given by
Scal = 16n(n + 2).
The structure equations of a 3-Sasakian manifolds are the equations (4.134).
The Ricci-type tensors are given by
t|H = t|H = 2t|H = 2t
Ric(s , X) = s (X, t ) = s (X, t ) = s (t , r ) = 0.
(4.136)
0 = R(, Y, Z, W ) = Rg (, Y, Z, W );
Z, W ) = Rg (, ,
Z, W );
0 = R(, ,
16:53
134
=
R(X, Y, , )
(
)
3 + 2 3 (, )
1 + 3 1 (, )
2 (X, Y ),
4 1 2 (, )
where , V.
There are known many examples of positive 3-Sasakian manifold of dimension (4n + 3), see [28] and references therein for a nice overview of positive 3-Sasakian spaces. Certain SO(3)-bundles over quaternionic Kahler
manifolds with negative scalar curvature constructed in [113; 162; 100; 3]
supply examples of negative 3-Sasakian manifolds. A natural denite metric
on the negative 3-Sasakian manifolds is constructed in [162; 100] changing
the sign of the metric on the vertical SO(3)-factor. With respect to this
metric the negative 3-Sasakian manifolds become an A-manifold and its
Riemannian Ricci tensor has precisely two constant eigenvalues, the negative one equal to 4n 14 of multiplicity 4n and a positive one equal
to 4n + 2 of multiplicity 3 [100] and the Riemannian scalar curvature is
the negative constant 16n2 44n + 6 [162; 100]. We recall that a Riemannian manifold is called an A-manifold if its Riemannian Ricci tensor
satises (gA Ricg )(A, A) = 0 [84]. Explicit examples of negative 3-Sasakian
manifolds are constructed in [11]. We take the next two examples from [11].
Zero torsion qc structure Example 1. Denote {
el , 1 l 7} the
basis of the left invariant 1-forms and consider the simply connected Lie
group with Lie algebra L1 dened by the following equations:
1
1
de2 = e12 2e34 e37 + e46 ,
2
2
1
1
de3 = e13 + 2e24 + e27 e45 ,
2
2
1
1
(4.137)
de4 = e14 2e23 e26 + e35
2
2
1
1
de5 = 2e12 + 2e34 e67 , de6 = 2e13 + 2e42 + e57 ,
2
2
1
de7 = 2e14 + 2e23 e56 ,
2
and el , 1 l 7 be the left invariant vector eld dual to the 1-forms
el , 1 l 7, respectively. We dene a global qc structure on L1 by setting
1 = e5 , 2 = e6 , 3 = e7 , H = span{e1 , . . . , e4 },
(4.138)
1 = e12 + e34 , 2 = e13 + e42 , 3 = e14 + e23 .
It is straightforward to check from (4.137) that the vector elds 1 = e5 ,
2 = e6 , 3 = e7 satisfy the Duchemin compatibility conditions (4.7) and
de1 = 0,
ws-book
16:53
ws-book
135
therefore the Biquard connection exists and s are the Reeb vector elds.
The structure equations (4.137) easily imply (see e.g. [11]) that the torsion
endomorphism of the Biquard connection is zero, T 0 = U = 0 and the qc
scalar curvature is a negative constant, Scal = 4n(n + 2) = 12.
Zero torsion qc structure Example 2. Consider the simply connected Lie group L2 with Lie algebra dened by the equations:
1
1
de3 = e13 , de4 = e14 ,
2
2
1
de5 = 2e12 + 2e34 + e37 e46 + e67 ,
4
(4.139)
1
1
de6 = 2e13 2e24 e27 + e45 e57 ,
2
4
1
1
de7 = 2e14 + 2e23 + e26 e35 + e56 .
2
4
A global qc structure on L2 is dened by (4.138). It is easy to check from
(4.139) that the triple {1 = e5 , 2 = e6 , 3 = e7 } form the Reeb vector
elds satisfying (4.7) and therefore the Biquard connection do exists. It is
easy to calculate from the structure equations (4.139) (see e.g. [11]), that
the torsion endomorphism of the Biquard connection is zero, T 0 = U = 0
and the qc scalar curvature is a negative constant, S = 2n(n + 2) = 6.
It turns out that the 3-Sasakian spaces are locally the only qc-Einstein
manifolds, the fact established in [94]. We state the result in its whole
generality but shall give here a proof only for dimensions bigger than seven.
We have
de1 = 0,
16:53
136
ws-book
= 16n(n+2)
Scal has normalized qc scalar curvature s = 2 and d = 0
provided Scal = 0. For simplicity, we shall denote with and, in fact,
drop the everywhere.
In the rst step of the proof we show that the Riemannian cone N =
3
M R+ with the metric gN = t2 (g + s=1 s s )+dtdt has holonomy
contained either in Sp(n + 1) or in Sp(n, 1) depending on whether is
positive or negative, respectively. To this end we consider the following
four form on N
F = F1 F1 + F2 F2 + F3 F3 ,
(4.140)
(4.141)
[
1
2i k j si j k
dF =
dFs Fs = t3 dt
2
s=1
(ijk)
]
[
1
2k i j + ds i j k
t3 dt
2
(ijk)
[
]
1
4
+t
i (j k k j ) + ds i j k
2
(ijk)
= 2t3
dt (i + 2i ) j k + t4 d = 0, (4.143)
(ijk)
taking into account the rst equality in Theorem 4.3.5, (4.130) and s = 2,
which hold when d = 0 by Theorem 4.4.2.
16:53
ws-book
137
Remark 4.4.5. It follows from the above discussion that the cone over
a (4n + 3)-dimensional qc manifold carries either a Sp(n + 1)Sp(1) or a
Sp(n, 1)Sp(1) structure which is closed exactly when d = 0 provided the
dimension is strictly bigger than seven.
Remark 4.4.6. An example of a qc structure satisfying T 0 = U = Scal =
0 can be obtained as follows. Let M 4n be a hyperkahler manifold with
closed and locally exact Kahler forms l = dl . The total space of an R3 bundle over the hyperkahler manifold M 4n with connection 1-forms l is
an example of a qc structure with T 0 = U = Scal = 0. The qc structure is
determined by the three 1-forms l satisfying dl = l which yield T 0 = U =
Scal = 0. In particular, the quaternionic Heisenberg group which locally is
the unique qc structure with at Biquard connection on H, see [97], can be
considered as an R3 bundle over a 4n-dimensional at hyperkahler R4n . A
compact example is provided by a T 3 -bundle over a compact hyperkahler
manifold M 4n such that each closed Kahler form l represents integral
cohomology classes. Indeed, since [l ], 1 l 3 dene integral cohomology
classes on M 4n , the well-known result of Kobayashi [111] implies that there
138
16:53
ws-book
16:41
Chapter 5
5.1
Introduction
The goal of this section is to describe a tensor invariant on the tangent bundle characterizing locally the qc structures which are quaternionic contact
conformally equivalent (quaternionic contact isomorphic) to the at qcstructure on the quaternionic Heisenberg group. It was proven in [94] that
the quaternionic Heisenberg group G (H) with its standard left-invariant
qc structure is the unique (up to a SO(3)-action) example of a qc structure
with at Biquard connection. We shall describe a curvature-type tensor
W qc dened in terms of the curvature and torsion of the Biquard connection by (5.49) involving derivatives up to second order of the horizontal
metric, whose form is similar to the Weyl conformal curvature in Riemannian geometry and to the Chern-Moser invariant in CR geometry [45], see
also [169]. We call W qc the quaternionic contact conformal curvature, qc
conformal curvature for short. The main result of the section is Theorem
5.3.5 in which we show that a qc structure on a (4n+3)-dimensional smooth
manifold is locally quaternionic contact conformal to the standard at qc
structure on the quaternionic Heisenberg group G (H) if and only if the qc
conformal curvature vanishes, W qc = 0.
In addition, we shall prove a number of useful facts. We devote a
sub-section to the quaternionic Cayley transform, which turns out to be
a conformal quaternionic contact automorphism between the standard 3Sasakian structure on the quaternionic sphere S 4n+3 minus a point and
the standard qc structure on G (H) [94]. As a consequence of Theorem 5.3.5 and the fact that the quaternionic Cayley transform is a quaternionic contact conformal equivalence between the 3-Sasakian structure on
the sphere minus a point and the at qc structure on G (H), we obtain that
139
ws-book
140
16:53
2h
ws-book
16:53
ws-book
141
(5.3)
A, B (T M ).
(5.5)
(5.6)
s=1
g = 0 implies
while
g(P (A, Y ), Z) + g(P (A, Z), Y ) = h1 dh(A)g(Y, Z).
(5.7)
Set A = X into (5.7) and combine the obtained equation with (5.6) to
determine the tensor P
2hg(P (X, Y ), Z) = dh(X)g(Y, Z)+
s=1
s=1
s=1
We calculate
2hT(i , X, Y ) 2hT (i , X, Y ) g(P (i , X), Y )
= g(P (X, i ), Y ) =
j (X)dh(Ik Y ) +
k (X)dh(Ij Y )
+ j (X)dh(Ik Y ) k (X)dh(Ij Y ) dh(X, Ii Y )
[
]
= dh(X, Ii Y ) + h1 dh(Ik X)dh(Ij Y ) dh(Ij X)dh(Ik Y ) , (5.9)
16:53
142
1
=
3dh(Y, X)
dh(Is X, Is Y ) . (5.10)
4h
s=1
3
1
3dh(X, Y )
=
dh(Is X, Is Y ) + 4
dh(s )s (X, Y ) .
4
s=1
s=1
(5.13)
Taking the skew-symmetric part of (5.9), then applying the rst part of
(4.13) and (5.7) with A = i we obtain
i , X, Y ) 4hS(i , X, Y )
4hS(
= 2g(P (i , X), Y ) + 2dh(i )g(X, Y ) dh(X, Ii Y ) + dh(Y, Ii X)
[
]
+ 2h1 dh(Ik X)dh(Ij Y ) dh(Ij X)dh(Ik Y ) . (5.14)
The second equation in (4.46) together with Lemma 4.2.7 and (5.11) applied
to (5.14) yield
(X, Y ) 4hU (X, Y ) = 2g(P (i , Ii X), Y )
4hU
+ dh(X, Y ) + dh(Ii X, Ii Y ) + 2dh(j )j (X, Y ) + 2dh(k )k (X, Y )
[
]
2h1 dh(Ij X)dh(Ij Y ) + dh(Ik X)dh(Ik Y ) . (5.15)
ws-book
16:53
ws-book
143
j (i ) + j (i ) k (X, Y )
k (i ) + k (i ) j (X, Y )
Ii )X, Y ) g( Ii )X, Y )
= g(
i
i
(5.17)
]
[
]
i (i ) + i (i ) g(X, Y )
j (i ) + j (i ) k (X, Y )
Ik )X, Ij Y ) g( Ik )X, Ij Y )
= g(
i
i
= g(P (i , Ik X), Ij Y ) + g(P (i , X), Ii Y ).
(5.18)
We calculate from (4.92) and (4.93) applying (5.1) and (5.2) that
j (i ) + j (i ) = 2dh(k );
k (i ) + k (i ) = 2dh(j );
(
)
1
1
|h|2 .
i (i ) + i (i ) =
Scal 2hScal +
16n(n + 2)
2h
(5.19)
Summing up (5.17) and (5.18), insert the result into the sum of (5.15) and
(5.16) using Lemma 4.2.7 and (5.19), we obtain
[
]
(X, Y ) = U (X, Y ) + 1 dh 2 dh dh
(X, Y )
U
2h
h
[3]
]
1 [
i (i ) + i (i ) g(X, Y ), (5.20)
4h
]
[
2
where dh h dh dh [3] is the [3]-component given by
[
]
3
1
1
2
dh dh dh
(X, Y ) = dh(X, Y ) +
dh(Is X, Is Y )
h
4
4 s=1
[3]
3
)
1 (
dh(X)dh(Y ) +
dh(Is X)dh(Is Y ) . (5.21)
2h
s=1
i (i ) + i (i ) =
h
|h|2 ,
2n
nh
(5.22)
16:53
144
ws-book
(5.23)
U (X, Y ) = U (X, Y ) +
dh dh dh
(X, Y ),
2h
h
[3][0]
[
]
where dh h2 dh dh [3][0] denotes the trace-free part of the [3]component,
[
]
[
]
(
)
2
2
1
2
dh dh dh
= dh dh dh
h |h|2 g.
h
h
4n
h
[3][0]
[3]
Now, (5.15) and (5.23) yield the next transformation formula [94]
]
1[
g(Pi X, Y ) = dh(X, Ii Y ) dh(Ii X, Y )
4
]
1[
+ dh(Ij X, Ik Y ) dh(Ik X, Ij Y )
4
]
1 [
dh(Ik X)dh(Ij Y ) dh(Ij X)dh(Ik Y )
2h
]
1 [
(5.24)
Compare (5.22) with the second line of (5.19) to get the formula connecting
1
the qc scalar curvatures of = 2h
and [24] (see also [94])
1
Scal = 2hScal + 8(n + 2)h 8(n + 2)2 |h|2 .
(5.25)
h
Theorem 4.4.2 together with (5.12) and (5.23) lead to the next result established in [94]
Corollary 5.2.1. The qc Einstein condition is preserved under a qc con1
if and only if the function h satises the
formal transformation = 2h
following two PDEs
3
3
3dh(X, Y )
dh(Is X, Is Y ) + 4
dh(s )s (X, Y ) = 0; (5.26)
s=1
3
s=1
2
dh(X)dh(Y )
h
s=1
(
)
3
)
2
1
2
dh(Is X)dh(Is Y )
h |h|2 g(X, Y ) = 0. (5.27)
h s=1
4n
h
dh(X, Y ) +
dh(Is X, Is Y )
16:41
5.2.1
ws-book
145
2
is purely imaginary, the last equation can be
Taking into account that
written also in the following form
1
1
= 1 (d
p dp ) + dq q q d
q .
4
2
2
The Cayley transform is the map from the sphere S = {|q|2 + |p|2 = 1}
Hn H minus a point to( the quaternionic
Heisenberg group dened by
)
C : S 7 , (q , p ) = C (q, p) , where
q = (1 + p)1 q,
p = (1 + p)1 (1 p).
(
)
The inverse map is (q, p) = C 1 (q , p ) given by
q = 2(1 + p )1 q ,
p = (1 + p )1 (1 p ).
1 |p|
|q|2
(1 + p)(1 p)
=
=
= |q |2 .
|1 + p |2
|1 + p |2
|1 + p |2
February 9, 2011
9:19
146
ws-book
(5.28)
(5.30)
.
|1 + p |2
Remark 5.2.2. Notice that the standard qc contact form we consider here
is twice the 3-Sasakian form on S 4n+3 , which has qc scalar curvature equal
g of
to 16n(n + 2) by Theorem 4.4.3. Thus, the qc scalar curvature S = Scal
the standard qc structure (5.30) on S 4n+3 is
1
S = (Q + 2)(Q 6) = 8n(n + 2),
2
where, as usual, Q = 4n + 6 is the homogeneous dimension.
(5.31)
February 9, 2011
9:19
ws-book
5.3
147
qc conformal curvature
and R of the BiWe calculate the relation between the curvature tensors R
2hg(R(X,
Y )Z, V ) g(R(X, Y )Z, V ) = (g ? M )(X, Y, Z, V )
3
[
]
1
i (X, Y ) M (Z, Ii V ) M (Ii Z, V
(s ? Is M )(X, Y, Z, V ) +
2
s=1
(i,j,k)
[
]
1
+
i (X, Y ) M (Ij Z, Ik V ) M (Ik Z, Ij V )
2
(i,j,k)
3
[
]
[
]
g(Z, V ) M (X, Y ) M (Y, X) +
s (Z, V ) M (X, Is Y ) M (Y, Is X)
s=1
[
]
1
Mi j (X, Y )k (Z, V ) k (X, Y )j (Z, V )
+
2n
(i,j,k)
where
(i,j,k)
1
(trM )
s (X, Y )s (Z, V ),
2n
s=1
(5.32)
1
dh(X, Y )
2h
3
]
1
1 [
dh(Is X)dh(Is Y ) + g(X, Y )|dh|2
2 dh(X)dh(Y ) +
4h
2
s=1
M (X, Y ) =
(5.33)
16:41
ws-book
148
(5.34)
2n
2n
2n
1
trM
= M (X, Y ) M (Ii X, Ii Y ))
g(X, Y ) dh(i )i (X, Y ),
2n
h
(5.35)
where we use (5.33), (5.34) and (5.11) to establish the third line.
The equations (5.35) yield
3
s (X, Is Y )
s=1
s (X, Is Y ) = 2M (X, Y )
s=1
3trM
1
g(X, Y )
dh(s )s (X, Y )
2n
h s=1
3
4M[3] (X, Y )
3trM
g(X, Y ),
2n
(5.36)
s (X, Is Y )
s (X, Is Y )
s=1
[1]
s=1
[1]
= 2M[sym][1] (X, Y ).
( 3
s=1
s (X, Is Y )
[3]
( 3
s=1
(5.37)
)
s (X, Is Y )
[3]
= 6M[sym][3] (X, Y )
3trM
g(X, Y ).
2n
(5.38)
16:53
ws-book
149
s (X, Is Y )
s=1
3
Scal.g(X, Y ) T 0 (X, Y ) 6U (X, Y ).
8n(n + 2)
(5.39)
(5.40)
Scal
Scal
g(X, Y ).
g(X, Y )
8n(n + 2)
8n(n + 2)
(5.41)
s (X, Is Y )
g(X, Y )
6 s=1
32n(n + 2)
[3]
]
] [
[
Scal
Scal
g(X,
Y
)
.
g(X, Y ) U (X, Y ) +
= U (X, Y ) +
32n(n + 2)
32n(n + 2)
(5.42)
Similarly, (5.37) together with (5.39) imply
M[sym][1] (X, Y ) =
1 0
1
T (X, Y ) T 0 (X, Y ).
2
2
(5.43)
(5.44)
1 0
Scal
g(X, Y ).
T (X, Y ) + U (X, Y ) +
2
32n(n + 2)
(5.45)
(5.46)
16:53
ws-book
150
Substitute (5.45) into (5.44) and put the result into (5.46), insert the obtained equality in (5.32) and use (5.34) to obtain [97]
(5.47)
W R(X, Y, Z, V ) = R(X, Y, Z, V )
+ (g ? L)(X, Y, Z, V ) +
(s ? Is L)(X, Y, Z, V )
s=1
[
]
1
i (X, Y ) L(Z, Ii V ) L(Ii Z, V ) + L(Ij Z, Ik V ) L(Ik Z, Ij V )
2
(i,j,k)
3
[
] 1
(5.48)
W R[1] (X, Y, Z, V )
=
3
]
1[
3W R(X, Y, Z, V )
W R(Is X, Is Y, Z, V ) = 0.
4
s=1
The [3]-part with respect to the rst two arguments of the tensor W R
16:53
ws-book
151
1[
= W R(X, Y, Z, V ) +
W R(Is X, Is Y, Z, V )
4
s=1
=
3
]
1[
R(Is X, Is Y, Z, V )
R(X, Y, Z, V ) +
4
s=1
[
]
1
s (Z, V ) T 0 (X, Is Y ) T 0 (Is X, Y )
2 s=1
3
3
[
]
Scal
(g ? g)(X, Y, Z, V ) +
(s ? s )(X, Y, Z, V )
32n(n + 2)
s=1
+ (g ? U )(X, Y, Z, V ) +
(s ? Is U )(X, Y, Z, V ).
(5.49)
s=1
Definition 5.3.2. We denote with W qc the tensor W R (5.48) considered as a tensor of type (1,3) with respect to the horizontal metric on H,
g(W qc (X, Y )Z, V ) = W R(X, Y, Z, V ) and call it the quaternionic contact
conformal curvature.
In view of (5.47) we obtain the next important result discovered in [97]
Theorem 5.3.3. The tensor W R is covariant while the tensor W qc is
invariant under qc conformal transformations, i.e. if
= (2h)1
then
2hW R = W R ,
Wqc = Wqc ,
16:53
152
ws-book
1
U (X, Y ) = tr L g(X, Y )
4n
]
1[
+ L(X, Y ) + L(I1 X, I1 Y ) + L(I2 X, I2 Y ) + L(I3 X, I3 Y ) , (5.51)
4
]
1[
L(Ii X, Y ) + L(X, Ii Y ) + U (Ii X, Y )
2
1
3
1
= L(Ii X, Y ) L(X, Ii Y ) L(Ik X, Ij Y )
4
4
4
1
1
(tr L) g(Ii X, Y ).
+ L(Ij X, Ik Y )
4
4n
T (i , X, Y ) =
(5.52)
After a substitution of (5.50) and (5.51) in the rst four equations of Theorem 4.3.5 we derive
Ric(X, Y ) =
8n + 11
2n + 3
tr L g(X, Y ) +
L(X, Y )
2n
2
[
]
3
+ L(Ii X, Ii Y ) + L(Ij X, Ij Y ) + L(Ik X, Ik Y ) , (5.53)
2
1
trL i (X, Y ),
2n
1
i (X, Y ) = tr L i (X, Y )
n
]
n + 2[
L(Ii X, Y ) L(X, Ii Y ) + L(Ik X, Ij Y ) L(Ij X, Ik Y )
2n
(5.54)
(5.55)
3
2n 1
tr L i (X, Y ) +
L(Ii X, Y )
2
8n
8n
[
]
8n + 3
1
L(X, Ii Y ) +
L(Ik X, Ij Y ) L(Ij X, Ik Y ) . (5.56)
8n
8n
i (X, Y ) =
16:53
ws-book
153
Proof. Here we only sketch the proof and refer to [97] for a complete
proof of this theorem. In Chapter 7 we give a complete new proof of the
Cartan-Chern-Moser theorem in the CR case illustrating our approach in
a somewhat simpler setting.
Suppose W qc = 0, hence W R = 0. In order to prove Theorem 5.3.5 we
search for a conformal factor such that after a conformal transformation
using this factor the new qc structure has Biquard connection which is at
when restricted to the common horizontal space H. After we achieve this
task we can invoke Proposition 4.3.15 and conclude that the given structure is locally qc conformal to the at qc structure on the quaternionic
Heisenberg group G (H). With this considerations in mind, it is then sucient to nd (locally) a solution h of equation (5.46) with M[sym] = L. In
fact, a substitution of (5.46) in (5.32) and an application of the condition
1
has at
W qc = 0 = W R allows us to see that the qc structure = 2h
Biquard connection.
Let us consider the following overdetermined system of partial dierential equations with respect to an unknown function u
du(X, Y ) = du(X)du(Y )
3 [
] 1
+
du(Is X)du(Is Y ) du(s )s (X, Y ) + g(X, Y )|u|2 L(X, Y ),
2
s=1
(5.57)
1
du(X, i ) = B(X, i ) L(X, Ii du) + du(Ii X)|u|2
2
du(X)du(i ) du(Ij X)du(k ) + du(Ik X)du(j ),
(5.58)
Scal
du(k ),
16n(n + 2)
(5.60)
Scal
du(j ).
16n(n + 2)
(5.61)
16:53
154
ws-book
Here the tensor L is given by (5.45). The tensors B(X, i ) and B(i , j ) do
not depend on the unknown function u and are dened in terms of L and
its rst and second horizontal (covariant) derivatives as follows
1
(ea L)(Ii ea , X)
2(2n + 1)
(
)
1
+
(ea L)(ea , Ii X) Ii X tr L ,
6(2n + 1)
]
1 [
B(s , t ) =
(ea B)(Is ea , t ) + L(ea , eb )L(It ea , Is eb ) .
4n
If we make the substitution
B(X, i ) =
2u = ln h,
2hdu = dh,
(5.62)
16:53
ws-book
155
considered as an example of what has become known as a parabolic geometry. The quaternionic Heisenberg group, as well as, the quaternionic
sphere, due to the Cayley transform, provide the at models of such a geometry. It is well known that the curvature of the corresponding regular
Cartan connection is the obstruction for the local atness. However, the
Cartan curvature is not a tensor eld on the tangent bundle and it is highly
nontrivial to extract a tensor eld involving the lowest order derivatives of
the structure which implies the vanishing of the obstruction. Theorem 5.3.5
suggests that a necessary and sucient condition for the vanishing of the
Cartan curvature of a qc structure is the vanishing of the qc conformal
curvature tensor, W qc = 0. This was conrmed in [9] employing results
developed in [94] and the general theory of parabolic geometries.
Finally, Theorem 5.3.5 can be also used in a standard way to show a
Ferrand-Obata type theorem concerning the conformal quaternionic contact
automorphism group, see [98]. Such result was proved in the general context
of parabolic geometries admitting regular Cartan connection in [71].
16:53
ws-book
Chapter 6
Introduction
(6.1)
Q+2
u S u = S u2 1 ,
Q2
157
(6.3)
158
16:53
ws-book
g
where is the horizontal sub-Laplacian, u = trH
(du), cf. (5.4), S and
S are the qc scalar curvatures correspondingly of (M, ) and (M, ), =
u4/(Q2) , and 2 = 2Q/(Q 2). A natural question is to nd all solutions
of the qc Yamabe equation (6.3). As usual the two fundamental problems
are related by noting that on a compact quaternionic contact manifold M
with a xed conformal class [] the qc Yamabe equation characterizes the
non-negative extremals of the qc Yamabe functional.
One of the goals of this chapter is the determination of (S 4n+3 , [
]),
where is the standard qc form (5.30) on the unit sphere S 4n+3 . In addition, the proof yields all qc forms in the conformal class [
] which achieve
4n+3
(S
). In particular, we shall determine the best constant in the L2
Folland-Stein inequality (0.4) and characterize all functions for which equality holds in the case of the quaternionic Heisenberg group.
The second goal is to solve the qc Yamabe problem for the standard
qc structure on the seven dimensional sphere and quaternionic Heisenberg
groups. We shall see that, as conjectured in [75], all solutions of the Yamabe
equations are given by those that realize the Yamabe constant of the sphere
or the best constant in the Folland-Stein inequality. In short, we shall prove
the next Theorems.
,
S2 =
2n(n + 1)
Here, 4n+4 = 2 2n+2 /(2n+1)! is the volume of the unit sphere S 4n+3
R4n+4 . The non-negative functions for which (1.1) becomes an equality
when p = 2 and G = G (H) are given by the functions of the form
[
](n+1)
(6.4)
,
= const,
F = (1 + |q|2 )2 + ||2
and all functions obtained from F by translations (1.28) and dilations
(1.29).
b) The qc Yamabe constant of the standard qc structure of the sphere is
1/(2n+3)
(S 4n+3 , [
]) = 16 n(n + 2) [(2n)! 4n+4 ]
(6.5)
16:53
ws-book
159
The proof, which can be found in Section 6.7, relies on the old idea of center
of mass of Szego [158] and Hersch [89]. We remind that in the Folland-Stein
inequality the integration is performed using a Haar measure, while the qc
Yamabe constant employs the natural volume form (6.9). The relation
between the two integrals on the qc Heisenberg group G (H) is given in
(6.64).
Theorem 6.1.2. [95]
1
be a conformal deformation of the standard qc structure
a) Let = 2h
on the quaternionic unit sphere S 7 . If has constant qc-scalar curvature,
then up to a multiplicative constant is obtained from by a conformal
quaternionic contact automorphism. In particular, (S 7 ) = 48 (4)1/5
and this minimum value is achieved only by and its images under
conformal quaternionic contact automorphisms.
b) Let G (H) = HIm H be the seven dimensional quaternionic Heisenberg
group. A solution of the Yamabe equation
( 2
)
T1 + X12 + Y12 + Z12 u = u3/2
(6.6)
(6.7)
where the left invariant vector elds are those in (4.124). Any other
non-negative entire solution of the Yamabe equation is obtained from u
6.2
Some background
In this section we present key results from [94] necessary for the proof of
the main theorems.
6.2.1
16:53
160
ws-book
(6.8)
for a, b = 1, . . . , 4n, s, t, r = 1, 2, 3.
In particular,
((Xa Is )Xb )| p = ((Xa Is )t )| p = ((t Is )Xb )| p = ((t Is )r )| p = 0.
Proof. Since preserves the splitting H V we can apply the standard
arguments for the existence of a normal frame with respect to a metric
connection (see e.g. [172]). We sketch the proof for completeness.
1, . . . , X
4n , 1 , 2 , 3 } be a qc-orthonormal basis around p such
Let {X
a p = Xa (p), i p = i (p). We want to nd a modied frame
that X
|
|
b , i = oj j , which satises the normality conditions of the
Xa = oba X
i
lemma.
Let be the sp(n) sp(1)-valued connection 1-forms with respect to
4n , 1 , 2 , 3 },
{X1 , . . . , X
c , s = t t .
b = c X
X
b
(p) = Xa (p),
(p) = t (p), a = 1, . . . , 4n, t = 1, 2, 3.
a
4n+t
x
x
One can easily check that the matrices
( 4n+3
)
b
b
c
oa = exp
a ( c )|p x Sp(n),
x
c=1
)
( 4n+3
c
s
s
ot = exp
t ( c )|p x Sp(1)
x
c=1
are the desired matrices making the identities (6.8) true.
Now, the last identity in the lemma is a consequence of the fact that
the choice of the orthonormal basis of V does not depend on the action of
SO(3) on V combined with (4.10).
Definition 6.2.2. We refer to the orthonormal frame constructed in
Lemma 6.2.1 as a qc-normal frame.
16:53
6.2.2
ws-book
161
(6.9)
= tr|H =
4n
(e )(e ).
(6.10)
a=1
Clearly the horizontal divergence does not depend on the basis and is an
Sp(n)Sp(1)-invariant.
For any horizontal 1-form 1 (H) we denote with # the corresponding horizontal vector eld via the horizontal metric dened with the
equality (X) = g( # , X).
It is justied to call the function divergence of in view of the
following Proposition.
Proposition 6.2.3. Let (M, ) be a quaternionic contact manifold of didef
( ) V ol = 0.
4n
a=1
where ea means that the 1-form ea is missing in the above wedge product.
16:53
ws-book
162
4n
ea g( # , ea )V ol
a=1
4n
3
g( # , ea )ds (s , ea )V ol
mod
sign
g( # , ea )deb (eb , ea )V ol
mod
sign
a=1 s=1
4n
a=1,b=1
= ( ) V ol . (6.11)
Indeed, since the Biquard connection preserves the metric, the right hand
side of the rst line can be handled as follows ea g( # , ea ) = g(ea # , ea )+
g( # , aa ea ) which evaluated at the point p gives
ea g( # , ea )|p = g(ea # , ea )|p ) = ((ea )ea )|p .
The second line of (6.11) is equal to zero because of the denition of the
Reeb vector elds, (4.7). The third line vanishes because of the following
sequence of identities
deb (eb , ea )|p = eb ([eb , ea ])|p = eb (eb ea ea eb T (eb , ea ))|p = 0
since T (eb , aa ) is a vertical vector eld. This proves the rst formula. When
the manifold is compact, an application of the Stokes theorem completes
the proof.
We note that the integral formula of the above theorem was essentially
proved in [[168], Proposition 2.1].
Remark 6.2.4. From Remark 5.2.2 it follows that the volume form V ol
of the standard qc form (5.30) on the unit sphere is
V ol = d,
= 22n+3 (2n)!
(6.12)
where d is the Riemannian volume form of the round unit sphere in Hn+1 .
6.2.3
Studying conformal deformations of qc structures preserving the qcEinstein condition, we describe explicitly all global functions on the
16:53
ws-book
163
where c and are positive constants. All functions h of this form have this
property.
Here we sketch the proof formulating only the crucial steps in a sequence
of lemmas and propositions, and refer to [94] for a complete proof.
We start with a Proposition in which we determine the vertical Hessian
of h.
Proposition 6.2.6. If h satises (5.26) on G (H) then we have the relations
12 (h) = 22 (h) = 32 (h) = 8o ,
s t (h) = 0,
s = t = 1, 2, 3,
(6.13)
Ta2 j (h) = 0.
(6.15)
The following simple Lemma is one of the keys to integrating the system
(5.26) and (5.27).
Lemma 6.2.7. Let X and Y be two parallel horizontal vectors
a) If s (X, Y ) = 0 then
3
[
]
(6.16)
164
16:53
ws-book
b) If g(X, Y ) = 0 then
2 XY h h1 { dh(X) dh(Y ) +
dh(Is X) dh(Is Y ) }
s=1
= 2
}
(s h) s (X, Y ) . (6.17)
s=1
{
}
8 XY h = o (Xt f ) (Y t f ) +
(Is X t f ) (Is Y t f ) .
(6.18)
s=1
a, b
(6.19)
b + 1 > 0.
g(q) = (b + 1 + o |q|2 )2 ,
16:53
ws-book
6.3
165
In this section we investigate in details qc conformal deformations of positive 3-Sasakian manifolds which lead to a qc manifolds with constant qc
scalar curvature.
We consider the following horizontal 1-forms As , A = A1 + A2 + A3
dened by
Ai (X) = i ([j , k ], X),
(6.20)
(6.21)
4n + 1
2(n + 1)
U (X) +
T 0 (X)
3(2n + 1)
12(2n + 1)
1
+
(ea T 0 )(Ii ea , Ii X).
4(2n + 1)
A(X) =
n
2(n + 1)
U (X) +
T 0 (X).
1
2n +
2n + 1
(6.22)
(6.23)
We obtain from the contracted Bianchi identity (4.121) and (6.23) the
next result established in [[94], Theorem 4.8].
Theorem 6.3.2. [94] On a (4n + 3)-dimensional qc manifold with constant
qc-scalar curvature we have the formulas
T 0 = (n + 2)A,
U =
1n
A.
2
(6.24)
16:53
166
ws-book
1
and = 2h
a conformal deformation of the qc structure . If is a
positive 3-Sasakian structure, then we have the formulas
1
1
A1 (X) = h2 dh(X) h3 |h|2 dh(X)
2
2
)
1 1 (
h
dh(I2 X, 2 ) + dh(I3 X, 3 )
2
)
1 2 (
dh(2 ) dh(I2 X) + dh(3 ) dh(I3 X)
+ h
2
(
)
1
+ h2 dh(I2 X, I2 h) + dh(I3 X, I3 h) . (6.25)
4
The expressions for A2 and A3 can be obtained from the above formula by
a cyclic permutation of (1, 2, 3). Thus, we have also
3
3
3
A(X) = h2 dh(X) h3 |h|2 dh(X) h1
dh(Is X, s )
2
2
s=1
+ h2
dh(s ) dh(Is X) +
s=1
3
1 2
h
dh(Is X, Is h).
2
s=1
Proof. First we calculate the sp (1)-connection 1-forms of the Biquard connection . For a positive 3-Sasakian structure we derive from (4.134),
applying (4.92) and (4.93), that
d
i (j , k ) = 2, i yd
i = 0,
s (t ) = 2st
and the qc-scalar curvature Scal = 16n(n + 2).
Then (5.2), (4.92), and (4.93) yield
2di (j , k ) = 2h1 + h2 dh2 ,
i (X) = h1 dh(Ii X),
i (j ) = h1 dh(k ) = j (i ),
1
4i (i ) = 4 2h
(6.26)
dh .
(6.27)
16:53
ws-book
167
16:53
168
2 T 0 (h, X) + 2 T 0 (I3 h, I3 X)
{
}
= 2h1 [dh][1] (h, X) + [dh][1] (I3 h, I3 X)
2h1
3 {
[
]}
{
}
= h1 dh (h, X) + dh (I3 h, I3 X)
{
}
+ h1 dh (I1 h, I1 X) + dh (I2 h, I2 X)
+ 4h1 dh(3 ) dh(I3 X).
ws-book
16:53
ws-book
169
8 U (h, X) = h1 dh (h, X) +
dh (Is h, Is X)
s=1
}
h2
h
dh(X) + 2h1
dh(X)
n
n
3
}
{
dh (Is h, Is X)
= h1 dh (h, X) +
2h1 h2 dh(X)
s=1
2n 4nh + (n + 2)h1 h2
dh(X)
n
}
h2
+ 2h1
dh(X)
n
3
}
{
dh (Is X, Is h)
= h1 dh (X, h) +
h1 2h1 h2 dh(X)
s=1
(
)
h1 3h1 h2 2 + 4h dh(X).
(6.32)
Substituting the last two formulas (6.31) and (6.32) into (6.30) gives A3
in the form of (6.25) written for A1 , cf. the paragraph after (6.25).
6.4
Divergence formulas
16:53
ws-book
170
formulas
3
(
)
dh(s )Is As
s=1
3
(
s=1
)
dh(s )Is A
s=1
dh (Is ea , s )A(ea ).
s=1
SO(3), i.e., s =
t=1 st t and Is =
t=1 st It , with SO(3).
One veries easily that the vectors
A,
s=1
dh(s )Is As =
dh(i )[j , k ]
i=1
and
dh(s )Is A
s=1
(6.33)
16:53
ws-book
171
0 = 4n(1 (1 , 2 ) + 3 (3 2 ))
= R(1 , 2 , eb , I1 eb ) R(2 , 3 , eb , I3 eb )
= (eb 3 )(eb , 1 ) T (2 , eb , ea )T (1 , ea , I1 eb ) + T (2 , ea , I1 eb )T (1 , eb , ea )
+ (eb 1 )(I1 eb , 2 ) + T (3 , eb , ea )T (2 , ea , I3 eb ) T (3 , ea , I3 eb )T (2 , eb , ea )
(
)
= (I1 [1 , 2 ] + I3 [3 , 2 ]) T (2 , eb , ea ) T (1 , ea , I1 eb ) + T (1 , I1 ea , eb )
(
)
T (2 , eb , ea ) T (3 , ea , I3 eb ) + T (3 , I3 ea , eb )
= (I1 [1 , 2 ] + I3 [3 , 2 ]) (6.34)
because the terms involving the torsion in (6.34) vanish. Indeed, taking into
account that the scalar product af symmetric and skew-symmetric tensors
vanishes, using (4.20), (4.43), (4.50), (4.51) and (4.53) we calculate
(
)
T (2 , eb , ea ) T (1 , ea , I1 eb ) + T (1 , I1 ea , eb )
(
)
+ T (2 , eb , ea ) T (3 , ea , I3 eb ) + T (3 , I3 ea , eb )
(
)
= 2T 0 (2 , eb , ea ) T 0 (1 , I1 ea , eb ) + T 0 (3 , I3 ea , eb )
)1[
]
1(
= T 0 (I2 eb , ea ) + T 0 (eb , I2 ea ))
3T 0 (ea , eb ) + T 0 (I2 ea , I2 eb )
2
4
)
1( 0
= T (I2 eb , ea ) + T 0 (eb , I2 ea ) T 0 (ea , eb ) = 0
4
using suitable switch to the basis {I2 ea : a = 1, . . . , 4n} to obtain the rst
equality in the fth line. To get the last equality we rely on the identity
T 0 (I2 eb , ea )T 0 (eb , ea ) = 0
following, for example, from the equality
T 0 (I2 eb , ea )T 0 (eb , ea ) = T 0 (eb , ea )T 0 (I2 eb , ea ).
Combining (6.34) with (I2 A2 ) = 0 we conclude from (6.33) that
(I2 A) = 0. Similarly, we derive (I1 A) = (I3 A) = 0 which proofs
the second formula in Lemma 6.4.1.
16:53
172
ws-book
We also set
D = D1 + D2 + D3 = h1 T 0 (X, h),
(6.36)
3
)
1 2 (
dh(Is X, Is h)
3 dh(X, h)
h
4
s=1
+ h2
s=1
(6.37)
16:53
ws-book
173
(6.38)
3
(
)
dh(s )Fs
s=1
3 [
]
dh (Is ea , s )Fs (Is ea )
s=1
+ h1
3 [
]
dh(s )dh(Is ea )D(ea ) + (n + 2) dh(s )dh(Is ea ) A(ea ) .
s=1
3
Proof. We note that the vector s=1 dh(s )Fs is an Sp(n)Sp(1) invariant
vector. Hence, we may work with a qc-normal frame {e1 , . . . , e4n , 1 , 2 , 3 }.
Since the scalar curvature is assumed to be constant we can apply Theorem 6.3.2, thus T 0 = (n + 2)A. Turning to the divergence, we compute
3
(
dh(s )Fs
s=1
3 [
h1 dh(s ) T 0 (Is h)
s=1
]
+
s=1
3 [
]
h2 dh(s ) dh(ea )T 0 (ea , Is eb ) dh(eb )
s=1
3 [
]
h1 dh(s ) T 0 (ea , Is eb ) dh (ea , eb )
s=1
3 [
3
]
s=1
s=1
3 [
s=1
3 [
s=1
s=1
0
using the symmetry of T in the next to last equality and the fact
T 0 (ea , I1 eb ) dh (ea , eb ) = 0.
16:53
174
The latter can be seen, for example, by rst using (5.12) and the formula for
the symmetric part of dh, the commutation relations (5.11), from which
we have
T 0 (ea , I1 eb ) dh (ea , eb )
3
[
]
dh(s )s (ea , eb ) = 0,
s=1
using the zero traces of the [-1]-component to justify the vanishing of the
third term in the last equality. Switching to the basis {Is ea : a = 1, . . . , 4n}
in the rst term of the right-hand-side of (6.39) completes the proof.
6.5
10
dh(s ) Fs + 4
dh(s )Is As
f D +
dh(s ) Is A
3 s=1
s=1
s=1
= f |T 0 |2 + h QV, V .
ws-book
16:53
ws-book
175
10
dh(s ) Is A
f D +
dh(s ) Fs + 4
dh(s )Is As
3 s=1
s=1
s=1
(
)
1
1
= dh(ea ) h2 dh(ea )|h|2 + h1 dh(ea , h) D(ea )
4
2
)
(
0 2
1
+ f |T | h dh(ea )D(ea ) h1 (n + 2) dh(ea )A(ea )
s=1
+ h1
3 [
]
dh(s ) dh(Is ea ) D(ea ) + (n + 2) dh(s ) dh(Is ea ) A(ea )
s=1
+ 4
dh(Is ea , s ) As (ea )
s=1
(
=
dh(ea )
3
10
dh(Is ea , s ) A(ea )
3 s=1
3
)
1 2
1
h dh(ea )|h|2 + h1 dh(ea , h)
Dt (ea )
4
2
t=1
3
3
(
)(
(
)
)
At (ea )
+ f |T 0 |2 h1 dh(ea )
Dt (ea ) f h1 (n + 2) dh(ea )
t=1
t=1
3
(
dh(s ) dh(Is ea )
s=1
(
+ h1 (n + 2)
3
) (
Dt (ea )
t=1
3
s=1
3
) (
)
dh(s ) dh(Is ea )
At (ea )
t=1
3
3
) (
)
10 (
dh(Is ea , s )
At (ea ) ,
+ 4
dh(Is ea , s ) As (ea )
3
s=1
t=1
s=1
3
(6.40)
16:53
ws-book
176
where the last equality uses (6.38) to express the vectors Fs by Ds , and the
expansions of the vectors A and D according to (6.20) and (6.36). Since the
= [ dh 2h1 dh dh][3][0] =
dimension of M is seven it follows U = U
0. This, together with the Yamabe equation (7.33) , which when n = 1
becomes h = 2 4h + 3h1 |h|2 , yield the formula, cf. (6.32),
dh (X, h) +
dh (Is X, Is h)
s=1
)
2 4h + 3h1 |h|2 dh(X) = 0. (6.41)
2
2
+ 3h
dh(s ) dh(Is ea ) + h1 dh(I1 ea , 1 )
3
s=1
10 1
10
h dh(I2 ea , 2 ) h1 dh(I3 ea , 3 ).
3
3
Similarly,
)
(
1 2
3
2
1
3 A1 A2 A3 + 2D1 = 2h + h + h |h| dh(ea )
2
3
1 2
h
dh(Is ea , Is h) + h1 dh(I1 ea , 1 )
2
s=1
h1 dh(I2 ea , 2 ) h1 dh(I3 ea , 3 ) + h2
s=1
dh(s ) dh(Is ea ).
16:53
ws-book
177
On the other hand, the coecient of A1 (ea ) in (6.40) is found to be, after
setting n = 1,
)
(
[
1
1
h 3 1 + h1 + h2 |h|2 h1 dh(ea )
2
4
( 3
)
2
2
+ 3h
dh(s ) dh(Is ea ) + h1 dh(I1 ea , 1 )
3
s=1
]
10
10
h1 dh(I2 ea , 2 ) h1 dh(I3 ea , 3 ) ,
3
3
while the coecient of D1 (ea ) in (6.40) is
1
1
dh(ea ) h2 dh(ea )|h|2 + h1 dh(ea , h)
4
2
f h1 dh(ea ) + dh(I1 ea , 1 ) dh(I2 ea , 2 )
dh(I3 ea , 3 )D1 (ea ) + h1
3
(
)
dh(s ) dh(Is ea ) .
s=1
(
)
dh (ea , h) =
dh (Is ea , Is h) + 2 4h + 3h1 |h|2 dh(ea )
s=1
(
)
1 1
1
2
+ h
1
+ h
dh(s ) dh(Is ea ) .
s=1
)
( 3
)
1 1
1 1
2
2
2 + h + h |h| dh(ea ) h
dh (Is ea , Is h)
2
2
s=1
+ dh(I1 ea , 1 ) dh(I2 ea , 2 ) dh(I3 ea , 3 )
( 3
)
1
+ h
dh(s ) dh(Is ea ) .
s=1
16:53
178
10
f D +
dh(s ) Fs + 4
dh(s )Is As
dh(s ) Is A
3 s=1
s=1
s=1
{ (
)
= f |T 0 |2 + h 1,2,3 g D1 , 3A1 A2 A3 + 2 D1
(
)}
22
2
2
11
1
1
+ g A1 ,
A1 A2 A3 +
D1
D2
D3 ,
3
3
3
3
3
3
where 1,2,3 denotes the sum over all positive permutations of (1, 2, 3). Let
Q be equal to
10
2 2
2
0 0
3
3 3
2
2 10
0 2
0
3 3
3
2
10
2
0 0 2
3 3 3
Q :=
10
2 2 22
2 2
3 3 3 3 3 3
10
2 2 22
2
3 3
3 3 3
3
2 2 22
2 2 10
3 3 3
3 3 3
so that
3
3
)
(
10
dh(s ) Is A
f D +
dh(s ) Fs + 4dh(s ) Is As
3 s=1
s=1
= f |T 0 |2 + h QV, V ,
with V = (D1 , D2 , D3 , A1 , A2 , A3 ). It is not hard to see that the eigenvalues
of Q are given by
ws-book
16:53
ws-book
6.6
179
The qc Yamabe problem on the qc sphere and quaternionic Heisenberg group in dimension seven
In this section we give the proof of Theorem 6.1.2. We start with part a).
Integrating the divergence formula of Theorem 6.5.1 it follows by Proposition 6.2.3 that the integral of the left-hand side is zero. Thus, the right-hand
side vanishes as well, which shows that the quaternionic contact structure
has vanishing torsion endomorphism, i.e., it is also qc-Einstein according
to Theorem 4.3.5.
Next we bring into consideration the 7-dimensional quaternionic Heisenberg group and the quaternionic Cayley transform as described in chapter 4 and 5. The quaternionic Heisenberg group of dimension seven is
G (H) = H Im H. Let us identify the (seven dimensional) group G (H)
with the boundary of a Siegel domain in H H, = {(q , p )
H H : p = |q 2 }. carries a natural group structure and the
map (q, ) 7 (q, |q|2 ) is an isomorphism between G (H) and ,
see Section 5.2.1.
The standard contact form, written as a purely imaginary quaternion
= (d q d
valued form, on G (H) is given by 2
q + dq q), where
denotes the quaternion multiplication. Since dp = q d
q + dq q d,
p = (1 p1 ) (1 + p1 )1 .
(6.43)
(6.44)
By (5.29) the Cayley transform is a conformal quaternionic contact diffeomorphism between the quaternionic Heisenberg group with its standard
and S \ {(1, 0)} with the standard conquaternionic contact structure
tact form on the sphere, = = dq q + dp p q d
q p d
p. Hence, up to
a constant multiplicative factor and a quaternionic contact automorphism
are conformal to each other. It follows that the same
the forms C and
In addition,
is qc-Einstein by denition, while
is true for C and .
180
16:53
ws-book
1 = u4/(Q2) ,
and 2 = (Ku)4/(Q2)
p p
,
|p |
|p |
where u is as in (6.45), Ku is its Kelvin transform, see (6.48) for the exact
formula, and Q is the homogeneous dimension of the group. Notice that
p p
p2 = (1 p)1 (1 + p).
(6.46)
i.e.,
1 = (C2 C11 ) 2 .
(6.47)
16:53
ws-book
181
p2 = p1
1 ,
C11
2 =
|q1
|4
1
.
+ |1 |2
C1 C2 =
,
|p1 |2
p1
,
|p1 |
which proves the identity (6.47). Using the properties of the Kelvin transform (2.37),
(
)
def
(Ku) (q , p ) = |p |(Q2)/2 u (q , p ) ,
(6.48)
proven in Theorem 2.3.7, we see that u and Ku are solutions of the Yamabe
equation (6.45). This implies that the contact form has constant qc-scalar
curvature, equal to 4(Q+2)
Q2 .
Notice that is conformal to the standard form and the arguments in
the preceding proof imply then that is qc-Einstein. A small calculation
shows that this is equivalent to the fact that if we set
u
= 210 [(1 + |q|2 )2 + ||2 ]2 ,
(6.49)
then u
satises the Yamabe equation (6.45) and all other nonnegative solutions of (6.45) in the space D1,2 are obtained from u
by translations (1.28)
and dilations (1.29) which in this case take the form
def
(qo ,o ) u
(q, ) = u
(qo + q, + o ),
def
u
(q) = 4 u
(q, 2 ),
> 0.
(6.50)
(6.51)
Thus, u which was dened in the beginning of the proof is given by equation
(6.49) up to translations and dilations.
The proof of Theorem 6.1.2 is complete.
6.7
In this section we shall prove Theorem 6.1.1. The proof relies on the realization made in [30] and used more recently in [70] that the center of
182
16:53
ws-book
mass idea of Szego [158] and Hersch [89] can be used to nd the sharp
form of (logarithmic) Hardy-Littlewood-Sobolev type inequalities on the
Heisenberg group. This method does not give all solutions of the qc Yamabe equation on the quaternionic contact sphere, but is enough to solve the
Yamabe constant problem.
The conformal nature of the problem we consider is key to its solution.
In this respect, even though the quaternionic contact (qc) Yamabe functional is involved, the qc scalar curvature is used in the proof without much
geometric meaning. Rather, it is the conformal sub-Laplacian that plays a
central role and the qc scalar curvature appears as a constant determined
by the Cayley transform and the left-invariant sub-Laplacian on the quaternionic Heisenberg group. It should be possible to extend this method to
a unied approach to all Iwasawa type groups using the results (and some
further known facts) of Section 2.3.1.
The proof follows a sequence of lemmas, which we present next. We
start with the determination of (the rst) an eigenvalue and corresponding
eigenfunctions of the horizontal sub-Laplacian on S 4n+3 . In fact, we shall
show that the restriction of every coordinate function is an eigenfunction.
Lemma 6.7.1. If is any of the (real) coordinate functions in R4n+4 =
Hn H, then
= 1 ,
1 =
S
= 2n,
Q+2
(6.52)
16:53
ws-book
183
+ 2).
which shows 1 = 2n = 21 (Q 6) = S/(Q
Following is a key result allowing the ultimate solution of the considered
problem. The idea follows Szego and Herschs center of mass method which
was used on the Heisenberg group (2.9) in [30] and later in [70] in a manner
which lead to the following lemma.
v V ol = 0.
S 4n+3
Proof. Let P S 4n+3 be any point of the quaternionic sphere and N be its
antipodal point. Let us consider the local coordinate system near P dened
by the Cayley transform CN from N . As already used many times, CN is a
quaternionic contact conformal transformation between S 4n+3 \ N and the
quaternionic Heisenberg group, cf. (5.29). Notice that in this coordinate
system P is mapped to the identity of the group. For every r, 0 < r < 1,
let r,P be the qc conformal transformation of the sphere, which in the
xed coordinate chart is given on the group by a dilation with center the
identity by a factor r . If we select a coordinate system in R4n+4 = Hn H
so that P = (1, 0) and N = (1, 0) and then apply the formulas for the
Cayley transform the formula for (q , p ) = r,P (q, p) becomes
(
)1
q = 2r 1 + r2 (1 + p)1 (1 p)
(1 + p) q
(
)
(
)
1
p = 1 + r2 (1 + p)1 (1 p)
1 r2 (1 + p)1 (1 p) , i.e,
where B ( B
) is the open
We can dene then the map : B B,
4n+4
(closed) unit ball in R
, by the formula
(rP ) =
1r,P v V ol.
S 4n+3
184
16:53
ws-book
2
v
positive
function u such
4n+3
( V ol = 1. There) is a smooth
(
) that
S
Q+2
Q+2
2
2
2
4 Q2 | u| + S u V ol = S 4n+3 4 Q2 | v| + S v V ol
S 4n+3
P u2 (P ) V ol = 0,
P R4n+4 = Hn H.
(6.53)
S 4n+3
v 2 V ol = 1, v > 0
(6.54)
S 4n+3
is achieved for a positive function u with a zero center of mass, i.e., for a
function u satisfying (6.53).
Proof. Let V ol = 1 2 3 (1 )2n be the volume form associated to
the qc contact form . Thus if is a qc structure on the sphere which is
qc conformal to the standard qc structure , = 4/(Q2) , then V ol =
1 v L(1 v) V ol = v L(v)
V ol.
(6.55)
1
16:53
ws-book
185
( Q+2
)
def
E(v) =
4
|v|2 + S v 2 V ol.
Q2
S 4n+3
After applying the divergence formula, Proposition 6.2.3, we obtain the
formula
( Q+2
)
|u|2 + S u2 V ol
E(u) =
2 4
Q2
S 4n+3
Q+2
V ol. (6.56)
u2
4
Q 2 S 4n+3
Next, we let be any of the coordinate functions in Hn H in which case
= 1 according to Lemma 6.7.1. It will be useful to introduce also
the functional
(
)2/2
2
N (v) =
v V ol
S 4n+3
(S 4n+3 , [
]) = inf{(v) : v D
(S 4n+3 )}.
(6.57)
d
Computing the second variation 2 (u)v = dt
2 (u + tv)|t=0 of (u) we see
2
that the local minimum condition (u)v 0 implies
E(v) (2 1)E(u)
u2 2 v 2 V ol 0
S 4n+3
E(u) (2 1)E(u)
u2 2 V ol 0,
S 4n+3
which after summation over all coordinate functions taking also into account (6.56) gives
E(u) (2 1)E(u) + 41 (2 1)
u2 V ol 0,
S 4n+3
16:41
ws-book
186
|u|2 V ol
0 4(2 1) (2 2)
S 4n+3
41 (2 1) (2 2) S
u2 V ol.
S 4n+3
Thus, our task of showing that u is constant will be achieved once we see
that
41 (2 1) (2 2) S 0, i.e, 1 S/(Q
+ 2).
(6.58)
1 a (2 2) S,
where a is the constant in front of the (sub-)Laplacian in the conformal
Q+2
(sub-)Laplacian, i.e., a = 4 Q2
in our case.
After these preliminaries we turn to the proof of Theorem 6.1.1.
Proof of Theorem 6.1.1. Let F be a minimizer (local minimum) of the
Yamabe functional E on G (H) and g the corresponding function on the
sphere dened by
g = C (F 1 ).
(6.59)
V ol = 2 V ol
,
(6.60)
2
2
hence F 2 V ol
V ol. This, together with the Yamabe equation
= f
implies that the Yamabe integral is preserved
(
)
S 2
2
| F | V ol
| g| + g
V ol,
(6.61)
=
a
G (H)
S 4n+3
where a = 4(Q + 2)/(Q 2). By Lemma 6.7.3 and (6.55) the function
g0 = 1 (g 1 ) will be well centered and a minimizer (local minimum)
of the Yamabe functional on S 4n+3 . The latter claim uses also the fact
that the map v 7 u of equation (6.55) is one-to-one and onto on the space
of smooth positive functions on the sphere. Now, from Lemma 6.7.4 we
16:53
ws-book
187
| v| V ol
o
def
G (H)
1,2
:
v
D
(G),
v
>
0
= inf
(
)
2/2
|v|2 V ol
G (H)
and
def
= inf
| v| dH
o
1,2
)2/2 : v D (G), v > 0 ,
2
|v| dH
G (H)
2
G (H)
2
where G = G (H). Clearly,
= S
is the best constant in
, where S
2
the L Folland-Stein inequality
(
)1/2
(
)1/2
2
2
|u| V ol
S
| u| V ol
,
(6.63)
G (H)
G (H)
(2n)!
=2
V ol
=
dH,
(6.64)
(6.65)
14:39
188
ws-book
2
|g|2 + Sa g 2 V ol
4n+3
ol
|
F
|
V
S
1
= [ G
=
[
]2/2 =
]
S22
2 V ol 2/2
|F |2 V ol
4n+3 |g|
= 2n(n + 1) (4n+4 )
1/(2n+3)
1/(2n+3)
4n+3
1
(4n+3)/2 ( 2 )
dH
=
,
(6.66)
Q/2
(4n + 3)
G (H) [(1 + |x|2 )2 + |y|2 )]
to compute
. To compare the two values it is useful to recall some
standard formulas involving the Eulers gamma function
(z + n) = z(z + 1) . . . (z + n 1)(z),
n N,
(
)
1
(2z) = 22z1 1/2 (z) z +
the Legendre formula,
2
(m+2)/2 m/2
2
, m-even ,
(m1)!!
m+1 = 2 (m+1)/2 / ((m + 1)/2) = 2(m+1)/2
m1 ,
m-odd .
( 2 )!
(6.67)
Using either of these approaches, it follows that
(n + 1) = n!,
1/(4n+6)
S
=
[(2n)! 4n+4 ]
2 n(n + 1)
= 2n(n + 1)
4n+4
hence
[ 2n+6
]1/(4n+6)
2
4n+4
,
S2 =
2n(n + 1)
(6.68)
16:53
ws-book
189
a=4
Q+2
n+2
=4
.
Q2
n+1
(6.69)
16:53
Chapter 7
7.1
Introduction
In this section, based on [99], we give a new proof of the well known
Chern-Moser theorem [45; 169] which states that a non-degenerate CRhypersurface in Cn+1 , n > 1, is locally CR equivalent to a hyperquadric in
Cn+1 if and only if the Chern-Moser curvature vanishes. In dimension three
we dene a symmetric tensor and show that its vanishing is a sucient condition a three dimensional CR-manifold to be locally CR equivalent to a
hyperquadric in C2 thus giving a new proof of the Cartan theorem [40]. Our
proof is based on the classical approach used by H.Weyl in Riemannian geometry [62]. The proof [99] is along the lines of the proof of Theorem 5.3.5
in the quaternionic contact geometry and it is instrumental to understand
the whole proof of Theorem 5.3.5 in [97].
7.2
ws-book
16:41
ws-book
192
T (, X) H,
cr
cr
cr
(7.1)
(7.2)
(7.3)
cr
cr
(7.4)
Let R be the curvature of the Tanaka-Webster connection. The pseudohermitian Ricci tensor rcr , the psudohermitian scalar curvature scr and the
pseudohermitian Ricci 2-form cr are dened by
rcr (A, B) = R(i , A, B, i ), scr = r(i , i ),
1
cr (A, B) = Rcr (A, B, i , Ii ).
2
February 9, 2011
9:19
ws-book
193
We summarize below the well known properties of the curvature Rcr of the
Tanaka-Webster connection [169; 170; 120] using real expression, see also
[60].
Rcr (X, Y, JZ, JV ) = Rcr (X, Y, Z, V ) = Rcr (X, Y, V, Z),
Rcr (X, Y, Z, ) = 0,
(7.5)
]
1 [ cr
R (X, Y, Z, V ) Rcr (JX, JY, Z, V )
2
= g(X, Z)A(Y, JV ) g(Y, V )A(X, JZ) + g(Y, Z)A(X, JV )
+ g(X, V )A(Y, JZ) (X, Z)A(Y, V ) (Y, V )A(X, Z)
+ (Y, Z)A(X, V ) + (X, V )A(Y, Z), (7.6)
cr
Rcr (, X, Y, Z) = (cr
Y A)(Z, X) (Z A)(Y, X),
(7.7)
(7.8)
(7.10)
7.3
1 2v
e d,
2
g =
1 2v
e g.
2
(7.11)
(7.12)
16:41
194
ws-book
where cr v is the horizontal gradient, g(cr v, X) = dv(X). The horizontal sub-Laplacian and the norm of the horizontal gradient are dened
respectively by
g
v = trH
(cr dv) = cr dv(i , i ),
(7.13)
(7.14)
A(X,
Y ) 2e2u A(X, Y ) g(S(,
= 2e2v cr dv(X, JY ) 4e2v dv(X)dv(JY ).
(7.15)
g(S(, X), Y ) =
(7.17)
A(X,
Y ) = 2e2v A(X, Y ) dv(X)dv(JY ) dv(JX)dv(Y )
[
]
e2v cr dv(X, JY ) + cr dv(JX, Y ) . (7.18)
The identity d2 = 0 together with (7.2) yields
cr dv(X, Y ) = [cr dv][sym] (X, Y ) dv()(X, Y ).
(7.19)
16:53
ws-book
195
(7.20)
]
+ (X, Z)(Y, V ) (Y, Z)(X, V ) + 2(X, Y )s (Z, V )
[
]
1
g(X, Z)cr (Y, JV ) g(Y, Z)cr (X, JV )
2(n + 2)
[
]
1
2(n + 2)
]
1 [
16:53
196
ws-book
(7.23)
We call the tensor F car the Cartan tensor in view of Theorem 7.3.5 below.
The relevance of the tensors CW and F car become clear from the next result
and Theorem 7.3.5 below proved by Chern and Moser [45] and Cartan [40]
in a completely dierent way using the Cartan method of equivalences
Theorem 7.3.2. The tensor CW is a pseudohermitian invariant, i.e. if v
is a smooth function and 2 = e2v , then 2e2v CW = CW .
Proof. By a straightforward computations using (7.14) and (7.17), we obtain the formula
[
]
2e2v g(R(X,
Y )Z, V ) g(R(X, Y )Z, V ) = g(Z, V ) N (X, Y ) N (Y, X)
g(X, Z)N (Y, V ) g(Y, V )N (X, Z) + g(Y, Z)N (X, V ) + g(X, V )N (Y, Z)
+ (X, Z)N (Y, JV ) + (Y, V )N (X, JZ) (Y, Z)N (X, JV )
[
]
(X, V )N (Y, JZ) + (X, Y ) N (Z, JV ) N (JZ, V )
[
]
+ (Z, V ) N (X, JY ) N (Y, JX) , (7.24)
where the (0,2) tensor N is given by
N (X, Y ) = cr dv(X, Y )
1
+ dv(X)dv(Y ) dv(JX)dv(JY ) g(X, Y )|cr v|2 . (7.25)
2
We denote trN = N (ea , ea ) the trace of the tensor N . Using (7.25) and
(7.19), we obtain
trN = v n|dv|2 ,
N (X, Y ) N (JX, JY ) = N (Y, X) N (JY, JX),
N (i , Ji ) = 2ndv(),
[
]
N (i , Ji )(X, Y ) = n N (X, Y ) N (Y, X) .
(7.26)
(7.27)
16:53
ws-book
197
Taking the traces in (7.24) and using (7.25), (7.26) and (7.27) we obtain
rcr (X, Y ) rcr (X, Y ) = (n + 1)N (X, Y ) + nN (Y, X)
+N (JX, JY ) + 2N (JY, JX) + trN g(X, Y ),
2v cr
2s
cr
(7.28)
= 8(n + 1)trN.
(7.31)
(7.32)
(7.33)
The result due to Chern and Moser [45] follows from Theorem 7.3.2 and
Proposition 7.3.1.
Theorem 7.3.4. [45] The Chern-Moser tensor S is a pseudo-conformal
invariant.
16:41
198
ws-book
The rest of the section is devoted to a new proof of the next theorem due
to Chern-Moser [45] and Webster [169] in dimension bigger than three and
due to Cartan [40] in dimension three.
Theorem 7.3.5. [40; 45; 169] Let (M, , g) be a 2n+1-dimensional nondegenerate pseudo-hermitian manifold.
i) [45; 169] If n > 1 then (M, , g) is locally pseudoconformal equivalent
to a hyperquadric in Cn+1 if and only if the Chern-Moser tensor vanishes,
S = 0;
ii) [40] If n = 1 then (M, , g) is locally pseudoconformal equivalent to
a hyperquadric in C2 if and only the tensor F car vanishes, F car = 0.
Proof. It is well known that a pseudohermitian manifold with at TanakaWebster connection is locally isomorphic to the (complex) Heisenberg
group. For n > 1 the vanishing of the horizontal part of the TanakaWebster connection implies the vanishing of the whole curvature, as follows
from (7.8) and (7.7). If n = 1, in addition to the vanishing of the horizontal
part of the curvature one needs also the vanishing of the pseudohermitian
torsion to have zero curvature.
On the other hand, the complex Cayley transform is a pseudo-conformal
equivalence between the Heisenberg group with its at pseudo-hermitian
(7.34)
cr dv(X, ) = D(X, )
1
C(X, Jcr v) + dv(JX)|cr v|2 dv(X)dv(),
2
(7.35)
17:45
ws-book
199
1 cr 4
| v| (dv())2 , (7.36)
4
where D(X, ) and D(, ) do not depend on the function v and are determined by
cr dv(, ) = D(, ) D(Jcr v, ) +
(cr
i C)(Ji , JX) = (2n + 1)D(JX, )
(7.37)
cr
(cr
X tr C) + (i C)(i , X) = 3D(JX, ),
1
D(, ) = [(cr
(7.38)
i D)(Ji , ) + C(i , Jj )C(Ji , j )].
2n
The consistences of the rst and second equality in (7.37) is precisely equivalent to (7.10).
To prove Theorem 7.3.5 it is sucient to show the existence of a local
smooth solution to (7.34) because of (7.18) and the proof of Theorem 7.3.2.
However, if equation (7.34) has a smooth solution then (7.35) and (7.36) appear as necessary conditions, so we considered the complete system (7.34)(7.36) and reduced the question to showing that this system has (locally)
a smooth solution.
The integrability conditions for the overdetermined system (7.34)-(7.36)
are furnished by the Ricci identities,
cr dv(A, B, C) cr dv(B, A, C) =
Rcr (A, B, C, cr v) cr dv((T cr (A, B), C).
(7.39)
We consider all
[ possible cases.
]
Case 1: Z, X, Y H . The equation (7.39) on H has the following
form
cr dv(Z, X, Y ) cr dv(X, Z, Y )
= Rcr (Z, X, Y, cr v) 2(Z, X)cr dv(, Y ),
(7.40)
(7.41)
16:53
ws-book
200
(7.42)
(X,Y,Z)
(7.43)
2R (, Y, Z, JX) + 2R (, X, Z, JY ) 2(X, Y )r (, Z) = 0,
cr
cr
cr
cr
cr cr
cr cr
(cr
X )(Y, Z) + (Y )(Z, X) + (Z )(X, Y )
cr
(7.44)
cr
cr
(7.45)
+2(n 1)R (, X, Y, Z) = 0.
cr
(7.46)
16:53
ws-book
201
(7.54)
(7.55)
16:53
202
ws-book
(7.56)
(7.57)
= (2n +
1)(cr
Y D)(Z, ).
(7.58)
(7.59)
(7.60)
The Ricci identities, (7.2), (7.9), (7.47), (7.46) and (7.48) give
[
]
((cr )2Y,ea C) ((cr )2ea ,Y C) (Jea , Z) = 2(cr
C)(Y, Z)
(trC)[C(Y, JZ) + C(JY, Z)] + (2n + 1)C(Y, JC(Z)) + C(Z, JC(Y ))
3C(JY, C(Z)) 3C(JZ, C(Y )) (Y, Z)C(ea , JC(Jea )). (7.61)
((cr )2ea ,Jea C)(Y, Z) = (n + 2)[C(JY, C(Z)) C(Y, JC(Z))]
(n + 2)C(Z, JC(Y )) + (n + 2)C(JZ, C(Y ))
2n(cr
C)(Y, Z) + (trC)(C(JY, Z) + C(Y, JZ)). (7.62)
The identity (7.56) follows from (7.60) and (7.61).
16:53
ws-book
203
[
]
Case 3: X, Y H . In this case (7.39) reads
cr dv(, X, Y ) cr dv(X, , Y )
= Rcr (, X, Y, cr v) cr dv(T (, X), Y ).
(7.63)
(7.64)
(7.65)
(7.66)
16:53
ws-book
204
Proof. First we dierentiate the already proven (7.56), (7.64), and the rst
equality in (7.37). Then we take the corresponding traces use the symmetry
of C, A and (7.37) to obtain
((cr )2ea ,Jea D)(Y, ) = (n + 2)[C(JY, eb ) C(Y, Jeb )]D(eb , )
(trC)D(JY, ) 2n( D)(Y, );
(7.68)
(7.69)
(7.70)
The Ricci identities, equations (7.7), (7.3), (7.4) and the symmetry of C
imply
((cr )2,eb C)(Jeb , Y ) ((cr )2eb , C)(Jeb , Y )
cr
= (cr
Jeb A)(eb , ea )C(Y, ea ) + A(eb , Jea )(ea C)(eb , Y )
cr
+ [(cr
ea A)(eb , Y ) (Y A)(eb , ea )]C(ea , Jeb ).
(7.71)
A small calculation taking into account (7.68), (7.69), (7.70), (7.71) and
using (7.48) yields
cr
(cr
D)(Y, ) (Y D)(, ) 3[C(Y, Jea ) + A(Y, ea )]D(ea , )
= (trC)D(JY, ) + (cr
eb C)(Y, Jea )C(Jeb , ea )
cr
cr
+ [(cr
eb A)(Y, ea ) (ea A)(Y, eb ) + (Y A)(eb , ea )]C(Jeb , ea ).
(7.72)
16:53
ws-book
205
scr
g(X, Y ) + A(X, JY ).
16
(7.73)
(7.74)
(7.75)
16:53
Bibliography
[1] Adams, R. A. Sobolev spaces. Pure and Applied Mathematics, Vol. 65. Academic Press, New York-London, 1975. 12
[2] Alexandrov, A.D., A characteristic property of the spheres, Ann. Mat. Pura
Appl. 58 (1962), 303354. 64
[3] Alekseevsky, D. & Kamishima, Y., Quaternionic and para-quaternionic CR
structure on (4n+3)-dimensional manifolds, Cent. Eur. J. Math. 2 (2004),
no. 5, 732753 (electronic). 131, 134
[4] Alekseevsky, D. & Kamishima, Y., Pseudo-conformal quaternionic CR structure on (4n+3)-dimensional manifold, Ann. Mat. Pura Appl. (4) 187 (2008),
no. 3, 487529., math.GT/0502531. 99, 154
[5] Alesker, S., Non-commutative linear algebra and plurisubharmonic functions
of quaternionic variables, Bull. Sci. Math., 127 (2003), 135. v
[6] Alesker, S., Quaternionic Monge-Ampere equations, J. geom. anal.,
13 (2003), 183216. v
[7] Alesker, S., Quaternionic plurisubharmonic functions and their applications
to convexity, math.DG/0606756. v
[8] Alesker, S. & Verbitsky, M., Plurisubharmonic functions on hypercomplex
manifolds and HKT-geometry, J. Geom. Anal., 16 (2006), 375399. v
[9] Alt, J., Weyl connections and the local sphere theorem for quaternionic contact structures, to appear in Annals of Global Analysis and Geometry. 155
[10] de Andres, L.C., Fernandez, M., Ivanov, St., Santisteban, J. A., Ugarte,
L., & Vassilev, D., Quaternionic Kaehler and Spin(7) metrics arising from
quaternionic contact Einstein structures, arXiv:1009.2745. 129, 137
[11] de Andres, L.C., Fernandez, M., Ivanov, St., Santisteban, J. A., Ugarte, L.,
& Vassilev, D., Explicit Quaternionic Contact Structures and Metrics with
Special Holonomy, arXiv:0903.1398. 134, 135, 137
[12] Anselmi, D. & Fre, P., Topological twist in four dimensions, R-duality and
hyperinstantons, Nuclear Phys. B 404 (1993), no. 1-2, 288320. v
[13] Astengo, F., Cowling, M. & Di Blasio, B., The Cayley transform and uniformly bounded representations, J. Funct. Anal., 213 (2004), 241269. 50
[14] Aubin, Th., Probl`ems isoperimetriques et espaces de Sobolev, J. Di. Geometry, 11 (1976), 573598. vi, vii, ix, 3, 88
207
ws-book
208
16:53
ws-book
16:53
Bibliography
ws-book
209
[33] Brezis, H., & Nirenberg, L., Positive solutions of nonlinear elliptic equations
involving critical Sobolev exponents, Comm. Pure Appl. Math., 36 (1983),
437477. 32
[34] Caarelli, L., Kohn R., & Nirenberg L., First Order Interpolation Inequality
with Weights, Compositio Math. 53 (1984) 259275. xi, 89
[35] Capogna, L., & Cowling, M., Conformality and Q-harmonicity in Carnot
groups. Duke Math. J. 135 (2006), no. 3, 455479. 50
[36] Capogna, L., Danielli, D., Pauls, S. D., & Tyson, J. T., An introduction
to the Heisenberg group and the sub-Riemannian isoperimetric problem.
Progress in Mathematics, 259. Birkhuser Verlag, Basel, 2007. xi, 46
[37] Capogna, L., Danielli, D., & N. Garofalo, N., Capacitary estimates and the
local behavior of solutions of nonlinear subelliptic equations, Amer. J. of
Math., 118 (1997), 1153-1196. 55
[38] Capogna, L., Danielli, D., & Garofalo, N., An imbedding theorem and the
Harnack inequality for nonlinear subelliptic equations, Comm. Part. Di.
Eq., 18 (1993), 17651794. 32, 38, 39
[39] Capria, M. & Salamon, S., Yang-Mills elds on quaternionic spaces Nonlinearity 1 (1988), no. 4, 517530. 101
[40] Cartan, E., Sur la geometrie pseudo-conforme des hypersurfaces de lespace
de deux variables complexes,
I. Ann. di Mat., 11 (1932), 1790,
II. Ann. Sci. Norm. Sup. Pisa, 1 (1932), 333354. 191, 193, 196, 198
[41] Catrina, F., & Wang, Z-Q., On the Caarelli-Kohn-Nirenberg inequalities:
sharp constants, existence (and nonexistence), and symmetry of extremal
functions. Comm. Pure Appl. Math. 54 (2001), no. 2, 229258. 92
[42] Chen, W.,& Li, C., Classication of solutions of some nonlinear elliptic
equations, Duke Math. Journ., 63 (1991), 615622. 64, 72
[43] Chen, J. & Li, J., Quaternionic maps between hyperk
ahler manifolds, J. Di.
Geom. 55 (2000), no. 2, 355384. v
[44] Chen, J. & Li, J., Quaternionic maps and minimal surfaces, Ann. Sc. Norm.
Super. Pisa Cl. Sci. (5) 4 (2005), no. 3, 375388. v
[45] Chern, S.S. & Moser, J., Real hypersurfaces in complex manifolds, Acta
Math. 133 (1974), 219271. 139, 191, 193, 195, 196, 197, 198
210
16:53
ws-book
16:53
Bibliography
ws-book
211
[69] Franchi, B., Gutierrez, C., & Wheeden, R. L., Weighted Sobolev-Poincare
inequalities for Grushin type operators, Comm. PDE, 19 (1994), 523604. 10
[70] Frank, R. L., & Lieb, E.H., Sharp constants in several inequalities on the
Heisenberg group, arXiv:1009.1410. viii, ix, 50, 88, 181, 183
212
16:53
[88] Helgason, S., Dierential geometry, Lie groups, and symmetric spaces. Pure
and Applied Mathematics, 80. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. 44
[89] Hersch, J., Quatre proprietes isoperimetriques de membranes spheriques homogenes. C. R. Acad. Sci. Paris Sr. A-B 270 (1970), A1645A1648. ix, 159,
182
[90] Hitchin, N., The self-duality equations on a Riemann surface, Proc. London
Math. Soc. 55 (1987) 59126. 132
[91] Holopainen, I., Positive solutions of quasilinear elliptic equations on Riemannian manifolds, Proc. London Math. Soc., (3) 65 (1992), no. 3, 651672. 32,
67
[92] I. Holopainen & S. Rickman, Quasiregular mappings of the Heisenberg group,
Math. Ann., 294 (1992), no. 4, 625-643 32
[93] H
ormander, L., Hypoelliptic second-order dierential equations, Acta Math.,
119 (1967), 147171. 36
[94] Ivanov, S., Minchev, I., & Vassilev, D., Quaternionic contact Einstein structures and the quaternionic contact Yamabe problem. preprint,
math.DG/0611658. v, xii, 98, 112, 113, 119, 124, 127, 130, 133, 135, 139,
140, 142, 144, 145, 155, 159, 163, 165, 174, 182
[95] Ivanov, S., Minchev, I., & Vassilev, D., Extremals for the Sobolev inequality on the seven dimensional quaternionic Heisenberg group and the quaternionic contact Yamabe problem, J. Eur. Math. Soc. (JEMS) 12 (2010), no.
4, 10411067. viii, ix, xii, 5, 159
[96] Ivanov, S., Minchev, I., & Vassilev, D., The optimal constant in
the L2 Folland-Stein inequality on the quaternionic Heisenberg group,
arXiv:1009.2978 viii, ix, xii, 5, 88, 158
[97] Ivanov, S., D. Vassilev, Conformal quaternionic contact curvature and the
local sphere theorem, J. Math. Pures Appl. 93 (2010), pp. 277-307. xii, 113,
119, 127, 137, 147, 150, 151, 152, 153, 154, 191
[98] Ivanov, S., D. Vassilev, Quaternionic contact manifolds with a closed fundamental 4-form, Bull. London Math. Soc. 2010; doi:10.1112/blms/bdq061;
arXiv:0810.3888 . 117, 118, 130, 155
[99] Ivanov, S., D. Vassilev, Zamkovoy, S., Conformal Paracontact curvature and
the local atness theorem, Geom. Dedicata 144 (2010), 79-100. xii, 191, 205
[100] Jelonek, W., Positive and negative 3-K-contact structures, Proc. Am. Mat.
Soc. 129 (2000), 247-256. 131, 134
[101] Jerison, D., & Lee, J., A subelliptic, nonlinear eigenvalue problem and scalar
curvature on CR manifolds, Contemporary Math., 27 (1984), 5763. vii
[102] Jerison, D., & Lee, J., The Yamabe problem on CR manifolds, J. Di.
Geom., 25 (1987), 167197. 64, 78, 84
[103] Jerison, D., & Lee, J., Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem, J. Amer. Math. Soc., 1 (1988), no.
1, 113. ix, 5, 56, 88
[104] Jerison, D., & Lee, J., Intrinsic CR normal coordinates and the CR Yamabe
problem, J. Di. Geom., 29 (1989), no. 2, 303343. vii
ws-book
16:53
Bibliography
ws-book
213
[105] Kaplan, A., Fundamental solutions for a class of hypoelliptic PDE generated
by composition of quadratic forms, Trans. Amer. Math. Soc., 258 (1980),
147153. 41, 42, 44, 45
[106] Kaplan, A., Riemannian nilmanifolds attached to Cliord modules. Geom.
Dedicata 11 (1981), no. 2, 127-136. 42
[107] Kaplan, A., & Putz, R., Harmonic forms and Riesz transforms for rank
one symmetric spaces. Bull. Amer. Math. Soc. 81 (1975), 128-132. 56
[108] Kaplan, A., & Putz, R., Boundary behavior of harmonic forms on a rank
one symmetric space. Trans. Amer. Math. Soc. 231 (1977), no. 2, 369-384.
43, 47, 63
[109] Kaplan, A., & Ricci, F., Harmonic analysis on groups of Heisenberg type.
Harmonic analysis (Cortona, 1982), 416435, Lecture Notes in Math., 992,
Springer, Berlin, 1983. 47
[110] Knapp, A. W., & Stein, E. M., Intertwining operators for semisimple
groups. Ann. of Math. (2) 93 (1971), 489-578. 7, 8
[111] Kobayashi, S., Principal bre bundles with 1-dimensional toroidal group,
Tohoku Math. J. (56) 8 (1956), 2945. 137
[112] Kobayashi, Sh., & Nomizu, K., Foundations of dierential geometry. Vol.
II. Interscience Tracts in Pure and Applied Mathematics, No. 15 Vol. II Interscience Publishers John Wiley & Sons, Inc., New York-London-Sydney
1969 xv+470 pp. 105
[113] Konishi, M., On manifolds with Sasakian 3-structure over quaternion
K
ahler manifolds, Kodai Math. Sem. Rep. 26 (1975), 194-200. 131, 134
[114] Kor
anyi, A., Kelvin transform and harmonic polynomials on the Heisenberg
group, Adv.Math. 56 (1985), 2838. 50, 51, 64
[115] Kor
anyi, A., Geometric properties of Heisenberg-type groups. Adv. in Math.
56 (1985), no. 1, 28-38. 43, 46, 47
[116] Kor
anyi, A., Multicontact maps: Results and conjectures. Lect. Notes
Semin. Interdiscip. Mat., IV, S.I.M. Dep. Mat. Univ. Basilicata, Potenza,
2005, 5763. 50
[117] Kor
anyi, A., & V
agi, S., Singular integrals on homogeneous spaces and
some problems of classical analysis. Ann. Scuola Norm. Sup. Pisa (3) 25
(1971), 575-648 (1972). 7
[118] Krantz, S., Lipschitz spaces on stratied groups, Trans. Amer. Math. Soc.,
269 (1982), no. 1, 3966. 37
[119] Lanconelli, E., & Uguzzoni, F., Asymptotic behavior and non-existence
theorems for semilinear Dirichlet problems involving critical exponent on
unbounded domains of the Heisenberg group, Boll. Un. Mat. Ital., (8) 1B (1998), 139168. 32, 41
[120] Lee, J., Pseudo-einstein structures on CR manifolds, Amer. J. Math., 110
(1988), 157178. 193
[121] Lee, J., The Feerman metric and pseudohermitian invariants, Trans.
AMS, 296 (1986), 411429. 192, 194, 197
[122] Lee, J. M. & Parker, T., The Yamabe Problem, Bull Am. Math. Soc.
17 (1987), no. 1, 3791. vii
[123] Li, J. & Zhang, X., Quaternionic maps between quaternionic K
ahler manifolds, Math. Z. 250 (2005), no. 3, 523537. v
214
16:53
[124] Lin, C-S, & Wang, Z-Q., Symmetry of extremal functions for the
Caarrelli-Kohn-Nirenberg inequalities. Proc. Amer. Math. Soc. 132 (2004),
no. 6, 16851691. 92
[125] Lions, P.L., The concentration compactness principle in the calculus of variations. The limit case. Part 1, Rev. Mat. Iberoamericana 1.1 (1985), 145
201. 4, 19
[126] Lions, P.L., The concentration compactness principle in the calculus of variations. The limit case. Part 2, Rev. Mat. Iberoamericana 1.2 (1985), 45121.
4, 28
[127] Mancini, G., Fabbri, I., & Sandeep, K., Classication of solutions of a
critical Hardy-Sobolev operator. J. Dierential Equations 224 (2006), no. 2,
258276. 89, 91
[128] Mazja, V. G. Sobolev spaces. Translated from the Russian by T. O. Shaposhnikova. Springer Series in Soviet Mathematics. Springer-Verlag, Berlin,
1985. 12
[129] Mancini, G. & Sandeep, K., Cylindrical symmetry of extremals of a
HardySobolev inequality., Ann. Mat. Pura Appl. (4) 183 (2004), no. 2,
165172 92
[130] Mitchell, J., On Carnot-Caratheodory metrics. J. Dierential Geom. 21
(1985), no. 1, 3545. 9
[131] Moser, J., On Harnacks theorem for elliptic dierential equations, Comm.
Pure Appl. Math.14 (1961), 577-591. 32, 34
[132] Nagel, Q., E. M. Stein, E.M., & Wainger, S., Balls and metrics dened by
vector elds I: basic properties, Acta Math. 155 (1985), 103147. 5
[133] Obata, M., The conjectures on conformal transformations of Riemannian
manifolds, J. Dierential Geometry 6 (1971/72), 247258. ix
[134] Okikiolu, G. O. , Aspects of the theory of bounded integral operators in
Lp -spaces, Academic Press, London, 1971. 89
[135] ONeill, B., Semi-Riemannian geometry, Academic Press, New York, 1883.
[136] Pansu, P., Metriques de Carnot-Caratheodory et quasiisometries des espaces symetriques de rang un, Ann. of Math. (2) 129 (1989), no. 1, 160. 97
[137] Pansu, P., Quasiisometries des varietes
a courbure negative. These, Paris
1987. 50
[138] Pertici, D., Funzioni regolari di pi
u variabili quaternioniche, Ann. Mat.
Pura Appl., Serie IV, CLI (1988), 3965. v
[139] Pertici, D., Trace theorems for regular functions of several quaternionic
variables, Forum Math. 3 (1991), 461-478. v
[140] Quillen, D., Quaternionic algebra and sheaves on the Riemann sphere,
Quart. J. Math. Oxford, 49 (1998), 163198. v
[141] Rashevsky, P. K., Any two points of a totally nonholonomic space may be
connected by an admissible line, Uch. Zap. Ped. Inst. im. Liebknechta, Ser.
Phys. Math., (Russian) 2 (1938), 8394. 8
[142] Reimann, H.M., Rigidity of H-type groups. Math. Z. 237 (2001), no. 4,
697725. 50
[143] Riehm, C. The automorphism group of a composition of quadratic forms.
Trans. Amer. Math. Soc. 269 (1982), no. 2, 403414. 42
ws-book
16:53
Bibliography
ws-book
215
[144] Rothschild, L. P., & Stein, E. M., Hypoelliptic dierential operators and
nilpotent groups. Acta Math. 137 (1976), 247320. 36
[145] Reed, M., & Simon, B., Methods of modern mathematical physics. I. Functional analysis. Second edition. Academic Press, Inc., New York, 1980. 11, 13
[146] Rudin, W., Real and complex analysis. Third edition. McGraw-Hill Book
Co., New York, 1987. 14
[147] Salamon, S., Almost parallel structures Global dierential geometry: the
mathematical legacy of Alfred Gray (Bilbao, 2000), 162181, Contemp.
Math., 288, Amer. Math. Soc., Providence, RI, 2001. 137
[148] Salo-Coste, Laurent, Aspects of Sobolev-type inequalities. London Mathematical Society Lecture Note Series, 289. Cambridge University Press, Cambridge, 2002. xi
[149] Schoen, R., Conformal deformation of a Riemannian metric to constant
scalar curvature, J. Dierential Geom., 20 (1984), no. 2, 479495. vii
[150] Secchi, S., Smets, D. & Willem, M., Remarks on a Hardy-Sobolev inequality, C. R. Math. Acad. Sci. Paris 336 (2003), no. 10, 811815. 92
[151] Serrin, J., A symmetry problem in potential theory, Arch. Ration. Mech.,
43 (1971), 304318. 64
[152] Serrin, J., Local behavior of solutions of quasi-linear equations, Acta Math.,
111 (1964), 247-302 32
[153] Stein, E. M., Harmonic analysis: real-variable methods, orthogonality, and
oscillatory integrals. With the assistance of Timothy S. Murphy. Princeton
Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton
University Press, Princeton, NJ, 1993. 48
[154] Stiefel, E., On Cauchy-Riemann Equations in Higher Dimensions, J. Res.
Nat. Bureau of Standards, 48 (1952), 395398. v
[155] Struwe, M., Variational Methods, Aplications to Nonlinear Partial Dierential Equations and Hamilton Systems, Fourth edition. Springer-Verlag,
Berlin, 2008. 19
[156] Sudbery, A., Quaternionic Analysis, Math. Proc. Camb. Phil. Soc.,
85 (1979), 199225. v
[157] Swann, A., Quaternionic K
ahler geometry and the fundamental 4-form,
Proceedings of the Workshop on Curvature Geometry (Lancaster, 1989),
165173, ULDM Publ., Lancaster, 1989. 137
[158] Szeg
o, G., Inequalities for certain eigenvalues of a membrane of given area
J. Rational Mech. Anal. 3, (1954). 343356. ix, 159, 182
[159] Talenti, G., Best constant in the Sobolev inequality, Ann. Mat. Pura Appl.,
110 (1976), 353372. vi, ix, 3, 88
[160] Tanaka, N., A dierential geometric study on strongly pseudo-convex manifolds, Lectures in Mathematics, Department of Mathematics, Kyoto University, No. 9. Kinokuniya Book-Store Co., Ltd., Tokyo, 1975. 9, 97, 192
[161] Tanaka, N., On non-degenerate real hypersurfaces, graded Lie algebras and
Cartan connections, Japan J. Math. 2 (1976), 131-190. 205
[162] Tanno, S., Remarks on a triple of K-contact structures, Tohoku Math. J.
48 (1996), 519-531.
216
16:53
[163] Trudinger, N., Remarks concerning the conformal deformation of Riemannian structures on compact manifolds, Ann. Scuola Norm. Sup. Pisa,
22 (1968), 265274. 131, 134
[164] Varopoulos, N. Th.; Salo-Coste, L.; Coulhon, T. Analysis and geometry
on groups. Cambridge Tracts in Mathematics, 100. Cambridge University
Press, Cambridge, 1992. vi
[165] Vassilev, D., Yamabe type equations on Carnot groups, Ph. D. thesis Purdue
University, 2000. xi
[166] Vassilev, D., Regularity near the characteristic boundary for sub-laplacian
operators, Pacic J Math, 227 (2006), no. 2, 361397. xi
[167] Vassilev, D., Lp estimates, asymptotic behavior and extremals for some
Hardy-Sobolev inequalities, to appear in Trans. AMS. xi, 16
xi, 41, 89, 91
[168] Wang, W., The Yamabe problem on quaternionic contact manifolds, Ann.
Mat. Pura Appl., 186 (2006), no. 2, 359380. x, 140, 162
[169] Webster, S. M., Real hypersurfaces in complex space, Thesis, University of
California, 1975. 64, 84, 97, 139, 191, 192, 193, 198
[170] Webster, S. M., Pseudo-hermitian structures on a real hypersurface, J.Di.
Geom., 13 (1979), 2541. 192, 193
[171] Wolf, J.A., Spaces of constant curvature. Second edition. Department of
Mathematics, University of California, Berkeley, Calif., 1972. 44
[172] Wu, H.-H., The Bochner technique in dierential geometry, Math. Rep., 3
(1988), no. 2, ixii and 289538. 160
[173] Xu, C. J., Subelliptic variational problems, Bull. Soc. Math. France, 118
(1990), 147169. 32
[174] Yamabe, H. , On a deformation of Riemannian structures on compact manifolds, Osaka Math J., (12) (1960), 2137. v, vi
[175] Yosida, K., Functional analysis. Reprint of the sixth (1980) edition. Classics
in Mathematics. Springer-Verlag, Berlin, 1995. 11, 14
ws-book
16:53
Index
J 2 condition, 47
Ric(, ), 111
Scal, 111
Sp(1), 101
Sp(n), 101
Sp(n)Sp(1), 101
Sp(n)Sp(1)-invariant components
[1] , 101
[3] , 101
T 0 (X, Y ), 107
Us (X, Y ), 107
W R, 150
, 187
, 162
s , 99
i (, ), 111
n , volume of (n 1)-dimensional
sphere, 87
s (, ), 112
s (, ), 112
Baker-Campbell-Hausdor formula, 6
ball
gauge ball, 7
Carnot-Caratheodory, 9
Banach space, 10
Banach-Alaoglu theorem, 13
dual, 10
reexive, 11
Biquard connection, 102
Brezis-Lieb lemma, 15
ws-book
218
16:53
Haar measure, 6
harmonic Riemannian spaces, 47
Harnack inequality, 38
Heisenberg group G (C), 44
Heisenberg group G (H), 125
Heisenberg group G (K), 44
Heisenberg type
algebra, 42
group, 42
homogeneous
dimension, 6
norm, 7, 45
pseudo-distance, 8
space, 44
structure, 6
horizontal curve, 8
horizontal divergence theorem, 161
horizontal gradient h, 141
horizontal space, 8
horizontal sub-Laplacian, 141
hyperbolic space, 44
Lie group structure, 44
inversion, 51
isometry group
Euclidean space, 43
Iwasawa
decomposition, 43
group, 43
Kelvin transform, 52
Killing form, 43
Kostant double-transitivity theorem,
44
Kulkarni-Nomizu product ?, 147
Lie algebra
norm . , 6
norm | |g , 7
scalar product < ., . >, 6
Lipschitz
non-isotropic space, 36
multicontact mapping, 50
partial symmetry, 63
D 1,p (), 10
D 1,p (), 11
M(G), 14
standard qc structure
, 146
126, 145
,
volume form V ol , 162
volume form V ol
, 187
horizontal basis of G (H), 126
ws-book
16:53
Index
stereographic projection, 50
sub-Laplacian, 8
H-type group, 42
symmetric space, 43
rank one, 44
translations, 16
upper-half plane model, 48
ws-book
219