Pith. sign in

REVIEW 1 major objections 3 minor 1 cited by

The divisor of the twisted Selberg zeta function

T0 review · 1 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every zero and pole of the twisted Selberg zeta function on infinite-area hyperbolic orbisurfaces is accounted for by spectral data (Laplace resonances) and geometric data (Euler characteristics, orbifold points, cusp

desk verdict Genuine extension to orbifold points and unitary twists, but the main theorem as printed has a sign error in the Γ(s+1/2) factor for parabolic cylinders — contradicted by the paper's own model calculation. read the letter →

arxiv 2607.14981 v1 pith:ZR7SD5NC submitted 2026-07-16 math.SP math-phmath.APmath.MP

Moritz Doll , Anke Pohl This is my paper · ORCID
classification math.SPmath-phmath.APmath.MP MSC 11M3658J5030F35
keywords SelbergzetafunctionunitarytwistLaplaceresonanceshyperbolicorbisurfacedivisororbifoldsingularityscatteringdeterminantfactorization
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's main theorem (Theorem A) asserts that for any geometrically finite infinite-area hyperbolic orbisurface with a finite-dimensional unitary twist, the twisted Selberg zeta function — an infinite product over primitive hyperbolic geodesics — extends meromorphically to the entire complex plane and factors into a finite product of explicit geometric factors times the Weierstrass product of the Laplace resonances. This factorization identifies the full divisor of the zeta function: every zero and pole is either a resonance of the Laplacian, a zero contributed by orbifold points, or a pole/gamma factor coming from cusp or disk-end singularity degrees of the representation. The result generalizes a previously known factorization for untwisted, non-elementary surfaces without conical points, and it reveals a new term — the orbifold factor — that appears even in the untwisted case when the surface has orbifold singularities. A sympathetic reader would care because it gives a complete spectral–geometric interpretation of the zeta function's zeros and poles, turning the divisor into a fingerprint of the orbisurface and the twist.

What carries the argument

The argument runs through three objects: (i) the Weierstrass product $P_{X,\chi}$ of Laplace resonances, the natural carrier of the spectral divisor; (ii) the entire function $G_{\infty}$ built from the Barnes G-function, which supplies the canonical zero structure at negative integers; and (iii) the orbifold factor $G_{X\wedge,\chi}$, assembled from q-th root functions of gamma-function products that compensate the non-integer residues created by elliptic elements. These are joined by the scattering-theoretic bridge: the difference of scattering-theoretically regularized resolvent traces between the orbisurface and its funnel part equals the logarithmic derivative of the relative scattering determinant, which links

What would settle it

On a model hyperbolic cylinder $C_{\ell}$ with a twist $\chi$ whose holonomy has an eigenvalue $\lambda \neq 1$, compute the algebraically regularized resolvent trace $\Phi_{C_{\ell},\chi}(s)$ from the explicit resolvent kernel and compare it with the logarithmic derivative of $Z_{C_{\ell},\chi}$ from the product formula at several $s$ with $\mathrm{Re}(s) > 1/2$. Both sides are explicitly computable in this model, so any mismatch would falsify the identity (Proposition 6.4) that anchors the entire chain.

Watch

Extended reading notes

Core claim

Theorem A establishes that for every geometrically finite, infinite-area hyperbolic orbisurface $X = \Gamma\backslash H$ and every finite-dimensional unitary representation $\chi$ of $\Gamma$, the Selberg zeta function $Z_{X,\chi}$, defined by a product over primitive hyperbolic conjugacy classes, extends meromorphically to all of $C$ and satisfies $Z_{X,\chi}(s) = e^{q(s)} G_{X\wedge,\chi}(s) G_{\infty}(s)^{-\dim(V) \chi_{\text{top}}^e(X)} \Gamma(s-1/2)^{n_p} \Gamma(s+1/2)^{n_d} P_{X,\chi}(s)$, where $P_{X,\chi}$ is the Hadamard product of the Laplace resonances, $n_p$ and $n_d$ are singularity degrees at cusps and disk ends, $G_{X\wedge,\chi}$ is an entire function built from orbifold-point data, and $q$ is a polynomial of degree at most 2. Thus every zero and pole of the zeta function is account

Load-bearing premise

The load-bearing premise is that the scattering-theoretic bridge — the equality between the difference of regularized resolvent traces and the logarithmic derivative of the relative scattering determinant — holds with the precise Poisson-operator asymptotics and scattering-matrix structure imported from the authors' earlier scattering theory; if those asymptotics or the identification of the relative scattering determinant fail, the functional equation and hence the whole fac

Editorial extensions

If this is right

  • The divisor (zeros and poles) of the twisted Selberg zeta function is completely determined by the Laplacian resonances, the topological/orbifold Euler characteristic, the singularity degrees at cusps and disk ends, and the elliptic point data for the representation.
  • As a corollary, the resonance set of the Laplacian can be read off from the zeros and poles of the zeta function together with the explicit geometric factors, providing a spectral interpretation that extends known results to orbifold singularities and unitary twists.
  • In the untwisted case with orbifold points, a new contribution appears that was absent in previous factorizations: the G_{X∧,χ} factor, which must be included to obtain a meromorphic factorization.
  • The meromorphic continuation of Z_{X,χ} to all of C follows as a byproduct of the factorization proof, via an alternative classical route (regularized traces and scattering determinants).

Reading between the lines

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

  • The factorization invites an inversion scheme: numerical interpolation of the explicit geometric factors could yield the resonance counting function from the divisor alone, effectively turning the zeta function into a spectral probe for the orbifold.
  • The formula's explicit dependence on the singularity degrees np and nd suggests a deformation test: as the twist χ moves continuously in the unitary character variety, the divisor should change only when an eigenvalue of χ applied to a parabolic generator crosses 1, with the polynomial q absorbing the rest; this piecewise-constant behavior is not proved in the paper.
  • The orbifold correction factor G_{X∧,χ} may be a template for analogous corrections in other geometric zeta functions (e.g., Ruelle zeta functions) on orbifolds, where conical singularities could create similar non-integer residue phenomena that a naive product of gamma functions would miss.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper proves a factorization formula for the Selberg zeta function Z_{X,χ} of a geometrically finite infinite-area hyperbolic orbisurface X = Γ\H with a finite-dimensional unitary twist χ. The claimed Theorem A expresses Z_{X,χ} as e^{q(s)} G_{X∧,χ}(s) G∞(s)^{-dim(V)χ_top^e(X)} Γ(s−1/2)^{np} Γ(s+1/2)^{nd} P_{X,χ}(s), where P_{X,χ} is the Weierstrass product of the Laplace resonances, np and nd are singularity degrees at cusps and disk ends, and G_{X∧,χ} accounts for orbifold points. The proof strategy is: establish the formula for cyclic fundamental groups (§3), then for general Γ use a scattering-theoretic regularized trace identity (§6) to derive a functional equation (§7) and conclude meromorphic continuation and the factorization. The paper also contains applications via the Venkov–Zograf formula and two worked examples.

Significance. If correct, the result is a substantial generalization of the Borthwick–Judge–Perry factorization to hyperbolic orbisurfaces with orbifold singularities and unitary twists, and it would give a complete spectral/geometric interpretation of the divisor of the twisted Selberg zeta function. The paper contains extensive explicit model calculations, a detailed scattering-theoretic framework, and concrete applications. The exposition is thorough and the prior papers [9,10] provide the necessary spectral inputs. These are genuine strengths. However, the central statement as written is internally inconsistent with one of its own model cases, as detailed below.

major comments (1)
  1. [Theorem A (Eq. (2),(3)) and §3.4] The factor Γ(s+1/2)^{nd} has the wrong sign. For the parabolic cylinder model case in §3.4, the authors compute np = nd = m, Z_{C∞,χ} ≡ 1, G_{C∞∧,χ} ≡ 1, χ_top^e(C∞) = 0, and P_{C∞,χ}(s) = (1−2s)^m exp(2m(s+s^2)). Substituting Γ(s+1/2) = (s−1/2)Γ(s−1/2) into the right-hand side of (2) gives e^{q(s)} Γ(s−1/2)^{2m}(s−1/2)^{2m}(−2)^m exp(2m(s+s^2)) = e^{q(s)} (−2)^m exp(2m(s+s^2)) Γ(s+1/2)^{2m}, which has poles at s = −1/2, −3/2, … and cannot equal the entire function 1. The displayed calculation in §3.4 drops an extra (s−1/2)^m; the correct identity would require the exponent −nd, i.e. Γ(s−1/2)^{np} Γ(s+1/2)^{−nd}. As stated, Theorem A is false for parabolic cylinders, the only case with nd ≠ 0. This is a localized but load-bearing error in the central statement.
minor comments (3)
  1. [§5.1] The phrase 'boundary definition function' should be 'boundary defining function'.
  2. [§3.4] The displayed chain ending with 'e^{-q(s)} = e^{-q(s)} Z_{C∞,χ}(s)' is confusing, and the equality preceding it is algebraically incorrect (see Major Comment 1).
  3. [References] Reference [7] (E. Chen, 'An infinitely large napkin') is an unconventional source for the standard complex-analysis fact about existence of analytic q-th roots; a standard textbook reference would be more appropriate.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the factorization is proved from independent scattering/spectral inputs, not assumed.

full rationale

The paper's derivation does not reduce its conclusion to its inputs. The Weierstrass product P_{X,χ} is defined from the resonance set of the twisted Laplacian, while Z_{X,χ} is defined independently by the hyperbolic-length product (1). The special functions G∞, G_{X∧,χ}, Γ_{X∧,χ} are constructed from gamma/Barnes-G factors (13), (18)–(20), not from the Selberg zeta function. The proof of Theorem A proceeds by establishing a reflection formula (69) from the scattering determinant and then showing that the quotient F(s) is entire and zero-free; this is a genuine comparison of two independently defined meromorphic functions, not a renaming or a fitted parameter called a prediction. The model cases (cones, parabolic cylinders, hyperbolic cylinders) explicitly compute the resonance Weierstrass product and verify the claimed divisor, rather than postulating it; the undetermined polynomial q is constrained only afterwards by Hadamard theory. The self-citations [9,10] are load-bearing technical inputs — resolvent continuation, Poisson-operator asymptotics, scattering-matrix structure — but they concern scattering theory, not the divisor factorization of the Selberg zeta function, and the untwisted torsion-free case reduces to the external Borthwick–Judge–Perry result [5, Theorem 4.1]. The skeptic's sign-error objection to Γ(s+1/2)^{nd} in Section 3.4 is a direct algebraic inconsistency in the printed statement; if correct, it means Theorem A is false as stated, but a false or internally contradictory formula is not the same as a circular derivation. It does not show that any step assumes the conclusion, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted to data or chosen by hand; the only undetermined object is the exponential polynomial q, which cancels in the divisor statement and is therefore not part of the central claim. The new special functions G_{q,α}, G_{X∧,χ}, and Γ_{X∧,χ} are explicitly defined in Section 2.9, not postulated as unexplained entities. The main imported axioms are the authors' prior scattering-theory results [9,10] and standard complex-analysis theorems.

assumptions (7)
  • domain assumption X = Γ\H is a geometrically finite infinite-area hyperbolic orbisurface with Γ finitely generated, and χ:Γ→U(V) is a finite-dimensional unitary representation.
    These are the hypotheses of Theorem A; all definitions and spectral inputs assume them.
  • domain assumption The Selberg zeta product (8) converges for Re s sufficiently large and is bounded on Re s > δ.
    Used to start the analysis and to bound the exponential factor p in the right half-plane; convergence is standard and cited to [12].
  • domain assumption The resolvent R_{X,χ} admits meromorphic continuation to C with resonance counting N(r) = O(r²), from [9, Theorem A/B].
    Imported from the authors' prior paper; it ensures P_{X,χ} is entire of order 2 with zeros exactly at the resonances.
  • domain assumption The Poisson operator and scattering matrix have the asymptotic structure stated in [10, Section 5].
    Load-bearing for Lemma 6.17 and Proposition 6.16, which connect regularized traces to the relative scattering determinant.
  • standard math Hadamard factorization theorem for entire functions of finite order.
    Used to write zero-free entire factors as exponentials of polynomials and to handle model cylinders and cones.
  • standard math Selberg's lemma: a finitely generated Fuchsian group has a torsion-free finite-index subgroup.
    Used to define the orbifold Euler characteristic and zero-volume via a covering.
  • standard math Phragmén–Lindelöf principle for entire functions of finite order.
    Used to convert growth estimates on the entire function p into polynomial degree bounds.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The divisor of the twisted Selberg zeta function." pith.science (2026). https://pith.science/paper/ZR7SD5NC

@misc{pith2026260714981,
  author       = {Pith},
  title        = {Pith review of: The divisor of the twisted Selberg zeta function},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZR7SD5NC}},
  note         = {Machine review of arXiv:2607.14981}
}
read the original abstract

For the Selberg zeta function of geometrically finite infinite-area hyperbolic orbisurfaces with twists by finite-dimensional unitary representations, we establish a factorization formula in terms of a Weierstrass product of the Laplace resonances of the considered hyperbolic orbisurface, Barnes G-functions, gamma functions, and the singularity degrees of the representation. We thereby provide an interpretation of the zeros and poles of the Selberg zeta function by spectral and geometric entities of the orbisurface and the representation. This formula generalizes the factorization result by Borthwick, Judge and Perry to hyperbolic orbisurfaces with orbifold singularities as well as to unitary twists. Also in the untwisted case, the presence of orbifold singularities yields a separate, previously unobserved contribution to the factorization formula.

Figures

Figures reproduced from arXiv: 2607.14981 by the authors.

Figure 1
Figure 1. A fundamental domain of X = ⟨T, S⟩\H. each resonances respectively zero with multiplicity 1. Using that [PITH_FULL_IMAGE:figures/full_fig_p023_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Some aspects of the spectral theory with twisting representations

    math.SP 2026-07 accept novelty 2.0 of 10

    A survey of spectral theory with twisting representations on hyperbolic orbisurfaces, presenting an orbifold-aware divisor formula for twisted Selberg zeta functions and the NECM condition for non-unitary twists.

Reference graph

Works this paper leans on

32 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    A. Adam, A. Pohl, and A. Weiße.Zero is a resonance of every Schottky surface(2018). arXiv:1808.09239

    arXiv 2018

  2. [2]

    Barnes.The theory of theG-function.Quart

    E. Barnes.The theory of theG-function.Quart. J. 31 (1900), pp. 264–314

    1900

  3. [3]

    Boas.Entire functions

    R. Boas.Entire functions. Vol. 5. Pure Appl. Math., Academic Press. 1954

    1954

  4. [4]

    Borthwick.Spectral theory of infinite-area hyperbolic surfaces

    D. Borthwick.Spectral theory of infinite-area hyperbolic surfaces. 2nd edition. Birkh¨ auser/Springer, 2016, pp. xiii + 463

    2016

  5. [5]

    Borthwick, C

    D. Borthwick, C. Judge, and P. Perry.Selberg’s zeta function and the spectral geometry of geometrically finite hyperbolic surfaces. Comment. Math. Helv. 80.3 (2005), pp. 483–515

    2005

  6. [6]

    Chang and D

    C. Chang and D. Mayer.Eigenfunctions of the transfer operators and the period functions for modular groups. Vol. 290. Contemp. Math. Providence, RI: Amer. Math. Soc., 2001, pp. 1–40

    2001

  7. [7]

    Chen.An infinitely large napkin

    E. Chen.An infinitely large napkin. https://github.com/vEnhance/napkin. REFERENCES 55

  8. [8]

    https://dlmf.nist.gov/, Release 1.2.7 of 2026-06-15

    NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.2.7 of 2026-06-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    2026

Show all 32 references
  1. [9]

    M. Doll, K. Fedosova, and A. Pohl.Counting resonances on hyperbolic surfaces with unitary twists. Comm. Anal. Geom. 32.10 (2024), pp. 2805–2887

    2024

  2. [10]

    ,Scattering theory with unitary twists. J. Anal. Math. 153.1 (2024), pp. 111–167

    2024

  3. [11]

    Erd´ elyi et al.Higher transcendental functions

    A. Erd´ elyi et al.Higher transcendental functions. Vol. I. Robert E. Krieger Publishing Co., Inc., Melbourne, Fla., 1981, pp. xiii+302

    1981

  4. [12]

    Fedosova and A

    K. Fedosova and A. Pohl.Meromorphic continuation of Selberg zeta functions with twists having non-expanding cusp monodromy. Sel. Math., New Ser. 26.1 (2020). Id/No 9, p. 55

    2020

  5. [13]

    Fischer.An approach to the Selberg trace formula via the Selberg zeta-function

    J. Fischer.An approach to the Selberg trace formula via the Selberg zeta-function. Springer Lecture Notes in Mathematics, vol. 1253. 1987

    1987

  6. [14]

    Guillop´ e.Fonctions zˆ eta de Selberg et surfaces de g´ eom´ etrie finie

    L. Guillop´ e.Fonctions zˆ eta de Selberg et surfaces de g´ eom´ etrie finie. Zeta functions in geometry. Tokyo: Kinokuniya Company Ltd., 1992, pp. 33–70

    1992

  7. [15]

    Mayer.On the thermodynamic formalism for the Gauss map

    D. Mayer.On the thermodynamic formalism for the Gauss map. Comm. Math. Phys. 130.2 (1990), pp. 311–333

    1990

  8. [16]

    ,The thermodynamic formalism approach to Selberg’s zeta function for PSL(2, Z). Bull. Amer. Math. Soc. (N.S.) 25.1 (1991), pp. 55–60

    1991

  9. [17]

    M¨ oller and A

    M. M¨ oller and A. Pohl.Period functions for Hecke triangle groups, and the Selberg zeta function as a Fredholm determinant. Ergodic Theory Dynam. Systems 33.1 (2013), pp. 247– 283

    2013

  10. [18]

    Olver.Asymptotics and special functions

    F. Olver.Asymptotics and special functions. AKP Classics. Reprint of the 1974 original. A K Peters, Ltd., Wellesley, MA, 1997, pp. xviii+572

    1974

  11. [19]

    S. J. Patterson.The Selberg zeta-function of a Kleinian group. Number theory, trace formulas and discrete groups (Oslo, 1987). Academic Press, Boston, MA, 1989, pp. 409–441

    1987

  12. [20]

    Phillips.Perturbation theory for twisted automorphic functions

    R. Phillips.Perturbation theory for twisted automorphic functions. Geom. Funct. Anal. 7.1 (1997), pp. 120–144

    1997

  13. [21]

    ,Scattering theory for twisted automorphic functions. Trans. Amer. Math. Soc. 350.7 (1998), pp. 2753–2778

    1998

  14. [22]

    Pohl.Symbolic dynamics for the geodesic flow on two-dimensional hyperbolic good orbifolds

    A. Pohl.Symbolic dynamics for the geodesic flow on two-dimensional hyperbolic good orbifolds. Discrete Contin. Dyn. Syst., Ser. A 34.5 (2014), pp. 2173–2241

    2014

  15. [23]

    ,A thermodynamic formalism approach to the Selberg zeta function for Hecke triangle surfaces of infinite area. Commun. Math. Phys. 337.1 (2015), pp. 103–126

    2015

  16. [24]

    Pohl and P

    A. Pohl and P. Wabnitz.Selberg zeta functions, cuspidal accelerations, and existence of strict transfer operator approaches. Mem. Am. Math. Soc. 1616 (2026)

    2026

  17. [25]

    Scott.The geometries of3-manifolds

    P. Scott.The geometries of3-manifolds. Bull. London Math. Soc. 15.5 (1983), pp. 401–487

    1983

  18. [26]

    Selberg.Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series

    A. Selberg.Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series. J. Indian Math. Soc., New Ser. 20 (1956), pp. 47–87

    1956

  19. [27]

    Selberg.On discontinuous groups in higher-dimensional symmetric spaces

    A. Selberg.On discontinuous groups in higher-dimensional symmetric spaces. Contributions to function theory (internat. Colloq. Function Theory, Bombay, 1960). Tata Institute of Fundamental Research, Bombay, 1960, pp. 147–164

    1960

  20. [28]

    Stein and R

    E. Stein and R. Shakarchi.Complex analysis. Vol. 2. Princeton Lect. Anal. Princeton, NJ: Princeton University Press, 2003

    2003

  21. [29]

    Venkov.On Dirichlet series that are associated with the defining equations and continued fractions in the theory of automorphic functions

    A. Venkov.On Dirichlet series that are associated with the defining equations and continued fractions in the theory of automorphic functions. Trudy Mat. Inst. Steklov. 158 (1981). Analytic number theory, mathematical analysis and their applications, pp. 31–44, 228

    1981

  22. [30]

    ,Spectral theory of automorphic functions. Proc. Steklov Inst. Math. 4 (153) (1982). A translation of Trudy Mat. Inst. Steklov. 153 (1981), ix+163 pp. REFERENCES 56

    1982

  23. [31]

    Wabnitz.Strict transfer operator approaches for non-compact hyperbolic orbisurfaces

    P. Wabnitz.Strict transfer operator approaches for non-compact hyperbolic orbisurfaces. arXiv:2209.06601. 2022

    2022 arXiv

  24. [32]

    Zworski.Sharp polynomial bounds on the number of scattering poles

    M. Zworski.Sharp polynomial bounds on the number of scattering poles. Duke Math. J. 59.2 (1989), pp. 311–323. Moritz Doll, The University of Melbourne, Department of Electrical and Electronic Engineering, Parkville, VIC 3010, Australia Email address:moritz.doll@unimelb.edu.au ...

    1989

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.