Eigenvalues of the Kohn Laplacian and deformations of pseudohermitian structures on CR manifolds

We study the eigenvalues of the Kohn Laplacian on a closed embedded strictly pseudoconvex CR manifold as functionals on the set of positive oriented pseudohermitian structures $\mathcal{P}_{+}$. We show that the functionals are continuous with respect to a natural topology on $\mathcal{P}_{+}$. Using an adaptation of the standard Kato--Rellich perturbation theory, we prove that the functionals are (one-sided) differentiable along 1-parameter analytic deformations. We use this differentiability to define the notion of critical pseudohermitian structures, in a generalized sense, for them. We give a necessary (also sufficient in some situations) condition for a pseudohermitian structure to be critical. Finally, we present explicit examples of critical pseudohermitian structures on both homogeneous and non-homogeneous CR manifolds.


Introduction
Let (M 2n+1 , θ) be a compact strictly pseudoconvex pseudohermitian manifold, ∂b the tangential Cauchy-Riemann operator, and ∂ * b the adjoint with respect to the volume form dvol θ := θ ∧ (dθ) n .The Kohn Laplacian acting on functions is defined by b = ∂ * b ∂b .It is well-known that b is nonnegative and self-adjoint with noncompact resolvent on the Hilbert space L 2 (M, dvol θ ) of the complex-valued square-integrable functions on M .Here, the inner product on L 2 (M, dvol θ ) is defined by φ, ψ := M φ ψ dvol θ .This operator plays an important role in many problems in several complex variables and CR geometry, see, e.g.[9] and [10].In particular, its spectrum contains rich geometric information about the underlying CR manifolds (see, e.g.[8,16] and the references therein).
The spectral theory for the Kohn Laplacian in the strictly pseudoconvex case is well understood.It is proved by Beals-Greiner [6] for the case n ≥ 2 and Burns-Epstein [8] for the case n = 1 that the spectrum of b in (0, ∞) consists of point eigenvalues of finite multiplicities (the case n ≥ 2 is even simpler, thanks to Kohn's Hodge theory, see, e.g, [9,16]).Moreover, by Kohn [12], M is embeddable if and only if zero is an isolated eigenvalue of b .Thus, if M is embeddable, then spec ( b ) ∩ (0, +∞) consists of countably many eigenvalues of finite multiplicities, 0 < λ 1 ≤ λ 2 ≤ • • • , with λ j → ∞ as j → ∞.Moreover, for j ≥ 1, the corresponding eigenfunctions are smooth.By the work of Boutet de Monvel [7], the embeddability holds for compact strictly pseudoconvex CR manifolds if n ≥ 2.
In recent years, there is much effort devoted to the study of the first positive eigenvalue λ 1 of the Kohn Laplacian.In particular, estimates for λ 1 have been studied extensively, see [16,17,18] and the references therein.In the present paper, we consider, for each k ≥ 1, the k-th eigenvalue λ k (θ) = λ k ( θ b ) as a functional on the space of positive pseudohermitian structures P + := {e u θ : u ∈ C ∞ (M )} and study its behavior under deformations of the pseudohermitian structures.This study is motivated by previous work about spectral theory in Riemannian and CR geometries; see e.g.[11,3,4].
The first result of this paper establishes the continuity of eigenvalue functionals with respect to deformations of the contact forms.Precisely, fix a reference structure θ 0 on P + and consider the C 1 -distance on P + given by where θ = e u θ 0 and θ ′ = e u ′ θ 0 .The continuity of the λ k -functionals is stated as follows.
The proof is based on an analogue of the "Max-mini principle" for the eigenvalues of the Kohn Laplacian (see [5,3] for the (sub-)Laplacian counterparts).A new difficulty that arises in our situation is the fact that the kernel ker( b ) is nontrivial.In fact, ker( b ) consists of CR functions and has infinite dimension.We overcome this difficulty by restricting b to the orthogonal complement of its kernel.We point out, however, that the orthogonality also depends on the pseudohermitian structure.
An immediate application of Theorem 1.1 is the semi-continuity of the multiplicities of the eigenvalues.Precisely, let m k (θ) be the multiplicity of the eigenvalue λ k (θ), i.e., Adapting the proof of Corollary 2.12 in [23], we obtain from Theorem 1.1 the following corollary.
Corollary 1.2.Let (M, θ) be an embeddable strictly pseudoconvex pseudohermitian manifold.Then there exists δ > 0 such that whenever θ ∈ P + with d 0 ( θ, θ) < δ, then Subsequent results of this paper establish the one-sided differentiability of λ k -functionals and the criticality of pseudohermitian structures with respect to 1-parameter (smooth or analytic) deformations.Namely, let e ut θ be an analytic deformation of the pseudohermtian structure.For each k ≥ 1, the function t → λ k (θ t ) is differentiable at almost every t, but it may fail to be differentiable at certain points.However, by an adaptation of the perturbation theory for unbounded self-adjoint operators with compact resolvent of Rellich-Alekseevsky-Kriegl-Losik-Michor, see F. Rellich [20], D. Alekseevski & A. Kriegl & M. Losik & P.W. Michor [1], and A. Kriegl & P.W. Michor [14], we prove that the function t → λ k (θ t ) admits left-sided and right-sided derivatives at t = 0.The left and right derivatives can be expressed in terms of the eigenvalues of the Hermitian form defined as follows: Let Then the restriction eigenvalues, counting multiplicities.Our next result is as follows.
(ii) The one-side derivatives This theorem should be compared to similar results for Laplacian [11] and sub-Laplacian on CR manifolds [4].In view of this theorem, we define the notion of critical pseudohermitian structures for the λ k -functional as follows: We first denote by P 0 + the space of strictly pseudoconvex pseudohermitian structures with unit volume, i.e., We say that a pseudohermitian structure θ is critical for the λ k -functional restricted to P 0 + if for any analytic deformation {θ(t) = e ut θ} ⊂ P 0 + with θ(0) = θ, we have If θ is critical for the λ k -functional, then for any analytic deformation of unit volume t → θ(t) (i.e.θ(t) ∈ P 0 + for all t), either Observe that if k = 1 then only the first possibility can occur.
In the next result, we give a characterization of the criticality for the λ k -functional.
Theorem 1.4.Let M be an embeddable strictly pseudoconvex CR manifold and θ ∈ P 0 + .If θ is critical for the λ k -functional restricted to P 0 + , then there exists a finite family ψ 1 , . . ., ψ d of eigenfunctions corresponding to λ k such that Here L is defined by (1.5).
, then the existence of such a family of eigenfunctions is also sufficient for θ to be critical for the λ k -functional.
We should point out that although the characterization (1.11) is similar to the Riemannian case [11] and sub-Riemannian case [4] (see also [2] for a similar result in Kähler case), our case exhibits an important difference.Precisely, it is proved in [11] that the criticality of the λ k (∆)-functional of the Laplacian is characterized by the existence of a finite collection of λ k (∆)-eigenfunctions f j such that the sum of squares d is constant on the manifold.In our characterization, the identity (1.11) contains not only the sum of squared norms of the eigenfunctions, but also their first-order derivatives.It is natural to ask whether the term involving derivatives in (1.11) can be removed?It is worth noting that in the examples of critical pseudohermitian structures given in Section 6, there always exist collections of eigenfunctions whose sums of squared norms are constant.However, a difficulty in our situation comes from the fact that b is generally a complex operator and hence the eigenfunctions are not necessarily real-valued.This makes the method treating the Laplacian [11] and sub-Laplacian [3] cases break down in the Kohn Laplacian case.Nevertheless, the characterization (1.11) still leads to the following corollary.
The paper is organized as follows.In Section 2, we study the continuity of eigenvalue functionals and prove Theorem 1.1 and Corollary 1.2.In Section 3, we study parametrizations of the eigenvalues using the classical perturbation theory that is adapted to our situation.We study the critical pseudohermitian structures and prove Theorem 1.4 and Corollary 1.5 in Section 4. In Section 5, we extend some results for λ k -functionals to the case of ratio functionals λ k+1 λ k of two consecutive eigenvalues and give characterizations of critical pseudohermitian structures for them.In Section 6, we give several explicit examples of both homogeneous and nonhomogeneous critical structures.

Continuity of the eigenvalue functionals
2.1.The Kohn Laplacian on pseudohermitian manifolds.We briefly recall some basic notions of pseudohermitian geometry and the Kohn Laplacian on pseudohermitian manifolds.For more details, we refer the readers to [10] and [9].Let (M, θ) be a strictly pseudoconvex pseudohermitian manifold.Let T be the Reeb field associated to θ, i.e., T is the unique real vector field that satisfies T ⌋dθ = 0 and θ(T ) = 1.An admissible coframe on an open subset of M is a collection of n complex (1, 0)-forms θ 1 , θ 2 , . . .θ n whose restrictions to T 1,0 M form a basis for (T 1,0 M ) * and θ α (T ) = 0.There exists a holomorphic frame {Z α : α = 1, 2, . . .n} of T 1,0 M such that {T, Z α , Z ᾱ} is the dual frame for {θ, θ α , θ ᾱ}.The Levi form associated to θ is given by the Hermitian matrix h α β , where In terms of the Tanaka-Webster covariant derivatives (see [10]), If M is compact and embeddable, then ker b consists of the CR functions and is of infinite dimension.In particular, ker b does not depend on the choice of the pseudohermitian structure.As already mentioned in the introduction, the basic spectral theory for the Kohn Laplacian on compact embeddable strictly pseudoconvex pseudohermitian manifolds are well understood, see, e.g., [9].We shall need a formula relating the Kohn Laplacian operators associated to different pseudohermitian structures.Observe that if θ = e u θ, then (2.3) Furthermore, the Kohn Laplacian changes as follows: Proposition 2.1.Let (M, θ) be a pseudohermitian manifold and let θ = e u θ.Denote by b and ˆ b the Kohn Laplacian operators that correspond to θ and θ, respectively.Then Proof.We can assume that f is smooth.Choose a local holomorphic frame {Z α } and its dual coframe {θ α } that is admissible for θ.If θ = e u θ, then we can take Ẑα = e −u/2 Z α and its dual coframe θα = e u/2 (θ α + √ −1u α θ).Then the corresponding Levi matrices satisfy ĥβγ = h βγ .Furthermore, the connection forms ω β α and ωβ α satisfy [15], Denote ∇β = ∇ Ẑβ , ∇ β = ∇ Z β the Tanaka-Webster covariant differentiation with respect to θ and θ in the corresponding frames Ẑβ and Z β .Then, by (2.5), Taking the trace with respect to ĥβγ , we obtain (2.4).The proof is complete.
2.2.The Max-mini principle.In this section, we prove an analogue for the Kohn Laplacian of the well-known Max-mini principle for eigenvalues of the (sub-)Laplacian in [5] and [3].This is an important ingredient for our proof of Theorem 1.1.Precisely, for each (2.7) Lemma 2.2 (Max-mini Principle).Let (M, θ) be a compact embeddable strictly pseudoconvex pseudohermitian manifold.Then where the infimum is taken over all subspaces Proof.Let {e j } ∞ j=1 be a complete orthonormal system of (smooth) eigenfunctions of (ker b ) ⊥ , with b e j = λ j e j .For arbitrary f ∈ L 2 (M, dvol θ ), we expand where f 0 is CR holomorphic, a j (f ) ∈ C, and the series is convergent in Thus, b f = k j=1 a j (f )λ j e j , and hence, (2.12) Here we have used an argument that is somewhat similar to those in [5] and [3].
(2.18) By (2.4), we have We deduce, since dvol θ = e (n+1)u dvol θ , that We have used |u| < δ, |∂ b u| θ ≤ δ ′ on M , and the Cauchy-Schwarz inequality.On the other hand, We then deduce that From the Max-Mini principle, we deduce that This is the second inequality in (1.2).To prove the first inequality, we exchange the roles of θ and θ.Observe that θ = e −u θ and | ∂b u| θ = e u/2 | ∂b u| θ < e δ/2 δ ′ .From the argument above, which clearly implies the first inequality in (1.2).The proof is complete.

Derivatives of the eigenvalue functionals
We make use of a perturbation result which is an adaptation of the well-known general theory due to Rellich [20], Alekseevsky, Kriegl, Losik, and Michor [1] for unbounded self-adjoint operators with compact resolvents.The literature regarding the perturbation theory for self-adjoint operators is vast and we cannot describe it in detail here.We refer the readers to, e.g., [20,14] and the references therein for a detailed account.
Proposition 3.1.Let t → A(t) be an analytic curve of (possibly unbounded) closed operators on a Hilbert space H, with a common domain of definition and with compact resolvents.Suppose that, for each t, the spectrum of A(t) is a discrete set of positive real eigenvalues with finite multiplicities.Suppose further that the eigenvectors of A(t) form a basis for H and that the global resolvent set {(t, z) : A(t) − z is invertible } is open.Then the eigenvalues and the eigenvectors of A(t) may be parametrized real analytically in t, locally.
An well-known argument in the literature (see, e.g., Theorem 7.8 in [1] or [14]) reduces the parametrizations of the eigenvalues of a family of self-adjoint operators to those of the real roots of hyperbolic polynomials.The proof sketched below uses an argument that is almost the same: The only difference is that instead of assuming the self-adjointness, we assume the operators A(t) have "nice" spectra, namely, the eigenvalues of A(t) are real and they have "enough" eigenvectors.These assumptions guarantee that the finite family of the eigenvalues that are enclosed by a certain curve in the global resolvent set are the real roots of an analytically parametrized hyperbolic polynomial.Moreover, the direct sum of the corresponding eigenspaces admits an analytic framing.This implies that the eigenvectors are parametrized analytically, locally in t.
Precisely, let V be the common domain of definition of A(t) for all t.As in [1], put Then, for each t, (V, • t ) is a Hilbert space and A(t) : V → H is bounded.Moreover, the norms are locally uniformly equivalent in t [1].We equip V with one of the norms, say • t 0 .The map (t, z) → (A(t) − z) −1 is analytic for (t, z) in the global resolvent set (which is assumed to be open) since the inversion is analytic in the space L(V, H).
Fix a parameter s and choose a smooth and closed curve γ in the resolvent set of A(s) such that for all t that is close to s, there is no eigenvalue of A(t) lie on γ.This is possible under the assumption that the global resolvent set is open.The curve is a smooth curve of projections (onto the direct sums of the eigenspaces that correspond to the eigenvalues of A(t) interior to γ) with finite and constant rank, say N .This family of N -dimensional complex vector spaces t → P (t, γ)(H) admits a local analytic frame F. The operators A(t) map P (t, γ)(H) into itself.In the local analytic frame F, they are given by N × N matrices M t that are parametrized analytically in t.By assumptions, for each t, M t has N real eigenvalues which are precisely the eigenvalues of A(t) that are interior to γ.Moreover, the eigenvalues are the real roots of the (hyperbolic) characteristic polynomial P t of M t .Consequently, the eigenvalues of A(t) that are interior to γ are parametrized analytically near s.Since the frame of P (t, γ)(H) can be chosen locally analytically, the corresponding eigenvectors can also be chosen real analytically, as desired.Theorem 3.2.Let (M, θ) be a compact embeddable strictly pseudoconvex pseudohermitian manifold.Let θ(t) := e ut θ be an analytic deformation of θ.Let λ > 0 be an eigenvalue of b with multiplicity m.Then there exist ǫ > 0, a family of m real-valued analytic functions Λ j on (−ǫ, ǫ), and a family of smooth functions φ j (t) on M such that Proof.Let b,t be the Kohn Laplacian associated to θ(t).For each t, b,t is a self-adjoint operator in L 2 M, dvol θ(t) .Moreover, ker b,t = H is the subspace of CR functions.Note that H does not depend on t and is closed in L 2 M, dvol θ(t) for every t.We denote by Note that this orthogonal decomposition depends on t.For each t, the restriction b,t is an unbounded self-adjoint operator with compact resolvent (see, eg., [16]).The spectrum of b,t | H ⊥ t coincides with the spectrum of b,t with zero removed.
Consider the analytic family of operators Then P t is a family of (not necessary self-adjoint) operators with compact resolvents.Moreover, for each t, the spectrum of P t coincides with the spectrum of b,t | H ⊥ t .In particular, P t has a discrete spectrum consisting of real eigenvalues of finite multiplicities.
Observe that P t is analytic in t.Indeed, by Proposition 2.1, we have and the right-hand side depends analytically in t.
By the continuity of the eigenvalues proved in Theorem 1.1, the global resolvent set must be open.Therefore, we can apply Proposition 3.1 above to conclude that the eigenvalues of P t can be parametrized analytically on t, i.e., (i) holds.The conclusion (ii) also follows at once.
Proof of Theorem 1.3.Let m be the dimension of E k (θ), the eigenspace of b with eigenvalue λ k (0).We apply Theorem 3.2 to obtain m real-analytic functions Λ l (t) and m analytic families of smooth functions φ l (t) : By the continuity of the eigenvalues proved in Theorem 1.1, we deduce that there are two indices p and q such that λ k (θ(t)) = Λ p (t), t < 0, Λ q (t), t > 0. (3.8) From this, the existence of the left and right derivatives of t → λ k (θ(t)) follows immediately.
To prove (ii), we differentiate (3.7) to obtain By integration by parts, for all ψ ∈ E k (θ), where f = ∂u t /∂t| t=0 .On the other hand, Hence, the claim and (ii) follow.
We need the following result.
Lemma 4.1.Let M be a compact embeddable strictly pseudoconvex CR manifold and θ a pseudohermitian structure on M .Then the following statements hold.
(i) If θ is critical for the λ k -functional restricted to P 0 + , then for every Proof.(i) Let f ∈ A 0 (M, θ).By direct calculations (cf.[4], page 124), the pseudoconformal deformation of θ given by θ(t) = vol(θ) vol(e tf θ) belongs to P 0 + and depends analytically on t with d dt θ(t) t=0 = f θ, and Moreover, Now assuming θ is critical for λ k restricted to P 0 + , using Theorem 1.3, we obtain that Q f | E k has both nonnegative and nonpositive eigenvalues and hence (i) follows.
(ii) Let θ(t) = e ut θ ∈ P 0 + be an analytic deformation of θ.Since vol(θ(t)) is constant with respect to t, the function Thus (ii) follows in view of Theorem 1.3.
for some constant C > 0.
Proof.We use an argument that is by now standard (cf.[4]).First, assume that (1.11) holds, then for any f ∈ A 0 (M, θ), it holds that Therefore, For each k, let C k be the convex set of L 2 (M, dvol θ ) defined as follows.
Using a stardard argument based on the classical separation theorem (cf.[4]), we can show that the constant 1 belongs to C k .Indeed, if 1 ∈ C k , then we can find a smooth real-valued function h such that M |h| 2 dvol θ > 0 (4.9) and M hw dvol θ ≤ 0 (4.10) This contradicts the assumption that Q f is indefinite on E θ since the last integral is positive.Hence 1 ∈ C k and thus there exists a family of functions {ψ 1 , ψ 2 , . . ., ψ d } that satisfies (1.11).Moreover, integrating (1.11) and using integration by parts, we see that and hence C > 0 as desired.Corollary 4.3.Suppose that θ is critical for the λ k -functional.Then either λ k is a multiple eigenvalue or there exists a nontrivial eigenfunction ψ such that L(ψ) is a constant.
We have to leave open the question whether the latter case in the conclusion of Corollary 1.5 can happen.4.2.A refinement.As briefly discussed in the introduction, our characterization of the criticality for pseudohermitian structures (1.11) involves the first-order derivatives of the eigenfunctions.In this section, we show that under an additional condition, the term involving the derivatives can be removed.This follows from the lemma below.
We point out that condition (4.16) holds if either ψ j 's are real-valued for all j, or the conjugations ψ j are CR for all j.
Proof.Let ϕ = d j=1 |ψ j | 2 .Integrating both sides of (4.15) and using integration by parts, we have (we drop the volume form to simplify our notations) In the last inequality, we have used the fact that the average value of ϕ is 1.Therefore, ϕ must be a constant.The proof is complete.
More generally, (4.16) holds if ψ j 's satisfy the following Beltrami-type equation for CR quasiconformal mappings (see [13]), almost everywhere on M , where µ = µ α β is a tensor field whose operator norm (viewed as a field of complex linear mappings from (T 0,1 M ) * → (T 1,0 M ) * ) is less than one.We thus obtain the following corollary.
We introduce, for each θ ∈ P + , the operator where Π k : L 2 (M, Ψ θ ) → E k (θ) is the orthogonal projection and I is the identity.The Hermitian form naturally associated with P k , denoted by Q f , is defined as follows: For every (5.2) Theorem 5.1.Let (M, θ) be a compact embeddable strictly pseudoconvex pseudohermtian manifold.Then θ is critical for the functional λ k+1 λ k if and only if the Hermitian form Q f is indefinite on E k (θ) ⊗ E k+1 (θ) for every real-valued regular function f .Proof.Firstly, we consider the case λ k+1 (θ) = λ k (θ).The ratio functional λ k+1 /λ k attains a global minimum at θ and hence θ must be critical for the ratio functional.On the other hand, since Secondly, assume that λ k+1 (θ) > λ k (θ) and let θ(t) be an analytic deformation of θ.From Theorem 1.3, we have are the least and the greatest eigenvalues of (Π k • ′ b ) on E k (θ) respectively, and similarly for k + 1.Therefore, is the greatest eigenvalue of P k on E k (θ) ⊗ E k+1 (θ), and is the least eigenvalue of P k on E k (θ) ⊗ E k+1 (θ).Hence, the criticality of θ for the ratio functional λ k+1 λ k is equivalent to the fact that P k admits eigenvalues of both signs, which is equivalent to the indefiniteness of Q f on E k (θ) ⊗ E k+1 (θ).The proof is complete.Proposition 5.2.Let M be a compact embeddable strictly pseudoconvex CR manifold.For any pseudohermitian structure θ on M, the following conditions are equivalent.
Proof.The proof use similar arguments as in [11] and [4].For the implication (i) ⇒ (ii), recall that for each k, the convex cone C k ⊂ L 2 (M, θ; R) are defined by It suffices to prove that C k and C k+1 have a nontrivial intersection.Indeed, if otherwise, by the classical separation theorem, there exists a real-valued function h ∈ L 2 (M, θ; R) such that and M hw 2 ≤ 0, w 2 ∈ C k+1 . (5.8) Therefore, Q h (v, v) > 0 for all v ∈ E k and Q h (w, w) ≤ 0 for all w ∈ E k+1 .Hence (5.9) This contradicts the assumption that Q f is indefinite on E k (θ) ⊗ E k+1 (θ).Conversely, if ψ j and φ l are as above such that (5.6) holds, taking integral both sides and using integration by parts, we have Q f ψ j ⊗ φ l , ψ j ⊗ φ l ) = 0 (5.12) and thus Q f is indefinite, as desired.
Combining Theorem 5.1 and Proposition 5.2, we obtain the following corollary.where L is given by (1.5).
Example 6.4.This example generalizes the previous one.Let H p,q (S 2n+1 ) be the space of the restrictions to the sphere of the harmonic bihomogeneous polynomials of bidegree (p, q).Then H p,q (S 2n+1 ) is a subspace of the eigenspace E λ that corresponds to the eigenvalue λ = q(p + n).On the other hand, the unitary group U (n) acts transitively on S 2n+1 and preserves the standard pseudohermitian structure.Thus, if {ψ j } is an orthonormal basis for this eigenspace, then j L(ψ j ) = constant .(6.4) When p = 0, a similar identity holds if we take { ψ j } to be the orthonormal basis for H 0,q (S 2n+1 ), since U (n) also preserves the space of (anti) CR functions.Arguing similarly as in the proof of Corollary 1.5, we deduce that j | ψ j | 2 is constant on the sphere.The last assertion is essentially Theorem 1 in [21].Note in passing that since v j 's are also eigenfunctions for the sub-Laplacian that correspond to the eigenvalue λ(∆ b ) = n/r 2 .By previous result [4], θ is also critical for the eigenvalue of the sub-Laplacian and hence the map (z 1 , z 2 , . . ., z n+1 ) → (log |z 1 | 2 , . . ., log |z n+1 | 2 ) is a pseudoharmonic submersion onto the sphere.

. 1 )
Let ∂ b be the Cauchy-Riemann operator.For a smooth function f , it holds that ∂ b f = f α θ α (summation convention) where f α = Z α f .The formal adjoint of ∂ b on functions (with respect to the Levi form and the volume element dvol θ := θ ∧ (dθ) n ) is given by ∂ * b = −δ b .Here δ b is the divergence operator taking (1, 0)-forms to functions by δ b (σ α θ α ) = σ α, α .Here, a Greek index preceded by a comma indicates the covariant derivative with respect to the Tanaka-Webster connection on (M, θ).The Kohn Laplacian associated to θ acting on functions is b = ∂ * b ∂b , where ∂b is the conjugate of ∂ b .

4 . 5 4. 1 .
Proofs of Theorem 1.4 and Corollary 1.Proof of Theorem 1.4.We denote by A 0 (M, θ) the set of real-valued smooth functions f with zero mean on M :

Theorem 1 .
4 follows immediately from the two lemmas above.Proof of Corollary 1.5.Let a group G act transitively on M by pseudohermitian diffeomorphisms: g * θ = θ for each g ∈ G. Let {ψ 1 , ψ 2 , . . ., ψ d } be an orthonormal basis for E k , then, for each g ∈ G, {g • ψ j := ψ • g −1 } is also an orthonormal basis and thusg • ψ j = d k=1 a jk ψ k (4.13)for some d × d-unitary matrix [a jk ].This implies that invariant, and hence constant.By the same reason, d j=1 | ∂b ψ j | 2 is also a constant.The proof then follows from Theorem 1.4.