Next Article in Journal
Systematic Review of Aggregation Functions Applied to Image Edge Detection
Next Article in Special Issue
On an Indefinite Metric on a Four-Dimensional Riemannian Manifold
Previous Article in Journal
Linguistic Complex Fuzzy Sets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

C-R Immersions and Sub-Riemannian Geometry

Dipartimento di Matematica, Informatica, ed Economia, Università degli Studi della Basilicata, 85100 Potenza, Italy
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2023, 12(4), 329; https://doi.org/10.3390/axioms12040329
Submission received: 23 January 2023 / Revised: 16 February 2023 / Accepted: 24 March 2023 / Published: 28 March 2023
(This article belongs to the Special Issue Advances in Differential Geometry and Singularity Theory)

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 g ϵ M of the Levi form G θ , such that the norm of the Reeb vector field T of ( M ,   θ ) is of order O ( ϵ 1 ) . We study isopseudohermitian (i.e., f Θ = θ ) Cauchy–Riemann immersions f : M ( A , Θ ) between strictly pseudoconvex CR manifolds M and A, where Θ is a contact form on A. For every contraction g ϵ A of the Levi form G Θ , we write the embedding equations for the immersion f : M A , g ϵ A . A pseudohermitan version of the Gauss equation for an isopseudohermitian C-R immersion is obtained by an elementary asymptotic analysis as ϵ 0 + . For every isopseudohermitian immersion f : M S 2 N + 1 into a sphere S 2 N + 1 C N + 1 , we show that Webster’s pseudohermitian scalar curvature R of ( M ,   θ ) satisfies the inequality R 2 n ( f g Θ ) ( T , T ) + n + 1 + 1 2 { H ( f ) g Θ f 2 + trace G θ Π H ( M ) f g Θ 2 } with equality if and only if B ( f ) = 0 and = on H ( M ) H ( M ) . This gives a pseudohermitian analog to a classical result by S-S. Chern on minimal isometric immersions into space forms.

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 [1] and N. Tanaka [2], 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 [3] and by E. Barletta, S. Dragomir, and K.L. Duggal [4]. 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 [5]. 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 [6] 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 [7,8]).
Rigidity in differential geometry has a long history, perhaps starting with rigidity of regular curves α : I R 3 of curvature k ( s ) > 0 and torsion τ ( s ) ( s I ): any other regular curve α ¯ : I R 3 with the same curvature k ( s ) and torsion τ ( s ) differs from α by a rigid motion i.e., α ¯ ( s ) = ρ α ( s ) + c for some orthogonal linear map ρ : R 3 R 3 and some vector c R 3 . See M.P. Do Carmo [9], p. 19.
As a step further, one knows about the rigidity of real hypersurfaces in Euclidean space R n + 1 , i.e., if f : M R n + 1 and f ¯ : M R n + 1 are two isometric immersions of an n-dimensional orientable Riemannian manifold M, whose second fundamental forms coincide on M, then f ¯ = τ f for some isometry τ : R n + 1 R n + 1 . See Theorem 6.4 in S. Kobayashi and K Nomizu [10], 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 [11]. A CR immersion is a map f : M A of CR manifolds M and A such that: (i) f is a C immersion, and (ii) f is a CR map; i.e., it maps the CR structure T 1 , 0 ( M ) onto T 1 , 0 ( A ) . Let ( M , T 1 , 0 ( M ) ) be a ( 2 n + 1 ) -dimensional CR manifold, of CR dimension n. M is a CR hypersurface of the sphere S 2 n + 3 if M S 2 n + 3 is a (codimension two) submanifold and the inclusion ι : M S 2 n + 3 is a CR immersion. A CR hypersurface M is rigid in S 2 n + 3 if for any other CR hypersurface M S 2 n + 3 , every CR isomorphism ϕ : M M extends to a CR automorphism Φ Aut CR S 2 n + 3 . By a classical result of S.M. Webster (see [11]), if n 3 , every CR hypersurface M S 2 n + 3 is rigid.
The proof (see [10], 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 S 2 n + 3 exploits (again see [11]) 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 [1,2]). The Tanaka–Webster connection is also due to S.M. Webster (see [1]), yet was independently discovered by N. Tanaka in a monograph (see [2]) 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 [11]) is stated as:
S β α ¯ ρ σ ¯ = b β ρ b α ¯ σ ¯ 1 ( n + 1 ) ( n + 2 ) g β α ¯ g ρ σ ¯ + g ρ α ¯ g β σ ¯ b μ ν b μ ν + 1 n + 2 g β α ¯ b ρ μ b μ , σ ¯ + g ρ α ¯ b β μ b μ , σ ¯ + b β μ b μ , α ¯ g ρ σ ¯ + b ρ μ b μ , α ¯ g β σ ¯ .
Insufficient computational details are furnished in [11], 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 [12]). 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 [13,14]). Their pseudohermitian (analog to) the Gauss equation
R A ( X , Y , Z , W ) = R ( X , Y , Z , V ) + Π ( X , Z ) , Π ( Y , V ) ,
X , Y , Z , V T 1 , 0 ( M ) ,
for a given CR immersion f : M A depends on a particular choice of contact forms θ and Θ , respectively, on the submanifold M and on the ambient space A, such that: (i) f Θ = θ , and (ii) f ( M ) is tangent to the ambient Reeb vector field T A (the globally defined nowhere zero tangent vector field on A, transverse to the Levi distribution, uniquely determined by Θ ( T A ) = 1 and T A Θ = 0 ). 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 T A = 0 might not exist at all.
The class of isopseudohermitian immersions between strictly pseudoconvex CR manifolds enjoying the property T A = 0 was studied independently by S. Dragomir (see [15]). As it turns out, any CR immersion in the class is also isometric with respect to the Webster metrics, i.e., f g Θ = g θ , 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 [16]) and the later development (by S. Dragomir and A. Minor [17,18]) relating the geometry of the second fundamental form (of a CR immersion in the class above) to the Fefferman metrics of ( M , θ ) and ( N , Θ ) , 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 [8]).
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 ( H ( M ) , G θ ) , consisting of the Levi distribution H ( M ) = Re T 1 , 0 ( M ) T 0 , 1 ( M ) and the Levi form G θ ( X , Y ) = ( d θ ) ( X , J Y ) , X , Y H ( M ) , is a sub-Riemannian structure on M, and the Webster metric g θ is a contraction of G θ (see [6,7,8,19]).
We adopt the additional assumption that the given CR immersion f : M A (between the strictly pseudoconvex CR manifolds M and A) is isopseudohermitian, i.e., f Θ = θ for some choice of contact forms θ and Θ on M and A, respectively, yet we refrain from assuming that f ( M ) is tangent to the Reeb vector field of the ambient space ( A , Θ ) ; rather, T A will be, relative to f ( M ) , always oblique. f ( M ) may be looked at as a submanifold in the Riemannian manifold ( A , g Θ ) , yet, by our assumption T A 0 , the first fundamental form (i.e., the pullback f g Θ to M of the ambient Webster metric g Θ ) of the given immersion f : M ( A , g Θ ) does not coincide with the intrinsic Webster metric g θ . That is, f : ( M , g θ ) ( A , g Θ ) 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 g ϵ A , the contraction of the Levi form G Θ associated with each 0 < ϵ < 1 , given by
g ϵ A = g Θ + 1 ϵ 2 1 Θ Θ .
Our strategy will be to regard f ( M ) as a submanifold of the Riemannian manifold ( A , g ϵ A ) and derive the Gauss–Weingarten and Gauss–Ricci–Codazzi equations of the immersion f : M ( A , g ϵ A ) . In the end, these will lead, as ϵ 0 + , 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 θ P + ( M ) . Let f : M S 2 ( n + k ) + 1 , k 1 , be a CR immersion of M into the standard sphere S 2 ( n + k ) + 1 carrying the CR structure induced by the complex structure of C n + k + 1 . Let Θ = i 2 ¯ | Z | 2 be the canonical contact form on S 2 ( n + k ) + 1 . If f is isopseudohermitian(i.e., f Θ = θ ), then
g θ ( R ( X , Y ) Z , W ) = g θ ( Y , Z ) g θ ( X , W ) g θ ( X , Z ) g θ ( Y , W ) + g Θ f B ( f ) ( X , W ) , B ( f ) ( Y , Z ) g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z ) + ( 2 λ 1 ) Ω ( X , W ) Ω ( Y , Z ) Ω ( Y , W ) Ω ( X , Z ) 2 λ Ω ( X , Y ) Ω ( Z , W ) Ω ( Y , Z ) A ( X , W ) Ω ( X , W ) A ( Y , Z ) + Ω ( X , Z ) A ( Y , W ) + Ω ( Y , W ) A ( X , Z ) + f g Θ U ( f ) ( X , W ) , U ( f ) ( Y , Z ) f g Θ U ( f ) ( Y , W ) , U ( f ) ( X , Z ) Ω ( Y , Z ) f g Θ U ( f ) ( X , W ) , T Ω ( X , W ) f g Θ U ( f ) ( Y , Z ) , T + Ω ( X , Z ) f g Θ U ( f ) ( Y , W ) , T + Ω ( Y , W ) f g Θ U ( f ) ( X , Z ) , T .
for any X , Y , Z , W H ( M ) .
Here, R is the curvature tensor field of the Tanaka–Webster connection ∇ of ( M , θ ) , and B ( f ) is the pseudohermitian second fundamental form of the given immersion f : M S 2 ( n + k ) + 1 . A brief inspection of (3) reveals a strong formal analogy to the ordinary Gauss equation in Riemannian geometry; see B-Y. Chen [20]. 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 ( M , θ ) . Additionally, (3) contains the ( 1 ,   2 ) tensor field U ( f ) 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 f : ( M , g θ ) ( S 2 ( n + k ) + 1 , g Θ ) to be isometric). Our expectation is that an analysis of the pseudohermitian Gauss–Codazzi equations will lead to rigidity theorems for isopseudohermitian CR immersions f : M S 2 n + 3 and, in particular, f : M S 5 (focusing on the case M = S 3 ).
The certitude that Riemannian objects on ( A , g ϵ A ) (and their tangential and normal components, relative to f ( M ) ) will give, in the limit as ϵ 0 + , the “correct” pseudohermitian analogs to the (Riemannian) embedding equations is already acquired from the following early observations: let ( M ,   θ ) be endowed with the contraction of G θ given by g ϵ = g θ + ϵ 2 1 θ θ , and let ϵ and Δ ϵ be respectively the gradient and Laplace–Beltrami operators (on functions) of the Riemannian manifold ( M , g ϵ ) . Then,
ϵ u = H u + ϵ 2 θ ( u ) T , u C 1 ( M ) ,
Δ ϵ u = Δ b u ϵ 2 T 2 ( u ) , u C 2 ( M ) ,
showing that ϵ u tends, in the limit as ϵ 0 + , to the horizontal gradient H u (familiar in subelliptic theory; see, e.g., [19]), 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 Δ b ) to the sublaplacian Δ b of ( M , θ ) .
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 θ P + ( M ) . Let f : M S 2 ( n + k ) + 1 be an isopseudohermitian immersion of ( M , θ ) into the sphere j : S 2 ( n + k ) + 1 C n + k + 1 , endowed with the contact form Θ = j i 2 ¯ | Z | 2 . Then, the pseudohermitian scalar curvature R = g α β ¯ R α β ¯ of ( M , θ ) satisfies the inequality
R 2 n [ ( f g Θ ) ( T , T ) + n + 1 ] + 1 2 H ( f ) g Θ f + trace G θ Π H ( M ) U ( f ) f g Θ
with equality if and only if B ( f ) = 0 and = on H ( M ) H ( M ) .
Here, H ( f ) = trace G θ Π H ( M ) B ( f ) . Theorem 1 generalizes a classical result by S-S. Chern (see [21]) 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 [3]. Specifically, in Section 2.1, we recall the necessary material in Cauchy–Riemann (CR) and pseudohermitian geometry by essentially following monograph [3]. CR geometry is known to (partially) embed into sub-Riemannian geometry, in the sense of R. Strichartz [8]. 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 [7]) and [6,19], and of course [8].

2.1. CR Structures and Pseudohermitian Geometry

Let M be an orientable real ( 2 n + 1 ) -dimensional C differentiable manifold, and let T ( M ) be the (total space of the) tangent bundle over M.
Definition 1
([3], pp. 3–4). A CR structure is a complex rank n complex subbundle T 1 , 0 ( M ) T ( M ) C of the complexified tangent bundle such that
T 1 , 0 ( M ) x T 0 , 1 ( M ) x = ( 0 ) , x M ,
Z , W C ( U , T 1 , 0 ( M ) ) [ Z , W ] C ( U , T 1 , 0 ( M ) )
for any open set U M . A pair ( M , T 1 , 0 ( M ) ) consisting of a ( 2 n + 1 ) -dimensional C manifold M and a CR structure T 1 , 0 ( M ) on M is a CR manifold. The integer n is the CR dimension.
Here, T 0 , 1 ( M ) = T 1 , 0 ( M ) ¯ (an overbar denotes complex conjugation). Every real hypersurface M C n + 1 may be organized (see e.g., formula 1.12 in [3], p. 5) as a CR manifold of CR dimension n, with the CR structure
T 1 , 0 ( M ) x = T x ( M ) R C T ( C n + 1 ) x , x M ,
induced by the complex structure of the ambient space. Here, T ( C n + 1 ) denotes the holomorphic tangent bundle over C n + 1 , i.e., the span of { / z j : 1 j n + 1 } where ( z 1 , , z n + 1 ) are the Cartesian complex coordinates on C n + 1 .
Definition 2
([3], p. 4). The real rank 2 n (hyperplane) distribution
H ( M ) = Re T 1 , 0 ( M ) T 0 , 1 ( M )
is the Levi (or maximally complex) distribution.
H ( M ) carries the complex structure
J = J M : H ( M ) H ( M ) , J ( Z + Z ¯ ) = i ( Z Z ¯ ) , Z T 1 , 0 ( M ) .
Definition 3
([3], p. 4). A C map f : M A of the CR manifold ( M , T 1 , 0 ( M ) ) into the CR manifold ( A , T 1 , 0 ( A ) ) is a CR map if
( d x f ) T 1 , 0 ( M ) T 1 , 0 ( A ) f ( x ) , x M .
Equivalently, a CR map f : M A is characterized by the properties
( d x f ) H ( M ) x H ( A ) f ( x ) , ( d x f ) J M , x = J A , f ( x ) ( d x f ) ,
for any x M ; see formulas 1.10 and 1.11 in [3], p. 4.
Definition 4
([3], p. 5). A CR isomorphism is a C 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 Aut CR ( M ) be the group of all CR automorphisms of M.
Definition 5
([3], p. 5). The conormal bundle is the real line bundle R H ( M ) M given by
H ( M ) x = ω T x ( M ) : Ker ( ω ) H ( M ) x , x M .
As M is orientable, and H ( M ) is oriented by its complex structure, the quotient bundle T ( M ) / H ( M ) is orientable. Moreover, there is a (non-canonical) vector bundle isomorphism H ( M ) T ( M ) / H ( M ) , hence H ( M ) is orientable as well. Any orientable real line bundle over a connected manifold is trivial (see, e.g., Remark 11.3 in [22], p. 115). Hence, H ( M ) M × R (a vector bundle isomorphism). Therefore, H ( M ) admits globally defined nowhere zero sections.
Definition 6
([3], p. 5). A global section θ C ( H ( M ) ) such that θ x 0 for every x M is called a pseudohermitian structure on M.
A pseudohermitian structure is a real valued differential 1-form θ on M such that Ker ( θ ) = H ( M ) (and in particular θ x 0 for any x M ).
Definition 7.
A pair ( M ,   θ ) consisting of a CR manifold M and a pseudohermitian structure θ on M is a pseudohermitian manifold.
Let P = P ( M ) be the set of all pseudohermitian structures on M.
Definition 8
([3], pp. 5–6). Given θ P , the Levi form is
G θ ( X , Y ) = ( d θ ) ( X , J Y ) , X , Y H ( M ) .
Definition 9
([3], p. 6). The CR structure T 1 , 0 ( M ) is nondegenerate if the (symmetric bilinear) form G θ is nondegenerate for some θ P .
Any other pseudohermitian structure θ ^ P is related to θ by θ ^ = λ θ for some C function λ : M R \ { 0 } . Then,
d θ ^ = d λ θ + λ d θ ,
hence the corresponding Levi forms G θ and G θ ^ are related by G θ ^ = λ G θ . Consequently, if G θ is nondegenerate for some θ P , 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 Aut CR ( M ) .
The signature of the Levi form G θ of a nondegenerate CR manifold M is a CR invariant.
Definition 11
([3], p. 43). A differential 1-form θ Ω 1 ( M ) is a contact form if θ ( d θ ) n is a volume form on M.
If T 1 , 0 ( M ) is nondegenerate, then each θ P is a contact form; see, e.g., Proposition 1.9 in [3], pp. 43–44.
For any nondegenerate CR manifold, on which a contact form θ P has been fixed, there is a unique globally defined nowhere zero tangent vector field T = T M X ( M ) , transverse to the Levi distribution, determined by the requirements
θ ( T ) = 1 , T d θ = 0 .
See Proposition 1.2 in [3], pp. 8–9.
Definition 12.
T is called the Reeb vector field of ( M , θ ) .
Let θ P be a contact form on M, and let us define the ( 0 ,   2 ) tensor field g θ on M by setting
g θ ( X , Y ) = G θ ( X , Y ) , g θ ( X , T ) = 0 , g θ ( T , T ) = 1 ,
for any X , Y H ( M ) . g θ is a semi-Riemannian metric on M; see [3], p. 9.
Definition 13
([3], p. 9). g θ is called the Webster metric of ( M ,   θ ) .
Definition 14
([3], p. 6). A CR structure T 1 , 0 ( M ) is strictly pseudoconvex (and the pair ( M , T 1 , 0 ( M ) ) is a strictly pseudoconvex CR manifold) if the Levi form G θ is positive definite for some θ P .
Let P + = P + ( M ) be the set of all θ P such that G θ is positive definite. If M is strictly pseudoconvex, then P + . Any strictly pseudoconvex CR manifold is nondegenerate. If θ P + , then the Webster metric g θ is a Riemannian metric on M.
Definition 15.
A contact form θ P + is said to be positively oriented.
Quadrics Q n = { ( z , ζ ) C n × C : 1 2 i ζ ζ ¯ = | z | 2 } and odd dimensional spheres S 2 N + 1 C N + 1 are organized as CR manifolds, with the CR structures naturally induced by the ambient complex structure. Aut CR ( S 2 n + 1 ) consists of all fractional linear, or projective, transformations preserving S 2 n + 1 ; see, e.g., [23].
Definition 16
([3], p. 11). The Heisenberg group is the non-commutative Lie group H n = C n × R R 2 n + 1 , with the group law
( z , t ) · ( w , s ) = z + w , t + s + 2 Im z , w ,
z , w C n , t , s R , z , w = δ j k z j w k ¯ .
The Heisenberg group H n is organized as a CR manifold with the CR structure spanned by
L α z α + i z ¯ α t , 1 α n .
See formula (1.24) in [3], p. 12.
Definition 17
([3], p. 12, and [24]). When n = 1 , the first order differential operator L ¯ 1 is the Lewy operator.
The mapping
f : H n Q n , f ( z , t ) = t + i | z | 2 , ( z , t ) H n
is a CR isomorphism. Let us set
θ 0 = d t + i α = 1 n z α d z ¯ α z ¯ α d z α , Θ = i 2 ¯ | Z | 2 ,
with | Z | 2 = A = 0 N Z A Z ¯ A , Z = ( Z 0 , , Z N ) . Both H n and S 2 N + 1 are strictly pseudoconvex, and θ 0 P + ( H n ) , Θ P + ( S 2 N + 1 ) .
For any nondegenerate CR manifold M on which a contact form θ P has been fixed, there is a unique linear connection ∇ on M satisfying the following requirements: (i) H ( M ) is parallel with respect to ∇, i.e., X X ( M ) and Y H ( M ) X Y H ( M ) ; (ii) g θ = 0 and J = 0 ; and (iii) the torsion T of ∇ is pure, i.e.,
τ J + J τ = 0 , T ( Z , W ) = 0 , T ( Z , W ¯ ) = 2 i G θ ( Z , W ¯ ) ,
for any Z , W T 1 , 0 ( M ) . Here, τ ( X ) = T ( T , X ) for any X X ( M ) . See Theorem 1.3 in [3], p. 25.
Definition 18
([3], p. 26). ∇ is the Tanaka–Webster connection of ( M ,   θ ) . The vector-valued 1-form τ on M is the pseudohermitian torsion of ∇.
As a consequence of axioms (i)–(ii) τ T 1 , 0 ( M ) T 0 , 1 ( M ) . In particular, the pseudohermitian torsion is trace-less; i.e., trace ( τ ) = 0 . Moreover, if A ( X , Y ) = g θ ( X , τ Y ) , then A is symmetric, i.e., A ( X , Y ) = A ( Y , X ) ; see Lemma 1.4 in [3], pp. 38–40.
Definition 19.
For every C 1 function u : M R , the horizontal gradient of u is
H u = Π H u .
Here, Π H : T ( M ) H ( M ) is the projection associated with the direct sum decomposition T ( M ) = H ( M ) R T . Additionally, u is the gradient of u with respect to the Webster metric, i.e.,
g θ u , X = X ( u ) , X X ( M ) .
Definition 20.
For every C 1 vector field X on M, the divergence of X is its divergence div ( X ) with respect to the contact form Ψ θ = θ ( d θ ) n , i.e.,
L X Ψ θ = div ( X ) Ψ θ .
Here, L X is the Lie derivative at the direction X.
Definition 21
([3], p. 111). Let θ P + . The sublaplacian of ( M , θ ) is the second order differential operator Δ b given by
Δ b u = div H u
for every C 2 function u : M R .
Δ b 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 Δ b is not elliptic (ellipticity degenerates in the cotangent directions spanned by θ ; see [25]), Δ b is subelliptic of order 1 / 2 , and hence it is hypoelliptic; see [3], pp. 114–116, and L. Hörmander [26].
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 R be the curvature tensor field of the Tanaka–Webster connection ∇ of ( M , θ ) . Let { T α : 1 α n } be a local frame of T 1 , 0 ( M ) , defined on the open set U M , and let T α ¯ T α ¯ . Then,
T A : A { 0 , 1 , , n , 1 ¯ , , n ¯ } { T , T α , T α ¯ : 1 α n } , T 0 = T
is a local frame of T ( M ) C on U. For all local calculations, one sets
g α β ¯ = g ( T α , T β ¯ ) , [ g α β ¯ ] = [ g α β ¯ ] 1 .
Let us consider the C functions R C D A B : U C determined by
R ( T A , T B ) T C = R C D A B T D .
Definition 22.
The Ricci tensor is
Ric ( X , Y ) = Trace Z R ( Z , Y ) X .
The pseudohermitian Ricci tensor is R α β ¯ = Ric ( T α , T β ¯ ) .
Then R α β ¯ = R α γ γ β ¯ ; see [3], p. 50.
Definition 23.
The pseudohermitian scalar curvature is R = g α β ¯ R α β ¯ .
A pseudohermitian analog to the holomorphic sectional curvature (of a Kählerian manifold) was introduced by S.M. Webster [1] and studied in some detail by E. Barletta [27].

2.2. Sub-Riemannian Geometry

Let ( M , T 1 , 0 ( M ) ) be a CR manifold. Let S : x M S x T x ( M ) be a C distribution on M.
Definition 24
([8] p. 224 and [19] p. 124). S is bracket generating if the C sections in S, together with their commutators, span T x ( M ) at each point x M .
Given v S x , let X C ( S ) such that X x = v . Let S x + v , S x T x ( M ) be the subspace spanned by
S x [ X , Y ] x : Y C ( S ) .
Next, let us inductively define the spaces D k ( v ) T x ( M ) by setting
D 2 ( v ) = S x + v , S x , D k ( v ) = S x + D k 1 , S x , k 3 .
Definition 25
([8,19]). A tangent vector v S x is a k-step bracket generator if D k ( v ) = T x ( M ) . The distribution S is said to satisfy the strong bracket generating hypothesis if, for arbitrary x M , each v S x is a 2-step bracket generator.
Let S be a bracket generating distribution on M.
Definition 26
([8,19]). A sub-Riemannian metric on S is a Riemannian bundle metric on S, i.e., a C positive definite section Q C S S . A pair ( S , Q ) 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
([8], p. 229 and [7,19]). A piecewise C 1 curve γ : I M (where I R is an interval) is horizontal if γ ˙ ( t ) H ( M ) γ ( t ) for all values of the parameter t (for which γ ˙ ( t ) makes sense).
Assume M to be strictly pseudoconvex. Let θ P + be a positively oriented contact form on M. Then, ( H ( M ) , G θ ) is a sub-Riemannian structure on M; see [19], p. 125.
Definition 28.
The sub-Riemannian length of a horizontal curve γ : I M is
( γ ) = I G θ γ ˙ ( t ) , γ ˙ ( t ) 1 / 2 d t .
A piecewise C 1 curve γ : I M joins the points x , y M if I = [ a ,   b ] , γ ( a ) = x , and γ ( b ) = y . Let Ω ( x ,   y ) (,respectively, Ω H ( x ,   y ) ) be the set of all piecewise C 1 (respectively horizontal) curves joining x and y. Let d ( x ,   y ) (respectively, d H ( x ,   y ) ) be the distance between x , y M induced by the Riemannian metric g θ (respectively, the greatest lower bound of { ( γ ) : γ Ω H ( x ,   y ) } ). d H : M × M [ 0 , + ) is a distance function on M; see [8], p. 230.
Definition 29.
d H is the Carnot–Carthéodory distance function on M, induced by the sub-Riemannian structure ( H ( M ) , G θ ) .
Definition 30
([8], p. 230). A Riemannian metric g on M is said to be a contraction of the sub-Riemannian metric G θ if the distance function ρ : M × M [ 0 , + ) associated with g satisfies ρ ( x , y ) d H ( x , y ) for any x , y M .
As Ω H ( x ,   y ) Ω ( x ,   y ) (a strict inclusion), one has d ( x ,   y ) d H ( x ,   y ) for any x ,   y M . Hence, the Webster metric g θ is a contraction of the Levi form G θ . The construction of a contraction of G θ 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 ( M , g θ ) turns out to be insufficiently related to the CR and pseudohermitian geometry on ( M , θ ) . As shown by J. Jost and C-J. Xu (see [28]), the requirement that the norm of T be O ( ϵ 1 ) is far reaching (and related to the notion of homogeneous space in PDEs theory; see [28]). In the next section, we adopt a version of the construction in [28], referred to in the sequel as an ϵ -contraction of G θ .

2.3. ϵ -Contractions

Let ( M , T 1 , 0 ( M ) ) be a strictly pseudoconvex CR manifold, and let θ P + ( M ) be a positively oriented contact form on M. Let T X ( M ) be the Reeb vector field of ( M ,   θ ) . Let 0 < ϵ < 1 , and let g ϵ = g ϵ M be the ( 0 ,   2 ) tensor field on M defined by
g ϵ ( T ,   T ) = ϵ 2 ,
g ϵ ( X , Y ) = G θ ( X , Y ) , g ϵ ( X ,   T ) = 0 ,
for any X , Y H ( M ) . g ϵ is a Riemannian metric on M and a contraction of G θ . The direct sum decomposition
T ( M ) = H ( M ) R T
together with (4) and (5) yields
g ϵ = g θ + 1 ϵ 2 1 θ θ .
Definition 31.
g ϵ is called the ϵ -contraction of G θ .
The contraction g ϵ is built such that the g ϵ norm of T is O ( ϵ 1 ) , a property of crucial importance in the further asymptotic analysis as ϵ 0 + . For every 0 < ϵ < 1 , we consider the contact form θ ϵ = ϵ 1 θ . The Reeb vector field T ϵ X ( M ) of ( M , θ ϵ ) is given by T ϵ = ϵ T .
Lemma 1.
The Webster metric g θ ϵ and the ϵ-contraction g ϵ of G θ are related by
g θ ϵ ( X , Y ) = ϵ 1 g ϵ ( X , Y ) ,
g θ ϵ ( X ,   T ) = g ϵ ( X ,   T ) = 0 ,
g θ ϵ ( T ,   T ) = g ϵ ( T ,   T ) = ϵ 2 ,
for any X ,   Y H ( M ) . Summing up:
g θ ϵ = ϵ 1 g ϵ + ϵ 2 ( 1 ϵ 1 ) θ θ .
In particular, none of the metrics { g ϵ : ϵ > 0 } is a Webster metric; i.e., there is no u ϵ C ( M , R ) such that g ϵ = g exp ( u ϵ ) θ .
The proof of Lemma 1 is straightforward.
Lemma 2.
The Levi–Civita connection ϵ of the Riemannian manifold ( M , g ϵ ) and the Tanaka–Webster connectionof the pseudohermitian manifold ( M , θ ) are related by
X ϵ Y = X Y + Ω ( X , Y ) ϵ 2 A ( X , Y ) T ,
X ϵ T = τ X + 1 ϵ 2 J X ,
T ϵ X = T X + 1 ϵ 2 J X ,
T ϵ T = 0 ,
for any X , Y H ( M ) .
Here, Ω ( X , Y ) = g θ ( X , J Y ) for any X , Y X ( M ) . Ω is a pseudohermitian analog to the fundamental 2-form in Hermitian geometry. However, Ω = d θ 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
C g : X ( M ) × X ( M ) × X ( M ) C ( M , R ) ,
C g ( X , Y , Z ) = X g ( Y ,   Z ) + Y g ( Z ,   X ) Z g ( X ,   Y )
+ g [ X , Y ] , Z g [ Y , Z ] , X + g [ Z , X ] , Y ,
for any X , Y , Z X ( M ) .
Let g θ and ∇ be, respectively, the Webster metric and Tanaka–Webster connection of ( M ,   θ ) . As g θ = 0 , one may apply the so-called Christoffel process; i.e., starting from
X g θ ( Y ,   Z ) = g θ X Y , Z + g θ Y , X Z ,
we produce other two identities of the sort by circular permutation of X , Y , Z ,
Y g θ ( Z ,   X ) = g θ Y Z , X + g θ Z , Y X ,
Z g θ ( X , Y ) = g θ Z X , Y + g θ X , Z Y ,
add the first two and subtract the third, and use X Y Y X [ X , Y ] = T ( X , Y ) to recognize torsion terms. We obtain
2 g θ X Y , Z = X g θ ( Y ,   Z ) + Y g θ ( Z ,   X ) Z g θ ( X , Y ) + g θ [ X , Y ] , Z g θ [ Y , Z ] , X + g θ [ Z , X ] , Y + g θ T ( X , Y ) , Z g θ T ( Y , Z ) , X + g θ T ( Z , X ) , Y
for any X , Y , Z X ( M ) . By the purity axiom, the torsion of the Tanaka–Webster connection satisfies
Tor = 2 θ τ Ω T .
Then, by (17),
g θ Tor ( X , Y ) , Z g θ Tor ( Y , Z ) , X + g θ Tor ( Z , X ) , Y
= 2 A ( X , Y ) θ ( Z ) A ( X ,   Z ) θ ( Y )
+ Ω ( X ,   Z ) θ ( Y ) + Ω ( Y ,   Z ) θ ( X ) Ω ( X ,   Y ) θ ( Z ) }
for any X , Y , Z X ( M ) . Substitution from (18) into (16) furnishes
2 g θ X Y , Z = C g θ ( X , Y , Z ) + 2 A ( X , Y ) θ ( Z ) A ( X , Z ) θ ( Y ) + Ω ( X , Z ) θ ( Y ) + Ω ( Y , Z ) θ ( X ) Ω ( X , Y ) θ ( Z ) } .
Next, we may exploit (7) (relating the ϵ -contraction g ϵ to the Webster metric g θ ) to derive
C g ϵ ( X , Y , Z ) = C g θ ( X , Y , Z ) + 1 ϵ 2 1 { X θ ( Y ) θ ( Z ) + Y θ ( Z ) θ ( X ) Z θ ( X ) θ ( Y ) + θ [ X , Y ] θ ( Z ) θ [ Y , Z ] θ ( X ) + θ [ Z , X ] θ ( Y ) }
or, by using 2 ( d θ ) ( X , Y ) = X ( θ ( Y ) ) Y ( θ ( X ) ) θ ( [ X , Y ] ) ,
C g ϵ ( X , Y , Z ) = C g θ ( X , Y , Z ) + 2 1 ϵ 2 1 { X θ ( Y ) θ ( Z ) + θ ( X ) ( d θ ) ( Y , Z ) + θ ( Y ) ( d θ ) ( X , Z ) θ ( Z ) ( d θ ) ( X , Y ) } .
Let ϵ be the Levi–Civita connection of the Riemannian manifold ( M , g ϵ ) . As ϵ is symmetric and ϵ g ϵ = 0 , the Christoffel process yields
2 g ϵ X ϵ Y , Z = C g ϵ ( X , Y , Z ) .
Then, by substitution from (20) into (21),
2 g ϵ X ϵ Y , Z = C g θ ( X , Y , Z ) + 2 1 ϵ 2 1 { X θ ( Y ) θ ( Z )
+ θ ( X ) ( d θ ) ( Y , Z ) + θ ( Y ) ( d θ ) ( X , Z ) θ ( Z ) ( d θ ) ( X , Y ) }
or, by replacing g ϵ in terms of g θ from (7), substituting C g θ ( X , Y , Z ) from (19), and using Ω = d θ ,
g θ X ϵ Y , Z + 1 ϵ 2 1 θ X ϵ Y θ ( Z ) = g θ X Y , Z + 1 ϵ 2 1 X θ ( Y ) θ ( Z ) + A ( X , Z ) θ ( Y ) A ( X , Y ) θ ( Z ) + 1 ϵ 2 Ω ( X , Y ) θ ( Z ) Ω ( Y , Z ) θ ( X ) Ω ( X , Z ) θ ( Y ) .
The rather involved relation (22) holding for any X , Y , Z X ( M ) can be greatly simplified by using the decomposition (6). For arbitrary Z H ( M ) , the relation (22) yields, θ ( Z ) = 0 ,
Π H X ϵ Y = Π H X Y + θ ( Y ) τ X + 1 ϵ 2 θ ( X ) J Y + θ ( Y ) J X
where Π H = Π H ( M ) : T ( M ) H ( M ) is the projection with respect to the decomposition (6). Again, by (22), for Z = T , we obtain
θ X ϵ Y = X θ ( Y ) + Ω ( X , Y ) ϵ 2 A ( X , Y ) ,
which determines the component along T of X ϵ Y , with respect to the decomposition (6). At this point, we may use (23) and (24) to compute X ϵ Y for any X , Y X ( M ) . For every V X ( M ) ,
V = Π H V + θ ( V ) T ,
hence, by (23) and (24),
X ϵ Y = Π H X ϵ Y + θ X ϵ Y T =
= X Y + Ω ( X , Y ) T + θ ( Y ) τ X + 2 ϵ 2 ( θ J ) ( X , Y ) ϵ 2 A ( X , Y ) T ,
where ⊙ is the symmetric tensor productl i.e., α β = 1 2 ( α β + β α ) . For X , Y H ( M ) , Equation (26) becomes
X ϵ Y = X Y + Ω ( X , Y ) ϵ 2 A ( X , Y ) T ,
and (12) is proved. The remaining relations (13)–(15) in Lemma 2 follow from (26) for: (i) X H ( M ) and Y = T ; (ii) X = T and Y H ( M ) ; and (iii) X = Y = T . Q.E.D.
It will be useful to compute the covariant derivative of J with respect to ϵ , where J : H ( M ) H ( M ) is extended as customary to a ( 1 ,   1 ) -tensor field on M by requiring that J T = 0 . Note that the extension of J depends on the chosen contact form θ on M.
Lemma 3.
For any X , Y H ( M )
X ϵ J Y = g θ ( X , Y ) + ϵ 2 A ( X , J Y ) T ,
X ϵ J T = τ J X + 1 ϵ 2 X ,
T ϵ J X = 0 ,
T ϵ J T = 0 .
Proof. 
Lemma 3 follows from (12)–(15) together with J = 0 . For instance,
( X ϵ J ) Y = X ϵ J Y J X ϵ Y
by (12), and J T = 0 and J 2 = I + θ T
= X J Y + Ω ( X , J Y ) ϵ 2 A ( X , J Y ) T J X Y
by J = 0 , and Ω ( X , Y ) = g θ ( X , J Y )
= g θ ( X , Y ) + ϵ 2 A ( X , J Y ) T ,
yielding (27).    □

2.4. Gradients and the Laplace–Beltrami Operator on ( M , g ϵ )

For every function u C 1 ( M ) , let ϵ u be the gradient of u with respect to the Riemannian metric g ϵ , i.e.,
g ϵ ( ϵ u , X ) = X ( u ) , X X ( M ) .
Let Δ ϵ be the Laplace–Beltrami operator of ( M , g ϵ ) , i.e.,
Δ ϵ u = div ϵ ϵ u , u C 2 ( M ) .
Here, div ϵ is the divergence operator with respect to the volume form Ψ ϵ = d vol ( g ϵ ) , i.e.,
L X Ψ ϵ = div ϵ ( X ) Ψ ϵ
for every C 1 vector field X tangent to M. Let ( U , x i ) be a local coordinate system on M, and let us set
g ϵ = det g i j ( ϵ ) , g i j ( ϵ ) = g ϵ x i , x j , 1 i , j 2 n + 1 .
The Riemannian volume form of ( M , g ϵ ) is locally given by
Ψ ϵ = g ϵ d x 1 d x 2 n + 1 .
The volume form Ψ θ is parallel with respect to the Tanaka–Webster connection (i.e., Ψ θ = 0 ), hence the divergence of a C 1 vector field X may be computed as
div ( X ) = Trace Y Y X .
See [3], p. 112.
Lemma 4.
(i) For every u C 1 ( M ) ,
ϵ u = H u + ϵ 2 θ ( u ) T .
(ii) For every u C 2 ( M ) ,
Δ ϵ u = Δ b u ϵ 2 T 2 ( u ) .
Proof. 
(i) By (7), for every X X ( M ) ,
g θ ( u , X ) = X ( u ) = g ϵ ( ϵ u , X )
= g θ ( ϵ u , X ) + 1 ϵ 2 1 θ ( ϵ u ) θ ( X ) .
In particular, for arbitrary X H ( M ) ,
Π H ϵ u = H u .
Also, for X = T ,
θ ( ϵ u ) = ϵ 2 θ ( u ) .
Finally, by (34) and (35) and the decomposition (25),
ϵ u = Π H ϵ u + θ ( ϵ u ) T = H u + ϵ 2 θ ( u ) T ,
and (32) in Lemma 4 is proved.
(ii) Let { X a : 1 a 2 n } be a local g θ -orthonormal
G θ ( X a , X b ) = δ a b , 1 a , b 2 n ,
frame of H ( M ) , defined on the open subset U M . Then, by (7),
E j ϵ : 1 j 2 n + 1 X a , ϵ T : 1 a 2 n
is a local g ϵ -orthonormal frame of T ( M ) . Consequently, the Laplace–Beltrami operator of ( M ,   g ϵ ) on functions can be computed as
Δ ϵ u = j = 1 2 n + 1 E j ϵ E j ϵ ( u ) E j ϵ ϵ E j ϵ ( u )
= a = 1 2 n X a X a ( u ) X a ϵ X a ( u ) ϵ 2 T T ( u ) T ϵ T ( u )
by (12) and (15)
= a = 1 2 n X a X a ( u ) X a X a ( u )
+ a = 1 2 n Ω ( X a , X a ) ϵ 2 A ( X a , X a ) T ( u ) ϵ 2 T 2 ( u )
for every u C 2 ( M ) . Finally, (33) in Lemma 4 follows from
Δ b u = a = 1 2 n X a X a ( u ) X a X a ( u )
as Ω is skew-symmetric, T A = 0 , and
a = 1 2 n A ( X a , X a ) = trace ( τ ) = 0 .
The formula (36) is a consequence of (31).    □
Let Ω H n be a bounded domain, with boundary S = Ω of class C r , 1 r . Let us assume that Ω lies on one side of its boundary; i.e., for every ( z 0 , t 0 ) S , there is a neighborhood U H n and a diffeomorphism ψ : U B 2 n + 1 such that ψ ( z 0 , t 0 ) = 0 and ψ ( U Ω ) = { ( z , t ) B 2 n + 1 : t > 0 } . Here, B N = { x R N : | x | < 1 } is the unit ball. Let DO Ω ¯ be the space of differential operators of order with real valued continuous coefficients
L u | α | a α ( z ,   t ) D α u , a α C Ω ¯ , R , | α | .
DO Ω ¯ is a Banach space with the norm
L = | α | k sup ( z , t ) Ω ¯ | a α ( z ,   t ) | .
Let L ( z , t , ξ ) = | α | = a α ( z ,   t ) ξ α be the symbol of L DO Ω ¯ . L is degenerate elliptic if
(i)
There exist ( z , t ) Ω ¯ and ξ R 2 n + 1 such that L ( z , t , ξ ) 0 and sign L ( z , t , ξ ) is constant on Ω ¯ × S 2 n [where sign : R { ± 1 } ],
(ii)
The set { ( z , t , ξ ) Ω ¯ × S 2 n : L ( z , t , ξ ) = 0 } is nonempty.
Proposition 1.
For every bounded domain Ω H n in the Heisenberg group, the sublaplacian Δ b DO 2 ( Ω ¯ ) is a degenerate elliptic operator of order = 2 .
Proof. 
If E = H n × R is the trivial vector bundle, one may compute the symbol σ 2 ( Δ b ) Hom π E , π E [where π : T ( H n ) \ { 0 } H n is the projection] and show that the ellipticity of Δ b degenerates at the cotangent directions spanned by the canonical contact form θ 0 (see E. Barletta and S. Dragomir [25]). Here we wish to give a “sub-Riemannian proof” to the statement. Let us recall that L DO Ω ¯ is elliptic in Ω ¯ if L ( z , t , ξ ) 0 for any ( z ,   t ) Ω ¯ and any ξ R 2 n + 1 \ { 0 } . Let EO Ω ¯ be the set of elliptic operators of order k. Then, Δ ϵ EO 2 Ω ¯ for every ϵ > 0 and, by (33),
Δ ϵ Δ b = ϵ 2 T 2 0 , ϵ 0 + ,
hence Δ b EO 2 Ω ¯ . However, (see, e.g., N. Shimakura [29], p. 184) EO 2 Ω ¯ is an open subset of the Banach space DO 2 Ω ¯ whose boundary consists precisely of the degenerate (second order) elliptic operators on Ω ¯ .    □

2.5. Curvature Properties

Let R ( ) and R ( ϵ ) be the curvature tensor fields of ∇ (the Tanaka–Webster connection of ( M ,   θ ) ) and of ϵ (the Levi–Civita connection of ( M , g ϵ ) ).
Lemma 5.
Let M be a strictly pseudoconvex CR manifold and θ P + a positively oriented contact form on M. Then, R ϵ and R ( ) are related by
R ϵ ( X , Y ) Z = R ( ) ( X , Y ) Z ϵ 2 X A ( Y , Z ) Y A ( X , Z ) T + Ω ( Y , Z ) τ X Ω ( X , Z ) τ Y A ( Y , Z ) J X + A ( X , Z ) J Y + ϵ 2 A ( X , Z ) τ Y A ( Y , Z ) τ X + 1 ϵ 2 Ω ( Y , Z ) J X Ω ( X , Z ) J Y 2 Ω ( X , Y ) J Z ,
R ϵ ( X , Y ) T = X τ Y Y τ X + 2 Ω ( X , τ Y ) T ,
R ϵ ( X , T ) Y = R ( ) ( X , T ) Y + { ϵ 2 T A ( X , Y ) + g θ τ X , τ Y 1 ϵ 2 g θ ( X , Y ) 2 A ( X , J Y ) Ω ( τ X , Y ) } T ,
R ϵ ( X , T ) T = τ 2 X 1 ϵ 2 J X + 1 ϵ 4 X T τ X ,
for any X , Y , Z H ( M ) .
Proof. 
Let X , Y , Z H ( M ) . Then,
[ X , Y ] = Π H [ X , Y ] + θ [ X , Y ] T
and
θ [ X , Y ] = 2 ( d θ ) ( X , Y ) = 2 Ω ( X , Y ) ,
hence
[ X , Y ] = Π H [ X , Y ] + 2 Ω ( X , Y ) T .
By (12)–(15) relating ϵ to ∇, one conducts the following calculations:
R ϵ ( X , Y ) Z = X ϵ Y ϵ Z Y ϵ X ϵ Z [ X , Y ] ϵ Z
by substitution from (41)
= X ϵ Y Z + Ω ( Y , Z ) ϵ 2 A ( Y , Z ) T
Y ϵ X Z + Ω ( X , Z ) ϵ 2 A ( X , Z ) T
Π H [ X , Y ] Z Ω Π H [ X , Y ] , Z ϵ 2 A Π H [ X , Y ] , Z T
2 Ω ( X , Y ) T Z + 1 ϵ 2 J Z
again by (41) and Ω = 0 ,
= R ( ) ( X , Y ) Z 2 ϵ 2 Ω ( X , Y ) J Z
+ Ω ( Y , Z ) ϵ 2 A ( Y , Z ) τ X + 1 ϵ 2 J X
Ω ( X , Z ) ϵ 2 A ( X , Z ) τ Y + 1 ϵ 2 J Y
+ ϵ 2 Y A ( X , Z ) X A ( Y , Z ) T ,
thus proving (37). To prove (38), one conducts the following calculation
R ϵ ( X , Y ) T = X ϵ Y ϵ T Y ϵ X ϵ T [ X , Y ] ϵ T
by (13) and (41)
= X ϵ τ Y + 1 ϵ 2 J Y Y ϵ τ X + 1 ϵ 2 J X
Π H [ X , Y ] ϵ T 2 Ω ( X , Y ) T ϵ T
by τ J + J τ = 0
= X τ Y Y τ X + 1 ϵ 2 X J Y Y J X ,
yielding (38) by J = 0 . To prove (39), one conducts the following calculation:
R ϵ ( X ,   T ) Y = X ϵ T ϵ Y T ϵ X ϵ Y [ X , T ] ϵ Y
by (14) and (12), and by [ X ,   T ] H ( M )
= X ϵ T X + 1 ϵ 2 J Y
T ϵ X Y + Ω ( X , Y ) ϵ 2 A ( X , Y ) T
[ X , T ] Y Ω [ X ,   T ] , Y ϵ 2 A [ X ,   T ] , Y T .
Note that, by the very definition of the pseudohermitian torsion τ ,
[ X ,   T ] = τ X T X , X H ( M ) .
Then, by J = 0 and Ω = 0 ,
R ϵ ( X ,   T ) Y = R ( X ,   T ) Y
+ 1 ϵ 2 Ω ( X ,   J Y ) ϵ 2 A ( X ,   J Y ) T
Ω ( τ X , Y ) T + ϵ 2 A ( τ X , Y ) T + ϵ 2 ( T A ) ( X , Y ) T ,
thus yielding (39). Finally, (40) follows from
R ϵ ( X ,   T ) T = X ϵ T ϵ T T ϵ X ϵ T [ X , T ] ϵ T
by T ϵ T = 0 and (13)
= T ϵ τ X + 1 ϵ 2 J X τ [ X ,   T ] 1 ϵ 2 J [ X ,   T ]
by J = 0 and τ J + J τ = 0
= τ 2 X + 1 ϵ 4 X T τ X .

3. First Fundamental Forms

Let ( M , T 1 , 0 ( M ) ) be a strictly pseudoconvex CR manifold of CR dimension n. Through this section, given a positive integer k 1 and another strictly pseudoconvex CR manifold ( A , T 1 , 0 ( A ) ) of CR dimension N = n + k , we study the geometry of the second fundamental form of Cauchy–Riemann (CR) immersions f : M A .
Definition 33.
A CR immersion  f : M A is a C immersion of f : M A , 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 θ P + ( M ) and Θ P + ( A ) be positively oriented contact forms on M and A, respectively.
Lemma 6.
Let f : M A be a CR immersion. There is a unique function Λ C ( M ) such that
f Θ = Λ θ .
Consequently,
f G Θ = Λ G θ
and Λ ( x ) 0 for any x M .
Proof. 
For every x M and X H ( M ) x ,
( f Θ ) x X = Θ f ( x ) ( d x f ) X = 0
because of
( d x f ) H ( M ) x H ( A ) f ( x ) .
Hence,
H ( M ) x Ker f Θ x .
Let { E a : 1 a 2 n } be a local frame of H ( M ) , defined on an open neighborhood U M of x. Then,
{ E j : 0 j 2 n } , E 0 = T ,
is a local frame of T ( M ) on U. Let us set
Λ = f Θ T C ( M ) .
For every X = a j E j , x T x ( M ) [by θ ( T ) = 1 ]
f Θ x X = a 0 f Θ x T x = a 0 Λ ( x ) = Λ ( x ) θ x ( X ) ,
yielding (42). As f is a CR map, aside from (44), one has
( d x f ) J x = J f ( x ) A ( d x f ) , x M ,
where J and J A are the complex structures along the Levi distributions H ( M ) and H ( A ) . Also, by exterior differentiation of (42),
d Λ θ + Λ d θ = f d Θ .
Hence, for any X , Y H ( M ) ,
Λ G θ ( X , Y ) = Λ ( d θ ) ( X ,   J Y )
= f d Θ ( X , J Y ) = d Θ f f X , f J Y
by (47)
= d Θ f f X , ( J A ) f f Y = ( G Θ ) f ( f X , f Y ) ,
proving (43). An upper index f denotes composition with f, e.g., ( J A ) f = J A f , where J A is thought of as a section J A : A T ( A ) T ( A ) . Finally, for every X T x ( M ) , X 0 (as d x f is a monomorphism, and G Θ , f ( x ) and G θ , x are positive definite),
0 < G Θ , f ( x ) ( d x f ) X , ( d x f ) X = ( f G Θ ) x ( X , X ) = Λ ( x ) G θ , x ( X , X ) ,
yielding Λ ( x ) 0 .    □
Definition 34.
The function Λ = Λ ( f ) = Λ ( f ; θ , Θ ) given by (46) is the dilation of f relative to the choice of contact forms ( θ , Θ ) .
Definition 35.
A CR immersion f : M A of ( M ,   θ ) into ( A , Θ ) is said to be isopseudohermitian if Λ ( f ; θ , Θ ) 1 .
Proposition 2.
Let f : M A be a CR immersion between the strictly pseudoconvex CR manifolds M and A. Let Θ P + ( A ) . If
Θ f ( x ) ( d x f ) 0 , x M ,
then there is a contact form θ ^ P + ( M ) such that f is an isopseudohermitian immersion of ( M , θ ^ ) into ( A , Θ ) .
Proof. 
Let θ P + ( M ) and let Λ be the dilation of the CR immersion f relative to the pair ( θ , Θ ) . Then, Λ ( M ) ( 0 , + ) , and we may set θ ^ = Λ θ .    □
For every CR immersion f : M A , we may look at M as an immersed submanifold of the Riemannian manifold ( A , g Θ ) . However, in general, the first fundamental form, i.e., the pullback f g Θ of the ambient Webster metric g Θ , of the given immersion f : M ( A , g Θ ) does not coincide with the intrinsic Webster metric g θ , not even if f is isopseudohermitian. To circumnavigate this obstacle, we endow A with the Riemannian metric g ϵ A , the contraction of the Levi form G Θ associated with every ϵ > 0 as in Section 2, given by
g ϵ A = g Θ + 1 ϵ 2 1 Θ Θ
and derive the Gauss–Codazzi–Ricci equations of the immersion f : M ( A , g ϵ A ) . As a consequence of (48),
g ϵ A = G Θ on H ( A ) H ( A ) ,
g ϵ A ( X , T A ) = 0 , X H ( A ) ,
g ϵ A ( T A , T A ) = ϵ 2 ,
where T A X ( A ) is the Reeb vector field of ( A , Θ ) . Let
g ϵ ( f ) = f g ϵ A
be the induced metric, i.e., the first fundamental form of the given immersion f : M ( A , g ϵ A ) . Then, for any X , Y H ( M ) ,
g ϵ ( f ) ( X , Y ) = g ϵ A f ( f X , f Y )
by (49), as f X , f Y C f 1 H ( M )
= G Θ f ( f X , f Y ) = ( f G Θ ) ( X , Y ) = Λ G θ ( X , Y )
by (43). Throughout, an upper index f denotes composition with f. Summing up:
g ϵ ( f ) = Λ G θ on H ( M ) H ( M ) .
For every x M , let us decompose ( d x f ) T x T f ( x ) ( A ) with respect to
T ( A ) = H ( A ) R T A ,
which is
( d x f ) T x = v + μ T A , f ( x )
for some v H ( A ) f ( x ) and μ R . If X H ( M ) , then
g ϵ ( f ) ( X ,   T ) x = ( f g ϵ A ) ( X ,   T ) x
= g ϵ , f ( x ) A ( d x f ) X x , ( d x f ) T x = G Θ , f ( x ) ( d x f ) X x , v
by (49) and (50), which can be applied because ( d x f ) X x H ( A ) f ( x ) . We have shown that
g ϵ ( f ) ( X ,   T ) x = G Θ , f ( x ) ( d x f ) X x , v
for any X H ( M ) , where
v = Π H ( A ) , f ( x ) ( d x f ) T x .
Let E H ( f ) x be the orthogonal complement of ( d x f ) H ( M ) x in the inner product space H ( A ) f ( x ) , G Θ , f ( x ) so that
H ( A ) f ( x ) = ( d x f ) H ( M ) x E H ( f ) x , x M .
Lemma 7.
E H ( f ) M is a J A -invariant real rank 2 k subbundle of f 1 H ( A ) M .
Proof. 
Let V E H ( f ) . Then,
G Θ f ( J A f V , f X ) = G Θ f ( V , J A f f X )
by (47)
= G Θ f ( V , f J X ) = 0 ,
yielding J A f V E H ( f ) .    □
Definition 36.
The real vector bundle E H ( f ) M is called the Levi normal bundle of the given CR immersion f : M ( A , Θ ) . A section ξ C E H ( f ) is a Levi normal field.
The tangent vector v H ( A ) f ( x ) , first appearing in the decomposition (55), may be further decomposed, with respect to (58), as
v = ( d x f ) Y x + v
for some Y H ( M ) and some v E H ( f ) x . The Levi normal vector v 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 f : M ( A , g ϵ A ) . Let us substitute from (59) into (56) and take into account (43). We obtain
g ϵ ( f ) ( X , T ) = Λ G θ ( X , Y ) , X H ( M ) .
Let
tan H , x : H ( A ) f ( x ) H ( M ) x , nor H , x : H ( A ) f ( x ) E H ( f ) x ,
be the projections associated with the direct sum decomposition (58), so that
w = ( d x f ) tan H , x w + nor H , x w , w H ( A ) f ( x ) .
Then, by (59),
tan H , x v = Y x , nor H , x v = v .
Moreover, by (25) and (57),
Y x = tan H , x Π H ( A ) , f ( x ) ( d x f ) T x
= tan H , x ( d x f ) T x Θ f ( x ) ( d x f ) T x T A , f ( x )
or
Y x = tan H , x ( d x f ) T x Λ ( x ) T A , f ( x )
as, by (42),
Θ f ( x ) ( d x f ) T x = f Θ x T x = Λ ( x ) θ x ( T x ) = Λ ( x ) .
For further use, let us set
X Θ ( x ) : = ( d x f ) T x Λ ( x ) T A , f ( x ) , x M .
As a byproduct of the calculations leading to (62), we have X Θ , x H ( A ) f ( x ) for any x M ; i.e., (63) defines a section X Θ in the pullback bundle f 1 H ( A ) M
X Θ = f T Λ T A f C f 1 H ( A ) .
Next, by (60) and Y x = tan H , x X Θ , x , i.e., by (62) and (63),
g ϵ ( f ) ( X , T ) x = Λ ( x ) G θ ( X , Y ) x = ( f G Θ ) ( X , Y ) x
= G Θ , f ( x ) ( d x f ) X x , ( d x f ) Y x
= G Θ , f ( x ) ( d x f ) X x , ( d x f ) tan H , x X Θ , x
by (61) for w = X Θ , x
= G Θ , f ( x ) ( d x f ) X x , X Θ , x nor H , x X Θ , x
as ( d x f ) X x and nor H , x X Θ , x are G Θ , f ( x ) -orthogonal
= G Θ , f ( x ) ( d x f ) X x , X Θ , x = ( d Θ ) f ( x ) J A , f ( x ) ( d x f ) X x , X Θ , x
as f is a CR map
= ( d Θ ) f ( x ) ( d x f ) J x X x , X Θ , x
by T A d Θ = 0
= ( d Θ ) f ( x ) ( d x f ) J x X x , ( d x f ) T x .
Next, note that, by taking the exterior differential of (42),
f ( d Θ ) = d f Θ = d Λ θ + Λ d θ
so that
g ϵ ( f ) ( X , T ) x = d Λ θ ( J X , T ) x + Λ ( x ) T d θ ( J X ) x
by Ker ( θ ) = H ( M ) , θ ( T ) = 1 , and T d θ = 0
= ( J X ) ( Λ ) x .
Summing up:
g ϵ ( f ) ( X ,   T ) = ( J X ) ( Λ ) , X H ( M ) .
Together with (53), this determines the first fundamental form g ϵ ( f ) = f g ϵ A on H ( M ) H ( M ) and H ( M ) R T . By taking into account the decomposition (6), to fully determine g ϵ ( f ) , we ought to compute
g ϵ ( f ) ( T ,   T ) x = ( f g ϵ A ) ( T ,   T ) x = g ϵ , f ( x ) A ( d x f ) T x , ( d x f ) T x
by substitution from (55)
= g ϵ , f ( x ) A v + μ T A , f ( x ) , v + μ T A , f ( x )
by (50) i.e., by v H ( A ) f ( x ) T A , f ( x ) with respect to g ϵ , f ( x ) A
= g ϵ , f ( x ) A ( v , v ) + μ 2 g ϵ A ( T A , T A ) f ( x )
by (49) i.e., g ϵ A = G Θ on H ( A ) H ( M ) and by (51) i.e., g ϵ A ( T A , T A ) = ϵ 2
= μ ϵ 2 + G Θ , f ( x ) ( v , v ) .
On the other hand, by going back to (55),
μ = Θ f ( x ) ( d x f ) T x = f Θ x T x = Λ ( x ) θ ( T ) x = Λ ( x )
so that (55) de facto reads
( d x f ) T x = v + Λ ( x ) T A , f ( x )
or, by (63),
v = X Θ , x .
Our calculations so far lead to
g ϵ ( f ) ( T , T ) x = Λ ( x ) ϵ 2 + X Θ , x Θ 2 .
Here we have set v Θ = G Θ , f ( x ) ( v , v ) 1 / 2 . Another useful expression of the norm v Θ may be obtained as follows. Note first that, as a consequence of our key observation X Θ C ( f 1 H ( M ) ) ,
g Θ f f T , T A f = g Θ f f T Λ T A f , T A f + Λ g Θ ( T A , T A ) f
= g Θ f X Θ , T A f + Λ
or
g Θ f f T , T A f = Λ .
Then, by (65),
G Θ , f ( x ) ( v , v ) = g Θ , f ( x ) X Θ , x , X Θ , x
= g Θ , f ( x ) ( d x f ) T x , ( d x f ) T x + Λ ( x ) 2 g Θ , f ( x ) T A , f ( x ) , T A , f ( x )
2 Λ ( x ) g Θ , f ( x ) ( d x f ) T x , T A , f ( x )
or, by (67),
G Θ , f ( x ) ( v , v ) = f g Θ ( T , T ) x Λ ( x ) 2 .
Finally, by substitution from (68) into (66),
g ϵ ( f ) ( T , T ) = 1 ϵ 2 1 Λ 2 + f g Θ ( T ,   T ) .
The first fundamental form of f : M ( A , g ϵ A ) is fully determined. Summing up, we have established:
Proposition 3.
Let us set X Θ = f T Λ T A f . Then
(i) X Θ C f 1 H ( A ) ,
(ii) For any X H ( M )
G Θ f f X , X Θ = ( J X ) ( Λ )
or equivalently
Λ tan H X Θ = J H Λ .
In particular, if Λ ( x ) 0 for any x M , then
tan H X Θ = J H log | Λ | ,
while if Λ = constant (e.g., f is isopseudohermitian, i.e., Λ 1 ), then X Θ is a Levi normal vector field on M i.e., X Θ C E H ( f ) .
(iii) The norm of vector field X Θ is
X Θ Θ = f g Θ ( T , T ) Λ 2 1 / 2 .
(iv) The first fundamental form g ϵ ( f ) of the immersion f : M A , g ϵ A is given by
g ϵ ( f ) = Λ G θ on H ( M ) H ( M ) ,
g ϵ ( f ) ( X , T ) = ( J X ) ( Λ ) , X H ( M ) ,
g ϵ ( f ) ( T , T ) = 1 ϵ 2 1 Λ 2 + f g Θ ( T , T ) .
Consequently,
g ϵ ( f ) = Λ g θ + Λ ϵ 2 Λ ( Λ + 1 ) + f g Θ ( T , T ) θ θ + 2 θ g θ J H Λ , ·
and, in particular,
g ϵ ( f ) = Λ g ϵ M + 2 θ g θ J H Λ , · + 1 ϵ 2 Λ 2 1 Λ ( Λ + 1 ) + 1 + f g Θ ( T , T ) θ θ .
Corollary 2.
Let f : M A be an isopseudohermitian CR immersion of ( M , θ ) into ( A , Θ ) . Then, the first fundamental form g ϵ ( f ) = f g ϵ A and the Webster metric g θ , respectively, the ϵ-contraction g ϵ M of G θ , are related by
g ϵ ( f ) = g θ + 1 ϵ 2 2 + f g Θ ( T , T ) θ θ ,
g ϵ ( f ) = g ϵ M + f g Θ ( T , T ) 1 θ θ .
Let E ( f ) M and E ϵ ( f ) M be, respectively, the normal bundles of the immersions f : M ( A , g Θ ) and f : M ( A , g ϵ A ) , so that
T f ( x ) ( A ) = ( d x f ) T x ( M ) E ( f ) x ,
T f ( x ) ( A ) = ( d x f ) T x ( M ) E ϵ ( f ) x ,
for every x M .
Lemma 8.
The normal bundle E ϵ ( f ) M and the Levi normal bundle E H ( f ) M are related by
E ϵ ( f ) E H ( f ) R T A f .
A dimension count shows that the inclusion is strict.
Proof. 
Let
ξ E ϵ ( f ) f 1 T ( A ) = f 1 H ( M ) R T A f
so that
ξ = W + μ T A f
for some W f 1 H ( A ) and some μ C ( M ) . Then, for any X H ( M )
G Θ ( W , f X ) = g ϵ A ( W , f X ) = g ϵ A ( ξ μ T A f , f X )
as T A f C ( f 1 H ( M ) ) f C ( H ( M ) )
= g ϵ A ( ξ , f X ) = 0
because of ξ f X ( M ) f C H ( M ) ) f X . This yields W E H ( f ) .    □
Let
tan x : T f ( x ) ( A ) T x ( M ) , nor x : T f ( x ) ( A ) E ( f ) x ,
tan x ϵ : T f ( x ) ( A ) T x ( M ) , nor x ϵ : T f ( x ) ( A ) E ϵ ( f ) x ,
be the projections associated with the decompositions (79) and (80). Next, let us set
T A = nor T A C ( E ( f ) )
so that
T A f = f tan T A + T A .
Lemma 9.
Let f : M A be a CR immersion of strictly pseudoconvex CR manifolds, and let θ P + ( M ) and Θ P + ( A ) be positively oriented contact forms on M and A. Then
Λ 2 tan T A = 1 Θ f ( T A ) Λ T J H Λ .
In particular, if f is isopseudohermitian, then
tan T A = 1 Θ f ( T A ) T .
Proof. 
As Θ ( T A ) = 1
1 = Θ ( T A ) f = Θ f T A f
by (83)
= Θ f f tan T A + Θ f T A
= f Θ tan ( T A ) + Θ f T A = Λ θ tan ( T A ) + Θ f T A
so that
Λ θ tan ( T A ) = 1 Θ f T A .
Moreover, for any X H ( M ) ,
Λ g θ ( X , tan ( T A ) ) = Λ G θ ( X , Π H tan ( T A ) )
= ( f G Θ ) ( X , Π H tan ( T A ) ) = G Θ f f X , f Π H tan ( T A )
= g Θ f f X , f Π H tan ( T A )
= g Θ f f X , f tan ( T A ) θ ( tan ( T A ) ) T
= g Θ f f X , f tan ( T A ) θ ( tan ( T A ) ) g Θ f f X , f T .
As f X is tangential, one has g Θ f ( f X , T A ) = 0 , hence, by (83),
g Θ f f X , f tan ( T A ) = g Θ f f X , T A f = 0
because f X C f 1 H ( A ) and H ( A ) T A with respect to g Θ . We may conclude that
Λ g θ ( X , tan ( T A ) ) = θ ( tan ( T A ) ) f g Θ X , T .
On the other hand,
f g Θ X , T = g Θ f f X , f T
= g Θ f f X , f T Λ T A f + Λ g Θ f f X , T A f
= g Θ f f X , X Θ + Λ Θ f f X = G Θ f f X , X Θ + Λ ( f Θ ) X
= G Θ f f X , f tan H X Θ + Λ 2 θ ( X )
as X H ( M ) = Ker ( θ )
= ( f G Θ ) X , tan H X Θ = Λ G θ X , tan H X Θ = ( J X ) ( Λ )
by (70). Then, by (87),
Λ Π H tan T A = θ tan T A J H Λ .
Finally,
Λ tan ( T A ) = Λ Π H tan ( T A ) + θ ( tan T A ) T
by (88)
= θ ( tan ( T A ) ) J H Λ + Λ T
that is, by (86)
Λ 2 tan ( T A ) = 1 Θ f ( T A ) Λ T J H Λ ,
and Lemma 9 is proved.    □

4. Pseudohermitian Immersions

Definition 37.
Let ( M , T 1 , 0 ( M ) ) and ( A , T 1 , 0 ( A ) ) be strictly pseudoconvex CR manifolds of CR dimensions n and N = n + k , k 1 . Let θ P + ( M ) and Θ P + ( A ) . A CR immersion f : M A is said to be a pseudohermitian immersion of ( M θ ) into ( A , Θ ) if
(i)
f is isopseudohermitian, i.e., f Θ = θ ,
(ii)
T A = 0 .
Proposition 4.
Let f : M A be an isopseudohermitian immersion. The following statements are equivalent:
(i)
f is a pseudohermitian immersion.
(ii)
f g Θ = g θ .
(iii)
X Θ = 0 .
(iv)
f g Θ ( T ,   T ) = 1 .
Proof. 
(i) ⟹ (ii). Let f be a pseudohermitian immersion. Then, for any X , Y H ( M ) ,
f g Θ ( X , Y ) = g Θ f f X , f Y = G θ f f X , f Y
= f G Θ ( X , Y ) = G θ ( X , Y ) = g θ ( X , Y ) .
Hence, f g Θ = g θ on H ( M ) H ( M ) . Next, T A = 0 together with Lemma 9 yields
tan ( T A ) = T .
Then,
f g Θ ( X ,   T ) = g Θ f f X , f T
by (89)
= g Θ f f X , f tan ( T A )
by T A = 0
= g Θ f f X , T A f = 0 = g θ ( X , T ) .
Hence, f g Θ = g θ on H ( M ) R T . It remains necessary that we check (ii) on R T R T . Indeed,
f g Θ ( T ,   T ) = g Θ f f T , f T
by (89)
= g Θ f f tan ( T A ) , f tan ( T A )
by T A = 0
= g Θ f T A f , T A f = g Θ ( T A , T A ) f = 1 = g θ ( T ,   T )
by the very definition of the Webster metrics. Q.E.D.
(ii) ⟹ (iii). Let f : M A be a CR immersion such that (ii) holds, i.e., f g Θ = g θ . As f is a CR map, the assumption (ii) implies f G Θ = G θ and then, by (43), Λ 1 . Moreover,
X Θ Θ 2 = g Θ f X Θ , X Θ = g Θ f f T T A f , f T T A f
= f g Θ ( T ,   T ) + g Θ T A , T A f 2 g Θ f f T , T A f
by (67)
= g θ ( T , T ) 1 = 0
so that X Θ = 0 . Q.E.D.
(iii) ⟹ (iv). Let f : M A be an isopseudohermitian immersion such that X Θ = 0 . Then,
X Θ Θ 2 = f g Θ ( T , T ) 1
yields (iv). Q.E.D.
(iv) ⟹ (i). Let f : M A be an isopseudohermitian immersion such that
f g Θ ( T , T ) = 1 .
Then, by (90), X Θ = 0 i.e.,
T A f = f T f X ( M ) T A = 0 .

5. Gauss and Weingarten Formulas

Let f : M A be a CR immersion of strictly pseudoconvex CR manifolds, and let θ P + ( M ) and Θ P + ( A ) . We adopt the following notations for the various linear connections we shall work with:
D ϵ Levi Civita connection of A , g ϵ A ,
D Tanaka Webster connection of ( A , Θ ) ,
f , ϵ Levi Civita connection of M , g ϵ ( f ) ,
ϵ Levi Civita connection of M , g ϵ M ,
Tanaka Webster connection of ( M , θ ) .
The Gauss and Weingarten formulas for the isometric immersion f : M , g ϵ ( f ) A , g ϵ A are:
D ϵ X f f Y = f X f , ϵ Y + B ϵ ( f ) ( X , Y ) ,
D ϵ X f ξ = f a ξ ϵ X + D X ϵ ξ ,
for any X , Y X ( M ) and any ξ C E ϵ ( f ) . Here, B ϵ ( f ) , a ξ ϵ and D ϵ 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 E ϵ ( f ) M , of the given isometric immersion. The symbol D ϵ f in (91) and (92) denotes the connection induced by the Levi–Civita connection of ( A , g ϵ A ) in the pullback bundle f 1 T ( A ) M ; i.e., D ϵ f is the pullback connection f 1 D ϵ . One has
X f , ϵ Y = tan ϵ D ϵ X f f Y , B ϵ ( f ) = nor ϵ D ϵ X f f Y ,
a ξ ϵ X = tan ϵ D ϵ X f ξ , D X ϵ ξ = nor D ϵ X f ξ .
The second fundamental form B ϵ ( f ) and Weingarten operator a ξ ϵ are related by
g ϵ A f B ϵ ( f ) ( X , Y ) , ξ = g ϵ ( f ) a ξ ϵ X , Y .
The second fundamental form B ϵ ( f ) is symmetric and, merely as a consequence of (93), the Weingarten operator a ξ ϵ is self-adjoint with respect to g ϵ ( f ) .

6. Gauss–Ricci–Codazzi Equations

Let E M be a vector bundle and D C ( E ) a connection. The curvature form R D = R ( D ) is
R D ( X , Y ) = D X , D Y D [ X , Y ] , X , Y X ( M ) .
The curvature forms of the connections in the Gauss and Weingarten formulas are
D E R ( D ) D ϵ f f 1 T ( A ) M R ( D ϵ ) f f , ϵ T ( M ) M R f , ϵ D ϵ E ϵ ( f ) M R D ϵ
The Gauss–Codazzi equation for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) is (see, e.g., [20]):
R ( D ϵ ) f ( X , Y ) f Z = f R f , ϵ ( X , Y ) Z f a B ϵ ( f ) ( Y , Z ) ϵ X + f a B ϵ ( f ) ( X , Z ) ϵ Y + D X ϵ B ϵ ( f ) ( Y , Z ) ( D Y ϵ B ϵ ( f ) ) ( X , Z )
for any X , Y , Z X ( M ) . Here, D X ϵ B ϵ ( f ) is the Van der Waerden–Bortolotti covariant derivative (of the second fundamental form), i.e.,
D X ϵ B ϵ ( f ) ( Y , Z ) = D X ϵ B ϵ ( f ) ( Y , Z ) B ϵ ( f ) X f , ϵ Y , Z B ϵ ( f ) Y , X f , ϵ Z .
The Codazzi equation is obtained by identifying the E ϵ ( f ) components of the Gauss–Codazzi Equation (94)
nor ϵ R ( D ϵ ) f ( X , Y ) f Z = D X ϵ B ϵ ( f ) ( Y , Z ) ( D Y ϵ B ϵ ( f ) ) ( X , Z ) .
Let us take the inner product of (94) with W X ( M ) in order to identity the tangential components of (94)
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W = g ϵ ( f ) R f , ϵ ( X , Y ) Z , W
g ϵ ( f ) a B ϵ ( f ) ( Y , Z ) ϵ X , W + g ϵ ( f ) a B ϵ ( f ) ( X , Z ) ϵ Y , W
and let us substitute from (93) so as to obtain (the Gauss equation of the given isometric immersion)
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W = g ϵ ( f ) R f , ϵ ( X , Y ) Z , W g ϵ A f B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z ) + g ϵ A f B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z )
for any X , Y , Z , W X ( M ) . For any X , Y X ( M ) and any ξ C E ϵ ( f ) as a consequence of the Gauss and Weingarten formulas (91) and (92),
R ( D ϵ ) f ( X , Y ) ξ = R D ϵ ( X , Y ) ξ
+ Y f , ϵ a ξ ϵ X X f , ϵ a ξ ϵ Y + a ξ ϵ [ X , Y ] a D X ϵ ξ ϵ Y + a D Y ϵ ξ ϵ X
+ B ϵ ( f ) a ξ ϵ X , Y B ϵ ( f ) X , a ξ ϵ Y
and, taking the inner product with η C E ϵ ( f ) , gives
g ϵ A f R ( D ϵ ) f ( X , Y ) ξ , η = g ϵ A f R D ϵ ( X , Y ) ξ , η + g ϵ A f B ϵ ( f ) a ξ ϵ X , Y , η g ϵ A f B ϵ ( f ) X , a ξ ϵ Y , η
or, by applying (93) to modify the last two terms in (97),
g ϵ A f R ( D ϵ ) f ( X , Y ) ξ , η = g ϵ A f R D ϵ ( X , Y ) ξ , η g ϵ ( f ) a ξ ϵ , a η ϵ X , Y
(the Ricci equation for the given isometric immersion).

7. The Projections tan ϵ and nor ϵ

Our main purpose in the present section is to compute the projection tan ϵ : f 1 T ( A ) T ( M ) in terms of pseudohermitian invariants. One has (at every point of M)
E ϵ ( f ) = ξ f 1 T ( A ) : g ϵ A f ( ξ , f V ) = 0 , V T ( M ) .
Also, for every V T ( M ) by (48),
g ϵ A f ( ξ , f V ) = g Θ f ( ξ , f V ) + Λ 1 ϵ 2 1 Θ f ( ξ ) θ ( V ) .
Therefore, if we set (again pointwise)
S ϵ ( f ) = f V + Λ 1 ϵ 2 1 θ ( V ) T A f : V T ( M ) ,
then
E ϵ ( f ) = S ϵ ( f ) .
As to the notation adopted in (99), if S x T f ( x ) ( A ) is a linear subspace, then S x denotes the orthogonal complement of S x in T f ( x ) ( A ) with respect to the inner product g Θ , f ( x ) . We shall need the linear operator L ϵ : X ( M ) C ( f 1 T ( A ) ) given by
L ϵ V f V + Λ 1 ϵ 2 1 θ ( V ) T A f , V X ( M ) .
The relation (100) also defines a vector bundle morphism L ϵ : T ( M ) f 1 T ( A ) , denoted by the same symbol. Then,
E ϵ ( f ) = ξ f 1 T ( A ) : g Θ f L ϵ V , ξ = 0 , V T ( M ) .
For arbitrary W f 1 T ( A ) , we take the inner product of
W = f tan ϵ W + nor ϵ W
with f V , V T ( M ) , with respect to the inner product ( g ϵ A ) f , so as to obtain
g ϵ A f ( W , f V ) = g ϵ ( f ) ( tan ϵ W , V ) .
Lemma 10.
The function
λ f g Θ ( T , T ) C ( M )
is strictly positive; i.e., λ ( x ) > 0 for any x M .
Proof. 
One has
λ ( x ) = g Θ , f ( x ) ( d x f ) T x , ( d x f ) T x 0 .
If there is x 0 M such that λ ( x 0 ) = 0 , then ( d x 0 f ) T x 0 = 0 , yielding T x 0 = 0 (as f is an immersion), a contradiction.    □
At this point, we employ the relations (see (48) and (75))
g ϵ A = g Θ + 1 ϵ 2 1 Θ Θ ,
g ϵ ( f ) = Λ g θ + Λ ϵ 2 Λ ( Λ + 1 ) + λ θ θ + 2 θ g θ J H Λ , · ,
and modify (101) accordingly. We obtain
g Θ f W , f V + Λ 1 ϵ 2 1 Θ f ( W ) θ ( V ) = Λ g θ V , tan ϵ W + Λ ϵ 2 Λ ( Λ + 1 ) + λ θ ( V ) θ tan ϵ W + + θ ( V ) g θ J H Λ , tan ϵ W + θ tan ϵ W g θ J H Λ , V .
We ought to examine a few consequences of (103). First, let us use (103) for V = X H ( M ) , i.e., as θ ( X ) = 0 ,
g Θ f W , f X = Λ g θ X , tan ϵ W + θ tan ϵ W g θ J H Λ , X .
Let { X a : 1 a 2 n } be a local G θ -orthonormal [i.e., G θ ( X a , X b ) = δ a b , 1 a , b 2 n ] frame of H ( M ) , defined on the open set U M . Then,
Λ Π H tan ϵ W = Λ a = 1 2 n g θ X a , tan ϵ W X a
by (104)
= a = 1 2 n g Θ f W , f X a g θ J H Λ , X a X a
or
Λ Π H tan ϵ W = a = 1 2 n g Θ f W , f X a X a J H Λ
everywhere in U. Second, let us use (103) for V = T ; i.e., as θ ( T ) = 1 and g θ ( T , Y ) = θ ( Y ) for any Y X ( M ) ,
g Θ f W , f T + Λ 1 ϵ 2 1 Θ f ( W ) Λ 2 1 ϵ 2 1 + λ θ tan ϵ W + g θ J H Λ , tan ϵ W .
We shall conduct an asymptotic analysis of our equations as ϵ 0 + , so we consider 0 < ϵ < 1 to start with. Consequently, by Lemma 10,
Λ ( x ) 2 1 ϵ 2 1 + λ ( x ) > 0 , x M .
For simplicity, we set
u ϵ = θ tan ϵ W C ( M ) , X ϵ = Π H ( M ) tan ϵ W C ( H ( M ) ) ,
so that tan ϵ W = X ϵ + u ϵ T and Equations (105) and (106) read:
Λ X ϵ = a = 1 2 n g Θ f W , f X a X a J H Λ ,
g Θ f W , f T + Λ 1 ϵ 2 1 Θ f ( W ) = Λ 2 1 ϵ 2 1 + λ u ϵ + g θ J H Λ , X ϵ .
Let us multiply (108) by Λ and substitute Λ X ϵ from (107) into the resulting equation. We obtain
g Θ f W , Λ f T + Λ 2 1 ϵ 2 1 Θ f ( W ) = Λ Λ 2 1 ϵ 2 1 + λ u ϵ + g Θ f W , J H Λ H Λ θ 2 .
Let Z ( Λ ) = { x M : Λ ( x ) = 0 } be the zero set of Λ . Note that (107) and (109) determine X ϵ and u ϵ on the open set M \ Z ( Λ ) .
From now on, we confine our calculations to isopseudohermitian (i.e., Λ 1 ) CR immersions f : M A . Then, (107) and (109) read
X ϵ = a = 1 2 n g Θ f W , f X a X a ,
g Θ f W , f T + 1 ϵ 2 1 Θ f ( W ) = 1 ϵ 2 1 + λ u ϵ .
Summing up, we have proved:
Lemma 11.
For every W f 1 T ( A )
tan ϵ W = a = 1 2 n g Θ f W , f X a X a + 1 1 + ϵ 2 ( λ 1 ) Θ f ( W ) + ϵ 2 g Θ f ( W , X Θ ) T
everywhere in U, where X Θ = f T T A f .
Finally, for the calculation of the projection nor ϵ , we shall use
nor ϵ W = W f tan ϵ W
together with (112).

8. Gauss Formula for f : ( M , g ϵ ( f ) ) ( A , g ϵ A )

The purpose of the present section is to give an explicit form of the Gauss formula
D ϵ V f f W = f V f , ϵ W + B ϵ ( f ) ( V , W ) , V , W X ( M ) .
To this end, we shall compute
V f , ϵ W = tan ϵ D ϵ V f f W , B ϵ ( f ) ( V , W ) = nor ϵ D ϵ V f f W ,
by essentially using (112) in Lemma 11. Calculations are considerably simplified by exploiting the decomposition T ( M ) = H ( M ) R T . Let us set V = X and W = Y with X , Y H ( M ) in the Gauss formula (113), i.e.,
D ϵ X f f Y = f X f , ϵ Y + B ϵ ( f ) ( X , Y ) .
On the other hand, by (12)–(15), with ϵ replaced by D ϵ ,
D X ϵ Y = D X Y + g Θ ( X , J A Y ) ϵ 2 g Θ ( X , τ A Y ) T A ,
D X ϵ T A = τ A X + 1 ϵ 2 J A X ,
D T A ϵ X = D T A X + 1 ϵ 2 J A X ,
D T A ϵ T A = 0 ,
for any X , Y H ( A ) . We systematically apply our findings in Section 2 to the pseudohermitian manifold ( A , Θ ) and to the Riemannian metric g ϵ A (the ϵ -contraction of the Levi form G Θ ). By (115),
D ϵ X f f Y = D X f f Y + g Θ f ( f X , J A f f Y ) ϵ 2 g Θ f ( f X , τ A f f Y ) T A f .
Here, D f = f 1 D is the pullback of the Tanaka–Webster connection D–a connection in the pullback bundle f 1 T ( A ) M . 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 ( A ,   Θ ) to that of the submanifold ( M ,   θ ) . Therefore, to compute the right-hand side of (114), one needs a lemma relating the induced connection f , ϵ , associated with the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) , to the Tanaka–Webster connection ∇ of ( M ,   θ ) .
Lemma 12.
Let f : M A be an isopseudohermitian (i.e., f Θ = θ ) CR immersion. The Levi–Civita connection f , ϵ of ( M , g ϵ ( f ) ) and the Tanaka–Webster connection of ( M ,   θ ) are related by
X f , ϵ Y = X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T ,
X f , ϵ T = τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T ,
T f , ϵ X = T X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T ,
T f , ϵ T = 1 2 H λ + 1 2 μ ϵ T ( λ ) T ,
for any X , Y H ( M ) . Here μ ϵ = μ ϵ ( f ; θ , θ ) C ( M ) is given by
μ ϵ = 1 ϵ 2 1 + λ , λ = ( f g Θ ) ( T ,   T ) .
Proof. 
We start from the well-known (see, e.g., Proposition 2.3 in [10], Volume I, p. 160) expression of the Levi–Civita connection f , ϵ in terms of the Riemannian metric g ϵ ( f )
2 g ϵ ( f ) U f , ϵ V , W
= U g ϵ ( f ) ( V , W ) + V g ϵ ( f ) ( W , V ) W g ϵ ( f ) ( U , V )
+ g ϵ ( f ) [ U , V ] , W + g ϵ ( f ) [ W , U ] , V + g ϵ ( f ) U , [ W , V ]
for any U , V , W X ( M ) . We adopt the notations in Section 2; i.e., we set
C g ( U , V , W )
= U g ( V , W ) + V g ( W , V ) W g ( U , V )
+ g [ U , V ] , W + g [ W , U ] , V + g U , [ W , V ]
so that
2 g ϵ ( f ) U f , ϵ V , W = C g ϵ ( f ) ( U , V , W ) .
By (78) in Corollary 2 (to Proposition 3),
g ϵ ( f ) = g ϵ M + ( λ 1 ) θ θ ,
where λ C ( M ) is given by (102).    □
Lemma 13.
The Christoffel mappings C g ϵ ( f ) and C g ϵ M are related by
C g ϵ ( f ) ( U , V , W ) = C g ϵ M ( U , V , W ) + U ( λ ) θ ( V ) θ ( W ) + V ( λ ) θ ( U ) θ ( W ) W ( λ ) θ ( U ) θ ( V ) + 2 ( λ 1 ) [ θ ( W ) θ U V + Ω ( U , V ) θ ( W ) + Ω ( W , U ) θ ( V ) + Ω ( W , V ) θ ( U ) ]
for any U , V , W X ( M ) .
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 C g ϵ ( f ) and recognize the term C g ϵ M . To bring into the picture the Tanaka–Webster connection, we substitute the remaining Lie products from
[ V , W ] = V W W V 2 ( θ τ ) ( V , W ) + 2 Ω ( V , W ) T
and use θ = 0 . At its turn, (128) is a mere consequence of
T = 2 θ τ Ω T .
Let ϵ be the Levi–Civita connection of ( M , g ϵ M ) . Similar to (125),
2 g ϵ M U ϵ V , W = C g ϵ M ( U , V , W ) .
Then, (125)–(129) yield
2 g ϵ U f , ϵ V , W + 2 ( λ 1 ) θ U f , ϵ V θ ( W ) = 2 g ϵ U ϵ V , W + U ( λ ) θ ( V ) θ ( W ) + V ( λ ) θ ( U ) θ ( W ) W ( λ ) θ ( U ) θ ( V ) + 2 ( λ 1 ) [ θ ( W ) θ U V + Ω ( U , V ) θ ( W ) + Ω ( W , U ) θ ( V ) + Ω ( W , V ) θ ( U ) ] .
Let us substitute from g ϵ = g θ + ( ϵ 2 1 ) θ θ into (130) and use nondegeneracy of g θ to “simplify” W. We obtain
2 U f , ϵ V + 2 1 ϵ 2 + λ 2 θ U f , ϵ V T = 2 U ϵ V + 2 1 ϵ 2 1 θ U ϵ V T + U ( λ ) θ ( V ) + V ( λ ) θ ( U ) T θ ( U ) θ ( V ) λ + 2 ( λ 1 ) θ U V + Ω ( U , V ) T + θ ( V ) J U + θ ( U ) J V .
Next, let us apply θ to both sides of (131) and use θ ( T ) = 1 and θ J = 0 in order to yield
2 1 ϵ 2 + λ 1 θ U f , ϵ V = 2 ϵ 2 θ U ϵ V + U ( λ ) θ ( V ) + V ( λ ) θ ( U ) θ ( U ) θ ( V ) T ( λ ) + 2 ( λ 1 ) θ U V + Ω ( U , V ) .
In particular, for U = X and V = Y with X , Y H ( M ) , the formulas (131) and (132) become
X f , ϵ Y + 1 ϵ 2 + λ 2 θ X f , ϵ Y T = X ϵ Y + 1 ϵ 2 1 θ X ϵ Y + ( λ 1 ) Ω ( X , Y ) T ,
1 ϵ 2 + λ 1 θ X f , ϵ Y = 1 ϵ 2 θ X ϵ Y + ( λ 1 ) Ω ( X , Y ) .
Here, one also uses θ ( X Y ) = 0 because ∇ parallelizes H ( M ) . Let us multiply (134) by T and subtract the resulting equation from (133). We obtain
X f , ϵ Y = X ϵ Y + θ X f , ϵ Y θ X ϵ Y T ,
a simplified form of (133) equivalent to
Π H ( M ) X f , ϵ Y = Π H ( M ) X ϵ Y .
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),
X ϵ Y = X Y + Ω ( X , Y ) ϵ 2 A ( X , Y ) T
Π H ( M ) X ϵ Y = X Y
Π H ( M ) X f , ϵ Y = X Y
for any X , Y H ( M ) . Also, by applying θ to both sides of (12),
θ X ϵ Y = Ω ( X , Y ) ϵ 2 A ( X , Y )
and substitution into (134) furnishes
θ X f , ϵ Y = Ω ( X , Y ) 1 μ ϵ A ( X , Y ) .
Finally, by (137) and (138),
X f , ϵ Y = X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T ,
which is (120). Q.E.D.
Similarly, the formulas (131) and (132) for U = X and V = T become, by (13), i.e., X ϵ T = τ X + ϵ 2 J X H ( M ) ,
Π H X f , ϵ T = τ X + μ ϵ J X , θ X f , ϵ T = 1 2 μ ϵ X ( λ ) ,
yielding (121). Q.E.D. The proof of the remaining relations (122) and (123) is similar.    □
Let us go back to (119). As J A f f = f J formula (119) reads
D ϵ X f f Y = D X f f Y + f g Θ ( X , J Y ) ϵ 2 g Θ f ( f X , τ A f f Y ) T A f .
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 θ P + ( M ) and Θ P + ( A ) . Let f : M A be an isopseudohermitian immersion of ( M ,   θ ) into ( A , Θ ) . Let g ϵ A , 0 < ϵ < 1 , be the ϵ-contraction of the Levi form G Θ , and let g ϵ ( f ) = f g ϵ A . Then
D X f f Y + f g Θ ( X , J Y ) ϵ 2 g Θ f ( f X , τ A f f Y ) T A f = f X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) f T + B ϵ ( f ) ( X , Y ) , X , Y H ( M ) ,
is the Gauss formula for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) along H ( M ) H ( M ) .
It should be noted that all terms in the Gauss formula (113), except for the second fundamental form B ϵ ( f ) , were expressed in terms of pseudohermitian invariants of ( M ,   θ ) and ( A , Θ ) . The remaining components of (113), respectively, along H ( M ) R T , R T H ( M ) , and R T R T , can be derived by setting
( U , V ) ( X , T ) , ( T , X ) , ( T , T ) , X H ( M ) ,
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 D X f f Y and the Reeb vector field T A f with respect to (80).
We start with the decomposition of T A f . Formula (112) for W = T A f gives, as X Θ f 1 H ( A ) , so that X Θ and T A f are g Θ f -orthogonal,
tan ϵ ( T A ) = a = 1 2 n g Θ f f X a , T A f X a + 1 ϵ 2 μ ϵ T
and
g Θ f f X a , T A f = Θ f f X a = θ ( X a ) = 0
so that:
Lemma 14.
Let f : M A be an isopseudohermitian immersion of ( M ,   θ ) into ( A , Θ ) . The tangential and normal components of the Reeb vector field T A f , with respect to the decomposition (80), are
tan ϵ ( T A f ) = 1 ϵ 2 μ ϵ T , nor ϵ ( T A f ) = T A f 1 ϵ 2 μ ϵ f T .
Next, we attack the decomposition of D X f f Y 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 V , W X ( M ) and any ξ C ( E ( f ) ) , we set by definition
V W = tan D V f f W , B ( f ) ( V , W ) = nor D V f f W ,
a ξ V = tan D V f ξ , V ξ = nor D V f ξ ,
where
tan : f 1 T ( A ) T ( M ) , nor : f 1 T ( A ) E ( f ) ,
are the natural projections.
Theorem 2.
(i) is a linear connection on M.
(ii)
B ( f )  is  C ( M , R ) -bilinear.
(iii)
a is  C ( M , R ) -bilinear.
(iv)
 is a connection in the vector bundle  E ( f ) M .
(v)
For any  V , W X ( M )  and any  ξ C ( E ( f ) ) .
D V f f W = f V W + B ( f ) ( V , W ) ,
D V f ξ = f a ξ V + V ξ .
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. B ( f ) and a ξ are, respectively, the pseudohermitian second fundamental form and the pseudohermitian Weingarten operator (associated with the normal vector field ξ ) of the CR immersion f : M ( A , Θ ) . (144) is the pseudohermitan Gauss formula. (145) is the pseudohermitian Weingarten formula.
The induced connection and the (intrinsic) Tanaka–Webster connection ∇ of ( M ,   θ ) do not coincide, in general, unless, e.g., f : ( M , θ ) ( A , Θ ) is a pseudohermitian immersion. The ambient connection–the Tanaka–Webster connection of ( A , Θ ) –has torsion so that B ( f ) , unlike its Riemannian counterpart, it is never symmetric. We expect that B ( f ) is the second fundamental form of f as introduced by P. Ebenfelt, X. Huang and D. Zaitsev (see formula 2.3 in [12], p. 636) by making use of B. Lamel’s spaces E k ( p ) (actually of E 1 ( p ) ; see Definition 1 in [13], p. 1). The main properties of , B ( f ) , and a ξ are collected in the following.
Theorem 3.
Let f : M A be a CR immersion, and let θ P + ( M ) and Θ P + ( A ) .
(i) The induced connection T has torsion, i.e.,
Tor ( V , W ) = 2 ( f g Θ ) ( V , J W ) T A + Λ θ ( V ) tan τ A f W θ ( W ) tan τ A f V .
In particular, if g Θ is Sasakian, then is symmetric ⟺ the Reeb vector field of ( A , Θ ) if g Θ -orthogonal to f ( M ) .
(ii) The pseudohermitian second fundamental form B ( f ) is not symmetric, in general, i.e.,
B ( f ) ( V , W ) B ( f ) ( W , V ) = 2 ( f g Θ ) ( V , J W ) T A + Λ θ ( V ) nor τ A f W θ ( W ) nor τ A f V .
In particular, if g Θ is Sasakian, then B ( f ) is symmetric ⟺ T A is tangent to f ( M ) .
(iii) The metric f g Θ is parallel with respect to i.e., f g Θ = 0 .
(iv) For any V , W X ( M ) and ξ C E ( f )
g Θ f B ( f ) ( V , W ) , ξ = ( f g Θ ) ( a ξ V , W ) .
(v) For any V , W X ( M )
( V J ) W = tan J A f B ( f ) ( V , W ) ,
B ( f ) ( V , J W ) = nor J A f B ( f ) ( V , W ) .
(vi) For any V X ( M )
V T A a T A V = 0 , B ( f ) ( V , T A ) + V T A = 0 .
Proof. 
(i)–(ii) The torsion of D is
Tor D = 2 Θ τ A Ω A T A
where Ω A ( V , W ) = g Θ ( V , J A W ) for any V , W X ( A ) see e.g., (17). Then, for any V , W X ( M )
Λ θ ( V ) τ A f W θ ( W ) τ A f V 2 ( f g Θ ) ( V , J W ) T A f
= D V f f W D W f f W f [ V , W ] =
by the pseudohermitian Gauss formula (144)
= f Tor ( V , W ) + B ( V , W ) B ( W , V )
yielding, by T A f = f T A + T A , (146) and (147). Q.E.D.
(iii) For any U , V , W X ( M )
0 = D U f g Θ f f V , f W
= U f g Θ ( V , W ) g Θ f D U f f V , f W g Θ f f V , D U f f W
again by (144)
= U f g Θ ( V , W ) .
Q.E.D.
(iv) By (144)
g Θ f B ( f ) ( V , W ) , ξ = g Θ f D V f f W , ξ
by D f g Θ f = 0 and f W ξ together with the pseudohermitian Weingarten formula (145)
= g Θ f f W , D V f ξ = f g Θ ( a ξ V , W ) .
Q.E.D.
(v) By (144)
f V J W + B ( f ) ( V , J W ) = D V f f J W
as f is a CR map, and by D f J A f = 0 and again (144)
= J A f D V f f W = f J V W + J A f B ( f ) ( V , W ) .
Q.E.D.
(vi) Follows from D f J A f = 0 , by (144) and (145).    □
Formula (112) for W = D X f f Y gives
tan ϵ D X f Y = a = 1 2 n g Θ f D X f Y , f X a X a + 1 ϵ 2 μ ϵ Θ f D X f f Y + ϵ 2 g Θ f D X f Y , X Θ T .
On the other hand, by the pseudohermitian Gauss formula (144) for ( V , W ) = ( X , Y ) with X , Y H ( M ) ,
g Θ f D X f f Y , f X a = ( f g Θ ) X Y , X a .
Let us set
T A = tan T A f , T A = nor T A f ,
so that
T A f = f T A + T A
everywhere on M. Then, by (154), the pseudohermitian Gauss formula (144), and X Θ = f T T A f , the functions
Θ f ( D X f f Y ) , g Θ f D X f f Y , X Θ C ( M , R )
can be written as
Θ f D X f f Y = ( f g Θ ) X Y , T A + g Θ f B ( f ) ( X , Y ) , T A ,
g Θ f D X f f Y , X Θ = ( f g Θ ) X Y , T T A g Θ f B ( f ) ( X , Y ) , T A .
Finally, let us substitute from (153) and from (155) and (156) into (152). We obtain:
Lemma 15.
Let f : M A be an isopseudohermitian immersion. The tangential component of D X f f Y with respect to (80) is
tan ϵ D X f Y = a = 1 2 n f g Θ X Y , X a X a + 1 ϵ 2 μ ϵ { f g Θ X Y , T A + ϵ 2 T T A + ( 1 ϵ 2 ) g Θ f B ( f ) ( X , Y ) , T A } T ,
for any X , Y H ( M ) .
At this point, we may go back to (141), the Gauss formula for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) along H ( M ) H ( M ) , and apply the projections tan ϵ and nor ϵ to both sides. We obtain, by f g Θ ( X , J Y ) = Ω ( X , Y ) ,
tan ϵ D X f f Y + Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y tan ϵ ( T A f ) = X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T ,
nor ϵ D X f f Y + Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y nor ϵ ( T A f ) = B ϵ ( f ) ( X , Y ) .
Let us substitute from (143) and (157) into (158). We obtain
a f g Θ X T Y , X a X a + 1 ϵ 2 μ ϵ f g Θ X Y , ϵ 2 T + ( 1 ϵ 2 ) T A + g Θ f B ( f ) ( X , Y ) , ( 1 ϵ 2 ) T A T + 1 ϵ 2 μ ϵ Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y T = X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T .
Moreover, by D X f f Y f 1 H ( A ) = Ker Θ f ,
0 = Θ f D X f f Y = g Θ f D X f f Y , T A f
by the pseudohermitian Gauss formula (144)
= g Θ f f X T Y , T A f + g Θ f B ( f ) ( X , Y ) , T A f
by (154)
= f g Θ X T Y , T A + g Θ f B ( f ) ( X , Y ) , T A .
Summing up, we have proved the identity
f g Θ X T Y , T A + g Θ f B ( f ) ( X , Y ) , T A = 0 .
As a consequence of (161), Equation (160) simplifies to
a f g Θ X T Y , X a X a + 1 μ ϵ f g Θ X Y , T g Θ f f X , τ A f f Y T = X Y + 1 μ ϵ ( λ 1 ) Ω ( X , Y ) A ( X , Y ) T .
Identifying the H ( M ) and R T in (162) leads to:
Proposition 6.
Let f : M A be an isopseudohermitian immersion of ( M ,   θ ) and ( A , Θ ) . The equations
a f g Θ X T Y , X a X a = X Y ,
f g Θ X Y , T + A ( X , Y ) = ( λ 1 ) Ω ( X , Y ) + g Θ f f X , τ A f f Y ,
are equivalent to the tangential part (158) of the Gauss formula (141) along H ( M ) H ( M ) for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) .
A remark is in order. Let us apply Θ f to both sides of the pseudohermitian Gauss formula (144) for W = X C ( H ( M ) ) , i.e.,
D V f f X = f V X + B ( f ) ( V , X ) , V X ( M ) .
As D parallelizes H ( A ) and f Θ = θ
0 = Θ f D V f f X = θ V X + Θ f B ( f ) ( V , X )
showing that in general does not parallelize H ( M ) (unlike the Tanaka–Webster connection ∇).
Let us go back to the Gauss formula (159). We need to compute nor ϵ ( D X f f Y ) . To this end, let us simplify (157) according to our successive finding (161), i.e.,
tan ϵ D X f f Y = a f g Θ X Y , X a X a + 1 μ ϵ f g Θ X Y , T T .
Then
nor ϵ ( D X f f Y ) = D X f f Y f tan ϵ ( D X f f Y )
by (165)
= D X f f Y a f g Θ X Y , X a f X a 1 μ ϵ f g Θ X Y , T f T .
Also, let us recall that, by (143),
nor ϵ T A f = T A f 1 ϵ 2 μ ϵ f T .
Next, let us modify the Gauss formula (159) by substitution from (166) and (167). We obtain
D X f f Y a f g Θ X Y , X a f X a 1 μ ϵ f g Θ X Y , T f T
+ Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y T A f 1 ϵ 2 μ ϵ f T = B ϵ ( f ) ( X , Y )
or, by (163):
Proposition 7.
Let f : M A be an isopseudohermitian immersion of ( M ,   θ ) into ( A , Θ ) . The normal part (159) of the Gauss formula (141) for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) along H ( M ) H ( M ) , is equivalent to
D X f f Y 1 μ ϵ f g Θ X Y , T f T + Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y T A f 1 ϵ 2 μ ϵ f T = f X Y + B ϵ ( f ) ( X , Y )
for any X , Y H ( M ) .
Another useful form of (168) is obtained by the substitution f T = X Θ + T A f ; i.e.,
D X f f Y 1 μ ϵ f g Θ X Y , T X Θ + T A f + Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y T A f 1 ϵ 2 μ ϵ X Θ + T A f = f X Y + B ϵ ( f ) ( X , Y ) .
Indeed, the left-hand side of (169) is already decomposed into a f 1 H ( A ) component and an R T A f component. Consequently, we can compute the R T A f component of B ϵ ( f ) ( X , Y ) by applying Θ f to both sides of (169) and using the identities Θ f D X f f Y = 0 , Θ f X Θ = 0 , and Θ f f X Y = 0 , i.e.,
Θ f B ϵ ( f ) ( X , Y ) = 1 μ ϵ f g Θ X Y , T + 1 1 ϵ 2 μ ϵ Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y .
To fully determine B ϵ ( f ) ( X , Y ) , one needs to compute its f 1 H ( A ) component as well. To this end, we apply the projection Π H ( A ) f : f 1 T ( A ) f 1 H ( M ) to both sides of (169) and use Π H ( A ) T A = 0 , i.e.,
D X f f Y 1 μ ϵ f g Θ X Y , T X Θ
1 ϵ 2 μ ϵ Ω ( X , Y ) ϵ 2 g Θ f f X , τ A f f Y X Θ
= f X Y + Π H ( A ) f B ϵ ( f ) ( X , Y ) .
or
Π H ( A ) f B ϵ ( f ) ( X , Y ) = D X f f Y f X Y + 1 μ ϵ g Θ f f X , τ A f f Y f g Θ X Y , T 1 ϵ 2 Ω ( X , Y ) X Θ
for any X , Y H ( M ) .
A summary of the various decompositions and projections used so far is provided below. Given an isopseudohermitian immersion f of ( M ,   θ ) into ( A , Θ ) , we adopted the following orthogonal decompositions.
Decomposition Ambient inner product T f ( x ) ( A ) = ( d x f ) T x ( M ) E ϵ ( f ) x g ϵ , f ( x ) A T f ( x ) ( A ) = ( d x f ) T x ( M ) E ( f ) x g Θ , f ( x ) H ( A ) f ( x ) = ( d x f ) H ( M ) x E H ( f ) x G Θ , f ( x )
The following projections correspond to the chosen decompositions:
tan ϵ : f 1 T ( A ) T ( M ) , nor ϵ : f 1 T ( A ) E ϵ ( f ) ,
tan : f 1 T ( A ) T ( M ) , nor : f 1 T ( A ) E ( f ) ,
tan H : f 1 H ( A ) H ( M ) , nor H : f 1 H ( A ) E H ( f ) .
The following Riemannian metrics appear in previous and further calculations:
Metrics on A g Θ g ϵ A Metrics on M Intrinsic Extrinsic g θ f g Θ g ϵ M g ϵ ( f )
As a reminder, the adopted terminology g θ and g Θ are, respectively, the Webster metrics of ( M ,   θ ) and ( A , Θ ) , g ϵ M and g ϵ A are respectively the ϵ -contractions of G θ and G Θ , f g Θ and g ϵ ( f ) are, respectively, the Riemannian metric on M induced by g Θ via f, and the first fundamental form of f : M ( A , g ϵ A ) .
The following connections (linear or in normal bundles) are of frequent use
D Tanaka Webster connection of ( A , Θ ) D ϵ Levi Civita connection of ( A , g ϵ A ) Tanaka Webster connection of ( M , θ ) ϵ Levi Civita connection of ( M , g ϵ M ) f , ϵ Levi Civita connection of ( M , g ϵ ( f ) ) ϵ normal connection of f : M ( A , g ϵ A ) linear connection of M induced by D via f normal Tanaka Webster connection of f : M ( A , Θ )
The list of Gauss–Weingarten and pseudohermitian Gauss–Weingarten formulas is
D ϵ V f f W = f V f , ϵ W + B ϵ ( f ) ( V , W ) ,
D ϵ V f ξ = f a ξ ϵ V + V ϵ ξ ,
D V f f W = f V W + B ( f ) ( V , W ) ,
D V f η = f a η V + V η ,
V , W X ( M ) , ξ C E ϵ ( f ) , η C E ( f ) .
Let E H ( f ) M be the Levi normal bundle. By Lemma 7, the Levi normal bundle is J A -invariant. Let J : E H ( f ) E h ( f ) be the restriction of J A to E H ( f ) . The complexification E H ( f ) C decomposes as
E H ( f ) C = E 1 , 0 ( f ) E 0 , 1 ( f ) ,
E 1 , 0 ( f ) = Eigen J C , i , E 0 , 1 ( f ) = E 1 , 0 ( f ) ¯ , i = 1 ,
where J C is the C -linear extension of J to E H ( f ) C . Let
{ X a : 1 a 2 n } { X α , J X α : 1 α n } ,
X n + α = J X α , 1 α n ,
be a local G θ -orthonormal, i.e., G θ ( X a , X b ) = δ a b , 1 a ,   b 2 n , frame of H ( M ) , adapted to the complex structure J, and defined on the open set U M . Next, let us set
T α = 1 2 X α i J X α , 1 α n ,
so that { T α : 1 α n } C U , T 1 , 0 ( M ) is a local G θ -orthonormal, i.e., G θ ( T α , T β ¯ ) = δ α β with T β ¯ = T β ¯ , frame of the CR structure T 1 , 0 ( M ) . Moreover, let
{ ξ p : 1 p 2 k } C U , E H ( f )
be a local G Θ f -orthonormal, i.e., G Θ f ( ξ p , ξ q ) = δ p q , frame, adapted to the complex structure J i.e.,
J ξ j = ξ k + j , 1 j k .
Let us set as customary
ζ j = 1 2 ξ j i J ξ j C U , E 1 , 0 ( f ) , 1 j k ,
so that { ζ j : 1 j k } is a local G Θ f -orthonormal, i.e., G Θ f ζ j , ζ ¯ = δ j with ζ ¯ = ζ ¯ , frame in E 1 , 0 ( f ) . The conventions as to the range of the various indices are
a , b , c , { 1 , , 2 n } , α , β , γ , { 1 , , n } ,
p , q , r , { 1 , , 2 k } , σ , ρ , κ , { 1 , , k } .
Lemma 16.
Let f : M A be an isopseudohermitian immersion of ( M , θ ) into ( A , Θ ) . The CR structure T 1 , 0 ( A ) of the ambient space decomposes as
T 1 , 0 ( A ) f ( x ) = ( d x f ) T 1 , 0 ( M ) x E 1 , 0 ( f ) x
for any x M . In particular,
{ T j : 1 j N } f T α , ζ σ : 1 α n , 1 σ k
is a local frame of f 1 T 1 , 0 ( A ) such that
G Θ f T j , T ¯ = δ j , T ¯ T ¯ .
Proof. 
Let w ( d x f ) T 1 , 0 ( M ) x E 1 , 0 ( f ) x so that
w = ( d x f ) Z = ξ i J x ξ
for some Z T 1 , 0 ( M ) x and ξ E H ( f ) x . Of course, Z = X i J x X for some X H ( M ) x . Then,
G Θ , f ( x ) w , w ¯ = G Θ , f ( x ) ( d x f ) ( X i J x X ) , ξ + i J x ξ = 0
as ( d x f ) X , ( d x f ) J x X ( d x f ) H ( M ) x ξ , J x ξ , thus yielding w = 0 ; i.e., the sum ( d x f ) T 1 , 0 ( M ) x + E 1 , 0 ( f ) x is direct.    □
A comparison to the work by P. Ebenfelt et al. (see [12], p. 636) is at this point advisable. Let M C n + 1 and A C N + 1 be real hypersurfaces, such that the induced CR structures
T 1 , 0 ( M ) = T ( M ) C T C n + 1 ,
T 1 , 0 ( A ) = T ( A ) C T C N + 1 ,
are strictly pseudoconvex, where
T C n + 1 x = Span C z a x : 0 a n , x C n + 1 ,
T C N + 1 y = Span C Z B y : 0 B N , y C N + 1 .
Let f : M A be an isopseudohermitian immersion of ( M , θ ) into ( A , Θ ) . Let x M and let us set x ^ = f ( x ) A . Let U M and V A be, respectively, open neighborhoods of x and x ^ in M and A, such that U is the domain of a (local) frame { T α : 1 α n } of T 1 , 0 ( M ) , and V is described by a defining function ρ ^ C C N + 1 ; i.e., ρ ^ ( y ) = 0 and ρ ^ Z ( y ) = ( ρ ^ ) ( y ) ρ ^ Z 0 , ρ ^ Z 1 , , ρ ^ Z N 0 for every y V . B. Lamel introduced (see [13,14]) the sequence of subspaces E ν ( x ) C N + 1 , ν Z + , where E ν ( x ) is the span over C of
T 1 ¯ J 1 T n ¯ J n ρ ^ Z f ( x ) : J = J 1 , , J n Z + n , | J | ν .
Note that E ν ( x ) E ν + 1 ( x ) for any ν Z + . Let us set
s ( x ) = min ν Z + N + 1 dim C E ν ( x ) .
Let ν 0 Z + and s 0 Z + 1 , N . According to B. Lamel (see [13,14]), f : M A is ( ν 0 , s 0 ) -degenerate at x M if
s ( x ) = s 0 = codim C E ν 0 ( x ) .
Also, min x M s ( x ) is the degeneracy of f at x. Let
E 1 ( x ) ¯ = Span C ρ Z ¯ f ( x ) , L α ρ Z ¯ f ( x ) : 1 α n
be the complex conjugate of E 1 ( x ) . Let f 1 T C N + 1 M be the pullback of T C N + 1 C N + 1 via f : M C N + 1 . Let
ϕ ( y ) : C N + 1 T C N + 1 y , w = w 0 , w 1 , , w N w B Z B y ,
be the natural identification. For every subspace S C N + 1 and every x M , let
F ( S ) y : C N + 1 S T C N + 1 y ϕ ( y ) S , y C N + 1 ,
be the natural isomorphism. Let
π x : C N + 1 C N + 1 E 1 ( x )
be the projection, and let us consider the field of forms
Π x : T 1 , 0 ( M ) x × T 1 , 0 ( M ) x f 1 T C N + 1 x ϕ ( x ^ ) E 1 ( x ) ¯ ,
Π x ( v , w ) = F E 1 ( x ) ¯ x ^ π x V ¯ W ¯ ρ Z f ( x ) ¯ , v , w T 1 , 0 ( M ) x ,
where V , W C T 1 , 0 ( M ) are smooth extensions of v and w to the whole of M; i.e., V x = v and W x = w .
Theorem 4.
Let M C n + 1 and A C N + 1 be strictly pseudoconvex real hypersurfaces. Let f : M A be an isopseudohermitan immersion of ( M ,   θ ) into ( A , Θ ) , and let x M and x ^ = f ( x ) A . The quotient space f 1 T ( C N + 1 ) x / ϕ ( x ^ ) E 1 ( x ) ¯ is isomorphic to T 1 , 0 ( A ) x ^ / ( d x f ) T 1 , 0 ( M ) x . Hence, Π determines a field of C -bilinear symmetric forms
Π x : T 1 , 0 ( M ) x × T 1 , 0 ( M ) x E 1 , 0 ( f ) x .
Let Z 0 , Z 1 , , Z N be the Cartesian complex coordinates on C N + 1 , and let us set f B = Z B f . As f : M A is a CR map, its components f B are CR functions, i.e.,
T α ¯ f B = 0 , 0 α N ,
for every local frame T α C ( U , T 1 , 0 ( M ) ) . Then,
T α ¯ ρ ^ Z B f ( x ) = ρ ^ Z B Z ¯ C ( f ( x ) ) T α ¯ f C ¯ x , f B ¯ = f B ¯ , Z B = Z B , u Z B Z ¯ C = 2 u Z B Z ¯ B , u C 2 ( C N + 1 ) .
We shall need the local frame T ^ j C V , T 1 , 0 ( A )
T ^ j = ρ ^ Z 0 Z j ρ ^ Z j Z 0 , u Z B = u Z B , u C 1 C N + 1 ,
defined on the open set V = { y A : ρ ^ Z 0 ( y ) 0 } . Then, by (173) and (175),
( d x f ) T α , x = T α , x f B Z B x ^
= T α , x f j 1 ρ Z 0 ( x ^ ) T ^ j , x ^ + ρ ^ Z j ( x ^ ) Z 0 x ^ + T α , x f 0 Z 0 x ^
or
f T α = 1 ρ ^ Z 0 f T α ( f j ) T ^ j f + T α f 0 + ρ ^ Z j f ρ ^ Z 0 f T α ( f j ) Z 0 f .
On the other hand, ρ ^ f = 0 on M yields, again by (173),
0 = T α ρ ^ f = ρ ^ Z B f T α ( f B )
T α f 0 + ρ ^ Z j f ρ ^ Z 0 f T α ( f j ) = 0 .
We conclude that
f T α = 1 ρ ^ Z 0 f T α ( f j ) T ^ j f .
It is an elementary matter that:
Lemma 17.
Let Θ = i 2 ¯ ρ ^ . The Levi form G j k ¯ = G Θ T ^ j , T ^ k ¯ of ( A , Θ ) is given by
2 | ρ ^ Z 0 | 2 G j k ¯ = ρ ^ Z j Z ¯ k ρ ^ Z j ρ ^ Z 0 ρ ^ Z 0 Z ¯ k ρ ^ Z ¯ k ρ ^ Z ¯ 0 ρ ^ Z j Z ¯ 0 ρ ^ Z j ρ ^ Z 0 ρ ^ Z 0 Z ¯ 0 = 1 ρ ^ Z 0 T ^ j ρ ^ Z ¯ k ρ ^ Z ¯ k | ρ ^ Z 0 | 2 T ^ j ρ ^ Z ¯ 0
everywhere on V.
Lemma 18.
For every x M
dim C E 1 ( x ) = n + 1 .
Proof. 
Note that E 1 ( x ) is the span over C of
ρ ^ Z f ( x ) , T α ¯ ρ ^ Z f ( x ) : 1 α n .
Let λ , λ α ¯ C , 1 α n , such that
λ ρ ^ Z f ( x ) + λ α ¯ T α ¯ ρ ^ Z f ( x ) = 0
or
λ ρ ^ Z 0 f ( x ) + λ α ¯ T α ¯ ρ ^ Z 0 f ( x ) = 0 ,
λ ρ ^ Z j f ( x ) + λ α ¯ T α ¯ ρ ^ Z j f ( x ) = 0 , 1 j N .
Substitution from (179) into (180) gives
λ α ¯ T α ¯ , x ρ ^ Z j f ρ ^ Z j ( f ( x ) ) ρ ^ Z 0 ( f ( x ) ) T α ¯ , x ρ ^ Z 0 f = 0
or, by (174),
V ¯ f C ¯ ρ ^ Z j Z ¯ C ρ ^ Z j ρ ^ Z 0 ρ ^ Z 0 Z ¯ C x ^ = 0
where x ^ = f ( x ) and
V : = λ α T α , x T 1 , 0 ( M ) x , λ α = λ α ¯ ¯ .
Let us substitute ρ ^ Z j Z ¯ k from (177) into (181). We obtain
2 | ρ ^ Z 0 ( x ^ ) | 2 V ¯ f k ¯ G j k ¯ ( x ^ ) + ρ ^ Z j Z ¯ 0 ρ ^ Z j ρ ^ Z 0 ρ ^ Z 0 Z ¯ 0 x ^ V ¯ f 0 ¯ + ρ ^ Z ¯ k ( x ^ ) ρ ^ Z ¯ 0 ( x ^ ) V ¯ f k ¯ = 0 .
On the other hand, ρ ^ f = 0 everywhere on U, hence (as V is tangent to M and V ¯ ( f B ) = 0 )
0 = V ¯ ρ ^ f = ρ ^ Z ¯ B ( x ^ ) V ¯ f B ¯
so that (182) simplifies to
V ¯ f k ¯ G j k ¯ ( x ^ ) = 0
or, as G Θ , x ^ is nondegenerate,
V ( f j ) = 0 , 1 j N .
Substitution from (183) into (181) yields
V ¯ f 0 ¯ T j ^ ρ ^ Z ¯ 0 x ^ = 0
and hence
V ( f 0 ) = 0 .
Then, by (183) and (184) and V f B ¯ = 0 ,
( d x f ) V = V f B Z B x ^ = 0
hence, as d x f is a monomorphism, V = 0 and then λ α = 0 , 1 α n . Finally, by (179), λ = 0 .    □
Proof of Theorem 4.
It suffices to show that
Φ x : E 1 , 0 ( f ) x f 1 T C N + 1 x ϕ ( x ^ ) E 1 ( x ) ¯ ,
Φ x ( w ) : = w + ϕ ( x ^ ) E 1 ( x ) ¯ , w E 1 , 0 ( f ) x ,
is a monomorphism. We set
ζ σ = a σ j T ^ j f , a σ j C ( U , C ) .
Let w = μ σ ζ σ , x E 1 , 0 ( f ) x i.e.,
w = μ σ a σ j ( x ) T ^ j , x ^ = μ σ a σ j ( x ) ρ ^ Z 0 Z j ρ ^ Z j Z 0 x ^ ,
0 = G Θ , x ^ w , ( d x f ) T α ¯ , x = μ σ a σ j ( x ) T α ¯ f k ¯ x G j k ¯ ( x ^ ) .
If w Ker Φ x , then
w = λ ρ ^ Z ¯ B ( x ^ ) + λ α T α , x ρ ^ Z ¯ B f Z B x ^
for some λ , λ α C , yielding
μ σ a σ k ( x ) ρ ^ Z k ( x ^ ) = λ ρ ^ Z ¯ 0 ( x ^ ) + λ α T α , x ρ ^ Z ¯ 0 f ,
μ σ a σ j ( x ) ρ ^ Z 0 ( x ^ ) = λ ρ ^ Z ¯ j ( x ^ ) + λ α T α , x ρ ^ Z ¯ j f .
Let us substitute from (186) into (187). We obtain
μ σ a σ j ( x ) ρ ^ Z 0 ( x ^ ) + ρ ^ Z ¯ j ( x ^ ) ρ ^ Z k ( x ^ ) ρ ^ Z ¯ 0 ( x ^ ) a σ k ( x ) = λ α T α , x ρ ^ Z ¯ j f ρ ^ Z ¯ j ( x ^ ) ρ ^ Z ¯ 0 ( x ^ ) T α , x ρ ^ Z ¯ 0 f .
Let us substitute from (174) into (188). The right-hand side of (188) becomes
ρ ^ Z ¯ j Z B ( x ^ ) ρ ^ Z ¯ j ( x ^ ) ρ ^ Z ¯ 0 ( x ^ ) ρ ^ Z ¯ 0 Z B ( x ^ ) V f B
where V : = λ α T α , x T 1 , 0 ( M ) x
= 1 ρ ^ Z ¯ 0 ( x ^ ) T ^ j ¯ ρ ^ Z B x ^ V f B
by replacing T ^ j ¯ ρ ^ Z k in terms of the Levi form, from (177),
= 2 | ρ ^ Z 0 ( x ^ ) | 2 G j ¯ k ( x ^ ) V ( f k )
+ 1 | ρ ^ Z 0 ( x ^ ) | 2 ρ ^ Z k ( x ^ ) V ( f k ) + ρ ^ Z 0 ( x ^ ) V ( f 0 ) T ^ j ¯ ρ ^ Z 0 x ^
and (188) is modified accordingly:
μ σ a σ j ( x ) ρ ^ Z 0 ( x ^ ) + ρ ^ Z ¯ j ( x ^ ) ρ ^ Z k ( x ^ ) ρ ^ Z ¯ 0 ( x ^ ) a σ k ( x ) = 2 | ρ ^ Z 0 ( x ^ ) | 2 G j ¯ k ( x ^ ) V ( f k ) .
Let us contract (189) with μ ρ a ρ j ( x ) and observe, by (185), that the right-hand side of the resulting equation is zero, while the left-hand side is
ρ ^ Z 0 ( x ^ ) j = 1 N | μ ρ a ρ j ( x ) | 2 + 1 | ρ ^ Z 0 ( x ^ ) | 2 | μ ρ a ρ j ( x ) ρ ^ Z j ( x ^ ) | 2 .
Therefore, by (189), μ ρ a ρ j ( x ) = 0 for any 1 j N , and hence w = 0 .    □
The C -bilinearity and symmetry of Π x follows from
V ¯ W ¯ ρ Z f ( x ) v α ¯ w β ¯ T α ¯ , x T β ¯ ρ Z f , mod E 1 ( x ) ,
v = v α T α , x , w = w β T β , x , v α ¯ = v α ¯ , w β ¯ = w β ¯ ,
together with the involutivity of T 0 , 1 ( M ) .
Let B H ( X , Y ) : = nor H D X f f Y for any X , Y C ( H ( M ) ) . We expect that
B H ( f ) | T 1 , 0 ( M ) T 1 , 0 ( M ) = Π .
The proof is relegated to further work.

9. Relating R f , ϵ to R ( )

The scope of the present section is to relate the curvature tensor field R ( f , ϵ ) of the induced connection f , ϵ to the curvature tensor field R ( ) of the Tanaka–Webster connection ∇. To this end, we exploit the relationship (116)–(119) among f , ϵ and ∇ i.e.,
X f , ϵ Y = X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T ,
X f , ϵ T = τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T ,
T f , ϵ X = T X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T ,
T f , ϵ T = 1 2 H λ + 1 2 μ ϵ T ( λ ) T ,
for any X , Y C ( H ( M ) ) . Then, for arbitrary X , Y , Z C ( H ( M ) ) ,
R f , ϵ ( X , Y ) Z = X f , ϵ , Y f , ϵ Z [ X , Y ] f , ϵ Z
by (190) and the decomposition [ X , Y ] = Π H [ X , Y ] + θ ( [ X , Y ] ) T
= X f , ϵ Y Z + Ω ( Y , Z ) 1 μ ϵ A ( Y , Z ) T
Y f , ϵ X Z + Ω ( X , Z ) 1 μ ϵ A ( X , Z ) T
Π H [ X , Y ] f , ϵ Z θ ( [ X , Y ] ) T f , ϵ Z
by again applying (190), using the identity θ [ X , Y ] = 2 Ω ( X , Y ) , and taking covariant derivatives with respect to f , ϵ
= X Y Z + Ω X , Y Z 1 μ ϵ A X , Y Z T
Y X Z Ω Y , X Z 1 μ ϵ A Y , X Z T
Π H [ X , Y ] Z Ω Π H [ X , Y ] , Z 1 μ ϵ A Π H [ X , Y ] , Z T
2 Ω ( X , Y ) T f , ϵ Z
+ X ( Ω ( Y , Z ) 1 μ ϵ X ( A ( Y , Z ) ) T + Ω ( Y , Z ) 1 μ ϵ A ( Y , Z ) X f , ϵ T
Y ( Ω ( X , Z ) 1 μ ϵ Y ( A ( X , Z ) ) T Ω ( X , Z ) 1 μ ϵ A ( X , Z ) Y f , ϵ T .
Let us look at the term Ω Π H [ X , Y ] , Z . Using again the decomposition of [ X , Y ] into H ( M ) and R T components, one has
Ω Π H [ X , Y ] , Z = Ω [ X , Y ] , Z θ ( [ X , Y ] ) Ω ( T , Z ) =
as T Ω = 0 and [ X , Y ] = X Y Y X + 2 Ω ( X , Y ) T
= Ω X Y , Z Ω Y X , Z .
The last identity leads (by Ω = 0 ) to simplifications, i.e.,
Ω X , Y Z Ω Y , X Z Ω Π H [ X , Y ] , Z
+ X ( Ω ( Y , Z ) Y ( Ω ( X , Z )
= X Ω ( Y , Z ) Y Ω ( X , Z ) = 0 .
The same arguments apply (as T A = 0 ) to the pseudohermitian torsion A, hence leading one to recognize covariant derivatives of A with respect to the Tanaka–Webster connection,
A X , Y Z + A Y , X Z + A Π H [ X , Y ] , Z
X ( A ( Y , Z ) + Y ( A ( X , Z )
= X A ( Y , Z ) + Y A ( X , Z ) .
Similarly,
Π H [ X , Y ] Z = [ X , Y ] Z θ [ X , Y ] T Z
= [ X , Y ] Z 2 Ω ( X , Y ) T Z
and one may recognize curvature i.e.,
X Y Z Y X Z Π H [ X , Y ] Z
= X Y Z Y X Z [ X , Y ] Z + 2 Ω ( X , Y ) T Z
= R ( X , Y ) Z + 2 Ω ( X , Y ) T Z .
Then,
R f , ϵ ( X , Y ) Z = R ( X , Y ) Z
+ 1 μ ϵ Y A ( X , Z ) X A ( Y , Z ) T + 2 Ω ( X , Y ) T Z 2 Ω ( X , Y ) T f , ϵ Z
+ Ω ( Y , Z ) 1 μ ϵ A ( Y , Z ) X f , ϵ T Ω ( X , Z ) 1 μ ϵ A ( X , Z ) Y f , ϵ T
by (191) and (192)
= R ( X , Y ) Z + 1 μ ϵ Y A ( X , Z ) X A ( Y , Z ) T
2 Ω ( X , Y ) μ ϵ J Z + 1 2 μ ϵ Z ( λ ) T
+ Ω ( Y , Z ) 1 μ ϵ A ( Y , Z ) τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T
Ω ( X , Z ) 1 μ ϵ A ( X , Z ) τ Y + μ ϵ J Y + 1 2 μ ϵ Y ( λ ) T ,
which leads to (194) in Proposition 8 below. Summing up the calculations above, we may state:
Proposition 8.
Let f : M A be an isopseudohermitian immersion of ( M ,   θ ) into ( A , Θ ) . Let f , ϵ and ∇ be, respectively, the Levi–Civita connection of ( M , g ϵ ( f ) ) and the Tanaka–Webster connection of ( M , θ ) . Then,
R f , ϵ ( X , Y ) Z = R ( X , Y ) Z 2 Ω ( X , Y ) μ ϵ J Z + 1 2 μ ϵ Z ( λ ) T + 1 μ ϵ Y A ( X , Z ) X A ( Y , Z ) T + Ω ( Y , Z ) τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T Ω ( X , Z ) τ Y + μ ϵ J Y + 1 2 μ ϵ Y ( λ ) T 1 μ ϵ A ( Y , Z ) τ X + μ ϵ J X 1 2 μ ϵ X ( λ ) T + 1 μ ϵ A ( X , Z ) τ Y + μ ϵ J Y 1 2 μ ϵ Y ( λ ) T ,
R f , ϵ ( X , Y ) T = Ω ( X , Y ) H λ + X τ Y Y τ X + 1 2 X ( λ ) J Y Y ( λ ) J X 1 2 μ ϵ X ( λ ) τ Y Y ( λ ) τ X ,
R f , ϵ ( X , T ) Y = R ( X , T ) Y + 1 μ ϵ T A ( X , Y ) T + 1 2 μ ϵ X d λ Y + X ( λ ) J Y + 1 2 Y ( λ ) J X μ ϵ g θ ( X , Y ) + 1 μ ϵ A ( X , J Y ) T + 1 2 μ ϵ Y ( λ ) τ X 1 2 μ ϵ X ( λ ) Y ( λ ) T + 1 2 Ω ( X , Y ) H λ 1 μ ϵ T ( λ ) T 1 2 μ ϵ A ( X , Y ) H λ + 1 μ ϵ T ( λ ) T Ω ( τ X , Y ) 1 μ ϵ A ( τ X , Y ) T .
R f , ϵ ( X , T ) T = 1 2 X H λ τ 2 X + μ ϵ 2 X + 1 2 μ ϵ T ( λ ) τ X ( T τ ) X + 1 4 μ ϵ X ( λ ) H λ 1 2 T ( λ ) J X 2 μ ϵ J τ X 1 2 Ω X , H λ 1 μ ϵ A X , H λ T 1 2 μ ϵ ( τ X ) ( λ ) T 1 2 ( J X ) ( λ ) T
for any X , Y , Z H ( M ) .
Proof. 
We are left with the proofs of (195)–(197). For all X , Y H ( M ) , one has
R f , ϵ ( X , Y ) T = X f , ϵ , Y f , ϵ T [ X , Y ] f , ϵ T
by (191)
= X f , ϵ τ Y + μ ϵ J Y + 1 2 μ ϵ Y ( λ ) T
Y f , ϵ τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T
Π H [ X , Y ] f , ϵ T θ ( [ X , Y ] ) T f , ϵ T
by τ H ( M ) H ( M ) , J H ( M ) H ( M ) , (190)–(191) and (193),
= X τ Y + Ω ( X , τ Y ) 1 μ ϵ A ( X , τ Y ) T
+ X μ ϵ J Y + μ ϵ X f , ϵ J Y 1 2 μ ϵ 2 X μ ϵ Y ( λ ) T
+ 1 2 μ ϵ X Y ( λ ) T + Y ( λ ) X f , ϵ T
Y τ X Ω ( Y , τ X ) 1 μ ϵ A ( Y , τ X ) T
Y μ ϵ J X μ ϵ Y f , ϵ J X + 1 2 μ ϵ 2 Y μ ϵ X ( λ ) T
1 2 μ ϵ Y X ( λ ) T + X ( λ ) Y f , ϵ T
τ Π H [ X , Y ] μ ϵ J Π H [ X , Y ] 1 2 μ ϵ Π H [ X , Y ] ( λ ) T
2 Ω ( X , Y ) 1 2 H λ + 1 2 μ ϵ T ( λ ) T .
As τ ( T ) = 0 , one has
τ Π H [ X , Y ] = τ [ X , Y ]
= τ X Y Y X + 2 Ω ( X , Y ) T = τ X Y τ Y X ,
and one may recognize the covariant derivatives of τ (with respect to ∇). The similar treatment of the term J Π H [ X , Y ] leads to covariant derivatives of J and J = 0 , with the corresponding simplifications. Terms such as
Ω ( X , τ Y ) Ω ( Y , τ X )
and
A ( X , τ Y ) + A ( Y , τ X )
vanish because τ is symmetric [i.e., g θ ( X , τ Y ) = g θ ( τ X , Y ) ] while J is skew symmetric, i.e., g θ ( X , J Y ) = g θ ( J X , Y ) , and because of the purity axiom τ J + J τ = 0 . For instance,
Ω ( X , τ Y ) Ω ( Y , τ X ) = g θ ( X , J τ Y ) g θ ( Y , J τ X )
= g θ ( X , J τ Y + τ J Y ) = 0 .
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
R f , ϵ ( X , T ) Y = X f , ϵ T f , ϵ Y T f , ϵ X f , ϵ Y [ X , T ] f , ϵ Y
by (192) and (190), applied twice as X , Y , [ X , T ] H ( M ) ,
= X f , ϵ T Y + μ ϵ J Y + 1 2 μ ϵ Y ( λ ) T
T f , ϵ X Y + Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T
[ X , Y ] Y Ω ( [ X , T ] , Y ) 1 μ ϵ A ( [ X , T ] , Y ) T
again by (190) and (192) and by taking covariant derivatives, together with X ( μ ϵ ) = X ( λ ) ,
= X T Y + Ω X , T Y 1 μ ϵ A X , T Y T
T X Y μ ϵ J X Y 1 2 μ ϵ X Y ( λ ) T
+ X ( λ ) J Y + μ ϵ X f , ϵ J Y 1 2 μ ϵ 2 X ( λ ) Y ( λ ) T
+ 1 2 μ ϵ X Y ( λ ) T + Y ( λ ) X f , ϵ T
T Ω ( X , Y ) 1 μ ϵ T A ( X , Y ) + 1 μ ϵ 2 T ( λ ) A ( X , Y ) T
Ω ( X , Y ) 1 μ ϵ A ( X , Y ) T f , ϵ T [ X , T ] Y
as [ X , T ] = τ X T X by the very definition of pseudohermitian torsion together with T = 0
Ω ( τ X , Y ) Ω T X , Y 1 μ ϵ A ( τ X , Y ) + 1 μ ϵ A T X , Y T
by recognizing the curvature of ∇ and the covariant derivatives of Ω and A
= R ( X , T ) Y T Ω ( X , Y ) T + 1 μ ϵ T A ( X , Y ) T
μ ϵ J X Y 1 2 μ ϵ X Y ( λ ) T + X ( λ ) J Y
by (190)
+ μ ϵ X J Y + Ω ( X , J Y ) 1 μ ϵ A ( X , J Y ) T
+ 1 2 μ ϵ X ( Y ( λ ) ) 1 μ ϵ X ( λ ) Y ( λ ) T
by (191)
+ 1 2 μ ϵ Y ( λ ) τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T 1 μ ϵ 2 T ( λ ) A ( X , Y ) T
by (193)
+ Ω ( X , Y ) 1 μ ϵ A ( X , Y ) 1 2 H λ 1 2 μ ϵ T ( λ ) T
Ω ( τ X , Y ) 1 μ ϵ A ( τ X , Y ) T
by recognizing the covariant derivatives of J and d λ , using Ω = 0 and J = 0 , and observing simplification of terms
= R ( X , T ) Y + 1 μ ϵ T A ( X , Y ) T + 1 2 μ ϵ X d λ Y
+ X ( λ ) J Y + 1 2 Y ( λ ) J X
μ ϵ g θ ( X , Y ) + 1 μ ϵ A ( X , J Y ) T
+ 1 2 μ ϵ Y ( λ ) τ X 1 2 μ ϵ X ( λ ) Y ( λ ) T
+ 1 2 Ω ( X , Y ) H λ 1 μ ϵ T ( λ ) T
1 2 μ ϵ A ( X , Y ) H λ + 1 μ ϵ T ( λ ) T
Ω ( τ X , Y ) 1 μ ϵ A ( τ X , Y ) T ,
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:
R f , ϵ ( X , T ) T = X f , ϵ T f , ϵ T T f , ϵ X f , ϵ T [ X , T ] f , ϵ T
by (193) and (191)
= X f , ϵ 1 2 H λ + 1 2 μ ϵ T ( λ ) T
T f , ϵ τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T
τ [ X , T ] μ ϵ J [ X , T ] 1 2 μ ϵ [ X , T ] ( λ ) T
by (190) and (191) and computing covariant derivatives of products
= 1 2 X H λ + Ω X , H λ 1 μ ϵ A X , H λ T
1 2 μ ϵ 2 X μ ϵ T ( λ ) T + 1 2 μ ϵ X T ( λ ) T + T ( λ ) X f , ϵ T
by (192) and taking covariant derivatives
T τ X μ ϵ J τ X 1 2 μ ϵ ( τ X ) ( λ ) T
T μ ϵ J X μ ϵ T f , ϵ J X
+ 1 2 μ ϵ 2 T μ ϵ X ( λ ) T 1 2 μ ϵ T X ( λ ) T + X ( λ ) T f , ϵ T
by the identity [ X , T ] = τ X T X
τ τ X T X μ ϵ J τ X T X 1 2 μ ϵ [ X , T ] ( λ ) T
by (192) and (193), and J = 0 ,
= 1 2 X H λ τ 2 X + μ ϵ 2 X + 1 2 μ ϵ T ( λ ) τ X ( T τ ) X
+ 1 4 μ ϵ X ( λ ) H λ 1 2 T ( λ ) J X 2 μ ϵ J τ X
1 2 Ω X , H λ 1 μ ϵ A X , H λ T
1 2 μ ϵ ( τ X ) ( λ ) T 1 2 ( J X ) ( λ ) T ,
which is (197).    □

10. Gauss Equation for f : ( M , g ϵ ( f ) ) ( A , g ϵ A )

In this section, we start from the Gauss equation for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) , which relates the curvature R D ϵ of the ambient space ( A , g ϵ A ) to the curvature R f , ϵ of the submanifold ( M , g ϵ ( f ) ) , and the second fundamental form B ϵ ( f ) ,
g ϵ A R D ϵ ( X , Y ) f Z , f W = g ϵ ( f ) R f , ϵ ( X , Y ) Z , W
g ϵ A B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z ) + g ϵ A B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z )
for any X , Y , Z , W X ( M ) . According to our philosophy, through this work, we seek to relate the pseudohermitian geometry of the ambient space ( A , Θ ) to that of the submanifold ( M , θ ) and the pseudohermitian second fundamental form B ( f ) . The Gauss Equation (198) may be effectively used for the purpose because R D ϵ and R ( D ) are related by Lemma 5. The identities in Lemma 5 are stated in terms of R ( ϵ ) and R ( ) for an arbitrary strictly pseudoconvex CR manifold M endowed with the positively oriented contact form θ P + ( M ) . These are easily transposed to ( A , Θ ) . For instance, (28) prompts:
R D ϵ ( X , Y ) Z = R D ( X , Y ) Z ϵ 2 D X A Θ ( Y , Z ) D Y A Θ ( X , Z ) T A + Ω A ( Y , Z ) τ A X Ω A ( X , Z ) τ A Y A Θ ( Y , Z ) J A X + A Θ ( X , Z ) J A Y + 1 ϵ 2 Ω A ( Y , Z ) J A X Ω A ( X , Z ) J A Y 2 Ω A ( X , Y ) J A Z + ϵ 2 A Θ ( X , Z ) τ A Y A Θ ( Y , Z ) τ A X
for any X , Y , Z H ( A ) . The fact that R f , ϵ is related to R ( ) formed the topic of Section 9, while the relation between B ϵ ( f ) and B ( f ) was provided in Section 8.
Let X , Y , Z , W H ( M ) . Then, by (199),
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W = g ϵ A f R D f ( X , Y ) f Z , f W + Ω A f f Y , f Z g ϵ A f τ A f f X , f W Ω A f f X , f Z g ϵ A f τ A f f Y , f W + A Θ f f X , f Z g ϵ A f J A f f Y , f W A Θ f f Y , f Z g ϵ A f J A f f X , f W + 1 ϵ 2 { Ω A f f Y , f Z g ϵ A f J A f f X , f W Ω A f f X , f Z g ϵ A f J A f f Y , f W 2 Ω A f f X , f Y g ϵ A f J A f f Z , f W } + ϵ 2 A Θ f f X , f Z g ϵ A f τ A f f Y , f W A Θ f f Y , f Z g ϵ A f τ A f f X , f W .
Note that
Ω A f f X , f Y = g Θ f f X , J A f f Y
as J A f f = f J
= g Θ f f X , f J Y
as f X , f J Y C f 1 H ( M )
= G Θ f X , f J Y
as f G Θ = G θ
= G θ ( X , Y ) = Ω ( X , Y ) ,
i.e.,
Ω A f f X , f Y = Ω ( X , Y )
for any X , Y H ( M ) . In particular,
g ϵ A f J A f f X , f Y = Ω ( X , Y ) .
Substitution from (201) and (202) into (200) leads to
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W = g Θ f R D f ( X , Y ) f Z , f W + Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W ) + ϵ 2 g Θ f τ A f f X , f Z g Θ f τ A f f Y , f W g Θ f ( τ A f f Y , f Z ) g Θ f τ A f f X , f W + 1 ϵ 2 Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
for any X , Y , Z , W H ( M ) . Recalling (194) in Proposition 8, one has
R f , ϵ ( X , Y ) Z = R ( X , Y ) Z 2 Ω ( X , Y ) μ ϵ J Z + 1 2 μ ϵ Z ( λ ) T + 1 μ ϵ Y A ( X , Z ) X A ( Y , Z ) T + Ω ( Y , Z ) τ X + μ ϵ J X + 1 2 μ ϵ X ( λ ) T Ω ( X , Z ) τ Y + μ ϵ J Y + 1 2 μ ϵ Y ( λ ) T 1 μ ϵ A ( Y , Z ) τ X + μ ϵ J X 1 2 μ ϵ X ( λ ) T + 1 μ ϵ A ( X , Z ) τ Y + μ ϵ J Y 1 2 μ ϵ Y ( λ ) T .
Let us take the inner product g ϵ ( f ) of (204) with W H ( M ) . We obtain, because of g ϵ ( f ) = G θ on H ( M ) H ( M ) and H ( M ) T with respect to g ϵ ( f ) ,
g ϵ ( f ) R f , ϵ ( X , Y ) Z , W = g ϵ ( f ) ( R ( X , Y ) Z , W ) 2 μ ϵ Ω ( X , Y ) G θ ( J Z , W ) + Ω ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W ) Ω ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J X , W ) 1 μ ϵ A ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W ) + 1 μ ϵ A ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J Y , W ) .
At this point, we need to recall (168), i.e.,
B ϵ ( f ) ( X , W ) = D X f W f X W 1 μ ϵ f g Θ X W , T f T + Ω ( X , W ) ϵ 2 g Θ f X , τ A f f W T A f 1 ϵ 2 μ ϵ f T .
Let us replace the pair ( X , W ) with ( Y , Z ) in (206). We obtain
B ϵ ( f ) ( Y , Z ) = D Y f Z f Y Z 1 μ ϵ f g Θ Y Z , T f T + Ω ( Y , Z ) ϵ 2 g Θ f Y , τ A f f Z T A f 1 ϵ 2 μ ϵ f T .
Next, let us use (206) and (207) to compute the inner product of the normal vectors B ϵ ( f ) ( X , W ) and B ϵ ( f ) ( Y , Z ) with respect to g ϵ A . Specifically, we may conduct the following calculation
g ϵ A f B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z ) = I + II + III + IV
where the terms I , II , III , and IV are given by
I = g ϵ A f D X f W , D Y f Z g ϵ A f D X f W , f Y Z
1 μ ϵ f g Θ Y Z , T g ϵ A f D X f W , f T
+ Ω ( Y , Z ) ϵ 2 g Θ f Y , τ A f f Z g ϵ A f D X f W , T A f 1 ϵ 2 μ ϵ f T ,
II = g ϵ A f f X W , D Y f Z + g ϵ A f f X W , f Y Z
+ 1 μ ϵ f g Θ Y Z , T g ϵ A f f X W , f T
Ω ( Y , Z ) ϵ 2 g Θ f Y , τ A f f Z g ϵ A f f X W , T A f 1 ϵ 2 μ ϵ f T ,
III = 1 μ ϵ f g Θ X W , T g ϵ A f f T , D Y f Z
+ 1 μ ϵ f g Θ X W , T g ϵ A f f T , f Y Z
+ 1 μ ϵ 2 f g Θ X W , T f g Θ Y Z , T g ϵ A f f T , f T
1 μ ϵ f g Θ X W , T Ω ( Y , Z ) ϵ 2 g Θ f Y , τ A f f Z
× g ϵ A f f T , T A f 1 ϵ 2 μ ϵ f T ,
IV = Ω ( X , W ) ϵ 2 g Θ f X , τ A f f W g ϵ A f T A f 1 ϵ 2 μ ϵ f T , D Y f Z
Ω ( X , W ) ϵ 2 g Θ f X , τ A f f W g ϵ A f T A f 1 ϵ 2 μ ϵ f T , f Y Z
1 μ ϵ Ω ( X , W ) ϵ 2 g Θ f X , τ A f f W f g Θ Y Z , T
× g ϵ A f T A f 1 ϵ 2 μ ϵ f T , f T
+ Ω ( X , W ) ϵ 2 g Θ f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f Y , τ A f f Z
× g ϵ A f T A f 1 ϵ 2 μ ϵ f T , T A f 1 ϵ 2 μ ϵ f T .
The calculation of the terms II , III , and IV requires the following:
Lemma 19.
(i)
f T g ϵ A = μ ϵ .
(ii)
g ϵ A f f T , T A f 1 ϵ 2 μ ϵ f T = 0 .
(iii)
T A f 1 ϵ 2 μ ϵ f T g ϵ A = λ 1 1 + ϵ 2 ( λ 1 ) .
Here, we have set V g ϵ A = g ϵ A f ( V , V ) 1 / 2 for any V C f 1 T ( A ) .
Proof of Lemma 19.
As g Θ is a Riemannian metric, the function λ = f g Θ ( T ,   T ) : M R is everywhere positive, i.e., λ ( x ) > 0 for any x M . More is true, i.e.,
λ ( x ) 1 , x M ,
λ x 0 = 1 ( d x 0 f ) T x 0 = T A , f ( x 0 ) .
Indeed
g Θ f f T , T A f = g Θ f X Θ + T A f , T A f
as X Θ f 1 H ( A ) T A f with respect to g Θ f
= g Θ f T A f , T A f = g Θ T A , T A f = 1 ,
i.e.,
g Θ f f T , T A f = 1 .
Hence,
0 X Θ g Θ 2 = g Θ f X Θ , X Θ = f g Θ ( T ,   T ) 2 g Θ f f T , T A f + 1
by (211)
= λ 1 ,
yielding (209).    □
To prove (210) let x 0 M be a point such that λ ( x 0 ) = 1 . This is equivalent [by the preceding calculation] to X Θ , x 0 = 0 . Q.E.D.
In particular, by (209),
μ ϵ = 1 ϵ 2 + λ 1 0
so that statement (i) in Lemma 19 is legitimate. As a byproduct of the calculations just done, one has
X Θ g Θ 2 = λ 1
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) f T g ϵ A 2 = X Θ + T A f g ϵ A 2
as X Θ f 1 H ( A ) T A f with respect to g Θ f
= X Θ g ϵ A 2 + T A f g ϵ A 2
by (212) and the very definition of g ϵ A
= λ 1 + ϵ 2 = μ ϵ . Q.E.D.
(ii) g ϵ A f f T , T A f 1 ϵ 2 μ ϵ f T =
= g ϵ A f X Θ + T A f , T A f 1 ϵ 2 μ ϵ X Θ + T A
by g ϵ A = g Θ on H ( A ) H ( A ) and g ϵ A ( T A , T A ) = ϵ 2
= 1 ϵ 2 μ ϵ g Θ f X Θ , X Θ + 1 ϵ 2 1 ϵ 2 μ ϵ 1 ϵ 2
by (212)
= 1 ϵ 2 1 1 ϵ 2 μ ϵ 1 ϵ 2 μ ϵ ( λ 1 ) = 1 ϵ 2 μ ϵ μ ϵ 1 ϵ 2 λ + 1 = 0 . Q.E.D.
(iii) T A f 1 ϵ 2 μ ϵ f T g ϵ A 2 = T A f 1 ϵ 2 μ ϵ X Θ + T A f g ϵ A 2
= 1 ϵ 2 1 1 ϵ 2 μ ϵ + 1 ϵ 4 μ ϵ 2 X Θ g Θ 2 = ϵ 2 μ ϵ 1 ϵ 4 μ ϵ = λ 1 1 + ϵ 2 ( λ 1 ) . Q.E.D.
Let us go back to the calculation of the term I . One has, by the very definition of g ϵ A ,
I = g Θ f D X f W , D Y f Z g Θ f D X f W , f Y Z 1 μ ϵ f g Θ Y Z , T g Θ f D X f W , f T 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z g Θ f D X f W , f T .
Similarly, let us compute the term II . Again, by the relationship between g ϵ A and g Θ , relative to the decomposition T ( A ) = H ( A ) R T A ,
II = g Θ f f X W , D Y f Z + f g Θ X W , Y Z + 1 μ ϵ f g Θ Y Z , T f g Θ X W , T 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z f g Θ X W , T .
Similar to the above, the term III may be calculated as follows by (i)–(ii) in Lemma 19:
III = 1 μ ϵ f g Θ X W , T g Θ f f T , D Y f Z + 1 μ ϵ f g Θ X W , T f g Θ T , Y Z + 1 μ ϵ f g Θ X W , T f g Θ Y Z , T .
Finally, the term IV may be calculated as follows (by (ii)–(iii) in Lemma 19)
IV = 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W × g Θ f f T , D Y f Z + 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W f g Θ T , Y Z + Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z × × λ 1 1 + ϵ 2 ( λ 1 ) .
We need:
Lemma 20.
θ T f = 1 T g Θ 2 .
Proof. 
We start from T A f = f T + T , an orthogonal decomposition with respect to g Θ f . Then,
1 = Θ ( T A ) f = Θ f T A f = Θ f f T + Θ f T
= ( f Θ ) ( T ) + g Θ f T A f , T = θ ( T ) + T g Θ 2 .
Let us go back to the Gauss Equation (198),
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W = g ϵ ( f ) R f , ϵ ( X , Y ) Z , W g ϵ A B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z ) + g ϵ A B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z )
written for any X , Y , Z , W H ( M ) .
Collecting the calculations above, we shall substitute into (218) in three steps as follows.
(1) The curvature term
g ϵ A R D ϵ ( X , Y ) f Z , f W
in the left-hand side of (218) is replaced by (203).
(2) The curvature term
g ϵ ( f ) R f , ϵ ( X , Y ) Z , W
in the right-hand side of (218) is replaced by (205).
(3) Finally, the terms
( g ϵ A ) f B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z ) , ( g ϵ A ) f B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z ) ,
in the right-hand side of (218) are replaced by (208) together with the expressions (213)–(216) of the terms I , II , III , and IV .
The aim of Steps 1 and 2 is then to compute the term
g ϵ A f R ( D ϵ ) f ( X , Y ) f Z , f W g ϵ ( f ) R f , ϵ ( X , Y ) Z , W
appearing in (198). Indeed one has
( g ϵ A ) f R ( D ϵ ) f ( X , Y ) f Z , f W g ϵ ( f ) R f , ϵ ( X , Y ) Z , W = g Θ f R D f ( X , Y ) f Z , f W + Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W ) + ϵ 2 g Θ f τ A f f X , f Z g Θ f τ A f f Y , f W g Θ f ( τ A f f Y , f Z ) g Θ f τ A f f X , f W + 1 ϵ 2 Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W ) g ϵ ( f ) ( R ( X , Y ) Z , W ) + 2 μ ϵ Ω ( X , Y ) G θ ( J Z , W ) Ω ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W ) + Ω ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J Y , W ) + 1 μ ϵ A ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W ) 1 μ ϵ A ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J Y , W ) .
Let us substitute from (213)–(216) into (208). We obtain:
g ϵ A f B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z )
= g Θ f D X f W , D Y f Z g Θ f D X f W , f Y Z
1 μ ϵ f g Θ Y Z , T g Θ f D X f W , f T
1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z g Θ f D X f W , f T
g Θ f f X W , D Y f Z + f g Θ X W , Y Z
+ 1 μ ϵ f g Θ Y Z , T f g Θ X W , T
+ 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z f g Θ X W , T
1 μ ϵ f g Θ X W , T g Θ f f T , D Y f Z
+ 1 μ ϵ f g Θ X W , T f g Θ T , Y Z
+ 1 μ ϵ f g Θ X W , T f g Θ Y Z , T
1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W
× g Θ f f T , D Y f Z
+ 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W f g Θ T , Y Z
+ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 ) .
Let us interchange X and Y in (220). We obtain:
b i g ( g ϵ A ) f B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z )
= g Θ f D Y f W , D X f Z g Θ f D Y f W , f X Z
1 μ ϵ f g Θ X Z , T g Θ f D Y f W , f T
1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z g Θ f D Y f W , f T
g Θ f f Y W , D X f Z + f g Θ Y W , X Z
+ 1 μ ϵ f g Θ X Z , T f g Θ Y W , T
+ 1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z f g Θ Y W , T
1 μ ϵ f g Θ Y W , T g Θ f f T , D X f Z
+ 1 μ ϵ f g Θ Y W , T f g Θ T , X Z
+ 1 μ ϵ f g Θ Y W , T f g Θ X Z , T
1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W
× g Θ f f T , D X f Z
+ 1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W f g Θ T , X Z
+ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 ) .
Consequently, by (220) and (221),
g ϵ A f B ϵ ( f ) ( X , W ) , B ϵ ( f ) ( Y , Z )
+ g ϵ A f B ϵ ( f ) ( Y , W ) , B ϵ ( f ) ( X , Z )
= g Θ f D X f W , D Y f Z + g Θ f D X f W , f Y Z
+ 1 μ ϵ f g Θ Y Z , T g Θ f D X f W , f T
+ 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z g Θ f D X f W , f T
+ g Θ f f X W , D Y f Z f g Θ X W , Y Z
1 μ ϵ f g Θ Y Z , T f g Θ X W , T
1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z f g Θ X W , T
+ 1 μ ϵ f g Θ X W , T g Θ f f T , D Y f Z
1 μ ϵ f g Θ X W , T f g Θ T , Y Z
1 μ ϵ f g Θ X W , T f g Θ Y Z , T
+ 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W
× g Θ f f T , D Y f Z
1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W f g Θ T , Y Z
Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 )
+ g Θ f D Y f W , D X f Z g Θ f D Y f W , f X Z
1 μ ϵ f g Θ X Z , T g Θ f D Y f W , f T
1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z g Θ f D Y f W , f T
g Θ f f Y W , D X f Z + f g Θ Y W , X Z
+ 1 μ ϵ f g Θ X Z , T f g Θ Y W , T
+ 1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z f g Θ Y W , T
1 μ ϵ f g Θ Y W , T g Θ f f T , D X f Z
+ 1 μ ϵ f g Θ Y W , T f g Θ T , X Z
+ 1 μ ϵ f g Θ Y W , T f g Θ X Z , T
1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W
× g Θ f f T , D X f Z
+ 1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W f g Θ T , X Z
+ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 ) .
Finally, let us substitute from (219) and (222) into the Gauss Equation (218). We obtain the rather involved equation:
g Θ f R D ( X , Y ) f Z , f W
+ Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W
g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W )
+ ϵ 2 g Θ f τ A f f X , f Z g Θ f τ A f f Y , f W
g Θ f ( τ A f f Y , f Z ) g Θ f τ A f f X , f W
+ 1 ϵ 2 Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
g θ ( R ( X , Y ) Z , W )
+ 2 μ ϵ Ω ( X , Y ) G θ ( J Z , W )
Ω ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W )
+ Ω ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J Y , W )
+ 1 μ ϵ A ( Y , Z ) G θ ( τ X , W ) + μ ϵ G θ ( J X , W )
1 μ ϵ A ( X , Z ) G θ ( τ Y , W ) + μ ϵ G θ ( J Y , W )
= g Θ f D X f W , D Y f Z + g Θ f D X f W , f Y Z
+ 1 μ ϵ f g Θ Y Z , T g Θ f D X f W , f T
+ 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z g Θ f D X f W , f T
+ g Θ f f X W , D Y f Z f g Θ X W , Y Z
1 μ ϵ f g Θ Y Z , T f g Θ X W , T
1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z f g Θ X W , T
+ 1 μ ϵ f g Θ X W , T g Θ f f T , D Y f Z
1 μ ϵ f g Θ X W , T f g Θ T , Y Z
1 μ ϵ f g Θ X W , T f g Θ Y Z , T
+ 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W
× g Θ f f T , D Y f Z
1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W f g Θ T , Y Z
Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 )
+ g Θ f D Y f W , D X f Z g Θ f D Y f W , f X Z
1 μ ϵ f g Θ X Z , T g Θ f D Y f W , f T
1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z g Θ f D Y f W , f T
g Θ f f Y W , D X f Z + f g Θ Y W , X Z
+ 1 μ ϵ f g Θ X Z , T f g Θ Y W , T
+ 1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z f g Θ Y W , T
1 μ ϵ f g Θ Y W , T g Θ f f T , D X f Z
+ 1 μ ϵ f g Θ Y W , T f g Θ T , X Z
+ 1 μ ϵ f g Θ Y W , T f g Θ X Z , T
1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W
× g Θ f f T , D X f Z
+ 1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W f g Θ T , X Z
+ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 ) .
This is the Gauss equation for the isometric immersion f : ( M , g ϵ ( f ) ) ( A , g ϵ A ) , which we succeeded in fully writing in terms of pseudohermitian invariants of ( M ,   θ ) and ( A , Θ ) with coefficients that are rational functions of ϵ , i.e., coefficients of the form
ϵ 2 , 1 ϵ 2 , μ ϵ 1 ϵ 2 + λ 1 , 1 μ ϵ , 1 ϵ 2 μ ϵ .
To simplify (223) and examine its consequences as ϵ 0 + will be our job for the remainder of this section. To begin, note that simplifications occur in the term
1 ϵ 2 Ω ( X , Y ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
+ 2 μ ϵ Ω ( X , Y ) G Θ ( J Z , W )
μ ϵ Ω ( Y , Z ) G Θ ( J X , W ) + μ ϵ Ω ( X , Z ) G Θ ( J Y , W ) ,
which is, by μ ϵ = ϵ 2 + λ 1 , merely
( λ 1 ) Ω ( X , Z ) Ω ( Y , W ) + Ω ( Y , Z ) Ω ( X , W ) 2 Ω ( X , Y ) Ω ( Z , W ) .
Therefore, the (unbounded) terms of order O ( ϵ 2 ) simplify, and we may take ϵ 0 + in the resulting equation:
g Θ f R D ( X , Y ) f Z , f W
+ Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W
g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W )
+ ϵ 2 g Θ f τ A f f X , f Z g Θ f τ A f f Y , f W
g Θ f ( τ A f f Y , f Z ) g Θ f τ A f f X , f W
( λ 1 ) Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
g θ ( R ( X , Y ) Z , W )
Ω ( Y , Z ) A ( X , W ) + Ω ( X , Z ) A ( Y , W )
+ 1 μ ϵ A ( Y , Z ) A ( X , W ) A ( Y , Z ) Ω ( X , W )
1 μ ϵ A ( X , Z ) A ( Y , W ) + A ( X , Z ) Ω ( Y , W )
= g Θ f D X f W , D Y f Z + g Θ f D X f W , f Y Z
+ 1 μ ϵ f g Θ Y Z , T g Θ f D X f W , f T
+ 1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z g Θ f D X f W , f T
+ g Θ f f X W , D Y f Z f g Θ X W , Y Z
1 μ ϵ f g Θ Y Z , T f g Θ X W , T
1 ϵ 2 μ ϵ Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z f g Θ X W , T
+ 1 μ ϵ f g Θ X W , T g Θ f f T , D Y f Z
1 μ ϵ f g Θ X W , T f g Θ T , Y Z
1 μ ϵ f g Θ X W , T f g Θ Y Z , T
+ 1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W
× g Θ f f T , D Y f Z
1 ϵ 2 μ ϵ Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W f g Θ T , Y Z
Ω ( X , W ) ϵ 2 g Θ f f X , τ A f f W Ω ( Y , Z ) ϵ 2 g Θ f f Y , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 )
+ g Θ f D Y f W , D X f Z g Θ f D Y f W , f X Z
1 μ ϵ f g Θ X Z , T g Θ f D Y f W , f T
1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z g Θ f D Y f W , f T
g Θ f f Y W , D X f Z + f g Θ Y W , X Z
+ 1 μ ϵ f g Θ X Z , T f g Θ Y W , T
+ 1 ϵ 2 μ ϵ Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z f g Θ Y W , T
1 μ ϵ f g Θ Y W , T g Θ f f T , D X f Z
+ 1 μ ϵ f g Θ Y W , T f g Θ T , X Z
+ 1 μ ϵ f g Θ Y W , T f g Θ X Z , T
1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W
× g Θ f f T , D X f Z
+ 1 ϵ 2 μ ϵ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W f g Θ T , X Z
+ Ω ( Y , W ) ϵ 2 g Θ f f Y , τ A f f W Ω ( X , Z ) ϵ 2 g Θ f f X , τ A f f Z
× λ 1 1 + ϵ 2 ( λ 1 ) .
To produce (224), one also has to recognize pseudohermitian torsion terms in (223); e.g., A ( X , W ) = G θ ( τ X , W ) . Recall that 1 / μ ϵ 0 and 1 / ( ϵ 2 μ ϵ ) 1 as ϵ 0 + . Therefore, (224) yields, as ϵ 0 + ,
g Θ f R D f ( X , Y ) f Z , f W
+ Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W
g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W )
( λ 1 ) Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
g θ ( R ( X , Y ) Z , W )
Ω ( Y , Z ) A ( X , W ) + Ω ( X , Z ) A ( Y , W )
A ( Y , Z ) Ω ( X , W ) + A ( X , Z ) Ω ( Y , W )
= g Θ f D X f W , D Y f Z + g Θ f D X f W , f Y Z
+ Ω ( Y , Z ) g Θ f D X f W , f T + Ω ( X , W ) g Θ f f T , D Y f Z
+ g Θ f f X W , D Y f Z f g Θ X W , Y Z
Ω ( Y , Z ) f g Θ X W , T Ω ( X , W ) f g Θ T , Y Z
+ ( λ 1 ) Ω ( Y , W ) Ω ( X , Z ) Ω ( X , W ) Ω ( Y , Z ) +
+ g Θ f D Y f W , D X f Z g Θ f D Y f W , f X Z
Ω ( X , Z ) g Θ f D Y f W , f T Ω ( Y , W ) g Θ f f T , D X f Z
g Θ f f Y W , D X f Z + f g Θ Y W , X Z
+ Ω ( X , Z ) f g Θ Y W , T + Ω ( Y , W ) f g Θ T , X Z .
Equation (225) may be further simplified. First note that the term
( λ 1 ) Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + 2 Ω ( X , Y ) Ω ( Z , W )
on the left-hand side of (225) and
( λ 1 ) Ω ( Y , W ) Ω ( X , Z ) Ω ( X , W ) Ω ( Y , Z )
on the right-hand side of (225) simplify to
2 ( λ 1 ) Ω ( X , Z ) Ω ( Y , W ) Ω ( X , W ) Ω ( Y , Z ) + Ω ( X , Y ) Ω ( Z , W )
to be written on the right-hand side of (225). Also, for further use, let us consider the ( 1 ,   2 ) tensor field
U = U ( f ) = U ( f , Θ ) T 1 , 2 ( M )
given by
U ( V , W ) = V W V W , V , W X ( M ) ,
expressing the difference between the induced connection and the (intrinsic) Tanaka–Webster connection ∇. A term of the form
g Θ f D X f f W , f T
may be written
g Θ f D X f f W , f T
by the pseudohermitian Gauss formula
= g Θ f f X W , f T = f g Θ X W , T ,
hence pairs of terms such as
Ω ( Y , Z ) g Θ f D X f W , f T Ω ( Y , Z ) f g Θ X W , T
may be written
Ω ( Y , Z ) f g Θ U ( X , W ) , f T .
Finally, terms of the form
g Θ f D Y f f W , D X f Z , g Θ f D Y f f W , f X Z ,
are computed by using the pseudohermitian Gauss formula. For instance,
g Θ f D Y f f W , D X f f Z
= f g Θ Y W , X Z + g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z ) ,
g Θ f D Y f W , f X Z = f g Θ Y W , X Z .
Under the modifications above, Equation (225) simplifies down to:
g Θ f R D ( X , Y ) f Z , f W g θ ( R ( X , Y ) Z , W )
+ Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W
g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W )
Ω ( Y , Z ) A ( X , W ) + Ω ( X , Z ) A ( Y , W )
A ( Y , Z ) Ω ( X , W ) + A ( X , Z ) Ω ( Y , W )
= f g Θ X W , Y Z g Θ f B ( f ) ( X , W ) , B ( f ) ( Y , Z )
+ f g Θ X W , Y Z
+ Ω ( Y , Z ) f g Θ U ( X , W ) , T + Ω ( X , W ) f g Θ U ( Y , Z ) , T
+ f g Θ X W , Y Z f g Θ X W , Y Z
+ 2 ( λ 1 ) Ω ( Y , W ) Ω ( X , Z ) Ω ( X , W ) Ω ( Y , Z ) + Ω ( X , Y ) Ω ( Z , W )
+ f g Θ Y W , X Z + g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z )
f g Θ Y W , X Z
Ω ( X , Z ) f g Θ U ( Y , W ) , T Ω ( Y , W ) f g Θ U ( X , Z ) , T
f g Θ Y W , X Z + f g Θ Y W , X Z .
Once again, using (226), we may write (227) as:
g Θ f R D ( X , Y ) f Z , f W g θ ( R ( X , Y ) Z , W )
+ Ω ( Y , Z ) g Θ f τ A f f X , f W Ω ( X , Z ) g Θ f τ A f f Y , f W
g Θ f τ A f f X , f Z Ω ( Y , W ) + g Θ f τ A f f Y , f Z Ω ( X , W )
Ω ( Y , Z ) A ( X , W ) + Ω ( X , Z ) A ( Y , W )
A ( Y , Z ) Ω ( X , W ) + A ( X , Z ) Ω ( Y , W )
= f g Θ U ( X , W ) , U ( Y , Z ) g Θ f B ( f ) ( X , W ) , B ( f ) ( Y , Z )
+ Ω ( Y , Z ) f g Θ U ( X , W ) , T + Ω ( X , W ) f g Θ U ( Y , Z ) , T
+ 2 ( λ 1 ) Ω ( Y , W ) Ω ( X , Z ) Ω ( X , W ) Ω ( Y , Z ) + Ω ( X , Y ) Ω ( Z , W )
+ f g Θ U ( Y , W ) , U ( X , Z ) + g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z )
Ω ( X , Z ) f g Θ U ( Y , W ) , T Ω ( Y , W ) f g Θ U ( X , Z ) , T .
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:
g Θ f R D ( X , Y ) f Z , f W = g θ ( R ( X , Y ) Z , W )
g Θ f B ( f ) ( X , W ) , B ( f ) ( Y , Z ) + g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z )
f g Θ U ( X , W ) , U ( Y , Z ) + f g Θ U ( Y , W ) , U ( X , Z )
+ Ω ( Y , Z ) f g Θ U ( X , W ) , T
+ Ω ( X , W ) f g Θ U ( Y , Z ) , T
Ω ( X , Z ) f g Θ U ( Y , W ) , T
Ω ( Y , W ) f g Θ U ( X , Z ) , T
+ 2 ( λ 1 ) Ω ( Y , W ) Ω ( X , Z ) Ω ( X , W ) Ω ( Y , Z ) + Ω ( X , Y ) Ω ( Z , W )
Ω ( Y , Z ) g Θ f τ A f f X , f W A ( X , W )
Ω ( X , W ) g Θ f τ A f f Y , f Z A ( Y , Z )
+ Ω ( X , Z ) g Θ f τ A f f Y , f W A ( Y , W )
+ Ω ( Y , W ) g Θ f τ A f f X , f Z A ( X , Z )
for any X , Y , Z , W H ( M ) .
Definition 39.
We shall refer to (229) as the pseudohermitian Gauss equation of the isopseudohermitian immersion f : ( M ,   θ ) ( A , Θ ) .
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 ( 1 ,   2 ) 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 τ A and τ of the ambient space ( A , Θ ) and the submanifold ( M ,   θ ) . The term in (229) containing the function λ = f g Θ ( T ,   T ) is prompted by our more general treatment (with respect to the previous works [15,17,18]), including the case of pseudohermitian immersions where λ = 1 , but not confined to that case.
Keep in mind that (229) follows, as ϵ 0 + , from the Gauss Equation (198) written for X , Y , Z , W H ( M ) . The same technique should then prompt other (pseudohermitian) Gauss-like equations corresponding to the cases where not all arguments X , Y , Z , W are horizontal. Deriving the remaining Gauss-like equations [springing from the various components of (198) with respect to the decomposition T ( M ) = H ( M ) R T ] is relegated to further work.

11. CR Immersions into Spheres

11.1. Mean Curvature

By a classic result of T. Takahashi (see [30]), an isometric immersion ψ : M S n ( r ) of an m-dimensional Riemannian manifold into the sphere j : S n ( r ) R n + 1 of radius r > 0 is minimal if and only if Δ Ψ = ( m / r 2 ) Ψ , where Ψ = j ψ and Δ is the Laplace–Beltrami operator on M. Takahashi’s theorem relies on the simple observation that given isometric immersions f : M A and j : A R n where M and A are Riemannian manifolds, the mean curvature vector H ( f ) is the tangential component in f 1 T ( A ) of ( 1 / m ) Δ ( j f ) . We wish to look at a similar configuration within CR geometry, starting with an isopseudohermitian immersion f : ( M ,   θ ) ( A , Θ ) and, hence, for every 0 < ϵ < 1 , with the isometric immersion f : M , g ϵ ( f ) ( A , g ϵ A ) . By Nash’s embedding theorem (see [31]), there is an integer 2 n + 1 < K ( 2 N + 1 ) ( 3 N + 7 ) and a C isometric embedding of A , g ϵ A into the Euclidean space R K , yet both K and the immersion A R K depend on ϵ . [We conjecture that the nature of said dependence can be understood by inspecting the proof in [31]. See also R.E. Greene and H. Jacobowitz [32] for a simplified proof in the real analytic case.] To circumnavigate this difficulty, we confine ourselves to A = S 2 N + 1 and the pair of immersions M , g ϵ ( f ) f S 2 N + 1 , g ϵ A j C N + 1 , where the ambient space C N + 1 is thought of as carrying, in addition to the Euclidean metric g 0 , the family of Riemannian metrics
g 0 , ϵ : = g 0 + 1 ϵ 2 1 ω 0 ω 0 , 0 < ϵ < 1 ,
built such that j g 0 , ϵ = g ϵ A . Then, we benefit from j g 0 = g Θ [a phenomenon known to hold only for the sphere—in general, for a strictly pseudoconvex real hypersurface A C N + 1 , none of the Webster metrics { g e u Θ : u C ( A , R ) } is induced by the ambient Euclidean metric g 0 (see e.g., [3], p. 41–42)] to relate the mean curvature vectors H ϵ ( f ) and H ϵ ( j f ) of the isometric immersions f : ( M , g ϵ ( f ) ) S 2 N + 1 , g ϵ A and j f : ( M , g ϵ ( f ) ) C N + 1 , g 0 , ϵ .
Let A = S 2 N + 1 C N + 1 be the standard sphere, equipped with the strictly pseudoconvex CR structure
T 1 , 0 ( S 2 N + 1 ) y = T y S 2 N + 1 R C T C N + 1 y , y S 2 N + 1 ,
and the positively oriented contact form
Θ P + S 2 N + 1 , Θ = i 2 ¯ | Z | 2 .
The Webster metric g Θ is the first fundamental form of j : S 2 N + 1 C N + 1 , the inclusion of S 2 N + 1 into C N + 1 , g 0 ; i.e., j g 0 = g Θ . Let X 0 X ( C N + 1 ) be the real tangent vector field defined by
X 0 = i 2 Z B Z B Z ¯ B Z ¯ B .
The Reeb vector field T A of ( S 2 N + 1 , Θ ) is given by j T A = 2 X 0 j . Let ω 0 Ω 1 ( C N + 1 ) be the differential 1-form
ω 0 ( X ) = g 0 X , X 0 , X X C N + 1 .
Also,
ν = 1 2 Z B Z B + Z ¯ B Z ¯ B j
is a unit normal vector field on S 2 N + 1 in ( C N + 1 , g 0 ) and J 0 j ν = X 0 j . We shall need the family of Riemannian metrics g 0 , ϵ 0 < ϵ < 1 on C N + 1
g 0 , ϵ = g 0 + 1 ϵ 2 1 ω 0 ω 0 .
If A = S 2 N + 1 , then j ω 0 = Θ and, hence, j g 0 , ϵ = g ϵ A . Let f : M S 2 N + 1 be an isopseudohermitian immersion, i.e., a CR immersion, such that f Θ = θ . Corresponding to the isometric immersions
M , g ϵ ( f ) f S 2 N + 1 , g ϵ A j C N + 1 , g 0 , ϵ
one has the decompositions
T x ^ S 2 N + 1 = ( d x f ) T x ( M ) E ϵ ( f ) x , x M ,
T j ( x ^ ) C N + 1 = ( d x ^ j ) T x ^ S 2 N + 1 E ϵ ( j ) x ^ ,
T ( j f ) ( x ) C N + 1 = d x ( j f ) T x ( M ) E ϵ ( j f ) x ,
where
E ϵ ( f ) M E ϵ ( j ) S 2 N + 1 E ϵ ( j f ) M
are the normal bundles of the given isometric immersions. The decompositions (232)–(234) imply.
Lemma 21.
For every x M
E ϵ ( j f ) x = d x ^ j E ϵ ( f ) x E ϵ ( j ) x ^ .
The projections associated with the direct sum decompositions (232)–(234) are denoted by
T x ( M ) tan ϵ , x T x ^ ( S 2 N + 1 ) nor ϵ , x E ϵ ( f ) x ,
T x ^ S 2 N + 1 Tan ϵ , x ^ T j ( x ^ ) C N + 1 Nor ϵ , x ^ E ϵ ( j ) x ^ ,
T x ( M ) tan ϵ , x 0 T ( j f ) ( x ) C N + 1 nor ϵ , x 0 E ϵ ( j f ) x .
Theorem 5.
Let M be a strictly pseudoconvex CR manifold of CR dimension n equipped with the contact form θ P + ( M ) . Let Θ = ( i / 2 ) j ¯ | Z | 2 P + S 2 N + 1 be the canonical contact form. For any isopseudohermitian immersion f : M S 2 N + 1 of ( M , θ ) into ( S 2 N + 1 , Θ ) ,
nor ϵ , x Tan ϵ , x ^ = Tan ϵ , x ^ nor ϵ , x 0
for every x M and 0 < ϵ < 1 . Consequently, the mean curvature vectors of the isometric immersions f : ( M , g ϵ ( f ) ) ( S 2 N + 1 , g ϵ A ) and j f : ( M , g ϵ ( f ) ) ( C N + 1 , g 0 , ϵ ) are related by
H ϵ ( f ) x = Tan ϵ , x ^ H ϵ ( j f ) x , x M .
Proof. 
The proof is organized in two steps, as follows. First, we show that Tan ϵ , x ^ maps E ϵ ( j f ) x into E ϵ ( f ) x . Indeed, for any X T x ( M ) and any V E ϵ ( j f ) x
g ϵ A x ^ ( d x f ) X , Tan ϵ , x ^ V
as g ϵ A = j g 0 , ϵ
= g 0 , ϵ j ( x ^ ) ( d x ^ j ) ( d x f ) X , ( d x ^ j ) Tan ϵ , x ^ V
as V = ( d x ^ j ) Tan ϵ , x ^ V + Nor ϵ , x ^ V and
Nor ϵ , x ^ V E ϵ ( j ) x ^ ( d x ^ j ) T x ^ ( S 2 N + 1 ) ( d x ^ j ) ( d x f ) X
= g 0 , ϵ j ( x ^ ) d x ( j f ) X , V = 0 ,
hence
Tan ϵ , x ^ E ϵ ( j f ) x E ϵ ( f ) x .
At this point, (236) is equivalent to the commutativity of the diagram
T x ^ C N + 1 Tan ϵ , x ^ T x ^ S 2 N + 1 nor ϵ , x 0 nor ϵ , x E ϵ ( j f ) x Tan ϵ , x ^ E ϵ ( f ) x
Let V T x ^ C N + 1 . Then, by (232) and (233),
Tan ϵ , x ^ V = ( d x f ) tan ϵ , x Tan ϵ , x ^ V + nor ϵ , x Tan ϵ , x ^ V ,
nor ϵ , x 0 V = ( d x ^ j ) Tan ϵ , x ^ nor ϵ , x 0 V + Nor ϵ , x ^ nor ϵ , x 0 V .
Then, by (233),
V = ( d x ^ j ) Tan ϵ , x ^ V + Nor ϵ , x ^ V =
by substitution from (238)
= d x ( j f ) tan ϵ , x Tan ϵ , x ^ V d x ( j f ) T x ( M ) + ( d x ^ j ) nor ϵ , x Tan ϵ , x ^ V ( d x ^ j ) E ϵ ( f ) x + Nor ϵ , x ^ V E ϵ ( j ) x ^
by (235) together with comparison to V = d x ( j f ) tan ϵ , x 0 V + nor ϵ , x 0 V
tan ϵ , x Tan ϵ , x ^ V = tan ϵ , x 0 V ,
( d x ^ j ) nor ϵ , x Tan ϵ , x ^ V + Nor ϵ , x ^ V = nor ϵ , x 0 V .
Finally, (239) and (240) yield (236). Q.E.D.
Let { E a : 1 a 2 n } be a local G θ -orthonormal frame of H ( M ) , and let us set T ϵ = 1 / μ ϵ T , so that
E p : 0 p 2 n E a , T ϵ : 1 a 2 n , E 0 = T ϵ ,
is a local g ϵ ( f ) -orthonormal frame of T ( M ) . The mean curvature vector of the isometric immersion f of ( M , g ϵ ( f ) ) into ( S 2 N + 1 , g ϵ A ) is given by
H ϵ ( f ) = 1 2 n + 1 Trace g ϵ ( f ) B ϵ ( f )
(locally)
= 1 2 n + 1 p = 0 2 n B ϵ ( f ) E p , E p .
To prove (237), we recall the Gauss formulas
D ϵ X f f Y = f X f , ϵ Y + B ϵ ( f ) ( X , Y ) ,
D g 0 , ϵ X j j Y = j D X ϵ Y + B ϵ ( j ) ( X , Y ) ,
X , Y X ( M ) , X , Y X ( S 2 N + 1 ) ,
for the isometric immersions (231). Here, D g 0 , ϵ denotes the Levi–Civita connection of ( C n + 1 , g 0 , ϵ ) . Also, f , ϵ g ϵ ( f ) and D ϵ D g ϵ A are, respectively, the Levi–Civita connections of ( M , g ϵ ( f ) ) and ( S 2 N + 1 , g ϵ A ) , as considered earlier in this paper. For every tangent vector field X X ( M ) , let X ˜ X ( S 2 N + 1 ) denote a tangent vector field such that X ˜ f ( x ) = ( d x f ) X x , for every x M . Then,
B ϵ ( f ) E p , E p x = nor ϵ , x D ϵ E p f f E p x
= nor ϵ , x D E ˜ p ϵ E ˜ p f ( x ) = nor ϵ , x Tan ϵ , x ^ D g 0 , ϵ E ˜ p j j E ˜ p x ^
(by Lemma 5)
= Tan ϵ , x ^ nor ϵ , x 0 D g 0 , ϵ E ˜ p j j E ˜ p x ^ .
Let X ˜ ˜ X ( C N + 1 ) be a tangent vector field such that X ˜ ˜ j ( y ) = ( d y j ) X ˜ y for any y S 2 N + 1 . Then,
X ˜ ˜ ( j f ) ( x ) = d x ( j f ) X x ,
hence
B ϵ ( f ) E p , E p x = Tan ϵ , x ^ nor ϵ , x 0 D E ˜ ˜ p g 0 , ϵ E ˜ ˜ p j ( x ^ )
= Tan ϵ , x ^ nor ϵ , x 0 D g 0 , ϵ E p j f ( j f ) E p x ^ = Tan ϵ , x ^ B ϵ ( j f ) ( E p , E p ) x .
Q.E.D.
It is an open problem to relate the mean curvature vector H ( j f ) to Δ g ϵ ( f ) j f , where Δ g ϵ ( f ) is the Laplace–Beltrami operator of the Riemannian manifold ( M , g ϵ ( f ) ) . This would be the first step towards a pseudohermitian analog to Takahashi’s theorem (see [30]). We expect that the solution to the problem may be obtained along the following lines. Start with the Gauss formula
D g 0 , ϵ X j f ( j f ) Y ( j f ) X f , ϵ Y = B ϵ ( j f ) ( X , Y )
for the isometric immersion j f : ( M , g ϵ ( f ) ) ( C N + 1 , g 0 , ϵ ) , and take the trace with respect to g ϵ ( f ) of both members. Exploit the relationship between g 0 , ϵ and the Euclidean metric g 0 (see (230)) to relate the Levi–Civita connections D g 0 , ϵ and D 0 D g 0 .

11.2. On a Theorem by S-S. Chern

Given the result of S-S. Chern (see [21]), for every minimal isometric immersion f : M A of an m-dimensional Riemannian manifold M into a Riemannian manifold A of constant sectional curvature κ , the scalar curvature R of M obeys to R m ( m 1 ) κ 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 f : M S 2 N + 1 be an isopseudohermitian immersion, and let X , Y , Z H S 2 N + 1 . Then (see [3], p. 60),
R ( D ) ( X , Y ) Z = g Θ ( Y , Z ) X g Θ ( X , Z ) Y
+ g Θ J A Y , Z J A X g Θ J A X , Z J A Y 2 g Θ J A X , Y J A Z .
Let f : M S 2 N + 1 be an isopseudohermitian immersion of ( M , θ ) into ( S 2 N + 1 , Θ ) . Then, by (242) and f J = J A f ,
R D f ( X , Y ) f Z = f g Θ ( Y , Z ) f X f g Θ ( X , Z ) f Y
+ f g Θ J Y , Z f J X f g Θ J X , Z f J Y
2 f g Θ J X , Y f J Z
for any X , Y , Z H ( M ) . Let W H ( M ) , and let us take the inner product of (243) with f W ; i.e.,
g Θ f R D f ( X , Y ) f Z , f W
= g θ ( Y , Z ) g θ ( X , W ) g θ ( X , Z ) g θ ( Y , W )
+ Ω Y , Z Ω ( X , W ) Ω X , Z Ω ( Y , W ) 2 Ω X , Y Ω ( Z , W ) .
The pseudohermitian torsion of the sphere A = S 2 N + 1 vanishes; i.e., τ A = 0 . Then, by substitution from (244) into (229),
g θ ( R ( X , Y ) Z , W )
= g θ ( Y , Z ) g θ ( X , W ) g θ ( X , Z ) g θ ( Y , W )
+ g Θ f B ( f ) ( X , W ) , B ( f ) ( Y , Z ) g Θ f B ( f ) ( Y , W ) , B ( f ) ( X , Z )
+ ( 2 λ 1 ) Ω ( X , W ) Ω ( Y , Z ) Ω ( Y , W ) Ω ( X , Z )
2 λ Ω ( X , Y ) Ω ( Z , W )
Ω ( Y , Z ) A ( X , W ) Ω ( X , W ) A ( Y , Z )
+ Ω ( X , Z ) A ( Y , W ) + Ω ( Y , W ) A ( X , Z )
+ f g Θ U ( X , W ) , U ( Y , Z ) f g Θ U ( Y , W ) , U ( X , Z )
Ω ( Y , Z ) f g Θ U ( X , W ) , T Ω ( X , W ) f g Θ U ( Y , Z ) , T
+ Ω ( X , Z ) f g Θ U ( Y , W ) , T + Ω ( Y , W ) f g Θ U ( X , Z ) , T .
The Ricci curvature of the Tanaka–Webster connection ∇ of ( M ,   θ ) is
Ric ( V , W ) = trace U R ( U , W ) V
for any V , W X ( M ) . Let { E a : 1 a 2 n } be a local G θ -orthonormal frame of H ( M ) , defined on an open subset Ω M , so that { E a , T : 1 a 2 n } is a local g θ -orthonormal frame of T ( M ) . Then,
Ric ( V , W ) = a = 1 2 n g θ R ( E a , W ) V , E a + θ R ( T , W ) V .
As H ( M ) is parallel with respect to ∇, the curvature transformation R ( V , W ) maps H ( M ) into itself. Let us substitute X = W = E a in (245) and take the sum over 1 a 2 n . We obtain, as Ω is skew-symmetric, trace ( τ ) = 0 , and τ J + J τ = 0 ,
Ric ( Z , Y ) = 2 ( 2 λ + n 1 ) g θ ( Y , Z )
+ g Θ f H ( f ) , B ( f ) ( Y , Z )
a = 1 2 n g Θ f B ( f ) ( Y , E a ) , B ( f ) ( E a , Z )
+ f g Θ trace G θ Π H ( M ) U , U ( Y , Z )
a = 1 2 n f g Θ U ( Y , E a ) , U ( E a , Z )
Ω ( Y , Z ) f g Θ trace G θ Π H ( M ) U , T
+ f g Θ U ( Y , J Z ) , T f g Θ U ( J Y , Z ) , T
where
H ( f ) : = trace G θ Π H ( M ) B ( f ) C E ( f ) .
Let us set Z = T α and Y = T β ¯ in (246) and contract with g α β ¯ . We obtain
R = 2 n ( 2 λ + n 1 )
+ g Θ f H ( f ) , g α β ¯ B ( f ) ( T β ¯ , T α )
g α β ¯ b = 1 2 n g Θ f B ( f ) ( T β ¯ , E b ) , B ( f ) ( E b , T α )
+ f g Θ trace G θ Π H ( M ) U , g α β ¯ U ( T β ¯ , T α )
g α β ¯ b = 1 2 n f g Θ U ( T β ¯ , E b ) , U ( E b , T α )
i n f g Θ trace G θ Π H ( M ) U , T + 2 i f g Θ g α β ¯ U ( T β ¯ , T α ) , T ,
where R = g α β ¯ R α β ¯ is the pseudohermitian scalar curvature of ( M , θ ) (see e.g., [3], p. 50). Note that for every bilinear form B on T ( M )
trace G θ Π H ( M ) B = g α β ¯ B T α , T β ¯ + complex conjugate .
The identity (147) with τ A = 0 is
B ( f ) ( V , W ) = B ( f ) ( W , V ) 2 ( f g Θ ) ( V , J W ) T A
for any V , W X ( M ) ; hence
B ( f ) ( T β ¯ , T α ) = B ( T α , T β ¯ ) 2 i ( f g Θ ) ( T α , T β ¯ ) T A ,
yielding
H ( f ) = 2 g β ¯ α B ( f ) T β ¯ , T α + 2 i g α β ¯ ( f g Θ ) ( T α , T β ¯ ) T A .
Note that for any X , Y H ( M ) , as f is a CR map,
f g Θ ( X , Y ) = g Θ f f X , f Y = G Θ f ( f , f Y ) = ( f G Θ ) ( X , Y ) ,
that is,
f g Θ ( X , Y ) = G θ ( X , Y ) .
Hence, as f g Θ is symmetric, and by (249),
2 g α β ¯ ( f g Θ ) ( T α , T β ¯ ) = trace G θ Π H ( M ) f g Θ
= a = 1 2 n f g Θ ( E a , E a ) = a = 1 2 n G θ ( E a , E a ) ,
that is,
g α β ¯ ( f g Θ ) ( T α , T β ¯ ) = n .
Consequently, (248) simplifies to
g β ¯ α B ( f ) T β ¯ , T α = 1 2 H ( f ) 2 i n T A .
Next, by (146) with τ A = 0 ,
U ( V , W ) U ( W , V ) = Tor ( V , W ) Tor ( V , W )
= 2 ( f g Θ ) ( V , J W ) T A 2 θ τ Ω T ( V , W ) ,
hence
U ( T α , T β ¯ ) = U ( T β ¯ , T α ) + 2 i ( f g Θ ) ( T α , T β ¯ ) T A 2 i g α β ¯ T ,
yielding
trace G θ Π H ( M ) U = 2 g β ¯ α U ( T β ¯ , T α )
+ 2 i g α β ¯ ( f g Θ ) ( T α , T β ¯ ) T A 2 i n T
or, by (250),
g β ¯ α U ( T β ¯ , T α ) = 1 2 trace G θ Π H ( M ) U i n T A + i n T .
Substitution from (251)–(253) into (247) leads to
R = 2 n ( λ + n ) + 1 2 H ( f ) g Θ 2 i n Θ f H ( f )
g α β ¯ b = 1 2 n g Θ f B ( f ) ( T β ¯ , E b ) , B ( f ) ( E b , T α )
+ 1 2 trace G θ Π H ( M ) U f g Θ 2
i n ( f g Θ ) trace G θ Π H ( M ) U , T A
g α β ¯ b = 1 2 n f g Θ U ( T β ¯ , E b ) , U ( E b , T α )
+ i ( f g Θ ) ( trace G θ Π H ( M ) U , T )
because, as H ( f ) C ( E ( f ) ) ,
g Θ f H ( f ) , T A = g Θ f H ( f ) , T A = Θ f ( H ( f ) ) ,
f g Θ T A , T = g Θ f f T A , f T = g Θ f T A , f T
= Θ f f T = ( f Θ ) ( T ) = θ ( T ) = 1 .
Let { ξ σ : 1 σ 2 k } be a local g Θ f -orthonormal frame of E ( f ) , so that B ( f ) = B σ ( f ) ξ σ for some field B σ ( f ) of scalar C ( M ) -bilinear forms on T ( M ) . Then,
B σ ( f ) ( V , W ) = ( f g Θ ) ( a ξ σ V , W ) .
In particular, for any V , W , Y , Z X ( M )
g Θ f B ( f ) ( V , W ) , B ( f ) ( Y , Z ) = σ = 1 2 k ( f g Θ ) ( a σ V , W ) ( f g Θ ) ( a σ Y , Z )
where a σ a ξ σ . Consequently,
g α β ¯ b = 1 2 n g Θ f B ( f ) ( T β ¯ , E b ) , B ( f ) ( E b , T α )
= b = 1 2 n σ = 1 2 k g β ¯ α ( f g Θ ) ( a σ T β ¯ , E b ) ( f g Θ ) ( a σ E b , T α ) .
Next, for any V , W X ( M ) and ξ C ( E ( f ) )
( f g Θ ) ( a ξ V , W ) = g Θ f B ( f ) ( V , W ) , ξ
= g Θ f B ( f ) ( W , V ) , ξ 2 ( f g Θ ) ( V , J W ) g Θ f ( T A , ξ )
or
( f g Θ ) ( a ξ V , W ) = ( f g Θ ) ( a ξ W , V ) 2 ( f g Θ ) ( V , J W ) Θ f ( ξ ) .
Therefore, the failure (as compared to the theory of isometric immersions) of the pseudohermitian Weingarten operator a ξ to be self-adjoint (with respect to f g Θ ) is compensated by (256). Consequently,
( f g Θ ) ( a σ T β ¯ , E a ) = ( f g Θ ) ( a σ E a , T β ¯ ) 2 ( f g Θ ) ( T β ¯ , J E a ) Θ f ( ξ σ ) ,
and (255) becomes
g α β ¯ a = 1 2 n g Θ f B ( f ) ( T β ¯ , E a ) B ( f ) ( E a , T α )
= a , σ g α β ¯ ( f g Θ ) ( a σ E a , T α ) ( f g Θ ) ( a σ E a , T β ¯ )
2 a , σ Θ f ( ξ σ ) g α β ¯ ( f g Θ ) ( a σ E a , T α ) ( f g Θ ) ( T β ¯ , J E a ) ,
and, as { E a : 1 a 2 n } is G θ -orthonormal,
2 a , σ g α β ¯ ( f g Θ ) ( a σ E a , T α ) ( f g Θ ) ( T β ¯ , J E a )
= 2 a , σ g α β ¯ ( f g Θ ) ( a σ E a , T α ) G θ ( T β ¯ , J E a )
= 2 i a , σ g α β ¯ ( f g Θ ) ( a σ E a , T α ) G θ ( T β ¯ , E a )
so that
g α β ¯ a = 1 2 n g Θ f B ( f ) ( T β ¯ , E a ) B ( f ) ( E a , T α )
= 1 2 a , σ trace G θ Π H ( M ) ( f g Θ ) ( a σ E a , · ) ( f g Θ ) ( a σ E a , · )
2 i a , σ g α β ¯ ( f g Θ ) ( a σ T β ¯ , T α ) .
Starting again from
( f g Θ ) ( a ξ X , Y ) = ( f g Θ ) ( a ξ Y , X ) 2 Ω ( X , Y ) Θ f ( ξ )
for X = T α , Y = T β ¯ , and ξ = ξ σ , one has
( f g Θ ) ( a σ T α , T β ¯ ) = ( f g Θ ) ( a σ T β ¯ , T α ) + 2 i g α β ¯ Θ f ( ξ σ )
or, by contraction with g α β ¯ ,
g α β ¯ ( f g Θ ) ( a σ T α , T β ¯ ) = g β ¯ α ( f g Θ ) ( a σ T β ¯ , T α ) + 2 i n Θ f ( ξ σ ) ,
yielding
trace G θ Π H ( M ) f g Θ ( a σ · , · )
= 2 g β ¯ α ( f g Θ ) ( a σ T β ¯ , T α ) + 2 i n Θ f ( ξ σ ) .
Finally, the identity
( f g Θ ) ( a ξ X , Y ) = g Θ f B ( f ) ( X , Y ) , ξ , X , Y H ( M )
furnishes
trace G θ Π H ( M ) ( f g Θ ) ( a ξ · , · ) = g Θ f H ( f ) , ξ .
Therefore, the identities (258) and (259) yield
2 g β ¯ α ( f g Θ ) ( a σ T β ¯ , T α ) = g Θ f H ( f ) , ξ σ 2 i n Θ f ( ξ σ ) .
Substitution from (260) into (257) gives
g β ¯ α a g Θ f B ( f ) ( T β ¯ , E a ) , B ( E a , T α )
= 1 2 a , b , σ f g Θ a σ E a , E b 2 2 n σ Θ f ( ξ σ ) 2 i Θ f H ( f ) .
Note that
σ = 1 2 k Θ f ( ξ σ ) 2 = σ g Θ f T A f , ξ σ 2 = T A g Θ f 2 .
Again, by (252) for V = E b and W = T α ,
U ( E b , T α ) = U ( T α , E b ) 2 i G θ ( E b , T α ) T A
so that
g α β ¯ a ( f g Θ ) U ( T β ¯ , E a ) , U ( E a , T α )
= g α β ¯ a ( f g Θ ) U ( T β ¯ , E a ) , U ( T α , E a )
2 i g α β ¯ a ( f g Θ ) U ( T β ¯ , E a ) , T A G θ ( E a , T α )
= 1 2 a trace G θ Π H ( M ) ( f g Θ ) U ( · , E a ) , ( · , E a )
2 i g α β ¯ a θ U ( T β ¯ , E a ) G θ ( E a , T α )
or
g α β ¯ a ( f g Θ ) U ( T β ¯ , E a ) , U ( E a , T α )
= 1 2 a , b U ( E b , E a ) f g Θ 2 2 i g α β ¯ θ U ( T β ¯ , T α ) .
Substitution from (253) into (262) yields, by θ ( T ) = 1 and
θ ( T A ) = 1 T A g Θ f 2 , ( f g Θ ) ( V , T A ) = θ ( V ) ,
g β ¯ α a g Θ f B ( f ) ( T β ¯ , E a ) , B ( E a , T α ) = 1 2 a , b , σ f g Θ a σ E a , E b 2 i θ trace G θ Π H ( M ) U + 2 n T A g Θ f 2 .
Finally, let us substitute from (261) and (263) into (254) so as to obtain
R = 2 n ( λ + n + 1 ) + 1 2 H ( f ) g Θ f 2 + trace G θ Π H ( M ) U f g Θ 2
1 2 a , b σ ( f g Θ ) ( a σ E a , E b ) 2 + U ( E a , E b ) f g Θ 2
i ( n 1 ) Θ f H ( f ) + θ trace G θ Π H ( M ) U ,
and the last term vanishes because of
Θ f B ( f ) ( X , Y ) + θ U ( X , Y )
= g Θ f B ( f ) ( X , Y ) , T A + θ ( X Y )
= g Θ f B ( f ) ( X , Y ) , T A + ( f g Θ ) ( X Y , T A )
by the pseudohermitian Gauss equation
= g Θ f D X f f Y , T A + g Θ f ( f X Y , f T A )
= g Θ f D X f f Y , T A + g Θ f ( D X f f Y , f T A )
by T A + f T A = T A f
= g Θ f D X f f Y , T A f = Θ f D X f f Y = 0
for any X , Y H ( M ) , because H ( A ) is parallel with respect to D. We may conclude that
R = 2 n ( λ + n + 1 ) + 1 2 H ( f ) g Θ f 2 + trace G θ Π H ( M ) U f g Θ 2 1 2 a , b σ ( f g Θ ) ( a σ E a , E b ) 2 + U ( E a , E b ) f g Θ 2 ,
yielding the inequality
R 2 n ( λ + n + 1 ) + 1 2 H ( f ) g Θ f 2 + trace G θ Π H ( M ) U f g Θ 2
with equality if and only if B ( f ) ( E a , E b ) = 0 and U ( E a , E b ) = 0 . Theorem 1 is proved.

12. Final Comments and Open Problems

Proper holomorphic maps of balls Φ : B N B N + 1 , N 2 , and their boundary values f : S 2 N 1 S 2 N + 1 are fairly well understood from the point of view of complex analysis of functions of several complex variables. Here, B N + 1 = { Z C N + 1 : | Z | < 1 } . For instance, by a classic result of S.M. Webster (see [11]), if N 3 and Φ is C 3 up to the boundary, then Φ is linear fractional. While Webster’s theorem does not apply to the case n = 2 (Alexander’s map Φ ( z , w ) = z 2 , 2 z w , w 2 is indeed a counterexample; see [33]), proper holomorphic maps Φ : B 2 B 3 that are C 3 up to the boundary were fully classified by J.J. Faran up to spherical equivalence (see [34]). [Two maps Φ , Ψ : B 2 B 3 are spherically equivalent if Ψ = ζ Φ ξ 1 for some ξ Hol ( B 2 ) and ζ Hol ( B 3 ) .] Let O ( 2 , 3 ) be the set of all proper holomorphic maps from B 2 into B 3 . Let P ( 2 ,   3 ) consist of all Φ O ( 2 , 3 ) such that Φ extends holomorphically past the boundary of B 2 , and let P ( 2 ,   3 ) be the corresponding quotient space, modulo spherical equivalence. Faran’s result is that
P ( 2 ,   3 ) = F , A 0 , A 1 , I ,
Φ F F , Φ A t A t , Φ I I , t { 0 , 1 } ,
Φ F ( z , w ) = z 3 , 3 z w , w 3 , Φ A 0 ( z , w ) = z 2 , 2 z w , w 2 ,
Φ A 1 ( z , w ) = z , z w , w 2 , Φ I ( z , w ) = 0 , z , w ,
for any ( z , w ) B 2 . Let C b be the boundary values of the class C P ( 2 ,   3 ) ; i.e., C b consists of all maps f : S 3 S 5 such that j 2 f = Φ j 1 as Φ ranges over C . Here, j N : S 2 N + 1 C N + 1 denotes the inclusion. When it comes to pseudohermitian geometry, however, the properties of the maps f C b are not well understood so far. That is, aside from the natural CR structures, when one endows S 3 and S 5 with the standard Riemannian metrics (coinciding with the Webster metrics) associated with the canonical choice of contact forms θ = i 2 ( ¯ ) | z | 2 and Θ = i 2 ( ¯ ) | Z | 2 , the study of the geometry of the second fundamental form of maps f C b is an open problem. A pioneering paper in this direction is [35], aiming to find subelliptic harmonic representatives of C b for each of the four classes C P ( 2 ,   3 ) (see Corollary 1 in [35], p. 1470).
A classification of CR maps f : S 3 Λ + × i R 3 , where Λ + = { ( x 1 , x 2 , x 3 ) R 3 : x 1 2 + x 2 2 x 3 2 = 0 , x 3 > 0 } , was undertaken by M. Reiter and D-N. Son (see [36]), whose list, similar to Faran’s list, consists of four algebraic maps and classifies the proper holomorphic maps Φ : B 2 D (with D C 3 biholomorphically equivalent to the bounded symmetric domain D 3 = Z C 3 : | Z | < 1 , 1 2 | Z | 2 + | Z τ Z | 2 > 0 ; see, e.g., [37]) that extend past the boundary of B 2 . 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 Φ : B n and are rigid when n 4 , in the sense of M. Xiao and Y. Yuan [38]. 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 [10], Volume II, p. 43) for CR immersions f : M S 2 N + 1 will require a pseudohermitian version of the Codazzi equation to be derived, by an elementary asymptotic analysis, as ϵ 0 + , from the Codazzi Equation (95) for the isometric immersion f : ( M , g ϵ ( f ) ) ( S 2 N + 1 , g ϵ A ) . The Authors are grateful to the anonymous referee for suggesting a connection between the present paper and the work by Y. Li et al. [39].

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

  1. Webster, S.M. Pseudohermitian structures on a real hypersurface. J. Differ. Geom. 1978, 13, 25–41. [Google Scholar]
  2. Tanaka, N. A Differential Geometric Study on Strongly Pseudo-Convex Manifolds; Lectures in Mathematics; Department of Mathematics, Kyoto University: Tokyo, Japan, 1975. [Google Scholar]
  3. 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]
  4. 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]
  5. Dragomir, S.; Perrone, D. Harmonic Vector Fields: Variational Principles and Differential Geometry; Elsevier: Amsterdam, The Netherlands, 2012. [Google Scholar]
  6. Barletta, E.; Dragomir, S. Jacobi fields of the Tanaka–Webster connection on Sasakian manifolds. Kodai Math. J. 2006, 29, 406–454. [Google Scholar] [CrossRef]
  7. 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]
  8. Strichartz, R.C. Sub-Riemannian geometry. J. Differ. Geom. 1986, 24, 221–263. [Google Scholar] [CrossRef]
  9. Do Carmo, M.P. Differential Geometry of Curves and Surfaces; Prentice-Hall, Inc.: Englewood Cliffs, NJ, USA, 1976. [Google Scholar]
  10. Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Interscience Publishers: New York, NY, USA, 1963; Volume I, 1968; Volume II. [Google Scholar]
  11. Webster, S.M. The Rigidity of C-R Hypersurfaces in a Sphere. Indiana Univ. Math. J. 1979, 28, 405–416. [Google Scholar] [CrossRef]
  12. Ebenfelt, P.; Huang, X.; Zaitsev, D. Rigidity of CR-immersions into Spheres. Commun. Anal. Geom. 2004, 12, 631–670. [Google Scholar] [CrossRef]
  13. Lamel, B. A reflection principle for real-analytic submanifolds of complex spaces. arXiv 1999, arXiv:9904118. [Google Scholar] [CrossRef]
  14. Lamel, B. Holomorphic maps of real submanifolds in complex spaces of different dimensions. Pac. J. Math. 2001, 201, 357–387. [Google Scholar] [CrossRef]
  15. Dragomir, S. Pseudohermitian immersions between strictly pseudoconvex CR manifolds. Am. J. Math. 1995, 117, 169–202. [Google Scholar] [CrossRef]
  16. Spallek, K. MR1314462. Math. Rev. 1996, 97, 32008. [Google Scholar]
  17. 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]
  18. Dragomir, S.; Minor, A. CR immersions and Lorentzian geometry. Part II: A Takahashi type theorem. Ric. Mat. 2014, 63, 15–39. [Google Scholar] [CrossRef]
  19. Dragomir, S. Cauchy-Riemann geometry and subelliptic theory. Lect. Notes Semin. Interdiscip. Mat. 2008, VII, 121–160. [Google Scholar]
  20. Chen, B.-Y. Geometry of Submanifolds; Marcel Dekker, Inc.: New York, NY, USA, 1973. [Google Scholar]
  21. 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]
  22. Bott, R.; Tu, L.W. Differential Forms in Algebraic Topology; Springer: New York, NY, USA; Berlin/Heidelberg, Germany, 1982. [Google Scholar]
  23. 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]
  24. Lewy, H. An example of a smooth linear partial differential equation without solution. Ann. Math. 1957, 66, 155–158. [Google Scholar] [CrossRef]
  25. Barletta, E.; Dragomir, S. Sublaplacians on CR manifolds. Bull. Math. Soc. Sci. Math. Roum. 2009, 52, 3–32. [Google Scholar]
  26. Hörmander, L. Hypoelliptic second-order differential equations. Acta Math. 1967, 119, 147–171. [Google Scholar] [CrossRef]
  27. Barletta, E. On the pseudohermitian sectional curvature of a strictly pseudoconvex CR manifold. Differ. Geom. Appl. 2007, 25, 612–631. [Google Scholar] [CrossRef]
  28. Jost, J.; Xu, C.-J. Subelliptic harmonic maps. Trans. Am. Math. Soc. 1998, 350, 4633–4649. [Google Scholar] [CrossRef]
  29. Shimakura, N. Partial Differential Operators of Elliptic Type; Translations of Mathematical Monographs; American Mathematical Society: Providence, RI, USA, 1992; Volume 99. [Google Scholar]
  30. Takahashi, T. Minimal immersions of Riemannian manifolds. J. Math. Soc. Jpn. 1966, 18, 380–385. [Google Scholar] [CrossRef]
  31. Nash, J. The imbedding problem for Riemannian manifolds. Ann. Math. 1956, 63, 20–63. [Google Scholar] [CrossRef]
  32. Greene, R.E.; Jacobowitz, H. Analytic isometric embeddings. Ann. Math. 1971, 93, 189–204. [Google Scholar] [CrossRef]
  33. Alexander, H. Proper holomorphic mappings in n. Indiana Univ. Math. J. 1977, 26, 137–146. [Google Scholar] [CrossRef]
  34. Faran, J.J. Maps from the two-ball to the three-ball. Invent. Math. 1982, 68, 441–475. [Google Scholar] [CrossRef]
  35. Barletta, E.; Dragomir, S. Proper holomorphic maps in harmonic map theory. Ann. Mat. 2015, 194, 1469–1498. [Google Scholar] [CrossRef]
  36. 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]
  37. De Fabritiis, C. Differential geometry of Cartan Domains of type four. Rend. Mat. Accad. Lincei 1990, 1, 131–138. [Google Scholar]
  38. 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]
  39. 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.

Share and Cite

MDPI and ACS Style

Barletta, E.; Dragomir, S.; Esposito, F. C-R Immersions and Sub-Riemannian Geometry. Axioms 2023, 12, 329. https://doi.org/10.3390/axioms12040329

AMA Style

Barletta E, Dragomir S, Esposito F. C-R Immersions and Sub-Riemannian Geometry. Axioms. 2023; 12(4):329. https://doi.org/10.3390/axioms12040329

Chicago/Turabian Style

Barletta, Elisabetta, Sorin Dragomir, and Francesco Esposito. 2023. "C-R Immersions and Sub-Riemannian Geometry" Axioms 12, no. 4: 329. https://doi.org/10.3390/axioms12040329

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop