pith. sign in

arxiv: 2605.26410 · v1 · pith:ABGVNVDVnew · submitted 2026-05-26 · 🧮 math-ph · gr-qc· hep-th· math.DG· math.MP

Generalized Minkowski Theorem for Tetrahedra in {rm dS}³ and {rm AdS}³

Hongguang Liu , Qiaoyin Pan This is my paper

Pith reviewed 2026-07-01 16:57 UTC · model grok-4.3

classification 🧮 math-ph gr-qchep-thmath.DGmath.MP
keywords Minkowski theoremtetrahedrade Sitter spaceanti-de Sitter spaceholonomyGram matrixconvex polyhedraLorentzian geometry
0
0 comments X

The pith

Four based SO+(1,2) holonomies reconstruct a unique strictly convex tetrahedron in dS³ or AdS³.

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

The paper establishes a constant-curvature Lorentzian version of Minkowski's theorem for tetrahedra. Four non-trivial based SO+(1,2) holonomies, or their SL(2,R) lifts, determine intrinsic face normals, a dihedral Gram matrix, and oriented triple products. Under conditions of closure, nondegeneracy, and an outward convex branch, these data uniquely reconstruct a strictly convex tetrahedron up to isometry in either de Sitter or anti-de Sitter space. The determinant sign of the Gram matrix chooses between the two geometries, and the given holonomies match the tetrahedron's actual face holonomies. The construction also yields a polar dual projective tetrahedron.

Core claim

Four non-trivial based SO+(1,2) holonomies determine intrinsic face normals, a dihedral Gram matrix G, and oriented triple products of intrinsic face normals. Under closure, nondegeneracy, and the outward convex branch condition, these data reconstruct a unique strictly convex tetrahedron up to ambient isometry. The sign of det G selects the de Sitter or anti-de Sitter model, and the prescribed holonomies are exactly the based Levi-Civita face holonomies of the reconstructed tetrahedron. The extrinsic face normals also define a polar-dual projective tetrahedron.

What carries the argument

The dihedral Gram matrix G derived from the four based SO+(1,2) holonomies, which encodes face normals and dihedral data to enable reconstruction and select the ambient geometry via its determinant sign.

If this is right

  • The sign of det G selects between dS³ and AdS³ reconstructions.
  • In the all-null AdS sector the construction produces ideal dual tetrahedra.
  • In the all-timelike AdS sector the construction produces hyperideal dual tetrahedra.
  • Switching to the SU(2) real form in the all-spacelike sector recovers the known reconstruction theorem for spherical and hyperbolic tetrahedra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The holonomy-to-geometry map supplies a discrete prescription for specifying convex tetrahedra in Lorentzian constant-curvature spaces.
  • The polar-dual construction may link the theorem to duality relations between tetrahedra and their projective counterparts.
  • The result suggests that similar holonomy data could constrain discrete models of 3D Lorentzian geometries.

Load-bearing premise

That a consistent outward convex branch can be selected for the given holonomies and that the resulting Gram matrix G is nondegenerate.

What would settle it

An explicit collection of four closed, non-trivial based SO+(1,2) holonomies for which no nondegenerate Gram matrix yields a unique strictly convex tetrahedron, or for which the reconstructed holonomies fail to match the input, would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.26410 by Hongguang Liu, Qiaoyin Pan.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p029_3.png] view at source ↗
read the original abstract

We formulate and prove a constant-curvature, holonomy-valued Lorentzian analogue of Minkowski theorem for generalized tetrahedra in the constant-curvature Lorentzian spaces ${\rm dS}^3$ and ${\rm AdS}^3$. Four non-trivial based ${\rm SO}^+(1,2)$ holonomies, or equivalently ${\rm SL}(2,\mathbb{R})$ spin lifts, determine intrinsic face normals, a dihedral Gram matrix $G$, and oriented triple products of intrinsic face normals. Under closure, nondegeneracy, and the outward convex branch condition, these data reconstruct a unique strictly convex tetrahedron up to ambient isometry. The sign of $\det G$ selects the de Sitter or anti-de Sitter model, and the prescribed holonomies are exactly the based Levi-Civita face holonomies of the reconstructed tetrahedron. The extrinsic face normals also define a polar-dual projective tetrahedron. In particular, the all-null AdS sector gives ideal dual tetrahedra, and the all-timelike AdS sector gives hyperideal dual tetrahedra. In the all-spacelike sector, changing to ${\rm SU}(2)$ real form recovers the reconstruction theorem for Euclidean spherical and hyperbolic tetrahedra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper formulates and proves a constant-curvature, holonomy-valued Lorentzian analogue of Minkowski's theorem for generalized tetrahedra in dS³ and AdS³. Four non-trivial based SO⁺(1,2) holonomies (or SL(2,ℝ) lifts) determine intrinsic face normals, a dihedral Gram matrix G, and oriented triple products of the normals. Under the hypotheses of closure, nondegeneracy, and the outward convex branch condition, these data reconstruct a unique strictly convex tetrahedron up to ambient isometry; the sign of det G selects the de Sitter or anti-de Sitter model, and the input holonomies coincide with the based Levi-Civita face holonomies of the output tetrahedron. The extrinsic normals define a polar-dual projective tetrahedron, with special cases yielding ideal or hyperideal duals in AdS and recovering the Euclidean spherical/hyperbolic reconstruction via the SU(2) real form in the all-spacelike sector.

Significance. If the proof is complete, the result supplies an explicit, conditional reconstruction map from holonomy data to tetrahedra in Lorentzian constant-curvature 3-spaces, unifying and extending the classical Minkowski theorem and its hyperbolic/Euclidean counterparts. The Gram-matrix construction, the signature-based selection of ambient geometry, and the explicit treatment of ideal/hyperideal sectors provide a concrete tool for discrete Lorentzian geometry with potential relevance to 3d gravity models. The absence of free parameters or fitted quantities in the reconstruction is a strength.

minor comments (1)
  1. [Abstract] The abstract is self-contained but dense; a brief parenthetical gloss on 'based holonomies' and the precise meaning of the 'outward convex branch condition' would improve accessibility without lengthening the statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately captures the main results on the holonomy-based reconstruction of tetrahedra in dS³ and AdS³.

Circularity Check

0 steps flagged

No significant circularity; reconstruction is self-contained

full rationale

The paper states a conditional reconstruction theorem: given four based SO+(1,2) holonomies satisfying closure, nondegeneracy and outward convex branch, the data determine face normals, Gram matrix G and triple products that reconstruct a unique tetrahedron, with det G selecting dS/AdS and holonomies matching the Levi-Civita ones. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; G is constructed from the input holonomies rather than presupposing the output geometry. The hypotheses are explicitly part of the statement, and the derivation is independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The theorem rests on standard properties of the Lie groups SO+(1,2) and SL(2,R) together with the existence of a Levi-Civita connection on a tetrahedron; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • standard math SO+(1,2) and its double cover SL(2,R) act as isometries of dS^3 and AdS^3 with well-defined based holonomies around closed loops
    Invoked to define the four input holonomies and their spin lifts.
  • domain assumption A tetrahedron in constant-curvature Lorentzian space admits a Levi-Civita connection whose face holonomies are well-defined
    Required to equate the prescribed holonomies with the geometric ones of the reconstructed tetrahedron.

pith-pipeline@v0.9.1-grok · 5766 in / 1570 out tokens · 42138 ms · 2026-07-01T16:57:22.862965+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

50 extracted references · 22 canonical work pages · 14 internal anchors

  1. [2]

    the reconstructed Gram matrix G of (89), computed from the selected transported representa- tives, is nondegenerate, and every vertex principal submatrixG ˆi is nondegenerate

  2. [3]

    Set σG := −sgn (detG )

    the parabolic branch is admissible, if parabolic holonomies occur. Set σG := −sgn (detG ). Then the holonomy data determine a unique strictly convex generalized tetrahedron TG ⊂ M σG up to the global ambient group OσG. The ambient face normals of TG have the Gram matrix G, the outward branch is the one selected by (131), and the prescribed holonomies are ...

  3. [4]

    the simple-path convention, including the choice of special edge, has been fixed

  4. [5]

    central signs of the lifts have been chosen so that the connected-trace triple products satisfy the outward common-sign condition

  5. [6]

    Then, with σG := −sgn (detG ), the spin data determine a unique strictly convex generalized tetrahedron in MσG up to OσG in the sense of Theorem VI.1

    the Gram matrix G reconstructed from connected spin traces is nondegenerate, and every vertex principal submatrixG ˆi is nondegenerate. Then, with σG := −sgn (detG ), the spin data determine a unique strictly convex generalized tetrahedron in MσG up to OσG in the sense of Theorem VI.1. The projected holonomies π(Hi) are exactly the based Levi-Civita face ...

  6. [7]

    When its projective edges meet the projective AdS model as in Definition IX.1, this dual is a hyperideal tetrahedron

    By Proposition IX.3, the polar dual has vertices in AdS3∗. When its projective edges meet the projective AdS model as in Definition IX.1, this dual is a hyperideal tetrahedron. This is the point of contact with the hyperideal AdS tetrahedra and four-holed-sphere character varieties studied in [13]. In this subsection we write (X, Y) − :=X ⊤diag(−1,−1,1,1)...

  7. [8]

    all-elliptic

    All-elliptic AdS normal data Here “all-elliptic” means that all four normals are unit timelike: Gii = (Ni, Ni)− =−1.(A4) Equivalently, after choosing nonzero stabilizer coordinates, the corresponding face holonomies are elliptic. First, the matrix Gell,fin =   −1− 3 2 − 5 4 − 5 4 − 3 2 −1− 3 2 − 5 4 − 5 4 − 3 2 −1− 7 4 − 5 4 − 5 4 − 7 4 −1   (A5...

  8. [9]

    Hence all four normals may be chosen null, while all four candidate vertices are finite AdS vertices

    All-null and all-hyperbolic AdS examples The following all-null example hasG ii = 0: Gnull,fin =   0−6 18 6 −6 0 6 18 18 6 0−6 6 18−6 0   .(A11) It satisfies detG null,fin = 58320>0, det(Gnull,fin)ˆi = (−1296,−1296,−1296,−1296),(A12) with In(Gnull,fin) = (2, 2) and In((Gnull,fin)ˆi) = (1, 2) for all i. Hence all four normals may be chosen null, ...

  9. [10]

    Holonomy-to-Gram exact checks The same finite/ideal/hyperideal test can be carried out directly from the spin data, in the same order as in the reconstruction theorem. The input Gram matrices in Appendix A have rational or quadratic-radical entries, so the whole map G7− →N i, V i, o ab, O i, H i 7− →G(H) (A23) 43 is defined exactly over the corresponding ...

  10. [11]

    Allgemeine Lehrs¨ atze ¨ uber die convexen Polyeder,

    H. Minkowski, “Allgemeine Lehrs¨ atze ¨ uber die convexen Polyeder,” Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch-Physikalische Klasse1897(1897) 198–220

  11. [12]

    Schneider,Convex Bodies: The Brunn–Minkowski Theory, vol

    R. Schneider,Convex Bodies: The Brunn–Minkowski Theory, vol. 151 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2 ed., 2014

    2014

  12. [13]

    Christoffel and Minkowski problems in Minkowski space,

    F. Fillastre, “Christoffel and Minkowski problems in Minkowski space,” S´ eminaire de th´ eorie spectrale et g´ eom´ etrie32(2014–2015) 97–114

    2014

  13. [14]

    Encoding Curved Tetrahedra in Face Holonomies: a Phase Space of Shapes from Group-Valued Moment Maps

    H. M. Haggard, M. Han, and A. Riello, “Encoding Curved Tetrahedra in Face Holonomies: Phase Space of Shapes from Group-Valued Moment Maps,” Annales Henri Poincare17(2016), no. 8, 2001–2048,arXiv:1506.03053

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  14. [15]

    Polyhedra in loop quantum gravity

    E. Bianchi, P. Dona, and S. Speziale, “Polyhedra in loop quantum gravity,” Phys. Rev. D83(2011) 044035,arXiv:1009.3402

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  15. [17]

    Quantum Curved Tetrahedron, Quantum Group Intertwiner Space, and Coherent States,

    C.-H. Hsiao and Q. Pan, “Quantum Curved Tetrahedron, Quantum Group Intertwiner Space, and Coherent States,” Class. Quant. Grav.42(2025), no. 6, 065005,arXiv:2407.03242

    work page arXiv 2025

  16. [18]

    Four-dimensional spinfoam quantum gravity with a cosmological constant: Finiteness and semiclassical limit,

    M. Han, “Four-dimensional spinfoam quantum gravity with a cosmological constant: Finiteness and semiclassical limit,” Phys. Rev. D104(2021), no. 10, 104035,arXiv:2109.00034

    work page arXiv 2021

  17. [19]

    Complex Chern-Simons theory withk= 8Nand an improved spinfoam model with a cosmological constant,

    M. Han and Q. Pan, “Complex Chern-Simons theory withk= 8Nand an improved spinfoam model with a cosmological constant,” Phys. Rev. D112(2025), no. 2, 026015,arXiv:2504.06427

    work page arXiv 2025

  18. [20]

    Deficit angles in 4D spinfoam with a cosmological constant,

    M. Han and Q. Pan, “Deficit angles in 4D spinfoam with a cosmological constant,” Phys. Rev. D109 (2024), no. 8, 084040,arXiv:2401.14643

    work page arXiv 2024

  19. [21]

    Geometrical reconstruction of spinfoam critical points with a cosmological constant,

    Q. Pan, “Geometrical reconstruction of spinfoam critical points with a cosmological constant,” Phys. Rev. D112(2025), no. 2, 026008,arXiv:2504.06428

    work page arXiv 2025

  20. [22]

    6j symbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories

    J. Teschner and G. S. Vartanov, “6jsymbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories,” Lett. Math. Phys.104(2014), no. 5, 527–551, arXiv:1202.4698

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  21. [23]

    Asymptotics ofb-6jsymbols and anti-de Sitter tetrahedra,

    T. Liu, S. Ming, X. Sun, B. Wu, and T. Yang, “Asymptotics ofb-6jsymbols and anti-de Sitter tetrahedra,”arXiv:2511.20953

    work page arXiv

  22. [24]

    The hyperbolic volume of knots from quantum dilogarithm

    R. M. Kashaev, “The hyperbolic volume of knots from the quantum dilogarithm,” Lett. Math. Phys.39 (1997), no. 3, 269–275,arXiv:q-alg/9601025

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  23. [25]

    The colored Jones polynomials and the simplicial volume of a knot

    H. Murakami and J. Murakami, “The colored Jones polynomials and the simplicial volume of a knot,” Acta Math.186(2001), no. 1, 85–104,arXiv:math/9905075. 49

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  24. [26]

    Three-Dimensional Quantum Gravity, Chern-Simons Theory, and the A-Polynomial

    S. Gukov, “Three-dimensional quantum gravity, Chern-Simons theory, and the A-polynomial,” Commun. Math. Phys.255(2005), no. 3, 577–627,arXiv:hep-th/0306165

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  25. [27]

    Quantum Hyperbolic Invariants Of 3-Manifolds With PSL(2,C)-Characters

    S. Baseilhac and R. Benedetti, “Quantum hyperbolic invariants of 3-manifolds with PSL(2,C)-characters,” Topology43(2004), no. 6, 1373–1423,arXiv:math/0306280

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  26. [28]

    The quantum content of the gluing equations

    T. Dimofte and S. Garoufalidis, “The Quantum Content of the Gluing Equations,” Geom. Topol.17 (2013), no. 3, 1253–1315,arXiv:1202.6268

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  27. [29]

    The Schlafli differential equality,

    J. Milnor, “The Schlafli differential equality,” Collected papers Vol. 1: Geometry (1994)

    1994

  28. [30]

    3-DIMENSIONAL SCHL ¨AFLI FORMULA AND ITS GENERALIZATION.,

    F. LUO, “3-DIMENSIONAL SCHL ¨AFLI FORMULA AND ITS GENERALIZATION.,” Communications in Contemporary Mathematics10(2008)

    2008

  29. [31]

    Volume and rigidity of hyperbolic polyhedral $3$-manifolds

    F. Luo and T. Yang, “Volume and rigidity of hyperbolic polyhedral 3-manifolds,” arXiv preprint arXiv:1404.5365 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  30. [32]

    Discrete conformal maps and ideal hyperbolic polyhedra,

    A. I. Bobenko, U. Pinkall, and B. A. Springborn, “Discrete conformal maps and ideal hyperbolic polyhedra,” Geometry & Topology19(2015), no. 4, 2155–2215

    2015

  31. [33]

    O’Neill,Semi-Riemannian Geometry With Applications to Relativity

    B. O’Neill,Semi-Riemannian Geometry With Applications to Relativity. Academic Press, New York, 1983

    1983

  32. [34]

    R. A. Horn and C. R. Johnson,Matrix Analysis. Cambridge University Press, Cambridge, 2 ed., 2013

    2013

  33. [35]

    A. F. Beardon,The Geometry of Discrete Groups, vol. 91 ofGraduate Texts in Mathematics. Springer, New York, 1983

    1983

  34. [36]

    Lorentz spacetimes of constant curvature,

    G. Mess, “Lorentz spacetimes of constant curvature,” Geom. Dedicata126(2007) 3–45

    2007

  35. [37]

    The symplectic nature of fundamental groups of surfaces,

    W. M. Goldman, “The symplectic nature of fundamental groups of surfaces,” Advances in Mathematics 54(1984), no. 2, 200–225

    1984

  36. [38]

    The Yang-Mills equations over Riemann surfaces,

    M. F. Atiyah and R. Bott, “The Yang-Mills equations over Riemann surfaces,” Philosophical Transactions of the Royal Society of London. Series A308(1983), no. 1505, 523–615

    1983

  37. [39]

    Characteristic forms and geometric invariants,

    S.-S. Chern and J. Simons, “Characteristic forms and geometric invariants,” Annals of Mathematics99 (1974), no. 1, 48–69

    1974

  38. [40]

    Quantum field theory and the Jones polynomial,

    E. Witten, “Quantum field theory and the Jones polynomial,” Communications in Mathematical Physics121(1989), no. 3, 351–399

    1989

  39. [41]

    Topological components of spaces of representations,

    W. M. Goldman, “Topological components of spaces of representations,” Inventiones mathematicae93 (1988), no. 3, 557–607

    1988

  40. [42]

    RG Domain Walls and Hybrid Triangulations

    T. Dimofte, D. Gaiotto, and R. van der Veen, “RG Domain Walls and Hybrid Triangulations,” Adv. Theor. Math. Phys.19(2015), no. 1, 137–276,arXiv:1304.6721

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  41. [43]

    An Introduction to the Volume Conjecture

    H. Murakami, “An introduction to the volume conjecture,” arXiv preprint arXiv:1002.0126 (2010)

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  42. [44]

    6j–symbols, hyperbolic structures and the volume conjecture,

    F. Costantino, “6j–symbols, hyperbolic structures and the volume conjecture,” Geometry & Topology 11(2007), no. 3, 1831–1854

    2007

  43. [45]

    Liu and Q

    H. Liu and Q. Pan to appear

  44. [46]

    Asymptotic analysis of spin foam amplitude with timelike triangles

    H. Liu and M. Han, “Asymptotic analysis of spin foam amplitude with timelike triangles,” Phys. Rev. D99(2019), no. 8, 084040,arXiv:1810.09042

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  45. [47]

    Analytic continuation of spinfoam models,

    M. Han and H. Liu, “Analytic continuation of spinfoam models,” Phys. Rev. D105(2022), no. 2, 024012,arXiv:2104.06902

    work page arXiv 2022

  46. [48]

    Quantum Group Intertwiner Space From Quantum Curved Tetrahedron,

    M. Han, C.-H. Hsiao, and Q. Pan, “Quantum Group Intertwiner Space From Quantum Curved Tetrahedron,” Class. Quant. Grav.41(2024), no. 16, 165008,arXiv:2311.08587

    work page arXiv 2024

  47. [49]

    General relativity without coordinates,

    T. Regge, “General relativity without coordinates,” Nuovo Cim.19(1961) 558–571

    1961

  48. [50]

    Semiclassical limit of Racah coefficients,

    G. Ponzano and T. Regge, “Semiclassical limit of Racah coefficients,” inSpectroscopic and Group Theoretical Methods in Physics, F. Bloch, ed., pp. 1–58. North-Holland, Amsterdam, 1968

    1968

  49. [51]

    Classical 6j-symbols and the tetrahedron

    J. Roberts, “Classical 6j-symbols and the tetrahedron,” Geom. Topol.3(1999) 21–66, arXiv:math-ph/9812013

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  50. [52]

    The asymptotics of an amplitude for the 4-simplex

    J. W. Barrett and R. M. Williams, “The asymptotics of an amplitude for the 4-simplex,” Adv. Theor. Math. Phys.3(1999), no. 2, 209–215,arXiv:gr-qc/9809032

    work page internal anchor Pith review Pith/arXiv arXiv 1999