Taub-NUT from the Dirac monopole

C.N. Pope; Hadi Godazgar; Mahdi Godazgar

REVIEW 3 major objections 3 minor 1 cited by

Taub-NUT from the Dirac monopole

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that choosing the Bondi gauge field to be the Dirac monopole reproduces the Taub-NUT metric.

desk verdict A clean new derivation of Taub-NUT from Dirac monopole characteristic data, with an honest but real gap between the checked low orders and the asserted all-orders reproduction. read the letter →

arxiv 1908.05962 v2 pith:47PXO7RC submitted 2019-08-16 hep-th gr-qc

Hadi Godazgar , Mahdi Godazgar , C.N. Pope This is my paper · ORCID

classification hep-thgr-qc

keywords DiracmonopoleTaub-NUTspacetimeBondicoordinatescharacteristicvalueproblemNUTchargeasymptoticallyflatspacetimesMaxwellgaugepotentialstationaryaxisymmetricsolutions

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims that, in the Bondi characteristic formulation of general relativity, a time-independent one-form $C_0$ on the two-sphere is part of the free data for asymptotically flat vacuum spacetimes and transforms under supertranslations like a Maxwell gauge potential. The authors choose this gauge field to be the Dirac monopole $C_0=2p\cos\theta\,d\varphi$, assume the spacetime is stationary and axisymmetric, and integrate the vacuum Einstein equations order by order in $1/r$. They recover the Taub-NUT metric in Bondi coordinates, with the monopole strength $p$ playing the role of the NUT charge and the mass $m$ appearing as an integration constant. The result matters because it exhibits a singular gauge configuration on the sphere as sufficient characteristic data that determines an entire spacetime, giving the NUT charge a gauge-theoretic origin.

What carries the argument

The central object is the pair $(C_0, C_{IJ})$ in the Bondi-Sachs $1/r$ expansion, linked by $C_{0I}=-\frac12 D_J C^J{}_I$, which allows a $u$-independent one-form $C_0$ to be used as free characteristic data in place of the symmetric trace-free tensor $C_{IJ}$. Under supertranslations $\delta C_{0I}=D_I(\frac12\Box s+s)$, so $C_0$ behaves as a Maxwell gauge potential; its field strength $F_{IJ}=2\partial_{[I}C_{0J]}$ has vanishing divergence, which forces $F_0$ to be a constant, the Bondi mass parameter $m$, and gives the Bondi NUT charge $\tilde M_B=-p/2$. This one-form is therefore the mechanism that converts a monopole on the sphere into the NUT charge in the bulk.

What would settle it

Compute the next undetermined order in the iterative scheme beyond those given in Section 3, for instance the evolution equation for $E_{IJ}$ or the order-$1/r^5$ coefficient of the Bondi metric, and compare it with the Appendix A expansion of Taub-NUT: any mismatch, or a logarithmic singularity that cannot be removed by the allowed integration constants, would show that the monopole data do not reproduce Taub-NUT.

Watch

Extended reading notes

Core claim

The central claim is that a Dirac monopole in the free characteristic data generates the Taub-NUT spacetime. In Bondi coordinates with the $1/r$ fall-offs, the hypersurface equation $C_{0I}=-\frac12 D_J C^J{}_I$ lets a time-independent one-form $C_0$ replace the trace-free tensor $C_{IJ}$ as free data. For $C_0=2p\cos\theta\,d\varphi$, the stationary conservation equations force $F_0=-2m$ and determine $C_1^\theta$, $C_1^\varphi$ up to integration constants; choosing these constants to kill logarithmic singularities and setting the Kerr-like parameter to zero reproduces exactly the Bondi-coordinate expansions of the Taub-NUT metric collected in the appendix, with $p=\ell$. The same iterative scheme with $p=0$ and $C_1^\varphi=2ma\sin^2\theta$ gives the Kerr metric, and changing the gauge constant $k$ shifts the string singularity rather than changing the physical solution.

Load-bearing premise

The load-bearing premise is that order-by-order integration from the singular, $u$-independent monopole data is well defined and converges uniquely to a full solution, so that matching the low-order expansion to Taub-NUT is enough to identify the whole metric; this is asserted rather than proved.

Editorial extensions

If this is right

If the identification holds to all orders, the Taub-NUT metric is a member of a family of stationary axisymmetric solutions parameterised by the same free data, so the NUT charge is encoded by the flux of $C_0$ on the sphere rather than by an exotic boundary condition.
The gauge parameter $k$ in $C_0=2p\cos\theta\,d\varphi+2k\,d\varphi$ corresponds to shifting the string singularity, giving the same physical spacetime in different supertranslation gauges; only $k=0$ removes the divergence in the Komar angular momentum integral.
Setting $p=0$ recovers the Kerr data, so the same characteristic integration scheme unifies the Kerr and Taub-NUT solutions as different choices of the one-form and angular-momentum data.
The iterative procedure can be applied to non-stationary spacetimes that keep $C_0$ time-independent, potentially constructing dynamical solutions carrying Taub-NUT charge, as the authors suggest in the discussion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A rigorous convergence proof for the iterative Bondi expansion would turn this calculation into a general existence theorem: any smooth one-form $C_0$ on the sphere would seed a unique asymptotically flat vacuum spacetime, with the monopole as the topologically nontrivial representative.
The monopole data suggest a boundary interpretation in which the NUT charge is a topological quantum number of the asymptotic gauge field; this could be tested by computing subleading BMS charges and checking whether they satisfy the expected flux-balance laws in a time-dependent version.
Numerical characteristic evolution codes could take the singular $C_0$ data as initial data and test whether the solution indeed relaxes to Taub-NUT, providing an independent check of the all-orders claim.
Because $C_0$ is exactly a Maxwell potential, the construction reinforces the double-copy view of Taub-NUT as the gravitational image of the Dirac monopole, but here the gauge field is not an auxiliary ansatz; it is literally part of the gravitational free data.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

You should know two things before reading this. First, the paper gives a genuinely new derivation of Taub-NUT in Bondi coordinates: it treats the characteristic data C0 as a Maxwell gauge field, chooses the Dirac monopole 2p cosθ dφ as that gauge field, and integrates the stationary Einstein equations order by order to reproduce the known Bondi-form of Taub-NUT. That construction, including the explicit mapping of integration constants and the comparison in Appendix A, is the real contribution. Second, the central claim about the full spacetime is not actually proved: the authors assert that continuing the iterative process reproduces Taub-NUT to any desired order, but they only check up to the first few orders. The gap is real but the paper is open about its method.

What the paper does well: the low-order computation is explicit and the match with the independent Taub-NUT expansion in Appendix A is convincing. The interpretation of C0 as a Maxwell gauge potential under supertranslations is nice and gives a clean explanation for why a Dirac monopole should seed a NUT charge. The paper also correctly notes that the general solution of the constraints gives a family of Taub-NUT-like solutions, with the usual Taub-NUT obtained by particular choices of integration constants (c1 = 0, c2 = 2p, k = 0, c3 = c4 = 0). The comparison with Kerr in the p→0 limit is a good sanity check.

The soft spots are proportionate. The all-orders claim after equation (3.20) is asserted, not demonstrated. Since the free data include the singular monopole 1-form and the authors deliberately drop regularity conditions on the sphere, the standard characteristic well-posedness results for smooth Bondi data don't apply. Matching finitely many orders doesn't guarantee that the reconstructed spacetime is Taub-NUT, nor that the iteration converges. This is a genuine caveat, but it is a limitation in the presentation rather than an error in the low-order math, which checks out. The title also slightly overclaims: you need to set rotation and gauge parameters to zero to get the specific Taub-NUT solution. That's minor.

No critical red flags in the mathematics, and the citation pattern is honest; the derivation builds on the authors' prior formalism, but the new construction is present. The paper is aimed at people working on BMS charges, dual charges, and characteristic formulations of GR. It deserves a serious referee who can ask for higher-order checks or an explicit conjecture about the all-orders result.

My take: send it to review. The gap is real but fixable by presenting more orders or honestly labeling the all-orders claim as a conjecture.

Referee Report

3 major / 3 minor

Summary. This paper studies the Bondi-Sachs characteristic initial value problem for asymptotically flat vacuum spacetimes. The authors observe that the data vector C0^I can be interpreted as a Maxwell-like gauge connection, and in the stationary, axisymmetric case they choose C0 to be the Dirac monopole 1-form 2p cosθ dφ + 2k dφ. They then solve the hypersurface, conservation, and evolution constraints order by order in 1/r, obtaining explicit expressions for C_IJ, C0^I, C1^I, and F1, and they show that these agree with the Taub-NUT metric expanded in Bondi coordinates, with p identified with the NUT parameter ℓ. The paper claims that continuing the iterative process reproduces the Taub-NUT metric to any desired order, and that the Dirac monopole data generate a family of Taub-NUT-like solutions parameterized by integration constants contributing to subleading BMS charges.

Significance. If the all-orders claim were established, the result would be a clean conceptual derivation of Taub-NUT from characteristic data consisting of a monopole gauge connection, connecting NUT charge, dual Bondi mass, and subleading BMS charges in a single construction. The low-order matching is explicit and convincing, and the independent derivation of the Taub-NUT metric in Bondi coordinates in Appendix A serves as a genuine check that guards against circularity: the monopole C0 is used as input, and the remaining fields are solved from the Einstein equations. The main limitation is that only finitely many orders are computed, so the central infinite-order claim currently rests on an assertion rather than a proof.

major comments (3)

[Section 3, after Eq. (3.20)] The statement that 'continuing this iterative process ... reproduces the Taub-NUT metric in Bondi coordinates to any desired order' is not demonstrated. The paper compares only C0^I, C_IJ, C1^I, and F1 with the Appendix A expansion. The next constraint, coming from u-independence of E_IJ at the order corresponding to Eq. (2.21) of Ref. [11], determines D_IJ(θ), but this equation is not solved and D_IJ is not compared with the Taub-NUT values in Eq. (A.4). Without a proof that the recurrence can be continued to all orders, or an independent uniqueness theorem for this singular-data characteristic problem, the identification with Taub-NUT is a conjecture supported by finite-order data. Please either provide an all-orders argument, or clearly present the result as a demonstrated low-order match together with a conjectural extension; the abstract and Discussion should be adjusted accordingly.
[Section 1, after Eq. (1.3)] The paper deliberately drops regularity conditions on the 2-sphere, and the free data include the singular Dirac monopole 1-form C0 = 2p cosθ dφ. Standard characteristic well-posedness results for smooth Bondi data therefore do not apply, so matching finitely many orders does not by itself guarantee that the iterative procedure converges or that the limiting spacetime is unique. This gap is load-bearing for the central claim that the constructed spacetime 'is' Taub-NUT. A concrete remedy is to solve the next orders, including D_IJ and E_IJ, compare them with Eq. (A.4), and discuss which class of singular characteristic data admits a uniqueness theorem.
[Section 3, Eqs. (3.11)-(3.20)] The selection of integration constants c1 = 0, c2 = 2p, c3 = c4 = 0, and the gauge choice k = 0 is necessary to obtain the familiar Taub-NUT member of the family. The paper states that other choices give 'more general solutions, generically presumably with more severe singular behaviour on the sphere,' but this is not backed by a proof that these truncated expressions extend to genuine vacuum solutions. Please clarify whether the claimed family of Taub-NUT-like solutions is established at all orders or is only a low-order indication.

minor comments (3)

[Abstract and Section 2] The abstract says the free data contain 'a Maxwell gauge field,' but the paper actually establishes that a u-independent C0^I transforms like a Maxwell gauge potential under supertranslations; the relation to an actual Maxwell field on the spacetime is not derived. A short clarifying sentence would prevent over-interpretation.
[Page 2, after Eq. (1.2)] There is a typo: 'coordinate s' should be 'coordinates'.
[Appendix A, Eq. (A.2)] The expansion for ¯t has unbalanced parentheses around the term containing csc²θ + csc⁴θ − 11/4; please fix the typography so the displayed formula is unambiguous.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Dirac-monopole data are legitimate characteristic data, and the Taub-NUT match is checked against an independent Bondi-coordinate expansion.

full rationale

The paper's construction is not circular. In the Bondi-Sachs characteristic problem, C0^I is free data (Eq. (1.13) exchanges it with C^{IJ}); prescribing C0 = 2p cos theta dphi is therefore a legitimate choice of characteristic data, not a hidden use of the final metric. The match with Taub-NUT is verified against an independent expansion derived in Appendix A from the standard Taub-NUT metric (A.1), not by substituting the target metric into the Einstein equations. The integration constants c1, c2, c3, c4, and k are selected before the comparison, using regularity, absence of logarithmic singularities, finiteness of the Komar angular momentum, and simplicity; they are not fitted to the Appendix A coefficients. The NUT-charge statement (3.3) follows from the definition (1.16), so choosing a monopole C0 fixes the NUT charge; this is a parameter choice in the characteristic problem, not a self-definitional prediction. Self-citations to Refs. [7] and [11] supply the general Bondi-Sachs equations and BMS transformations, whose stated assumptions do not include the Taub-NUT target; hence they are independent technical support, not load-bearing self-citation. The unproved assertion after Eq. (3.20) that iteration reproduces Taub-NUT to all orders is a convergence/uniqueness gap for singular data, but it is not a circular step: it claims more than is established, rather than reducing the output to the input.

Assumptions & free parameters 7 free parameters · 5 assumptions · 0 invented entities

The construction depends on freely chosen data: the monopole strength, the mass parameter, and several integration constants and gauge parameters. It also requires the assumption that the formal iterative solution is well defined and unique to all orders. No new physical entities are introduced.

free parameters (7)

p = p, later identified with the NUT charge
Monopole strength in C0 = 2p cos theta dphi; chosen as input data, not fitted to the target.
m = m
Mass parameter from F0 = -2m; chosen as part of the characteristic data.
c1 = 0
Integration constant in CIJ; set to zero to avoid logarithmic singularities in C1 and to match the Taub-NUT form.
c2 = 2p
Integration constant in CIJ; chosen to avoid logarithmic singularities in C1. The alternative regular choice c2 = -2p is rejected because it does not lead to the Taub-NUT solution.
c3 = 0
Integration constant in C1^theta; set to zero for simplicity; it contributes to subleading BMS charges.
c4 = 0
Integration constant in C1^phi; this is a Kerr-like angular momentum parameter. Setting it to zero gives the non-rotating Taub-NUT solution.
k = 0
Supertranslation gauge parameter in C0; set to zero to make the Komar angular momentum finite.

assumptions (5)

domain assumption The metric admits a Bondi coordinate expansion (1.2) with the stated inverse-power fall-offs and the determinant condition h = omega.
This restricts the class of asymptotically flat spacetimes and is used throughout Section 1.
domain assumption The spacetime is stationary and axisymmetric, so all metric functions are independent of u and phi.
Stated in Section 3 just before the monopole choice; this restricts the construction to the intended class of solutions.
domain assumption No regularity conditions are imposed on the 2-sphere fields, following Ref. [7], so singular gauge potentials like the Dirac monopole are admissible.
Quoted near equation (1.3); this licenses the singular C0 and singular supertranslations used later.
standard math The vacuum Einstein equations in the characteristic decomposition are as described in Refs. [8] and [11], and the hypersurface, evolution and conservation equations can be integrated order by order.
The paper relies on this standard framework for the characteristic value problem and on the explicit equations from the authors' earlier work.
ad hoc to paper The formal 1/r expansion converges and the iterative procedure determines a unique solution from the chosen data.
This is the unproved all-orders assumption at the end of Section 3. If false, matching the first few orders to Taub-NUT would not establish the full metric.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Taub-NUT from the Dirac monopole." pith.science (2026). https://pith.science/paper/47PXO7RC

@misc{pith2026190805962,
  author       = {Pith},
  title        = {Pith review of: Taub-NUT from the Dirac monopole},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/47PXO7RC}},
  note         = {Machine review of arXiv:1908.05962}
}

read the original abstract

Writing the metric of an asymptotically flat spacetime in Bondi coordinates provides an elegant way of formulating the Einstein equation as a characteristic value problem. In this setting, we find that a specific class of asymptotically flat spacetimes, including stationary solutions, contains a Maxwell gauge field as free data. Choosing this gauge field to correspond to the Dirac monopole, we derive the Taub-NUT solution in Bondi coordinates.

Figures

Figures reproduced from arXiv: 1908.05962 by the authors.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Asymptotic Structure of Einstein-Maxwell-Dilaton Theory and Its Five Dimensional Origin
hep-th 2019-09 accept novelty 6.0 of 10

The asymptotic solution space and mass-loss formula for Einstein-Maxwell-dilaton theory are derived, and the Kaluza-Klein case is shown to match five-dimensional pure Einstein gravity.

Reference graph

Works this paper leans on

15 extracted references · 5 canonical work pages · cited by 1 Pith paper

[11]

Subleading BM S charges and fake news near null inﬁnity,

H. Godazgar, M. Godazgar, and C. N. Pope, “Subleading BM S charges and fake news near null inﬁnity,” JHEP 01 (2019) 143, arXiv:1809.09076 [hep-th]

arXiv 2019
[1]

Extraction of gravitational waves in numerical relativit y,

N. T. Bishop and L. Rezzolla, “Extraction of gravitational waves in numerical relativit y,”Living Reviews in Relativity 19 (Oct, 2016) 2

work page 2016
[2]

Lectures on the Infrared Structure of Gr avity and Gauge Theory,

A. Strominger, “Lectures on the Infrared Structure of Gr avity and Gauge Theory,” arXiv:1703.05448 [hep-th]

arXiv
[3]

Advanced Lectures on Gener al Relativity,

G. Comp` ere and A. Fiorucci, “Advanced Lectures on Gener al Relativity,” arXiv:1801.07064 [hep-th]

arXiv
[4]

New dual gravit ational charges,

H. Godazgar, M. Godazgar, and C. N. Pope, “New dual gravit ational charges,” Phys. Rev. D99 (2019) no. 2, 024013, arXiv:1812.01641 [hep-th]

arXiv 2019
[5]

Tower of sublea ding dual BMS charges,

H. Godazgar, M. Godazgar, and C. N. Pope, “Tower of sublea ding dual BMS charges,” JHEP 03 (2019) 057, arXiv:1812.06935 [hep-th]

arXiv 2019
[6]

Properties of Dual Supertranslat ion Charges in Asymptotically Flat Spacetimes,

U. Kol and M. Porrati, “Properties of Dual Supertranslat ion Charges in Asymptotically Flat Spacetimes,” arXiv:1907.00990 [hep-th]

arXiv 1907
[7]

Dual gravitati onal charges and soft theorems,

H. Godazgar, M. Godazgar, and C. N. Pope, “Dual gravitati onal charges and soft theorems,” arXiv:1908.01164 [hep-th]

arXiv 1908

Show all 15 references

[8]

Characteristic evolution and matching,

J. Winicour, “Characteristic evolution and matching,” Living Reviews in Relativity 12 (Apr, 2009) 3

2009
[9]

Black holes a nd the double copy,

R. Monteiro, D. O’Connell, and C. D. White, “Black holes a nd the double copy,” JHEP 12 (2014) 056, arXiv:1410.0239 [hep-th]

2014 arXiv
[10]

The classical double copy for Taub-NUT spacetime,

A. Luna, R. Monteiro, D. O’Connell, and C. D. White, “The classical double copy for Taub-NUT spacetime,” Phys. Lett. B750 (2015) 272–277, arXiv:1507.01869 [hep-th]

2015 arXiv
[12]

Gravitational waves in general relativit y: 8. Waves in asymptotically ﬂat space-times,

R. K. Sachs, “Gravitational waves in general relativit y: 8. Waves in asymptotically ﬂat space-times,” Proc. Roy. Soc. Lond. A270 (1962) 103–126. 15

1962
[13]

Grav itational waves in general relativity: 7. Waves from axisymmetric isolated sy stems,

H. Bondi, M. G. J. van der Burg, and A. W. K. Metzner, “Grav itational waves in general relativity: 7. Waves from axisymmetric isolated sy stems,” Proc. Roy. Soc. Lond. A269 (1962) 21–52

1962
[14]

Stephani, D

H. Stephani, D. Kramer, M. A. H. MacCallum, C. Hoenselae rs, and E. Herlt, Exact solutions of Einstein ’s ﬁeld equations . Cambridge Monographs on Mathematical Physics. Cambridge Univ. Press, Cambridge, 2 003
[15]

Th e First Law for Rotating NUTs,

A. B. Bordo, F. Gray, R. A. Hennigar, and D. Kubiznak, “Th e First Law for Rotating NUTs,” arXiv:1905.06350 [hep-th] . 16

1905 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [11]

Subleading BM S charges and fake news near null inﬁnity,

H. Godazgar, M. Godazgar, and C. N. Pope, “Subleading BM S charges and fake news near null inﬁnity,” JHEP 01 (2019) 143, arXiv:1809.09076 [hep-th]

arXiv 2019

[2] [1]

Extraction of gravitational waves in numerical relativit y,

N. T. Bishop and L. Rezzolla, “Extraction of gravitational waves in numerical relativit y,”Living Reviews in Relativity 19 (Oct, 2016) 2

work page 2016

[3] [2]

Lectures on the Infrared Structure of Gr avity and Gauge Theory,

A. Strominger, “Lectures on the Infrared Structure of Gr avity and Gauge Theory,” arXiv:1703.05448 [hep-th]

arXiv

[4] [3]

Advanced Lectures on Gener al Relativity,

G. Comp` ere and A. Fiorucci, “Advanced Lectures on Gener al Relativity,” arXiv:1801.07064 [hep-th]

arXiv

[5] [4]

New dual gravit ational charges,

H. Godazgar, M. Godazgar, and C. N. Pope, “New dual gravit ational charges,” Phys. Rev. D99 (2019) no. 2, 024013, arXiv:1812.01641 [hep-th]

arXiv 2019

[6] [5]

Tower of sublea ding dual BMS charges,

H. Godazgar, M. Godazgar, and C. N. Pope, “Tower of sublea ding dual BMS charges,” JHEP 03 (2019) 057, arXiv:1812.06935 [hep-th]

arXiv 2019

[7] [6]

Properties of Dual Supertranslat ion Charges in Asymptotically Flat Spacetimes,

U. Kol and M. Porrati, “Properties of Dual Supertranslat ion Charges in Asymptotically Flat Spacetimes,” arXiv:1907.00990 [hep-th]

arXiv 1907

[8] [7]

Dual gravitati onal charges and soft theorems,

H. Godazgar, M. Godazgar, and C. N. Pope, “Dual gravitati onal charges and soft theorems,” arXiv:1908.01164 [hep-th]

arXiv 1908