Abstract
On any strictly pseudoconvex CR manifold M, of CR dimension n, equipped with a positively oriented contact form , we consider natural -contractions, i.e., contractions of the Levi form , such that the norm of the Reeb vector field T of is of order . We study isopseudohermitian (i.e., ) Cauchy–Riemann immersions between strictly pseudoconvex CR manifolds M and A, where is a contact form on A. For every contraction of the Levi form , we write the embedding equations for the immersion . A pseudohermitan version of the Gauss equation for an isopseudohermitian C-R immersion is obtained by an elementary asymptotic analysis as . For every isopseudohermitian immersion into a sphere , we show that Webster’s pseudohermitian scalar curvature R of satisfies the inequality with equality if and only if and on . This gives a pseudohermitian analog to a classical result by S-S. Chern on minimal isometric immersions into space forms.
Keywords:
Levi form; contact form; Tanaka–Webster connection; pseudohermitian scalar curvature; sublaplacian; CR immersion; isopseudohermitian immersion; sub-Riemannian structure; ϵ-contraction; pseudohermitan second fundamental form; pseudohermitian Gauss equation MSC:
32V05; 32V30; 53C17; 53C40; 53C42; 53C43
1. Introduction
The present paper has two main purposes: a general one, which looks at certain problems originating in complex analysis from the point of view of pseudohermitian geometry, and a more specific purpose, which is contributing to the study of CR immersions between strictly pseudoconvex CR manifolds, from a differential geometric viewpoint. Pseudohermitian geometry was brought into mathematical practice by S.M. Webster [] and N. Tanaka [], and the term pseudohermitian structure was coined by S.M. Webster himself (see op. cit.). Pseudohermitian geometry soon became a popular research area, and its development up to 2006 is reported in the monographs by S. Dragomir and G. Tomassini [] and by E. Barletta, S. Dragomir, and K.L. Duggal []. The further growth of the theory, though confined to the topic of subelliptic harmonic maps and vector fields on pseudohermitian manifolds, is reported in the monograph by S. Dragomir and D. Perrone []. The part added to the theory of CR immersions by the present paper, which is deriving a pseudohermitian analog to the Gauss equation (of an isometric immersion between Riemannian manifolds), aims to contribute applications to rigidity theory. The remainder of the Introduction is devoted to a brief parallel between rigidity within Riemannian geometry on one hand and complex analysis on the other, and to a glimpse into the main results. The authors benefit from the (partial) embedding (described in detail in [] and adopted there for different purposes, i.e., the study of the geometry of Jacobi fields on Sasakian manifolds) of pseudohermitian geometry into sub-Riemannian geometry, and the main novelty from a methodological viewpoint is the use of methods in sub-Riemannian geometry (see [,]).
Rigidity in differential geometry has a long history, perhaps starting with rigidity of regular curves of curvature and torsion (): any other regular curve with the same curvature and torsion differs from by a rigid motion i.e., for some orthogonal linear map and some vector . See M.P. Do Carmo [], p. 19.
As a step further, one knows about the rigidity of real hypersurfaces in Euclidean space , i.e., if and are two isometric immersions of an n-dimensional orientable Riemannian manifold M, whose second fundamental forms coincide on M, then for some isometry . See Theorem 6.4 in S. Kobayashi and K Nomizu [], Volume II, p. 45.
A close analog to rigidity in the above sense, occurring in complex analysis of functions of several complex variables, is that of rigidity of CR immersions, and our starting point is S.M. Webster’s legacy; see []. A CR immersion is a map of CR manifolds M and A such that: (i) f is a immersion, and (ii) f is a CR map; i.e., it maps the CR structure onto . Let be a -dimensional CR manifold, of CR dimension n. M is a CR hypersurface of the sphere if is a (codimension two) submanifold and the inclusion is a CR immersion. A CR hypersurface M is rigid in if for any other CR hypersurface , every CR isomorphism extends to a CR automorphism . By a classical result of S.M. Webster (see []), if , every CR hypersurface is rigid.
The proof (see [], Volume II, pp. 45–46) of rigidity of real hypersurfaces in Euclidean space relies on the analysis of the Gauss–Codazzi equations for a given isometric immersion, and the treatment of rigidity of CR hypersurfaces in exploits (again see []) in a rather similar manner CR, or more precisely pseudohermitian, analogs to Gauss–Codazzi equations, where the ambient and intrinsic Levi–Civita connections (at work within the geometry of isometric immersions between Riemannian manifolds) are replaced by the Tanaka–Webster connections. The Tanaka–Webster connection is a canonical connection (similar to the Levi–Civita connection in Riemannian geometry, and to the Chern connection in Hermitian geometry) occurring on any nondegenerate CR manifold, on which a contact form has been fixed (see [,]). The Tanaka–Webster connection is also due to S.M. Webster (see []), yet was independently discovered by N. Tanaka in a monograph (see []) that remained little known to Western scientists up to the end of the 1980s. The pseudohermitian analog to the Gauss equation in Webster’s theory (see []) is stated as:
Insufficient computational details are furnished in [], and the derivation of (1) remains rather obscure.
A more recent tentative approach to the (CR analog to) the Gauss–Codazzi–Ricci equations was taken up by P. Ebenfelt, X-J. Huang, and D. Zaitsev (see []). They introduced and made use of a CR analog to the second fundamental form (of an isometric immersion), which is naturally associated with a given CR immersion and springs from work in complex analysis by B. Lamel (see [,]). Their pseudohermitian (analog to) the Gauss equation
for a given CR immersion depends on a particular choice of contact forms and , respectively, on the submanifold M and on the ambient space A, such that: (i) , and (ii) is tangent to the ambient Reeb vector field (the globally defined nowhere zero tangent vector field on A, transverse to the Levi distribution, uniquely determined by and ). However, the proof of the existence of such and is purely local and, in general, global contact forms on M and A such that f is isopseudohermitian, and might not exist at all.
The class of isopseudohermitian immersions between strictly pseudoconvex CR manifolds enjoying the property was studied independently by S. Dragomir (see []). As it turns out, any CR immersion in the class is also isometric with respect to the Webster metrics, i.e., , and then a pseudohermitian (analog to the) geometry of the second fundamental form (of an isometric immersion) may be built by closely following its Riemannian counterpart, in a rather trivial manner. Despite the enthusiastic review by K. Spallek (see []) and the later development (by S. Dragomir and A. Minor [,]) relating the geometry of the second fundamental form (of a CR immersion in the class above) to the Fefferman metrics of and , the built theory of CR immersions is not general enough: it does not suggest a path towards a theory of CR immersions not belonging to the class, within which one may hope to recover Webster’s mysterious “Gauss equation” (1). It is our purpose, within the present paper, to adopt an entirely new approach to building a “second fundamental form” based theory of CR immersions, using methods coming from sub-Riemannian geometry (e.g., in the sense of R.S. Strichartz []).
That CR geometry (partially) embeds into sub-Riemannian geometry is a rather well-known fact: given a strictly pseudoconvex CR manifold M, endowed with a positively oriented contact form , the pair , consisting of the Levi distribution and the Levi form , , is a sub-Riemannian structure on M, and the Webster metric is a contraction of (see [,,,]).
We adopt the additional assumption that the given CR immersion (between the strictly pseudoconvex CR manifolds M and A) is isopseudohermitian, i.e., for some choice of contact forms and on M and A, respectively, yet we refrain from assuming that is tangent to the Reeb vector field of the ambient space ; rather, will be, relative to , always oblique. may be looked at as a submanifold in the Riemannian manifold , yet, by our assumption , the first fundamental form (i.e., the pullback to M of the ambient Webster metric ) of the given immersion does not coincide with the intrinsic Webster metric . That is, is not an isometric immersion, and the well-established and powerful apparatus based on the Gauss–Codazzi–Mainnardi–Ricci equations cannot be a priori applied to f.
To circumnavigate this obstacle, one endows A with the Riemannian metric , the contraction of the Levi form associated with each , given by
Our strategy will be to regard as a submanifold of the Riemannian manifold and derive the Gauss–Weingarten and Gauss–Ricci–Codazzi equations of the immersion . In the end, these will lead, as , to the seek after pseudohermitian analogs to the embedding equations. To illustrate the expected results, we state the pseudohermitian Gauss equation of a CR immersion into a sphere.
Corollary 1.
Let M be a strictly pseudoconvex CR manifold, of CR dimension n, equipped with the positively oriented contact form . Let , , be a CR immersion of M into the standard sphere carrying the CR structure induced by the complex structure of . Let be the canonical contact form on . If f is isopseudohermitian(i.e., ), then
for any .
Here, is the curvature tensor field of the Tanaka–Webster connection ∇ of , and is the pseudohermitian second fundamental form of the given immersion . A brief inspection of (3) reveals a strong formal analogy to the ordinary Gauss equation in Riemannian geometry; see B-Y. Chen []. At the same time, all obstructions springing from the geometric structure at hand (which is pseudohermitian, rather than Riemannian) are inbuilt in Equation (3). For instance, Equation (3) contains the (eventually nonzero) pseudohermitian torsion tensor field A of . Additionally, (3) contains the tensor field expressing the difference between the induced connection and the Tanaka–Webster connection ∇ (the non-uniqueness of the canonical connection on M is of course tied to the failure of to be isometric). Our expectation is that an analysis of the pseudohermitian Gauss–Codazzi equations will lead to rigidity theorems for isopseudohermitian CR immersions and, in particular, (focusing on the case ).
The certitude that Riemannian objects on (and their tangential and normal components, relative to ) will give, in the limit as , the “correct” pseudohermitian analogs to the (Riemannian) embedding equations is already acquired from the following early observations: let be endowed with the contraction of given by , and let and be respectively the gradient and Laplace–Beltrami operators (on functions) of the Riemannian manifold . Then,
showing that tends, in the limit as , to the horizontal gradient (familiar in subelliptic theory; see, e.g., []), while tends (in an appropriate Banach space topology, where second order elliptic operators such as form an open set, one of whose boundary points is ) to the sublaplacian of .
As an application of the pseudohermitian Gauss Equation (3) in Corollary 2, we shall establish the following result.
Theorem 1.
Let M be a strictly pseudoconvex CR manifold, of CR dimension n, equipped with the contact form . Let be an isopseudohermitian immersion of into the sphere , endowed with the contact form . Then, the pseudohermitian scalar curvature of satisfies the inequality
with equality if and only if and on .
Here, . Theorem 1 generalizes a classical result by S-S. Chern (see []) on isometric immersions of Riemannian manifolds into a space form (to the case of isopseudohermitian immersions of strictly pseudoconvex CR manifolds into a sphere).
The definitions of objects used in the present Introduction can be found in Section 2 of the present paper.
2. Sub-Riemannian Techniques in CR Geometry
All basic notions and results used through the paper are described in detail in Section 2, following the monograph by S. Dragomir and G. Tomassini []. Specifically, in Section 2.1, we recall the necessary material in Cauchy–Riemann (CR) and pseudohermitian geometry by essentially following monograph []. CR geometry is known to (partially) embed into sub-Riemannian geometry, in the sense of R. Strichartz []. We therefore recall the basics of sub-Riemannian geometry, at work in the present paper, in Section 2.2 by following J.P. D’Angelo and J.T. Tyson (see []) and [,], and of course [].
2.1. CR Structures and Pseudohermitian Geometry
Let M be an orientable real -dimensional differentiable manifold, and let be the (total space of the) tangent bundle over M.
Definition 1
([], pp. 3–4). A CR structure is a complex rank n complex subbundle of the complexified tangent bundle such that
for any open set . A pair consisting of a -dimensional manifold M and a CR structure on M is a CR manifold. The integer n is the CR dimension.
Here, (an overbar denotes complex conjugation). Every real hypersurface may be organized (see e.g., formula 1.12 in [], p. 5) as a CR manifold of CR dimension n, with the CR structure
induced by the complex structure of the ambient space. Here, denotes the holomorphic tangent bundle over , i.e., the span of where are the Cartesian complex coordinates on .
Definition 2
([], p. 4). The real rank (hyperplane) distribution
is the Levi (or maximally complex) distribution.
carries the complex structure
Definition 3
([], p. 4). A map of the CR manifold into the CR manifold is a CR map if
Equivalently, a CR map is characterized by the properties
for any ; see formulas 1.10 and 1.11 in [], p. 4.
Definition 4
([], p. 5). A CR isomorphism is a diffeomorphism and a CR map. A CR automorphism of the CR manifold M is a CR isomorphism of M into itself.
For every CR manifold M, let be the group of all CR automorphisms of M.
Definition 5
([], p. 5). The conormal bundle is the real line bundle given by
As M is orientable, and is oriented by its complex structure, the quotient bundle is orientable. Moreover, there is a (non-canonical) vector bundle isomorphism , hence is orientable as well. Any orientable real line bundle over a connected manifold is trivial (see, e.g., Remark 11.3 in [], p. 115). Hence, (a vector bundle isomorphism). Therefore, admits globally defined nowhere zero sections.
Definition 6
([], p. 5). A global section such that for every is called a pseudohermitian structure on M.
A pseudohermitian structure is a real valued differential 1-form on M such that (and in particular for any ).
Definition 7.
A pair consisting of a CR manifold M and a pseudohermitian structure on M is a pseudohermitian manifold.
Let be the set of all pseudohermitian structures on M.
Definition 8
([], pp. 5–6). Given , the Levi form is
Definition 9
([], p. 6). The CR structure is nondegenerate if the (symmetric bilinear) form is nondegenerate for some .
Any other pseudohermitian structure is related to by for some function . Then,
hence the corresponding Levi forms and are related by . Consequently, if is nondegenerate for some , it is nondegenerate for all. That is, nondegeneracy is a CR invariant notion; it does not depend on the choice of pseudohermitian structure. Strictly speaking:
Definition 10.
A geometric object, or a notion, on a CR manifold M is CR invariant if it is invariant with respect to the action of .
The signature of the Levi form of a nondegenerate CR manifold M is a CR invariant.
Definition 11
([], p. 43). A differential 1-form is a contact form if is a volume form on M.
If is nondegenerate, then each is a contact form; see, e.g., Proposition 1.9 in [], pp. 43–44.
For any nondegenerate CR manifold, on which a contact form has been fixed, there is a unique globally defined nowhere zero tangent vector field , transverse to the Levi distribution, determined by the requirements
See Proposition 1.2 in [], pp. 8–9.
Definition 12.
T is called the Reeb vector field of .
Let be a contact form on M, and let us define the tensor field on M by setting
for any . is a semi-Riemannian metric on M; see [], p. 9.
Definition 13
([], p. 9). is called the Webster metric of .
Definition 14
([], p. 6). A CR structure is strictly pseudoconvex (and the pair is a strictly pseudoconvex CR manifold) if the Levi form is positive definite for some .
Let be the set of all such that is positive definite. If M is strictly pseudoconvex, then . Any strictly pseudoconvex CR manifold is nondegenerate. If , then the Webster metric is a Riemannian metric on M.
Definition 15.
A contact form is said to be positively oriented.
Quadrics and odd dimensional spheres are organized as CR manifolds, with the CR structures naturally induced by the ambient complex structure. consists of all fractional linear, or projective, transformations preserving ; see, e.g., [].
Definition 16
([], p. 11). The Heisenberg group is the non-commutative Lie group , with the group law
The Heisenberg group is organized as a CR manifold with the CR structure spanned by
See formula (1.24) in [], p. 12.
Definition 17
([], p. 12, and []). When , the first order differential operator is the Lewy operator.
The mapping
is a CR isomorphism. Let us set
with , . Both and are strictly pseudoconvex, and , .
For any nondegenerate CR manifold M on which a contact form has been fixed, there is a unique linear connection ∇ on M satisfying the following requirements: (i) is parallel with respect to ∇, i.e., and ; (ii) and ; and (iii) the torsion of ∇ is pure, i.e.,
for any . Here, for any . See Theorem 1.3 in [], p. 25.
Definition 18
([], p. 26). ∇ is the Tanaka–Webster connection of . The vector-valued 1-form on M is the pseudohermitian torsion of ∇.
As a consequence of axioms (i)–(ii) . In particular, the pseudohermitian torsion is trace-less; i.e., . Moreover, if , then A is symmetric, i.e., ; see Lemma 1.4 in [], pp. 38–40.
Definition 19.
For every function , the horizontal gradient of u is
Here, is the projection associated with the direct sum decomposition . Additionally, is the gradient of u with respect to the Webster metric, i.e.,
Definition 20.
For every vector field X on M, the divergence of X is its divergence with respect to the contact form , i.e.,
Here, is the Lie derivative at the direction X.
Definition 21
([], p. 111). Let . The sublaplacian of is the second order differential operator given by
for every function .
is a formally self-adjoint, degenerate elliptic operator (formally similar to the Laplace–Beltrami operator of a Riemannian manifold) naturally occurring on a strictly pseudoconvex CR manifold M, on which a positively oriented contact form has been fixed. While is not elliptic (ellipticity degenerates in the cotangent directions spanned by ; see []), is subelliptic of order , and hence it is hypoelliptic; see [], pp. 114–116, and L. Hörmander [].
We end the section by briefly recalling a few elements of curvature theory on a nondegenerate CR manifold M, endowed with a contact form . Let be the curvature tensor field of the Tanaka–Webster connection ∇ of . Let be a local frame of , defined on the open set , and let . Then,
is a local frame of on U. For all local calculations, one sets
Let us consider the functions determined by
Definition 22.
The Ricci tensor is
The pseudohermitian Ricci tensor is .
Then ; see [], p. 50.
Definition 23.
The pseudohermitian scalar curvature is .
A pseudohermitian analog to the holomorphic sectional curvature (of a Kählerian manifold) was introduced by S.M. Webster [] and studied in some detail by E. Barletta [].
2.2. Sub-Riemannian Geometry
Let be a CR manifold. Let be a distribution on M.
Definition 24
([] p. 224 and [] p. 124). S is bracket generating if the sections in S, together with their commutators, span at each point .
Given , let such that . Let be the subspace spanned by
Next, let us inductively define the spaces by setting
Definition 25
([,]). A tangent vector is a k-step bracket generator if . The distribution S is said to satisfy the strong bracket generating hypothesis if, for arbitrary , each is a 2-step bracket generator.
Let S be a bracket generating distribution on M.
Definition 26
([,]). A sub-Riemannian metric on S is a Riemannian bundle metric on S, i.e., a positive definite section . A pair consisting of a bracket generating distribution S on M and a sub-Riemannian metric Q on S is called a sub-Riemannian structure on M.
Definition 27
([], p. 229 and [,]). A piecewise curve (where is an interval) is horizontal if for all values of the parameter t (for which makes sense).
Assume M to be strictly pseudoconvex. Let be a positively oriented contact form on M. Then, is a sub-Riemannian structure on M; see [], p. 125.
Definition 28.
The sub-Riemannian length of a horizontal curve is
A piecewise curve joins the points if , , and . Let (,respectively, ) be the set of all piecewise (respectively horizontal) curves joining x and y. Let (respectively, ) be the distance between induced by the Riemannian metric (respectively, the greatest lower bound of ). is a distance function on M; see [], p. 230.
Definition 29.
is the Carnot–Carthéodory distance function on M, induced by the sub-Riemannian structure .
Definition 30
([], p. 230). A Riemannian metric g on M is said to be a contraction of the sub-Riemannian metric if the distance function associated with g satisfies for any .
As (a strict inclusion), one has for any . Hence, the Webster metric is a contraction of the Levi form . The construction of a contraction of by the requirement that the norm of the Reeb vector T be 1, appearing as quite natural a priori, proves to be rather restrictive later on; i.e., the Riemannian geometry of turns out to be insufficiently related to the CR and pseudohermitian geometry on . As shown by J. Jost and C-J. Xu (see []), the requirement that the norm of T be is far reaching (and related to the notion of homogeneous space in PDEs theory; see []). In the next section, we adopt a version of the construction in [], referred to in the sequel as an -contraction of .
2.3. -Contractions
Let be a strictly pseudoconvex CR manifold, and let be a positively oriented contact form on M. Let be the Reeb vector field of . Let , and let be the tensor field on M defined by
for any . is a Riemannian metric on M and a contraction of . The direct sum decomposition
together with (4) and (5) yields
Definition 31.
is called the -contraction of .
The contraction is built such that the norm of T is , a property of crucial importance in the further asymptotic analysis as . For every , we consider the contact form . The Reeb vector field of is given by .
Lemma 1.
The Webster metric and the ϵ-contraction of are related by
for any . Summing up:
In particular, none of the metrics is a Webster metric; i.e., there is no such that .
The proof of Lemma 1 is straightforward.
Lemma 2.
The Levi–Civita connectionof the Riemannian manifoldand the Tanaka–Webster connection ∇ of the pseudohermitian manifold are related by
for any .
Here, for any . is a pseudohermitian analog to the fundamental 2-form in Hermitian geometry. However, so that, unlike the (perhaps more familiar) case of Kählerian geometry, and its exterior powers do not determine nontrivial de Rham cohomology classes on M.
The remainder of the section is devoted to the proof of Lemma 2. This requires a rather involved calculation, as follows. Given a Riemannian metric g on M, it will be useful to adopt the following:
Definition 32.
The Christoffel mapping is
for any .
Let and ∇ be, respectively, the Webster metric and Tanaka–Webster connection of . As , one may apply the so-called Christoffel process; i.e., starting from
we produce other two identities of the sort by circular permutation of ,
add the first two and subtract the third, and use to recognize torsion terms. We obtain
for any . By the purity axiom, the torsion of the Tanaka–Webster connection satisfies
Then, by (17),
for any . Substitution from (18) into (16) furnishes
Next, we may exploit (7) (relating the -contraction to the Webster metric ) to derive
or, by using ,
Let be the Levi–Civita connection of the Riemannian manifold . As is symmetric and , the Christoffel process yields
Then, by substitution from (20) into (21),
or, by replacing in terms of from (7), substituting from (19), and using ,
The rather involved relation (22) holding for any can be greatly simplified by using the decomposition (6). For arbitrary , the relation (22) yields, ,
where is the projection with respect to the decomposition (6). Again, by (22), for , we obtain
which determines the component along T of , with respect to the decomposition (6). At this point, we may use (23) and (24) to compute for any . For every ,
hence, by (23) and (24),
where ⊙ is the symmetric tensor productl i.e., . For , Equation (26) becomes
and (12) is proved. The remaining relations (13)–(15) in Lemma 2 follow from (26) for: (i) and ; (ii) and ; and (iii) . Q.E.D.
It will be useful to compute the covariant derivative of J with respect to , where is extended as customary to a -tensor field on M by requiring that . Note that the extension of J depends on the chosen contact form on M.
Lemma 3.
For any
2.4. Gradients and the Laplace–Beltrami Operator on
For every function , let be the gradient of u with respect to the Riemannian metric , i.e.,
Let be the Laplace–Beltrami operator of , i.e.,
Here, is the divergence operator with respect to the volume form , i.e.,
for every vector field X tangent to M. Let be a local coordinate system on M, and let us set
The Riemannian volume form of is locally given by
The volume form is parallel with respect to the Tanaka–Webster connection (i.e., ), hence the divergence of a vector field X may be computed as
See [], p. 112.
Lemma 4.
(i) For every ,
(ii) For every ,
Proof.
(i) By (7), for every ,
In particular, for arbitrary ,
Also, for ,
Finally, by (34) and (35) and the decomposition (25),
and (32) in Lemma 4 is proved.
(ii) Let be a local -orthonormal
frame of , defined on the open subset . Then, by (7),
is a local -orthonormal frame of . Consequently, the Laplace–Beltrami operator of on functions can be computed as
by (12) and (15)
for every . Finally, (33) in Lemma 4 follows from
as is skew-symmetric, , and
The formula (36) is a consequence of (31). □
Let be a bounded domain, with boundary of class , . Let us assume that lies on one side of its boundary; i.e., for every , there is a neighborhood and a diffeomorphism such that and . Here, is the unit ball. Let be the space of differential operators of order ℓ with real valued continuous coefficients
is a Banach space with the norm
Let be the symbol of . L is degenerate elliptic if
- (i)
- There exist and such that and is constant on [where ],
- (ii)
- The set is nonempty.
Proposition 1.
For every bounded domain in the Heisenberg group, the sublaplacian is a degenerate elliptic operator of order .
Proof.
If is the trivial vector bundle, one may compute the symbol [where is the projection] and show that the ellipticity of degenerates at the cotangent directions spanned by the canonical contact form (see E. Barletta and S. Dragomir []). Here we wish to give a “sub-Riemannian proof” to the statement. Let us recall that is elliptic in if for any and any . Let be the set of elliptic operators of order k. Then, for every and, by (33),
hence . However, (see, e.g., N. Shimakura [], p. 184) is an open subset of the Banach space whose boundary consists precisely of the degenerate (second order) elliptic operators on . □
2.5. Curvature Properties
Let and be the curvature tensor fields of ∇ (the Tanaka–Webster connection of ) and of (the Levi–Civita connection of ).
Lemma 5.
Let M be a strictly pseudoconvex CR manifold and a positively oriented contact form on M. Then, and are related by
for any .
Proof.
Let . Then,
and
hence
By (12)–(15) relating to ∇, one conducts the following calculations:
by substitution from (41)
again by (41) and ,
thus proving (37). To prove (38), one conducts the following calculation
by (13) and (41)
by
yielding (38) by . To prove (39), one conducts the following calculation:
by (14) and (12), and by
Note that, by the very definition of the pseudohermitian torsion ,
Then, by and ,
thus yielding (39). Finally, (40) follows from
by and (13)
by and
□
3. First Fundamental Forms
Let be a strictly pseudoconvex CR manifold of CR dimension n. Through this section, given a positive integer and another strictly pseudoconvex CR manifold of CR dimension , we study the geometry of the second fundamental form of Cauchy–Riemann (CR) immersions .
Definition 33.
A CR immersion is a immersion of , which is a CR map.
Our approach to the study of CR immersions is to establish pseudohermitian analogues to the Gauss–Weingarten formulas and to the Gauss–Ricci–Codazzi equations. Let and be positively oriented contact forms on M and A, respectively.
Lemma 6.
Let be a CR immersion. There is a unique function such that
Consequently,
and for any .
Proof.
For every and ,
because of
Hence,
Let be a local frame of , defined on an open neighborhood of x. Then,
is a local frame of on U. Let us set
For every [by ]
yielding (42). As f is a CR map, aside from (44), one has
where J and are the complex structures along the Levi distributions and . Also, by exterior differentiation of (42),
Hence, for any ,
by (47)
proving (43). An upper index f denotes composition with f, e.g., , where is thought of as a section . Finally, for every , (as is a monomorphism, and and are positive definite),
yielding . □
Definition 34.
Definition 35.
A CR immersion of into is said to be isopseudohermitian if .
Proposition 2.
Let be a CR immersion between the strictly pseudoconvex CR manifolds M and A. Let . If
then there is a contact form such that f is an isopseudohermitian immersion of into .
Proof.
Let and let be the dilation of the CR immersion f relative to the pair . Then, , and we may set . □
For every CR immersion , we may look at M as an immersed submanifold of the Riemannian manifold . However, in general, the first fundamental form, i.e., the pullback of the ambient Webster metric , of the given immersion does not coincide with the intrinsic Webster metric , not even if f is isopseudohermitian. To circumnavigate this obstacle, we endow A with the Riemannian metric , the contraction of the Levi form associated with every as in Section 2, given by
and derive the Gauss–Codazzi–Ricci equations of the immersion . As a consequence of (48),
where is the Reeb vector field of . Let
be the induced metric, i.e., the first fundamental form of the given immersion . Then, for any ,
by (49), as
by (43). Throughout, an upper index f denotes composition with f. Summing up:
For every , let us decompose with respect to
which is
for some and . If , then
by (49) and (50), which can be applied because . We have shown that
for any , where
Let be the orthogonal complement of in the inner product space so that
Lemma 7.
is a -invariant real rank subbundle of .
Proof.
Definition 36.
The real vector bundle is called the Levi normal bundle of the given CR immersion . A section is a Levi normal field.
The tangent vector , first appearing in the decomposition (55), may be further decomposed, with respect to (58), as
for some and some . The Levi normal vector and the value of Y at x (but not Y) are uniquely determined by the decomposition (59). With (53) and (56), we started the calculation of the first fundamental form of . Let us substitute from (59) into (56) and take into account (43). We obtain
Let
be the projections associated with the direct sum decomposition (58), so that
Then, by (59),
Moreover, by (25) and (57),
or
as, by (42),
For further use, let us set
As a byproduct of the calculations leading to (62), we have for any ; i.e., (63) defines a section in the pullback bundle
Next, by (60) and , i.e., by (62) and (63),
by (61) for
as and are -orthogonal
as f is a CR map
by
Next, note that, by taking the exterior differential of (42),
so that
by , , and
Summing up:
Together with (53), this determines the first fundamental form on and . By taking into account the decomposition (6), to fully determine , we ought to compute
by substitution from (55)
by (50) i.e., by with respect to
by (49) i.e., on and by (51) i.e.,
On the other hand, by going back to (55),
so that (55) de facto reads
or, by (63),
Our calculations so far lead to
Here we have set . Another useful expression of the norm may be obtained as follows. Note first that, as a consequence of our key observation ,
or
Then, by (65),
or, by (67),
Finally, by substitution from (68) into (66),
The first fundamental form of is fully determined. Summing up, we have established:
Proposition 3.
Let us set . Then
(i) ,
(ii) For any
or equivalently
In particular, if for any , then
while if constant (e.g., f is isopseudohermitian, i.e., ), then is a Levi normal vector field on M i.e., .
(iii) The norm of vector field is
(iv) The first fundamental form of the immersion is given by
Consequently,
and, in particular,
Corollary 2.
Let be an isopseudohermitian CR immersion of into . Then, the first fundamental form and the Webster metric , respectively, the ϵ-contraction of , are related by
Let and be, respectively, the normal bundles of the immersions and , so that
for every .
Lemma 8.
The normal bundle and the Levi normal bundle are related by
A dimension count shows that the inclusion is strict.
Proof.
Let
so that
for some and some . Then, for any
as
because of . This yields . □
Lemma 9.
Let be a CR immersion of strictly pseudoconvex CR manifolds, and let and be positively oriented contact forms on M and A. Then
In particular, if f is isopseudohermitian, then
4. Pseudohermitian Immersions
Definition 37.
Let and be strictly pseudoconvex CR manifolds of CR dimensions n and , . Let and . A CR immersion is said to be a pseudohermitian immersion of into if
- (i)
- f is isopseudohermitian, i.e., ,
- (ii)
- .
Proposition 4.
Let be an isopseudohermitian immersion. The following statements are equivalent:
- (i)
- f is a pseudohermitian immersion.
- (ii)
- .
- (iii)
- .
- (iv)
- .
Proof.
(i) ⟹ (ii). Let f be a pseudohermitian immersion. Then, for any ,
Hence, on . Next, together with Lemma 9 yields
Then,
by (89)
by
Hence, on . It remains necessary that we check (ii) on . Indeed,
by (89)
by
by the very definition of the Webster metrics. Q.E.D.
(ii) ⟹ (iii). Let be a CR immersion such that (ii) holds, i.e., . As f is a CR map, the assumption (ii) implies and then, by (43), . Moreover,
by (67)
so that . Q.E.D.
(iii) ⟹ (iv). Let be an isopseudohermitian immersion such that . Then,
yields (iv). Q.E.D.
□
5. Gauss and Weingarten Formulas
Let be a CR immersion of strictly pseudoconvex CR manifolds, and let and . We adopt the following notations for the various linear connections we shall work with:
The Gauss and Weingarten formulas for the isometric immersion are:
for any and any . Here, , and are, respectively, the second fundamental form, the Weingarten operator (associated with the normal vector field ), and the normal connection, a connection in the vector bundle , of the given isometric immersion. The symbol in (91) and (92) denotes the connection induced by the Levi–Civita connection of in the pullback bundle ; i.e., is the pullback connection . One has
The second fundamental form and Weingarten operator are related by
The second fundamental form is symmetric and, merely as a consequence of (93), the Weingarten operator is self-adjoint with respect to .
6. Gauss–Ricci–Codazzi Equations
Let be a vector bundle and a connection. The curvature form is
The curvature forms of the connections in the Gauss and Weingarten formulas are
The Gauss–Codazzi equation for the isometric immersion is (see, e.g., []):
for any . Here, is the Van der Waerden–Bortolotti covariant derivative (of the second fundamental form), i.e.,
The Codazzi equation is obtained by identifying the components of the Gauss–Codazzi Equation (94)
Let us take the inner product of (94) with in order to identity the tangential components of (94)
and let us substitute from (93) so as to obtain (the Gauss equation of the given isometric immersion)
for any . For any and any as a consequence of the Gauss and Weingarten formulas (91) and (92),
and, taking the inner product with , gives
or, by applying (93) to modify the last two terms in (97),
(the Ricci equation for the given isometric immersion).
7. The Projections and
Our main purpose in the present section is to compute the projection in terms of pseudohermitian invariants. One has (at every point of M)
Also, for every by (48),
Therefore, if we set (again pointwise)
then
As to the notation adopted in (99), if is a linear subspace, then denotes the orthogonal complement of in with respect to the inner product . We shall need the linear operator given by
The relation (100) also defines a vector bundle morphism , denoted by the same symbol. Then,
For arbitrary , we take the inner product of
with , , with respect to the inner product , so as to obtain
Lemma 10.
The function
is strictly positive; i.e., for any .
Proof.
One has
If there is such that , then , yielding (as f is an immersion), a contradiction. □
At this point, we employ the relations (see (48) and (75))
and modify (101) accordingly. We obtain
We ought to examine a few consequences of (103). First, let us use (103) for , i.e., as ,
Let be a local -orthonormal [i.e., , ] frame of , defined on the open set . Then,
by (104)
or
everywhere in U. Second, let us use (103) for ; i.e., as and for any ,
We shall conduct an asymptotic analysis of our equations as , so we consider to start with. Consequently, by Lemma 10,
For simplicity, we set
so that and Equations (105) and (106) read:
Let us multiply (108) by and substitute from (107) into the resulting equation. We obtain
Let be the zero set of . Note that (107) and (109) determine and on the open set .
From now on, we confine our calculations to isopseudohermitian (i.e., ) CR immersions . Then, (107) and (109) read
Summing up, we have proved:
Lemma 11.
For every
everywhere in U, where .
Finally, for the calculation of the projection , we shall use
together with (112).
8. Gauss Formula for
The purpose of the present section is to give an explicit form of the Gauss formula
To this end, we shall compute
by essentially using (112) in Lemma 11. Calculations are considerably simplified by exploiting the decomposition . Let us set and with in the Gauss formula (113), i.e.,
On the other hand, by (12)–(15), with replaced by ,
for any . We systematically apply our findings in Section 2 to the pseudohermitian manifold and to the Riemannian metric (the -contraction of the Levi form ). By (115),
Here, is the pullback of the Tanaka–Webster connection D–a connection in the pullback bundle . We shall substitute from (119) into the left-hand side of (114). Our ultimate goal is to relate the pseudohermitian geometry of the ambient space to that of the submanifold . Therefore, to compute the right-hand side of (114), one needs a lemma relating the induced connection , associated with the isometric immersion , to the Tanaka–Webster connection ∇ of .
Lemma 12.
Let be an isopseudohermitian (i.e., ) CR immersion. The Levi–Civita connection of and the Tanaka–Webster connection ∇ of are related by
for any . Here is given by
Proof.
Lemma 13.
The Christoffel mappings and are related by
for any .
Proof.
(127) is a straightforward (yet rather involved) consequence of (126). We give a few details, for didactic reasons, as follows. Let us substitute from (126) into and recognize the term . To bring into the picture the Tanaka–Webster connection, we substitute the remaining Lie products from
and use . At its turn, (128) is a mere consequence of
Let be the Levi–Civita connection of . Similar to (125),
Then, (125)–(129) yield
Let us substitute from into (130) and use nondegeneracy of to “simplify” W. We obtain
Next, let us apply to both sides of (131) and use and in order to yield
In particular, for and with , the formulas (131) and (132) become
Here, one also uses because ∇ parallelizes . Let us multiply (134) by T and subtract the resulting equation from (133). We obtain
a simplified form of (133) equivalent to
At this point, we exploit the relationship between the Levi–Civita connection and the Tanaka–Webster connection ∇ as established in Lemma 2. Ssee formulas (12)–(15). For instance, by (12) and (136),
for any . Also, by applying to both sides of (12),
and substitution into (134) furnishes
Finally, by (137) and (138),
which is (120). Q.E.D.
Let us go back to (119). As formula (119) reads
Let us substitute from (140) and (120) into the Gauss formula (114) in order to obtain:
Proposition 5.
Let M and A be strictly pseudoconvex CR manifolds, and let and . Let be an isopseudohermitian immersion of into . Let , , be the ϵ-contraction of the Levi form , and let . Then
is the Gauss formula for the isometric immersion along .
It should be noted that all terms in the Gauss formula (113), except for the second fundamental form , were expressed in terms of pseudohermitian invariants of and . The remaining components of (113), respectively, along , , and , can be derived by setting
into (113). We relegate the derivation of the components (142) to further work. For the time being, we seek to further split (141) into tangential and normal parts, with respect to the direct sum decomposition (80). This amounts to decomposing and the Reeb vector field with respect to (80).
We start with the decomposition of . Formula (112) for gives, as , so that and are -orthogonal,
and
so that:
Lemma 14.
Let be an isopseudohermitian immersion of into . The tangential and normal components of the Reeb vector field , with respect to the decomposition (80), are
Next, we attack the decomposition of with respect to (80). To this end, we need to introduce pseudohermitian analogs to familiar objects in the theory of isometric immersions between Riemannian manifolds, such as the induced and normal connections, the second fundamental form, and the Weingarten operator. For any and any , we set by definition
where
are the natural projections.
Theorem 2.
(i) is a linear connection on M.
- (ii)
- is -bilinear.
- (iii)
- a is -bilinear.
- (iv)
- is a connection in the vector bundle .
- (v)
- For any and any .
The proof of Theorem 2 is straightforward. We adopt the following pseudohermitian analog to the ordinary terminology in use within the theory of isometric immersions between Riemannian manifolds.
Definition 38.
is the induced connection (the connection induced by D via f). is the normal Tanaka–Webster connection. and are, respectively, the pseudohermitian second fundamental form and the pseudohermitian Weingarten operator (associated with the normal vector field ) of the CR immersion . (144) is the pseudohermitan Gauss formula. (145) is the pseudohermitian Weingarten formula.
The induced connection and the (intrinsic) Tanaka–Webster connection ∇ of do not coincide, in general, unless, e.g., is a pseudohermitian immersion. The ambient connection–the Tanaka–Webster connection of –has torsion so that , unlike its Riemannian counterpart, it is never symmetric. We expect that is the second fundamental form of f as introduced by P. Ebenfelt, X. Huang and D. Zaitsev (see formula 2.3 in [], p. 636) by making use of B. Lamel’s spaces (actually of ; see Definition 1 in [], p. 1). The main properties of , , and are collected in the following.
Theorem 3.
Let be a CR immersion, and let and .
(i) The induced connection has torsion, i.e.,
In particular, if is Sasakian, then is symmetric ⟺ the Reeb vector field of if -orthogonal to .
(ii) The pseudohermitian second fundamental form is not symmetric, in general, i.e.,
In particular, if is Sasakian, then is symmetric ⟺ is tangent to .
(iii) The metric is parallel with respect to i.e., .
(iv) For any and
(v) For any
(vi) For any
Proof.
Formula (112) for gives
On the other hand, by the pseudohermitian Gauss formula (144) for with ,
Let us set
so that
everywhere on M. Then, by (154), the pseudohermitian Gauss formula (144), and , the functions
can be written as
Finally, let us substitute from (153) and from (155) and (156) into (152). We obtain:
Lemma 15.
Let be an isopseudohermitian immersion. The tangential component of with respect to (80) is
for any .
At this point, we may go back to (141), the Gauss formula for the isometric immersion along , and apply the projections and to both sides. We obtain, by ,
Let us substitute from (143) and (157) into (158). We obtain
Moreover, by ,
by the pseudohermitian Gauss formula (144)
by (154)
Summing up, we have proved the identity
As a consequence of (161), Equation (160) simplifies to
Identifying the and in (162) leads to:
Proposition 6.
A remark is in order. Let us apply to both sides of the pseudohermitian Gauss formula (144) for , i.e.,
As D parallelizes and
showing that in general does not parallelize (unlike the Tanaka–Webster connection ∇).
Let us go back to the Gauss formula (159). We need to compute . To this end, let us simplify (157) according to our successive finding (161), i.e.,
Then
by (165)
Also, let us recall that, by (143),
Next, let us modify the Gauss formula (159) by substitution from (166) and (167). We obtain
or, by (163):
Proposition 7.
Another useful form of (168) is obtained by the substitution ; i.e.,
Indeed, the left-hand side of (169) is already decomposed into a component and an component. Consequently, we can compute the component of by applying to both sides of (169) and using the identities , , and , i.e.,
To fully determine , one needs to compute its component as well. To this end, we apply the projection to both sides of (169) and use , i.e.,
or
for any .
A summary of the various decompositions and projections used so far is provided below. Given an isopseudohermitian immersion f of into , we adopted the following orthogonal decompositions.
The following projections correspond to the chosen decompositions:
The following Riemannian metrics appear in previous and further calculations:
As a reminder, the adopted terminology and are, respectively, the Webster metrics of and , and are respectively the -contractions of and , and are, respectively, the Riemannian metric on M induced by via f, and the first fundamental form of .
The following connections (linear or in normal bundles) are of frequent use
The list of Gauss–Weingarten and pseudohermitian Gauss–Weingarten formulas is
Let be the Levi normal bundle. By Lemma 7, the Levi normal bundle is -invariant. Let be the restriction of to . The complexification decomposes as
where is the -linear extension of to . Let
be a local -orthonormal, i.e., , , frame of , adapted to the complex structure J, and defined on the open set . Next, let us set
so that is a local -orthonormal, i.e., with , frame of the CR structure . Moreover, let
be a local -orthonormal, i.e., , frame, adapted to the complex structure i.e.,
Let us set as customary
so that is a local -orthonormal, i.e., with , frame in . The conventions as to the range of the various indices are
Lemma 16.
Let be an isopseudohermitian immersion of into . The CR structure of the ambient space decomposes as
for any . In particular,
is a local frame of such that
Proof.
Let so that
for some and . Of course, for some . Then,
as , thus yielding ; i.e., the sum is direct. □
A comparison to the work by P. Ebenfelt et al. (see [], p. 636) is at this point advisable. Let and be real hypersurfaces, such that the induced CR structures
are strictly pseudoconvex, where
Let be an isopseudohermitian immersion of into . Let and let us set . Let and be, respectively, open neighborhoods of x and in M and A, such that U is the domain of a (local) frame of , and V is described by a defining function ; i.e., and for every . B. Lamel introduced (see [,]) the sequence of subspaces , , where is the span over of
Note that for any . Let us set
Let and . According to B. Lamel (see [,]), is -degenerate at if
Also, is the degeneracy of f at x. Let
be the complex conjugate of . Let be the pullback of via . Let
be the natural identification. For every subspace and every , let
be the natural isomorphism. Let
be the projection, and let us consider the field of forms
where are smooth extensions of v and w to the whole of M; i.e., and .
Theorem 4.
Let and be strictly pseudoconvex real hypersurfaces. Let be an isopseudohermitan immersion of into , and let and . The quotient space is isomorphic to . Hence, Π determines a field of -bilinear symmetric forms
Let be the Cartesian complex coordinates on , and let us set . As is a CR map, its components are CR functions, i.e.,
for every local frame . Then,
We shall need the local frame
defined on the open set . Then, by (173) and (175),
or
On the other hand, on M yields, again by (173),
We conclude that
It is an elementary matter that:
Lemma 17.
Let . The Levi form of is given by
everywhere on V.
Lemma 18.
For every
Proof.
Note that is the span over of
Let , , such that
or
Substitution from (179) into (180) gives
or, by (174),
where and
Let us substitute from (177) into (181). We obtain
On the other hand, everywhere on U, hence (as V is tangent to M and )
so that (182) simplifies to
or, as is nondegenerate,
Substitution from (183) into (181) yields
and hence
Then, by (183) and (184) and ,
hence, as is a monomorphism, and then , . Finally, by (179), . □
Proof of Theorem 4.
It suffices to show that
is a monomorphism. We set
Let i.e.,
If , then
for some , yielding
Let us substitute from (186) into (187). We obtain
Let us substitute from (174) into (188). The right-hand side of (188) becomes
where
by replacing in terms of the Levi form, from (177),
and (188) is modified accordingly:
Let us contract (189) with and observe, by (185), that the right-hand side of the resulting equation is zero, while the left-hand side is
Therefore, by (189), for any , and hence . □
The -bilinearity and symmetry of follows from
together with the involutivity of .
Let for any . We expect that
The proof is relegated to further work.
9. Relating to
The scope of the present section is to relate the curvature tensor field of the induced connection to the curvature tensor field of the Tanaka–Webster connection ∇. To this end, we exploit the relationship (116)–(119) among and ∇ i.e.,
for any . Then, for arbitrary ,
by (190) and the decomposition
by again applying (190), using the identity , and taking covariant derivatives with respect to
Let us look at the term . Using again the decomposition of into and components, one has
as and
The last identity leads (by ) to simplifications, i.e.,
The same arguments apply (as ) to the pseudohermitian torsion A, hence leading one to recognize covariant derivatives of A with respect to the Tanaka–Webster connection,
Similarly,
and one may recognize curvature i.e.,
Then,
by (191) and (192)
which leads to (194) in Proposition 8 below. Summing up the calculations above, we may state:
Proposition 8.
Let be an isopseudohermitian immersion of into . Let and ∇ be, respectively, the Levi–Civita connection of and the Tanaka–Webster connection of . Then,
for any .
Proof.
We are left with the proofs of (195)–(197). For all , one has
by (191)
by , , (190)–(191) and (193),
As , one has
and one may recognize the covariant derivatives of (with respect to ∇). The similar treatment of the term leads to covariant derivatives of J and , with the corresponding simplifications. Terms such as
and
vanish because is symmetric [i.e., ] while J is skew symmetric, i.e., , and because of the purity axiom . For instance,
In the end, one is left with (195). Q.E.D.
A bit of extra care should be put into the proof of (196). One has
by (192) and (190), applied twice as ,
again by (190) and (192) and by taking covariant derivatives, together with ,
as by the very definition of pseudohermitian torsion together with
by recognizing the curvature of ∇ and the covariant derivatives of and A
by (190)
by (191)
by (193)
by recognizing the covariant derivatives of J and , using and , and observing simplification of terms
which is (196). Q.E.D.
The proof of (197) is a similar, yet rather involved, calculation relying on (190)–(193). We give a few details for didactic purposes, as follows:
by (193) and (191)
by (190) and (191) and computing covariant derivatives of products
by (192) and taking covariant derivatives
by the identity
by (192) and (193), and ,
which is (197). □
10. Gauss Equation for
In this section, we start from the Gauss equation for the isometric immersion , which relates the curvature of the ambient space to the curvature of the submanifold , and the second fundamental form ,
for any . According to our philosophy, through this work, we seek to relate the pseudohermitian geometry of the ambient space to that of the submanifold and the pseudohermitian second fundamental form . The Gauss Equation (198) may be effectively used for the purpose because and are related by Lemma 5. The identities in Lemma 5 are stated in terms of and for an arbitrary strictly pseudoconvex CR manifold M endowed with the positively oriented contact form . These are easily transposed to . For instance, (28) prompts:
for any . The fact that is related to formed the topic of Section 9, while the relation between and was provided in Section 8.
Let . Then, by (199),
Note that
as
as
as
i.e.,
for any . In particular,
Substitution from (201) and (202) into (200) leads to
for any . Recalling (194) in Proposition 8, one has
Let us take the inner product of (204) with . We obtain, because of on and with respect to ,
At this point, we need to recall (168), i.e.,
Let us replace the pair with in (206). We obtain
Next, let us use (206) and (207) to compute the inner product of the normal vectors and with respect to . Specifically, we may conduct the following calculation
where the terms , , , and are given by
The calculation of the terms , , and requires the following:
Lemma 19.
- (i)
- .
- (ii)
- .
- (iii)
- .
Here, we have set for any .
Proof of Lemma 19.
To prove (210) let be a point such that . This is equivalent [by the preceding calculation] to . Q.E.D.
In particular, by (209),
so that statement (i) in Lemma 19 is legitimate. As a byproduct of the calculations just done, one has
that we ought to keep for further applications.
The proofs of (i)–(iii) in Lemma 19 are straightforward calculations. We give a few details for pedagogical reasons.
(i)
as with respect to
by (212) and the very definition of
. Q.E.D.
(ii)
by on and
by (212)
Q.E.D.
(iii)
. Q.E.D.
Let us go back to the calculation of the term . One has, by the very definition of ,
Similarly, let us compute the term . Again, by the relationship between and , relative to the decomposition ,
Similar to the above, the term may be calculated as follows by (i)–(ii) in Lemma 19:
Finally, the term may be calculated as follows (by (ii)–(iii) in Lemma 19)
We need:
Lemma 20.
Proof.
We start from , an orthogonal decomposition with respect to . Then,
□
Let us go back to the Gauss Equation (198),
written for any .
Collecting the calculations above, we shall substitute into (218) in three steps as follows.
(3) Finally, the terms
in the right-hand side of (218) are replaced by (208) together with the expressions (213)–(216) of the terms , , , and .
Let us substitute from (213)–(216) into (208). We obtain:
Let us interchange X and Y in (220). We obtain:
Finally, let us substitute from (219) and (222) into the Gauss Equation (218). We obtain the rather involved equation:
This is the Gauss equation for the isometric immersion , which we succeeded in fully writing in terms of pseudohermitian invariants of and with coefficients that are rational functions of , i.e., coefficients of the form
To simplify (223) and examine its consequences as will be our job for the remainder of this section. To begin, note that simplifications occur in the term
which is, by , merely
Therefore, the (unbounded) terms of order simplify, and we may take in the resulting equation:
To produce (224), one also has to recognize pseudohermitian torsion terms in (223); e.g., . Recall that and as . Therefore, (224) yields, as ,
Equation (225) may be further simplified. First note that the term
on the left-hand side of (225) and
on the right-hand side of (225) simplify to
to be written on the right-hand side of (225). Also, for further use, let us consider the tensor field
given by
expressing the difference between the induced connection and the (intrinsic) Tanaka–Webster connection ∇. A term of the form
may be written
by the pseudohermitian Gauss formula
hence pairs of terms such as
may be written
Finally, terms of the form
are computed by using the pseudohermitian Gauss formula. For instance,
Under the modifications above, Equation (225) simplifies down to:
Once again, using (226), we may write (227) as:
We organize terms in (228) so as to emphasize the similarity to the classical Gauss equation in the theory of isometric immersions between Riemannian manifolds:
for any .
Definition 39.
We shall refer to (229) as the pseudohermitian Gauss equation of the isopseudohermitian immersion .
The first two lines in (229) are entirely similar to the Gauss equation in Riemannian geometry except of course that the Levi–Civita connections of the ambient space and submanifold were replaced by the Tanaka–Webster connections, while the second fundamental form of the given immersion was replaced by the pseudohermitian second fundamental form. However, in the theory at hand, with respect to the theory of isometric immersions, where the induced connection and the (intrinsic) Levi–Civita connection of the induced metric coincide, there is a non-uniqueness of choice of connection on the submanifold and the tensor field U measuring the difference between the induced connection , and the (intrinsic) Tanaka–Webster connection ∇ appears explicitly in (229). Also, unlike the Riemannian case, the canonical connections used (i.e., ∇, and D) are not symmetric, and their torsion appears explicitly in the embedding Equation (229); the last four terms in (229) depend upon the pseudohermitian torsion tensor fields and of the ambient space and the submanifold . The term in (229) containing the function is prompted by our more general treatment (with respect to the previous works [,,]), including the case of pseudohermitian immersions where , but not confined to that case.
Keep in mind that (229) follows, as , from the Gauss Equation (198) written for . The same technique should then prompt other (pseudohermitian) Gauss-like equations corresponding to the cases where not all arguments are horizontal. Deriving the remaining Gauss-like equations [springing from the various components of (198) with respect to the decomposition ] is relegated to further work.
11. CR Immersions into Spheres
11.1. Mean Curvature
By a classic result of T. Takahashi (see []), an isometric immersion of an m-dimensional Riemannian manifold into the sphere of radius is minimal if and only if , where and is the Laplace–Beltrami operator on M. Takahashi’s theorem relies on the simple observation that given isometric immersions and where M and A are Riemannian manifolds, the mean curvature vector is the tangential component in of . We wish to look at a similar configuration within CR geometry, starting with an isopseudohermitian immersion and, hence, for every , with the isometric immersion . By Nash’s embedding theorem (see []), there is an integer and a isometric embedding of into the Euclidean space , yet both and the immersion depend on . [We conjecture that the nature of said dependence can be understood by inspecting the proof in []. See also R.E. Greene and H. Jacobowitz [] for a simplified proof in the real analytic case.] To circumnavigate this difficulty, we confine ourselves to and the pair of immersions , where the ambient space is thought of as carrying, in addition to the Euclidean metric , the family of Riemannian metrics
built such that . Then, we benefit from [a phenomenon known to hold only for the sphere—in general, for a strictly pseudoconvex real hypersurface , none of the Webster metrics is induced by the ambient Euclidean metric (see e.g., [], p. 41–42)] to relate the mean curvature vectors and of the isometric immersions and .
Let be the standard sphere, equipped with the strictly pseudoconvex CR structure
and the positively oriented contact form
The Webster metric is the first fundamental form of , the inclusion of into ; i.e., . Let be the real tangent vector field defined by
The Reeb vector field of is given by . Let be the differential 1-form
Also,
is a unit normal vector field on in and . We shall need the family of Riemannian metrics on
If , then and, hence, . Let be an isopseudohermitian immersion, i.e., a CR immersion, such that . Corresponding to the isometric immersions
one has the decompositions
where
are the normal bundles of the given isometric immersions. The decompositions (232)–(234) imply.
Lemma 21.
For every
Theorem 5.
Let M be a strictly pseudoconvex CR manifold of CR dimension n equipped with the contact form . Let be the canonical contact form. For any isopseudohermitian immersion of into ,
for every and . Consequently, the mean curvature vectors of the isometric immersions and are related by
Proof.
The proof is organized in two steps, as follows. First, we show that maps into . Indeed, for any and any
as
as and
hence
□
At this point, (236) is equivalent to the commutativity of the diagram
Let . Then, by (232) and (233),
Then, by (233),
by substitution from (238)
by (235) together with comparison to
Finally, (239) and (240) yield (236). Q.E.D.
Let be a local -orthonormal frame of , and let us set , so that
is a local -orthonormal frame of . The mean curvature vector of the isometric immersion f of into is given by
(locally)
To prove (237), we recall the Gauss formulas
for the isometric immersions (231). Here, denotes the Levi–Civita connection of . Also, and are, respectively, the Levi–Civita connections of and , as considered earlier in this paper. For every tangent vector field , let denote a tangent vector field such that , for every . Then,
(by Lemma 5)
Let be a tangent vector field such that for any . Then,
hence
Q.E.D.
It is an open problem to relate the mean curvature vector to , where is the Laplace–Beltrami operator of the Riemannian manifold . This would be the first step towards a pseudohermitian analog to Takahashi’s theorem (see []). We expect that the solution to the problem may be obtained along the following lines. Start with the Gauss formula
for the isometric immersion , and take the trace with respect to of both members. Exploit the relationship between and the Euclidean metric (see (230)) to relate the Levi–Civita connections and .
11.2. On a Theorem by S-S. Chern
Given the result of S-S. Chern (see []), for every minimal isometric immersion of an m-dimensional Riemannian manifold M into a Riemannian manifold A of constant sectional curvature , the scalar curvature R of M obeys to with equality if and only if f is totally geodesic. The proof is to take traces twice in the Gauss equation for f. To search for a pseudohermitian analog to S-S. Chern’s result (see op. cit.), let be an isopseudohermitian immersion, and let . Then (see [], p. 60),
Let be an isopseudohermitian immersion of into . Then, by (242) and ,
for any . Let , and let us take the inner product of (243) with ; i.e.,
The pseudohermitian torsion of the sphere vanishes; i.e., . Then, by substitution from (244) into (229),
The Ricci curvature of the Tanaka–Webster connection ∇ of is
for any . Let be a local -orthonormal frame of , defined on an open subset , so that is a local -orthonormal frame of . Then,
As is parallel with respect to ∇, the curvature transformation maps into itself. Let us substitute in (245) and take the sum over . We obtain, as is skew-symmetric, , and ,
where
Let us set and in (246) and contract with . We obtain
where is the pseudohermitian scalar curvature of (see e.g., [], p. 50). Note that for every bilinear form B on
The identity (147) with is
for any ; hence
yielding
Note that for any , as f is a CR map,
that is,
Hence, as is symmetric, and by (249),
that is,
Consequently, (248) simplifies to
Next, by (146) with ,
hence
yielding
or, by (250),
Substitution from (251)–(253) into (247) leads to
because, as ,
Let be a local -orthonormal frame of , so that for some field of scalar -bilinear forms on . Then,
In particular, for any
where . Consequently,
Next, for any and
or
Therefore, the failure (as compared to the theory of isometric immersions) of the pseudohermitian Weingarten operator to be self-adjoint (with respect to ) is compensated by (256). Consequently,
and (255) becomes
and, as is -orthonormal,
so that
Starting again from
for , , and , one has
or, by contraction with ,
yielding
Finally, the identity
furnishes
Therefore, the identities (258) and (259) yield
Substitution from (260) into (257) gives
Note that
Again, by (252) for and ,
so that
or
Substitution from (253) into (262) yields, by and
Finally, let us substitute from (261) and (263) into (254) so as to obtain
and the last term vanishes because of
by the pseudohermitian Gauss equation
by
for any , because is parallel with respect to D. We may conclude that
yielding the inequality
with equality if and only if and . Theorem 1 is proved.
12. Final Comments and Open Problems
Proper holomorphic maps of balls , , and their boundary values are fairly well understood from the point of view of complex analysis of functions of several complex variables. Here, . For instance, by a classic result of S.M. Webster (see []), if and is up to the boundary, then is linear fractional. While Webster’s theorem does not apply to the case (Alexander’s map is indeed a counterexample; see []), proper holomorphic maps that are up to the boundary were fully classified by J.J. Faran up to spherical equivalence (see []). [Two maps are spherically equivalent if for some and .] Let be the set of all proper holomorphic maps from into . Let consist of all such that extends holomorphically past the boundary of , and let be the corresponding quotient space, modulo spherical equivalence. Faran’s result is that
for any . Let be the boundary values of the class ; i.e., consists of all maps such that as ranges over . Here, denotes the inclusion. When it comes to pseudohermitian geometry, however, the properties of the maps are not well understood so far. That is, aside from the natural CR structures, when one endows and with the standard Riemannian metrics (coinciding with the Webster metrics) associated with the canonical choice of contact forms and , the study of the geometry of the second fundamental form of maps is an open problem. A pioneering paper in this direction is [], aiming to find subelliptic harmonic representatives of for each of the four classes (see Corollary 1 in [], p. 1470).
A classification of CR maps , where , was undertaken by M. Reiter and D-N. Son (see []), whose list, similar to Faran’s list, consists of four algebraic maps and classifies the proper holomorphic maps (with biholomorphically equivalent to the bounded symmetric domain ; see, e.g., []) that extend past the boundary of . It is an open problem to investigate the geometry of the second fundamental form of the CR maps in Reiter and Son’s list. Two of the maps in the list admit higher dimensional analogs and are rigid when , in the sense of M. Xiao and Y. Yuan []. A parallel between the Xiao–Yuan rigidity theory (op. cit.) and the pseudohermitian analog to classical Riemannian rigidity (see, e.g., Theorem 6.2 in [], Volume II, p. 43) for CR immersions will require a pseudohermitian version of the Codazzi equation to be derived, by an elementary asymptotic analysis, as , from the Codazzi Equation (95) for the isometric immersion . The Authors are grateful to the anonymous referee for suggesting a connection between the present paper and the work by Y. Li et al. [].
Author Contributions
All Authors have equally contributed to the matters in the present paper. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Acknowledgments
Authors acknowledge support from Istituto Nazionale di Alta Matematica (Rome, Italy) as members of G.N.S.A.G.A.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Webster, S.M. Pseudohermitian structures on a real hypersurface. J. Differ. Geom. 1978, 13, 25–41. [Google Scholar]
- Tanaka, N. A Differential Geometric Study on Strongly Pseudo-Convex Manifolds; Lectures in Mathematics; Department of Mathematics, Kyoto University: Tokyo, Japan, 1975. [Google Scholar]
- Dragomir, S.; Tomassini, G. Differential Geometry and Analysis on CR Manifolds; Progress in Mathematics; Birkhäuser: Boston, MA, USA; Basel, Switzerland; Berlin, Germany, 2006; Volume 246. [Google Scholar]
- Barletta, E.; Dragomir, S.; Duggal, K.L. Foliations in Cauchy-Riemann Geometry; Mathematical Surveys and Monographs; American Mathematical Society: Providence, RI, USA, 2007; Volume 140. [Google Scholar]
- Dragomir, S.; Perrone, D. Harmonic Vector Fields: Variational Principles and Differential Geometry; Elsevier: Amsterdam, The Netherlands, 2012. [Google Scholar]
- Barletta, E.; Dragomir, S. Jacobi fields of the Tanaka–Webster connection on Sasakian manifolds. Kodai Math. J. 2006, 29, 406–454. [Google Scholar] [CrossRef]
- D’Angelo, J.P.; Tyson, J.T. An invitation to Cauchy-Riemann and sub-Riemannian geometries. Not. Am. Math. Soc. 2010, 57, 208–219. [Google Scholar]
- Strichartz, R.C. Sub-Riemannian geometry. J. Differ. Geom. 1986, 24, 221–263. [Google Scholar] [CrossRef]
- Do Carmo, M.P. Differential Geometry of Curves and Surfaces; Prentice-Hall, Inc.: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
- Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Interscience Publishers: New York, NY, USA, 1963; Volume I, 1968; Volume II. [Google Scholar]
- Webster, S.M. The Rigidity of C-R Hypersurfaces in a Sphere. Indiana Univ. Math. J. 1979, 28, 405–416. [Google Scholar] [CrossRef]
- Ebenfelt, P.; Huang, X.; Zaitsev, D. Rigidity of CR-immersions into Spheres. Commun. Anal. Geom. 2004, 12, 631–670. [Google Scholar] [CrossRef]
- Lamel, B. A reflection principle for real-analytic submanifolds of complex spaces. arXiv 1999, arXiv:9904118. [Google Scholar] [CrossRef]
- Lamel, B. Holomorphic maps of real submanifolds in complex spaces of different dimensions. Pac. J. Math. 2001, 201, 357–387. [Google Scholar] [CrossRef]
- Dragomir, S. Pseudohermitian immersions between strictly pseudoconvex CR manifolds. Am. J. Math. 1995, 117, 169–202. [Google Scholar] [CrossRef]
- Spallek, K. MR1314462. Math. Rev. 1996, 97, 32008. [Google Scholar]
- Dragomir, S.; Minor, A. CR immersions and Lorentzian geometry Part I: Pseudohermitian rigidity of CR immersions. Ric. Mat. 2013, 62, 229–263. [Google Scholar] [CrossRef]
- Dragomir, S.; Minor, A. CR immersions and Lorentzian geometry. Part II: A Takahashi type theorem. Ric. Mat. 2014, 63, 15–39. [Google Scholar] [CrossRef]
- Dragomir, S. Cauchy-Riemann geometry and subelliptic theory. Lect. Notes Semin. Interdiscip. Mat. 2008, VII, 121–160. [Google Scholar]
- Chen, B.-Y. Geometry of Submanifolds; Marcel Dekker, Inc.: New York, NY, USA, 1973. [Google Scholar]
- Chern, S.-S. Minimal surfaces in an Euclidean space of n dimensions. In Symposium Differential and Combinatorial Topology in Honor of Marston Morse; Princeton University Press: Princeton, NJ, USA, 1965; pp. 187–198. [Google Scholar]
- Bott, R.; Tu, L.W. Differential Forms in Algebraic Topology; Springer: New York, NY, USA; Berlin/Heidelberg, Germany, 1982. [Google Scholar]
- D’Angelo, J.P. Several Complex Variables and the Geometry of Real Hypersurfaces; Studies in Advanced Mathematics; CRC Press: Boca Raton, FL, USA, 1993; 272p. [Google Scholar]
- Lewy, H. An example of a smooth linear partial differential equation without solution. Ann. Math. 1957, 66, 155–158. [Google Scholar] [CrossRef]
- Barletta, E.; Dragomir, S. Sublaplacians on CR manifolds. Bull. Math. Soc. Sci. Math. Roum. 2009, 52, 3–32. [Google Scholar]
- Hörmander, L. Hypoelliptic second-order differential equations. Acta Math. 1967, 119, 147–171. [Google Scholar] [CrossRef]
- Barletta, E. On the pseudohermitian sectional curvature of a strictly pseudoconvex CR manifold. Differ. Geom. Appl. 2007, 25, 612–631. [Google Scholar] [CrossRef]
- Jost, J.; Xu, C.-J. Subelliptic harmonic maps. Trans. Am. Math. Soc. 1998, 350, 4633–4649. [Google Scholar] [CrossRef]
- Shimakura, N. Partial Differential Operators of Elliptic Type; Translations of Mathematical Monographs; American Mathematical Society: Providence, RI, USA, 1992; Volume 99. [Google Scholar]
- Takahashi, T. Minimal immersions of Riemannian manifolds. J. Math. Soc. Jpn. 1966, 18, 380–385. [Google Scholar] [CrossRef]
- Nash, J. The imbedding problem for Riemannian manifolds. Ann. Math. 1956, 63, 20–63. [Google Scholar] [CrossRef]
- Greene, R.E.; Jacobowitz, H. Analytic isometric embeddings. Ann. Math. 1971, 93, 189–204. [Google Scholar] [CrossRef]
- Alexander, H. Proper holomorphic mappings in ℂn. Indiana Univ. Math. J. 1977, 26, 137–146. [Google Scholar] [CrossRef]
- Faran, J.J. Maps from the two-ball to the three-ball. Invent. Math. 1982, 68, 441–475. [Google Scholar] [CrossRef]
- Barletta, E.; Dragomir, S. Proper holomorphic maps in harmonic map theory. Ann. Mat. 2015, 194, 1469–1498. [Google Scholar] [CrossRef]
- Reiter, M.; Son, D.-N. On CR maps from the sphere into the tube over the future light cone. Adv. Math. 2022, 410, 108743. [Google Scholar] [CrossRef]
- De Fabritiis, C. Differential geometry of Cartan Domains of type four. Rend. Mat. Accad. Lincei 1990, 1, 131–138. [Google Scholar]
- Xiao, M.; Yuan, Y. Holomorphic maps from the complex unit ball to type IV classical domains. J. Math. Pures Appl. 2020, 133, 139–166. [Google Scholar] [CrossRef]
- Li, Y.; Abolarinwa, A.; Alkhaldi, A.H.; Ali, A. Some inequalities of Hardy type related to Witten-Laplace operator on smooth metric measure spaces. Mathematics 2022, 10, 4580. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).