Pith. Sign in

REVIEW

Regge Dilaton Gravity from BF Theory

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Florian Girelli, Christopher Pollack

High Energy Physics - Theory · Submitted 15 Oct 2026 · 52 references

Pith's verdict: This paper cleanly resolves the long-standing measure ambiguity in 2D Regge dilaton gravity by deriving it from BF theory; the derivation is careful and the authors are honest about limitations.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 16, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.21058 (version 1)
Pith ID2ZSUN6BL, Pith's permanent record of this paper and its review
CitationChristopher Pollack, Florian Girelli. "Regge Dilaton Gravity from BF Theory." arXiv:2610.21058 (2026). https://pith.science/paper/2ZSUN6BL
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

A gauge-theoretic derivation of the path-integral measure for two-dimensional dilaton gravity on a curved triangulation.

The reading

This paper establishes that the discrete path integral of two-dimensional Euclidean dilaton gravity with vanishing or negative cosmological constant can be derived from a ribbon discretization of BF theory. The key step is a partial gauge fixing that uses the Iwasawa decomposition of the BF gauge group, separating rotational and translational holonomies. The resulting split BF path integral, defined on a disk, is shown to reduce exactly to the homogeneous Regge path integral, including the specific measure on edge lengths and the deficit-angle delta constraints. This provides a first-principles derivation of the integration measure for the geometric Regge theory, which otherwise must be postulated ad hoc.

What carries the argument

The Iwasawa decomposition of the BF gauge group G_{1,κ} into a rotation subgroup H_1 = SO(2) and a translation subgroup AN_{1,κ} (a non-unimodular Lie group). This splitting allows a partial gauge fixing that assigns the long ribbon-side holonomies to triangle geometry (translations) and the short ribbon-side holonomies to vertex curvature (rotations). The resulting split BF constraints—δ_{AN}(G_τ) for triangle closure and δ_{SO(2)}(R_v) for deficit angles—are exactly the geometric constraints of homogeneous Regge gravity. The non-unimodular nature of AN_{1,κ} is handled using matched-pair integration identities, leading to a Faddeev-Popov determinant of unity.

Extended reading notes

Core claim

The paper proves that the split BF path integral (137) on a disk, after partial gauge fixing using the Iwasawa decomposition of the Euclidean isometry group (SO(2) ▷◁ AN_{1,κ}), reduces to the homogeneous Regge path integral (63) for Euclidean signature with cosmological constant Λ ≤ 0. The reduction identifies the AN_{1,κ} triangle constraints with geodesic triangle closure and the SO(2) vertex constraints with the Regge deficit angle modulo 2π. The Haar measures of BF theory push forward to the edge-length measure ∏ S_Λ(l_e) dl_e / ∏ V_{τ,Λ} and the periodic deficit-angle delta distributions. This shows that the topological BF theory, through a tailored gauge fixing, determines both the action and the measure of the geometric Regge path integral, resolving the measure ambiguity in the discrete gravitational path integral.

Load-bearing premise

The Faddeev-Popov determinant for the partial gauge fixing from ribbon BF to split BF is exactly one, relying on non-unimodular integration identities that may not hold if the ribbon flatness constraints or the chosen trees yield a non-trivial Jacobian.

Editorial extensions

If this is right

  • If the correspondence holds for non-trivial topologies (beyond the disk), the BF theory would provide a complete discretization of two-dimensional Euclidean dilaton gravity on any surface, including the measure.
  • The same technique may be extended to Lorentzian signature (σ = -1) to derive a Lorentzian Regge path integral with a definite measure from BF theory.
  • The ribbon construction and the Iwasawa gauge fixing could generalize to higher dimensions, potentially offering a new route to define the path-integral measure in three- and four-dimensional Regge gravity from topological field theories.
  • The split BF path integral automatically accommodates branched geometries (conical defects with deficit angle multiples of 2π) unless an extra restriction to |δ_v| < π is imposed; this encodes a natural inclusion of topological sectors.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The derivation relies on the disk topology to avoid global holonomy constraints; on surfaces with genus or boundary cycles, the split BF constraints likely acquire additional holonomy variables that must be integrated, potentially modifying the measure.
  • The correspondence is established for Euclidean Λ ≤ 0; the Euclidean Λ > 0 case would require complexifying the gauge group and imposing reality conditions, which the paper explicitly leaves for future work, so the method is not yet proven for positive cosmological constant.
  • The split BF to Regge mapping uses a fixed orientation branch; including the opposite orientation would double the measure and may correspond to summing over orientation in the Regge path integral.
  • The paper does not construct the Regge path integral from Feynman amplitudes of a Baratin–Freidel type model; closing this circle in two dimensions remains an open test of the framework.
Original abstract

In this work we investigate the relation between gauge and geometric descriptions of two-dimensional dilaton gravity at the level of discrete path integrals. We develop a Regge discretization of Euclidean two-dimensional dilaton gravity using homogeneously curved simplices, as well as a ribbon refined discretization of two-dimensional BF theory adapted to homogeneously curved spacetimes. For Euclidean signature and vanishing or negative cosmological constant we show how the ribbon BF discretization, through appropriate gauge fixings, leads to the Regge dilaton gravity formulation. The resulting correspondence makes explicit how a geometric Regge path integral with its associated measure emerges from its gauge theoretic formulation.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-16: 1 request, 3,671 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.43 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.20 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

In this work we investigate the relation between gauge and geometric descriptions of two-dimensional dilaton gravity at the level of discrete path integrals. We develop a Regge discretization of Euclidean two-dimensional dilaton gravity using homogeneously curved simplices, as well as a ribbon refined discretization of two-dimensional BF theory adapted to homogeneously curved spacetimes. For Euclidean signature and vanishing or negative cosmological constant we show how the ribbon BF discretization, through appropriate gauge fixings, leads to the Regge dilaton gravity formulation. The resulting correspondence makes explicit how a geometric Regge path integral with its associated measure emerges from its gauge theoretic formulation.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 In this work we investigate the relation between gauge and geometric descriptions of two-dimensional dilaton gravity at the level of discrete path integrals. contribution 0.81 0.83 0.06 asserted 0.57
s1 We develop a Regge discretization of Euclidean two-dimensional dilaton gravity using homogeneously curved simplices, as well as a ribbon refined discretization of two-dimensional BF theory adapted to homogeneously curved spacetimes. method 0.50 0.95 0.07 asserted 1.00
s2 For Euclidean signature and vanishing or negative cosmological constant we show how the ribbon BF discretization, through appropriate gauge fixings, leads to the Regge dilaton gravity formulation. result 0.89 0.94 0.61 asserted 1.00
s3 The resulting correspondence makes explicit how a geometric Regge path integral with its associated measure emerges from its gauge theoretic formulation. interpretation 0.80 0.89 0.64 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.86 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. On the left side, we have a triangulation of the northern hemisphere using spherical triangles built from geodesics. In the center, we illustrate how in this case the deficit angle is zero modulo 2π. In the presence of additional curvature concentrated at the vertex, the sum of the angles would not be 2π. On the right side, the positive curvature of the spherical triangle is manifest in that the sum of the angles is larger than π. 2.1.1 Geometry of the triangulation Each τ is taken to have homogeneous sectional curvature K by definition.4 We choose K = Λ, (27) 4On a Riemannian…
Figure 2. Three BF discretizations. Left: holonomies on oriented links of ∆∗ , with grey dual face v ∗ and node n = τ ∗ . Center: holonomies on oriented edges of ∆, with green triangle face τ = n ∗ . Right: the ribbon refinement, with holonomies on all sides of the blue ribbon faces (cf
Figure 3. A ribbon and its four neighboring faces. All ribbon sides carry Gσ,κ-holonomies of the same connection A. The two paths from (τR, s(e)) to (τL, t(e)) have products h¯ s(e) e ¯ℓ τL e and ¯ℓ τR e h¯ t(e) e respectively. The shaded neighboring regions continue into the rest of the cellulation. We will often refer to h¯ s(e) e , h¯ t(e) e as the short side holonomies, and ¯ℓ τL e , ¯ℓ τR e as the long side holonomies. The next step is to determine the appropriate discrete constraints to impose in this scheme. The key point is that we have three regions on which to impose the continuum…
Figure 4. The ribbon BF 2 ↔ 2 move with common boundary holonomies a, ¯ ¯b, c, ¯ ¯d. Circled corners mark the retained boundary frames, the blue ribbon sides are fixed to the identity by this frame convention. The 3 ↔ 1 Pachner move. Insert v0 inside τ0 = (v1v2v3), creating edges e4 = (v0v2), e5 = (v0v3), and e6 = (v0v1) and their ribbons. The boundary holonomies remain a, ¯ ¯b, c¯ (
Figure 5. The ribbon BF 3 ↔ 1 move with common boundary holonomies a, ¯ ¯b, c¯. The blue tree consists of h¯v0 e4 , h¯v0 e5 , ¯ℓ τ3 e6 and is rooted at (τ3, v1). Circled corners mark the retained boundary frames; their connecting boundary short sides are fixed to the identity. Aτ0 = δGσ,κ (¯a¯bc¯) (95) The three triangle amplitude is given by integrating the following constraints over all ribbon holonomy data, R¯ v0 = h¯v0 e4 h¯v0 e5 h¯v0 e6 (96a) W¯ e4 = h¯v0 e4 ¯ℓ τ1 e4 (h¯v2 e4 ) −1 ( ¯ℓ τ3 e4 ) −1 , W¯ e5 = h¯v0 e5 ¯ℓ τ2 e5 (h¯v3 e5 ) −1 ( ¯ℓ τ1 e
Figure 6. For clarity we illustrate the local trees defined by the products G¯ τ and R¯ v. The blue arrows denote the trees and the ordering along the tree upon which the gauge fixing is performed. The circled corner denotes the cut of the respective constraints, and the dotted lines denote the holonomy excluded from the trees. Determine the gauge fixing parameters. Consider the Iwasawa factorization of the gauge parameter gτ v ∈ Gσ,κ at each corner (τ, v) as, gτ v = hτ vℓτ v, hτ v ∈ Hσ, ℓτ v ∈ ANσ,κ, (118) such that hτ v1 = 1 at each triangle root, and ℓτ1v = 1 at each vertex/dual face root.…
Figure 7. Edge-adapted frames at the corners (τi , v) and (τi−1, v). The solid arrows are the first frame axes, along ei and ei−1 respectively. The ribbon relation identifies the shared-edge tangent (dashed blue arrow), whose angle in the τi frame is −β τi v . Thus the short-side rotation is exp(−β τi v J). This recursion closes because Gτ ≈ 1. Since H1 fixes x0, L ′ 1x0 = h −1 τ v1 L1x0, L′ 1L ′ 2x0 = h −1 τ v1 L1L2x0 =⇒ φ ′ τ = φτ − θτ (156) Thus φτ = 0 (mod 2π) may be imposed by the insertion, 1 = Z 2π 0 dθτ δ2π(φτ − θτ ) (157) giving the first claim. The second claim fo
Figure 8. Depicting the hyperbolic case here, the 2 ↔ 2 Pachner move in the Regge discretization shows that the contribution to the path integral from a quadrilateral (1234) with edge inserted along the (13) diagonal is equivalent to the contribution instead with an edge inserted along the (24) diagonal on a common convex sector with boundary data l12, l23, l34, l41. measure 1 2π dLq2 dLq3 dLq4 (179) 34
Figure 9. Depicting the hyperbolic case here, the 3 ↔ 1 Pachner move for the Regge discretization shows that the amplitude for the configuration of three triangles incident on a shared vertex v0 after fixing the inserted vertex is equal to the amplitude of a single triangle with the same boundary data. represented by q0x0, where x0 remains the fixed base point of X. Then (178) gives dLq0 = SΛ(l01) dl01 SΛ(l02) dl02 Vτ3,Λ . (184) For each allowed position, l03 is fixed and δ0(l; Λ) = 0. On this branch, differentiating the cosine laws at fixed boundary lengths, l01, and l02 gives

Figures reproduced from arXiv:2610.21058 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.