SciPost Submission Page
Gravitational Multipoles in General Stationary Spacetimes
by Daniel R. Mayerson
Submission summary
Authors (as registered SciPost users):  Daniel Mayerson 
Submission information  

Preprint Link:  scipost_202305_00024v1 (pdf) 
Date accepted:  20230828 
Date submitted:  20230516 17:09 
Submitted by:  Mayerson, Daniel 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
The GerochHansen and Thorne (ACMC) formalisms give rigorous and equivalent definitions for gravitational multipoles in stationary vacuum spacetimes. However, despite their ubiquitous use in gravitational physics, it has not been shown that these formalisms can be generalized to nonvacuum stationary solutions, except in a few special cases. This paper shows how the GerochHansen formalism can be generalized to arbitrary nonvacuum stationary spacetimes for metrics that are sufficiently smooth at infinity. The key is the construction of an improved twist vector, which is welldefined under a mild topological condition on the spacetime (which is automatically satisfied for black holes). Ambiguities in the construction of this improved twist vector are discussed and fixed by imposing natural "gauge fixing" conditions, which also immediately lead to the equivalence between the GerochHansen and Thorne formalisms for such arbitrary stationary spacetimes.
Current status:
Editorial decision:
For Journal SciPost Physics: Publish
(status: Editorial decision fixed and (if required) accepted by authors)
Author comments upon resubmission
Submission & Refereeing History
You are currently on this page
Reports on this Submission
Report
The author now addresses comments raised in my previous report. I think the paper is now suitable for publication. However, I have additional comments that might be helpful in improving the presentation of the paper, but I leave it to the author to decide whether and how to implement these comments. I also think that new additions to the paper, including the field equations for the mass and spin potentials, and the relation to Kaluza Klein reduction are very interesting.
Author: Daniel Mayerson on 20230622 [id 3749]
(in reply to Report 1 on 20230613)
I thank the referee for his remarks. I would be happy to adjust the wording of the abstract and the opening of section 3.1.2 to accommodate the remarks 2 and 3.
With respect to remark 1, it would certainly be nice to find a similar and less technically obscure gaugefixing condition on the improvement form compared to the one given in the paper. However, unfortunately, I don't think the referee's suggestion is applicable.
The manifold in question does not have a boundary (or, at most, it has only a boundary at small r, but is unbounded for large r), so the formalism of 1904.12869, and in particular, the unique (Helmholtz) decomposition (2) in the referee report, does not hold. For example, in a standard counterexample to the uniqueness of the Helmholtz decomposition in noncompact spaces without boundaries, one can shift psi > psi' = psi + H and phi>phi'=phiH, where H is harmonic (d*dH = 0), and it can be seen that the decomposition (2) also holds with \delta psi' = 0 and orthogonality of psi' and phi'. (Such harmonic functions also clearly exist and can be nontrivial, eg. 1/r or its derivatives.)
Similarly, the demand that the improvement form would be orthogonal to (all) exact forms is not enough to fix the gauge conditions as given in the paper draft, as shifting such an improvement form by dH (with H harmonic) would still be allowed.
Incidentally, it is tempting to attempt a similar reasoning using a Helmholtz/Hodge decomposition of the improvement form but instead on the compactified manifold \tilde M, since on this compact manifold such Hodge decompositions are unique. However, to be able to do this would first require knowledge of how the improvement oneform transforms under conformal transformations. I strongly suspect that (again, unfortunately) the improvement one form does not transform in a simple way under such conformal transformations. (At least, there is no particular reason for it to transform simply.)
Daniel Mayerson on 20230516 [id 3673]
See attached pdf file for resubmission letter, reply to referees, and list of changes.
Attachment:
refereereply.pdf