Dunajski-Tod Theorem Overview

• The Dunajski-Tod theorem is a criterion that uses explicit invariants from the Weyl tensor and its derivatives to test if an anti–self-dual or self–dual metric is conformally Einstein.
• It distinguishes Bach–flat metrics in conformal gravity, enabling the classification of gravitational instantons and uncovering non–conformally Einstein solutions.
• Its framework extends to projective-to-conformal constructions and integrable hierarchies, linking geometric analysis with hydrodynamic reductions and Painlevé equations.

The Dunajski–Tod theorem provides a rigorous criterion for determining when an anti–self-dual (ASD) or self-dual (SD) conformal metric is conformally Einstein. This is of fundamental interest in both conformal geometry and integrable systems, particularly in the context of conformal gravity, the theory of integrable hierarchies, and the construction of conformal metrics from projective data. The theorem establishes conditions—expressed in terms of explicit invariants constructed from the Weyl tensor and its covariant derivatives—that must be satisfied for a metric to belong to the conformal class of an Einstein metric. These criteria underpin significant developments in the geometry of instantons, the classification of Bach–flat solutions, and the implementation of Fefferman-type constructions.

1. Statement and Formulation of the Dunajski–Tod Theorem

The Dunajski–Tod theorem asserts that a Bach–flat Riemannian metric $(M,g)$ with anti–self-dual Weyl tensor admits an Einstein metric in its conformal class if and only if two explicit invariants vanish: a scalar $\mathcal{P}$ and a symmetric tensor $\mathcal{T}_{\mu\nu}$ (Corral et al., 13 Oct 2025). These are given by

$$\mathcal{P} = 4 \nabla^\mu W_{\alpha\beta\gamma\mu} \nabla_\nu W^{\alpha\beta\gamma\nu} - V_\mu V^\mu\,W_{\alpha\beta\gamma\delta}W^{\alpha\beta\gamma\delta},$$

$$\mathcal{T}_{\mu\nu} = S_{\mu\nu} + \nabla_\mu V_\nu + V_\mu V_\nu - \frac{1}{2}g_{\mu\nu}V_\lambda V^\lambda,$$

where:

• $W_{\alpha\beta\gamma\delta}$ is the Weyl tensor,
• $$W^2 = W_{\alpha\beta\gamma\delta} W^{\alpha\beta\gamma\delta}$$,
• $$V^\mu = \frac{4}{W^2} W^{\sigma\mu}{}_{\lambda\rho}\, \nabla^\nu W^{\lambda\rho}{}_{\sigma\nu}$$,
• $S_{\mu\nu}$ is the Schouten tensor.

If both $\mathcal{P} = 0$ and $\mathcal{T}_{\mu\nu} = 0$, then the metric $g$ is conformally Einstein; otherwise, it is not. This theorem gives a necessary and sufficient test for the existence of an Einstein representative in the conformal class.

2. Geometric and Physical Context: ASD Metrics and Conformal Gravity

In four-dimensional conformal gravity—which is governed by the vanishing of the Bach tensor—every Einstein metric (and any metric conformally related to it) is a solution (Corral et al., 13 Oct 2025). However, there also exists a class of Bach–flat metrics that are not conformally Einstein. The Dunajski–Tod theorem is the central tool for establishing this distinction.

For gravitational instantons, especially those with anti–self-dual (or self-dual) Weyl tensor, this criterion takes on physical significance. Examples include generalizations of the Kerr–NUT–AdS family and Riegert metrics in conformal gravity, where the non–conformally Einstein character signals the presence of distinct linear modes not found in Einstein solutions. The theorem's explicit invariants are computed (as functions of parameters in the metric, such as “b” in the extended Kerr–NUT–AdS solution) to verify the absence or presence of an Einstein representative.

3. Application: Verifying Non–Conformally Einstein Instantons

The practical use of the Dunajski–Tod theorem in recent literature is exemplified by the study of non–conformally Einstein gravitational instantons (Corral et al., 13 Oct 2025). For instance, in the analysis of the one-parameter extension of the Kerr–NUT–AdS metric in conformal gravity, the scalar invariant $\mathcal{P}$ is found to be proportional to $b^{2}$ (with $b$ an integration constant), and the tensor $\mathcal{T}_{\mu\nu}$ is proportional to the metric itself but nonzero as long as $b \neq 0$. These calculations show that, for nonzero $b$, both conditions fail—establishing that the metric cannot be related to an Einstein metric by a conformal transformation.

This result is essential in distinguishing genuine solutions of conformal gravity that are not simply Weyl rescalings of Einstein spaces and confirms the existence of new gravitational instantons with non-Einstein character.

4. The Dunajski–Tod Equation and Integrable Hierarchies

The Dunajski–Tod equation arises as the governing equation for local ASD vacuum metrics possessing a conformal Killing vector (Bogdanov, 2012). It is integrable and can be written, after a series of reductions (notably an interpolating reduction and a Legendre-type transformation on generalized dispersionless 2DTL hierarchies), in the following form: $$(n F_{y} + F_{yr})(n F_{x} - F_{xT}) - \left(\frac{1}{2}F - F_{TT}\right)F_{xy} = 4e^{2pT},$$ where $F$ is a potential related to the Legendre transformation, and $p$ depends on parameters of the reduction. The existence and integrability of this equation are closely related to the underlying geometric structures elucidated by the Dunajski–Tod theorem.

5. Projective–to–Conformal Constructions and Twistor Spinors

Fefferman-type constructions based on the inclusion ${\rm SL}(n+1) \subset {\rm Spin}(n+1,n+1)$ systematically induce split-signature $(n,n)$-conformal spin structures from $n$-dimensional projective geometry (Hammerl et al., 2015, Hammerl et al., 2011). These constructions, recognizing the equivalence with Patterson–Walker metrics, extend the essence of the Dunajski–Tod theorem to higher dimensions and parabolic geometric settings.

A key feature of such constructions is the existence of distinguished geometric objects, specifically pure twistor spinors and light-like conformal Killing fields, whose properties are tightly controlled by the projective data and characterized via tractor calculus. The splitting of the tractor bundle into maximally isotropic components, as well as the integrability conditions on the Weyl curvature (e.g., $v^{a}w^{c}W_{abcd}=0$ for $v, w$ in the kernel of the pure spinor), ensures that the resulting conformal structure retains tracks of the original projective geometry.

6. Connections to Hydrodynamic Reductions and Painlevé Equations

In the context of multidimensional integrable models, solutions to key equations such as the Boyer–Finley (BF) and dispersionless Kadomtsev–Petviashvili (dKP) equations are classified via hydrodynamic reductions combined with the central quadric ansatz (Ferapontov et al., 2012). The Dunajski–Tod theorem is intimately connected with these reductions, which reveal that appropriate similarity reductions of multidimensional dispersionless PDEs yield all six Painlevé equations (PI–PVI). This demonstrates the geometric and analytic underpinnings of the theorem within the larger landscape of integrable systems and their reductions.

7. Significance and Implications in Geometric Analysis and Mathematical Physics

The Dunajski–Tod theorem underlines that not all Bach–flat metrics are conformally Einstein, significantly expanding the solution space of conformal gravity beyond Einstein or conformally Einstein geometries. Its conditions play a decisive role in:

• Classifying gravitational instantons,
• Understanding the global structure and conserved charges of non–Einstein solutions,
• Relating integrable hierarchies to geometric data (such as metrics admitting twistor spinors and Killing fields),
• Establishing the geometric links between projective and conformal structures via parabolic geometry and tractor calculus.

These insights enable new constructions and analyses in general relativity, conformal gravity, and mathematical physics, particularly in the study of self–duality, integrable models, and geometric quantization. The theorem also provides a rigorous mathematical foundation for distinguishing between instantons that may dominate nonperturbative sums and those that arise merely through conformal rescaling.

Mathematical Object	Role in Dunajski–Tod Theorem	Appearance in Data
Weyl tensor ($W_{\mu\nu\lambda\rho}$)	Fundamental in the scalar and tensor invariants	Used in both $\mathcal{P}$ and $\mathcal{T}_{\mu\nu}$
Twistor spinor	Parallelism characterizes conformal geometry	Key object in Fefferman-type constructions (Hammerl et al., 2015)
Hydrodynamic reduction	Classification method for integrable PDEs	Underpins link to Painlevé equations (Ferapontov et al., 2012)

The theorem remains central in geometric analysis, providing explicit, computable invariants for checking conformal Einstein structures within a broad class of Bach–flat, ASD (or SD) metrics. Its applications continue to shape research in conformal geometry, integrable systems, and the theory of gravitational instantons.