REVIEW 4 minor
Spectral determinants of the Bolza surface and the Klein quartic
T0 review · 0 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proves exact closed formulas for the spectral determinants of the Bolza surface (genus two) and the Klein quartic (genus three), the most symmetric compact hyperbolic surfaces of their genera.
desk verdict First closed-form spectral determinants for smooth hyperbolic surfaces; likely right, but the Klein formula rests on inherited normalizations that deserve a numerical check before being used as an oracle value. 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
Four pieces carry the argument. (1) A representation-theoretic spectral reduction (Lemma 2.1): a virtual identity among induced trivial characters of a finite isometry group, such as (3.2) for V4 on the Bolza surface or (4.2) for PSL(2,7) on the Klein quartic, forces an exact identity among spectral zeta functions of quotient orbifolds, hence a multiplicative determinant relation. (2) The singular Polyakov anomaly formula (2.4), recast as (3.6), splits a cone-metric determinant into a flat reference determinant, universal cone constants, regular parts collected in an H-functional, and one Liouville action S. (3) Belyi maps—holomorphic maps to P^1 with critical values in {0,1,∞}—pull the thre
What would settle it
Recompute det Δ_B and det Δ_K to high precision with an independent eigenvalue algorithm and compare with Theorems 3.6 and 4.5; the reported fourteen-digit agreement for Bolza would then be confirmed or contradicted. A cheaper test is to evaluate the alternative V4-reduction determinant identity (A.1) numerically, since it shares no normalization constants with the PSL(2,7) route.
Extended reading notes
Core claim
The paper claims two exact evaluations. For the smooth hyperbolic metric of curvature −1, the zeta-regularized Laplacian determinant of the Bolza surface equals a closed product of rational powers of 2, 3, 1+√2, π, a Gamma factor G_B, and an exponential of ζ'_R(−1) plus a Hurwitz-zeta term Z_B (Theorem 3.6); the Klein quartic determinant has the same closed structure with 7, 2, π, G_K, and Z_K (Theorem 4.5). The formulas are reached by reducing each smooth surface to singular quotient orbifolds: a virtual permutation-representation identity for the V4 action on the Bolza surface and a PSL(2,7) identity for the Klein quartic give exact multiplicative relations among determinants of cone-spher
Load-bearing premise
The calculation assumes, without re-deriving it, the closed-form determinant and Liouville action of the constant-curvature three-cone sphere from earlier work; if that input has a sign or normalization error, every final formula inherits an undetermined global factor.
Editorial extensions
If this is right
- The closed Bolza and Klein determinants immediately give closed values of the Selberg zeta derivatives at s=1 for these two arithmetic surfaces (Corollary 5.1).
- The same V4 reduction holds on the equisymmetric strata through both surfaces, yielding determinant identities and first-variation identities (6.3), (6.4), (6.8), (6.9) that constrain deformations.
- Every compact quasiplatonic hyperbolic surface is a critical point of the spectral determinant on its Teichmüller space (Proposition 7.1); the Bolza surface and Klein quartic are the genus-two and genus-three instances.
- The new determinants can serve as smooth reference values in the singular anomaly formula for any conformally related singular metric on B or K, reducing further determinant evaluations to global and local conformal data.
- The independent V4-reduction of the Klein determinant reproduces formula (4.20), giving an internal consistency check of the main PSL(2,7) calculation.
Reading between the lines
- Applying the same V4 reduction to the other quasiplatonic points listed in Proposition 6.5—the Fermat quartic, C6, Q48, H32, and H48—should produce closed determinant formulas once their quotient Belyi maps are written down; the paper identifies these points but does not carry out those calculations.
- Because the exact values provide the normalization constant missing from first-variation formulas, identities (6.4) and (6.9) can in principle be integrated along the equisymmetric strata to turn the symmetric-point determinants into full determinant functions of the deformation parameters; the obstacle on the D8-locus is the unavailability of an explicit four-cone Liouville action, not the spectr
- A testable numerical extension is to compute the gradient of log det Δ on small Teichmüller deformations at the other quasiplatonic surfaces named in Proposition 6.5; Proposition 7.1 predicts that the gradient vanishes at each of them.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives closed explicit formulas for the zeta-regularized spectral determinants of the smooth hyperbolic Bolza surface and the Klein quartic. The strategy is a spectral reduction à la Sunada: virtual identities between permutation representations of the automorphism group yield multiplicative relations expressing the determinant of the surface in terms of determinants of quotient orbifolds. For the Bolza surface a V4-relation reduces the determinant to two isometric singular tori, a six-cone sphere, and a five-cone sphere; for the Klein quartic a PSL(2,7)-relation reduces it to a singular CM torus and two three-cone spheres. The elliptic factors are evaluated via the singular Polyakov anomaly formula, using explicit Belyi maps and the closed-form three-cone sphere data from the author's previous work [19,20]; the genus-zero factors are evaluated by the corresponding three-cone determinant formulas. The paper also states determinant and first-variation identities on equisymmetric strata, proves that every compact quasiplatonic hyperbolic surface is a critical point of the spectral determinant on Teichmüller space, and derives closed expressions for the derivatives at s=1 of the Selberg zeta functions of the two surfaces.
Significance. If the main theorems are correct, this is a notable breakthrough: the first closed-form spectral determinants of smooth compact hyperbolic surfaces, together with exact values of the associated Selberg zeta derivatives at s=1. The method is convincing in its architecture: the reduction Lemma 2.1 is elementary and rigorous; the torus calculations in Sections 3.3 and 4.3 are explicit and traceable; and the agreement of the Bolza formula with the independent eigenvalue computation of Strohmaier–Uski to fourteen digits (Remark 3.7) is a strong empirical check. The criticality theorem for quasiplatonic surfaces is elegant and has independent interest. No free parameters are fitted anywhere, and the central formulas are parameter-free consequences of the stated geometric data. The main caveat is the unavoidable reliance on the author's prior three-cone determinant and Liouville-action formulas from [19] and the normalization matching in (2.10); however, the Bolza check exercises the same normalization and mitigates the risk.
minor comments (4)
- [Lemma 2.1] The sentence 'The same multiplicity identity holds for the zero eigenvalue' is not a consequence of (2.1) unless ∑ a_H = 0, which does not follow from the virtual representation identity in general. For connected closed manifolds, the zero eigenspace is the trivial representation, so dim Vλ^H = 1 for every H and the claimed identity would assert ∑ a_H = 0. Since the zeta function in (1.1) is defined over positive eigenvalues, this does not affect the determinant conclusions, but the sentence should be corrected or removed.
- [Appendix A and Theorem 4.5] The independent V4-reduction for the Klein quartic is presented only as a sketch. The claim that substitution into (A.1) reproduces (4.20) is not verifiable from the displayed data because the intermediate determinants of S_K and T are not written out. Given that Theorem 4.5 is a central result and no independent numerical value for det Δ_K is reported, I recommend either expanding the appendix with the intermediate determinant formulas or adding a high-precision numerical evaluation of (4.20) (ideally compared with an independent eigenvalue/Selberg-trace computation). This is a verification request, not an assertion of error.
- [Throughout (formatting)] Several displayed formulas have garbled superscripts in the arXiv text, e.g. (3.17) '2 8239', (3.21) '2289/7231/48π25/12', (4.14) '28/3325/6371/9π29/9'. The intended expressions are clear from context, but the final journal version should be typeset carefully. There is also a typo in the proof of Proposition 4.3: 'the espressions' should be 'the expressions'.
- [References] Reference [12] contains an incomplete DOI field ('doi;'). Please fix. Also, the paper relies heavily on [19] and [20]; it would help the reader if the specific theorem numbers from [19] used for the three-cone determinant and the Liouville action were listed in one place at the start of Sections 3 and 4.
Circularity Check
No significant circularity: the determinant formulas are assembled from independent, parameter-free closed-form modules; self-citations are legitimate prior theorems.
full rationale
The paper's central determinant formulas (Theorem 3.6 and Theorem 4.5) are built from three types of inputs. First, the spectral reduction (Lemma 2.1, Proposition 3.1, Proposition 4.1) is proved in the paper from the representation-theoretic identity and Frobenius reciprocity; it is applied eigenspace-wise and does not assume the target determinants. Second, the singular anomaly formula (2.4) is imported from the author's [18] as a stated comparison formula, and the three-cone sphere determinant and Liouville action S_beta[phi] are imported from [19, Theorem 1.2 / Corollary 1.3], with the normalization matched to [20, eq. (4.10)]. These are parameter-free closed-form statements with stated assumptions; they do not include the determinant of the Bolza surface or Klein quartic, and they are not fitted to the targets. Their use is load-bearing in the logical chain, but it is real evidence, not circularity. The elliptic factors are evaluated using the Kronecker limit formula and Chowla-Selberg, which are external classical results. Proposition 7.1 is proved independently: an invariant holomorphic quadratic differential at a quasiplatonic point descends to P^1 with at most simple poles at the three orbifold points, and the relevant line bundle has degree -1, forcing the differential to vanish. No quantity is defined in terms of the target determinant, no fitted parameter is renamed as a prediction, and no self-citation is used to forbid alternatives. The only concern is verification completeness: the Appendix V4-reduction is sketched without displaying intermediate determinants, and there is no independent numerical benchmark for det Delta_K comparable to the 14-digit Bolza check against Strohmaier-Uski. That is a correctness/verification gap, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Singular Polyakov anomaly formula (2.4), from [18, Theorem 1.1], applies to the cone metrics considered and gives the determinant ratio.
- domain assumption Closed-form determinant and Liouville action for the hyperbolic three-cone spheres P^1(2,3,8), P^1(3,3,7), P^1(2,3,7) are correct as stated in [19, Theorem 1.2 and Corollary 1.3].
- standard math Frobenius reciprocity and meromorphic continuation of spectral zeta functions yield the determinant identities (2.3), (3.1) and (4.1).
- standard math Kronecker limit formula and the Chowla-Selberg formula evaluate the flat CM torus determinants as the gamma expressions (3.24) and (4.17).
Cite this review
Pith. "Pith review of Spectral determinants of the Bolza surface and the Klein quartic." pith.science (2026). https://pith.science/paper/4YG32T2B
@misc{pith2026260801611,
author = {Pith},
title = {Pith review of: Spectral determinants of the Bolza surface and the Klein quartic},
year = {2026},
howpublished = {\url{https://pith.science/paper/4YG32T2B}},
note = {Machine review of arXiv:2608.01611}
}
read the original abstract
We obtain closed explicit formulas for the spectral determinants of the smooth hyperbolic Bolza surface and the Klein quartic. In each case, a multiplicative relation expresses the determinant of the surface in terms of determinants of singular quotient orbifolds of genera zero and one. The elliptic factors are evaluated by applying the singular Polyakov anomaly formula to explicit Belyi maps on CM elliptic curves of discriminants -8 and -7, while the genus-zero factors are evaluated by explicit determinant formulas for constant-curvature spheres with conical singularities. The same multiplicative relations hold fibrewise on the corresponding equisymmetric deformation strata and yield determinant and first-variation identities. We also prove that every compact quasiplatonic hyperbolic surface is a critical point of the spectral determinant on its Teichm\"uller space; in particular, this applies to the Bolza surface and the Klein quartic.
Figures
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.