Abstract
In this paper we study isometric immersions \(f:M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) of an n-dimensional pseudo-Riemannian manifold \(M^n\) into the n-dimensional para-complex projective space \({\mathbb {C}^{\prime }}\!P^n \). We study the immersion f by means of a lift \(\mathfrak {f}\) of f into a quadric hypersurface in \(S^{2n+1}_{n+1}\). We find the frame equations and compatibility conditions. We specialize these results to dimension \(n = 2\) and a definite metric on \(M^2\) in isothermal coordinates and consider the special cases of Lagrangian surface immersions and minimal surface immersions. We characterize surface immersions with special properties in terms of primitive harmonicity of the Gauss maps.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study isometric immersions \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) of an n-dimensional pseudo-Riemannian manifold \(M^n\) into the para-complex projective space \({\mathbb {C}^{\prime }}\!P^n \), more precisely into the open dense subset of non-orthogonal pairs in the product \(\mathbb {R}P^n \times \mathbb {R}P_n\), where \(\mathbb {R}P^n\), \(\mathbb {R}P_n\) is the real projective space and its dual, respectively. This target space is a para-Kähler space form which has been listed in the classification [1] of para-Kähler symmetric spacesFootnote 1, and the para-Kähler structure on \({\mathbb {C}^{\prime }}\!P^n \) has been studied in [2, 24].
We consider only immersions, whose tangent spaces are transversal to both eigen-distributions \(\Sigma ^{\pm }\) of the para-complex structure \(J^{\prime }\) of \({\mathbb {C}^{\prime }}\!P^n \). We shall call such immersions non-degenerate. It has been shown in [3, Section 4] that every non-degenerate immersion defines a dual pair of projectively flat torsion-free affine connections \(\nabla ,\nabla ^*\) on \(M^n\), and, vice versa, every such pair of connections on \(M^n\) defines locally a non-degenerate immersion into \({\mathbb {C}^{\prime }}\!P^n \) which is unique up to the action of the automorphism group of \({\mathbb {C}^{\prime }}\!P^n \).
Let us explain the results of this paper, section after section. In Sect. 2 we consider for a given immersion f the relevant geometric objects on \(M^n\), namely a dual pair of torsion-free projectively flat connections \(\nabla ,\nabla ^*\), a non-symmetric Codazzi tensor h of type (0, 2), whose symmetric part equals the metric g and whose skew-symmetric part \(\omega \) measures the deviation of the immersion from a Lagrangian one, and a cubic form \(C_{\alpha \beta \gamma } = \nabla _{\gamma }h_{\alpha \beta }\) which is symmetric in the last two indices. We express these structures in terms of a lift \(\mathfrak {f}\) of f into a quadric hypersurface \(S^{2n+1}_{n+1}\) in the product \({\mathbb {R}}^{n+1} \times \mathbb R_{n+1}\) of the real vector space with its dual. We will finally derive the Maurer-Cartan equation for an immersion f as Theorem 2.9, which will be effectively used in Sects. 4 and 5 in case of surfaces. In Sect. 3 we compute the second fundamental form of the immersion f in terms of the cubic form C, see Theorem 3.1. This allows us to specify our results for the case of minimal immersions.
In Sects. 2 and 3 we consider the case of general dimension n and arbitrary signature of the metric on \(M^n\), while in Sects. 4 and 5 we specialize to dimension \(n = 2\) and a definite metric on \(M^2\). For simplicity we assume all immersions to be smooth. In Sect. 4 we study definite immersions from a surface \(M^2\) into \(\mathbb {C}^{\prime } P^2 \). Using this immersion we introduce isothermal coordinates on \(M^2\) and compute the objects \(\nabla ,h,C\) as well as the frame equations and compatibility conditions in these coordinates. As a result we obtain the fundamental theorem of definite surfaces in \(\mathbb {C}^{\prime } P^2 \) in Theorem 4.4.
Minimal Lagrangian surfaces in \(\mathbb {C}P^2\) have been considered in many papers, e.g., [4,5,6,7,8, 22, 25]. In particular in [9], minimal Lagrangian or minimal surfaces have been characterized by various Gauss maps, the so-called Ruh–Vilms type theorems have been obtained. In Sect. 5, we will characterize surfaces in \(\mathbb {C}^{\prime } P^2 \) with special properties in terms of primitive harmonic maps, which are special harmonic maps into k-symmetric space \((k\ge 2)\), see Theorem 5.3. In Sect. 6 we will define various Gauss maps for surfaces in \(\mathbb {C}^{\prime } P^2 \) by using various bundles over \(S^{5}_{3}\) and finally derive Ruh–Vilms type theorems, Theorem 6.3.
In Appendix A, basic results about \({\mathbb {C}^{\prime }}\!P^n \) and \(S^{2n+1}_{n+1}\) will be discussed. In Appendix B, k-symmetric spaces and primitive harmonic maps will be introduced, and finally in Appendix C various bundles will be explained.Footnote 2
2 Half-Dimensional Immersions into the Para-Complex Projective Space form \({\mathbb {C}^{\prime }}\!P^n \)
In this section we derive the frame equations for non-degenerate n-dimensional immersions f of a manifold \(M^n\) into the para-complex projective space \({\mathbb {C}^{\prime }}\!P^n \). The entries of the corresponding Maurer-Cartan forms are expressed by the components of a projectively flat affine connection \(\nabla \) and a non-degenerate non-symmetric tensor h which satisfies a Codazzi equation and is an explicit function of the Ricci tensor of \(\nabla \) (Theorem 2.9, Remark 2.1). The components of h and \(\nabla \) will in turn be expressed in terms of a lift \(\mathfrak {f}\) of f, which exists at least on simply connected charts, into a quadric hypersurface \(S^{2n+1}_{n+1}\) of a real vector space (Lemma 2.5 and 2.6). In this and the next section we work with arbitrary coordinates on \( M^n\).
2.1 Para-Complex Projective Space
Consider the para-complex projective space
where \(\mathbb {R}P^n\) is the n-dimensional real projective space, \(\mathbb {R}P_n\) is its dual, and some representatives \(x \in {\mathbb {R}}^{n+1}\) and \(\chi \in {\mathbb {R}}_{n+1}\) of [x] and \([\chi ]\), respectively, are positive with respect to the natural pairing \(\langle ,\, \rangle \) between \({\mathbb {R}}^{n+1}\) and \({\mathbb {R}}_{n+1}\). Consider \({\mathbb {C}^{\prime }}\!P^n \) as a fibration over \(\mathbb {R}P_n\). We have that \(\mathbb {R}P_n\) is connected, and that the fiber over a fixed point of \(\mathbb {R}P_n\) is exactly an affine chart in \(\mathbb {R}P^n\), which is contractible. Hence we even have that the fundamental group of \({\mathbb {C}^{\prime }}\!P^n \) equals that of \(\mathbb {R}P_n\), and \({\mathbb {C}^{\prime }}\!P^n \) is isomorphic to one of the reduced para-complex projective spaces in [10, Theorem 3.1]. In any affine chart on \({\mathbb {C}^{\prime }}\!P^n \) the para-Kähler structure is generated by the para-Kähler potential \(\log |1+\sum _i[x]^i[\chi ]^i|\) [3, Section 4]. Let us denote the metric on \({\mathbb {C}^{\prime }}\!P^n \), the symplectic form, and the para-complex structure by g, \(\omega \), and \(J^{\prime }\), respectively. Note that \(J^{\prime }\) acts for \(X= ({\mathfrak {X}}, {\mathcal {X}}) \in T_{([x], [\chi ])} \mathbb {R}P^n \times T_{ ([x], [\chi ])} \mathbb {R}P_n = T_{([x], [\chi ])} {\mathbb {C}^{\prime }}\!P^n \) by
and we have the relations
The integrable eigen-distributions of \(J^{\prime }\) on \({\mathbb {C}^{\prime }}\!P^n \) are denoted by \(\Sigma ^{\pm }\), respectively. For a survey on para-Kähler spaces see, e.g., [11], for a detailed study of the para-Kähler space form \({\mathbb {C}^{\prime }}\!P^n \) see [2]. In Appendix A, we shall discuss the para-Kähler structure and the basic geometry of \({\mathbb {C}^{\prime }}\!P^n \) in detail.
We shall consider immersions \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) which are transversal to both distributions \(\Sigma ^{\pm }\). We shall call such immersions non-degenerate. The Levi-Civita connection \({\widehat{\nabla }}\) of the metric g can be decomposed into a component \(\nabla \) tangent to f and a component in the distribution \(\Sigma ^-\), defining a torsion-free affine connection \(\nabla \) on \(M^n\). In the same way, a torsion-free affine connection \(\nabla ^*\) can be defined on \(M^n\) by decomposing \({\widehat{\nabla }}\) into a component tangent to f and a component in \(\Sigma ^+\). Both connections \(\nabla ,\nabla ^*\) are projectively flat [3, Lemma 4.2]. The pullback of the non-symmetric tensor \(g + \omega \) defines a non-degenerate non-symmetric tensor h (the para-hermitian form) of type (0, 2) on \(M^n\) [3, Lemma 2.3], i.e.,
for tangent vectors X, Y on \(M^n\). This tensor satisfies respectively the Codazzi equations and the duality relation [3, Theorem 2.1]
for all tangent vectors X, Y, Z on \(M^n\). From (2.3), it is easy to see that \({\widehat{\nabla }} = (\nabla + \nabla ^*)/2\). From these equations it follows that the difference tensor of type (1, 2)
satisfies the relation
where \(K(X, Y) = \nabla ^*_X Y - \nabla _X Y\). It is convenient to introduce a tensor of type (0, 3), the cubic form C by
and from the Codazzi equation (2.2), \(C(X, Y, Z) = \nabla _Z h(X, Y)\) is symmetric in the last two indices.
Remark 2.1
The tensor h can be obtained from the Ricci tensor \({\text {Ric}}\) of the connection \(\nabla \) by [3, Lemma 4.3]
On the other hand, if a manifold \(M^n\) is equipped with a projectively flat connection \(\nabla \) with tensor h given by (2.5), then locally there exists an immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) such that \(\Sigma ^-\) is transversal to f, the tensor h is the pull-back of \(g + \omega \) on \(M^n\), and \(\nabla \) is the affine connection generated by the transversal distribution \(\Sigma ^-\) as above [3, Theorem 4.3].
2.2 A Natural Fibration and Horizontal Lifts
We shall denote the local coordinates on \(M^n\) by \(y=(y^1, \dots , y^n)\). The coordinates on \({\mathbb {R}}^{n+1}\) shall be denoted by \(x=(x^1, \dots , x^{n+1})\), the coordinates on the dual space \({\mathbb {R}}_{n+1}\) by \(\chi =(\chi ^1, \dots , \chi ^{n+1})\). The dual pairing on these vector spaces will be denoted by \(\langle \cdot ,\cdot \rangle \).
As in similar investigations, an immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) will be discussed via a lift into the total space \(S^{2n+1}_{n+1}\) of a fibration over \({\mathbb {C}^{\prime }}\!P^n \). In this paper we will consider as total space the quadric
and will use the projection map
Clearly, the tangent space \(T_{(x,\chi )} S^{2n+1}_{n+1}\) to \(S^{2n+1}_{n+1}\) can be realized by pairs of vectors, \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in {\mathbb {R}}^{n+1} \times {\mathbb {R}}_{n+1}\) satisfying \(\langle \widehat{\mathfrak {X}}, \chi \rangle + \langle x, \widehat{\mathcal {X}} \rangle = 0\). In order to describe tangent vectors to \({\mathbb {C}^{\prime }}\!P^n \), one needs to introduce an equivalence relation for the pair \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}})\), since \({\widehat{\mathfrak {X}}}\) and \({\widehat{\mathcal {X}}}\) are not uniquely defined by the equation just stated. More naturally, one can introduce the uniquely defined horizontal distribution \(\widehat{\mathcal {H}}\) and the vertical distribution \(\widehat{\mathcal {V}}\) defined by
The horizontal distribution has the following properties. For \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in T_{(x,\chi )} S^{2n+1}_{n+1}\) we have \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in \widehat{\mathcal {H}}_{(x,\chi )}\) if and only if \( (\widehat{\mathfrak {X}}, - \widehat{\mathcal {X}}) \in \widehat{\mathcal {H}}_{(x,\chi )}\). Moreover, for \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in \widehat{\mathcal {H}}_{(x,\chi )}\) we have \(d\pi _\mathcal {H}(\widehat{\mathfrak {X}}, -\widehat{\mathcal {X}}) = J^{\prime }d\pi _\mathcal {H}(\widehat{\mathfrak {X}}, \widehat{\mathcal {X}})\). This has the following consequence.
Proposition 2.2
-
(1)
The projection \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n , (x,\chi ) \mapsto ([x], [\chi ])\) is a pseudo-Riemannian submersion, the differential of which has as kernel the distribution \(\widehat{\mathcal {V}}\) and is for all \((x, \chi ) \in S^{2n+1}_{n+1}\) an isomorphism from \(\widehat{\mathcal {H}}_{(x, \chi )}\) to \(T_{([x], [\chi ])} {\mathbb {C}^{\prime }}\!P^n \).
-
(2)
Let \(X,Y \in T_{([x],[\chi ])}{\mathbb {C}^{\prime }}\!P^n \) be arbitrary tangent vectors, and let \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}}, \widehat{\mathcal {Y}})\in \widehat{\mathcal {H}}_{(x, \chi )}\) be their pre-images under the map \(d\pi _\mathcal {H}\) at \((x, \chi )\). Then
$$\begin{aligned} (g+\omega )(X,Y) = \langle \widehat{\mathfrak {X}},\widehat{\mathcal {Y}} \rangle . \end{aligned}$$
The proof will be given in Appendix A.3.2.
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be an immersion and assume that f has a lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\). Here \(\mathfrak {f}\) is defined by the property that \((x, \chi ) = \mathfrak {f}(y)\) projects to \(([x],[\chi ]) = f(y)\). It is easy to see that a lift is unique up to “scalings” of the form
for never vanishing scalar functions \(\alpha \). In general, a given \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) can not be lifted, see Proposition A.13.
For later purposes we decompose the tangent map of a lift in more detail: Let \(\mathfrak {f}\) be a lift of some immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) and write \(\mathfrak {f}(y) = (x(y), \chi (y))\). Then the differential of \(\mathfrak {f}\) can be decomposed in \(T_{(x,\chi )} S^{2n+1}_{n+1}\) in the form
where the first term is the horizontal component and the second term is the vertical component of \(d_y\mathfrak {f}(Z)\). Moreover, we have
For convenience we also introduce the 1-form
It is clear that using \(\psi \) one can write the vertical component of \(d \mathfrak {f}(Z)\) as
If \(\mathfrak {f}_\alpha (y) = (\alpha x, \alpha ^{-1} \chi )\) is another lift of f, then we obtain
for its horizontal component, and for its vertical component we derive
Hence under a scaling (2.10) the form \(\psi \) transforms as \(\psi \mapsto \psi + d\log |\alpha |\). We may thus add arbitrary differentials to \(\psi \) by changing the lift \(\mathfrak {f}\).
As mentioned above, as a next step and as in similar geometric situations, one wants to choose not only some lift, but preferably some “horizontal lift” for a given immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \).
Definition 2.3
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be an immersion and \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\) be a lift of f. Then \(\mathfrak {f}\) is called a “horizontal lift” iff the tangent map takes values in the horizontal distribution \(\widehat{\mathcal {H}}\). In other words, a lift is horizontal, iff the vertical component of its differential vanishes identically, i.e., \(\psi = 0\).
Proposition 2.4
Assume \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is liftable with lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\), \(\mathfrak {f}(y) = (x, \chi )\). Then there exists a never vanishing scalar function \(\alpha \) such that \(\mathfrak {f}_\alpha \) is a horizontal lift of \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) if and only if the equation
has a global solution on \(M^n\).
Proof
It is easy to verify that in view of Eq. (2.15) the condition on the lift of being horizontal is equivalent to (2.16). \(\square \)
2.3 Non-symmetric Codazzi Tensor, Connection, Frame Equations
We shall now pass to the main goal of this section and compute the non-symmetric tensor h on \(M^n\) in terms of the forms \(\xi ,\eta \).
Lemma 2.5
Let the non-degenerate immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be given by means of a lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\) into the quadric (2.6). Define the \({\mathbb {R}}^{n+1}\)- and \({\mathbb {R}}_{n+1}\)-valued 1-forms \(\xi ,\eta \) on \(M^n\) by (2.12). Then the pull-back h of the tensor \(g + \omega \) from \({\mathbb {C}^{\prime }}\!P^n \) to \(M^n\) is given by
for all tangent vectors X, Y on \(M^n\).
Proof
The lemma is an immediate consequence of Proposition 2.2. \(\square \)
Proposition 2.6
Retain the assumptions of Lemma 2.5, and define the 1-form \(\psi \) by (2.13). Then for all tangent vectors X and Y we have
Proof
First note that we can rephrase the left-hand side and the first term in the right-hand side in (2.18) together as
Then using decompositions of the horizontal part and the vertical part of \(\nabla \xi \) and \(\nabla ^* \eta \), we can set
where a and c are 1-forms and b and d are bi-linear maps. Taking the inner product of \(\chi \) in the first formula and x in the second formula, we have
Here we use the relations \(\langle X \xi (Y), \chi \rangle = - \langle \xi (Y), \eta (X) \rangle \) and \(\langle X \eta (Y), x\rangle = - \langle \eta (Y), \xi (X) \rangle \), respectively, since \(\xi \) and \(\eta \) are horizontal vectors. We now compute a. Interchanging X and Y in the first equation of (2.19), and subtracting it from the original equation we have
where we set \(v (X, Y) = - \langle \xi (Y),\eta (X) \rangle + \langle \xi (X), \eta (Y)\rangle \). The left-hand side of the above equation can be simplified by using the torsion-freeness of \(\nabla \) and the definition of \(\psi \) as
where p(X, Y)x denotes the vertical part. Taking the inner product with \(\chi \), \(p(X, Y) = v(X, Y)\) follows. Therefore we conclude
Since the above equation holds for any vector fields X and Y, we have \(a = \psi \). We can compute c similarly. This completes the proof. \(\square \)
We now rewrite the above relation in (2.18) by local expression. We first abbreviate the partial derivative by
where \(y^1, \dots , y^n\) are local coordinates on M.
We now use the local expression of the tensor h, i.e., \(h_{\alpha \beta } =h(\partial _\alpha , \partial _\beta )\). Denote by \(h^{\alpha \beta }\) the inverse tensor, i.e., such that \(h^{\alpha \beta }h_{\beta \gamma } = h_{\gamma \beta }h^{\beta \alpha } = \delta ^{\alpha }_{\gamma }\). Here we use the Einstein summation convention. Moreover, we will use the notation
where \(\partial _1, \dots , \partial _n\) are vector fields defined in (2.20) and \(\xi \) is the horizontal component of a lift \(\mathfrak {f}(y)= (x(y), \chi (y))\) defined in (2.12).
As a consequence of (2.17) we obtain by virtue of (2.8) that
Corollary 2.7
Retain the assumptions in Proposition 2.6. Then the affine connection \(\nabla \) defined on \(M^n\) by the transversal distribution \(\Sigma ^-\) and the dual affine connection \(\nabla ^*\) defined on \(M^n\) by the transversal distribution \(\Sigma ^+\) are given by
For the difference tensor we obtain
Proof
From (2.11) we obtain
The first relation in (2.18) can be written as
Combining, we obtain
which yields
Taking the scalar product with \(\eta _{\delta }\) we obtain by virtue of (2.21) that
Multiplying by \(h^{\delta \alpha }\) we get relation (2.23).
Relation (2.24) is obtained similarly. The expression for the difference tensor readily follows. \(\square \)
Corollary 2.8
The cubic form is given by
Proof
The proof is straightforward by using (2.23). \(\square \)
We now go on to deduce the frame equations. We shall define the primal and dual frames as
respectively. Note that under a scaling \((x,\chi ) \mapsto (\alpha x,\alpha ^{-1}\chi )\) of the lift \(\mathfrak {f}\) the frames transform as \(F \mapsto \alpha F\), \(F^* \mapsto \alpha ^{-1}F^*\). Therefore the trace-less parts of the Maurer–Cartan forms are invariant under changes of the lift. We have \((F^*)^TF = {{\,\textrm{diag}\,}}\left( 1,h^T\right) \) and therefore \(F^{-1} = {{\,\textrm{diag}\,}}\left( 1,h^{-T}\right) (F^*)^T\). This yields
for the Maurer-Cartan form, where \(\xi =(\xi _1, \dots , \xi _n)\), \(\eta =(\eta _1, \dots , \eta _n)\). Using (2.23), (2.24) and (2.21), (2.22), (2.26) we obtain explicit expressions for the components of U. In a similar way we obtain the components of the dual Maurer-Cartan form \(U^*_{\alpha }:= (F^*)^{-1}\partial _{\alpha } F^*\). Let us list these expressions in the following theorem.
Theorem 2.9
Let the non-degenerate immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be given by means of a lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\) into the quadric (2.6). Define the \({\mathbb {R}}^{n+1}\)- and \({\mathbb {R}}_{n+1}\)-valued 1-forms \(\xi ,\eta \) on M by (2.12), and the 1-form \(\psi \) by (2.13). Let the affine connection \(\nabla \) on \(M^n\) be defined by the transversal distribution \(\Sigma ^-\), and the dual affine connection \(\nabla ^*\) by the transversal distribution \(\Sigma ^+\). Define the frames \(F = (x,\xi _1,\dots ,\xi _n)\) and \(F^* = (\chi ,\eta _1,\dots ,\eta _n)\). Then the Maurer-Cartan forms
are given by
Let now \(M^n\) be a manifold equipped with an affine connection \(\nabla \) and a non-degenerate (0, 2)-tensor h. By the results of [3, Section 4] the frame equations are locally integrable for some appropriate 1-form \(\psi \) if and only if \(\nabla \) is projectively flat and h is obtained from the Ricci tensor of \(\nabla \) by formula (2.5). Let us verify this by direct calculation.
The integrability conditions for the frame F are given by
The upper left corner of this identity yields \(-h_{\alpha \delta } + \partial _{\delta }\psi _{\alpha } = -h_{\delta \alpha } + \partial _{\alpha }\psi _{\delta }\). The lower left block is not informative, while the upper right block yields \(h_{\beta \delta }\nabla ^{\beta }_{\alpha \gamma } + \partial _{\delta } h_{\gamma \alpha } = h_{\beta \alpha }\nabla ^{\beta }_{\delta \gamma } + \partial _{\alpha } h_{\gamma \delta }\). Finally, the lower right block yields
Denoting the Riemann curvature tensor of \(\nabla \) by
and the Ricci tensor by \(R_{\gamma \alpha } = R^{\delta }_{\gamma \delta \alpha }\), we obtain the compatibility conditions
From the last condition it follows by contraction that \(R_{\gamma \alpha } = nh_{\gamma \alpha } - h_{\alpha \gamma }\), which is indeed equivalent to (2.5). The last condition can then be rewritten as
On the left-hand side we recognize the Weyl projective curvature tensor \(W^{\beta }_{\gamma \delta \alpha }\) [12, eq. (7p)] of the connection \(\nabla \). The second condition in (2.27) is the symmetry of the cubic form \(C_{\alpha \beta \gamma } = \nabla _{\gamma }h_{\alpha \beta }\) in the last two indices. It implies the closed-ness of the form \(\omega _{\alpha \delta } = \frac{1}{2}(h_{\alpha \delta } - h_{\delta \alpha })\). The first condition in (2.27) can be written as \(d\psi = -2\omega \). If the second condition holds the first condition can locally be satisfied by an appropriate choice of the potential \(\psi \).
Thus the integrability conditions on \(\nabla \) and h amount to relation (2.5), the vanishing of \(W^{\beta }_{\gamma \delta \alpha }\), and the symmetry \(C_{\alpha \beta \gamma } = C_{\alpha \gamma \beta }\). These are indeed the necessary and sufficient conditions for projective flatness of \(\nabla \) [12, p. 104]. Moreover, \(W^{\beta }_{\gamma \delta \alpha }\) vanishes identically for \(n = 2\), and the condition \(W^{\beta }_{\gamma \delta \alpha } = 0\) implies the symmetry of C for \(n \ge 3\) [12, p. 105].
3 Second Fundamental Form and Difference Tensor
In this section we compute the second fundamental form \(I\!I\) of a non-degenerate immersion f of a manifold \(M^n\) into \({\mathbb {C}^{\prime }}\!P^n \). We show that the immersion is totally geodesic if and only if the cubic form C vanishes, and it is minimal if and only if C is trace-less with respect to the last two indices. The results of this section are valid not only for immersions into the para-Kähler space form \({\mathbb {C}^{\prime }}\!P^n \), but for non-degenerate immersions into general para-Kähler manifolds \({{\mathbb {M}}}^{2n}_n\).
Theorem 3.1
Let \(f: M^n \rightarrow {{\mathbb {M}}}^{2n}_n\) be an isometric immersion of a pseudo-Riemannian manifold into a para-Kähler manifold such that the eigen-distributions \(\Sigma ^{\pm }\) of the para-complex structure \(J^{\prime }\) are transversal to f. Let \(\nabla ,\nabla ^*\) be the affine connections defined on \(M^n\) by the transversal distributions \(\Sigma ^-,\Sigma ^+\), respectively, and let \(K = \nabla ^* - \nabla \) be the difference tensor. Let \(\Pi _{\pm } = \frac{1}{2}({{\,\textrm{id}\,}}\pm J^{\prime })\) be the projections onto \(\Sigma ^{\pm }\), respectively, and let \(\Pi _N\) be the orthogonal projection onto the normal subspace to f. Then the second fundamental form of f is given by
for all vector fields X, Y on \(M^n\).
Proof
Let \({\widehat{\nabla }}\) be the Levi-Civita connection of the metric g on \({\mathbb {M}}^{2n}_n\). Then by definition \(I\!I(X,Y) = \Pi _N{\widehat{\nabla }}_{f_*X}f_*Y\). Also by definition of \(\nabla ,\nabla ^*\) we have \(\Pi _+({\widehat{\nabla }}_{f_*X}f_*Y - f_*\nabla _XY) = 0\) and \(\Pi _-({\widehat{\nabla }}_{f_*X}f_*Y - f_*\nabla ^*_XY) = 0\), because \(\Sigma ^- = \ker \Pi _+\), \(\Sigma ^+ = \ker \Pi _-\). Using \(\Pi _+ + \Pi _- = {{\,\textrm{id}\,}}\) we obtain
Applying the projection \(\Pi _N\) to both sides we obtain the desired identity. \(\square \)
The cubic form is defined as in Section 2 by the relation \(C= \nabla h\), where h is the pull-back of the sum \(g + \omega \) to \(M^n\) and \(\omega \) is the symplectic form of \({\mathbb {M}}^{2n}_n\).
Corollary 3.2
Assume the conditions of Theorem 3.1 and let g be the pseudo-metric on \(M^n\). Then the immersion f is minimal if and only if \({\text {Tr}}_g K=0\), and it is totally geodesic if and only if \(K = 0\). Equivalently, the immersion f is minimal if and only if \({\text {Tr}}_g C=0\), and it is totally geodesic if and only if \(C = 0\), where C is the cubic form.
Proof
Since the immersion f is non-degenerate, the subspaces \(\Sigma ^{\pm }\) are transversal to both the tangent and the normal subspaces. Therefore the product \(\Pi _N\Pi _-f_*\) maps the tangent bundle \(TM^n\) bijectively onto the normal bundle. Then by Theorem 3.1 the mean curvature of f is zero if and only if the contraction of the difference tensor with the metric vanishes. Likewise, the second fundamental form vanishes if and only if the difference tensor vanishes. The second part of the assertion follows from (2.4) and the non-degeneracy of h, which in turn follows from the non-degeneracy of the immersion f. \(\square \)
4 Definite Surface Immersions
In this section we specialize to immersions defined on surfaces \(M^2\) with definite metric. We allow both a positive definite and a negative definite metric. For simplicity we assume that the surface is simply connected. We deduce the frame equations and the compatibility conditions in the uniformizing coordinate on the surface \(M^2\). We then consider the special cases of Lagrangian immersions and minimal immersions.
4.1 The Maurer–Cartan Form
Whatever the sign of the metric, we may introduce a uniformizing complex coordinate \(z = y^1 + iy^2\) on the surface \(M^2\) in which the metric takes the form
where \(u: M^2 \rightarrow {\mathbb {R}}\) is a function of z and \({\bar{z}}\), i.e., \(u=u(z, {\bar{z}})\) and \(H = 1\) (the elliptic case) or \(-1\) (the hyperbolic case). In the corresponding real coordinates \(y^1,y^2\) the tensor h takes the form
with \(a = 2 H e^u\). We first establish relations between the projectively flat connection \(\nabla \), the cubic form C, and the expressions \(\langle \partial _{\alpha }\xi ,\eta \rangle \) and similar scalar products in this coordinate system. This will serve to express the Maurer–Cartan form in terms of the two independent entries a, b of h and their derivatives, the two entries of \(\psi \), and the 6 independent entries of the cubic form C.
We now convert the real coordinates to complex coordinates, see [23]. The complex canonical basis vectors take the form
For convenience we introduce the complex functions
We also introduce the para-Kähler angle function \(\theta \) by
It is straightforward to see that \(\arg c = \theta - \frac{\pi }{2} \in \left( -\frac{\pi }{2}, \frac{\pi }{2}\right) \).
Remark 4.1
The complex function c is nowhere zero on a surface \(M^2\) since we assume that the immersion \(f:M^2 \rightarrow \mathbb {C}^{\prime } P^2 \) is definite.Footnote 3
Using the vector-valued 1-forms \(\xi ,\eta \), define vector-valued complex functions
By abuse of notation, we denote \(\xi _z\), \(\eta _z\) and \(\rho _z\) by \(\xi \), \(\eta \) and \(\rho \) respectively. From (2.8) we then obtain
In complex coordinates we then have
By Lemma 2.5 we obtain
Differentiating these relations, we obtain
Relations (2.21) yield
while relations (2.22) become
Note also that since the operators \(\partial _z,\partial _{{\bar{z}}}\) commute, we have
We now introduce respectively functions \(\phi \) and Q by
Note that \(\phi d z\) and \(Q d z^3\) are well-defined as a 1-form and a 3-form on \(M^2\), respectively.
Remark 4.2
-
(1)
We now observe that if we change a lift \(\mathfrak {f}=(x, \chi )\) to \((\alpha x, \alpha ^{-1} \chi )\) by a real-valued function \(\alpha \), then the real-vectors \(\xi _1, \xi _2\), \(\eta _1\) and \(\eta _2\) change accordingly to \(\alpha \xi _1, \alpha \xi _2\), \(\alpha ^{-1}\eta _1\), and \(\alpha ^{-1}\eta _2\), respectively. Therefore the functions u, c, and by virtue of (4.5) also \(\phi \) and Q, are independent of choice of a lift \(\mathfrak {f}\), i.e., they are functions depending on f not \(\mathfrak {f}\).
-
(2)
The Tchebycheff form is defined by \(T_{\alpha } = \frac{1}{2}C_{\alpha \beta \gamma }g^{\beta \gamma }\). From Corollary 2.8 we get \(C_{zzz} = -2\langle \partial _z\xi ,\eta \rangle \), \(C_{zz{\bar{z}}} = C_{z{\bar{z}}z} = -2\langle \partial _{{\bar{z}}}\xi ,\eta \rangle \), and hence
$$\begin{aligned} Q = -\frac{1}{2} C_{zzz}. \end{aligned}$$Therefore the cubic form \(Q dz^3\) is nothing but the complex component of the cubic form \(C = \nabla h\). Further in complex coordinates we have \(g^{-1} = \frac{2}{a} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\) and hence \(T_z = \frac{1}{a}(C_{zz{\bar{z}}} + C_{z\bar{z}z}) = -\frac{4}{a}\langle \partial _{{\bar{z}}}\xi ,\eta \rangle = -2He^{-u}\langle \partial _{{\bar{z}}}\xi ,\eta \rangle \),
$$\begin{aligned} \phi = -\frac{1}{2}T_z. \end{aligned}$$The form \(\phi \,d z\) is sometimes called the mean curvature 1-form.
We are now in a position to formulate the moving frame equations. Instead of the real moving frames \(F,F^*\) introduced in Sect. 2 we shall consider the complex moving frames
By (4.3) and (4.5) the product \(\widetilde{\mathcal {F}}^T \widetilde{\mathcal {F}}^*\) equals
and \(\widetilde{\mathcal {F}}^* = \widetilde{\mathcal {F}}^{-T} {\widetilde{D}}\). The Maurer–Cartan forms \(\widetilde{\mathcal {U}}_z:= \widetilde{\mathcal {F}}^{-1}\partial _z \widetilde{\mathcal {F}}\) and \(\widetilde{\mathcal {U}}_{{\bar{z}}}:= \widetilde{\mathcal {F}}^{-1}\partial _{{\bar{z}}}\widetilde{\mathcal {F}}\) are given by
We now compute \(\widetilde{{\mathcal {U}}}_{z}\) and \(\widetilde{{\mathcal {U}}}_{{\bar{z}}}\) as follows: Set
where p, q and r are unknown complex functions to be determined. Taking pairing with respect to \(\chi \), it is easy to see that \(r=0\). Moreover, taking pairing with respect to \(\eta \) we have \(\langle \partial _z \xi , \eta \rangle = q \langle {\bar{\xi }}, \eta \rangle \), and by (4.5) and (4.10), \(q= H {\bar{c}}^{-1} e^{-u} Q\) follows. Finally taking pairing with respect to \({\bar{\eta }}\), we have
Let us compute the left-hand side by taking the derivative of \(\langle \xi , {\bar{\eta }}\rangle = H e^{u} c \) with respect to z, that is,
Since \(\partial _z {\bar{\eta }} = \partial _z \partial _{{\bar{z}}}\chi - \partial _z ({\bar{\rho }} \chi )\) and by virtue of (4.7) \(\langle \xi , \partial _z\chi \rangle =0\), we get
Moreover, \(\partial _z \chi = \eta - \rho \chi \) and thus \(\langle \partial _{{\bar{z}}}\xi , \partial _z \chi \rangle = H e^{u} \phi + \rho H e^{u} c\) holds. Therefore \(p = \frac{\phi }{c} + \rho + \partial _z (\log c + u)\) follows. Similarly, set
where p, q and r are unknown complex functions to be determined. Taking pairing with respect to \(\chi \), it is easy to see that \(r= - H e^{u} {\bar{c}}\) by (4.7). Next taking pairing with respect to \(\eta \) we have \(\langle \partial _z {\bar{\xi }}, \eta \rangle = q \langle {\bar{\xi }}, \eta \rangle = qHe^u{\bar{c}}\), and by (4.8), \(q= \rho + {\bar{c}}^{-1} \phi \) follows. Finally taking pairing with respect to \({\bar{\eta }}\), we have \(\langle \partial _z {\bar{\xi }}, {\bar{\eta }}\rangle = p \langle \xi , \bar{\eta }\rangle \), and by (4.9) and (4.7), \(p = c^{-1} {\bar{\phi }}\) follows. By (2.26) we have
One can compute \(\widetilde{{\mathcal {U}}}_{{\bar{z}} }\) similarly.
Thus the Maurer-Cartan form can be computed as follows:
The compatibility conditions
amount to the real equation \(\partial _{{\bar{z}}}\rho - \partial _z {\bar{\rho }} = H e^{u}( c - {\bar{c}})\), which can be written as
and is equivalent to the first equation in (2.27), and the two compatibility conditions
As pointed out in (1) in Remark 4.2, the functions \(u, c, \phi \) and Q are independent of the choice of a lift \(\mathfrak {f}\). On the other hand, the function \(\rho \) depends on the choice of a lift.
Proposition 4.3
By choosing a lift \(\mathfrak {f}\) properly, the function \(\rho \) can be made to satisfy the condition
In this case, we denote it by \(\rho _0\) instead of \(\rho \).
Proof
Let \(\rho _0\) as in (4.14). Then the compatibility condition (4.11) is equivalent to
Therefore, the 1-form
is a real-closed 1-form. Let \(\delta : {\mathbb {D}} \rightarrow {\mathbb {R}}\) denote a solution to \(d \delta = \Omega \). Now the new lift \({\tilde{\mathfrak {f}}} = e^{\delta } \mathfrak {f}\) satisfies \({\tilde{\rho }}=\rho _0\). \(\square \)
We now gauge the frames \(\widetilde{{\mathcal {F}}}\) and \(\widetilde{{\mathcal {F}}}^*\) to:
with
Then a straightforward computation shows that the Maurer–Cartan form of \({\mathcal {F}}\) can be computed as
with
We now summarize the above discussion as the following theorem.
Theorem 4.4
(Fundamental Theorem of definite surfaces in \(\mathbb {C}^{\prime } P^2 \)). Let \(f: M^2 \rightarrow \mathbb {C}^{\prime } P^2 \) be a liftable immersion and \(\mathfrak {f}: M^2 \rightarrow S^{5}_{3}\) a lift. Let \(g = 2 H e^{u} d z d {\bar{z}}, \, (H \in \{-1, 1\})\) denote the induced metric, \(\theta : M^2 \rightarrow (0, \pi )\) the para-Kähler angle, \(Q dz^3\) the cubic form, \(\phi dz\) the mean curvature form. Set c by \( c = 1 + i\tan (\theta - \pi /2)\) and \(\rho \) by (4.1). Then (4.11), (4.12), and (4.13) are satisfied.
Conversely let \(g= 2 H e^{u} dz d {\bar{z}}, \, (H \in \{-1, 1\})\) be a positive or negative definite metric on a simply connected Riemann surface \({\mathbb {D}}\). Let \(\theta : {\mathbb {D}} \rightarrow (0, \pi )\) be a real valued function and \(\phi dz\) and \(Q dz^3\) be a 1-form and a 3-form, respectively. Set c by \(c = 1 + i \tan (\theta -\pi /2)\) and \(\rho \) by (4.11). If these data satisfy (4.12) and (4.13), then there exists an immersion \(f: {\mathbb {D}} \rightarrow \mathbb {C}^{\prime } P^2 \) which has invariants stated as above and is unique up to isometries of \(\mathbb {C}^{\prime } P^2 \).
4.2 Lagrangian Surface Immersions
In this section we specify our results to the case of Lagrangian surface immersions into \(\mathbb {C}^{\prime } P^2 \). If the immersion f is Lagrangian, then \(\omega = 0\), \(h = g\), and \(C = \nabla g\) is totally symmetric. The converse implication also holds.
Lemma 4.5
Let \(f: M^2 \rightarrow \mathbb {C}^{\prime } P^2 \) be a non-degenerate surface immersion with totally symmetric cubic form. Then f is Lagrangian.
Proof
The condition that C is totally symmetric is equivalent to the condition \(\nabla \omega = 0\). Suppose for the sake of contradiction that \(\omega \) does not vanish on some neighbourhood \(U \subset M\). Then \(\nabla \) preserves a non-trivial volume form on U and is equi-affine. This implies that its Ricci tensor is symmetric [13, Proposition I.3.1]. But then (2.5) implies \(\omega = 0\), leading to a contradiction. \(\square \)
The Lagrangian condition \(\omega = 0\), or equivalently \(b = 0\), has the implication
The compatibility condition (4.11) becomes \({\text {Im}} \partial _{{\bar{z}}}\rho = 0\). It is equivalent to the form \(\psi \) to be closed. Since M is simply connected, there exists a real potential \(\upsilon \) such that \(\psi = d\upsilon \), or \(\rho = \partial _z \upsilon \). By an appropriate scaling of the lift \(\mathfrak {f}\) of f into \(S^{5}_{3}\) we may choose \(\upsilon \) equal to any desired smooth real function. In particular, we may achieve
by an appropriate choice of the lift. Such a lift is horizontal in the sense of Definition 2.3. In this case the lift \(\mathfrak {f}\) defines a dual pair of centro-affine immersions \(x,\chi \) into \({\mathbb {R}}^3\) and \({\mathbb {R}}_3\), respectively, whose metric coincides with g and whose centro-affine connection coincides with \(\nabla \) [2, Theorem 4.1].
Conditions (4.12) and (4.13) simplify to
The left-hand side in the first equation is real, while the right-hand side is imaginary. Hence both sides must equal zero, and we have
The Maurer–Cartan forms (4.16) simplify to
Remark 4.6
From \( - \partial _z {\bar{\phi }} +\partial _{{\bar{z}}} \phi =0\) the 1-form \(\phi d z + {\bar{\phi }} d {\bar{z}}\) is closed, or equivalently the Tchebycheff form T is closed for a Lagrangian immersion f.
4.3 Minimal Surface Immersions
In this section we specify our results to minimal surface immersions into \(\mathbb {C}^{\prime } P^2 \).
By Corollary 3.2 the immersion f is minimal if and only if the Tchebycheff form T vanishes if and only if the function \(\phi \) vanishes. Setting \(\phi = 0\) in the compatibility condition (4.13) gives \(\partial _{{\bar{z}}} Q = 0\), and Q is a holomorphic function. Setting \(\phi = 0\) in (4.12) gives
The left-hand side of the equation is real, and so must be the right-hand side. Therefore we have an additional equation for the para-Kähler angle \(\theta \) in (4.2),
The Maurer–Cartan form can be simplified to
4.4 Minimal Lagrangian Surface Immersions
Combining Sect. 4.2 and Sect. 4.3, we obtain the following equations for a definite minimal Lagrangian surface immersion in \(\mathbb {C}^{\prime } P^2 \):
Moreover, the Maurer–Cartan form can be simplified to
The first equation in (4.20) is known as the Tzitzéica equation and the Maurer-Cartan form is identical to that of [14, Section 4.4 with the spectral parameter \(\lambda = \pm 1\)]. Therefore it is easy to see that
Theorem 4.7
A definite minimal Lagrangian immersion in \(\mathbb {C}^{\prime } P^2 \) defines a definite proper affine sphere in \({\mathbb {R}}^3\) and vice versa.
5 Primitive Maps and Immersions with Special Properties
In this section we characterize surface immersions in \(\mathbb {C}^{\prime } P^2 \) with special properties (minimal, Lagrangian or minimal Lagrangian surfaces) in terms of primitive harmonic maps. Since the results in this section are an adaptation the results of [9] to the case of surface immersions into \(\mathbb {C}^{\prime } P^2 \), we will omit detailed proofs, and refer to Appendix B.
5.1 The Real Form \(\tau \)
It is easy to see that the determinant of the moving frame \(\mathcal F\) in (4.15) can be computed as
where \(\xi _1\) and \(\xi _2\) are real-valued vectors as in (2.12). Therefore \(\det {\mathcal {F}}\) takes values in \(i {\mathbb {R}}^{\times }\). Let us denote \(\det {\mathcal {F}}\) by \(\delta \) with a non-vanishing real function \(\delta \). Then, it is also easy to see that \(\det {\mathcal {F}}^* = \delta ^{-1}\).
As discussed in Remark 4.2, if we change a lift \((x, \chi )\) to \((\delta ^{1/3} x, \delta ^{-1/3} \chi )\), then the real-vectors \(\xi _1, \xi _2\), \(\eta _1\), and \(\eta _2\) change accordingly to \(\delta ^{1/3}\xi _1, \delta ^{1/3}\xi _2\), \(\delta ^{-1/3}\eta _1\), and \(\delta ^{-1/3}\eta _2\), respectively. Then \(\det {\mathcal {F}} = \det {\mathcal {F}}^* = 1\) in this particular lift. Therefore we have the following.
Lemma 5.1
Choosing the initial condition of \({\mathcal {F}}\) and \({\mathcal {F}}^*\) properly, the gauged moving frames
take values in \(\textrm{SL}_3 {\mathbb {R}}\).
Remark 5.2
The function \(\rho \) in (4.1) of the lift \(\mathfrak {f}\) such that \(\det {\mathcal {F}} = 1\) cannot satisfy (4.14) in general. In the following, we normalize a lift \(\mathfrak {f}\) such that the frame \({\mathcal {F}}\) satisfies \(\det {\mathcal {F}} =1\), and we do not assume (4.14).
We define a real Lie group
which is isomorphic to the standard \(\textrm{SL}_3 {\mathbb {R}}\), and we denote it by \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\). More explicitly, the Lie group \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) in (5.2) can be represented by
The Lie algebra of the above \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\), which is isomorphic to the standard Lie algebra \(\mathfrak {sl}_3 {\mathbb {R}}\), can be represented by
Therefore without loss of generality the moving frame \({\mathcal {F}}\) (and \({\mathcal {F}}^*\)) of an immersion \(f: M^2 \rightarrow \mathbb {C}^{\prime } P^2 \) takes values in \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\). In the following consideration, we always assume this. Moreover, one can think \({\mathfrak {g}}^{{\mathbb {R}}} = \mathfrak {sl}_3 {\mathbb {R}}^{\textrm{H}}\) as the real form of \({\mathfrak {g}} = \mathfrak {sl}_3 {\mathbb {C}}\) given by the anti-linear involution
Note that \(P_H\) is given by
We consider the anti-linear involution \(\tau ^G\) on the group level \(G = \textrm{SL}_3 {\mathbb {C}}\) as
By abuse of notation we will also write \(\tau ^{G}\) by \(\tau \).
5.2 Primitive Maps and Immersions with Special Properties
We now consider the order 6 outer automorphism \(\sigma \) on \(\mathfrak {sl}_3 {\mathbb {C}}\) is given by
with \(\epsilon = e^{\frac{ i\pi }{3}}\). Note that
and \(\sigma _H\) with \(H=-1\) has been used in [9, 14, 15]. It is easy to see that \(\sigma _H\) commutes with \(\tau \) and thus \(\sigma _H\) defines a k-symmetric space with \(k=6\), see Definition B.1. Moreover, instead of \(\sigma _H\), one can use \(\sigma _H^2\) and \(\sigma _H^3\), which are the order 3 and 2 automorphisms on \(\mathfrak {sl}_3 {\mathbb {C}}\), and there are corresponding k-symmetric spaces with \(k=3\) and 2, respectively. Then one can introduce the primitive harmonic into a k-symmetric space relative to \(\sigma _H\), \(\sigma _H^2\) and \(\sigma _H^3\), respectively, see Definition B.2. The following characterizations of surface immersions with special properties in terms of primitive harmonic maps are verbatim to the case of those of \({\mathbb {C}} P^2\), [9, Theorem 2.4], thus we will omit the proof.
Theorem 5.3
Let \(G = \textrm{SL}_3 {\mathbb {C}}\) and \(\mathfrak {g} = \mathfrak {sl}_3 {\mathbb {C}}\) its Lie algebra. Let \(\tau \) denote the real form involution of G singling out \(G^{{\mathbb {R}}}=\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) in G and let \(\sigma _H = \sigma _H^G\) be the automorphism of order 6 of G given by \(\sigma _H (g) = P_H^{\epsilon } (g^{T})^{-1} P_H^{\epsilon }\) in (5.6). Assume moreover, that \(\mathfrak {f}\) is the lift of a liftable immersion f into \(\mathbb {C}^{\prime } P^2 \) and with frame \({\mathcal {F}}\) in \(G^{{\mathbb {R}}}\). Then the following statements hold:
-
(1)
\({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H\) if and only if f is minimal Lagrangian in \(\mathbb {C}^{\prime } P^2 \).
-
(2)
\({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H^2\) if and only if f is minimal in \(\mathbb {C}^{\prime } P^2 \).
-
(3)
\({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H^3\) if and only if either f is minimal Lagrangian or f is flat homogeneous in \(\mathbb {C}^{\prime } P^2 \).
6 Ruh–Vilms Type Theorems
In the following sections, we use the para-hermitian inner product of the 3-dimensional para-complex vector space \({\mathbb {C}^{\prime }}^3\) with a para-Hermitian form
where \(*\) denotes the para-complex conjugate of a paracomplex vector in \({\mathbb {C}^{\prime }}^3\), and \(P_H\) is defined in (5.4), see also Appendix A.1.1.
Remark 6.1
The para-Hermitian form (6.1) is invariant under the Lie group \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) defined in (5.3). It is different from the standard para-Hermitian inner product in (A.5), but they are isomorphic. The para-Hermitian form in (6.1) is suitable for Ruh–Vilms type theorems.
The 3-dimensional para-complex vector space \({\mathbb {C}^{\prime }}^3\) is a symplectic vector space with the symplectic form \(\omega = -\Im \langle \;,\; \rangle _h\).
In [9, Section 3], three 6-symmetric spaces of dimension 7 which are bundles over \(S^5\) were defined, which were \(FL_1\), \(FL_2\) and \(FL_3\). We will analogously define bundles over \(S^{5}_{3}\), which will be denoted by \(FL_1^H, FL_2^H\) and \(FL_3^H\), respectively. A detailed construction can be found in Appendix C.
6.1 Projections from Various Bundles
A family of (real) oriented Lagrangian subspaces of \({\mathbb {C}^{\prime }}^3\) forms a submanifold of the manifold of real Grassmannian 3-spaces of \({\mathbb {C}^{\prime }}^3\), which will be called the Grassmannian manifold of oriented Lagrangian subspaces and will be denoted by \(\text {L}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\). It is easy to see that \(\text {L}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) can be represented as the homogeneous space \(\textrm{GL}_3 {\mathbb {R}}^{\textrm{H}}/ \textrm{O}_{3}^{\textrm{H}}\). In particular the orbit of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) through the point \(e \in \textrm{SO}_{3}^{\textrm{H}}\) will be called the special Lagrangian Grassmannian and it will be denoted by \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\). It is also easy to see that it can be represented as a homogeneous space
see Proposition C.1. We now define two bundles over \(S^{5}_{3}\):
Moreover, we define
where \(\epsilon = e^{\pi i/3}\). Then \(FL_j^H(j=1, 2, 3)\) are mutually equivariantly diffeomorphic 6-symmetric spaces relative to \(\sigma _H\), and they are 7-dimensional.
see Theorem C.3. There are natural projections from \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\):
We now further define three spaces:
and
It is easy to see that
and thus the spaces \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) and \(\widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}^3)\) are naturally equivariantly diffeomorphic, that is, there exists a diffeomorphism \(\phi :\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3) \rightarrow \widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}^3)\) such that \(\phi (g. x) = g. \phi (p)\) for \(g \in \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) and \(p \in \text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }})\). symmetric spaces relative to \(\sigma _H^3\), and they are 5-dimensional, see Appendix C.
It is also easy to see that
and the spaces \(Fl_2^H\) and \(\widetilde{Fl_2^H}\) are naturally equivariantly diffeomorphic 3-symmetric spaces relative to \(\sigma _H^2\), and they are 6-dimensional, see again Appendix C. There are further natural projections:
Schematically, we have the following diagram:
6.2 Ruh–Vilms Type Theorems Associated with the Gauss Maps
We will define three Gauss maps taking values in the various bundles given in the previous subsection for any liftable immersion \(f: M^2 \rightarrow \mathbb {C}^{\prime } P^2 \) with \(M^2\) a Riemann surface.
We assume from now on \(M^2 = {\mathbb {D}}\), and that \(\mathfrak {f}\) is a special lift of f. Then we define the frame \({\mathcal {F}}: {\mathbb {D}}\rightarrow \textrm{GL}_3 {\mathbb {R}}^{\textrm{H}}\) as in Lemma 5.1 such that \(\det {\mathcal {F}} =1\), that is,
The frame \({\mathcal {F}}\) will be called the normalized frame. Note that the function \(\rho \) has been chosen now as in Remark 5.2 and will generally not coincide with \(\rho _0\) as in Proposition 4.3.
Definition 6.2
Let \({\mathcal {F}}:{\mathbb {D}}\rightarrow \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) be the normalized frame and \(\pi _i (i=1, 2, 3)\), \({\tilde{\pi }}_i, {\tilde{\pi }}_{3, i} (i=1, 2)\) be the projections given in (6.2). Then the maps
will be called the Gauss maps of f.
We finally arrive at Ruh–Vilms type theorems, which is an exact analogue to Theorem 3.6 in [9].
Theorem 6.3
(Ruh–Vilms theorems for \(\sigma _H, \sigma _H^2\) and \(\sigma _H^3\)). With the notation used above we consider any liftable immersion into \(\mathbb {C}^{\prime } P^2 \) and the Gauss maps defined in (6.4). Then the following statements hold :
-
(1)
\(\mathcal {G}_j\) \((j=1, 2, 3)\) is primitive harmonic map into \(FL_{j}^H\) if and only if \({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H\) if and only if the corresponding surface is a minimal Lagrangian immersion into \(\mathbb {C}^{\prime } P^2 \).
-
(2)
\({\mathcal {H}}_2\) or \({\mathcal {H}}_{3, 2}\) is primitive harmonic in \(Fl_2^H\) or \( \widetilde{Fl_2^H}\) if and only if \({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H^2\) if and only if the corresponding surface is a minimal immersion into \(\mathbb {C}^{\prime } P^2 \).
-
(3)
\({\mathcal {H}}_1\) or \({\mathcal {H}}_{3, 1}\) is primitive harmonic map into \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) or \(\widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}^3)\) if and only if \({\mathcal {F}}\) is primitive harmonic relative to \(\sigma _H^3\) if and only if the corresponding surface is either a minimal Lagrangian immersion or a flat homogeneous immersion into \(\mathbb {C}^{\prime } P^2 \).
Proof
The first equivalence in (1) is a consequence of the definition of primitive harmonicity into a k-symmetric space, and the second equivalence in (1) has been stated in Theorem 5.3. The proofs for (2) and (3) are similar.\(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
The para-complex projective space \({\mathbb {C}^{\prime }}\!P^n \) appears in the example on pp. 92–93 of [1] with parameters \(F = {\mathbb {R}}\) and \((p,q) = (1,n)\). In that work this space has been represented as the cotangent bundle of the real projective space \(\mathbb {R}P^n\), but we shall work with the representation as the mentioned subset of the product \(\mathbb {R}P^n \times \mathbb {R}P_n\), because the latter emphasizes the primal-dual symmetry of the space.
The authors feel that the name given to the objects considered may not fit to what algebraic geometers use. We have chosen nevertheless to use the notation used in several papers preceding ours.
There is no “complex point” compared to the \({\mathbb {C}}P^2\) case.
The original definition is \([x] \not \perp [\chi ]\).
References
Kaneyuki, S., Kozai, M.: Paracomplex structures and affine symmetric spaces. Tokyo J. Math. 8(1), 81–98 (1985)
Hildebrand, R.: The cross-ratio manifold: a model of centro-affine geometry. Int. Electron. J. Geom. 4(2), 32–62 (2011)
Hildebrand, R.: Half-dimensional immersions in para-Kähler manifolds. Int. Electron. J. Geom. 4(2), 85–113 (2011)
Chang, S.: On Hamiltonian stable minimal Lagrangian surfaces in \({\mathbb{C} }P^{2}\). J. Geom. Anal. 10, 243–255 (2000)
Dorfmeister, J.F., Ma, H.: Explicit expressions for the Iwasawa factors, the metric and the monodromy matrices for minimal Lagrangian surfaces in \({\mathbb{C}\mathbb{P} }^{2}\). In: Dynamical Systems. Number Theory and Applications, pp. 19–47. World Scientific, New Jersey (2016)
Dorfmeister, J.F., Ma, H.: A new look at equivariant minimal Lagrangian surfaces in \({\mathbb{C}\mathbb{P} }^{2}\). In: Futaki, A., Miyaoka, R., Tang, Z., Zhang, W. (eds.) Geometry and Topology of Manifolds: 10th China-Japan Conference 2014. Springer Proceedings in Mathematics and Statistics, vol. 154, pp. 97–126. Springer, Tokyo (2016)
Ma, H., Ma, Y.: Totally real minimal tori in \({\mathbb{C}\mathbb{P} }^{2}\). Math. Z. 249(2), 241–267 (2005)
Mironov, A. E.: Finite-gap minimal Lagrangian surfaces in \({\mathbb{C} }P^{2}\), volume 3 of OCAMI Studies Series, pp. 185–196, (2010)
Dorfmeister, J.F., Kobayashi, S., Ma, H.: Ruh-Vilms theorems for minimal surfaces without complex points and minimal Lagrangian surfaces in \({\mathbb{C} }P^{2}\). Math. Z. 296(3–4), 1751–1775 (2020)
Gadea, P.M., Montesinos Amilibia, A.: The paracomplex projective spaces as symmetric and natural spaces. Indian J. Pure Appl. Math. 23(4), 261–275 (1992)
Etayo, F., Santamaría, R., Trías, U.R.: The geometry of a bi-Lagrangian manifold. Differ. Geom. Appl. 24(1), 33–59 (2006)
Weyl, H.: Zur Infinitesimalgeometrie: Einordnung der projektiven und konformen Auffassung. Göttinger Nachr. 1921, 99–112 (1921)
Nomizu, K., Sasaki, T.: Affine Differential Geometry: Geometry of Affine Immersions. Cambridge Tracts in Mathematics, vol. 111. Cambridge University Press, Cambridge (1994)
Dorfmeister, J.F., Freyn, W., Kobayashi, S., Wang, E.: Survey on real forms of the complex A(2)2-Toda equation and surface theory. Complex Manifolds 6(1), 194–227 (2019)
Dorfmeister, J.F., Kobayashi, S.: Timelike minimal Lagrangian surfaces in the indefinite complex hyperbolic two-space. Ann. Mat. Pura Appl. 200(2), 521–546 (2021)
Alekseevsky, D.V., Medori, C., Tomassini, A.: Homogeneous para-Kählerian Einstein manifolds. Russ. Math. Surv. 64(1), 1–43 (2009)
Cruceanu, V., Fortuny, P.: Pedro Martínez Gadea. A survey on paracomplex geometry. Rocky Mt. J. Math. 26, 83–115 (1996)
Samelson, H.: Orientability of hypersurfaces in \({\mathbb{R} }^{n}\). Proc. Amer. Math. Soc. 22, 301–302 (1969)
Burstall, F.E., Pedit, F.: Harmonic maps via Adler-Kostant-Symes theory, Harmonic maps and integrable systems. In: Fordy, A.P., Wood, J.C. (eds.) Aspects of Math, pp. 221–272. Vieweg, Braunschweig, Wiesbaden (1994)
Black, M.: Harmonic maps into homogeneous spaces. Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, Harlow (1991)
Dorfmeister, J., Pedit, F., Hongyou, W.: Weierstrass type representation of harmonic maps into symmetric spaces. Comm. Anal. Geom. 6(4), 633–668 (1998)
Anciaux, H., Samuays, M.A.: Lagrangian submanifolds in para-complex Euclidean space. Bull. Belg. Math. Soc. Simon Stevin 23(3), 421–437 (2016)
Forster, O.: Lectures on Riemann surfaces. Graduate Texts in Mathematics, vol. 81. Springer-Verlag, New York (1991)
Gadea, P.M., Montesinos Amilibia, A.: Spaces of constant para-holomorphic sectional curvature. Pacific J. Math. 136(1), 85–101 (1989)
McIntosh, I.: Special Lagrangian cones in \({\mathbb{C} }^{3}\) and primitive harmonic maps. J. Lond. Math. Soc. 67(2), 769–789 (2003)
Funding
This work supported by Japan Society for the Promotion of Science London grant number (JP22K03304) and Professor Shimpei Kobayashi.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors state that there is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S. Kobayashi partially supported by JSPS KAKENHI Grant Numbers JP18K03265 and JP22K03304.
Appendices
7 Appendix
Basic Results for \({\mathbb {C}^{\prime }}\!P^n \) and \(S^{2n+1}_{n+1}\)
1.1 The Manifold \(S^{2n+1}_{n+1}\)
1.1.1 Para-Complex Vector Space
Let us briefly recall the n-dimensional para-complex vector space \(({\mathbb {C}^{\prime }})^n\), see [16, 17]: First define a commutative and associative multiplication “\(\cdot \)” on \({\mathbb {R}}^2\) by
for \((x, y), ({\tilde{x}}, {\tilde{y}}) \in {\mathbb {R}}^2\). Then \((1,0) =: 1\) is the unit element. Choosing \(i^{\prime }= (0, 1)\), \((i^{\prime })^2 = 1\) follows, and it is called the para-imaginary unit. Then the para-complex numbers \({\mathbb {C}^{\prime }}\) are defined by
and the multiplication on \({\mathbb {C}^{\prime }}\) is given by
Note that \(i^{\prime }\) corresponds to the para-complex structure \(J^{\prime }\) on \({\mathbb {R}}^2\) given by
Then the para-complex conjugation \(z^*\) of \(z= x+ i^{\prime }y \in {\mathbb {C}^{\prime }}\) is defined by \(z^* = x - i^{\prime }y \in {\mathbb {C}^{\prime }}\), the real and imaginary parts of z are defined by x and y, respectively. Note that \((zw)^* = z^*w^*\). The natural scalar product of \({\mathbb {C}^{\prime }}\) is defined by
This is a para-Hermitian form, that is, it is \({\mathbb {C}^{\prime }}\)-antilinear in the first component and \({\mathbb {C}^{\prime }}\)-linear in the second component, respectively, and \(\langle w, z\rangle _h = \langle z, w\rangle _h^*\) holds. Note that \(\langle z, z \rangle _h\) takes values in \({\mathbb {R}}\) and \(\langle z, z \rangle _h=0\) if and only if \(z = a \pm i^{\prime }a\) for some \(a \in {\mathbb {R}}\). The set of invertible elements will be denoted by \(({\mathbb {C}^{\prime }})^{\times }\) and any element \(z \in {\mathbb {C}^{\prime }}\) such that \(\langle z, z \rangle _h\ne 0\) is obviously invertible, and we have \(z^{-1} =z^*/ \langle z, z \rangle _h\).
The n-dimensional para-complex vector space \(({\mathbb {C}^{\prime }})^n\) is the n-fold direct product of \({\mathbb {C}^{\prime }}\). The para-Hermitian form of \(({\mathbb {C}^{\prime }})^n\) is defined by
It is invariant under the transformation
It induces the pseudo-Riemannian metric g with signature (n, n) and the para-Hermitian form \(\omega \) on \(({\mathbb {C}^{\prime }})^n\) as
respectively. The (extension of the) para-complex structure \(J^{\prime }\) (to \(({\mathbb {C}^{\prime }})^n\)) is clearly parallel with respect to the Levi-Civita connection (relative to g), and it is also clear that \(g (i^{\prime }u, v) = \omega (u, v)\) and \(g(i^{\prime }u, i^{\prime }v) = - g(u, v)\) hold. Thus \(({\mathbb {C}^{\prime }})^n\) is a para-Hermitian manifold. Moreover, \(\omega \) is closed and thus it is a symplectic form and \(({\mathbb {C}^{\prime }})^n\) is a para-Kähler manifold. For more details on para-complex manifolds see [17].
1.1.2 The Geometry of \(S^{2n+1}_{n+1}\)
From Sect. 2.2 we recall the definition of \(S^{2n+1}_{n+1}\),
where \({\mathbb {R}}^{n+1}\) denotes the usual \(n+1\)-dimensional Euclidean space, \({\mathbb {R}}_{n+1}\) its dual vector space and \(\langle \cdot ,\cdot \rangle \) the natural pairing. Since the function \(h(x, \chi ) = \langle x, \chi \rangle - 1\) has only regular values, we obtain that \(S^{2n+1}_{n+1}\) is an embedded submanifold of \({\mathbb {R}}^{n+1} \times {\mathbb {R}}_{n+1}\).
It is straightforward to verify that the tangent space \(T_{(x,\chi )} S^{2n+1}_{n+1}\) of \(S^{2n+1}_{n+1}\) can be realized by pairs of vectors \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in {\mathbb {R}}^{n+1} \times {\mathbb {R}}_{n+1}\) satisfying
To rephrase \(S^{2n+1}_{n+1}\) by the para complex number (z), we now introduce the natural standard inner product on \({\mathbb {R}}^{n+1}\), i.e. \(\langle x, y\rangle = \sum _{i=1}^{n+1} x_i y_i\) for \(x = \sum _{i=1}^{n+1} x_i e_i, y = \sum _{i=1}^{n+1} y_i e_i \in {\mathbb {R}}^{n+1}\), and using it we identify \({\mathbb {R}}^{n+1}\) with \({\mathbb {R}}_{n+1}\). This identification then also induces the standard inner product on \({\mathbb {R}}_{n+1}\). As a consequence of this we will replace “\({\mathbb {R}}_{n+1}\)” by \({\mathbb {R}}^{n+1}\) from here on. But to indicate to which space a vector belongs we will continue to use latin letters \(x,y,\dots \) for the first component and Greek letters for the second component.
Then the real coordinates \((x, \chi )\) and the para-complex coordinates (z) can be identified by
It is easy to see that \(\langle x, \chi \rangle = \langle z, z\rangle _h\) under the above identification. More generally, the para-Hermitian form (A.5) for the vectors \(z = \frac{1}{2} (x+ \chi + i^{\prime }(x- \chi ))\) and \(w = \frac{1}{2}({\tilde{x}}+ \tilde{\chi }+ i^{\prime }({\tilde{x}}- {\tilde{\chi }}))\) can be computed as
Using the para-complex numbers \({\mathbb {C}^{\prime }}\) for the description of \(S^{2n+1}_{n+1}\) we obtain
and the tangent space \(T_z S^{2n+1}_{n+1}\) to \(S^{2n+1}_{n+1}\) at the point \(z \in ({\mathbb {C}^{\prime }})^{n+1}\) can be realized by the vectors \({\hat{w}} \in ({\mathbb {C}^{\prime }})^{n+1}\) satisfying
Proposition A.1
Retaining the notation introduced above we have the following :
-
(1)
The set \(S^{2n+1}_{n+1}\) is an embedded \(2n+1\)-dimensional submanifold of \(({\mathbb {C}^{\prime }})^{n+1}= {\mathbb {R}}^{2n+2}\).
-
(2)
The manifold \(S^{2n+1}_{n+1}\) is a contact manifold defined by the contact 1-form on \(S^{2n+1}_{n+1}:\)
$$\begin{aligned} \zeta (z) = \Im \langle z, \, \rangle _h. \end{aligned}$$(A.10) -
(3)
The Reeb vector field \(\mathcal {R}\) for the contact manifold \(S^{2n+1}_{n+1}\) with contact 1-form \(\zeta \) is given by
$$\begin{aligned} \mathcal {R}(z) = i^{\prime }z. \end{aligned}$$
We also have the following properties on \(S^{2n+1}_{n+1}\).
Lemma A.2
Let \({\hat{g}}\) be the pseudo-Riemannian metric on \(S^{2n+1}_{n+1}\) induced from g defined by (A.6) on \(({\mathbb {C}^{\prime }})^{n+1}\). Then the following statements hold :
-
(1)
For two tangent vectors \({\hat{v}}, {\hat{w}}\in T_{z} S^{2n+1}_{n+1}\), we have
$$\begin{aligned} \hat{g}({\hat{v}}, {\hat{w}} ) = \Re \langle {\hat{v}}, {\hat{w}}\rangle _h\quad . \end{aligned}$$(A.11)In real coordinates \((x, \chi )\), for tangent vectors \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}}, \widehat{\mathcal {Y}}) \in T_{(x, \chi )} S^{2n+1}_{n+1}\)
$$\begin{aligned} \hat{g}(\, (\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}}, \widehat{\mathcal {Y}}) \,)\ = \frac{1}{2} (\, \langle \widehat{\mathfrak {X}}, \widehat{\mathcal {Y}} \rangle + \langle \widehat{\mathfrak {Y}}, \widehat{\mathcal {X}} \rangle \,). \end{aligned}$$(A.12) -
(2)
For an arbitrary vector \({\hat{w}} \in T_{z} S^{2n+1}_{n+1}\), the para-complex structure \({\hat{J^{\prime }}}\) of \(({\mathbb {C}^{\prime }})^{n+1}\) naturally acts on \({\hat{w}}\) as
$$\begin{aligned} {\hat{J^{\prime }}} {\hat{w}} = i^{\prime }{\hat{w}}. \end{aligned}$$(A.13)For a real tangent vector \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in T_{(x, \chi )}S^{2n+1}_{n+1}\), \({\hat{J^{\prime }}}\) acts as
$$\begin{aligned} {\hat{J^{\prime }}} (\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) = (\widehat{\mathfrak {X}}, - \widehat{\mathcal {X}}). \end{aligned}$$(A.14)
1.2 The Space \({\mathbb {C}^{\prime }}\!P^n \) and the Fibration \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n \)
1.2.1 The Basic Fibration
We recall the para-Kähler complex projective space
defined in (2.1),Footnote 4 where \(\mathbb {R}P^n\) is the n-dimensional real projective space, \(\mathbb {R}P_n\) is the projective space of the dual space \({\mathbb {R}}_{n+1}\) of \({\mathbb {R}}^{n+1}\), sometimes also called the “dual real projective space”. Note that the equivalence class of an element in \({\mathbb {C}^{\prime }}\!P^n \) can be defined as follows: Set
Then the quotient is defined as follows: \((\mathbb {R}^{n+1} \times \mathbb {R}_{n+1})^+ \ni (x, \chi ) \sim ({\tilde{x}},{\tilde{\chi }}) \in (\mathbb {R}^{n+1} \times \mathbb {R}_{n+1})^+\) iff there exists a pair \((p, q) \in {\mathbb {R}}_{+} \times {\mathbb {R}}_{+}\) or \((p, q) \in {\mathbb {R}}_{-} \times {\mathbb {R}}_{-}\) such that \(({\tilde{x}}, {\tilde{\chi }})= (p x, q \chi )\). Thus
By using the correspondence between real and para-complex coordinates as stated in (A.8), we can write \({\mathbb {C}^{\prime }}\!P^n \) in the form
where [z] denotes an equivalence class defined as follows. Two elements \(w,z \in ({\mathbb {C}^{\prime }})^{n+1}\) satisfying \(\langle z, z\rangle _h>0\), \(\langle w, w\rangle _h>0\) are equivalent, \(z\sim w\), if and only if there exists \(\lambda \in {\mathbb {C}^{\prime }}\) such that \(z = \lambda w\). Note that then automatically \(\langle \lambda , \lambda \rangle _h>0\). It is easy to verify that the elements \([z] \in {\mathbb {C}^{\prime }}\!P^n \) in (A.15) and \(([x],[\chi ]) \in {\mathbb {C}^{\prime }}\!P^n \) in the original definition in (2.1), respectively, are bijectively related by the equivalence:
In fact, if \(({\tilde{x}}, {\tilde{\chi }}) = (p x, q \chi ) \in ({\mathbb {R}}^{n+1} \times {\mathbb {R}}_{n+1})^+\) for some \((p, q) \in {\mathbb {R}}^{\pm } \times {\mathbb {R}}^{\pm }\), then \({\tilde{z}} = \lambda z\) by choosing
Vice versa, decomposing \(\lambda \in {\mathbb {C}^{\prime }}\) satisfying \(\langle \lambda , \lambda \rangle _h>0\) as in (A.16), we get \((p,q) \in {\mathbb {R}}^{\pm } \times {\mathbb {R}}^{\pm }\), and \({\tilde{z}} = \lambda z\) implies \(({\tilde{x}}, {\tilde{\chi }}) = (p x, q \chi )\). Finally, from Sect. 2.2 we recall the projection map \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n , \quad (x,\chi ) \mapsto ([x], [\chi ])\). By using the para-complex coordinates (z) and the correspondence in (A.8), we easily see that
holds.
1.2.2 The Horizontal and Vertical Distributions
Recall that the tangent space of \(S^{2n+1}_{n+1}\) at z is given by \(T_z S^{2n+1}_{n+1}= \left\{ {\hat{w}} \in ({\mathbb {C}^{\prime }})^{n+1} \mid \Re \langle {\hat{w}}, z\rangle _h=0\right\} \). Since the fiber at \([z] \in {\mathbb {C}^{\prime }}\!P^n \) of the fibration \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n \) is
where \(e^{i^{\prime }t} = \cosh t + i^{\prime }\sinh t\) and \(\langle e^{i^{\prime }t}, e^{i^{\prime }t}\rangle _h =1\), the kernel of \(d \pi _\mathcal {H}\) is the direction of the Reeb vector field \({\mathcal {R}}(z)\), that is \(i^{\prime }z\). Therefore it is natural to decompose a tangent vector \({\hat{w}} \in T_z S^{2n+1}_{n+1}\) as
where \(\langle {\hat{w}}, z\rangle _h\) takes imaginary values since \(\Re \langle {\hat{w}}, z\rangle _h=0\), and \(\langle {\hat{w}}- \langle {\hat{w}}, z\rangle _h z,z \rangle _h = 0\). We define the horizontal distribution by
and on the other hand the vertical distribution by
Thus we have \({\hat{w}} \in T_z S^{2n+1}_{n+1}= \widehat{{\mathcal {H}}}_z \oplus \widehat{\mathcal {V}}_z\).
In particular, the vertical distribution is integrable (since it is 1-dimensional), while the horizontal distribution is not integrable. In real coordinates \((x, \chi )\) the horizontal and the vertical distribution in the tangent space \(T_{(x, \chi )} S^{2n+1}_{n+1}\) can be given by
which are the same equations as in Sect. 2.2.
Finally we consider a finer decomposition of the tangent space of \(S^{2n+1}_{n+1}\): In view of (A.9) one verifies easily that the horizontal distribution can be decomposed in the form
where \(\widehat{\mathcal {H}}^{\pm }_{z} = \{ {\hat{w}} \pm i^{\prime }{\hat{w}} \mid {\hat{w}} \in \widehat{\mathcal {H}}_{z}\}\). In fact, for every \({\hat{w}} \in T_zS^{2n+1}_{n+1}\), that is \(\Re \langle z, {\hat{w}}\rangle _h=0\), we have the decomposition
where \(({\hat{w}}- \langle {\hat{w}}, z\rangle _h z)_{\pm }= \frac{1\pm i^{\prime }}{2}({\hat{w}}- \langle {\hat{w}}, z\rangle _h z)\).
In real coordinates \((x, \chi )\), any tangent vector \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}) \in T_{(x, \chi )}S^{2n+1}_{n+1}\), that is, \(\langle x, \widehat{\mathcal {X}} \rangle = - \langle \widehat{\mathfrak {X}}, \chi \rangle \), can be decomposed as
Let us summarize the above discussion as the following proposition.
Proposition A.3
Retaining the notation introduced above we obtain:
-
(1)
The projection map \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n , \quad (x,\chi ) \mapsto ([x], [\chi ])\) is a pseudo-Riemannian submersion with vertical distribution \(\widehat{\mathcal {V}}_z = {\mathbb {R}}(i^{\prime }z)\) and horizontal distribution \(\widehat{\mathcal {H}}_z,\) \(z \in ({\mathbb {C}^{\prime }})^{n+1}\). Moreover, the horizontal distribution has the following property:
$$\begin{aligned} \text{ For } {\hat{w}} \in T_{z} S^{2n+1}_{n+1} \text{ we } \text{ have } {\hat{w}} \in \widehat{\mathcal {H}}_{z} \text{ if } \text{ and } \text{ only } \text{ if } {\hat{J^{\prime }}} {\hat{w}} \in \widehat{\mathcal {H}}_{z}. \end{aligned}$$ -
(2)
There are natural decompositions for \(T_{z} S^{2n+1}_{n+1}\)
$$\begin{aligned} T_{z} S^{2n+1}_{n+1}= \widehat{\mathcal {H}}_{z} \oplus \widehat{\mathcal {V}}_{z} =\widehat{\mathcal {H}}^+_{z} \oplus \widehat{\mathcal {V}}_{z} \oplus \widehat{\mathcal {H}}^-_{z}. \end{aligned}$$(A.22)The distributions \(\widehat{\mathcal {H}}^{\pm }\) are n-dimensional distributions in \(T S^{2n+1}_{n+1}\). The subspaces \(\widehat{\mathcal {H}}^{\pm }_{z}\) are eigenspaces of \({\hat{J^{\prime }}}\) with eigenvalues 1 and \(-1\), respectively. Moreover, \(\widehat{\mathcal {H}}^{\pm }_{z}\) are isotropic and orthogonal to the vertical subspace \(\widehat{\mathcal {V}}_{z}\) with respect to the symmetric bilinear form \(\hat{g}\). The restriction of \({\hat{g}}\) to \(\widehat{\mathcal {H}}_{z} = \widehat{\mathcal {H}}^+_{z} \oplus \widehat{\mathcal {H}}^-_{z}\) is non-degenerate with signature (n, n).
-
(3)
The distributions \( \widehat{\mathcal {H}}^+_{z}, \widehat{\mathcal {V}}_{z} \), and \( \widehat{\mathcal {H}}^-_{z} \) are integrable.
Proof
(1): We need to introduce a pseudo-Riemannian metric on \({\mathbb {C}^{\prime }}\!P^n \). The manifold \(S^{2n+1}_{n+1}\) has a pseudo-Riemannian metric with signature \((n, n+1)\) induced from a natural para-Hermitian form on \(({\mathbb {C}^{\prime }})^{n+1}\) of constant curvature. Then it is straightforward to introduce a pseudo-Riemannian metric on \({\mathbb {C}^{\prime }}\!P^n \) through the fibration \(\pi _\mathcal {H}\). Namely, it is induced from the horizontal part \(\widehat{\mathcal {H}}_{z}\) of \(T_zS^{2n+1}_{n+1}\). In fact, the pseudo-Riemannian metric on \({\mathbb {C}^{\prime }}\!P^n \) is an indefinite version of the Fubini-Study metric of the projective space \({\mathbb {C}} P^n\).
Let \(z,{\tilde{z}} \in S^{2n+1}_{n+1}\) be such that \({\tilde{z}} = \lambda z\) for some \(\lambda \in {\mathbb {C}^{\prime }}\), and let \({\hat{w}} \in T_zS^{2n+1}_{n+1}\). Then \(d\pi _\mathcal {H}\) maps \(\lambda {\hat{w}} \in T_{{\tilde{z}}}S^{2n+1}_{n+1}\) to the same vector in \(T{\mathbb {C}^{\prime }}\!P^n \) as \({\hat{w}}\). Moreover, for arbitrary \({\hat{v}},{\hat{w}} \in T_zS^{2n+1}_{n+1}\) we have \({\hat{g}}_z({\hat{v}},{\hat{w}}) = {\hat{g}}_{\tilde{z}}(\lambda {\hat{v}},\lambda {\hat{w}})\), because \(\langle \lambda ,\lambda \rangle _h = 1\). The orthogonal complement \(({\text {ker }} d\pi _\mathcal {H})^{\perp }\) is exactly the horizontal distribution \(\widehat{{\mathcal {H}}}\), since for \({\hat{v}} = i^{\prime }z\in {\text {ker }} d\pi _\mathcal {H}= \widehat{{\mathcal {V}}}_z\) and \({\hat{w}} \in \widehat{{\mathcal {H}}}_z\),
Therefore \(d \pi _\mathcal {H}:({\text {ker }} d\pi _\mathcal {H})^{\perp } \rightarrow T{\mathbb {C}^{\prime }}\!P^n \) is an isometry and \(\pi _\mathcal {H}\) is a pseudo-Riemannian submersion. The second statement is a straightforward computation.
(2): The second statement (2) follows from (A.20) and from the orthogonality relation deduced above.
(3): For \( \widehat{\mathcal {V}}_{z} \) this is clear, since the distribution is 1-dimensional. For \( \widehat{\mathcal {H}}^{\pm }_{z}\) we obtain as integral manifolds \(\mathcal {I}_{z}^{\pm }\) through z the sets
In real coordinates \((x, \chi )\),
This completes the proof. \(\square \)
On the other hand, the contact structure on \(S^{2n+1}_{n+1}\) induces a natural symplectic structure on the horizontal distribution \(\widehat{{\mathcal {H}}}\).
Proposition A.4
-
(1)
The differential of the contact form \(\zeta \) in (A.10) defines a symplectic 2-form on the horizontal distribution \(\widehat{{\mathcal {H}}}:\)
$$\begin{aligned} {\hat{\omega }}_z ({\hat{v}}, {\hat{w}}) = d \zeta ({\hat{v}}, {\hat{w}}) = - \Im \langle {\hat{v}}, {\hat{w}}\rangle _h, \quad {\hat{v}}, {\hat{w}} \in \widehat{{\mathcal {H}}}_z \end{aligned}$$For real horizontal vectors \((\widehat{\mathfrak {X}},\widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}},\widehat{\mathcal {Y}}) \in \widehat{{\mathcal {H}}}_{(x, \chi )}\),
$$\begin{aligned} \hat{\omega }_{(x,\chi )}(\,(\widehat{\mathfrak {X}},\widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}},\widehat{\mathcal {Y}})\,) = \frac{1}{2} (\,\langle \widehat{\mathfrak {X}},\widehat{\mathcal {Y}} \rangle - \langle \widehat{\mathfrak {Y}}, \widehat{\mathcal {X}} \rangle \,). \end{aligned}$$(A.25)The form \({\hat{\omega }}\) is closed and its kernel is given by the vertical subspace \(\widehat{\mathcal {V}}_{z}\).
-
(2)
The covariant derivative with respect to the Levi-Civita connection of \({\hat{g}}\) of the tensor \({\hat{J^{\prime }}}\), and hence also the form \({\hat{\omega }}\), in the direction of the vertical subspace vanishes. The same holds for the vector field \(i^{\prime }z \) generating the vertical subspace.
Proof
The proposition is proven by direct calculation. \(\square \)
1.3 Homogeneous Structures of \(S^{2n+1}_{n+1}\) and \({\mathbb {C}^{\prime }}\!P^n \)
1.3.1 The Action of \(\textrm{SL}_{n+1} {\mathbb {R}}\) on \(S^{2n+1}_{n+1}\)
It is clear that the group \(\textrm{SL}_{n+1} {\mathbb {R}}\) acts naturally by matrix multiplication on \({\mathbb {R}}^{n+1}\). Then the contragredient representation of \(\textrm{SL}_{n+1} {\mathbb {R}}\) is given by \(g \in \textrm{SL}_{n+1} {\mathbb {R}}, \chi \in {\mathbb {R}}_{n+1}, u \in {\mathbb {R}}^{n+1}\):
Using these definitions we obtain the following.
Proposition A.5
Denoting by \(e_1, \dots e_{n+1}\) the natural basis of \({\mathbb {R}}^{n+1}\) and by \(\delta _j\), given by \(\delta _j(e_k) = \delta _{jk},\) its dual basis, we have the following :
-
(1)
The manifold \(S^{2n+1}_{n+1}\) is a connected homogeneous space under the action of \(\textrm{SL}_{n+1} {\mathbb {R}}\) given by
$$\begin{aligned} g(u,\chi ) = (g u, g^*\chi ), \end{aligned}$$(A.27)where \(u,\chi , g\) are as above.
-
(2)
The isotropy group at \((e_1, \delta _1)\) of the action just stated is isomorphic to \(\textrm{SL}_{n} {\mathbb {R}}\cong \{ 1 \} \times \textrm{SL}_{n} {\mathbb {R}}\) and thus \(S^{2n+1}_{n+1}\) can be written as the homogeneous space
$$\begin{aligned} S^{2n+1}_{n+1}= \textrm{SL}_{n+1} {\mathbb {R}}/\textrm{SL}_n {\mathbb {R}}. \end{aligned}$$(A.28) -
(3)
The group \(\textrm{SL}_{n+1} {\mathbb {R}}\) acts on \(S^{2n+1}_{n+1}\) by isometries and leaves the horizontal distributions \( \widehat{\mathcal {H}}^{\pm }\) and the vertical distribution invariant.
Proof
-
(1):
First we note that (A.26) implies that \(\textrm{SL}_{n+1} {\mathbb {R}}\) leaves \(S^{2n+1}_{n+1}\) invariant. Let \((u, \chi ) \in S^{2n+1}_{n+1}\), then one can take an element \(g \in \textrm{SL}_{n+1} {\mathbb {R}}\) such that \(g u=e_1\). Then one can take another g such that \(ge_1 =e_1\) and \(g^* \chi = \delta _{1}\). Thus the action is transitive.
-
(2):
By the action, the pair \((e_1,\delta _1)\) is stabilized exactly by \({{\,\textrm{diag}\,}}(1,S)\) with \(S \in \textrm{SL}_{n} {\mathbb {R}}\). Therefore the stabilizer is \(\textrm{SL}_n {\mathbb {R}}\cong \{1\}\times \textrm{SL}_n {\mathbb {R}}\).
-
(3):
Since the action of \(\textrm{SL}_{n+1} {\mathbb {R}}\) is linear, it acts on the tangent vectors by the same formulas as on \(S^{2n+1}_{n+1}\). Thus the claim follows.
\(\square \)
Recall that the actions of \( \textrm{SL}_{n+1} {\mathbb {R}}\) on \(S^{2n+1}_{n+1}\), on \(({\mathbb {C}^{\prime }})^{n+1}\) and all other geometric objects investigated in this paper, are induced naturally from the basic matrix action on \({\mathbb {R}}^{n+1}\) and the “diagonal action” \( (g, g^*)\), where \(g^*\) denotes the contragredient action, see (A.26). Moreover, all natural isomorphisms/diffeomorphisms/isometries occurring in this paper are trivially equivariant relative to the corresponding actions of \( \textrm{SL}_{n+1} {\mathbb {R}}\). Further, wherever applicable, all these actions of \( \textrm{SL}_{n+1} {\mathbb {R}}\) commute.
Remark A.6
The center \(\mathcal {C}_{n+1}\) of \(\textrm{SL}_{n+1} {\mathbb {R}}\) is \(\pm I\), if n is even and it is I, if n is odd. Moreover, \(\mathcal {C}_{n+1}\) acts freely and properly on \(S^{2n+1}_{n+1}\).
To discuss the geometry of \({\mathbb {C}^{\prime }}\!P^n \), we will use what was already discussed for \(S^{2n+1}_{n+1}\) in the previous sections. As an application of these remarks we show:
Proposition A.7
Retaining the notation introduced so far, the following statements hold:
-
(1)
The projection map \(\pi _\mathcal {H}: S^{2n+1}_{n+1}\rightarrow {\mathbb {C}^{\prime }}\!P^n , \quad (x,\chi ) \mapsto ([x], [\chi ])\), is equivariant relative to the natural action of \(\textrm{SL}_{n+1} {\mathbb {R}}\) on \(S^{2n+1}_{n+1}\) and the natural action of \(\textrm{PSL}_{n+1} {\mathbb {R}}\cong \textrm{SL}_{n+1} {\mathbb {R}}/\mathcal {C}_{n+1}\) on \({\mathbb {C}^{\prime }}\!P^n \).
-
(2)
Similar to equation (A.28) one can represent \({\mathbb {C}^{\prime }}\!P^n \) in the form
$$\begin{aligned} {\mathbb {C}^{\prime }}\!P^n \cong \textrm{SL}_{n+1} {\mathbb {R}}/ { \bigcup _{a \in {\mathbb {R}}^\times } \left( \{a \} \times (a^*)^{-1}\textrm{SL}_n {\mathbb {R}}\right) } \end{aligned}$$(A.29) -
(2)
The following diagram commutes :
Moreover, the fiber of \(([x ], [\chi ])\) under \(\pi _\mathcal {H}\) is \((\pi _\mathcal {H})^{-1}([x ], [\chi ]) = \{(ax, a^{-1} \xi )\mid a \in {\mathbb {R}}^\times \}.\)
1.3.2 The Induced Geometry on \({\mathbb {C}^{\prime }}\!P^n \)
The discussion about the geometry of \(S^{2n+1}_{n+1}\) induces quite directly the basic objects of the geometry of \({\mathbb {C}^{\prime }}\!P^n \). We collect these results in the following theorem.
Theorem A.8
We retain the assumptions and the notation of the previous subsections. Then we obtain:
-
(1)
The differential \(d \pi _\mathcal {H}\) induces an isomorphism from the distributions \(\widehat{\mathcal {H}}^+\) and \(\widehat{\mathcal {H}}^-\) to the image distributions \(\mathcal {H}^+ \) and \(\mathcal {H}^- \), where
$$\begin{aligned} \mathcal {H}^{\pm }_{z} = \{ d\pi _\mathcal {H}({\hat{w}} \pm i^{\prime }{\hat{w}}) \mid {\hat{w}} \in T_z S^{2n+1}_{n+1}\}. \end{aligned}$$The distributions \(\mathcal {H}^+ \) and \(\mathcal {H}^- \) are integrable.
-
(2)
The projection \(\pi _\mathcal {H}\) induces naturally a non-degenerate pseudo-Riemannian metric g on \({\mathbb {C}^{\prime }}\!P^n \) with signature (n, n) such that for all \(v, w\in T_{[z]} {\mathbb {C}^{\prime }}\!P^n \) with \({\hat{v}}, {\hat{w}} \in \widehat{{\mathcal {H}}}_z \subset T_z S^{2n+1}_{n+1}\) and \((d\pi _\mathcal {H}({\hat{v}}), d\pi _\mathcal {H}({\hat{w}}))=(v, w):\)
$$\begin{aligned} g(v, w) = \hat{g}({\hat{v}}, {\hat{w}}). \end{aligned}$$ -
(3)
There exists a para-complex structure \(J^{\prime }\) on \({\mathbb {C}^{\prime }}\!P^n \) satisfying
$$\begin{aligned} d\pi _\mathcal {H}\circ {\hat{J^{\prime }}} = J^{\prime }\circ d\pi _\mathcal {H}. \end{aligned}$$It has the spaces \(\mathcal {H}^+ \) and \(\mathcal {H}^- \) as eigenspaces with eigenvalues \(+1\) and \(-1\) respectively.
-
(4)
The projection \(\pi _\mathcal {H}\) induces naturally a (non-degenerate, closed) symplectic form \(\omega \) on \({\mathbb {C}^{\prime }}\!P^n \) such that for all \(v, w\in T_{[z]} {\mathbb {C}^{\prime }}\!P^n \) with \({\hat{v}}, {\hat{w}} \in \widehat{{\mathcal {H}}}_z \subset T_z S^{2n+1}_{n+1}\) and \((d\pi _\mathcal {H}({\hat{v}}), d\pi _\mathcal {H}({\hat{w}}))=(v, w):\)
$$\begin{aligned} \omega (v, w) = \hat{\omega }({\hat{v}}, {\hat{w}}). \end{aligned}$$In particular, we have for all \(v, w \in T_{[z]} {\mathbb {C}^{\prime }}\!P^n \)
$$\begin{aligned} \omega (v, w) = g (J^{\prime }v, w)\quad \text{ and }\quad g(v, w) = \omega (J^{\prime }v, w). \end{aligned}$$ -
(5)
The tensor \(J^{\prime }\), and hence also \(\omega \), are parallel with respect to the Levi-Civita connection of g, and thus \({\mathbb {C}^{\prime }}\!P^n \) is a para-Kähler manifold of dimension 2n.
Proof of Proposition 2.2
The first statement is just (1) in Proposition A.3. For the second statement, note that the preimages of the tangent vectors \(X, Y \in T_{([x],[\chi ])} {\mathbb {C}^{\prime }}\!P^n \) are \((\widehat{\mathfrak {X}}, \widehat{\mathcal {X}}), (\widehat{\mathfrak {Y}}, \widehat{\mathcal {Y}}) \in \widehat{\mathcal {H}}_{(x, \chi )}\), respectively. Then from (4) in Theorem A.8, (A.12), and (A.25) we get
This completes the proof. \(\square \)
1.4 Immersions into \({\mathbb {C}^{\prime }}\!P^n \) and Lifts to \(S^{2n+1}_{n+1}\)
1.4.1 Immersions and Lifts
In this paper we investigate immersions \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) via immersions \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\). To make this precise we need
Definition A.9
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be any immersion. Then
-
(1)
A smooth map \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\) is called a lift of f iff \(f = \pi _\mathcal {H} \circ \mathfrak {f}\).
-
(2)
If \(U\subset M^n\) is an open subset of \(M^n\), then a lift of \(f_{|U}\) is called a “local lift” (of f with respect to U).
It is easy to see that a lift is unique up to “scalings” of the form \((x,\chi ) \mapsto (c x, c^{-1}\chi )\) for never vanishing scalar functions c.
Theorem A.10
If \(M^n\) is a connected, simply connected manifold and \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is an immersion, then there exists a lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\), i.e. satisfying \( f = \pi _\mathcal {H}\circ \mathfrak {f}\).
Proof
We shall show that the projection \(\pi _\mathcal {H}\) can be restricted to a double covering of \({\mathbb {C}^{\prime }}\!P^n \). Introduce arbitrary Euclidean norms in the spaces \({\mathbb {R}}^{n+1}\), \({\mathbb {R}}_{n+1}\). Consider the set
Clearly \(S_{2n}\) is a smooth manifold. For every point \(([x],[\chi ]) \in {\mathbb {C}^{\prime }}\!P^n \) there exist exactly two representatives \((x,\chi ) \in S_{2n}\), related by a sign change in both components. Thus the restriction of \(\pi _\mathcal {H}\) to \(S_{2n}\) is a double covering of \({\mathbb {C}^{\prime }}\!P^n \).
Now \(M^n\) is simply connected, path connected, and locally path connected. By the unique homotopy lifting property there exists a smooth lift (in fact, exactly two of them) of f to \(S_{2n}\), and hence to \(S^{2n+1}_{n+1}\). \(\square \)
Before going on we formalize the obtained results about \(S_{2n}\).
Proposition A.11
For the subset \(S_{2n}\) defined in (A.30) the following statements hold:
-
1.
The set \(S_{2n}\) is an embedded submanifold of \(S^{2n+1}_{n+1}\).
-
2.
\(S_{2n}\) is a double cover of \({\mathbb {C}^{\prime }}\!P^n \) under the restriction of \(\pi _\mathcal {H}\) to \(S_{2n}\).
Corollary A.12
With the notation above we have:
-
(1)
If \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is an immersion and U any simply connected subset of \(M^n\), then \(f|_U: U \rightarrow {\mathbb {C}^{\prime }}\!P^n \) has a global lift. In other words, each immersion \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) has local lifts around each point of \(M^n\).
-
(2)
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be an immersion, \((U_\beta )_{\beta \in \mathcal {J}}\) an open covering of \(M^n\) by simply connected charts, and \(\mathfrak {f}_\beta : U_\beta \rightarrow S^{2n+1}_{n+1}\) a local lift of f on \(U_\beta \). Then on the intersection \(U_\beta \cap U_\gamma \) of two such charts the lifts \(\mathfrak {f}_\beta \) and \(\mathfrak {f}_\gamma \) are transformed into each other by a scaling by a uniquely determined never vanishing function \(c_{\beta \gamma }: U_\beta \cap U_\gamma \rightarrow {\mathbb {R}}{\setminus } \{ 0 \}\). These functions form a cocycle with values in \({\mathbb {R}}\setminus \{0\} \), i.e. they satisfy \(c_{\alpha \beta } c_{\beta \gamma } = c_{\alpha \gamma }\). Moreover, the triviality of this cocycle is equivalent to the existence of a global lift of f.
-
(3)
If \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is an immersion, then there exists a two-fold cover \(\hat{M}^n\) of \(M^n\) such that the natural lift \(\hat{f}\) of f has a global lift \(\hat{\mathfrak {f}}:\hat{M}^n \rightarrow S^{2n+1}_{n+1}\).
Proof
(1) and (2) follow from Theorem A.10. Let us prove (3). Recall from Proposition A.11 that \(S_{2n} \subset S^{2n+1}_{n+1}\) is a two-fold cover of \({\mathbb {C}^{\prime }}\!P^n \). Pulling back this covering p along f we obtain the commuting diagram
Thus \(f \circ \hat{p}: \hat{M}^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) has a global lift into \(S^{2n+1}_{n+1}\). \(\square \)
In general, a given \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) cannot be lifted:
Proposition A.13
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be the injective immersion from \(M^n = {\mathbb {R}}P^n\) to \({\mathbb {C}^{\prime }}\!P^n \), given by \(f([x]) = ([x], [x])\). Then f does not have any lift \(\mathfrak {f}: M^n \rightarrow S^{2n+1}_{n+1}\).
Proof
Assume there exists a lift \(\mathfrak {f}: {\mathbb {R}}P^n \rightarrow S^{2n+1}_{n+1}\) of f. Since f is injective, it is easy to verify that \(\mathfrak {f}\) is injective. Therefore, since \({\mathbb {R}}P^n\) is compact, \(\mathfrak {f}\) actually is an embedding. Let \(\pi _1\) denote the natural projection \(\pi _1: S^{2n+1}_{n+1}\rightarrow {\mathbb {R}}^{n+1}\). It is easy to show that the map \( \pi _1 \circ \mathfrak {f}: {\mathbb {R}}P^n \rightarrow {\mathbb {R}}^{n+1}\) also is an embedding. Thus f would define a compact non-orientable submanifold of \({\mathbb {R}}^{n+1}.\) But this is a contradiction, since there does not exist any closed non-orientable submanifold of \({\mathbb {R}}^{n+1}\) by see, e.g. [18]. This contradiction proves the claim. \(\square \)
As a consequence of the last result we restrict our consideration in this paper to liftable immersions \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \).
1.4.2 Horizontal Lifts
In other cases, like minimal Lagrangian surfaces in \({\mathbb {C}}P^2\), one can show that certain finite coverings for a given minimal Lagrangian immersion into \({\mathbb {C}}P^2\) have a global horizontal lift. Below we consider similar questions for the situation considered in this paper.
The notion of “horizontal lift” has been defined in Definition 2.3. Whether f is locally horizontally liftable can be decided by virtue of the following result.
Lemma A.14
Let \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) be an immersion. Then locally around every point \(y \in M^n\) there exists a horizontal lift \(\mathfrak {f}: U \rightarrow S^{2n+1}_{n+1}\) of f from a neighbourhood \(U \subset M^n\) of y if and only if the immersion f is Lagrangian with respect to the symplectic form \(\omega \) on \({\mathbb {C}^{\prime }}\!P^n \).
Proof
Let \(y \in M^n\) be arbitrary, let \(U \subset M^n\) be a simply connected neighbourhood of y, and let \(\mathfrak {f}: U \rightarrow S^{2n+1}_{n+1}\) be a lift of f. By Proposition 2.4 the lift \(\mathfrak {f}\) can be scaled to a horizontal lift \(\mathfrak {f}_c: U \rightarrow S^{2n+1}_{n+1}\) if and only if the form \(\psi = \langle d_yx, \chi \rangle \) is exact on U. Since U is simply connected, this is equivalent to the vanishing of the exterior derivative of \(\psi \). We have \(\psi = \sum _{i=1}^{n+1}\chi ^id_yx^i\), and hence \(d\psi = -\sum _{i=1}^{n+1}dx^i \wedge d\chi ^i\).
Let now \(Z,Z' \in T_yM^n\) be arbitrary tangent vectors, and \(d_y(Z) = (U,\mathcal {U})\), \(d_y(Z') = (V,{\mathcal {V}})\) their images in the tangent space to \(S^{2n+1}_{n+1}\) at \(\mathfrak {f}(y) = (x,\chi )\). By the above we have \(d\psi (Z,Z') = -\langle U,\mathcal {V} \rangle + \langle V,\mathcal {U} \rangle = -2\hat{\omega }_{(x,\chi )}((U,\mathcal {U}),(V,\mathcal {V}))\). It follows that \(d\psi \) vanishes if and only if the degenerate form \({\hat{\omega }}\) vanishes on the image of \(d\mathfrak {f}\). However, this condition is equivalent to the vanishing of the symplectic form \(\omega \) on the image of df, or to the condition that f is Lagrangian. \(\square \)
Combining the lemma just above with Corollary A.12 we obtain
Proposition A.15
If \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is a Lagrangian immersion, then there exists a two-fold cover \(\pi : \hat{M}^n \rightarrow M^n\) such that the natural lift \(\hat{f} = f \circ \pi \) of f to \(\hat{M}\) has a global horizontal lift \(\hat{\mathfrak {f}}: \hat{M}^n \rightarrow S^{2n+1}_{n+1}\).
Proof
It suffices to apply the construction in the proof of Lemma A.14 to the lift \({\hat{\mathfrak {f}}}\) in (3) of Corollary A.12. \(\square \)
It would be interesting to understand, what manifolds \(M^n\) have horizontal lifts for all immersions into \({\mathbb {C}^{\prime }}\!P^n \). At least locally it is the Lagrangian immersions. The lift is horizontal if and only if \(\langle d_yx, \chi \rangle \equiv 0\). A horizontal lift of a immersion has a close relation to centro-affine immersions, that is, the position vector of an immersion transverses to the tangent plane.
Proposition A.16
Assume \(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) has a horizontal lift \(\mathfrak {f}: M_n \rightarrow S^{2n+1}_{n+1}\), \(\mathfrak {f}: y \mapsto (x,\chi )\). Then the following holds :
-
(1)
x is a centro-affine immersion of M into \({\mathbb {R}}^{n+1}\) such that \(\chi \) is its co-normal map.
-
(2)
\(\chi \) is a centro-affine immersion of M into \({\mathbb {R}}_{n+1}\) such that x is its co-normal map.
-
(3)
\(f: M^n \rightarrow {\mathbb {C}^{\prime }}\!P^n \) is Lagrangian, i.e., for every two vector fields X, Y on \(M_n\) we have \(\omega (f_*X,f_*Y) = 0\).
Proof
By (2.11) \(\mathfrak {f}\) is horizontal if and only if \(\langle d_yx(Z), \chi \rangle = \langle x, d_y\chi (Z) \rangle = 0\) for all Z. Hence the tangent space of the immersion \(x: M^n \rightarrow \mathbb R^{n+1}\) is orthogonal to \(\chi \). But \(\langle x,\chi \rangle \equiv 1\), and the first assertion follows. The second assertion is proven similarly.
Let us prove the third assertion. Consider the 2-form \(h(Z,W) = \langle d_y x(Z),d_y\chi (W) \rangle \) on \(M^n\). By [13, Proposition II.5.1] this form is proportional to the affine fundamental form induced by the centro-affine immersion x, and hence symmetric. Therefore its skew-symmetric part vanishes. In particular, if \(d\mathfrak {f}(Z) = (\widehat{\mathfrak {X}},\widehat{\mathcal {X}})\), \(d\mathfrak {f}(W) = (\widehat{\mathfrak {Y}}, \widehat{\mathcal {Y}})\) are tangent vector fields to the lift \(\mathfrak {f}\), then the form \({\hat{\omega }}(Z,W) = \frac{1}{2}(\langle \widehat{\mathfrak {X}},\widehat{\mathcal {Y}} \rangle - \langle \widehat{\mathfrak {Y}},\widehat{\mathcal {X}} \rangle )\) vanishes. But \({\hat{\omega }}(Z,W) = \omega (f_*Z,f_*W)\), and hence f is Lagrangian. \(\square \)
Remark A.17
Centro-affine immersions in affine space \({\mathbb {R}}^{n+1}\) are important in affine differential geometry, see [13] for example.
k-Symmetric Spaces and Primitive Harmonic Maps
In [9, 14], k-symmetric spaces and primitive harmonic maps have been considered. We will recall basic results for our case.
1.1 The Automorphism \(\sigma _H\) and k-Symmetric Spaces
Let us consider the order 6 automorphism \(\sigma _H\) on \(\mathfrak g = \mathfrak {sl}_3 {\mathbb {C}}\) given in (5.6), and also consider the order 6 automorphism \(\sigma _H^G\) on the connected Lie group \(G = \textrm{SL}_3 {\mathbb {C}}\) defined by
By abuse of notation we will also denote \(\sigma _H^G\) by \(\sigma _H\). We then associate the order 3 and 2 autmorphisms \(\sigma _H^2\) and \(\sigma _H^3\) as
Note that \(\sigma _H^2\) is an inner automorphism and \(\sigma _H^3\) is an outer automorphism, respectively. A straightforward computation shows that the eigen-spaces of \(\sigma _H\) can be computed as
The eigen-spaces of \(\sigma _H^2\) are given by \(\mathfrak {g}_1 + \mathfrak {g}_4\) for the eigenvalue \(\epsilon ^2\), \(\mathfrak {g}_2 + \mathfrak {g}_5\) for the eigenvalue \(\epsilon ^4\) and \(\mathfrak {g}_3 + \mathfrak {g}_0\) for the eigenvalue 1. Similarly the eigen-spaces for \(\sigma _H^3\) are \(\mathfrak {g}_4 + \mathfrak {g}_2 + \mathfrak {g}_0\) for the eigenvalue 1 and \(\mathfrak {g}_1 + \mathfrak {g}_3 + \mathfrak {g}_5\) for the eigenvalue \(\epsilon ^3 = -1\). It is important that the real form involution \(\tau \) in (5.4) and the order 6 automorphism \(\sigma _H\) in (5.6) commute, i.e., \(\tau \circ \sigma _H = \sigma _H \circ \tau \) holds. Therefore \(\tau \) and the eigen-spaces of \(\sigma _H\) obey the relation
In particular, \({\mathfrak {g}}_0\) and \({\mathfrak {g}}_0 \oplus \mathfrak g_3\) are subalgebras of \(\mathfrak {sl}_3 {\mathbb {R}}^{\textrm{H}}\) with the obvious complexifications.
Since \(\sigma _H\) and \(\tau \) commute, we can give a definition of k-symmetric spaces as follows.
Definition B.1
Let \(G^{{\mathbb {R}}}/G^{{\mathbb {R}}}_0\) be a real homogeneous space such that \(G^{{\mathbb {R}}}\) is a real form of a complex Lie group G given by a real form involution \(\tau \), that is, \(G^{{\mathbb {R}}} = {\text {Fix}}(G, \tau )\). Moreover, let \(\sigma \) be an order \(k \;(k\ge 2)\) automorphism of G, leaving \(G^{{\mathbb {R}}}\) invariant and commuting with \(\tau \). Then \(G^{{\mathbb {R}}}/G^{{\mathbb {R}}}_0\) is called a k-symmetric space if the following condition is satisfied
where \({\text {Fix}}(G^{{\mathbb {R}}}, \sigma )^\circ \) denotes the identity component of \({\text {Fix}}(G^{{\mathbb {R}}}, \sigma )\).
1.2 Primitive Maps and the Extended Frames
We now consider a complex Lie group as before and let \(\tau \) denote an anti-holomorphic involution of G, and set
Definition B.2
Let \(\kappa \) be any automorphism of \(\mathfrak {g}\) of finite order \(k > 2\). Let \(\mathfrak {g}_m\) denote the eigen-spaces of \(\kappa \), where we choose \(m \in \mathbb {Z}\) and actually work with \(m \mod k\). Let \(\mathcal {F}: {\mathbb {D}}\rightarrow G\) be a smooth map. Then \(\mathcal {F}\) will be called primitive relative to \(\kappa \) if
where \(\alpha _m\), \(\alpha _0^{\prime }\) and \(\alpha _0^{\prime \prime }\) take values in an eigen-space \(\mathfrak {g}_m\) of \(\kappa \).
By abuse of notation we will also write \(\alpha _0 = \alpha _0^\prime dz + \alpha _0^{\prime \prime }d \bar{z}\).
Lemma B.3
Let \(\mathcal {F}\) be primitive relative to \(\kappa \) and let us write \(\mathcal {F}^{-1} d\mathcal {F} = \alpha _{-1} dz+ \alpha _0 + \alpha _1 d \bar{z}\). Then \(\lambda ^{-1} \alpha _{-1} dz+ \alpha _0 + \lambda \alpha _1d \bar{z}\) is integrable for all \(\lambda \in {\mathbb {C}}^*\).
Proof
Together with a straightforward computation one needs to use that because of \(k>2\) the sum \(\mathfrak {g}_{-1} + \mathfrak {g}_0 + \mathfrak {g}_1\) of eigen-spaces is direct. \(\square \)
The importance of this observation has been elaborated on and explained in [19, Section 3.2] and [20].
Theorem B.4
[19, 20]. Let G be a complex Lie group, \(\sigma _H\) an automorphism of G of finite order \(k \ge 2\) and \(\tau \) an anti-holomorphic involution of G which commutes with \(\sigma _H\). Let \(G^{\mathbb {R}}_0\) be any Lie subgroup of \(G^{\mathbb {R}}\) satisfying \({\text {Fix}}(G^{\mathbb {R}}, \sigma _H)^{\circ } \subset {G^{\mathbb {R}}_0} \subset {\text {Fix}}(G^{\mathbb {R}}, \sigma _H)\). Then we consider the k-symmetric space \(G^{\mathbb {R}}/ {G^{\mathbb {R}}_0}\) together with the (pseudo-)Riemannian structure induced by some bi-invariant (pseudo-)Riemannian structure on \(G^{\mathbb {R}}\). Let \(h:{\mathbb {D}}\rightarrow G^{\mathbb {R}}/ {G^{\mathbb {R}}_0}\) be a smooth map and \(\mathcal {F}: {\mathbb {D}}\rightarrow G^{\mathbb {R}}\) a frame for h, i.e., \(h = \pi \circ \mathcal {F}\), where \(\pi : G^{\mathbb {R}}\rightarrow G^{{\mathbb {R}}}/{G^{\mathbb {R}}_0}\) denotes the canonical projection.
Then the following statements hold :
-
(1)
If \(k=2\), then h is harmonic if and only if \(\lambda ^{-1} \alpha _{-1} dz+ \alpha _0 + \lambda \alpha _1 d\bar{z}\) is integrable for all \(\lambda \in {\mathbb {C}}^*\).
-
(2)
If \(k>2\), then h is harmonic if \(\mathcal {F}\) is primitive relative to \( \sigma _H\).
From the above theorem, we have the following definition.
Definition B.5
Retain the notation in Theorem B.4.
-
(1)
The frame \({\mathcal {F}}\) is called primitive harmonic, if \(\mathcal {F}^{-1} d\mathcal {F} = \alpha _{-1}dz + \alpha _0 + \alpha _1 d \bar{z} \) such that \(\lambda ^{-1} \alpha _{-1} dz+ \alpha _0 + \lambda \alpha _1 d\bar{z}\) is integrable for all \(\lambda \in {\mathbb {C}}^*\).
-
(2)
The map h is called primitive harmonic map, if the frame \({\mathcal {F}}\) is primitive harmonic.
This admits a direct application of the loop group method, see [21]. Since \(\tau \) maps \(\mathfrak {g}_m\) to \(\mathfrak {g}_{-m}\), we can assume that \(\mathcal {F}_\lambda \) is contained in \(G^{\mathbb {R}}\) for all \(\lambda \in S^1\). We will usually also assume \(\mathcal {F}(z_0,\lambda ) = I\) for a once and for all fixed base point \(z_0\).
Then it follows from the above that also \(h_\lambda = \mathcal {F}_\lambda \mod G^{\mathbb {R}}_0\) is a primitive harmonic map with frame \(\mathcal {F}_\lambda \). Usually \(\mathcal {F}_\lambda \) is called an extended frame for h.
Various Bundles
This section is an adaption of Section 3 in [9] to our case, see also [25]. In [9, Section 3], three 6-symmetric spaces of dimension 7 which are bundles over \(S^5\) were defined. We analogously define three 6-symmetric spaces of dimension 7 which are bundles over \(S^{5}_{3}\), \(FL_1^H\), \(FL_2^H\), and \(FL_3^H\).
Recall the para-hermitian inner product of \({\mathbb {C}^{\prime }}^3\) with a para-Hermitian form
where \(H=1\) (resp. \(H=-1\)) for the ellipic (resp. hyperbolic) case and \(*\) denotes the para-complex conjugate of a paracomplex vector in \({\mathbb {C}^{\prime }}^3\). It is invariant under the transformation
We first choose a natural basis of \({\mathbb {C}^{\prime }}^3\):
\((1) \; FL_1^H:\) For the real 6-dimensional symplectic vector space \({\mathbb {C}^{\prime }}^3\) given by the symplectic form \(\omega = - \Im \langle \;,\; \rangle _h\), the family of (real) oriented Lagrangian subspaces of \({\mathbb {C}^{\prime }}^3\) forms a submanifold of the manifold of real Grassmannian 3-spaces of \({\mathbb {C}^{\prime }}^3\). They are the Grassmannian manifold \(\text {L}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) of oriented Lagrangian subspaces. It is easy to see that \(\text {L}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) can be represented as the homogeneous space \(\textrm{GL}_3 {\mathbb {R}}^{\textrm{H}}/ \textrm{O}_{3}^{\textrm{H}}\). The special orthogonal matrix group \(\textrm{SO}_{3}^{\textrm{H}}\) as the connected subgroup of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) corresponding to the sub-Lie-algebra of \(\mathfrak {sl}_3 {\mathbb {R}}^{\textrm{H}}\) given by
where \(H=1\) (resp. \(H=-1\)) for the ellipic (resp. hyperbolic) case, which is isomorphic to the standard \(\mathfrak {so}_3\) by the automorphism \(X \mapsto {\text {Ad}}(R_H)(X)\) with
The orbit of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) in \(\text {L}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) through the point \(e \in \textrm{SO}_{3}^{\textrm{H}}\) will be called the special Lagrangian Grassmannian and it will be denoted by \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\). The elements in this orbit will be called oriented special Lagrangian subspaces of \({\mathbb {C}^{\prime }}^3\). Thus we have the following:
Proposition C.1
\(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) acts transitively on \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\), and we obtain
The base point \(e\in \textrm{SO}_{3}^{\textrm{H}}\) corresponds to the real Lagrangian subspace of \({\mathbb {C}^{\prime }}^3\) given by \(R_H^{-1} {\mathbb {R}}^3\).
We now define a bundle
It is easy to verify that \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) acts (diagonally) on \(FL_1^H\). Note that the natural projection from \(FL_1^H\) to \({\mathbb {C}^{\prime }}\!P^n \) is a pseudo-Riemannian submersion which is equivariant under the natural group actions. Since \(S^{5}_{3}= \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}/\textrm{SL}_2 {\mathbb {R}}^{\textrm{H}}\), where \(\textrm{SL}_2 {\mathbb {R}}^{\textrm{H}}\) means \(\textrm{SL}_2 {\mathbb {R}}^{\textrm{H}}\times \{1\}\), the stabilizer at
is clearly given by \(\textrm{SL}_2 {\mathbb {R}}^{\textrm{H}}\cap \textrm{SO}_{3}^{\textrm{H}}\), that is
Therefore
\((2)\; FL_2:\) To define \(FL_2^H\), we consider certain special regular para-complex flags in \({\mathbb {C}^{\prime }}^3\). A regular para-complex flag \(\mathcal {Q}\) is a sequence of four para-complex subspaces, \(Q_0 = \{0\} \subset Q_1 \subset Q_2 \subset Q_3 = {\mathbb {C}^{\prime }}^3\) of \({\mathbb {C}^{\prime }}^3\), where \(Q_j\) has para-complex dimension j. We then define the notion of a special regular para-complex flag in \({\mathbb {C}^{\prime }}^3\) over \(q \in S^{5}_{3}\) by requiring that we have a regular complex flag in \({\mathbb {C}^{\prime }}^3\), where the space \(Q_1\) satisfies \(Q_1 = {\mathbb {C}^{\prime }}q\). Thus we define
The definition of a special flag means that for a given vector \(q \ne 0\) in \({\mathbb {C}^{\prime }}^3\) one can find three pairwise orthogonal vectors \(q_1, q_2, q_3 \in {\mathbb {C}^{\prime }}^3\) with \(q_3 = \frac{q}{|q|}\) such that the vectors \(q_1,q_2\) and \(q_3\) represent the same orientation as \(e_1, e_2, e_3\). By an argument similar to the previous case we conclude that \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) acts transitively on the family of special flags. Moreover, the stabilizer of the action at the point \((e_3, 0 \subset {\mathbb {C}^{\prime }}e_3 \subset {\mathbb {C}^{\prime }}e_3 \oplus {\mathbb {C}^{\prime }}e_2 \subset {\mathbb {C}^{\prime }}e_3 \oplus {\mathbb {C}^{\prime }}e_2 \oplus {\mathbb {C}^{\prime }}e_1)\) is again given by \(\textrm{SO}_{3}^{\textrm{H}}\cap {\text {diag}}\), where \({\text {diag}}\) denotes the set of all diagonal matrices in \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\). Thus it is again \(\textrm{SO}_2\) and we have altogether shown
Proposition C.2
\(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) acts transitively on \(FL_2^H\), and \(FL_2^H\) can be represented as
Note that the natural projection from \(FL_2^H\) to \(\mathbb {C}^{\prime } P^2 \) is a pseudo-Riemannian submersion which is equivariant under the natural group actions.
\((3)\; FL_3^H:\) Finally, using the isometry group \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) of \(S^{5}_{3}\), we can directly define a homogeneous space \(FL_3^H\) as
where \(\epsilon = e^{\pi i/3}\) and \(H =\pm 1\).
Theorem C.3
We retain the assumptions and the notion above. Then the following statements hold :
-
(1)
The spaces \(FL_j^H\) \((j = 1,2,3)\) are homogeneous under the natural action of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\).
-
(2)
The homogeneous space \(FL_j^H\) \((j = 1,2,3)\) can be represented as
$$\begin{aligned} FL_j^H = \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}/ \textrm{SO}_2, \quad \text{ where }\quad \textrm{SO}_2= \{ {\text {diag}}(a,a^{-1}, 1)\;|\; a\in S^1\}. \end{aligned}$$In particular they are all 7-dimensional.
Proof
The statements clearly follow from Proposition C.1, Proposition C.2 and the definition of \(FL_3^H\) in (C.3), where the stabilizer at \(P_H^{\epsilon }\) is easily computed as \(\textrm{SO}_2\). \(\square \)
Corollary C.4
The homogeneous spaces \(FL_j^H \;(j=1, 2, 3)\) are 6-symmetric spaces. Furthermore, they are naturally equivariantly diffeomorphic.
Proof
First we note that the group \(G^{{\mathbb {R}}} = \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) has the complexification \(G = \textrm{SL}_3 {\mathbb {C}}\) and is the fixed point set group of the real form involution \(\tau \) given in (5.5).
We show that \(FL_3\) is a 6-symmetric space. First note that the stabilizer
at the point P of \(FL_3\) is \(\textrm{SO}_2\). We already know that the order 6-automorphism \(\sigma _H\) of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) given in (B.1) and the real form involution \(\tau \) commute. Moreover, a direct computation shows that the fixed point set of \(\sigma _H\) in \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) is \(\textrm{SO}_2\). Thus \(\text {Stab}_{P}\) satisfies the condition in Definition B.1. Hence \(FL_3^H\) is 6-symmetric space in the sense of Definition B.1. Furthermore, since all the spaces \(FL_j^H\) are \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\)-orbits with the same stabilizer, the identity homomorphism of \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) descends for any pair of homogeneous spaces \(FL_j^H\) and \(FL_m^H\) to a diffeomorphism
such that for any \(g \in \textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) and \(p\in FL_m^H\) we have
As a consequence, also \(FL_1^H\) and \(FL_2^H\) are 6-symmetric spaces. \(\square \)
We have seen that the homogeneous spaces \(FL_j^H\) \((j=1, 2, 3)\) are 7 dimensional 6-symmetric spaces. In this section we define natural projections from \(FL_j^H\) to several homogeneous spaces.
First from \(FL_1^H\), we have a projection to \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) given by
It is easy to see that \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) is a symmetric space with the involution \(\sigma _H^3\) defined in (B.3).
Next from \(FL_2^H\), we have a projection to a full flag manifold:
where \(Fl_2^H\) is defined as
It is easy to see that \(Fl_2^H\) is a 3-symmetric space with the involution \(\sigma _H^2\) stated in (B.2).
Finally from \(FL_3^H\), we have two projections. We first let \(k \in \text {Stab}_{P_H^{\epsilon }}\) as in (C.4) with
then a straightforward computation shows that
Therefore we have two projections
where \(\widetilde{Fl_2^H}\) and \({\widetilde{\text {SL}_{\text {Gr}}^\text {H}}}(3, {\mathbb {C}^{\prime }}^3)\) are defined as
Note that it is easy to compute
and the stabilizer in \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) at \(P_H^{\epsilon } (P_H^{\epsilon })^T\) of \(\widetilde{Fl_2^H}\) and the stabilizer in \(\textrm{SL}_3 {\mathbb {R}}^{\textrm{H}}\) at \(P_H^{\epsilon } (P_H^{\epsilon })^T P_H^{\epsilon } \) of \(\widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}^3)\) are
where
and where \(\text {Stab}_{PP^TP}\) is exactly the same group as the stabilizer of \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\). Thus \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) and \(\widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}^3)\) are naturally equivariantly diffeomorphic. An analogous argument applies to \(Fl_2^H\) and \(\widetilde{Fl_2^H}\). Now the stabilizer of \(\widetilde{Fl_2^H}\) is determined by the matrix characterizing \(\sigma _H^2\), whence \(\widetilde{Fl_2^H}\) (and thus \(Fl_2^H\)) is the 3-symmetric space associated with \(\sigma _H^2\). Similarly, \(\text {SL}_{\text {Gr}}^\text {H}(3, {\mathbb {C}^{\prime }}^3)\) (and thus \(\widetilde{\text {SL}_{\text {Gr}}^\text {H}}(3, {\mathbb {C}^{\prime }}))\) is the symmetric space associated with \(\sigma _H^{3}\).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dorfmeister, J.F., Hildebrand, R. & Kobayashi, S. Half-Dimensional Immersions into the Para-Complex Projective Space and Ruh–Vilms Type Theorems. Results Math 79, 245 (2024). https://doi.org/10.1007/s00025-024-02271-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-024-02271-8
Keywords
- Para-complex projective space
- half-dimensional immersions
- Lagrangian immersions
- minimal immersions
- Ruh–Vilms type theorems