Recognition: 2 theorem links
· Lean TheoremThe many facets of a hyperbolic tetrahedron: open and closed triangulations of 3d gravity
Pith reviewed 2026-05-10 17:47 UTC · model grok-4.3
The pith
A restricted open Virasoro TQFT computes 3d gravitational path integrals on compact regions, using fixed-length boundary conditions above the black hole threshold and fixed-angle conditions below it.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The open Virasoro TQFT, obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds, computes gravitational path integrals on compact regions with fixed-length boundary conditions for states above the black hole threshold and fixed-angle boundary conditions for states below the threshold. For a special class of manifolds involving only boundary Wilson loops, the relation between Conformal Turaev-Viro theory and the diagonal sector of two copies of Virasoro TQFT arises naturally from an open-closed duality.
What carries the argument
The open Virasoro TQFT, defined by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds. It carries the argument by supplying the quantum theory whose partition functions match the gravitational path integrals under the stated boundary conditions.
If this is right
- Gravitational path integrals in the open sector can be evaluated using the restricted TQFT for any compact region whose boundary data respect the admissibility conditions.
- Boundary conditions switch from fixed lengths to fixed angles precisely at the black hole threshold.
- The open-closed duality directly produces the correspondence between Conformal Turaev-Viro theory and the diagonal sector of two Virasoro TQFT copies when only boundary Wilson loops are present.
Where Pith is reading between the lines
- Triangulations built from hyperbolic tetrahedra can serve as a concrete discretization that realizes both open and closed sectors of 3d gravity within the same TQFT framework.
- The threshold-dependent boundary conditions suggest that the model may extend naturally to include dynamical boundaries or defects that cross the black hole threshold.
- Open-closed duality relations of this type could be tested in other TQFTs to see whether similar reductions to diagonal sectors appear for Wilson-loop-only manifolds.
Load-bearing premise
The restriction of the full open-closed Virasoro TQFT to a subclass of admissible manifolds accurately captures the open sector of a CFT ensemble and yields the stated gravitational path integrals.
What would settle it
An explicit computation of the path integral for a simple admissible manifold (such as a tetrahedron with fixed boundary lengths) that fails to reproduce the expected gravitational result for states above the black hole threshold.
read the original abstract
We study a model of 3d gravity relevant to the open sector of a CFT ensemble. The quantum theory is the open Virasoro TQFT, obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds. We show that it computes gravitational path integrals on compact regions with fixed-length boundary conditions for states above the black hole threshold, and fixed-angle boundary conditions for states below the threshold. Focusing on a special class of manifolds involving only boundary Wilson loops, we further show that the relation between Conformal Turaev-Viro theory and the diagonal sector of two copies of Virasoro TQFT arises naturally from an open-closed duality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the open Virasoro TQFT by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds and claims this computes gravitational path integrals on compact regions of 3d gravity. Fixed-length boundary conditions are used for states above the black hole threshold and fixed-angle conditions below it. For manifolds involving only boundary Wilson loops, an open-closed duality is shown to yield the relation between Conformal Turaev-Viro theory and the diagonal sector of two Virasoro TQFT copies.
Significance. If the claimed equivalences hold, the work supplies a TQFT framework for the open sector of CFT ensembles in 3d gravity, with potential to clarify path-integral computations near the black hole threshold and to derive known relations via duality without extra assumptions. The restriction to admissible manifolds and the Wilson-loop specialization are presented as natural consequences of the TQFT structure.
major comments (1)
- The central claim that the restricted open Virasoro TQFT computes the stated gravitational path integrals rests on the definition of admissible manifolds and the boundary-condition switch at the black hole threshold; the manuscript must supply explicit derivations or checks (e.g., in the section presenting the restriction and the path-integral evaluation) rather than asserting the result from the TQFT axioms alone.
minor comments (2)
- Clarify the precise definition of 'admissible manifolds' and how the restriction is implemented, including any explicit criteria or examples, to make the construction reproducible.
- The title emphasizes hyperbolic tetrahedra and triangulations, yet the abstract and summary focus on TQFT duality; ensure the introduction explicitly connects the tetrahedron geometry to the admissible-manifold restriction.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the central claim. We address the major comment below and will revise the manuscript to strengthen the presentation.
read point-by-point responses
-
Referee: The central claim that the restricted open Virasoro TQFT computes the stated gravitational path integrals rests on the definition of admissible manifolds and the boundary-condition switch at the black hole threshold; the manuscript must supply explicit derivations or checks (e.g., in the section presenting the restriction and the path-integral evaluation) rather than asserting the result from the TQFT axioms alone.
Authors: We agree that the connection between the restriction to admissible manifolds and the gravitational path integrals, as well as the boundary-condition switch, would be clearer with additional explicit steps. In the revised manuscript we will expand the relevant section (currently Section 3) to include: (i) a step-by-step derivation showing how the TQFT axioms imply the admissible-manifold restriction and reproduce the fixed-length boundary conditions above the black-hole threshold; (ii) an analogous derivation for the fixed-angle conditions below threshold; and (iii) an explicit path-integral evaluation on a simple admissible manifold (the solid torus with a single Wilson loop) that demonstrates the threshold-dependent switch without additional assumptions. These additions will be placed immediately after the definition of admissible manifolds and before the open-closed duality discussion. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper defines the open Virasoro TQFT explicitly as the restriction of the full open-closed Virasoro TQFT to a subclass of admissible manifolds, then shows that this restricted theory computes the gravitational path integrals on compact regions with the stated boundary conditions. This is a direct construction rather than a derivation that reduces by construction to its own fitted inputs or self-citations. The open-closed duality for Wilson-loop manifolds is presented as following from the TQFT structure itself. No load-bearing step is shown to be equivalent to its inputs via self-definition, renaming of known results, or imported uniqueness theorems from the same authors. The derivation chain is self-contained against the external benchmark of the full open-closed Virasoro TQFT.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The open Virasoro TQFT is obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We study a model of 3d gravity relevant to the open sector of a CFT ensemble. The quantum theory is the open Virasoro TQFT... computes gravitational path integrals on compact regions with fixed-length boundary conditions... fixed-angle boundary conditions...
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Achucarro and P
A. Achucarro and P. K. Townsend,A Chern-Simons Action for Three-Dimensional anti-De Sitter Supergravity Theories,Phys. Lett. B180(1986) 89
1986
-
[2]
Witten,(2+1)-Dimensional Gravity as an Exactly Soluble System,Nucl
E. Witten,(2+1)-Dimensional Gravity as an Exactly Soluble System,Nucl. Phys. B 311(1988) 46
1988
-
[3]
P. Kraus and A. Maloney,A cardy formula for three-point coefficients or how the black hole got its spots,JHEP05(2017) 160 [1608.03284]
- [4]
-
[5]
S. Collier, A. Maloney, H. Maxfield and I. Tsiares,Universal dynamics of heavy operators in CFT 2,JHEP07(2020) 074 [1912.00222]
-
[6]
A. Belin and J. de Boer,Random statistics of OPE coefficients and Euclidean wormholes,Class. Quant. Grav.38(2021) 164001 [2006.05499]
- [7]
- [8]
-
[9]
J. Chandra, S. Collier, T. Hartman and A. Maloney,Semiclassical 3D gravity as an average of large-c CFTs,JHEP12(2022) 069 [2203.06511]
-
[10]
S. Collier, L. Eberhardt and M. Zhang,Solving 3d gravity with Virasoro TQFT, SciPost Phys.15(2023) 151 [2304.13650]
- [11]
-
[12]
J. de Boer, D. Liska, B. Post and M. Sasieta,A principle of maximum ignorance for semiclassical gravity,JHEP2024(2024) 003 [2311.08132]
-
[13]
S. Collier, L. Eberhardt and M. Zhang,3d gravity from Virasoro TQFT: Holography, wormholes and knots,SciPost Phys.17(2024) 134 [2401.13900]. – 30 –
-
[14]
J. de Boer, D. Liska and B. Post,Multiboundary wormholes and OPE statistics,JHEP 10(2024) 207 [2405.13111]
- [15]
-
[16]
Chandra,Statistics in 3d gravity from knots and links,JHEP12(2025) 139 [2508.10864]
J. Chandra,Statistics in 3d gravity from knots and links,JHEP12(2025) 139 [2508.10864]
- [17]
-
[18]
Wang,Crossing symmetry of OPE statistics,2512.21258
D. Wang,Crossing symmetry of OPE statistics,2512.21258
-
[19]
Quantum Gravity Partition Functions in Three Dimensions
A. Maloney and E. Witten,Quantum Gravity Partition Functions in Three Dimensions,JHEP02(2010) 029 [0712.0155]
work page Pith review arXiv 2010
-
[20]
C. A. Keller and A. Maloney,Poincare Series, 3D Gravity and CFT Spectroscopy, JHEP02(2015) 080 [1407.6008]
work page Pith review arXiv 2015
-
[21]
J. Cotler and K. Jensen,AdS 3 gravity and random CFT,JHEP04(2021) 033 [2006.08648]
-
[22]
H. Maxfield and G. J. Turiaci,The path integral of 3D gravity near extremality; or, JT gravity with defects as a matrix integral,JHEP01(2021) 118 [2006.11317]
-
[23]
G. Di Ubaldo and E. Perlmutter,AdS 3/RMT2 duality,JHEP12(2023) 179 [2307.03707]
-
[24]
Modular-Invariant Random Matrix Theory and AdS3 Wormholes,
J. Boruch, G. Di Ubaldo, F. M. Haehl, E. Perlmutter and M. Rozali, Modular-invariant random matrix theory and AdS 3 wormholes,2503.00101
-
[25]
Witten,Quantum Field Theory and the Jones Polynomial,Commun
E. Witten,Quantum Field Theory and the Jones Polynomial,Commun. Math. Phys. 121(1989) 351
1989
-
[26]
T. Takayanagi,Holographic Dual of BCFT,Phys. Rev. Lett.107(2011) 101602 [1105.5165]
work page Pith review arXiv 2011
-
[27]
M. Fujita, T. Takayanagi and E. Tonni,Aspects of AdS/BCFT,JHEP11(2011) 043 [1108.5152]
work page Pith review arXiv 2011
- [28]
-
[29]
Y. Kusuki,Analytic bootstrap in 2D boundary conformal field theory: towards braneworld holography,JHEP03(2022) 161 [2112.10984]
-
[30]
T. Numasawa and I. Tsiares,Universal dynamics of heavy operators in boundary CFT2,JHEP08(2022) 156 [2202.01633]
-
[31]
H. Geng,Aspects of AdS 2 quantum gravity and the Karch-Randall braneworld,JHEP 09(2022) 024 [2206.11277]. – 31 –
- [32]
- [33]
- [34]
- [35]
-
[36]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The Virasoro minimal string,SciPost Phys.16(2024) 057 [2309.10846]
-
[37]
D. L. Jafferis, L. Rozenberg, D. Sarkar and D. Wang,On random matrix statistics of 3d gravity,2512.05045
work page internal anchor Pith review Pith/arXiv arXiv
- [38]
-
[39]
Hartman,Triangulating quantum gravity in AdS3, 2507.12696
T. Hartman,Triangulating quantum gravity in AdS 3,2507.12696
- [40]
- [41]
-
[42]
V. G. Turaev and O. Y. Viro,State sum invariants of 3-manifolds and quantum 6 j-symbols,Topology31(1992) 865
1992
-
[43]
Hartman,Conformal Turaev-Viro Theory, 2507.11652
T. Hartman,Conformal Turaev-Viro Theory,2507.11652
- [44]
-
[45]
J.-M. Schlenker and E. Witten,No ensemble averaging below the black hole threshold, JHEP07(2022) 143 [2202.01372]
-
[46]
A. Karch and L. Randall,Locally localized gravity,JHEP05(2001) 008 [hep-th/0011156]
work page Pith review arXiv 2001
-
[47]
Open and Closed String Interpretation of SUSY CFT's on Branes with Boundaries
A. Karch and L. Randall,Open and closed string interpretation of SUSY CFT’s on branes with boundaries,JHEP06(2001) 063 [hep-th/0105132]
work page Pith review arXiv 2001
-
[48]
D. Marolf and H. Maxfield,Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information,JHEP08(2020) 044 [2002.08950]
-
[49]
J. L. Cardy,Conformal Invariance and Surface Critical Behavior,Nucl. Phys. B240 (1984) 514. – 32 –
1984
-
[50]
H. L. Verlinde,Conformal Field Theory, 2-DQuantum Gravity and Quantization of Teichmuller Space,Nucl. Phys. B337(1990) 652
1990
- [51]
- [52]
-
[53]
M. Miyaji and C. Murdia,Holographic BCFT with a Defect on the End-of-the-World brane,JHEP11(2022) 123 [2208.13783]
-
[54]
Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys
G. Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys. Rev. D47(1993) 3275
1993
-
[55]
G. W. Moore and N. Seiberg,Polynomial Equations for Rational Conformal Field Theories,Phys. Lett. B212(1988) 451
1988
-
[56]
G. W. Moore and N. Seiberg,Classical and Quantum Conformal Field Theory, Commun. Math. Phys.123(1989) 177
1989
-
[57]
J. L. Cardy and D. C. Lewellen,Bulk and boundary operators in conformal field theory, Phys. Lett. B259(1991) 274
1991
-
[58]
D. C. Lewellen,Sewing constraints for conformal field theories on surfaces with boundaries,Nucl. Phys. B372(1992) 654
1992
-
[59]
J. Teschner and G. Vartanov,6j symbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories,Lett. Math. Phys.104(2014) 527 [1202.4698]
-
[60]
J. Teschner and G. S. Vartanov,Supersymmetric gauge theories, quantization ofM flat, and conformal field theory,Adv. Theor. Math. Phys.19(2015) 1 [1302.3778]
-
[61]
Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540
L. Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540
-
[62]
Liouville bootstrap via harmonic analysis on a noncompact quantum group
B. Ponsot and J. Teschner,Liouville bootstrap via harmonic analysis on a noncompact quantum group,hep-th/9911110
-
[63]
B. Ponsot and J. Teschner,Clebsch-Gordan and Racah-Wigner coefficients for a continuous series of representations of U(q)(sl(2,R)),Commun. Math. Phys.224 (2001) 613 [math/0007097]
-
[64]
W. P. Thurston,Hyperbolic structures on 3-manifolds i: Deformation of acylindrical manifolds,Annals of Mathematics124(1986) 203
1986
-
[65]
Ushijima,A volume formula for generalised hyperbolic tetrahedra, inNon-Euclidean Geometries: J´ anos Bolyai Memorial Volume, pp
A. Ushijima,A volume formula for generalised hyperbolic tetrahedra, inNon-Euclidean Geometries: J´ anos Bolyai Memorial Volume, pp. 249–265. Springer, 2006
2006
-
[66]
Roberts,Skein theory and Turaev-Viro invariants,Topology34(1995)
J. Roberts,Skein theory and Turaev-Viro invariants,Topology34(1995) . – 33 –
1995
- [67]
- [68]
- [69]
- [70]
- [71]
- [72]
- [73]
-
[74]
L. Chen, L.-Y. Hung, Y. Jiang and B.-X. Lao,Deriving the non-perturbative gravitational dual of quantum Liouville theory from BCFT operator algebra,SciPost Phys.19(2025) 163 [2403.03179]
-
[75]
L.-Y. Hung and Y. Jiang,Building up quantum spacetimes with BCFT Legos, 2404.00877
- [76]
-
[77]
H. Geng, L.-Y. Hung and Y. Jiang,It from ETH: Multi-interval Entanglement and Replica Wormholes from Large-cBCFT Ensemble,2505.20385. – 34 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.