--- title: LeBrun-Tod Ansatz in Ricci-Flat Metrics url: https://www.emergentmind.com/topics/lebrun-tod-ansatz type: topic --- # LeBrun-Tod Ansatz in Ricci-Flat Metrics Searching arXiv for recent and foundational papers on the LeBrun–Tod ansatz and closely related constructions. The LeBrun–Tod ansatz is a local description of a symmetry-reduced class of \(4\)-dimensional metrics in which special geometry is encoded by a lower-dimensional PDE. In the formulation emphasized by recent work on toric Ricci-flat metrics, it appears as the local description of those toric Ricci-flat \(4\)-metrics that are Hermitian but non-Kähler, namely the Type \(\mathrm{II}\) case in which \(W^+\) has one simple eigenvalue everywhere and the metric is locally conformally Kähler but non-Kähler [2507.15284]. In this regime, the ansatz converts a nonlinear harmonic-map/Ricci-flat problem into an explicit harmonic-function description via a reduced Toda equation and Ward’s Bäcklund transformation; in adjacent literature it also sits near LeBrun’s hyperbolic ansatz for scalar-flat Kähler metrics with circle symmetry and the \(SU(\infty)\) Toda framework for scalar-flat Kähler metrics with symmetry [2507.15284], [2312.17707], [1010.2963]. ## 1. Geometric hypotheses and conformal-Kähler origin In the Type \(\mathrm{II}\) setting of toric Ricci-flat geometry, one starts with a Ricci-flat metric \(g\) such that \(W^+\) has one simple eigenvalue everywhere, equivalently \(g\) is locally conformally Kähler but non-Kähler [2507.15284]. The conformal Kähler representative recalled there is Derdziński’s metric \[ g_K=(2\sqrt{6}|W^+|_g)^{2/3}g, \] which is locally Kähler and extremal, with scalar curvature \[ |s_{g_K}|=(2\sqrt{6}|W^+|_g)^{1/3}. \] The vector field \[ X_1:=J\nabla_{g_K}s_{g_K} \] is then a Hamiltonian Killing field [2507.15284]. These hypotheses are the immediate geometric input for the LeBrun–Tod ansatz in this context. The paper places the ansatz under the conditions: \(4\)-dimensional Ricci-flat, Type \(\mathrm{II}\), locally Kähler after conformal rescaling, with a Hamiltonian Killing field, and, in the toric setting, with an additional commuting Killing field [2507.15284]. The second Killing field preserves the conformal factor and the Kähler structure, hence is holomorphic and commutes with \(X_1\) [2507.15284]. A useful point of orientation is that this is not the same as the hyperbolic specialization of LeBrun’s scalar-flat Kähler construction. In that broader circle-invariant scalar-flat Kähler framework one writes \[ g = W^{-1}(d\tau+\eta)^2 + W\,dx_1^2 + We^u(dx_2^2+dx_3^2), \] with a compatibility equation for \((u,W)\), and the hyperbolic specialization \(u=\log(2x_1)\) replaces the nonlinear Toda-type structure by the linear equation \(\Delta_h V=0\) on hyperbolic \(3\)-space [2312.17707]. This clarifies a common conflation: the LeBrun–Tod ansatz is part of the same general circle-invariant scalar-flat Kähler framework, but the hyperbolic branch is a special integrable subfamily in which the Toda equation is bypassed [2312.17707]. ## 2. Local metric form and the reduced Toda equation In the notation used for the Type \(\mathrm{II}\) case, the LeBrun–Tod ansatz gives locally \[ g=V(d\xi^2+e^u(dx_2^2+dx_3^2))+V^{-1}\eta^2, \] where \(u=u(\xi,x_2,x_3)\), \(V\), and a connection \(1\)-form \(\eta\) satisfy \[ e^u_{\xi\xi}+u_{x_2x_2}+u_{x_3x_3}=0, \] and \[ V=-12\xi+6\xi^2u_{\xi}. \] The paper also records the scaled version, obtained by replacing \(X_1\) by \(\sqrt{6k}X_1\), \[ V=\frac{1}{k}(-2\xi+6\xi^2u_\xi), \] and remarks that in the global ALF/AF setting the parameter \(k\) is chosen so that \(V\to 1\) at infinity [2507.15284]. With the additional commuting toric symmetry, the coordinates may be arranged so that \[ X_1=\partial_t,\qquad X_2=\partial_{x_3},\qquad \eta=dt-Fdx_3, \] with \(u,V,F\) independent of \(x_3\) [2507.15284]. The Toda equation then reduces to \[ e^u_{\xi\xi}+u_{x_2x_2}=0. \] This reduced form is the analytic core of the ansatz in the toric Ricci-flat Type \(\mathrm{II}\) regime. It isolates a nonlinear PDE that is still explicitly tractable after symmetry reduction. A plausible implication is that the geometric content of the Hermitian non-Kähler condition is unusually rigid once a torus action is imposed, because the full metric is forced into a Toda system with one effective spatial variable removed. ## 3. Ward’s transformation and the axisymmetric harmonic-map description The decisive step in the toric Ricci-flat application is the equivalence between the reduced LeBrun–Tod system and the axisymmetric Laplace equation via Ward’s Bäcklund transformation [2507.15284]. Given an axisymmetric harmonic function \(U(\rho,z)\), one defines \[ \xi=\frac12\rho U_{\rho},\qquad x_2=-\frac12U_z. \] On the region where \[ \frac{\rho}{4}(U_{zz}^2+U_{\rho z}^2)>0, \] the pair \((\xi,x_2)\) gives local coordinates and \[ u=\log\rho^2 \] solves the reduced Toda equation; conversely, every local solution of the reduced Toda equation arises this way [2507.15284]. Combined with the toric form of the LeBrun–Tod ansatz, this yields the explicit axisymmetric metric form \[ g=e^{2\nu}(d\rho^2+dz^2)+V\rho^2dx_3^2+V^{-1}(dt-Fdx_3)^2. \] In this form, the associated harmonic map is \[ \Phi=\frac{1}{\rho}\left(\begin{matrix} V\rho^2+V^{-1}F^2 & V^{-1}F\\ V^{-1}F & V^{-1} \end{matrix}\right), \] after taking \[ \phi_1=x_3,\qquad \phi_2=-t. \] Thus, in the LeBrun–Tod regime, the axisymmetric harmonic map is determined explicitly by one axisymmetric harmonic function \(U\) [2507.15284]. This is the central role of the ansatz in that work: it converts a nonlinear harmonic-map/Ricci-flat problem into an explicit harmonic-function description whenever the metric is Hermitian non-Kähler [2507.15284]. In the Weyl–Papapetrou formulation of a regular integrable toric Ricci-flat metric, \[ g=e^{2\nu}(d\rho^2+dz^2)+\rho \Phi, \] the harmonic map \(\Phi:\mathbb H^\circ\to\mathcal H\) satisfies \[ (\rho\Phi^{-1}\Phi_\rho)_\rho+(\rho\Phi^{-1}\Phi_z)_z=0, \] and the LeBrun–Tod reduction is precisely the mechanism that makes \(\Phi\) explicitly describable in the Type \(\mathrm{II}\) case [2507.15284]. ## 4. Complementarity with Gibbons–Hawking and the degree classification The toric Ricci-flat framework treated in [2507.15284] has two explicit special-geometry reductions. For Type \(\mathrm{I}\), the hyperkähler case, the Gibbons–Hawking ansatz gives \[ g=V(d\rho^2+dz^2+\rho^2d\phi_2^2)+V^{-1}(d\phi_1+Fd\phi_2)^2, \] with axisymmetric harmonic \(V\) and \[ dF=\rho V_\rho dz-\rho V_zd\rho. \] The associated harmonic map is \[ \Phi=\frac{1}{\rho}\left(\begin{matrix} V^{-1} & V^{-1}F\\ V^{-1}F & \rho^2 V+V^{-1}F^2 \end{matrix}\right), \] and the augmentation is \[ \nu=\frac{1}{2}\log V. \] For Type \(\mathrm{II}\), Hermitian non-Kähler metrics, the LeBrun–Tod ansatz yields instead the harmonic map displayed above, with \(V,F,\nu\) determined from a harmonic function \(U\) [2507.15284]. The two ansätze are presented as complementary descriptions. Gibbons–Hawking describes all local toric Ricci-flat metrics of Type \(\mathrm{I}\), while LeBrun–Tod describes all local toric Ricci-flat metrics of Type \(\mathrm{II}\) [2507.15284]. Neither is presented as a specialization of the other. This dichotomy underpins the degree classification of rod structures: - Type \(\mathrm{I}\) iff degree \(0\), - Type \(\mathrm{II}\) iff degree \(1\), - Type \(\mathrm{III}\) iff degree \(\ge 2\) [2507.15284]. Equivalently, if an axisymmetric harmonic map \(\Phi\) is strongly tamed by a rod structure \(\mathfrak R\), then \(\Phi\) defines a locally hyperkähler metric iff \(d(\mathfrak R)=0\), and it defines a locally Hermitian non-Kähler metric iff \(d(\mathfrak R)=1\) [2507.15284]. Since Type \(\mathrm{I}\) and Type \(\mathrm{II}\) harmonic maps are explicitly understood using axisymmetric harmonic functions, the degree-\(\le 1\) regime admits an explicit PDE classification in terms of axisymmetric harmonic functions [2507.15284]. The examples emphasize the geometric distinction. Taub–NUT is Type \(\mathrm{I}\) and naturally sits in Gibbons–Hawking; anti-Taub–NUT is Type \(\mathrm{II}\) and sits in LeBrun–Tod [2507.15284]. The paper also remarks that a Kerr space can split into a Taub–NUT and an anti-Taub–NUT, and only one of those lies in toric Kähler geometry à la Biquard–Gauduchon [2507.15284]. ## 5. Explicit examples, cone angles, and toric gravitational instantons A concrete LeBrun–Tod example is anti-Taub–NUT. Taking \[ U=\frac12\log\rho^2+2r-z\log\frac{r+z}{r-z} \] with \(k=1\) gives \[ V=1+\frac{1}{2r},\qquad F=\frac{z}{2r}, \] hence one obtains the anti-Taub–NUT space [2507.15284]. The corresponding harmonic-map form is \[ \Phi^{\mathrm{TNm}}=\frac{1}{\rho}\left(\begin{matrix} H\rho^2+H^{-1}A^2 & H^{-1}A\\ H^{-1}A & H^{-1} \end{matrix}\right),\qquad \nu^{\mathrm{TNm}}=\frac{1}{2}\log\left(1+\frac{1}{2r}\right), \] with \(H=1+\frac{1}{2r}\) and \(A=\frac{z}{2r}\) [2507.15284]. The same discussion states that the LeBrun–Tod construction also produces the known toric Hermitian ALF/AF examples: Kerr, Taub–Bolt, anti-Taub–Bolt, and Chen–Teo [2507.15284]. In the simply-connected toric gravitational-instanton classification for ALF/AF type, the Type \(\mathrm{II}\) side consists of anti-Taub–NUT, Kerr including Schwarzschild, Taub–Bolt, anti-Taub–Bolt, and Chen–Teo [2507.15284]. The LeBrun–Tod ansatz is therefore the local analytic engine behind the degree-\(1\), Hermitian branch of the classification. In the \(\mathrm{ALF}^\pm/\mathrm{AFa}\) setting, the global Type \(\mathrm{II}\) input begins from a positive convex piecewise affine function \[ f(z)=A+\sum_{j=1}^na_j|z-z_j| \] with \[ A>0,\qquad z_1<\cdots