BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Maciej Dunajski contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
These notes are based on lecture courses I gave to third year mathematics students at Cambridge. They could form a basis of an elementary one--term lecture course on integrable systems covering the Arnold-Liouville theorem, inverse scattering transform, Hamiltonian methods in soliton theory and Lie point symmetries. No knowledge beyond basic calculus and ordinary differential equation is assumed.
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.
We consider two multi-dimensional generalisations of the dispersionless Kadomtsev-Petviashvili (dKP) equation, both allowing for arbitrary dimensionality, and non-linearity. For one of these generalisations, we characterise all solutions which are constant on a central quadric. The quadric ansatz leads to a second order ODE which is equivalent to Painleve I or II for the dKP equation, but fails to pass the Painlevé test in higher dimensions. The second generalisation of the dKP equation leads to a class of Einstein-Weyl structures in an arbitrary dimension, which is characterised by the existence of a weighted parallel vector field, together with further holonomy reduction. We construct and characterise an explicit new family of Einstein-Weyl spaces belonging to this class, and depending on one arbitrary function of one variable.
We construct several examples of compactifications of Einstein metrics. We show that the Eguchi--Hanson instanton admits a projective compactification which is non--metric, and that a metric cone over any (pseudo)--Riemannian manifolds admits a metric projective compactification. We construct a para--$c$--projective compactification of neutral signature Einstein metrics canonically defined on certain rank--$n$ affine bundles $M$ over $n$-dimensional manifolds endowed with projective structures.
We construct isometric and conformally isometric embeddings of some gravitational instantons in $\mathbb{R}^8$ and $\mathbb{R}^7$. In particular we show that the embedding class of the Einstein--Maxwell instanton due to Burns is equal to $3$. For $\mathbb{CP}^2$, Eguchi--Hanson and anti-self-dual Taub-NUT we obtain upper and lower bounds on the embedding class.
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.
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.
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.
We provide an affirmative answer to a question posed by Tod \cite{Tod:1995b}, and construct all four-dimensional Kahler metrics with vanishing scalar curvature which are invariant under the conformal action of Bianchi V group. The construction is based on the combination of twistor theory and the isomonodromic problem with two double poles. The resulting metrics are non-diagonal in the left-invariant basis and are explicitly given in terms of Bessel functions and their integrals. We also make a connection with the LeBrun ansatz, and characterise the associated solutions of the SU(\infty) Toda equation by the existence a non-abelian two-dimensional group of point symmetries.
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.
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.
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.