Abstract
In this article, we construct a new para-Kähler structure \(({{\mathcal {G}}},{{\mathcal {J}}},\Omega )\) on the space of oriented geodesics of a n-dimensional (non-flat) real space form. We first show that the para-Kähler metric \({{\mathcal {G}}}\) is scalar flat and when \(n=3\), it is locally conformally flat. Furthermore, we prove that the space of oriented geodesics of hyperbolic n-space equipped with the constructed metric \({{\mathcal {G}}}\) is minimally isometrically embedded in the tangent bundle of hyperbolic n-space. We then study submanifold theory, and show that \({{\mathcal {G}}}\)-geodesics correspond to minimal ruled surfaces in the real space form. Lagrangian submanifolds (with respect to the symplectic structure \(\Omega \)) play an important role in the geometry of the space of oriented geodesics as they come from the Gauss map of hypersurfaces in the corresponding space form. We demonstrate that the Gauss map of a non-flat hypersurface of constant Gauss curvature is a minimal Lagrangian submanifold. Finally, we show that a Hamiltonian minimal submanifold is locally the Gauss map of a hypersurface \(\Sigma \), which is a critical point of the functional \(\mathcal {F}(\Sigma )=\int _{\Sigma }\sqrt{|K|}\,dV\), K denoting the Gaussian curvature of \(\Sigma \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The geometry of the space \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) of oriented geodesics in a real space form \(({{\mathbb {S}}}^{n+1}(c),g)\), of constant sectional curvature c, has been the focus of a great deal of interest for the past two decades. In the celebrated article [7], Guilfoyle and Klingenberg constructed a Kähler structure in the space \({{\mathbb {L}}}({{\mathbb {S}}}^{3}(0))\) of oriented lines in the Euclidean 3-space \({{\mathbb {S}}}^{3}(0)={{\mathbb {R}}}^{3}\) and showed that the Kähler metric is of neutral signature. Additionally, it is invariant under the action of the Euclidean isometry group. A similar construction for hyperbolic 3-space \({{\mathbb {S}}}^{3}(-1)\) was established by Georgiou and Guilfoyle in [4]. Then, in [1], Anciaux extended this geometric construction to all non-flat real space forms by showing that \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) always admits a Kähler or a para-Kähler structure, where the metric is Einstein and invariant under the isometry group of \({{\mathbb {S}}}^{n+1}(c)\). In the same work, for \(n = 2\), Anciaux proved that \({{\mathbb {L}}}({\mathbb S}^{n+1}(c))\) admits another Kähler or para-Kähler structure, such that its metric \({\overline{G}}\), is of neutral signature, locally conformally flat and is invariant under the isometry group of \({{\mathbb {S}}}^{n+1}(c)\). This invariance, allows one to study problems in the base manifold \({{\mathbb {S}}}^{n+1}(c)\) by studying its space of oriented geodesics.
For example, the set of all oriented geodesics orthogonal to a hypersurface in \({{\mathbb {S}}}^{n+1}(c)\) corresponds to a Lagrangian submanifold in \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\), with respect to the canonical symplectic structure \(\Omega \) (see [1]). In particular, \({\overline{G}}\)-flat Lagrangian surfaces in \({\mathbb L}({{\mathbb {S}}}^{3}(c))\) are the oriented geodesics normal to a Weingarten surfaces in \({{\mathbb {S}}}^{3}(c)\), i.e. its principal curvatures are functionally related.
Consider a (para-) Kähler structure\( (M,J,\omega )\), where \(J,\omega \) are respectively the (para-) complex structure and the symplectic structure. If \(f:\Sigma \rightarrow M\) is a Lagrangian immersion and H is the mean curvature, the one-form \(f^{*}(JH\rfloor \omega )\) is called the Maslov 1-form. In this article, the Maslov 1-form will be denoted by \(a_H\).
If \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is equipped with the (para-) Kähler–Einstein structure, the Maslov 1-form is closed for any Lagrangian submanifold. This is generally true for any (para-) Kähler–Einstein manifold. In fact, if the Kähler metric is Einstein, then the Ricci 2-form \(\rho \) is proportional to the symplectic structure \(\omega \), that is,
For a Lagrangian submanifold \(\Sigma \) the following identity holds [3]:
which yields,
It is natural then to ask whether the converse is true, i.e. considering a (para-) Kähler manifold such that every Lagrangian submanifold has closed Maslov 1-form, can we conclude that the Kähler metric is Einstein?
In this article, we show that the converse is not true. In particular, we construct a para-Kähler (non-Einstein) structure \((\mathcal {G},\mathcal {J},\Omega )\) in \({{\mathbb {L}}}({\mathbb S}^{n+1}(c))\) (for \(c\ne 0\)), where \(\mathcal {G},\mathcal {J}\) and \(\Omega \) are respectively the metric, the paracomplex structure and the canonical symplectic structure such that all Lagrangian submanifolds have closed Maslov 1-form. We use the fact that \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is identified with the Grassmannian of oriented 2-planes of \({{\mathbb {R}}}^{n+2}\) and thus, they are submanifolds of the set of all bivectors \(\Lambda ^2({{\mathbb {R}}}^{n+2})=\{x\wedge y|x,y\in {\mathbb R}^{n+2}\}\) in \({{\mathbb {R}}}^{n+2}\). In particular, a tangent vector at \(x\wedge y\in {{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\subset \Lambda ^2({{\mathbb {R}}}^{n+2})\) can be written as \(x\wedge X+y\wedge Y\), where X, Y are vectors in \({{\mathbb {R}}}^{n+2}\) normal to the oriented plane \(x\wedge y\) (see [1] for more details).
We then show the following:
Theorem 1
The metric \(\mathcal {G}\) on \({\mathbb L}({{\mathbb {S}}}^{n+1}(c))\), defined by
where \(x\wedge X_1+y\wedge Y_1\), \(x\wedge X_2+y\wedge Y_2\in T_{x\wedge y}{{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\), is scalar flat and non-Einstein. Furthermore, \(\mathcal {G}\) is locally conformally flat if and only if \(n=2\).
It is proven in [5] that \(({{\mathbb {L}}}({\mathbb S}^{3}(0)),{\overline{G}})\) is minimally isometrically embedded in the tangent bundle \((T{{\mathbb {S}}}^{3}(0), \mathcal {G}_0)\), where \(\mathcal {G}_0\) is a neutral, scalar flat and locally conformally flat metric. For the hyperbolic case, \({{\mathbb {H}}}^{n}={\mathbb S}^{n}(-1)\), we have the following remark:
Remark 1
The isometric embedding \(f:({\mathbb L}({{\mathbb {H}}}^{n+1}),{{\mathcal {G}}})\longrightarrow (T{\mathbb H}^{n+1},{{\mathcal {G}}}_0):x\wedge y\mapsto (x,-y)\) is minimal.
The reason Remark 1 holds in any dimension, while in the Euclidean case it only holds for \(n=2\), is because \({{\mathbb {L}}}({\mathbb H}^{n+1})\) admits invariant (para-) Kähler structures for any n. The space \({{\mathbb {L}}}({{\mathbb {R}}}^{3})\) of oriented lines in \({{\mathbb {R}}}^{n+1}\) admits an invariant (para-) Kähler structure only when \(n=3\) and 7 (see [9]). On the other hand, there is no similar result for the spherical cases since the spheres are not Hadamard and therefore the embedding f is not well-defined.
A curve in \({{\mathbb {L}}}({{\mathbb {S}}}^{3}(c))\) corresponds to a 1-parameter family of oriented geodesics, i.e. it corresponds to a ruled surface in the real space form \({{\mathbb {S}}}^{3}(c)\). We then have:
Remark 2
A curve \(\gamma \) in \(({{\mathbb {L}}}({\mathbb S}^{3}(c)),{{\mathcal {G}}})\) is a geodesic if and only if the corresponding ruled surface in \({{\mathbb {S}}}^{3}(c)\) is minimal.
Let \(\phi :\Sigma \rightarrow {{\mathbb {S}}}^{n+1}(c)\) be an immersion of a hypersurface in \({{\mathbb {S}}}^{n+1}(c)\). The set of oriented geodesics normal to \(\phi (\Sigma )\) is immersed by the mapping
where N is the unit normal vector field along \(\phi (\Sigma )\). The map \(\Phi \) is called the Gauss map of the immersion \(\phi \). It is already known that the image \(\Phi (\Sigma )\) of the Gauss map of a hypersurface in \({{\mathbb {S}}}^{3}(c)\) form a Lagrangian submanifold in \(({{\mathbb {L}}}({{\mathbb {S}}}^{3}(c)),\Omega )\), where \(\Omega \) is the canonical symplectic structure. The following remark describes all minimal Lagrangian submanifolds:
Remark 3
Every Lagrangian submanifold in \(({\mathbb L}({{\mathbb {S}}}^{n+1}(c)),\mathcal {G},\Omega )\) has closed Maslov 1-form. If \(\Sigma \) is a non-flat hypersurface of \({\mathbb S}^{n+1}(c)\) then it is of constant Gauss curvature if and only if the oriented geodesics normal to \(\Sigma \) form a minimal Lagrangian submanifold of \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),\mathcal {G},\Omega )\).
A point on hypersurface is ”non-flat” if the product of all principal curvatures is non-zero. Remark 3, shows that for \(n=2\), the metrics \({{\mathcal {G}}}\) and \({\overline{G}}\) are not isometric, since they have different minimal surfaces. In particular, the only \({\overline{G}}\)-minimal Lagrangian surfaces in \({{\mathbb {L}}}({\mathbb S}^{3}(c))\) are the set of geodesics normal to a given geodesic, which is flat (see [1, 3]).
Remark 3 says that every Lagrangian submanifold has closed Maslov 1-form, but \(\mathcal {G}\) is not Einstein, answering the question posed previously in the negative.
Let \((M, \omega )\) be a symplectic manifold and \(f:\Sigma \rightarrow M\) a Lagrangian submanifold. A vector field X along \(\Sigma \) is said to be Hamiltonian if the one-form \(f^{*}(X \rfloor \omega )\) is exact. A smooth variation \(F:\Sigma \times [0,T)\rightarrow M\) of \(\Sigma \) with \(F(x,0)=f(x)\) is called a Hamiltonian deformation if \(\frac{\partial F}{\partial t}|_{t=0}\) is a Hamiltonian vector field.
If a (para-) Kähler structure \((J, g, \omega )\) is given on M, then a normal variation F of the Lagrangian submanifold \(\Sigma \) is Hamiltonian if
where J is the (para-) complex structure and \(\nabla u\) is the gradient of the smooth function u defined on \(\Sigma \). A Hamiltonian minimal submanifold is a Lagrangian submanifold that is also a critical point of the volume functional with respect to Hamiltonian variations. The first variation formula of the volume functional implies that a Hamiltonian minimal submanifold is characterised by the equation \(div JH=0\). Here H denotes the mean curvature vector of \(\Sigma \) and div is the divergence operator with respect to the induced metric (for more details, see [11] and [12]). In [6] and [10] it is proven that smooth one-parameter deformations of a submanifold in \({\mathbb S}^{n+1}(c))\) induce Hamiltonian deformations of the corresponding Gauss map in \(({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c)),\Omega )\). We then have the following:
Remark 4
Let \(\phi :\Sigma \rightarrow {\mathbb S}^{n+1}(c)\) be a non-flat hypersurface in \(({\mathbb S}^{n+1}(c),g)\). Then the Gauss map \(\Phi :\Sigma \rightarrow {{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is a Hamiltonian minimal submanifold of \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),\mathcal {G},\Omega )\) if and only if \(\phi \) is a critical point of the functional
where K and dV denote, respectively, the Gaussian curvature of \(\phi \) and the volume element of the induced metric \(\phi ^{*}g\).
The author would like to thank Brendan Guilfoyle for interesting comments and observations about the early version of this manuscript.
2 A canonical para Kähler structure
Let \({{\mathbb {S}}}^{n+1}(c)\) be a real space form of constant sectional curvature \(c\in \{-1,1\}\). That is, let \({\mathbb H}^{n+1}={{\mathbb {S}}}^{n+1}(-1)\) is the hyperbolic \((n+1)\)-dimensional space defined by:
where \(\left<x,x\right>_{-1}:=x_0^2-x_1^2-\cdots -x_{n+1}^2\). Moreover \({{\mathbb {S}}}^{n+1}={{\mathbb {S}}}^{n+1}(1)\) is the \((n+1)\)-dimensional sphere defined by:
where \(\left<x,x\right>_{1}:=x_0^2+x_1^2+\cdots +x_{n+1}^2\).
The space of oriented geodesics in \({{\mathbb {S}}}^{n+1}(c)\) will be identified with the
Every tangent vector in \(T_{x\wedge y}{{\mathbb {L}}}({\mathbb S}^{n+1}(c))\) can be written as:
where \(X,Y\in (x\wedge y)^{\bot }\) are in \({{\mathbb {R}}}^{n+2}\). \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is equipped with the Riemannian metric \(G_0=\iota ^{*}\left<\left<.,.\right>\right>_c\) where,
and \(\left<\left<.,.\right>\right>_c\) is the flat metric in \(\Lambda ^2({{\mathbb {R}}}^{n+1})\):
For the hyperbolic case (\(c=-1\)), fixing a point \(p\in {\mathbb R}^{n+2}\), every oriented geodesic \(\gamma =\gamma (t)\), with t being its arc-length, can be identified with the pair \((\gamma (t_0),\gamma '(t_0))\), where \(\gamma (t_0)\) is the closest point of \(\gamma \) to p and, \(\gamma '(t_0)\) is its velocity. When p is the origin, it is not hard to see that \(\left<\gamma (t_0),\gamma '(t_0)\right>_1=0\).
In this article, when we write the oriented geodesic \(\gamma \) as the oriented plane \(x\wedge y\) we mean that \(< x, y>_1=0\).
Proposition 1
The following embedding is well defined:
Proof
Indeed, let \(z\wedge w\in {{\mathbb {L}}}({{\mathbb {H}}}^{n+1})\) be such that \(z\wedge w=x\wedge y\), where \(< x, y>_1=< z, w>_1=0\). Then
for some real t. Note that \(\left<x,y\right>_1=0\) and thus we have that \(y_0=0\). The fact that \(\left<y,y\right>_{-1}=-1\) implies \(\left<y,y\right>_1=1\).
From \(\left<z,w\right>_1=0\), we then have,
which yields,
Thus, \(t=0\) and substituting this in (3), we finally get \((x,-y)=(z,-w)\), which means that \(f(x\wedge y)=f(z\wedge w)\). \(\square \)
We now use the embedding f to define a new geometric structure on \({{\mathbb {L}}}({{\mathbb {H}}}^{n+1})\). To do this, consider the neutral metric \(\mathcal {G}_0\) on \(T{{\mathbb {H}}}^{n+1}\):
where \({\bar{X}}\simeq (\Pi {\bar{X}},K{\bar{X}})\), \({\bar{Y}}\simeq (\Pi \bar{Y},K{\bar{Y}})\) in \(TT{{\mathbb {H}}}^{n+1}=T{{\mathbb {H}}}^{n+1}\oplus T{{\mathbb {H}}}^{n+1}\), and g is the metric \(\left<.,.\right>_{-1}\) induced by the inclusion map \(i:{{\mathbb {H}}}^{n+1}\hookrightarrow {{\mathbb {R}}}^{n+2}\). For more details about this metric, see [5] and [8].
Let \(\mathcal {G}\) be the metric \(\mathcal {G}_0\) induced by f on \({{\mathbb {L}}}({{\mathbb {H}}}^{n+1})\), i.e. \(\mathcal {G}=f^{*}\mathcal {G}_0\). It can be shown that
Proposition 2
The metrics \(\mathcal {G}\) and \(G_0\) are projectively equivalent.
Proof
Let \(x,y,e_1,\ldots e_{n}\) be an orthonormal frame of \({\mathbb R}^{n+2}\), and define the vector \(E_1,\ldots E_{2n}\) in \(T_{x\wedge y}{{\mathbb {L}}}({{\mathbb {H}}}^{n+1})\) by:
where \(i=1,\ldots , n\). If \(\nabla \) is the Levi–Civita connection of \(G_0\), one can show that \(\nabla _{E_i}E_j=0\).
An almost complex structure \(\mathcal {J}_0\) in \({{\mathbb {L}}}({\mathbb H}^{n+1})\) can be defined by
Then \(\nabla _{E_i}\mathcal {J}_0 = \mathcal {J}_0\nabla _{E_i}\), which shows that \(\mathcal {J}_0\) is \(\nabla \)-parallel and therefore integrable. We also have that T is symmetric with respect to \(G_0\), i.e.
for any \({\bar{X}},{\bar{Y}}\in T_{x\wedge y}{{\mathbb {L}}}({\mathbb H}^{n+1})\). Namely,
which implies
Consider the following Lemma:
Lemma 1
[1]. Let (N, G) be a pseudo-Riemannian manifold with Levi–Civita connection D and T a symmetric, D-parallel (1, 1) tensor. Then the Levi–Civita connection of the pseudo-Riemannian metric \(G'=G(.,T.)\) is D.
From (5), we have
The proposition then follows. \(\square \)
Considering the \((n+1)\)-dimensional real space form \({\mathbb S}^{n+1}(c)\) and defining the almost (para-)complex structure \(\mathcal {J}_0\) by
we now define the metric \(\mathcal {G}\) by
which is given by (4). It is easily seen that, \(\mathcal {G}\) is \(\nabla \) and \(\mathcal {J}_0\) symmetric and therefore \(\mathcal {G}\) and \(G_0\) share the same Levi–Civita connection.
The following theorem explores the curvature of \(\mathcal {G}\):
Theorem 1
The metric \(\mathcal {G}\) on \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\), defined by
where \(x\wedge X_1+y\wedge Y_1\), \(x\wedge X_2+y\wedge Y_2\in T_{x\wedge y}{{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\), is scalar flat and non-Einstein. Furthermore, \(\mathcal {G}\) is locally conformally flat if and only if \(n=2\).
Proof
Consider the frame \(E_i\) used previously, where again \(i=1,\ldots , n\), then \(\mathcal {J}_0E_i=cE_{n+i}\) and \(\mathcal {J}_0E_{n+i}=E_{i}\). Let \(\mathcal {R}\) and \(\mathcal {R}ic\) be the Riemann curvature and Ricci tensor respectively of \(\mathcal {G}\). Since the metrics \(\mathcal {G}\) and \(G_0\) have the same Levi–Civita connection then \(\mathcal {R}=R\), where R is the Riemann curvature tensor of \(G_0\). Then,
For \(i,j=1,\ldots ,n\) we have,
and therefore the inverse matrix has coefficients
Using the fact that \(G_0^{ij}=cG_0^{n+i,n+j}=\delta _{ij}\) and \(G_0^{i,n+j}=0\), we then have
Now, \(G_0\) is an Einstein metric with scalar curvature \(S=2cn^2\) (for more details, see [1]), so
That means,
and thus, \(\mathcal {G}\) is non-Einstein.
If \(\mathcal {S}\) denotes the scalar curvature of \(\mathcal {G}\) then,
We now proceed with the proof of the second part of the theorem. Since \(\mathcal {G}\) is scalar flat, the Weyl tensor \(\mathcal {W}\) is given by
Now,
which is zero if and only if \(n=2\). Similarly, one can prove the same for the other coefficients of the Weyl tensor. \(\square \)
When \(n=2\), there is a complex structure on \({{\mathbb {L}}}({\mathbb S}^3(c))\), defined as follows:
where \(J'\) is the complex structure in the plane \((x\wedge y)^{\bot }\) in \({{\mathbb {R}}}^4\). Then the metric \({\overline{G}}=G_0(.,\mathcal {J}_{0}\circ \mathcal {J}'_0.)\) on \({{\mathbb {L}}}({{\mathbb {S}}}^3(c))\), is locally conformally flat, scalar flat and is invariant under the isometry group action in \({\mathbb L}({{\mathbb {S}}}^3(c))\). The metric \({\overline{G}}\) has been studied by several authors (see for example, [1, 2, 4, 7, 9]).
Finally, for the hyperbolic case (\(c=-1\)), we show the following:
Remark 1
The isometric embedding \(f:({{\mathbb {L}}}({{\mathbb {H}}}^{n+1}),{\mathcal G})\longrightarrow (T{{\mathbb {H}}}^{n+1},{{\mathcal {G}}}_0):x\wedge y\mapsto (x,-y)\) is minimal.
Proof
The derivative of f is given by:
Note that \(X=\nabla _{Y}y\) and if \({\bar{D}}\) denotes the Levi–Civita connection of G, we have
which implies that the second fundamental form \(h_f\) is given by
Recalling the basis \((E_1,\ldots E_{2n})\) of \(T_{x\wedge y}{\mathbb L}({{\mathbb {S}}}^{n+1}(c))\), the mean curvature \(H_f\) of f is
so that
which shows that f is minimal. \(\square \)
Considering the almost para-complex structure \({{\mathcal {J}}}\) in \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\):
we then have:
-
(1)
\({{\mathcal {J}}}\) is compatible with \(\mathcal {G}\). Namely,
$$\begin{aligned} \mathcal {G}({{\mathcal {J}}}(x\wedge X_1+y\wedge Y_1),{{\mathcal {J}}}(x\wedge X_2+y\wedge Y_2))= & {} \mathcal {G}(x\wedge X_1-y\wedge Y_1,x\wedge X_2-y\wedge Y_2)\\= & {} -g(X_1,Y_2)-g(X_2,Y_1)\\= & {} -\mathcal {G}(x\wedge X_1+y\wedge Y_1,x\wedge X_2+y\wedge Y_2). \end{aligned}$$ -
(2)
\({{\mathcal {J}}}\) is integrable, i.e., \(D{{\mathcal {J}}}={{\mathcal {J}}}D\). In fact,
$$\begin{aligned} {{\mathcal {J}}}E_i=E_i,\qquad {{\mathcal {J}}}E_{n+i}=-E_{n+i}, \end{aligned}$$and the claim follows from \(D_{E_i}E_{j}=0\).
Define the symplectic 2-form \(\Omega \) in \({{\mathbb {L}}}({\mathbb S}^{n+1})\) by
In particular,
Then the quadruple \(({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c)),\mathcal {G}, \mathcal {J},\Omega )\) form a para-Kähler structure, so that the symplectic structure is the same as the symplectic structure defined by the (para-) Kähler structure \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),G_0, \mathcal {J}_0)\), since
The latter (para-) Kähler structure has been widely studied in [1, 4] and [7].
Every isometry \(\phi :{{\mathbb {S}}}^{n+1}(c)\rightarrow {\mathbb S}^{n+1}(c)\), can be extended to a linear orthogonal transformation \({\bar{\phi }}\) in \({{\mathbb {R}}}^{n+2}\) restricted to \({\mathbb S}^{n+1}(c)\). This induces a mapping F in the space of oriented geodesics defined by
The derivative of F is
Using now the fact that \(X,Y\in (x\wedge y)^{\bot }\) (see [1]), we have that \(X\in T_{x}{{\mathbb {S}}}^{n+1}(c)\) and thus,
We now have
which shows the following:
Proposition 3
The metric \(\mathcal {G}\) is invariant under the action of the isometry group of \(({{\mathbb {S}}}^{n+1}(c),g)\) in the space of oriented geodesics \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\).
3 Geodesics
We now study geodesics in \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),\mathcal {G})\). We start with the following proposition:
Proposition 4
If the curve \(\gamma (t)=x(t)\wedge y(t)\) is a \(\mathcal {G}\)-geodesic \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\), then the vector field \(y=y(t)\) is orthogonal to the curve \(x=x(t)\) in \({{\mathbb {S}}}^{n+1}(c)\).
Proof
We prove the proposition for \(c=1\), the proof is similar for \(c=-1\). Denote the flat connection of \(\Lambda ^2{{\mathbb {R}}}^{n+2}\) by \({\overline{\nabla }}\) and the Levi–Civita connection of g by by \({\overline{D}}\). Then
If \(\nabla \) is the Levi–Civita connection of \(\mathcal {G}\), we then have:
Suppose \(\gamma \) is a \(\mathcal {G}\)-geodesic. Then
for some functions \(a=a(t),\,b=b(t)\) along the curve \(x=x(t)\). Assuming t is the arc-length of the curve x, it follows that
If \(a\ne 0\) in some open interval, then obviously we have that \(g(\dot{x},y)=0\). Assuming \(a=0\) in an open interval, we have that x is a geodesic in that interval. Note that \(\dot{x},y\) are linearly independent, since otherwise it can be shown that \(y=\pm \dot{x}\) and therefore the curve \(\gamma (t)=\pm x\wedge \dot{x}\) is not regular.
Let \(x,\dot{x},y,e_1,\ldots e_{n-1}\) be a frame of \({\mathbb R}^{n+2}\) such that \(g(e_i,e_j)=\delta _{ij}\) and set \(c_0=g({\overline{D}}_{\dot{x}}y,\dot{x})\) with \(c_k=g({\overline{D}}_{\dot{x}}y,e_k)\).
Now, \(g({\overline{D}}_{\dot{x}}y,{\overline{D}}_{\dot{x}}y)=\displaystyle \sum _{k=0}c_k^2=-g({\overline{D}}^2_{\dot{x}}y,y)\), and therefore
On the other hand
where, \(\Lambda \in \text{ span }\{e_1,\ldots ,e_{n-1}\}\). Then
and \(\Lambda =0\). In particular, for every \(k=1,\ldots , n-1\), we have
Thus
which implies that \(\sum _{k=1}^{n-1}c^2_k=\text{ constant }\). This means, \(b=-\sum _{k=1}^{n-1}c_k^2\) is constant and by definition we have
Using now the fact that b is constant, we have
It follows that \(g(\dot{x},y)\) is constant and therefore \(g(\dot{x},{\overline{D}}_{\dot{x}}y)=0\). Moreover, \(c_0=0\) since \(c_0=g({\overline{D}}_{\dot{x}}y,\dot{x})\). But \(0={\dot{c}}_0=-g(\dot{x},y)\) and the proposition follows. \(\square \)
Every curve \(\gamma =\gamma (t)=x(t)\wedge y(t)\) in \({\mathbb L}({{\mathbb {S}}}^{n+1}(c))\), corresponds to a ruled surface in \({{\mathbb {S}}}^{n+1}(c)\) and such a surface, can be parametrised by
where,
For \(n=2\), we show the following:
Remark 2
A curve \(\gamma \) in \(({{\mathbb {L}}}({{\mathbb {S}}}^{3}(c)),{{\mathcal {G}}})\) is a geodesic if and only if the corresponding ruled surface in \({{\mathbb {S}}}^{3}(c)\) is minimal.
Proof
We know that \(\dot{x},y\) are linearly independent and let, \(\{x,\dot{x},y, e_1\}\) be an orthonormal frame of \({\mathbb R}^4,\left<.,.\right>)\) along the curve \(x=x(t)\). The corresponding ruled surface, parametrised by (6), has normal vector fields N, where:
with \(c_1=\left<{\overline{D}}_{\dot{x}}y,e_1\right>\). Now
If h is the second fundamental form of X, we then have
If H is the mean curvature and \(t_{ij}\) the induced metric \(X^{*}g\), we have that \(t_{t\theta }=0\). Therefore
Thus, using the previous proposition
since, \(c_1\) is constant. \(\square \)
It would be interesting to know whether Remark 2 can be extended to any dimension. We therefore conjecture the following:
Conjecture 1
A curve \(\gamma \) in \(({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c)),{\mathcal G})\) is a geodesic if and only if the corresponding ruled surface in \({{\mathbb {S}}}^{n+1}(c)\) is minimal.
4 Lagrangian submanifolds
Let \(\phi :\Sigma ^n\rightarrow {{\mathbb {S}}}^{n+1}(c)\), be an immersed, orientable hypersurface and N the unit normal vector field along \(\Sigma \). The Gauss map \(\Phi \) of \(\phi \), given in (1), defines a Lagrangian immersion in \({\mathbb L}({{\mathbb {S}}}^{n+1})(c)\) with respect to the symplectic structure \(\Omega \) [1]. It can be shown that any Lagrangian immersion in \({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is locally the Gauss map of a hypersurface in \({{\mathbb {S}}}^{n+1}(c))\) and hence is immersed by a mapping \(\Phi \). Identifying a vector field X in \(\Sigma \) with the derivative \(d\phi (X)\), we have
where A denotes the shape operator of \(\phi \). Let \({\overline{D}}\) and D be the flat connections of \({{\mathbb {R}}}^{n+2}\) and \(\Lambda ^2{{\mathbb {R}}}^{n+2}\) respectively, then we get
Since the Levi–Civita connection \(\nabla \) of \(\mathcal {G}\) is the same as that of \(G_0\), the second fundamental form \({\bar{h}}\) of \(\Phi \) is:
Let \((e_1,\ldots ,e_n)\) be an orthonormal frame of \((\Sigma ,\phi ^{*}g)\) such that \(Ae_i=k_ie_i\), where A denotes the shape operator of \(\phi \). If we simply write the induced metric \(\Phi ^{*}\mathcal {G}\) as \(\mathcal {G}\) then
Away from flat points, i.e. \(\Pi _{k=1}^nk_i\ne 0\), we have
and therefore, if \({{\mathbb {H}}}\) is the mean curvature of \(\Phi \), we obtain
Finally, we have that
and thus, we obtain the following:
Remark 3
Every Lagrangian submanifold in \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),\mathcal {G},\Omega )\) has closed Maslov 1-form. If \(\Sigma \) is a non-flat hypersurface of \({{\mathbb {S}}}^{n+1}(c)\) then it is of constant Gauss curvature if and only if the oriented geodesics normal to \(\Sigma \) form a minimal Lagrangian submanifold of \(({{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c)),\mathcal {G},\Omega )\).
A Lagrangian submanifold \(\Sigma \) is said to be Hamiltonian minimal if
for all Hamiltonian deformations \(\{f_t\}\) of \(\Sigma \). Using the first variation formula, \(\Sigma \) is Hamiltonian minimal if
where \(a_H=\mathcal {G}(JH,.)\) is the Maslov 1-form and \(\delta \) is the Hodge-dual of d on \(\Sigma \) [12].
Remark 4
Let \(\phi :\Sigma \rightarrow {{\mathbb {S}}}^{n+1}(c)\) be a non-flat hypersurface in \(({{\mathbb {S}}}^{n+1}(c),g)\). Then the Gauss map \(\Phi :\Sigma \rightarrow {{\mathbb {L}}}({{\mathbb {S}}}^{n+1}(c))\) is a Hamiltonian minimal submanifold of \(({{\mathbb {L}}}({\mathbb S}^{n+1}(c)),\mathcal {G},\Omega )\) if and only if \(\phi \) is a critical point of the functional
where K and dV denote, respectively, the Gaussian curvature of \(\phi \) and the volume element of the induced metric \(\phi ^{*}g\).
Proof
Let \(\Phi \) be the Gauss map of a smooth immersion of \(\phi \) of the n-dimensional manifold \(\Sigma \) in \({{\mathbb {S}}}^{n+1}(c)\) and let \((e_1,\ldots ,e_n)\) be an orthonormal frame, with respect to the induced metric \(\phi ^{*}g\), such that
where A denotes the shape operator of \(\phi \).
Let \((\phi _t)_{t\in (-t_0,t_0)}\) be a smooth variation of \(\phi \) and \((\Phi _t)\) be the corresponded variation of the Gauss map \(\Phi \). We extend all extrinsic geometric quantities such as the shape operator A, the principal directions \(e_i\) and the principal curvatures \(k_i\) to the 1-parameter family of immersions \((\phi _t)\). Using (7), the induced metric \(\Phi _t^{*}G\) is given by
For every sufficiently small \(t>0\), the volume of every Gauss map \(\Phi _t\), with respect to the metric G, is
If \(\phi \) is a critical point of the functional \({{\mathcal {F}}}\), we have
for any Hamiltonian variation of \(\Phi \). Therefore, \(\Phi \) is a Hamiltonian minimal submanifold with respect to the para-Kähler structure \(({{\mathcal {G}}},{{\mathcal {J}}})\). The converse follows directly from (8).
\(\square \)
Combining Remark 3 and Remark 4 and using the fact that every minimal Lagrangian submanifold is hamiltonian minimal, we also have the following:
Proposition 5
A non-flat submanifold in \({{\mathbb {S}}}^{n+1}(c)\) of constant Gaussian curvature is a critical point of the functional \({\mathcal F}\).
References
Anciaux, H.: Space of geodesics of pseudo-Riemannian space forms and normal congruences of hypersurfaces. Trans. Am. Math. Soc. 366, 2699–2718 (2014)
Alekseevsky, D.V., Guilfoyle, B., Klingenberg, W.: On the geometry of spaces of oriented geodesics. Ann. Glob. Anal. Geom. 40, 389–409 (2011). (Erratum: Ann. Global Anal. Geom. 50, 97–99 (2016))
Georgiou, N.: On minimal Lagrangian surfaces in the product of Riemannian two manifolds. Tohoku Math. J. 67, 137–152 (2015)
Georgiou, N., Guilfoyle, B.: On the space of oriented geodesics of hyperbolic 3-space. Rocky Mt. J. Math. 40, 1183–1219 (2010)
Georgiou, N., Guilfoyle, B.: A new geometric structure on tangent bundles. Preprint arXiv:1806.05440
Georgiou, N., Lobos, G.A.: On Hamiltonian minimal submanifolds in the space of oriented geodesics in real space forms. Arch. Math. 106, 285–293 (2016)
Guilfoyle, B., Klingenberg, W.: An indefinite Kähler metric on the space of oriented lines. J. Lond. Math. Soc. 72, 497–509 (2005)
Gudmundsson, S., Kappos, E.: On the geometry of the tangent bundle with the Cheeger–Gromoll metric. Tokyo J. Math. 14, 407–717 (2002)
Salvai, M.: On the geometry of the space of oriented lines of hyperbolic space. Glasg. Math. J. 49, 357–366 (2007)
Palmer, B.: Buckling eigenvalues, Gauss maps and Lagrangian susbmanifolds. Differ. Geom. Appl. 4, 391–403 (1994)
Oh, Y.G.: Second variation and stabilities of minimal Lagrangian submanifolds in Kähler manifolds. Invent. Math. 101, 501–519 (1990)
Oh, Y.-G.: Volume Minimization of Lagrangian submanifolds under Hamiltonian deformations. Math. Z. 212, 175–192 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Georgiou, N. A para-Kähler structure in the space of oriented geodesics in a real space form. J. Geom. 111, 41 (2020). https://doi.org/10.1007/s00022-020-00553-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022-020-00553-4