BI-HAMILTONIAN REPRESENTATION,SYMMETRIES AND INTEGRALS OF MIXED HEAVENLY AND HUSAIN SYSTEMS

In the recent paper by one of the authors (MBS) and A. A. Malykh on the classification of second-order PDEs with four independent variables that possess partner symmetries [1], mixed heavenly equation and Husain equation appear as closely related canonical equations admitting partner symmetries. Here for the mixed heavenly equation and Husain equation, formulated in a two-component form, we present recursion operators, Lax pairs of Olver–Ibragimov–Shabat type and discover their Lagrangians, symplectic and bi-Hamiltonian structure. We obtain all point and second-order symmetries, integrals and bi-Hamiltonian representations of these systems and their symmetry flows together with infinite hierarchies of nonlocal higher symmetries.     

Ricci-Flat Metrics,Harmonic Forms and Brane Resolutions

 We discuss the geometry and topology of the complete, non-compact, Ricci-flat Stenzel metric, on the tangent bundle of S ⁿ⁺¹ . We obtain explicit results for all the metrics, and show how they can be obtained from first-order equations derivable from a superpotential. We then provide an explicit construction for the harmonic self-dual (p, q)-forms in the middle dimension p+q=(n+1) for the Stenzel metrics in 2(n+1) dimensions. Only the (p, p)-forms are L ² -normalisable, while for (p, q)-forms the degree of divergence grows with . We also construct a set of Ricci-flat metrics whose level surfaces are U(1) bundles over a product of N Einstein-K?hler manifolds, and we construct examples of harmonic forms there. As an application, we construct new examples of deformed supersymmetric non-singular M2-branes with such 8-dimensional transverse Ricci-flat spaces. We show explicitly that the fractional D3-branes on the 6-dimensional Stenzel metric found by Klebanov and Strassler is supported by a pure (2,1)-form, and thus it is supersymmetric, while the example of Pando Zayas-Tseytlin is supported by a mixture of (1,2) and (2,1) forms. We comment on the implications for the corresponding dual field theories of our resolved brane solutions. Received: 22 February 2001 / Accepted: 16 August 2002 Published online: 7 November 2002     

Invariant solutions to the conformal Killing–Yano equation on Lie groups

We search for invariant solutions of the conformal Killing–Yano equation on Lie groups equipped with left invariant Riemannian metrics, focusing on 2-forms. We show that when the Lie group is compact equipped with a bi-invariant metric or 2-step nilpotent, the only invariant solutions occur on the 3-dimensional sphere or on a Heisenberg group. We classify the 3-dimensional Lie groups with left invariant metrics carrying invariant conformal Killing–Yano 2-forms.     

Dirac equation for massive neutrinos in a Schwarzschild-de Sitter spacetime from a 5D vacuum

Starting from a Dirac equation for massless neutrino in a 5D Ricci-flat background metric, we obtain the effective 4D equation for massive neutrino in a Schwarzschild-de Sitter (SdS) background metric from an extended SdS 5D Ricci-flat metric. We use the fact that the spin connection is defined to an accuracy of a vector, so that the covariant derivative of the spinor field is strongly dependent of the background geometry. We show that the mass of the neutrino can be induced from the extra space-like dimension.     

On a class of Ricci-flat Finsler metrics in Finsler geometry

In this paper, we study a class of Finsler metrics defined by a Riemannian metric and a one-form on a manifold. We completely determine the local structure of Ricci-flat metrics in this class which are also of Douglas type.     

Painlevé expansions and the Einstein equations: the two-summand case

We investigate the existence of Painlevé–Kovalevskaya expansions for various reductions to ordinary differential equations of the Ricci-flat equations. We investigate links between such expansions and metrics of exceptional holonomy.     

New cohomogeneity one metrics with Spin(7) holonomy

We construct new explicit non-singular metrics that are complete on non-compact Riemannian 8-manifolds with holonomy Spin(7). One such metric, which we denote by , is complete and non-singular on . The other complete metrics are defined on manifolds with the topology of the bundle of chiral spinors over S⁴, and are denoted by , and . The metrics on and occur in families with a non-trivial parameter. The metric on arises for a limiting value of this parameter, and locally this metric is the same as the one for . The new Spin(7) metrics are asymptotically locally conical (ALC): near infinity they approach a circle bundle with fibres of constant length over a cone whose base is the squashed Einstein metric on . We construct the covariantly constant spinor and calibrating 4-form. We also obtain an L²-normalisable harmonic 4-form for the manifold, and two such 4-forms (of opposite dualities) for the manifold.     

Einstein metrics onS 3,R 3 andR 4 bundles

Starting from a 4n-dimensional quaternionic Kähler base space, we construct metrics of cohomogeneity one in (4n+3) dimensions whose level surfaces are theS ² bundle space of almost complex structures on the base manifold. We derive the conditions on the metric functions that follow from imposing the Einstein equation, and obtain solutions both for compact and non-compact (4n+3)-dimensional spaces. Included in the non-compact solutions are two Ricci-flat 7-dimensional metrics withG ₂ holonomy. We also discuss two other Ricci-flat solutions, one on theR ⁴ bundle overS ³ and the other on anR ⁴ bundle overS ⁴. These haveG ₂ and Spin(7) holonomy respectively.     

Geodesically equivalent metrics in general relativity

We discuss whether it is possible to reconstruct a metric from its nonparameterized geodesics, and how to do it effectively. We explain why this problem is interesting for general relativity. We show how to understand whether all curves from a sufficiently big family are nonparameterized geodesics of a certain affine connection, and how to reconstruct algorithmically a generic 4-dimensional metric from its nonparameterized geodesics. The algorithm works most effectively if the metric is Ricci-flat. We also prove that almost every metric does not allow nontrivial geodesic equivalence, and construct all pairs of 4-dimensional geodesically equivalent metrics of Lorentz signature.     

The GHP Formalism and a Type N Twisting Vacuum Metric with Killing Vector

It is shown that the formalism introduced byGeroch, Held and Penrose has a geometrical basis. Withthe help of the resulting insight a canonical splittingof the complex function which appears in the standard form of the Algebraically Special metrics isrealized. The results of this splitting are applied tothe problem of a (special) Type N vacuum metric with atwisting principle null direction. It is demonstrated that it is possible (but not feasable) to findthe metric without the use of differential equations. Anestimate of the size of the metric is given.     

The Gibbons–Tsarev equation: symmetries,invariant solutions,and applications

In this paper we present the full classification of symmetry-invariant solutions for the Gibbons–Tsarev equation. Then we use these solutions to construct explicit expressions for two-component reductions of Benney’s moments equations, to get solutions of Pavlov’s equation, and to find integrable reductions of the Ferapontov–Huard–Zhang system, which describes implicit two-phase solutions of the dKP equation.     

3-Sasakian manifolds, 3-cosymplectic manifolds and Darboux theorem

We present a compared analysis of some properties of 3-Sasakian and 3-cosymplectic manifolds. We construct a canonical connection on an almost 3-contact metric manifold which generalises the Tanaka–Webster connection of a contact metric manifold and we use this connection to show that a 3-Sasakian manifold does not admit any Darboux-like coordinate system. Moreover, we prove that any 3-cosymplectic manifold is Ricci-flat and admits a Darboux coordinate system if and only if it is flat.     

A Generalization of the Goldberg–Sachs theorem and its consequences

The Goldberg–Sachs theorem is generalized for all four-dimensional manifolds endowed with torsion-free connection compatible with the metric, the treatment includes all signatures as well as complex manifolds. It is shown that when the Weyl tensor is algebraically special severe geometric restrictions are imposed. In particular it is demonstrated that the simple self-dual eigenbivectors of the Weyl tensor generate integrable isotropic planes. Another result obtained here is that if the self-dual part of the Weyl tensor vanishes in a Ricci-flat manifold of (2,2) signature the manifold must be Calabi–Yau or symplectic and admits a solution for the source-free Einstein–Maxwell equations.     

Towards a theory of macroscopic gravity

By averaging out Cartan's structure equations for a four-dimensional Riemannian space over space regions, the structure equations for the averaged space have been derived with the procedure being valid on an arbitrary Riemannian space. The averaged space is characterized by a metric, Riemannian and non-Rimannian curvature 2-forms, and correlation 2-, 3- and 4-forms, an affine deformation 1-form being due to the non-metricity of one of two connection 1-forms. Using the procedure for the space-time averaging of the Einstein equations produces the averaged ones with the terms of geometric correction by the correlation tensors. The equations of motion for averaged energy momentum, obtained by averaging out the contracted Bianchi identities, also include such terms. Considering the gravitational induction tensor to be the Riemannian curvature tensor (the non-Riemannian one is then the field tensor), a theorem is proved which relates the algebraic structure of the averaged microscopic metric to that of the induction tensor. It is shown that the averaged Einstein equations can be put in the form of the Einstein equations with the conserved macroscopic energy-momentum tensor of a definite structure including the correlation functions. By using the high-frequency approximation of Isaacson with second-order correction to the microscopic metric, the self-consistency and compatibility of the equations and relations obtained are shown. Macrovacuum turns out to be Ricci non-flat, the macrovacuum source being defined in terms of the correlation functions. In the high-frequency limit the equations are shown to become Isaacson's ones with the macrovauum source becoming Isaacson's stress tensor for gravitational waves.     

On the Fefferman class of metrics associated with a three-dimensional CR space

We derive the explicit forms of Fefferman's metric for a Cauchy-Riemann space admitting a solution of the tangential Cauchy-Riemann equation and of the corresponding Weyl tensor. We show that its Petrov type is 0 in the case of the hyperquadric or N in all other cases, and that the Fefferman class of metrics does not contain any nonflat solution of Einstein's vacuum equations with cosmological constant.Work supported in part by the Polish Ministry of Science and Higher Education, Research Problem CPBP 01.03.     

Inverse scattering problem for vector fields and the Cauchy problem for the heavenly equation

We solve the inverse scattering problem for multidimensional vector fields and we use this result to construct the formal solution of the Cauchy problem for the second heavenly equation of Plebanski, a scalar nonlinear partial differential equation in four dimensions underlying self-dual vacuum solutions of the Einstein equations, which arises from the commutation of multidimensional Hamiltonian vector fields.     

A Finsler generalisation of Einstein's vacuum field equations

This paper gives a generalisation of Einstein's vacuum field equations for Finsler metrics. The given generalised field equation reproduces the Einstein equations for Riemannian metrics, and also admits non-Riemannian solutions. This is shown in detail by deriving a first order Finsler perturbation, solving the new field equation, of the Schwarzschild metric. This perturbation turns out to be time independent. The effects of the perturbation on the three Classical Tests of General Relativity are derived, and used to give limits on the size of the perturbation parameter involved.     

Analytical Solutions of the Gravitational Field Equations in de Sitter and Anti-de Sitter Spacetimes

The generalized Laplace partial differential equation, describing gravitational fields, is investigated in de Sitter spacetime from several metric approaches—such as the Riemann, Beltrami, Börner-Dürr, and Prasad metrics—and analytical solutions of the derived Riccati radial differential equations are explicitly obtained. All angular differential equations trivially have solutions given by the spherical harmonics and all radial differential equations can be written as Riccati ordinary differential equations, which analytical solutions involve hypergeometric and Bessel functions. In particular, the radial differential equations predict the behavior of the gravitational field in de Sitter and anti-de Sitter spacetimes, and can shed new light on the investigations of quasinormal modes of perturbations of electromagnetic and gravitational fields in black hole neighborhood. The discussion concerning the geometry of de Sitter and anti-de Sitter spacetimes is not complete without mentioning how the wave equation behaves on such a background. It will prove convenient to begin with a discussion of the Laplace equation on hyperbolic space, partly since this is of interest in itself and also because the wave equation can be investigated by means of an analytic continuation from the hyperbolic space. We also solve the Laplace equation associated to the Prasad metric. After introducing the so called internal and external spaces—corresponding to the symmetry groups SO(3,2) and SO(4,1) respectively—we show that both radial differential equations can be led to Riccati ordinary differential equations, which solutions are given in terms of associated Legendre functions. For the Prasad metric with the radius of the universe independent of the parametrization, the internal and external metrics are shown to be of AdS-Schwarzschild-like type, and also the radial field equations arising are shown to be equivalent to Riccati equations whose solutions can be written in terms of generalized Laguerre polynomials and hypergeometric confluent functions.     

Geometry and Elasticity of Strips and Flowers

We solve several problems that involve imposing metrics on surfaces. The problem of a strip with a linear metric gradient is formulated in terms of a Lagrangian similar to those used for spin systems. We are able to show that the low energy state of long strips is a twisted helical state like a telephone cord. We then extend the techniques used in this solution to two–dimensional sheets with more general metrics. We find evolution equations and show that when they are not singular, a surface is determined by knowledge of its metric, and the shape of the surface along one line. Finally, we provide numerical evidence by minimizing a suitable energy functional that once these evolution equations become singular, either the surface is not differentiable, or else the metric deviates from the target metric.     

Method of group foliation and non-invariant solutions of partial differential equations

Using the heavenly equation as an example, we propose the method of group foliation as a tool for obtaining non-invariant solutions of PDEs with infinite-dimensional symmetry groups. The method involves the study of compatibility of the given equations with a differential constraint, which is automorphic under a specific symmetry subgroup and therefore selects exactly one orbit of solutions. By studying the integrability conditions of this automorphic system, i.e. the resolving equations, one can provide an explicit foliation of the entire solution manifold into separate orbits. The new important feature of the method is the extensive use of the operators of invariant differentiation for the derivation of the resolving equations and for obtaining their particular solutions. Applying this method we obtain exact analytical solutions of the heavenly equation, non-invariant under any subgroup of the symmetry group of the equation. Received 13 September 2001 Published online 2 October 2002 RID="a" ID="a"e-mail: sheftel@gursey.gov.tr