Non-primary square roots in massive gravity
Pith reviewed 2026-06-29 03:08 UTC · model grok-4.3
The pith
Non-primary square roots of matrices in dRGT massive gravity remain covariant when properly defined.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Non-primary square roots are perfectly covariant once defined consistently, yet perturbation theory around them fails to exist because the expansion is not analytic in the elementary symmetric polynomials that enter the action; non-principal roots are also more prone to reaching the complex domain.
What carries the argument
Non-primary square roots of the matrix that appears in the dRGT potential term of massive gravity.
If this is right
- The dRGT and bimetric actions can be written with non-primary roots while preserving general covariance.
- Perturbation series around non-primary roots cannot be constructed because the expansion lacks analyticity in the symmetric polynomials.
- Non-primary roots increase the chance that the square root enters the complex numbers.
- The choice between primary and non-primary roots affects only the existence of perturbative expansions, not the covariance of the theory.
Where Pith is reading between the lines
- Practical model building in massive gravity will continue to favor primary roots mainly for their perturbative accessibility rather than for symmetry reasons.
- Any attempt to use non-primary roots in cosmological or black-hole solutions would first require a non-perturbative formulation of the dynamics.
- The non-analyticity issue may appear in other matrix-based gravity models whenever square roots are taken away from the principal branch.
Load-bearing premise
A consistent covariant definition of non-primary square roots exists that does not add extra structures or spoil other required properties of the theory.
What would settle it
An explicit derivation of the equations of motion from a non-primary root that produces non-covariant terms under general coordinate transformations.
read the original abstract
Non-linear dRGT massive and bimetric gravities are complicated theories constructed in terms of square roots of matrices. Apart from the technical issues of successfully working with such square roots, there is also a problem of their non-uniqueness. There are claims in the literature that one should better use the principal root. This is a very reasonable conclusion. However, the motivation they give for it is that otherwise there would be non-primary square roots violating the general covariance. In this paper, I would like to show that, if properly understood, the non-primary square roots are also perfectly covariant. At the same time, I recall the relatively old observation that the real problem with such square roots lies in perturbation theory around them. In terms of matrices, it simply does not exist. In terms of the elementary symmetric polynomials used in the Lagrangian density, it is not analytic. Moreover, the non-principal square roots are more prone to getting into the complex domain.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript argues that non-primary (non-principal) square roots of matrices in nonlinear dRGT massive gravity and bimetric gravity remain covariant under diffeomorphisms when properly interpreted, contrary to some literature claims; the actual obstruction is non-analyticity (preventing a perturbative expansion around them, whether viewed in matrix language or via elementary symmetric polynomials in the Lagrangian), along with a greater tendency to enter the complex domain.
Significance. If substantiated with an explicit construction, the clarification would remove an unnecessary restriction on branch choice in these theories and refocus attention on analyticity requirements for perturbation theory. The paper does not introduce new structures or parameters and rests on reinterpretation of existing matrix branches and covariance definitions.
major comments (1)
- [Abstract] Abstract: the central claim that non-primary roots are 'perfectly covariant' when 'properly understood' is load-bearing but is stated without an explicit definition, matrix example, or derivation showing how covariance is preserved; this prevents verification that no additional structures are introduced, as noted in the weakest assumption of the stress-test.
minor comments (1)
- The manuscript is very short and conceptual; adding at least one concrete low-dimensional matrix example (with explicit transformation properties) would strengthen the presentation without altering the scope.
Simulated Author's Rebuttal
We thank the referee for their review of our manuscript. We address the major comment regarding the abstract below.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that non-primary roots are 'perfectly covariant' when 'properly understood' is load-bearing but is stated without an explicit definition, matrix example, or derivation showing how covariance is preserved; this prevents verification that no additional structures are introduced, as noted in the weakest assumption of the stress-test.
Authors: The manuscript body supplies the explicit definition of 'properly understood' (standard diffeomorphism action on the matrix entries with consistent branch selection) together with a derivation that covariance is preserved without new structures or parameters; a concrete 2x2 matrix example is worked out to illustrate the transformation. The abstract is a high-level summary and therefore omits these details, but we agree that a short clarifying phrase can be added and will revise the abstract accordingly. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper is a clarification arguing that non-primary square roots remain covariant under a proper understanding of general covariance in dRGT/bimetric gravity, with the genuine obstruction being non-analyticity (preventing perturbation theory) rather than covariance violation. No load-bearing step reduces a claimed result to a self-definition, fitted input, or self-citation chain; the central claim rests on standard matrix branch properties and diffeomorphism invariance without introducing new structures or equations that loop back to the inputs. The recalled observation on perturbations is presented as background, not as a uniqueness theorem or ansatz imported from prior work by the author. This is a self-contained interpretive note with no derivation chain that collapses by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The dRGT potential is constructed from the square root of a matrix built from the dynamical and reference metrics, and this construction must respect general covariance.
Reference graph
Works this paper leans on
-
[1]
Hinterbichler.Theoretical aspects of massive gravity
K. Hinterbichler.Theoretical aspects of massive gravity. Reviews of Modern Physics84(2012) 671; arXiv:1105.3735
Pith/arXiv arXiv 2012
-
[2]
C. de Rham, G. Gabadadze, A.J. Tolley.Resummation of Massive Gravity. Physical Review Letters106 (2011) 231101; arXiv:1011.1232
Pith/arXiv arXiv 2011
-
[3]
S.F. Hassan, R.A. Rosen.On Non-Linear Actions for Massive Gravity. Journal of High Energy Physics JHEP07(2011)009; arXiv:1103.6055
Pith/arXiv arXiv 2011
-
[4]
S.F. Hassan, R.A. Rosen.Resolving the Ghost Problem in Nonlinear Massive Gravity. Physical Review Letters108(2012) 041101; arXiv:1106.3344
Pith/arXiv arXiv 2012
-
[5]
S.F. Hassan, R.A. Rosen, A. Schmidt-May.Ghost-free Massive Gravity with a General Reference Metric. Journal of High Energy Physics JHEP02(2012)026; arXiv:1109.3230
Pith/arXiv arXiv 2012
-
[6]
S.F. Hassan, R.A. Rosen.Bimetric Gravity from Ghost-free Massive Gravity. Journal of High Energy Physics JHEP02(2012)126; arXiv:1109.3515
Pith/arXiv arXiv 2012
-
[7]
C. de Rham.Massive Gravity. Living Reviews in Relativity17(2014) 7; arXiv:1401.4173
Pith/arXiv arXiv 2014
-
[8]
A. Schmidt-May, M. von Strauss.Recent developments in bimetric theory. Journal of Physics A: Mathe- matical and Theoretical49(2016) 183001; arXiv:1512.00021
Pith/arXiv arXiv 2016
- [9]
- [10]
-
[11]
A. Caravano, M. Luben, J. Weller.Combining cosmological and local bounds on bimetric theory. Journal of Cosmology and Astroparticle Physics JCAP09(2021)035; arXiv:2101.08791
arXiv 2021
-
[12]
E. Babichev, L. Marzola, M. Raidal, A. Schmidt-May, F. Urban, H. Veermae, M. von Strauss.Heavy spin-2 Dark Matter. Journal of Cosmology and Astroparticle Physics JCAP09(2016)016; arXiv:1607.03497
Pith/arXiv arXiv 2016
-
[13]
S.F. Hassan, M. Kocic.On the local structure of spacetime in ghost-free bimetric theory and massive gravity. Journal of High Energy Physics JHEP05(2018)099; arXiv:1706.07806
Pith/arXiv arXiv 2018
-
[14]
J. Flinckman, S.F. Hassan.On the Uniqueness of Ghost-Free Multi-Gravity – II: Constraining antisym- metrised multi spin-2 interactions. arXiv:2604.07625 8
-
[15]
A. Golovnev, F. Smirnov.Unusual square roots in the ghost-free theory of massive gravity. Journal of High Energy Physics JHEP06(2017)130; arXiv:1704.08874
arXiv 2017
-
[16]
D. Comelli, M. Crisostomi, K. Koyama, L. Pilo, G. Tasinato.New Branches of Massive Gravity. Physical Review D91(2015) 121502; arXiv:1505.00632
Pith/arXiv arXiv 2015
-
[17]
Golovnev.On the Hamiltonian analysis of non-linear massive gravity
A. Golovnev.On the Hamiltonian analysis of non-linear massive gravity. Physics Letters B707(2012) 404; arXiv:1112.2134
Pith/arXiv arXiv 2012
-
[18]
A. Golovnev, F. Smirnov.Dealing with ghost-free massive gravity without explicit square roots of matrices. Physics Letters B770(2017) 209; arXiv:1701.01836
Pith/arXiv arXiv 2017
-
[19]
A. Golovnev, F. Smirnov.Algebraic aspects of massive gravity. International Journal of Geometric Methods in Modern Physics15(2018) 1840003; arXiv:1712.09534 9
Pith/arXiv arXiv 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.