REVIEW 3 major objections 3 minor 23 references
Classification of ten-dimensional embeddings of spherically symmetric static metrics
T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper establishes a complete enumeration: exactly 52 classes of rotation- and time-translation-symmetric embeddings of static spherically symmetric metrics into ten-dimensional flat space, with an unfolding and flat-Minkowski check…
desk verdict A useful, probably correct census of symmetric 10D embeddings, but completeness and the numerical ranks rest on inherited or underspecified evidence. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the block decomposition of the embedding function produced by the group-theoretic method of Ref. [15]. For the group $SO(3)\times T^1$, every second-type symmetric embedding is built from initial vectors acted on by representations of the form (7), giving blocks $\{l\}$ (odd-dimensional polynomials in $t$), $\langle l\rangle$ (even-dimensional blocks of sines, cosines, or hyperbolic pairs), $m=2j+1$ (spherical-harmonic blocks), and $m\times\langle l\rangle$ (mixed blocks). The classification is the statement that the total dimension is the sum of the block dimensions, so for ambient dimension ten the problem reduces to the integer partitions of ten allowed by the block rules; the unfolding property is then checked from the rank of the second fundamental form.
What would settle it
Pick any class reported as non-unfolded in Table 1, substitute generic radius functions and spherical-harmonic tensor blocks into the corresponding embedding ansatz, and symbolically compute all $6\times 6$ minors of the $10\times 6$ matrix $b^a_{\mu\nu}$; if any minor is not identically zero, the class is unfolded and the table's rank entry is wrong.
Extended reading notes
Core claim
For embeddings of the second type built from three-dimensional symmetry orbits labeled by the radial coordinate, the embedding function is a direct sum of blocks of four kinds: odd-dimensional blocks $\{l\}$ that are polynomials in $t$; even-dimensional blocks $\langle l\rangle$ made from sines, cosines, or hyperbolic pairs; $m=2j+1$ blocks built from spherical harmonics of degree $j$; and mixed blocks $m \times \langle l\rangle$ obtained as tensor products. Requiring the total dimension to be ten and fixing the ambient signature to $(1,9)$ leaves exactly 52 distinct classes, listed in Table 1. For each class the paper computes the rank of the second fundamental form $b^a_{\mu\nu}$, viewed as a $10 \times 6$ matrix, and calls the embedding unfolded when the rank is the maximal value six; the calculation is analytic for several families and numerical for the rest. The table shows that only 23 classes allow unfolding, that among the seven classes with time entering only linearly only $\{1\} + 5 + 3 + 1$ is unfolded, and that eight classes can in principle contain everywhere smooth unfolded Minkowski embeddings. These eight are marked gray in the table.
Load-bearing premise
The census is complete only if every $SO(3)\times T^1$-symmetric embedding of the type considered can indeed be decomposed into the elementary blocks listed in Ref. [15], and if the randomized numerical rank checks have not underestimated the maximal rank of the second fundamental form.
Editorial extensions
If this is right
- For perturbative embedding gravity, the classification reduces the search for symmetric backgrounds to 52 explicit ansatz classes, with the table stating immediately which are unfolded.
- Among backgrounds with time entering only linearly, {1} + 5 + 3 + 1 is the only unfolded class, making it the natural default background for the nonrelativistic bulk limit.
- The eight gray classes in Table 1 are the only candidates that can contain everywhere smooth, flat, unfolded Minkowski embeddings; explicit embeddings in these classes are the ones worth constructing.
- Any SO(3)×T1-symmetric second-type embedding into R^(1,9) that is not one of the 52 classes cannot exist, giving a no-go test for proposed symmetric ansatze.
- The block-dimension string itself serves as a coordinate system for the embedding-function space: radius-dependent functions inside each block are unrestricted by symmetry, separating the discrete choice of class from the continuous choice of metric functions g00(r) and g11(r).
Reading between the lines
- If the block decomposition is as complete as the paper assumes, the same enumeration can be rerun for other ambient signatures, such as (0,10) or (2,8), where the rank patterns and flat-Minkowski candidates will generally differ.
- The eight gray classes are existence candidates, not constructed embeddings; building explicit Minkowski embeddings inside those classes is the natural next step and would make the census directly usable.
- The block language is not specific to rotations plus time translations; analogous tables for other symmetry groups would give a systematic catalogue of symmetric backgrounds for embedding gravity.
- A self-contained proof of completeness, re-deriving the block decomposition rather than importing it, would remove the main inherited assumption, and direct symbolic rank computations on a few classes would test the numerical column of Table 1.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies a group-theoretic method, previously developed by the authors, to classify SO(3)xT1-symmetric embeddings of four-dimensional static spherically symmetric metrics into ten-dimensional flat space of signature (1,9). The embedding functions are decomposed into elementary blocks parameterized by {j,s,p,q}, and the paper tabulates 52 classes for the (1,9) signature. For each class it reports the rank of the second fundamental form matrix b^a_{\mu\nu}, mostly computed numerically, and identifies 8 classes that may admit smooth unfolded embeddings of the Minkowski metric. The central claim is that Table 1 is a complete census of second-type surface-symmetric embeddings.
Significance. If the classification is correct, the paper provides a practically useful reference for Regge-Teitelboim embedding gravity: it enumerates all available symmetric backgrounds in the required dimension, singles out the distinguished unfolded linear-in-time background {1}+5+3+1, and gives analytic non-unfolding proofs for several infinite families. The block notation and the table are clear enough to be used directly by practitioners. The value is conditional, however, on the completeness of the representation-theoretic block decomposition inherited from Ref. [15] and on the reliability of the numerical rank determinations.
major comments (3)
- [Abstract and §2.1] The abstract states that the paper describes 'all possible four-dimensional surfaces ... whose induced metric is static and spherically symmetric', but the body restricts the classification to surfaces of the second type that are themselves SO(3)xT1-symmetric. The spinor example with induced metric (5) in §2.1 is a first-type surface explicitly excluded, and §2.1 also acknowledges that asymmetric surfaces can have symmetric induced metrics, which are not classified. The advertised scope should be narrowed in the abstract and in the concluding claims to 'all second-type surface-symmetric embeddings'.
- [End of §2.2] The completeness of the 52-class table depends on the assertion that every suitable representation of SO(3)xT1 is a direct sum of blocks of the form (7)/(10), with at most one odd-s block and with j,p,q=0 for that block. This assertion is taken from Ref. [15], which solved the n=6 case, and is not re-proved for n=10. The authors should either provide a lemma/theorem and proof for arbitrary n or give a precise citation to a statement in Ref. [15] that covers the present case, and they should explain why signature (1,9) excludes candidate blocks such as {5}, 3×<3>, or <4> in larger combinations. Without this, the enumeration in Table 1 cannot be independently checked.
- [Table 1 and §3.6] The numerical rank computations at random points cannot support the strong conclusion that classes with rank less than 6 contain no unfolded embeddings. A random sample showing rank 4 or 5 does not rule out the existence of special choices of the free functions that raise the rank to 6, unless an analytic upper bound is proved. Sections 3.1–3.4 provide such bounds for only a subset of the listed classes. The sentence in §3.6 that 'All other classes cannot contain such embeddings' is therefore not justified for, e.g., <2>+<2>+3+1+1+1 or <3>+<2>+<2>+3, whose rank-4 status rests only on numerical sampling. The claims should be weakened to 'generic rank' or supplemented by analytic proofs for every class with rank below 6.
minor comments (3)
- [§2.2] The notation <2> is defined by dimension but groups several distinct block types (ordinary sine/cosine, hyperbolic sine/cosine, and possibly S-type blocks). The paper explains the ambiguity for {1}+<2> versus <2>+{1}, but for entries such as {1}+<2>+<2>+3+1+1 the reader is not told which concrete {j,s,p,q} tuple each <2> stands for. A complete key mapping every table entry to its underlying block tuple would improve reproducibility.
- [Throughout] There are several typographical errors, including 'wich' in the abstract, 'betwen' in §2.1, and an ungrammatical sentence near the end of §2.1. The notation for the ambient space 'R^{1,9}' is introduced only informally; it would be clearer to write the signature consistently as (1,9) with a minus sign for the timelike direction.
- [§3.6] The description of the numerical rank method is too brief to be reproducible: the paper does not give the randomization ranges for the radius functions and their derivatives, the number of repetitions, or the computer algebra system used. Since the sinh/cosh blocks required special treatment, a short pseudocode or supplementary script would substantially increase confidence in the reported ranks.
Circularity Check
No circularity: the 52-class table is an application of the authors' prior block decomposition, not a reduction of the target to its input; the main caveats are dependency on Ref. [15]'s completeness and an abstract broader than the actual scope.
full rationale
The derivation chain does not reduce to its own inputs. The target—the 52 classes for R^{1,9}—is obtained by taking the block decomposition (7) from Ref. [15] and performing a dimension count (e.g., one mixing block 3×⟨2⟩ already has dimension six, so at most one can appear), together with signature-specific restrictions for (1,9); this enumeration is not assumed anywhere as a premise. The unfolding ranks are computed by evaluating the second fundamental form at randomized numerical points for each constructed class, which is an independent generic-rank check rather than a fit to the classification. The two genuine caveats are not circularity: (i) the completeness of the table is conditional on the completeness of Ref. [15]'s representation classification, especially the 'only one term with odd s is allowed' rule, which is not re-derived here; and (ii) the abstract's 'all possible four-dimensional surfaces' overstates the scope, since Section 2.1 explicitly restricts to surface-symmetric embeddings of the second type and excludes first-type or non-symmetric surfaces whose induced metric still has the form (2). Self-citations [15] and [23] are load-bearing for method and unfolding definition, but they are prior parameter-free results whose assumptions do not include the n=10 target classification, so they are independent support rather than circular inputs.
Assumptions & free parameters
free parameters (2)
- alpha, beta, gamma in T1 representation
- Arbitrary radial functions f(r), psi(r), h_i(r)
assumptions (4)
- standard math Janet-Cartan-Friedman theorem guarantees local isometric embeddings in dimension at least d(d+1)/2, justifying n=10.
- domain assumption The group-theoretic method of Ref. [15] is complete: every SO(3)xT1-symmetric second-type embedding decomposes into a direct sum of blocks of the form (7)/(10).
- domain assumption The metric is assumed to be expressible in the standard static spherical form (2) with angular part r^2(dtheta^2 + sin^2 theta dphi^2).
- domain assumption Numerical rank computation at random points yields the generic maximal rank of the second fundamental form matrix.
Cite this review
Pith. "Pith review of Classification of ten-dimensional embeddings of spherically symmetric static metrics." pith.science (2026). https://pith.science/paper/WM5P6AOT
@misc{pith2026241113135,
author = {Pith},
title = {Pith review of: Classification of ten-dimensional embeddings of spherically symmetric static metrics},
year = {2026},
howpublished = {\url{https://pith.science/paper/WM5P6AOT}},
note = {Machine review of arXiv:2411.13135}
}
abstract
The group-theoretic method for constructing symmetric isometric embeddings is used to describe all possible four-dimensional surfaces in flat $(1,9)$-dimensional space, whose induced metric is static and spherically symmetric. For such surfaces, we propose a classification related to the dimension of the elementary blocks forming the embedding function. All suitable 52 classes of embeddings are summarized in one table and analyzed for the unfolding property (wich means that the surface does not belong locally to some subspace of the ambient space), as well as for the presence of smooth embeddings of the Minkowski metric. The obtained results are useful for the analysis of the equations of motion in the Regge-Teitelboim embedding gravity, where the presence of unfolded embeddings of the Minkowski metric is essential.
Reference graph
Works this paper leans on
-
[15]
Embeddings for Schwarzschild metric: classification and new results
S. A. Paston, A. A. Sheykin, “Embeddings for Schwarzsch ild metric: classification and new results”, Class. Quant. Grav. , 29 (2012), 095022, arXiv:1202.1204
work page Pith review arXiv 2012
-
[1]
Local isometric embedding of Riemannian m anifolds with indefinite metric
A. Friedman, “Local isometric embedding of Riemannian m anifolds with indefinite metric”, J. Math. Mech. , 10 (1961), 625
work page 1961
-
[2]
Completion and Embedding of the Schwarzsc hild Solution
C. Fronsdal, “Completion and Embedding of the Schwarzsc hild Solution”, Phys. Rev., 116: 3 (1959), 778–781
work page 1959
-
[3]
Isometric embeddings into the Minkowski space and new quasi-local mass
Mu-Tao Wang, Shing-Tung Yau, “Isometric Embeddings int o the Minkowski Space and New Quasi-Local Mass”, Communications in Mathematical Physics , 288: 3 (2009), 919–942, arXiv:0805.1370
work page Pith review arXiv 2009
-
[4]
Mapping Hawking into Unruh thermal p roperties
S. Deser, O. Levin, “Mapping Hawking into Unruh thermal p roperties”, Phys. Rev. D , 59 (1999), 064004, arXiv:hep-th/9809159
arXiv 1999
-
[5]
Hawking into Unruh mapping for embeddings of hyperbolic type
S. A. Paston, “Hawking into Unruh mapping for embeddings of hyperbolic type”, Class. Quant. Grav. , 32: 14 (2015), 145009, arXiv:1411.4329
work page Pith review arXiv 2015
-
[6]
General relativity ` a la strin g: a progress report
T. Regge, C. Teitelboim, “General relativity ` a la strin g: a progress report”, in Proceedings of the First Marcel Grossmann Meeting, Trieste, Italy, 1975 , edited by R. Ruffini, 77–88, North Holland, Amsterdam, 1977, arXiv:1612.05256
arXiv 1975
-
[7]
New embedding m odel of general relativity
S. Deser, F. A. E. Pirani, D. C. Robinson, “New embedding m odel of general relativity”, Phys. Rev. D , 14: 12 (1976), 3301–3303
work page 1976
Show all 23 references
-
[8]
On The Quantization Of Gravity By Embedding S pace-Time In A Higher Dimensional Space
M. Pavsic, “On The Quantization Of Gravity By Embedding S pace-Time In A Higher Dimensional Space”, Class. Quant. Grav. , 2 (1985), 869, arXiv:1403.6316
1985 arXiv
-
[9]
Geodetic Brane Gravity
D. Karasik, A. Davidson, “Geodetic Brane Gravity”, Phys. Rev. D , 67 (2003), 064012, arXiv:gr-qc/0207061
2003 arXiv
-
[10]
Modifications of grav- ity via differential transformations of field variables
A. A. Sheykin, D. P. Solovyev, V. V. Sukhanov, S. A. Pasto n, “Modifications of grav- ity via differential transformations of field variables”, Symmetry, 12: 2 (2020), 240, arXiv:2002.01745
2020 arXiv
-
[11]
Mimetic dark matter
A. H. Chamseddine, V. Mukhanov, “Mimetic dark matter”, Journal of High Energy Physics , 2013: 11 (2013), 135, arXiv:1308.5410
2013 arXiv
-
[12]
Mimetic Gr avity: A Review of Recent Developments and Applications to Cosmology and As trophysics
L. Sebastiani, S. Vagnozzi, R. Myrzakulov, “Mimetic Gr avity: A Review of Recent Developments and Applications to Cosmology and As trophysics”, Advances in High Energy Physics , 2017 (2017), 3156915, arXiv:1612.08661. 15
2017 arXiv
-
[13]
Pol yakov- like approach to the modified gravity and other geometric the ories
A. A. Sheykin, M. V. Ioffe, S. N. Manida, S. A. Paston, “Pol yakov- like approach to the modified gravity and other geometric the ories”, International Journal of Geometric Methods in Modern Physi cs, 17: 03, arXiv:1912.12713
1912 arXiv
-
[14]
Exact Solutions of Einstein’s Field Equations, 2nd ed
H. Stephani, D. Kramer, M. Maccallum, C. Hoenselaers, E . Herlt, “Exact Solutions of Einstein’s Field Equations, 2nd ed.”, Cambridge Universit y Press, 2003
2003
-
[16]
A Course of Differential Geometry (Kur s differencial’noj geometrii) [in Russian]
P. K. Rashevsky, “A Course of Differential Geometry (Kur s differencial’noj geometrii) [in Russian]”, GITTL, Moscow, 1950
1950
-
[17]
Global embedd ing of BTZ spacetime using generalized method of symmetric embedding s construction
A.A. Sheykin, M.V. Markov, S.A. Paston, “Global embedd ing of BTZ spacetime using generalized method of symmetric embedding s construction”, Journal of Mathematical Physics , 62: 10 (2021), 102502, arXiv:2107.00752
2021 arXiv
-
[18]
Finite Representation of the Solar Gravita tional Field in Flat Space of Six Dimensions
E. Kasner, “Finite Representation of the Solar Gravita tional Field in Flat Space of Six Dimensions”, Am. J. Math. , 43: 2 (1921), 130–133
1921
-
[19]
On the imbedding o f the Schwarzschild space-time I
T. Fujitani, M. Ikeda, M. Matsumoto, “On the imbedding o f the Schwarzschild space-time I”, J. Math. Kyoto Univ. , 1: 1 (1961), 43–61
1961
-
[20]
Extensible Black Hole Embeddings
A. Davidson, U. Paz, “Extensible Black Hole Embeddings ”, Found. Phys., 30: 5 (2000), 785–794
2000
-
[21]
Weak F ield Limit for Embedding Gravity
S. Kuptsov, M. V. Ioffe, S. N. Manida, S. A. Paston, “Weak F ield Limit for Embedding Gravity”, Universe, 8: 12 (2022), 635, arXiv:2210.13272
2022 arXiv
-
[22]
Non-relativistic limit of embedding gra vity as General Relativity with dark matter
S. A. Paston, “Non-relativistic limit of embedding gra vity as General Relativity with dark matter”, Universe, 6: 10 (2020), 163, arXiv:2009.06950
2020 arXiv
-
[23]
Nontrivial Isometric Emb eddings for Flat Spaces
S. A. Paston, T. I. Zaitseva, “Nontrivial Isometric Emb eddings for Flat Spaces”, Universe, 7: 12 (2021), 477, arXiv:2111.04188. 16
2021 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.