REVIEW 2 major objections 4 minor 63 references
Some aspects of the spectral theory with twisting representations
T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read This survey establishes that for infinite-area hyperbolic orbisurfaces with finite-dimensional unitary twists, the twisted Selberg zeta function extends meromorphically to all of C and its divisor splits into separate factors for orbifold p
desk verdict A competent, well-referenced survey of Pohl's recent work on twisted Selberg zeta functions; the centrepiece divisor formula is stated only informally and its proof lives in an unreviewed companion preprint, so the paper alone does not let a reader verify its main claim. 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
The machinery is the twisted Selberg zeta function, the Euler product Z_{X,χ}(s) = ∏_{[g]∈[Γ]_hp} ∏_{k≥0} det(1 - χ(g) e^{-(s+k)ℓ(g)}), where ℓ(g) is the primitive geodesic length and the product runs over primitive hyperbolic conjugacy classes. Its role is to mediate between the geodesic length spectrum and the resonances of the twisted Laplacian. The divisor formula is reached by combining four ingredients: the self-adjointness and resolvent continuation of the twisted Laplacian (handling elliptic elements directly), a factorization of the twisted scattering determinant, the Hadamard product over resonances, and a new entire factor G_{X∧,χ} that encodes the orbifold points. For non-unitary
What would settle it
Compute the divisor formula explicitly for the hyperbolic cylinder with a one-dimensional unitary twist χ(a_ℓ)=e^{iφ}: the predicted zeros are -N0 ± iφ/ℓ + 2πi/ℓ Z with the stated multiplicities. If a meromorphic continuation produced by any other method has a zero or pole outside this set that is not cancelled by the gamma or Barnes factors, the formula would be false. Likewise, exhibiting any non-NECM twist whose product (3) converges on a right half-plane would refute Theorem 4.1.
Extended reading notes
Core claim
The central claim is the divisor formula (Theorem 3.4): for any geometrically finite hyperbolic orbisurface X of infinite area and any finite-dimensional unitary representation χ of its fundamental group, the twisted Selberg zeta function Z_{X,χ}(s), defined by an Euler product over primitive geodesics, has a meromorphic continuation to all of C and satisfies Z_{X,χ}(s) = e^{p(s)} G_{X∧,χ}(s) G_∞(s)^{-dim(V) χ_e^{top}(X)} Γ(s-1/2)^{n_p(χ)} Γ(s+1/2)^{n_d(χ)} P_{X,χ}(s). Here G_{X∧,χ} is entire with zeros only at non-negative integers and encodes each orbifold point separately; G_∞ is a Barnes-type function; the gamma factors are determined by the twisted geometry at cusps and disk ends; and P
Load-bearing premise
The load-bearing premise is that the precise versions of the quoted theorems—especially the full divisor formula, whose proof is deferred to a companion manuscript—are exactly as stated, and that the informal statements of the transfer-operator existence theorems faithfully represent their detailed sources.
Editorial extensions
If this is right
- For any infinite-area hyperbolic orbisurface with a unitary twist, the zeros of the twisted Selberg zeta function coincide (with explicit corrections) with the resonances of the twisted Laplacian, giving a complete spectral-geometric dictionary.
- The divisor formula separates the contributions of cusps, funnel (disk) ends, and orbifold points, so the influence of each 'geometry at infinity' feature on the spectrum can be read off independently.
- For non-unitary twists, the NECM condition is exactly what makes the zeta product convergent; hence non-expanding cusp monodromy is the natural class of twists for spectral theory.
- Whenever the untwisted zeta function admits a strict transfer operator representation, every NECM twist does too, so meromorphic continuation of the twisted zeta function follows for a broad family of orbisurfaces.
- The one-parameter cylinder example shows that allowing non-unitary twists lets zeros of the zeta function move in the real direction, revealing relations between resonances that unitary twists cannot see.
Reading between the lines
- The factorization by geometric end types suggests that twisted resonance sets may carry a refined topological invariant: comparing the twisted and untwisted divisors could let one recover the twist's character at elliptic elements from the resonance distribution alone.
- The NECM criterion, being purely a spectral radius condition on parabolic images, is likely to transfer to higher-dimensional real hyperbolic spaces and to more general locally symmetric spaces, as the paper's ongoing work hints.
- The Fourier expansion for twist-periodic eigenfunctions (with Jordan blocks) should make it possible to count resonances for non-unitary twists and to estimate their distribution, extending the counting results already known for unitary twists.
- The conical deformation example indicates that families of non-unitary twists could serve as a tool to adiabatically move resonances and thereby probe spectral gaps or resonance-free regions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper is a survey of recent results by the author and collaborators on the spectral theory of hyperbolic orbisurfaces with twisting representations. Section 2 computes, in full detail, the example of a hyperbolic cylinder with a one-dimensional twist: the zero sets of the untwisted and twisted Selberg zeta functions are identified, and a comparison of unitary vs. non-unitary one-parameter families illustrates that non-unitary twists allow the zeros to move in the real part. Section 3 surveys the unitary-twist program: self-adjointness and meromorphic resolvent continuation (Theorem 3.2, [15]), factorization of the twisted scattering determinant (Theorem 3.3, [16]), and the twisted Selberg divisor formula for infinite-area orbisurfaces with cone points (Theorem 3.4, [17]). Section 4 surveys non-unitary twists: the NECM convergence criterion (Theorem 4.1, [23]), Fourier expansions for twisted Laplace eigenfunctions (Theorem 4.2, [24]), and transfer-operator approaches (Theorems 4.3 and 4.4, [23, 53, 54, 63]). Section 5 summarizes period functions for vector-valued Maass cusp forms and their application to Jacobi Maass forms ([5]).
Significance. The survey's value lies in its clear synthesis of a rapidly developing area, and in the crisp formulation of the NECM condition, which gives a falsifiable dichotomy (Theorem 4.1). The Section 2 cylinder computation is self-contained, directly verifiable, and correct, and it is properly used as motivation: the contrast between purely imaginary zero motion under unitary twists and real-part motion under non-unitary twists is a genuine observation. If Theorem 3.4 holds as announced, it is a substantial advance: a full generalization of the Borthwick–Judge–Perry divisor formula to twisted infinite-area orbisurfaces with elliptic elements, separating cusp, funnel/disk-end, and orbifold-point contributions. The paper is also careful in attributing conditions to the cited works. The main caveats are provenance and precision: the headline theorem and one transfer-operator statement rest on a concurrent non-peer-reviewed preprint and on an imprecise scope statement, respectively.
major comments (2)
- [§3.3, Theorem 3.4] The headline result is stated with undefined objects: G_{X∧,χ} is described only as 'an entire function with zeros only at the non-negative integers that encodes the contribution of the orbifold points', the exponents n_p(χ), n_d(χ) are not defined, and the text defers to the concurrently posted, non-peer-reviewed companion preprint [17] for 'precise formulas'. None of [17]'s proofs are reproduced. The central advertised generalization of Theorem 3.1 is therefore not checkable from this paper; a reader cannot even verify consistency reductions such as the untwisted, torsion-free case recovering Theorem 3.1. Because Theorem 3.4 is the main new content announced in the abstract and introduction, this is load-bearing. Please state the precise formula (at least the definition of G_{X∧,χ} and the exponents) so that the statement is self-contained modulo cited proofs, or explicitly reposition
- [§4, Theorems 4.2–4.4] Two of the Section 4 results are explicitly informal. For Theorem 4.2 this is acceptable because [24] is peer-reviewed and the citation pins down the precise statement. Theorem 4.4, however, is not a checkable statement as written: the 'huge family of geometrically finite noncompact hyperbolic orbisurfaces' is not defined anywhere in the paper, and the precise definition is deferred to [53, 63], where [63] is an unreviewed preprint. Since Theorem 4.3's conclusion applies exactly to that family, the scope of the transfer-operator results is unknown to the reader. Please include the precise definition or characterization of the family (at least the properties used in the proof of Theorem 4.3) and clearly distinguish the peer-reviewed memoir [54] from the preprint [63].
minor comments (4)
- [§3.3, p. 8] Typo: 'the infinite product in (3) converges for Re≫ 1' should read 'for Re s ≫ 1'.
- [§3.2, p. 7] Garbled sentence: '(Indeed, it also so is for cofinite Fuchsian groups as the Hausdorff dimension is then 1.)' Please rephrase.
- [§2, pp. 4–5] The claim that a non-unitary family lets us 'observe relations between any two different zeros of Z_X' is heuristic: the zero paths for the displayed family χ_t(a_ℓ)=e^{i(2+3i)t} are straight lines, and hitting a prescribed pair of zeros requires the family or endpoint phase to be chosen depending on the pair. Please make the quantifiers explicit.
- [References] For the reader's orientation, the references could mark clearly which items are preprints of the same research group (in particular [5], [17], and [63]).
Circularity Check
No circularity: the paper is a survey; its theorems are quoted from cited papers and are not defined in terms of their own conclusions.
full rationale
The paper contains no fitted parameters, no data-fitting step, and no construction in which an output quantity is defined in terms of the quantity it is said to predict. Its central result, Theorem 3.4, is explicitly presented as a quoted theorem ('We refer to [17] for precise formulas'), and the same holds for Theorems 3.2, 3.3, 4.1, 4.2, 4.3 and 4.4, which are statements from [15], [16], [23], [24], and [53,54,63]. These are external mathematical statements with stated assumptions, not redefinitions of their own conclusions; the fact that many of the cited works have overlapping authors is normal for a survey of the author's own contributions and does not make a proof circular. The NECM condition is introduced via a convergence motivation, but Theorem 4.1 is a substantive equivalence cited to [23], and the definition is not identical to the theorem. The main legitimate concern is auditability rather than circularity: Theorem 3.4's precise formula for G_{X∧,χ} and the exponents n_p(χ), n_d(χ) is delegated to a same-group preprint that is not reproduced here, and the class in Theorem 4.4 is only defined in [53,63]. These are transparency/correctness-risk issues, not instances of a claim reducing to its own inputs by construction.
Assumptions & free parameters
assumptions (4)
- domain assumption Correctness of the cited results [5, 15, 16, 17, 22, 23, 24, 53, 54, 63] and faithfulness of the survey's statements (including the informal versions) to them.
- standard math Standard Selberg zeta theory: meromorphic continuation of Z_X and the resonance–zero correspondence for finite-area and untwisted infinite-area hyperbolic orbisurfaces.
- domain assumption Convergence of the twisted product (3) on Re s > δ, where δ is the Hausdorff dimension of the limit set of Γ.
- domain assumption NECM (unit-modulus eigenvalues on parabolic elements) is the correct admissibility class for non-unitary twists.
invented entities (3)
-
G_{X∧,χ}(s): the orbifold-point contribution function in Theorem 3.4
independent evidence
-
NECM (non-expanding cusp monodromy) representation class
independent evidence
-
Period functions for vector-valued Maass cusp forms of real weight
independent evidence
Cite this review
Pith. "Pith review of Some aspects of the spectral theory with twisting representations." pith.science (2026). https://pith.science/paper/LXGND7R5
@misc{pith2026260722164,
author = {Pith},
title = {Pith review of: Some aspects of the spectral theory with twisting representations},
year = {2026},
howpublished = {\url{https://pith.science/paper/LXGND7R5}},
note = {Machine review of arXiv:2607.22164}
}
read the original abstract
In recent years, significant advancements have been made in understanding the spectral theory of hyperbolic spaces, particularly in the context of twisting representations, both unitary as well as non-unitary. We survey some results that we obtained within the framework of the SPP 2026 "Geometry at Infinity" as well as some closely related results.
Reference graph
Works this paper leans on
-
[17]
M. Doll and A. Pohl. The divisor of the twisted Selberg zeta function. arXiv:2607.14981
-
[15]
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
-
[16]
, Scattering theory with unitary twists. J. Anal. Math. 153.1 (2024), pp. 111–167
2024
-
[23]
, Meromorphic continuation of Selberg zeta functions with twists having non-expanding cusp monodromy. Sel. Math. New Ser. 26.1 (2020), Art. 9, 55
2020
-
[24]
Fedosova, A
K. Fedosova, A. Pohl, and J. Rowlett. Fourier expansions of vector-valued automorphic functions with non-unitary twists. Commun. Number Theory Phys. 17.1 (2023), pp. 173–248
2023
-
[5]
R. Bruggeman, Y. Choie, and A. Pohl. Period functions for vector-valued Maass cusp forms of real weight, with an application to Jacobi Maass cusp forms. arXiv:2408.03104
-
[63]
P. Wabnitz. Strict transfer operator approaches for non-compact hyperbolic orbisurfaces . arXiv:2209.06601
-
[54]
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
Show all 63 references
-
[1]
Bantay and T
P. Bantay and T. Gannon. Vector-valued modular functions for the modular group and the hypergeometric equation. Commun. Number Theory Phys. 1.4 (2007), pp. 651–680
2007
-
[2]
Borthwick
D. Borthwick. Spectral theory of infinite-area hyperbolic surfaces . 2nd edition. Basel: Birkh¨auser/Springer, 2016, pp. xiii + 463
2016
-
[3]
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. Anke Pohl: Aspects of spectral theory with twists 13
2005
-
[4]
Bruggeman, Y
R. Bruggeman, Y. Choie, and N. Diamantis. Holomorphic automorphic forms and cohomology. Mem. Am. Math. Soc. 1212 (2018)
2018
-
[6]
Bruggeman, J
R. Bruggeman, J. Lewis, and D. Zagier. Period functions for Maass wave forms and cohomology. Mem. Am. Math. Soc. 1118 (2015)
2015
-
[7]
Bruggeman and A
R. Bruggeman and A. Pohl. Eigenfunctions of transfer operators and automorphic forms for Hecke triangle groups of infinite covolume. Mem. Am. Math. Soc. 1423 (2023)
2023
-
[8]
Bytsenko, M
A. Bytsenko, M. Guimar ˜aes, and F. Williams. Remarks on the spectrum and truncated heat kernel of the BTZ black hole. Lett. Math. Phys. 79.2 (2007), pp. 203–211
2007
-
[9]
Creutzig and T
T. Creutzig and T. Gannon. Logarithmic conformal field theory, log-modular tensor categories and modular forms. J. Phys. A 50.40 (2017), pp. 404004, 37
2017
-
[10]
Daughton
A. Daughton. Fourier coefficients of logarithmic vector-valued Poincar´e series. Ramanujan J. 41.1-3 (2016), pp. 311–318
2016
-
[11]
David, M
J. David, M. Gaberdiel, and R. Gopakumar. The heat kernel on AdS 3 and its applications . J. High Energy Phys. 2010.4 (2010). Id/No 125, p. 30
2010
-
[12]
A. Deitmar. Spectral theory for non-unitary twists . Hiroshima Math. J. 49.2 (2019), pp. 235– 249
2019
-
[13]
Deitmar and F
A. Deitmar and F. Monheim. A trace formula for non-unitary representations of a uniform lattice. Math. Z. 284.3-4 (2016), pp. 1199–1210
2016
-
[14]
, Eisenstein series with non-unitary twists. J. Korean Math. Soc. 55.3 (2018), pp. 507– 530
2018
-
[18]
C. Dong, H. Li, and G. Mason. Modular-Invariance of Trace Functions in Orbifold Theory and Generalized Moonshine. Comm. Math. Phys. 214.1 (2000), pp. 1–56
2000
-
[19]
Doran et al
C. Doran et al. Automorphic forms for triangle groups . Commun. Number Theory Phys. 7.4 (2013), pp. 689–737
2013
-
[20]
Duncan and A
J. Duncan and A. O’Desky. Super vertex algebras, meromorphic Jacobi forms and umbral moonshine. J. Algebra 515 (2018), pp. 389–407
2018
-
[21]
Eholzer and N.-P
W. Eholzer and N.-P. Skoruppa. Modular invariance and uniqueness of conformal characters. Comm. Math. Phys. 174.1 (1995), pp. 117–136
1995
-
[22]
Fedosova and A
K. Fedosova and A. Pohl. Eisenstein series twisted with non-expanding cusp monodromies . Ramanujan J. 51 (2020), pp. 649–670
2020
-
[25]
Fedosova
K. Fedosova. The twisted Selberg trace formula and the twisted Selberg zeta function for compact orbifolds. Math. Z. 305.1 (2023). Id/No 4, p. 33. Anke Pohl: Aspects of spectral theory with twists 14
2023
-
[26]
Francesco, P
P. Francesco, P. Mathieu, and D. S ´en´echal. Conformal field theory. Springer Science & Business Media, 2012
2012
-
[27]
T. Gannon. Monstrous moonshine: the first twenty-five years . Bull. Lond. Math. Soc. 38.1 (2006), pp. 1–33
2006
-
[28]
Conformal field theory, automorphic forms and related topics
, The theory of vector-valued modular forms for the modular group . Conformal field theory, automorphic forms and related topics. Vol. 8. Contrib. Math. Comput. Sci. Springer, 2014, pp. 247–286
2014
-
[29]
Guillop ´e
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
-
[30]
Guillop ´e and M
L. Guillop ´e and M. Zworski. Upper bounds on the number of resonances for non-compact Riemann surfaces. J. Funct. Anal. 129.2 (1995), pp. 364–389
1995
-
[31]
Harvey and Y
J. Harvey and Y. Wu. Hecke relations in rational conformal field theory. J. High Energy Phys. 9 (2018), 032, front matter+36
2018
-
[32]
D. Hejhal. The Selberg trace formula for PSL(2, R). Vol. I . Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1976, pp. vi+516
1976
-
[33]
, The Selberg trace formula forPSL(2, R). Vol. 2. Vol. 1001. Lecture Notes in Mathe- matics. Springer-Verlag, Berlin, 1983, pp. viii+806
1983
-
[34]
Knopp and G
M. Knopp and G. Mason. Generalized modular forms. J. Number Theory 99.1 (2003), pp. 1–28
2003
-
[35]
Acta Arith
, On vector-valued modular forms and their Fourier coefficients . Acta Arith. 110.2 (2003), pp. 117–124
2003
-
[36]
, Vector-valued modular forms and Poincar´e series. Ill. J. Math. 48.4 (2004), pp. 1345– 1366
2004
-
[37]
Acta Arith
, Logarithmic vector-valued modular forms. Acta Arith. 147.3 (2011), pp. 261–262
2011
-
[38]
Ramanujan J
, Logarithmic vector-valued modular forms and polynomial-growth estimates of their Fourier coefficients. Ramanujan J. 29.1-3 (2012), pp. 213–223
2012
-
[39]
W. Kohnen. On certain generalized modular forms. Funct. Approximatio, Comment. Math. 43.1 (2010), pp. 23–29
2010
-
[40]
Kohnen and Y
W. Kohnen and Y. Martin. On product expansions of generalized modular forms. Ramanujan J. 15.1 (2008), pp. 103–107
2008
-
[41]
Kohnen and G
W. Kohnen and G. Mason. On generalized modular forms and their applications. Nagoya Math. J. 192 (2008), pp. 119–136
2008
-
[42]
, On the canonical decomposition of generalized modular functions. Proc. Am. Math. Soc. 140.4 (2012), pp. 1125–1132
2012
-
[43]
Li and A
L. Li and A. Strohmaier. Heat kernel estimates for general boundary problems. J. Spectr. Theory 6.4 (2016), pp. 903–919
2016
-
[44]
Ludewig and E
M. Ludewig and E. Rosenberger. Asymptotic eigenfunctions for Schr ¨odinger operators on a vector bundle. Rev. Math. Phys. 32.7 (2020), pp. 2050020, 28
2020
-
[45]
Matsushima and S
Y. Matsushima and S. Murakami. On vector bundle valued harmonic forms and automorphic forms on symmetric riemannian manifolds. Ann. of Math. (2) 78 (1963), pp. 365–416
1963
-
[46]
Mazzeo and R
R. Mazzeo and R. Melrose. Meromorphic extension of the resolvent on complete spaces with asymptotically constant negative curvature. J. Funct. Anal. 75 (1987), pp. 260–310. Anke Pohl: Aspects of spectral theory with twists 15
1987
-
[47]
M¨ uhlenbruch and W
T. M¨ uhlenbruch and W. Raji. Generalized Maass wave forms . Proc. Amer. Math. Soc. 141.4 (2013), pp. 1143–1158
2013
-
[48]
M¨ uller
W. M¨ uller. A Selberg trace formula for non-unitary twists . Int. Math. Res. Not. 9 (2011), pp. 2068–2109
2011
-
[49]
Patterson and P
S. Patterson and P. Perry. The divisor of Selberg’s zeta function for Kleinian groups. Appendix A by Charles Epstein. Duke Math. J. 106.2 (2001), pp. 321–390
2001
-
[50]
Phillips
R. Phillips. Perturbation theory for twisted automorphic functions . Geom. Funct. Anal. 7.1 (1997), pp. 120–144
1997
-
[51]
, Scattering theory for twisted automorphic functions . Trans. Amer. Math. Soc. 350.7 (1998), pp. 2753–2778
1998
-
[52]
A. Pitale. Jacobi Maaß forms. Abh. Math. Semin. Univ. Hamb. 79.1 (2009), pp. 87–111
2009
-
[53]
A. Pohl. Symbolic dynamics for the geodesic flow on two-dimensional hyperbolic good orbifolds. Discrete Contin. Dyn. Syst. 34.5 (2014), pp. 2173–2241
2014
-
[55]
W. Raji. Eichler cohomology of generalized modular forms of real weights. Proc. Amer. Math. Soc. 141.2 (2013), pp. 383–392
2013
-
[56]
Saber and A
H. Saber and A. Sebbar. On the existence of vector-valued automorphic forms. Kyushu J. Math. 71.2 (2017), pp. 271–285
2017
-
[57]
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
-
[58]
, On the estimation of Fourier coefficients of modular forms. Proc. Sympos. Pure Math. 8 (1965), pp. 1–15
1965
-
[59]
Spilioti
P. Spilioti. Selberg and Ruelle zeta functions for non-unitary twists. Ann. Global Anal. Geom. 53.2 (2018), pp. 151–203
2018
-
[60]
, Functional equations of Selberg and Ruelle zeta functions for non-unitary twists. Ann. Global Anal. Geom. 58.1 (2020), pp. 35–77
2020
-
[61]
A. Venkov. Spectral theory of automorphic functions. Proc. Steklov Inst. Math. 4 (153) (1982). A translation of Trudy Mat. Inst. Steklov. 153 (1981), ix+163 pp
1982
-
[62]
Venkov and P
A. Venkov and P. Zograf. On analogues of the Artin factorization formulas in the spectral theory of automorphic functions connected with induced representations of Fuchsian groups . Math. USSR, Izv. 21 (1983), pp. 435–443
1983
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.