Showing 1–37 of 37 results for author: Dunajski, M

Conformally Kähler structures

Authors: Maciej Dunajski, A. Rod Gover

Abstract: We establish a one-to-one correspondence between Kähler metrics in a given conformal class and parallel sections of a certain vector bundle with conformally invariant connection, where the parallel sections satisfy a set of non--linear algebraic constraints that we describe. The vector bundle captures 2-form prolongations and is isomorphic to $Λ^3(\cT)$, where ${\cT}$ is the tractor bundle of conf… ▽ More We establish a one-to-one correspondence between Kähler metrics in a given conformal class and parallel sections of a certain vector bundle with conformally invariant connection, where the parallel sections satisfy a set of non--linear algebraic constraints that we describe. The vector bundle captures 2-form prolongations and is isomorphic to $Λ^3(\cT)$, where ${\cT}$ is the tractor bundle of conformal geometry, but the resulting connection differs from the normal tractor connection by curvature terms. Our analysis leads to a set of obstructions for a Riemannian metric to be conformal to a Kähler metric. In particular we find an explicit algebraic condition for a Weyl tensor which must hold if there exists a conformal Killing-Yano tensor, which is a necessary condition for a metric to be conformal to Kähler. This gives an invariant characterisation of algebraically special Riemannian metrics of type $D$ in dimensions higher than four. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Integrability of quantum dots

Authors: Maciej Dunajski, Andrzej J. Maciejewski, Maria Przybylska

Abstract: We determine the frequency ratios $τ\equiv ω_z/ω_ρ$ for which the Hamiltonian system with a potential \[ V=\frac{1}{r}+\frac{1}{2}\Big({ω_ρ}^2(x^2+y^2)+{ω_z}^2 z^2\Big) \] is completely integrable. We relate this result to the existence of conformal Killing tensors of the associated Eisenhart metric on $\mathbb{R}^{1, 4}$. Finally we show that trajectories of a particle moving under the influence… ▽ More We determine the frequency ratios $τ\equiv ω_z/ω_ρ$ for which the Hamiltonian system with a potential \[ V=\frac{1}{r}+\frac{1}{2}\Big({ω_ρ}^2(x^2+y^2)+{ω_z}^2 z^2\Big) \] is completely integrable. We relate this result to the existence of conformal Killing tensors of the associated Eisenhart metric on $\mathbb{R}^{1, 4}$. Finally we show that trajectories of a particle moving under the influence of the potential $V$ are not unparametrised geodesics of any Riemannian metric on $\mathbb{R}^3$. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Equivalence principle, de-Sitter space, and cosmological twistors

Authors: Maciej Dunajski

Abstract: I discuss the impact of the positive cosmological constant on the interplay between the equivalence principle in general relativity, and the rules of quantum mechanics. At the non--relativistic level there is an ambiguity in the definition of a phase of a wave function measured by inertial and accelerating observes. This is the cosmological analogue of the Penrose effect, which can also be seen as… ▽ More I discuss the impact of the positive cosmological constant on the interplay between the equivalence principle in general relativity, and the rules of quantum mechanics. At the non--relativistic level there is an ambiguity in the definition of a phase of a wave function measured by inertial and accelerating observes. This is the cosmological analogue of the Penrose effect, which can also be seen as a non--relativistic limit of the Unruh effect. The symmetries of the associated Schrödinger equation are generated by the Newton--Hooke algebra, which arises from a non--relativistic limit of a cosmological twistor space. △ Less

Submitted 15 December, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: First award winning essay of the 2023 Gravity Research Foundation competition

Journal ref: Internat. J. Modern Phys. D32(2023), no.14, Paper No. 2341001

Wormhole Model for Neon-20

Authors: Nicholas S. Manton, Maciej Dunajski

Abstract: A quantum mechanical model for the Neon-20 nucleus is developed that allows for the splitting of a bipyramidal structure of five alpha-partices into an alpha-particle and an Oxygen-16 nucleus. The geometry of the configuration space is assumed to be a 3-dimensional spatial wormhole, and on the wormhole background there is an attractive short-range potential. This leads to a radial Schrödinger equa… ▽ More A quantum mechanical model for the Neon-20 nucleus is developed that allows for the splitting of a bipyramidal structure of five alpha-partices into an alpha-particle and an Oxygen-16 nucleus. The geometry of the configuration space is assumed to be a 3-dimensional spatial wormhole, and on the wormhole background there is an attractive short-range potential. This leads to a radial Schrödinger equation of the Heun form, which simplifies for threshold bound states to an associated Legendre equation that has explicit solutions. The energies of the true bound states for all spin/parities are numerically calculated, and match those of the well-established $K^π=0^+$, $K^π=0^-$, and certain higher rotational bands of Neon-20. △ Less

Submitted 15 June, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

Comments: 20 pages. Final version, to appear in Nuclear Physics A

Conformal Geodesics Cannot Spiral

Authors: Peter Cameron, Maciej Dunajski, Paul Tod

Abstract: We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point. We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point. △ Less

Submitted 20 November, 2023; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: Final version. To appear in the Journal of Differential Geometry

Twistor Theory of Dancing Paths

Authors: Maciej Dunajski

Abstract: Given a path geometry on a surface $\mathcal{U}$, we construct a causal structure on a four-manifold which is the configuration space of non-incident pairs (point, path) on $\mathcal{U}$. This causal structure corresponds to a conformal structure if and only if $\mathcal{U}$ is a real projective plane, and the paths are lines. We give the example of the causal structure given by a symmetric sextic… ▽ More Given a path geometry on a surface $\mathcal{U}$, we construct a causal structure on a four-manifold which is the configuration space of non-incident pairs (point, path) on $\mathcal{U}$. This causal structure corresponds to a conformal structure if and only if $\mathcal{U}$ is a real projective plane, and the paths are lines. We give the example of the causal structure given by a symmetric sextic, which corresponds on an ${\rm SL}(2,{\mathbb R})$-invariant projective structure where the paths are ellipses of area $π$ centred at the origin. We shall also discuss a causal structure on a seven-dimensional manifold corresponding to non-incident pairs (point, conic) on a projective plane. △ Less

Submitted 31 March, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: Dedicated to Roger Penrose on the occasion of his 90th birthday

Journal ref: SIGMA 18 (2022), 027, 13 pages

Variational principles for conformal geodesics

Authors: Maciej Dunajski, Wojciech Kryński

Abstract: Conformal geodesics are solutions to a system of third order of equations, which makes a Lagrangian formulation problematic. We show how enlarging the class of allowed variations leads to a variational formulation for this system with a third--order conformally invariant Lagrangian. We also discuss the conformally invariant system of fourth order ODEs arising from this Lagrangian, and show that so… ▽ More Conformal geodesics are solutions to a system of third order of equations, which makes a Lagrangian formulation problematic. We show how enlarging the class of allowed variations leads to a variational formulation for this system with a third--order conformally invariant Lagrangian. We also discuss the conformally invariant system of fourth order ODEs arising from this Lagrangian, and show that some of its integral curves are spirals. △ Less

Submitted 20 September, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 14 pages, one figure. A gap removed from the proof of Corollary 4.2. Final version, to appear in Letters in Mathematical Physics

Sine-Gordon on a wormhole

Authors: Piotr Bizoń, Maciej Dunajski, Michał Kahl, Michał Kowalczyk

Abstract: In an attempt to understand the soliton resolution conjecture, we consider the Sine-Gordon equation on a spherically symmetric wormhole spacetime. We show that within each topological sector (indexed by a positive integer degree $n$) there exists a unique linearly stable soliton, which we call the $n$-kink. We give numerical evidence that the $n$-kink is a global attractor in the evolution of any… ▽ More In an attempt to understand the soliton resolution conjecture, we consider the Sine-Gordon equation on a spherically symmetric wormhole spacetime. We show that within each topological sector (indexed by a positive integer degree $n$) there exists a unique linearly stable soliton, which we call the $n$-kink. We give numerical evidence that the $n$-kink is a global attractor in the evolution of any smooth, finite energy solutions of degree $n$. When the radius of the wormhole throat $a$ is large enough, the convergence to the $n$-kink is shown to be governed by internal modes that slowly decay due to the resonant transfer of energy to radiation. We compute the exact asymptotics of this relaxation process for the $1$-kink using the Soffer-Weinstein weakly nonlinear perturbation theory. △ Less

Submitted 12 June, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 19 pages, 10 figures, final version

A note on the Hyper--CR equation, and gauged $N=2$ supergravity

Authors: Maciej Dunajski, Jan Gutowski, Wafic Sabra

Abstract: We construct a new class of solutions to the dispersionless hyper--CR equation, and show how any solution to this equation gives rise to a supersymmetric Einstein--Maxwell cosmological space--time in $(3+1)$--dimensions. We construct a new class of solutions to the dispersionless hyper--CR equation, and show how any solution to this equation gives rise to a supersymmetric Einstein--Maxwell cosmological space--time in $(3+1)$--dimensions. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: 5 pages

Conics, Twistors, and anti-self-dual tri-Kähler metrics

Authors: Maciej Dunajski, Paul Tod

Abstract: We describe the range of the Radon transform on the space $M$ of irreducible conics in $\CP^2$ in terms of natural differential operators associated to the $SO(3)$-structure on $M=SL(3, \R)/SO(3)$ and its complexification. Following \cite{moraru} we show that for any function $F$ in this range, the zero locus of $F$ is a four-manifold admitting an anti-self-dual conformal structure which contains… ▽ More We describe the range of the Radon transform on the space $M$ of irreducible conics in $\CP^2$ in terms of natural differential operators associated to the $SO(3)$-structure on $M=SL(3, \R)/SO(3)$ and its complexification. Following \cite{moraru} we show that for any function $F$ in this range, the zero locus of $F$ is a four-manifold admitting an anti-self-dual conformal structure which contains three different scalar-flat Kähler metrics. The corresponding twistor space ${\mathcal Z}$ admits a holomorphic fibration over $\CP^2$. In the special case where ${\mathcal Z}=\CP^3\setminus\CP^1$ the twistor lines project down to a four-parameter family of conics which form triangular Poncelet pairs with a fixed base conic. △ Less

Submitted 11 December, 2019; v1 submitted 16 January, 2018; originally announced January 2018.

Comments: 29 pages, 2 figures. Final version, to appear in the Asian Journal of Mathematics

Gauge theory on projective surfaces and anti-self-dual Einstein metrics in dimension four

Authors: Maciej Dunajski, Thomas Mettler

Abstract: Given a projective structure on a surface $N$, we show how to canonically construct a neutral signature Einstein metric with non-zero scalar curvature as well as a symplectic form on the total space $M$ of a certain rank $2$ affine bundle $M \to N$. The Einstein metric has anti-self-dual conformal curvature and admits a parallel field of anti-self-dual planes. We show that locally every such metri… ▽ More Given a projective structure on a surface $N$, we show how to canonically construct a neutral signature Einstein metric with non-zero scalar curvature as well as a symplectic form on the total space $M$ of a certain rank $2$ affine bundle $M \to N$. The Einstein metric has anti-self-dual conformal curvature and admits a parallel field of anti-self-dual planes. We show that locally every such metric arises from our construction unless it is conformally flat. The homogeneous Einstein metric corresponding to the flat projective structure on $\mathbb{RP}^2$ is the non-compact real form of the Fubini-Study metric on $M=\mathrm{SL}(3, \mathrm{R})/\mathrm{GL}(2, \mathrm{R})$. We also show how our construction relates to a certain gauge-theoretic equation introduced by Calderbank. △ Less

Submitted 26 September, 2017; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: 26 pages, final version

Report number: DAMTP-2015-52

Journal ref: J. Geom. Anal. 28 (2018), no. 3, 2780-2811

Metrisability of three-dimensional path geometries

Authors: Maciej Dunajski, Michael Eastwood

Abstract: Given a projective structure on a three-dimensional manifold, we find explicit obstructions to the local existence of a Levi-Civita connection in the projective class. These obstructions are given by projectively invariant tensors algebraically constructed from the projective Weyl curvature. We show, by examples, that their vanishing is necessary but not sufficient for local metrisability. Given a projective structure on a three-dimensional manifold, we find explicit obstructions to the local existence of a Levi-Civita connection in the projective class. These obstructions are given by projectively invariant tensors algebraically constructed from the projective Weyl curvature. We show, by examples, that their vanishing is necessary but not sufficient for local metrisability. △ Less

Submitted 6 September, 2014; v1 submitted 9 August, 2014; originally announced August 2014.

Comments: 19 pages. In this version we analyse the projective structures arising from Einstein-Weyl geometries and make several other minor modifications and additions

MSC Class: 53A20

Skyrmions from gravitational instantons

Authors: Maciej Dunajski

Abstract: We propose a construction of Skyrme fields from holonomy of the spin connection of gravitational instantons. The procedure is implemented for Atiyah-Hitchin and Taub-NUT instantons. The skyrmion resulting from the Taub-NUT is given explicitly on the space of orbits of a left translation inside the whole isometry group. The domain of the Taub-NUT skyrmion is a trivial circle bundle over the Poinc… ▽ More We propose a construction of Skyrme fields from holonomy of the spin connection of gravitational instantons. The procedure is implemented for Atiyah-Hitchin and Taub-NUT instantons. The skyrmion resulting from the Taub-NUT is given explicitly on the space of orbits of a left translation inside the whole isometry group. The domain of the Taub-NUT skyrmion is a trivial circle bundle over the Poincare disc. The position of the skyrmion depends on the Taub-NUT mass parameter, and its topological charge is equal to two. △ Less

Submitted 30 November, 2012; v1 submitted 31 May, 2012; originally announced June 2012.

Comments: Major changes: The Atiyah-Hitchin manifold and the corresponding skyrmion discussed in more detail, gauge fixing procedure clarified, earlier errors corrected. Final version, to appear in Proceedings of the Royal Society A

Report number: DAMTP-12-44

Twistor geometry of a pair of second order ODEs

Authors: Stephen Casey, Maciej Dunajski, Paul Tod

Abstract: We discuss the twistor correspondence between path geometries in three dimensions with vanishing Wilczynski invariants and anti-self-dual conformal structures of signature $(2, 2)$. We show how to reconstruct a system of ODEs with vanishing invariants for a given conformal structure, highlighting the Ricci-flat case in particular. Using this framework, we give a new derivation of the Wilczynski in… ▽ More We discuss the twistor correspondence between path geometries in three dimensions with vanishing Wilczynski invariants and anti-self-dual conformal structures of signature $(2, 2)$. We show how to reconstruct a system of ODEs with vanishing invariants for a given conformal structure, highlighting the Ricci-flat case in particular. Using this framework, we give a new derivation of the Wilczynski invariants for a system of ODEs whose solution space is endowed with a conformal structure. We explain how to reconstruct the conformal structure directly from the integral curves, and present new examples of systems of ODEs with point symmetry algebra of dimension four and greater which give rise to anti--self--dual structures with conformal symmetry algebra of the same dimension. Some of these examples are $(2, 2)$ analogues of plane wave space--times in General Relativity. Finally we discuss a variational principle for twistor curves arising from the Finsler structures with scalar flag curvature. △ Less

Submitted 3 December, 2012; v1 submitted 19 March, 2012; originally announced March 2012.

Comments: Final version to appear in the Communications in Mathematical Physics. The procedure of recovering a system of torsion-fee ODEs from the heavenly equation has been clarified. The proof of Prop 7.1 has been expanded. Dedicated to Mike Eastwood on the occasion of his 60th birthday

Report number: DAMTP-2012-24

Abelian vortices from Sinh--Gordon and Tzitzeica equations

Authors: Maciej Dunajski

Abstract: It is shown that both the sinh--Gordon equation and the elliptic Tzitzeica equation can be interpreted as the Taubes equation for Abelian vortices on a CMC surface embedded in $\R^{2, 1}$, or on a surface conformally related to a hyperbolic affine sphere in $\R^3$. In both cases the Higgs field and the U(1) vortex connection are constructed directly from the Riemannian data of the surface correspo… ▽ More It is shown that both the sinh--Gordon equation and the elliptic Tzitzeica equation can be interpreted as the Taubes equation for Abelian vortices on a CMC surface embedded in $\R^{2, 1}$, or on a surface conformally related to a hyperbolic affine sphere in $\R^3$. In both cases the Higgs field and the U(1) vortex connection are constructed directly from the Riemannian data of the surface corresponding to the sinh--Gordon or the Tzitzeica equation. Radially symmetric solutions lead to vortices with a topological charge equal to one, and the connection formulae for the resulting third Painlevé transcendents are used to compute explicit values for the strength of the vortices. △ Less

Submitted 25 February, 2012; v1 submitted 30 December, 2011; originally announced January 2012.

Comments: 10 pages. Possible physical applications discussed + one reference added. Final version, to appear in Physics Letters B

Report number: DAMTP-2012-1

SU(2) solutions to self-duality equations in eight dimensions

Authors: Maciej Dunajski, Moritz Hoegner

Abstract: We consider the octonionic self-duality equations on eight-dimensional manifolds of the form $M_8=M_4\times \R^4$, where $M_4$ is a hyper-Kähler four-manifold. We construct explicit solutions to these equations and their symmetry reductions to the non-abelian Seiberg-Witten equations on $M_4$ in the case when the gauge group is SU(2). These solutions are singular for flat and Eguchi-Hanson backgro… ▽ More We consider the octonionic self-duality equations on eight-dimensional manifolds of the form $M_8=M_4\times \R^4$, where $M_4$ is a hyper-Kähler four-manifold. We construct explicit solutions to these equations and their symmetry reductions to the non-abelian Seiberg-Witten equations on $M_4$ in the case when the gauge group is SU(2). These solutions are singular for flat and Eguchi-Hanson backgrounds. For $M_4=\R\times {\mathcal G}$ with a cohomogeneity one hyper-Kähler metric, where ${\mathcal G}$ is a nilpotent (Bianchi II) Lie group, we find a solution which is singular only on a single-sided domain wall. This gives rise to a regular solution of the non-abelian Seiberg-Witten equations on a four-dimensional nilpotent Lie group which carries a regular conformally hyper-Kähler metric. △ Less

Submitted 21 April, 2012; v1 submitted 21 September, 2011; originally announced September 2011.

Comments: Dedicated to Jerzy Lukierski on the occasion of his 75th birthday. Final version, to appear in JGP

Report number: DAMTP-2011-75

Co--calibrated $G_2$ structure from cuspidal cubics

Authors: Boris Doubrov, Maciej Dunajski

Abstract: We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. This is an example of an SO(3) structure in seven dimensions. Cuspidal cubics an… ▽ More We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. This is an example of an SO(3) structure in seven dimensions. Cuspidal cubics and their higher degree analogues with constant projective curvature are characterised as integral curves of 7th order ODEs. Projective orbits of such curves are shown to be analytic continuations of Aloff--Wallach manifolds, and it is shown that only cubics lift to a complete family of contact rational curves in a projectivised cotangent bundle to a projective plane. △ Less

Submitted 26 January, 2012; v1 submitted 14 July, 2011; originally announced July 2011.

Comments: 18 pages, two figures. Final version - to appear in Annals of Global Analysis and Geometry

Report number: DAMTP-2011-54

Optical Metrics and Projective Equivalence

Authors: Stephen Casey, Maciej Dunajski, Gary Gibbons, Claude Warnick

Abstract: Trajectories of light rays in a static spacetime are described by unparametrised geodesics of the Riemannian optical metric associated with the Lorentzian spacetime metric. We investigate the uniqueness of this structure and demonstrate that two different observers, moving relative to one another, who both see the universe as static may determine the geometry of the light rays differently. More sp… ▽ More Trajectories of light rays in a static spacetime are described by unparametrised geodesics of the Riemannian optical metric associated with the Lorentzian spacetime metric. We investigate the uniqueness of this structure and demonstrate that two different observers, moving relative to one another, who both see the universe as static may determine the geometry of the light rays differently. More specifically, we classify Lorentzian metrics admitting more than one hyper--surface orthogonal time--like Killing vector and analyze the projective equivalence of the resulting optical metrics. These metrics are shown to be projectively equivalent up to diffeomorphism if the static Killing vectors generate a group $SL(2, \R)$, but not projectively equivalent in general. We also consider the cosmological $C$--metrics in Einstein--Maxwell theory and demonstrate that optical metrics corresponding to different values of the cosmological constant are projectively equivalent. △ Less

Submitted 30 March, 2011; v1 submitted 23 January, 2011; originally announced January 2011.

Comments: 18 pages, two figures, final version, to appear in Physical Review D

Report number: DAMTP-2011-23

Journal ref: Phys.Rev.D83:084047,2011

Cosmological Einstein-Maxwell Instantons and Euclidean Supersymmetry: Anti-Self-Dual Solutions

Authors: Maciej Dunajski, Jan Gutowski, Wafic Sabra, Paul Tod

Abstract: We classify super-symmetric solutions of the minimal $N=2$ gauged Euclidean supergravity in four dimensions. The solutions with anti-self-dual Maxwell field give rise to anti-self-dual Einstein metrics given in terms of solutions to the $SU(\infty)$ Toda equation and more general three-dimensional Einstein--Weyl structures. Euclidean Kastor--Traschen metrics are also characterised by the existence… ▽ More We classify super-symmetric solutions of the minimal $N=2$ gauged Euclidean supergravity in four dimensions. The solutions with anti-self-dual Maxwell field give rise to anti-self-dual Einstein metrics given in terms of solutions to the $SU(\infty)$ Toda equation and more general three-dimensional Einstein--Weyl structures. Euclidean Kastor--Traschen metrics are also characterised by the existence of a certain super covariantly constant spinor. △ Less

Submitted 30 November, 2010; v1 submitted 26 June, 2010; originally announced June 2010.

Comments: Final version - to appear in CQG. Small changes in the manuscript and the title

Report number: DAMTP-2010-50

Journal ref: Class.Quant.Grav.28:025007,2011

GL(2, R) structures, G_2 geometry and twistor theory

Authors: Maciej Dunajski, Michal Godlinski

Abstract: A GL(2, R) structure on an (n+1)-dimensional manifold is a smooth pointwise identification of tangent vectors with polynomials in two variables homogeneous of degree n. This, for even n=2k, defines a conformal structure of signature (k, k+1) by specifying the null vectors to be the polynomials with vanishing quadratic invariant. We focus on the case n=6 and show that the resulting conformal struct… ▽ More A GL(2, R) structure on an (n+1)-dimensional manifold is a smooth pointwise identification of tangent vectors with polynomials in two variables homogeneous of degree n. This, for even n=2k, defines a conformal structure of signature (k, k+1) by specifying the null vectors to be the polynomials with vanishing quadratic invariant. We focus on the case n=6 and show that the resulting conformal structure in seven dimensions is compatible with a conformal G_2 structure or its non-compact analogue. If a GL(2, R) structure arises on a moduli space of rational curves on a surface with self-intersection number 6, then certain components of the intrinsic torsion of the G_2 structure vanish. We give examples of simple 7th order ODEs whose solution curves are rational and find the corresponding G_2 structures. In particular we show that Bryant's weak G_2 holonomy metric on the homology seven-sphere SO(5)/SO(3) is the unique weak G_2 metric arising from a rational curve. △ Less

Submitted 21 February, 2012; v1 submitted 21 February, 2010; originally announced February 2010.

Comments: Some typos corrected in the transvectant formulae

Report number: DAMTP-2010-7

Journal ref: Quarterly Journal of Mathematics (2012) 63(1), 101-132

On the 7th order ODE with submaximal symmetry

Authors: Maciej Dunajski, Vladimir Sokolov

Abstract: We find a general solution to the unique 7th order ODE admitting ten dimensional group of contact symmetries. The integral curves of this ODE are rational contact curves in $\PP^3$ which give rise to rational plane curves of degree six. The moduli space of these curves is a real form of the homogeneous space $Sp(4)/SL(2)$. We find a general solution to the unique 7th order ODE admitting ten dimensional group of contact symmetries. The integral curves of this ODE are rational contact curves in $\PP^3$ which give rise to rational plane curves of degree six. The moduli space of these curves is a real form of the homogeneous space $Sp(4)/SL(2)$. △ Less

Submitted 19 February, 2011; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: 6 pages, 2 figures. Final version - to appear in JGP

Report number: DAMTP-2010-11

Four--Dimensional Metrics Conformal to Kahler

Authors: Maciej Dunajski, Paul Tod

Abstract: We derive some necessary conditions on a Riemannian metric $(M, g)$ in four dimensions for it to be locally conformal to Kähler. If the conformal curvature is non anti--self--dual, the self--dual Weyl spinor must be of algebraic type $D$ and satisfy a simple first order conformally invariant condition which is necessary and sufficient for the existence of a Kähler metric in the conformal class.… ▽ More We derive some necessary conditions on a Riemannian metric $(M, g)$ in four dimensions for it to be locally conformal to Kähler. If the conformal curvature is non anti--self--dual, the self--dual Weyl spinor must be of algebraic type $D$ and satisfy a simple first order conformally invariant condition which is necessary and sufficient for the existence of a Kähler metric in the conformal class. In the anti--self--dual case we establish a one to one correspondence between Kähler metrics in the conformal class and non--zero parallel sections of a certain connection on a natural rank ten vector bundle over $M$. We use this characterisation to provide examples of ASD metrics which are not conformal to Kähler. We establish a link between the `conformal to Kähler condition' in dimension four and the metrisability of projective structures in dimension two. A projective structure on a surface $U$ is metrisable if and only if the induced (2, 2) conformal structure on $M=TU$ admits a Kähler metric or a para-Kähler metric. △ Less

Submitted 15 October, 2009; v1 submitted 15 January, 2009; originally announced January 2009.

Comments: A new example added. Final version, to appear in Mathematical Proceedings of the Cambridge Philosophical Society

Report number: DAMTP-2009-3

Interpolating Dispersionless Integrable System

Authors: Maciej Dunajski

Abstract: We introduce a dispersionless integrable system which interpolates between the dispersionless Kadomtsev-Petviashvili equation and the hyper-CR equation. The interpolating system arises as a symmetry reduction of the anti--self--dual Einstein equations in (2, 2) signature by a conformal Killing vector whose self--dual derivative is null. It also arises as a special case of the Manakov-Santini int… ▽ More We introduce a dispersionless integrable system which interpolates between the dispersionless Kadomtsev-Petviashvili equation and the hyper-CR equation. The interpolating system arises as a symmetry reduction of the anti--self--dual Einstein equations in (2, 2) signature by a conformal Killing vector whose self--dual derivative is null. It also arises as a special case of the Manakov-Santini integrable system. We discuss the corresponding Einstein--Weyl structures. △ Less

Submitted 7 June, 2008; v1 submitted 8 April, 2008; originally announced April 2008.

Comments: 11 pages. New title, some errors corrected, section 5 removed. Final version, to appear in J. Phys. A

Report number: Preprint DAMTP-2008-27

Journal ref: J.Phys.A41:315202,2008

Metrisability of two-dimensional projective structures

Authors: Robert L. Bryant, Maciej Dunajski, Michael Eastwood

Abstract: We carry out the programme of R. Liouville \cite{Liouville} to construct an explicit local obstruction to the existence of a Levi--Civita connection within a given projective structure $[Γ]$ on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of… ▽ More We carry out the programme of R. Liouville \cite{Liouville} to construct an explicit local obstruction to the existence of a Levi--Civita connection within a given projective structure $[Γ]$ on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of $[Γ]$ or as a weighted scalar projective invariant of the projective class. If the obstruction vanishes we find the sufficient conditions for the existence of a metric in the real analytic case. In the generic case they are expressed by the vanishing of two invariants of order 6 in the connection. In degenerate cases the sufficient obstruction is of order at most 8. △ Less

Submitted 14 February, 2010; v1 submitted 1 January, 2008; originally announced January 2008.

Comments: Minor corrections. Final version published in the Journal of Differential Geometry

Report number: DAMTP-2007-127

Multidimensional integrable systems and deformations of Lie algebra homomorphisms

Authors: Maciej Dunajski, James D. E. Grant, Ian A. B. Strachan

Abstract: We use deformations of Lie algebra homomorphisms to construct deformations of dispersionless integrable systems arising as symmetry reductions of anti--self--dual Yang--Mills equations with a gauge group Diff$(S^1)$. We use deformations of Lie algebra homomorphisms to construct deformations of dispersionless integrable systems arising as symmetry reductions of anti--self--dual Yang--Mills equations with a gauge group Diff$(S^1)$. △ Less

Submitted 18 January, 2008; v1 submitted 19 February, 2007; originally announced February 2007.

Comments: 14 pages. An example of a reduction to the Beltrami equation added. New title. Final version, published in JMP

Report number: DAMTP-2007-8

Journal ref: J. Math. Phys. 48, 093502 (2007)

Anti-Self-Dual Conformal Structures in Neutral Signature

Authors: Maciej Dunajski, Simon West

Abstract: We review the subject of four dimensional anti-self-dual conformal structures with signature (+ + - -). Both local and global questions are discussed. Most of the material is well known in the literature and we present it in a way which underlines the connection with integrable systems. Some of the results - e.g. the Lax pair characterisation of the scalar-flat Kahler condition and a twistor const… ▽ More We review the subject of four dimensional anti-self-dual conformal structures with signature (+ + - -). Both local and global questions are discussed. Most of the material is well known in the literature and we present it in a way which underlines the connection with integrable systems. Some of the results - e.g. the Lax pair characterisation of the scalar-flat Kahler condition and a twistor construction of a conformal structure with twisting null Killing vector - are new. △ Less

Submitted 15 July, 2010; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 48 pages, 1 figure, contribution to the special volume `Recent developments in pseudo-Riemannian Geometry', ESI-Series on Mathematics and Physics. Revised manuscript with added references. A mistake pointed out by Gueo Grantcharov corrected

Report number: DAMTP-2006-90

Moduli spaces with external fields

Authors: Maciej Dunajski, Marcin Kaźmierczak

Abstract: We consider the geometric structures on the moduli space of static finite energy solutions to the 2+1 dimensional unitary chiral model with the Wess-Zummino-Witten (WZW) term. It is shown that the magnetic field induced by the WZW term vanishes when restricted to the moduli spaces constructed from the Grassmanian embeddings, so that the slowly moving solitons can in some cases be approximated by… ▽ More We consider the geometric structures on the moduli space of static finite energy solutions to the 2+1 dimensional unitary chiral model with the Wess-Zummino-Witten (WZW) term. It is shown that the magnetic field induced by the WZW term vanishes when restricted to the moduli spaces constructed from the Grassmanian embeddings, so that the slowly moving solitons can in some cases be approximated by a geodesic motion on a space of rational maps from $\CP^1$ to the Grassmanian. △ Less

Submitted 15 March, 2007; v1 submitted 19 October, 2006; originally announced October 2006.

Comments: 19 pages. Final version, to appear in the Journal of Geometry and Physics

Report number: DAMTP-2006-97

Journal ref: J.Geom.Phys.57:1883-1894,2007

Anti-self-dual conformal structures with null Killing vectors from projective structures

Authors: Maciej Dunajski, Simon West

Abstract: Using twistor methods, we explicitly construct all local forms of four--dimensional real analytic neutral signature anti--self--dual conformal structures $(M,[g])$ with a null conformal Killing vector. We show that $M$ is foliated by anti-self-dual null surfaces, and the two-dimensional leaf space inherits a natural projective structure. The twistor space of this projective structure is the quot… ▽ More Using twistor methods, we explicitly construct all local forms of four--dimensional real analytic neutral signature anti--self--dual conformal structures $(M,[g])$ with a null conformal Killing vector. We show that $M$ is foliated by anti-self-dual null surfaces, and the two-dimensional leaf space inherits a natural projective structure. The twistor space of this projective structure is the quotient of the twistor space of $(M,[g])$ by the group action induced by the conformal Killing vector. We obtain a local classification which branches according to whether or not the conformal Killing vector is hyper-surface orthogonal in $(M, [g])$. We give examples of conformal classes which contain Ricci--flat metrics on compact complex surfaces and discuss other conformal classes with no Ricci--flat metrics. △ Less

Submitted 4 October, 2006; v1 submitted 17 January, 2006; originally announced January 2006.

Comments: 43 pages, 4 figures. Theorem 2 has been improved: ASD metrics are given in terms of general projective structures without needing to choose special representatives of the projective connection. More examples (primary Kodaira surface, neutral Fefferman structure) have been included. Algebraic type of the Weyl tensor has been clarified. Final version, to appear in Commun Math Phys

Report number: DAMTP-2006-9

Journal ref: Commun.Math.Phys.272:85-118,2007

A dispersionless integrable system associated to Diff$(S^1)$ gauge theory

Authors: Maciej Dunajski, George Sparling

Abstract: A dispersionless integrable system underlying 2+1-dimensional hyperCR Einstein--Weyl structures is obtained as a symmetry reduction of the anti--self--dual Yang--Mills equations with the gauge group Diff$(S^1)$. Two special classes of solutions are obtained from well known soliton equations by embedding SU(1,1) in ${Diff}(S^1)$. A dispersionless integrable system underlying 2+1-dimensional hyperCR Einstein--Weyl structures is obtained as a symmetry reduction of the anti--self--dual Yang--Mills equations with the gauge group Diff$(S^1)$. Two special classes of solutions are obtained from well known soliton equations by embedding SU(1,1) in ${Diff}(S^1)$. △ Less

Submitted 10 June, 2005; v1 submitted 13 March, 2005; originally announced March 2005.

Comments: Final version, to appear in Physics Letters A

Report number: DAMTP-2005-26

Journal ref: Phys.Lett. A343 (2005) 129-132

Paraconformal geometry of $n$th order ODEs, and exotic holonomy in dimension four

Authors: Maciej Dunajski, Paul Tod

Abstract: We characterise $n$th order ODEs for which the space of solutions $M$ is equipped with a particular paraconformal structure in the sense of \cite{BE}, that is a splitting of the tangent bundle as a symmetric tensor product of rank-two vector bundles. This leads to the vanishing of $(n-2)$ quantities constructed from of the ODE. If $n=4$ the paraconformal structure is shown to be equivalent to… ▽ More We characterise $n$th order ODEs for which the space of solutions $M$ is equipped with a particular paraconformal structure in the sense of \cite{BE}, that is a splitting of the tangent bundle as a symmetric tensor product of rank-two vector bundles. This leads to the vanishing of $(n-2)$ quantities constructed from of the ODE. If $n=4$ the paraconformal structure is shown to be equivalent to the exotic ${\cal G}_3$ holonomy of Bryant. If $n=4$, or $n\geq 6$ and $M$ admits a torsion--free connection compatible with the paraconformal structure then the ODE is trivialisable by point or contact transformations respectively. If $n=2$ or 3 $M$ admits an affine paraconformal connection with no torsion. In these cases additional constraints can be imposed on the ODE so that $M$ admits a projective structure if $n=2$, or an Einstein--Weyl structure if $n=3$. The third order ODE can in this case be reconstructed from the Einstein--Weyl data. △ Less

Submitted 30 December, 2005; v1 submitted 24 February, 2005; originally announced February 2005.

Comments: Theorem 1.2 strengthened and its proof clarified. Theorem 1.3 generalised to all dimensions, updated references, an example of 5th order ODE on the space of conics in $CP^2$ added, connection with Doubrov-Wilczynski invariants clarified. Final version, to appear in Journal of Geometry and Physics

Report number: DAMTP-2005-20

Journal ref: J.Geom.Phys. 56 (2006) 1790-1809

Reduced dynamics of Ward solitons

Authors: Maciej Dunajski, Nicholas S. Manton

Abstract: The moduli space of static finite energy solutions to Ward's integrable chiral model is the space $M_N$ of based rational maps from $\CP^1$ to itself with degree $N$. The Lagrangian of Ward's model gives rise to a Kähler metric and a magnetic vector potential on this space. However, the magnetic field strength vanishes, and the approximate non--relativistic solutions to Ward's model correspond t… ▽ More The moduli space of static finite energy solutions to Ward's integrable chiral model is the space $M_N$ of based rational maps from $\CP^1$ to itself with degree $N$. The Lagrangian of Ward's model gives rise to a Kähler metric and a magnetic vector potential on this space. However, the magnetic field strength vanishes, and the approximate non--relativistic solutions to Ward's model correspond to a geodesic motion on $M_N$. These solutions can be compared with exact solutions which describe non--scattering or scattering solitons. △ Less

Submitted 12 April, 2005; v1 submitted 5 November, 2004; originally announced November 2004.

Comments: Final version, to appear in Nonlinearity

Report number: DAMTP-2004-125

Journal ref: Nonlinearity 18 (2005) 1677-1689

Oriented straight lines and twistor correspondence

Authors: Maciej Dunajski

Abstract: The tangent bundle to the $n$--dimensional sphere is the space of oriented lines in $\R^{n+1}$. We characterise the smooth sections of $TS^n\to S^n$ which correspond to points in $\R^{n+1}$ as gradients of eigenfunctions of the Laplacian on $S^n$ with eigenvalue $n$. The special case of $n=6$ and its connection with almost complex geometry is discussed. The tangent bundle to the $n$--dimensional sphere is the space of oriented lines in $\R^{n+1}$. We characterise the smooth sections of $TS^n\to S^n$ which correspond to points in $\R^{n+1}$ as gradients of eigenfunctions of the Laplacian on $S^n$ with eigenvalue $n$. The special case of $n=6$ and its connection with almost complex geometry is discussed. △ Less

Submitted 23 November, 2004; v1 submitted 10 August, 2004; originally announced August 2004.

Comments: 8 pages, one figure. Final version, to appear in Geometriae Dedicata

Journal ref: Geometriae Dedicata 112 (2005) 243--251.

Solitons and admissible families of rational curves in twistor spaces

Authors: M. Dunajski, S. Gindikin, L. J. Mason

Abstract: It is well known that twistor constructions can be used to analyse and to obtain solutions to a wide class of integrable systems. In this article we express the standard twistor constructions in terms of the concept of an admissible family of rational curves in certain twistor spaces. Examples of of such families can be obtained as subfamilies of a simple family of rational curves using standard… ▽ More It is well known that twistor constructions can be used to analyse and to obtain solutions to a wide class of integrable systems. In this article we express the standard twistor constructions in terms of the concept of an admissible family of rational curves in certain twistor spaces. Examples of of such families can be obtained as subfamilies of a simple family of rational curves using standard operations of algebraic geometry. By examination of several examples, we give evidence that this construction is the basis of the construction of many of the most important solitonic and algebraic solutions to various integrable differential equations of mathematical physics. This is presented as evidence for a principal that, in some sense, all soliton-like solutions should be constructable in this way. △ Less

Submitted 1 October, 2004; v1 submitted 12 March, 2004; originally announced March 2004.

Comments: 15 pages, Abstract and introduction rewritten to clarify the objectives of the paper. This is the final version which will appear in Nonlinearity

Report number: DAMTP 2004 29 MSC Class: 53C28; 53C80

Journal ref: Nonlinearity 18 (2005) 543-557.

Null Kähler structures, Symmetries and Integrability

Authors: Maciej Dunajski, Maciej Przanowski

Abstract: We review the integrable systems which arise as symmetry reductions of Plebanski's heavenly equations, and their generalisations. We also show that all four-dimensional null Kahler-Einstein (or type N hyper-heavenly) metrics with symmetry can be found from solutions to a variable coefficient generalisation of the dispersionless Kadomtsev-Petviashvili equation. We review the integrable systems which arise as symmetry reductions of Plebanski's heavenly equations, and their generalisations. We also show that all four-dimensional null Kahler-Einstein (or type N hyper-heavenly) metrics with symmetry can be found from solutions to a variable coefficient generalisation of the dispersionless Kadomtsev-Petviashvili equation. △ Less

Submitted 21 June, 2006; v1 submitted 1 October, 2003; originally announced October 2003.

Comments: Text of a talk given at the conference on "Mathematical Physics, General Relativity and Cosmology", held in honour of Professor Jerzy Plebanski. To appear in the Proceedings

Report number: DAMTP-2003-74

Journal ref: Topics in Mathematical Physics, General Relativity and Cosmology in Honor of Jerzy Plebanski, ed. Hugo Garcia-Compean, Bogdan Mielnik, Merced Montesinos & Maciej Przanowski. World Scientific 2006.

Scalar--Flat Lorentzian Einstein--Weyl Spaces

Authors: David M. J. Calderbank, Maciej Dunajski

Abstract: We find all three-dimensional Einstein--Weyl spaces with the vanishing scalar curvature We find all three-dimensional Einstein--Weyl spaces with the vanishing scalar curvature △ Less

Submitted 22 April, 2001; originally announced April 2001.

Comments: 4 pages

MSC Class: 53A30;83C80

Journal ref: Class.Quant.Grav. 18 (2001) L77-L80

Anti-self-dual four-manifolds with a parallel real spinor

Authors: Maciej Dunajski

Abstract: Anti-self-dual metrics in the $(++--)$ signature which admit a covariantly constant real spinor are studied. It is shown that finding such metrics reduces to solving a fourth order integrable PDE, and some examples are given. The corresponding twistor space is characterised by existence of a preferred non-zero real section of $κ^{-1/4}$, where $κ$ is the canonical line bundle of the twistor spac… ▽ More Anti-self-dual metrics in the $(++--)$ signature which admit a covariantly constant real spinor are studied. It is shown that finding such metrics reduces to solving a fourth order integrable PDE, and some examples are given. The corresponding twistor space is characterised by existence of a preferred non-zero real section of $κ^{-1/4}$, where $κ$ is the canonical line bundle of the twistor space It is demonstrated that if the parallel spinor is preserved by a Killing vector, then the fourth order PDE reduces to the dispersionless Kadomtsev--Petviashvili equation and its linearisation. Einstein--Weyl structures on the space of trajectories of the symmetry are characterised by the existence of a parallel weighted null vector. △ Less

Submitted 18 October, 2001; v1 submitted 28 February, 2001; originally announced February 2001.

Comments: 18 pages, Final version, to appear in Proc. Roy. Soc. Lond. A

MSC Class: 53C28;53A30

Journal ref: Proc.Roy.Soc.Lond. A458 (2002) 1205-1222

The Twisted Photon Associated to Hyper-Hermitian Four-Manifolds

Authors: Maciej Dunajski

Abstract: The Lax formulation of the hyper-Hermiticity condition in four dimensions is used to derive a potential that generalises Plebanski's second heavenly equation for hyper-Kahler 4-manifolds. A class of examples of hyper-Hermitian metrics which depend on two arbitrary functions of two complex variables is given. The twistor theory of four-dimensional hyper-Hermitian manifolds is formulated as a comb… ▽ More The Lax formulation of the hyper-Hermiticity condition in four dimensions is used to derive a potential that generalises Plebanski's second heavenly equation for hyper-Kahler 4-manifolds. A class of examples of hyper-Hermitian metrics which depend on two arbitrary functions of two complex variables is given. The twistor theory of four-dimensional hyper-Hermitian manifolds is formulated as a combination of the Nonlinear Graviton Construction with the Ward transform for anti-self-dual Maxwell fields. △ Less

Submitted 31 August, 1998; originally announced August 1998.

Comments: 12 pages, LaTex, no figures

MSC Class: 53B35; 53C55

Journal ref: J.Geom.Phys. 30 (1999) 266-281