Abstract
We introduce a CR-invariant class of Lorentzian metrics on a circle bundle over a three-dimensional CR structure, which we call FRT metrics. These metrics generalise the Fefferman metric, allowing for more control of the Ricci curvature, but are more special than the shearfree Lorentzian metrics introduced by Robinson and Trautman.Our main result is a criterion for embeddability of three-dimensional CR structures in terms of the Ricci curvature of the FRT metrics in the spirit of the results by Lewandowski et al. (Class Quantum Gravity 7(11):L241–L246, 1990) and also Hill et al. (Indiana Univ Math J 57(7):3131–3176, 2008. https://doi.org/10.1512/iumj.2008.57.3473).
Similar content being viewed by others
1 Introduction
A three-dimensional strictly pseudoconvex almost CR structure is a three-dimensional manifold M with a contact distribution D and a smooth field of endomorphisms \(J_x:D_x\rightarrow D_x\) such that \(J_x^2=-\,\mathrm {id}\). Such structures naturally occur on strictly pseudoconvex real hypersurfaces M in \({\mathbb {C}}^2\) where
and \(J_x\) is the canonical complex structure on \(T_x{\mathbb {C}}^2\). The (local) embeddability (or realisability) problem asks whether there exists a (local) embedding \(\iota : M \rightarrow {\mathbb {C}}^2\) of the abstract CR manifold M such that the CR structures on \(\iota M\) induced by \(\iota \) and by \({\mathbb {C}}^2\) coincide. This problem is equivalent to finding two functionally independent CR functions, that is, solutions to the complex linear PDE
where \({\bar{\partial }}= X+\mathrm {i}JX\) for some non-vanishing section X of D.
While Eq. (1) has sufficiently many solutions for real-analytic CR structures (see e.g. [8]) to make them embeddable, it is well known that for almost all non-analytic CR structures only constant CR functions exist [9, 14, 15].
It has been known to physicists since the 1960s (see e.g. [4]) that the existence of a non-constant CR function on M is equivalent to the existence of a Lorentzian metric g on \({\mathcal {M}}=M\times {\mathbb {R}}\) that satisfies two properties
-
(a)
The fundamental vector field \(k=\partial _r\) of the line bundle \(M\times {\mathbb {R}}\) is null and shearfree with respect to g, that is, \(g(k,k)=0\) and
$$\begin{aligned} {\mathcal {L}}_k g= \rho g + \theta \vee \psi , \end{aligned}$$(2)where \({\mathcal {L}}\) is the Lie derivative, \(\rho \) is a function on \({\mathcal {M}}\), \(\theta =g(k,\cdot )\) and \(\psi \) is some 1-form on \({\mathcal {M}}\).
-
(b)
The complexified Ricci tensor of g vanishes on \(\alpha \)-planes, i.e. g is partially Ricci flat. (See (10) for the precise definitions.)
It turns out that the existence of non-constant solutions to (1) is not sufficient to guarantee embeddability of the CR structure [10]. A remarkable theorem by Jacobowitz [7] provides a criterion for embeddability of CR structures in terms of the canonical bundle (see Definition 5.2). Below we reformulate Jacobowitz’s more general result for three-dimensional CR structures.
Theorem 1.1
(Jacobowitz 1989) [7] Let (M, D, J) be a CR structure. Suppose that near some point \(p\in M\) the CR structure has a CR function \(\phi \) with \(d\phi \wedge d\bar{\phi }\ne 0\). If the canonical bundle associated with the CR structure has a non-vanishing closed section, then the CR structure is embeddable near p.
Notice that the converse statement of Theorem 1.1 is also true: for an embeddable CR structure, we have two functionally independent, hence non-constant, coordinate CR functions \(\zeta ,\eta \). The 2-form \(d\zeta \wedge d\eta \) gives a non-vanishing closed section of the canonical bundle.
Lewandowski et al. [12] and also Hill et al. [3] prove a series of embeddability results in terms of shearfree congruences of Lorentzian spaces. In particular, they show that a CR structure is embeddable if and only if it admits a lift to a partially Ricci flat Lorentzian space \(({\mathcal {M}}, g)\) with a shearfree congruence k as above, and a Maxwell field aligned with k. This is closely related to Jacobowitz’s Theorem 1.1, since the existence of such Maxwell field is equivalent to the existence of a non-vanishing closed section of the canonical bundle from Theorem (1.1) (see [16]).
In this paper, we introduce a family of Lorentzian metrics on a circle bundle over the CR manifold M. This family is more general than the conformal class of Fefferman metrics but more special than the family of Lorentzian metrics that admit a shearfree congruence, introduced by Robinson and Trautman [17, 18]. We call these metrics FRT metrics (for Fefferman, Robinson, Trautman). Our main result is the following embeddability criterion.
Theorem 1.2
A strictly pseudoconvex CR structure (M, D, J) is locally embeddable if and only if it admits an FRT metric for which the complexified Ricci curvature vanishes on the \(\alpha \)-planes.
Notice that the special choice of the metrics allows us to drop the assumption of the existence of a non-vanishing closed section of the canonical bundle. In order to give a self-contained proof, we recapitulate techniques used in [3] and references therein.
2 CR structures and the Fefferman metric
Let (M, D, J) be a three-dimensional CR structure. We assume that (M, D, J) is strictly pseudoconvex, i.e. for any (local) non-vanishing section X of D, \([X,JX]\not \in D\). For any choice of X, we have an adapted complex frame \(\partial ,{\bar{\partial }},\partial _0\), where
The complex vector field \(\partial = X-\mathrm {i}JX\) spans the \(+\,\mathrm {i}\)-eigendistribution \(D^{1,0}\) of J in \(D\otimes {\mathbb {C}}\). We denote the dual coframe to \((\partial ,{\bar{\partial }},\partial _0)\) by \((\mu ,{\bar{\mu }},\lambda )\). Strict pseudoconvexity of M translates to
Our choice implies
where \(c, \alpha , \beta \) are complex-valued functions on M. Any other distinguished frame \((\partial ',\bar{\partial '},\partial _0')\) and coframe \((\mu ',\bar{\mu '},\lambda ')\) express through the original frame and coframe by
where \(\tau \) and \(\theta \) are real-valued functions and
Recall that the Fefferman metric is a conformal class of Lorentzian metrics defined on the circle bundle \({\mathcal {M}}= D^{1,0}/{\mathbb {R}^+}\). Using a distinguished coframe \((\mu , \lambda )\) and the trivialisation \({\mathcal {M}} \ni m|_p= {\text {e}}^{-t-\mathrm {i}\rho } \partial |_p\mapsto (p,\rho )\) where \(\rho \in [0, 2 \pi )\), a representative of the Fefferman metric is defined by the simple formula
where we kept the notations \(\mu ,{\bar{\mu }},\lambda \) for their pullbacks under the circle bundle projection, and \(\alpha \) and c are as above (see [11]). The CR invariance of the Fefferman metric means that a change in the distinguished coframe \((\mu ,{\bar{\mu }},\lambda )\) causes only a conformal change in \(g_F\) by the factor \({\text {e}}^{2\tau }\).
Denote by \(\tilde{{\mathcal {M}}}\) the natural lift of \({\mathcal {M}}\) to a line bundle. It will be convenient in the computations below to rescale the coordinate \(\rho \) on \(\tilde{{\mathcal {M}}}\) to \(r=\frac{2\rho }{3}\). Then, the change in the coframe \((\lambda ,\mu )\) induces the change
in the trivialisation of \(\tilde{{\mathcal {M}}}\). Denote the quotient bundle of the (rescaled) line bundle \(\tilde{{\mathcal {M}}}\) mod \(2\pi \) by \({\mathcal {M}}^{\frac{3}{2}}\). Since the Fefferman metric is invariant with respect to the principle \({\mathbb {R}}\)-bundle action, it projects to any \(S^1\)-bundle with arbitrary period. In particular, it is well defined on \({\mathcal {M}}^{\frac{3}{2}}\).
It is known that the Weyl tensor of the Fefferman metric has rank (at most) one [11]. However, in general, the Ricci curvature cannot be controlled and, except for very special cases (see [2, 5]), one cannot find (partially) Ricci flat or Einstein representatives of the conformal Fefferman metric.
3 FRT metrics
We generalise the Fefferman metric by introducing functional parameters x and H in addition to the conformal factor. This allows us to impose conditions on the Ricci curvature that cannot be satisfied by the Fefferman metric. We will see later that it is more natural to define the FRT metrics on the circle bundle \(\mathcal M^{\frac{3}{2}}\) rather than the Fefferman bundle \({\mathcal {M}}\).
Definition 3.1
Let (M, D, J) be a CR structure and \({\mathcal {M}}^{\frac{3}{2}}\) as above. For any choice of a distinguished coframe \((\mu ,\lambda )\) and the induced trivialisation of \({\mathcal {M}}^{\frac{3}{2}}\), we define the family of FRT metrics on \({\mathcal {M}}^{\frac{3}{2}}\) by
where \(W=\mathrm {i}x{\text {e}}^{-\mathrm {i}r}-\frac{\mathrm {i}}{3} c.\) Here, \(P\ne 0, H\) are real-valued functions on \({\mathcal {M}}^{\frac{3}{2}}\) and x is a complex-valued function on M.
It is an important feature of the family of shearfree metrics (8) and of the conformal family of Fefferman metrics that they are CR invariant, i.e. they do not depend on the choice of the pair \((\mu ,\lambda )\). We show that this is also true for the family of FRT metrics.
Theorem 3.2
The family of FRT metrics is CR invariant.
Proof
Under the frame change (4) and the induced change in the trivialisation (7), the FRT metric changes as follows:
where
\(\square \)
4 Lorentzian geometry and \(\alpha \)-planes
Let \(({\mathcal {M}}, g)\) be a four-dimensional Lorentzian manifold equipped with a foliation into integral curves of a non-vanishing null vector field k. We have the following canonical objects
-
(i)
the 1-form \(\theta =g(k,\cdot )\),
-
(ii)
the distribution \(k^\perp =\{X\in \Gamma (T{\mathcal {M}}):g(X,k)=0\}\),
-
(iii)
the distribution of screen spaces\(S:=k^\perp /k\).
Proposition 4.1
On each screen space \(S_x\), there are two canonical complex structures \(J_x\) and \(-J_x\).
Proof
The restriction of g to \(k^\perp \) is a degenerate metric with kernel k and induces a Euclidean metric on \(S_x\). Since \(S_x\) is two dimensional, the Euclidean metric induces complex structures of rotation by \(\frac{\pi }{2}\) in either orientation. \(\square \)
Choose one of the two complex structures on S. Then, \({\mathbb {C}} \otimes S\) splits into its eigenspaces \(S^{1,0} \oplus S^{0,1}\). Let
be the canonical projection map. The subspaces \(K^{1,0}, K^{0,1}\) of \({\mathbb {C}} \otimes k^\perp \) defined by
are called \(\alpha \)-planes and \(\beta \)-planes, respectively. Notice that changing the orientation used in the definition of J results in interchanging the \(\alpha \)-planes and the \(\beta \)-planes.
Clearly,
Definition 4.2
We say that the complexified Ricci tensor of g vanishes on the \(\alpha \)-planes \(K^{1,0}\) if \(Ric|_{K^{1,0}}=0\), i.e.
Notice that vanishing of the complexified Ricci tensor on \(\alpha \)-planes is equivalent to its vanishing on \(\beta \)-planes. Hence, the definition above does not depend on the choice of J.
Definition 4.3
Let \({\mathcal {M}}\) be a four-dimensional manifold equipped with a Lorentzian metric g and a non-vanishing null vector field k. A complex frame \((e_1, e_2, \ell , k)\) is called adapted to (g, k) if \(e_1\) is a section of \(\alpha \)-planes, \(e_2={\bar{e}}_1\) (and, hence, is a section of \(\beta \)-planes), and
Proposition 4.4
A four-dimensional Lorentzian manifold \(({\mathcal {M}},g)\) with a non-vanishing null vector field k possesses (locally) a complex adapted frame.
Proof
Let \(\ell \) be a null vector field such that \(g(\ell ,k)=1\). Choose a unit vector field \(\varepsilon _1\in k^\perp \cap \ell ^\perp \). Choose \(\varepsilon _2\in k^\perp \) such that \(\pi {\varepsilon _2}=J\pi (\varepsilon _1)\) and \(g(\varepsilon _2,\ell )=0\). Now, set
\(\square \)
It follows that the \(\alpha \)-planes are spanned by \((e_1,k)\) and the \(\beta \)-planes are spanned by \((e_2,k)\).
Now, vanishing of the Ricci curvature on \(\alpha \)-planes is equivalent to
-
(i)
\(R_{11}=\textit{Ric}(e_1,e_1)=\overline{\textit{Ric} (e_2,e_2)}=0\),
-
(ii)
\(R_{14}=\textit{Ric}(e_1,k)=\overline{\textit{Ric} (e_2,k)}=0\),
-
(iii)
\(R_{44}=\textit{Ric}(k,k)=0\).
For the dual complex coframe \((\theta ^1, \theta ^2, \theta ^3, \theta ^4)\) to an adapted complex frame, \(\bar{\theta ^1}=\theta ^2\) vanishes on \(\alpha \)-planes, \(\theta ^3=g(k,\cdot )\) and \(g=2(\theta ^1\theta ^2+\theta ^3\theta ^4)\). The Gram matrix for both g and its dual \(g^{-1}\) with respect to an adapted frame and coframe is:
A direct computation shows that the shearfreeness condition (2) is equivalent to
See, e.g. [3] for details.
Below we cite a version of the celebrated Goldberg–Sachs theorem [1, 3, 6], which is a useful tool for computing certain components of the Weyl tensor of the Lorentzian metric g:
where \(R_{ijkl}\) is the Riemann curvature, \(R_{kj}\) is the Ricci curvature and R is the scalar curvature. The following quantities are called Weyl scalars:
Theorem 4.5
(Goldberg–Sachs theorem [1, 3]) Suppose that a four-dimensional manifold \({\mathcal {M}}\) is equipped with a Lorentzian metric g and a shearfree null vector field k, as above. Also assume that the complexified Ricci curvature of g vanishes on \(\alpha \)-planes, i.e. \(R_{11}= R_{14}= R_{44}= 0\) with respect to an adapted coframe \((\theta ^1, \theta ^2, \theta ^3, \theta ^4)\). Then, the Weyl scalars \(\Psi _0=\Psi _1=0\).
The next lemma plays a crucial role in finding a CR function. It reduces the existence of a non-vanishing CR function to the existence of a certain complex-valued 1-form. Such 1-form can be obtained from the Levi–Civita connection form of the associated Lorentzian metric, if the Ricci curvature vanishes on \(\alpha \)-planes. The proof is based on Frobenius’s theorem. For a detailed proof, see e.g. [3].
Lemma 4.6
[3] Let \(\varphi \) be a smooth complex-valued 1-form defined locally in \(\mathbb {R}^n\), \(n \ge 3\), such that \(\varphi \wedge {\bar{\varphi }} \ne 0\). Then
if and only if there exist smooth complex functions \(\zeta \) and h such that
5 FRT metrics and the embedding of three-dimensional CR structures
Before we prove the main theorem of this paper, we collect some more ingredients. First we compute the Levi–Civita connection 1-forms, \(\Gamma ^i_j\) with respect to an adapted frame. Notice that due to (3) we have
Now in terms of the coframe \((\theta ^1, \theta ^2, \theta ^3, \theta ^4)\) with
the metric (8) becomes
The dual frame \((e_1, e_2, e_3, e_4)\) to \((\theta ^1, \theta ^2, \theta ^3, \theta ^4)\) takes the form
The commutators of the frame fields (15) evaluate to
where the subscripts 1, 2, 3 in the above expressions denote derivation with respect to the corresponding frame field (15). For example, \(H_1\) means \(\frac{1}{P} (\partial H -WH_r) \).
Now by using these commutator relations and Cartan’s structure equations
for the metric (14), we find the connection forms listed as follows:
where \(c^k_{\,\,mn}\) are the structure constants defined by \([e_m, e_n]=c^k_{\,\,mn}e_k\). We also notice that \(dg_{ij}=\Gamma _{ij}+\Gamma _{ji}\) and hence
Remark 1
Note that because of the choice of the coframe (13), complex conjugation of the connection forms interchanges the indices 1 and 2 and keeps the indices 3, 4 unchanged, for example, \({{\bar{\Gamma }}}^1_4=\Gamma ^2_4\).
In the proposition below, we compute the Ricci components of the FRT metric.
Proposition 5.1
Let g be an FRT metric (8) on \({\mathcal {M}}^{\frac{3}{2}}\) associated with a CR manifold M that admits a non-constant CR function \(\zeta \). Let \((\mu =d\zeta ,\lambda )\) be a coframe for M and \(R_{ik}\) the components of the Ricci curvature with respect to an adapted frame. Then,
-
(i)
\(R_{44}=0\) is equivalent to
$$\begin{aligned} P=\frac{a}{\cos ( \frac{r+s}{2})} \end{aligned}$$(19)where a, s are arbitrary r-independent real functions.
-
(ii)
\(R_{24}= 0\) is equivalent to
$$\begin{aligned} \partial \log a^2+\mathrm {i}\partial s- 2x{\text {e}}^{\mathrm {i}s}= -\frac{2 c}{3}, \end{aligned}$$(20) -
(iii)
\(R_{22}= 0\) if and only if the equation
$$\begin{aligned} \partial t+ t(c-t)=0 \end{aligned}$$(21)is satisfied where
$$\begin{aligned} t&=c + \partial \log a^2-x{\text {e}}^{\mathrm {i}s}. \end{aligned}$$(22)
For an alternate coframe \((\mu ',\lambda ')\), the function t changes to
Proof
To verify that the condition \(R_{44}=0\) is equivalent to the function P having the form (19), we first notice that \(R_{44}=2R^1_{414}\). We now consider the Cartan’s structure equation for the 1-form \(\Gamma _4^1\)
which simplifies to
since \(\Gamma _2^1=\Gamma _4^3=0\). Substituting the 1-forms \(\Gamma _4^1, \Gamma _1^1, \Gamma _4^4\) given by (16), (17), (18) into (24) and inspecting the coefficient of the 2-form \(\theta ^1 \wedge \theta ^4\) in (24), we get the differential equation
The general solution of the differential equation (25) has the form (19).
A similar argument shows that \(R_{24}=0\) is equivalent to (20).
To show that \(R_{22}=0\) is equivalent to (21), we first notice that, due to \(d\mu =0\), the structure functions \(\alpha , \beta \) vanish. Then, by similar arguments as above, \(R_{22}=0\) becomes equivalent to the differential equation (21).
To verify (23), we first notice that
for all r and \(r'=r-\frac{2}{3}\theta \). It follows \(a'={\text {e}}^{-\tau } a\) and \(s'=\frac{2}{3}\theta +s\). Therefore,
\(\square \)
Another important ingredient is Jacobowitz’s theorem (1.1), which uses the notion of the canonical bundle.
Definition 5.2
Let (M, D, J) be a CR structure and \(D^{{\mathbb {C}}}=D^{1,0}\oplus D^{0,1}\) the eigenspace decomposition of J. The canonical bundle \({\mathcal {K}}\) over M is the complex line bundle of complex-valued 2-forms with kernel \(D^{0,1}\), i.e.
If the CR structure (M, D, J) is given by the coframe \((\lambda , \mu )\), then the canonical bundle is spanned by \(\lambda \wedge \mu \). Using this representation, the existence of a closed non-vanishing section can be reformulated as a \({\bar{\partial }}\)-problem.
Proposition 5.3
A CR structure \((M,[(\lambda ,\mu )])\) admits locally a non-vanishing closed section of the canonical bundle if and only if the \({\bar{\partial }}\)-problem
has a solution. Here, c is the structure function from (3).
Proof
Taking into account (3),
vanishes if and only if (26) is satisfied with non-vanishing \(\psi \). \(\square \)
While we do not assume the existence of a non-vanishing closed section of the canonical bundle a priori, we show that this is a consequence of our assumptions.
We are now ready to prove our main theorem.
Theorem 5.4
A three-dimensional CR structure (M, D, J) is (locally) embeddable if and only if there exists an associated circle bundle \({\mathcal {M}}^{\frac{3}{2}}\) with an FRT metric g whose complexified Ricci tensor vanishes on the distribution of \(\alpha \)-planes.
Proof
Let M be a CR structure with coframe \((\mu ,\lambda )\) and let g be an FRT metric defined by (8) on \({\mathcal {M}}^{\frac{3}{2}} \) for which \(R_{22}= R_{24}= R_{44}= 0\). We consider the connection 1-form
from (16) where
Clearly, \(\sigma \ne 0\) and therefore, the form \(\Gamma _{24} \ne 0\). Moreover,
since
On the other hand, the conditions of the Goldberg–Sachs Theorem (4.5) with respect to the shearfree vector field \(\partial _r\) are satisfied and therefore
It follows
and furthermore, using the symmetries of the Riemann curvature
we get
Since
where \(R_{ij}=R^k_{ikj}\) and \(R_{ijk\ell }=g_{im}R^m_{jk\ell }\), this shows that the conditions \(R_{44}=R_{22}=R_{24}=0\) are equivalent to
Combining (28) and (29) yields
Therefore, Cartan’s structure equation (24) for the connection 1-form \(\Gamma _{24}=\Gamma ^1_4\) becomes
Wedging the equation above with \(\Gamma _{24}\) and taking into account that \(\Gamma _{24}\) is a linear combination of \(\theta ^1\) and \(\theta ^3\), given by (27), we conclude that
Now we can apply Lemma (4.6) for the 1-form \(\Gamma _{24}\) and deduce that locally there exist complex functions \(h\ne 0, \zeta \) such that
Wedging the equation
by \(\lambda \wedge \mu \) shows that
Restricting the function \(\zeta \) to the CR manifold M, considered as a section \(\{r=0\}\) of \({\mathcal {M}}^{\frac{3}{2}}\), gives a CR function there.
Now we may assume that \(\mu =d \zeta \). Since vanishing of the Ricci tensor on the \(\alpha \)-planes does not depend on the choice of an adapted frame, the conditions \(R_{44}=R_{24}=R_{22}=0\) are still satisfied.
We consider the two cases \(t\equiv 0\) and \(t\not \equiv 0\), where t is defined by (22). In the first case, it follows from equation (20) that
and hence
Therefore, Eq. (26) has a solution \(\psi = a^{\frac{3}{2}}{\text {e}}^{\frac{3}{4}\mathrm {i}s}\) and, by Proposition 5.3, the canonical bundle has a nowhere vanishing closed section. Now, by Theorem 1.1, the CR structure is embeddable and, in particular, there exists a second CR function that is functionally independent from \(\zeta \).
In the second case, if t is not identically 0, we replace the complex coframe 1-form \(\mu \) by another exact form \(\mu '\) as follows. Consider
Since \(R_{22}=0\) we have
Also \(\varphi \wedge {\bar{\varphi }} \ne 0\) holds because
Thus, the 1-form \(\varphi \) satisfies the conditions of the Lemma (4.6). Consequently, there exist complex-valued functions \(b\ne 0, \eta \) such that
Clearly,
It follows from the definition of \(\eta \) and \(\varphi \) that \(d\eta \) is a linear combination of \(\mu \) and \(\lambda \) and hence
that is, \(\eta \) is a CR function. Now we switch to the coframe \((\mu '=d\eta ,\lambda ')\) for which, because of (23), \(t' \equiv 0\) everywhere. This reduces the second case to the first case and proves embeddability of M.
For the proof of the converse statement, we assume that the CR structure M with adapted coframe \((\mu =d\zeta ,\lambda )\) is embeddable. Then, the canonical bundle contains a nonzero closed section, i.e. there exists a nonzero complex function \(\psi \) such that
We define real functions a, s and a complex function x as follows:
The metric defined by
where
and H is any real function defined on \({\mathcal {M}}^{\frac{3}{2}}\), is an FRT metric for \((M,\mu ,\lambda )\) and, due to Proposition (5.1), \(R_{44}=R_{24}=R_{22}=0\) is satisfied. \(\square \)
References
Gover, A.R., Hill, C.D., Nurowski, P.: Sharp version of the Goldberg–Sachs theorem. Ann. Mat. Pura Appl. (4) 190(2), 295–340 (2011)
Čap, A., Gover, A.R.: CR-tractors and the Fefferman space. Indiana Univ. Math. J. 57(5), 2519–2570 (2008)
Hill, C.D., Lewandowski, J., Nurowski, P.: Einstein’s equations and the embedding of 3-dimensional CR manifolds. Indiana Univ. Math. J. 57(7), 3131–3176 (2008). https://doi.org/10.1512/iumj.2008.57.3473
Debney, G.C., Kerr, R.P., Schild, A.: Solutions of the Einstein and Einstein–Maxwell equations. J. Math. Phys. 10, 1842–1854 (1969)
Leitner, F.: On transversally symmetric pseudo-Einstein and Fefferman–Einstein spaces. Math. Z. 256(2), 443–459 (2007)
Goldberg, J.N., Sachs, R.K.: A theorem on Petrov types. Acta Phys. Pol. 22, 13–23 (1962)
Jacobowitz, H.: The canonical bundle and realizable CR hypersurfaces. Pac. J. Math. 127(1), 91–101 (1987)
Jacobowitz, H.: An Introduction to CR Structures. Mathematical Surveys and Monographs, vol. 32. American Mathematical Society, Providence (1990)
Jacobowitz, H., Trèves, F.: Nonrealizable CR structures. Invent. Math. 66(2), 231–249 (1982)
Rosay, J.-P.: New examples of non-locally embeddable CR structures (with no nonconstant CR distributions). Ann. Inst. Fourier (Grenoble) 39(3), 811–823 (1989). (English, with French summary)
Lewandowski, J.: On the Fefferman class of metrics associated with a three-dimensional CR space. Lett. Math. Phys. 15(2), 129–135 (1988)
Lewandowski, J., Nurowski, P., Tafel, J.: Einstein’s equations and realizability of CR manifolds. Class. Quantum Gravity 7(11), L241–L246 (1990)
Lee, J.M.: Introduction to Smooth Manifolds. Graduate Texts in Mathematics, vol. 218, 2nd edn. Springer, New York (2013)
Nirenberg, L.: Lectures on linear partial differential equations, American Mathematical Society, Providence, R.I., 1973. Expository Lectures from the CBMS Regional Conference held at the Texas Technological University, Lubbock, Tex., 22–26 May 1972; Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 17
Nirenberg, L.: On a Problem of Hans Lewy, Fourier Integral Operators and Partial Differential Equations (Colloque International, Universite de Nice, 1974). Lecture Notes in Mathematics, vol. 459, pp. 224–234. Springer, Berlin (1975)
Robinson, I.: Null electromagnetic fields. J. Math. Phys. 2, 290–291 (1961). https://doi.org/10.1063/1.1703712
Robinson, I., Trautman, A.: New theories in physics. In: Pokorski, S., Ajduk, Z., Trautman, A. (eds.) Optical Geometry, pp. 454–497. World Scientific, Singapore (1989)
Trautman, A.: Robinson manifolds and Cauchy–Riemann spaces. Class. Quantum Gravity 19(2), R1–R10 (2002). https://doi.org/10.1088/0264-9381/19/2/201
Acknowledgements
The authors wish to express their gratitude to Howard Jacobowitz and Jerzy Lewandowski for inspiring and useful discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schmalz, G., Ganji, M. A criterion for local embeddability of three-dimensional CR structures. Annali di Matematica 198, 491–503 (2019). https://doi.org/10.1007/s10231-018-0785-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-018-0785-1