The total space of the tangent bundle of a Kähler manifold admits a canonical Kähler structure. Parallel translation identifies the space ${\Bbb{T}}$ of oriented affine lines in ${\Bbb{R}}^3$ with the tangent bundle of $S^2$. Thus, the round metric on $S^2$ induces a Kähler structure on ${\Bbb{T}}$ which turns out to have a metric of neutral signature. It is shown that the isometry group of this metric is isomorphic to the isometry group of the Euclidean metric on ${\Bbb{R}}^3$.
The geodesics of this metric are either planes or helicoids in ${\Bbb{R}}^3$. The signature of the metric induced on a surface $Σ$ in ${\Bbb{T}}$ is determined by the degree of twisting of the associated line congruence in ${\Bbb{R}}^3$, and we show that, for $Σ$ Lagrangian, the metric is either Lorentz or totally null. For such surfaces it is proven that the Keller-Maslov index counts the number of isolated complex points of ${\Bbb{J}}$ inside a closed curve on $Σ$.
In the present paper, we introduce screen almost semi-invariant (SASI) lightlike submanifolds of indefinite Keahler manifolds. We obtain the neccesary and sufficient condition for the induced connection to be a metric connection on SASI-lightlike submanifolds and construct an example for this manifold. Also we find some conditions for integrability of distributions and investigate certain characterizations.
We classify indefinite simply connected hyper-Kaehler symmetric spaces. Any such space without flat factor has commutative holonomy group and signature (4m,4m). We establish a natural 1-1 correspondence between simply connected hyper-Kaehler symmetric spaces of dimension 8m and orbits of the general linear group GL(m,H) over the quaternions on the space (S^4C^n)^τ of homogeneous quartic polynomials S in n = 2m complex variables satisfying the reality condition S = τS, where τis the real structure induced by the quaternionic structure of C^{2m} = H^m. We define and classify also complex hyper-K…
We introduce a new class of lightlike submanifolds, namely, Screen Transversal Cauchy Riemann (STCR)-lightlike submanifolds, of indefinite Kaehler manifolds. We show that this new class is an umbrella of screen transversal lightlike, screen transversal totally real lightlike and CR-lightlike submanifolds. We give a few examples of a STCR lightlike submanifold, investigate the integrability of various distributions, obtain a characterization of such lightlike submanifolds in a complex space form and find new conditions for the induced connection to be a metric connection. Moreover, we investiga…
Indefinite Kaehler solutions of the Einstein equations are studied, and it is almost completely determined which compact complex surfaces admit such metrics.
Following the approach to pseudo-Riemannian symmetric spaces developed in math.DG/0408249 we exhibit examples of indefinite hyper-Kaehler symmetric spaces with non-abelian holonomy. Moreover, we classify indecomposable hyper-Kaehler symmetric spaces whose metric has signature (4,4n). Such spaces exist if and only if n=0,1,3.
An immersion $ϕ\colon M \to \tilde M$ of a manifold $M$ into an indefinite Kaehler manifold $\tilde M$ is called purely real if the almost complex structure $J$ on $\tilde M$ carries the tangent bundle of $M$ into a transversal bundle. In this article we survey some recent results on purely real surfaces in Kaehler surfaces as well as on Lorentz surfaces in Lorentzian Kaehler surfaces.
Conditions, related to Kulkarni's equivalence problem are considered for indefinite Riemannian and Kaehlerian manifolds. Corresponding theorems are obtained for the values of the Ricci tensor on isotropic vectors as well as for the values of the curvature tensor on degenerate holomorphic 2-planes.
A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space admits a canonical Kaehler-Einstein and para-Kaehler-Einstein structure, respectively, so that a natural notion of a Hopf hypersurface exists. The particular hypersurfaces considered are formed by the orie…
In this article, we construct a new para-Kähler structure $({\mathcal G},{\mathcal J},Ω)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-Kähler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesics in hyperbolic $n$-space, equipped with the constructed metric ${\mathcal G}$, is minimally isometric embedded in the tangent bundle of the hyperbolic $n$-space. We then study the submanifold theory,…
We study the totally null surfaces of the neutral Kaehler metric on certain 4-manifolds. The tangent spaces of totally null surfaces are either self-dual ($α$-planes) or anti-self-dual ($β$-planes) and so we consider $α$-surfaces and $β$-surfaces. The metric of the examples we study, which include the spaces of oriented geodesics of 3-manifolds of constant curvature, are anti-self-dual, and so it is well-known that the $α$-planes are integrable and $α$-surfaces exist. These are holomorphic Lagrangian surfaces, which for the geodesic spaces correspond to totally umbilic foliations of the underl…
In this paper, we study a coupled system of equations on oriented compact 4-manifolds which we call the Bach-Merkulov equations. These equations can be thought of as the conformally invariant version of the classical Einstein-Maxwell equations in general relativity. Inspired by the work of C. LeBrun on Einstein-Maxwell equations on compact Kaehler surfaces, we give a variational characterization of solutions to Bach-Merkulov equations as critical points of the Weyl functional. We also show that extremal Kaehler metrics are solutions to these equations, although, contrary to the Einstein-Maxwel…
The author has elsewhere given a complete classification of those compact oriented Einstein 4-manifolds on which the self-dual Weyl curvature is everywhere positive in the direction of some self-dual harmonic 2-form. In this article, similar results are obtained when the self-dual Weyl curvature is everywhere non-negative in the direction of a self-dual harmonic 2-form that is transverse to the zero section of the bundle of self-dual 2-forms. However, this transversality condition plays an essential role in the story; dropping it leads one into wildly different territory where entirely differe…
We study surfaces in TN that are area-stationary with respect to a neutral Kaehler metric constructed on TN from a riemannian metric g on N. We show that holomorphic curves in TN are area-stationary, while lagrangian surfaces that are area-stationary are also holomorphic and hence totally null. However, in general, area stationary surfaces are not holomorphic. We prove this by constructing counter-examples. In the case where g is rotationally symmetric, we find all area stationary surfaces that arise as graphs of sections of the bundle TN$\to$N and that are rotationally symmetric. When (N,g) i…
We study the neutral Kähler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metric on ${\Bbb{E}}^3_1$. In addition, we give a new characterisation of Weingarten surfaces in Euclidean ${\Bbb{E}}^3$ and Lorentzian ${\Bbb{E}}^3_1$ as the vanishing of the scalar curvature of the associated normal congruence in the space of oriented lines. Finally, we relate our …
Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kaehler structure on L(M).
We prove that a deformation of a hypersurface in a $(n+1)$-dimensional real space form ${\mathbb S}^{n+1}_{p,1}$ induce a Hamiltonian variation of the normal congruence in the space ${\mathbb L}({\mathbb S}^{n+1}_{p,1})$ of oriented geodesics. As an application, we show that every Hamiltonian minimal sumbanifold in ${\mathbb L}({\mathbb S}^{n+1})$ (resp. ${\mathbb L}({\mathbb H}^{n+1})$) with respect to the (para-) Kaehler Einstein structure is locally the normal congruence of a hypersurface $Σ$ in ${\mathbb S}^{n+1}$ (resp. ${\mathbb H}^{n+1}$) that is a critical point of the functional ${\ca…
We give an explicit local classification of conformally equivalent but oppositely oriented Kaehler metrics on a 4-manifold which are toric with respect to a common 2-torus action. In the generic case, these structures have an intriguing local geometry depending on a quadratic polynomial and two arbitrary functions of one variable, these two functions being explicit degree 4 polynomials when the Kaehler metrics are extremal (in the sense of Calabi). One motivation for and application of this result is an explicit local description of Einstein 4-manifolds which are hermitian with respect to eith…
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope (which is a labelled quadrilateral) is K-polystable in the relative, toric sense (as studied by S. Donaldson, E. Legendre, G. Szekelyhidi et al.). Furthermore, in this case, the extremal Kaehler metric is ambitoric, i.e., compatible with a conformally equivalent, oppositely oriented toric Kaehler metric, which turns out to be extremal as well. These results…
We investigate the geometric properties of marginally trapped surfaces (surfaces which have null mean curvature vector) in the spaces of oriented geodesics of Euclidean 3-space and hyperbolic 3-space, endowed with their canonical neutral Kaehler structures. We prove that every rank one surface in these four manifolds is marginally trapped. In the Euclidean case we show that Lagrangian rotationally symmetric sections are marginally trapped and construct an explicit family of marginally trapped Lagrangian tori. In the hyperbolic case we explore the relationship between marginally trapped and Wei…
We present a local classification of conformally equivalent but oppositely oriented 4-dimensional Kaehler metrics which are toric with respect to a common 2-torus action. In the generic case, these "ambitoric" structures have an intriguing local geometry depending on a quadratic polynomial q and arbitrary functions A and B of one variable. We use this description to classify Einstein 4-metrics which are hermitian with respect to both orientations, as well a class of solutions to the Einstein-Maxwell equations including riemannian analogues of the Plebanski-Demianski metrics. Our classification…
Reflection in a line in Euclidean 3-space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3-space, the space of oriented geodesics of any real 3-dimensional space form admits both isometric and anti-isometric paracomplex structures. This paper considers the existence or otherwise of isometric and anti-isometric almost paracomplex structures $j$ on a pseudo-Riemannian 4-manifold $(M,g)$, such that $j$ is parallel with respect to the Levi-Civita connection of $g$. It is shown that if an i…
We prove a very general Kobayashi-Hitchin correspondence on arbitrary compact Hermitian manifolds. This correspondence refers to moduli spaces of "universal holomorphic oriented pairs". Most of the classical moduli problems in complex geometry (e. g. holomorphic bundles with reductive structure groups, holomorphic pairs, holomorphic Higgs pairs, Witten triples, arbitrary quiver moduli problems) are special cases of this universal classification problem. Our Kobayashi-Hitchin correspondence relates the complex geometric concept "polystable oriented holomorphic pair" to the existence of a reduct…
