Dynamical zeta functions of Reidemeister type and representations spaces
Pith reviewed 2026-05-25 18:33 UTC · model grok-4.3
The pith
The Reidemeister zeta function for a large class of automorphisms of Abelian groups is either rational or has the unit circle as a natural boundary.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove Pólya -- Carlson dichotomy between rationality and a natural boundary for analytic behavior of the Reidemeister zeta function for a large class of automorphisms of Abelian groups. The rationality and functional equation for these zeta functions are proven for several classes of groups. We find a connection between these zeta functions and the Reidemeister torsions of the corresponding mapping tori. We also establish the connection between the Reidemeister zeta function and dynamical representation theory zeta functions under restriction of endomorphism to a subgroup and to a quotient group.
What carries the argument
The Reidemeister zeta function, which generates the count of fixed points of endomorphism iterates up to conjugation, together with its link to dynamical representation theory zeta functions on representation spaces.
If this is right
- The zeta functions are rational and satisfy functional equations inside the stated classes of groups.
- The zeta functions connect directly to Reidemeister torsions of the associated mapping tori.
- The connection between Reidemeister and representation zeta functions persists under restriction to subgroups and quotients.
Where Pith is reading between the lines
- The dichotomy and rationality results may extend to additional classes of groups or endomorphisms beyond those treated here.
- These zeta functions could provide new ways to compute or relate torsions in concrete mapping tori examples.
- The representation-space approach might yield similar analytic classifications for dynamical systems on non-Abelian groups under suitable restrictions.
Load-bearing premise
The endomorphism or automorphism must belong to the large class of automorphisms of Abelian groups or one of the several unspecified classes of groups for the rationality, dichotomy, and functional equation statements to hold.
What would settle it
An explicit automorphism of an Abelian group inside the considered class for which the Reidemeister zeta function is neither rational nor has the unit circle as a natural boundary would disprove the claimed dichotomy.
read the original abstract
In this paper we continue to study the Reidemeister zeta function. We prove P\'olya -- Carlson dichotomy between rationality and a natural boundary for analytic behavior of the Reidemeister zeta function for a large class of automorphisms of Abelian groups. We also study dynamical representation theory zeta functions counting numbers of fixed irreducible representations for iterations of an endomorphism. The rationality and functional equation for these zeta functions are proven for several classes of groups. We find a connection between these zeta functions and the Reidemeister torsions of the corresponding mapping tori. We also establish the connection between the Reidemeister zeta function and dynamical representation theory zeta functions under restriction of endomorphism to a subgroup and to a quotient group.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript continues the study of Reidemeister zeta functions associated to endomorphisms and automorphisms of groups. It proves a Pólya-Carlson dichotomy (rationality versus natural boundary) for the Reidemeister zeta function for a large class of automorphisms of Abelian groups. Rationality and functional equations are established for dynamical representation theory zeta functions (counting fixed irreducible representations under iteration) for several classes of groups. Connections are derived between these zeta functions and Reidemeister torsions of the corresponding mapping tori, together with relations between the two families of zeta functions under restriction of an endomorphism to a subgroup or passage to a quotient group.
Significance. If the stated theorems hold, the work supplies explicit analytic criteria and functional equations for a family of dynamical zeta functions in group theory, together with direct links to topological invariants (Reidemeister torsion) and to representation-theoretic counting functions. The restriction/quotient compatibility relations unify constructions that had previously been treated separately. These results extend the existing literature on rationality of Reidemeister zeta functions and provide concrete tools for analyzing mapping tori and dynamical systems on groups.
minor comments (2)
- The introduction would benefit from a brief, explicit characterization (even if only by reference to a later theorem) of the 'large class of automorphisms of Abelian groups' to which the dichotomy applies, rather than leaving the scope entirely to the statement of the main theorem.
- Notation for the dynamical representation theory zeta function is introduced without an immediate low-dimensional example; adding one (e.g., for a cyclic group) would improve readability for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments requiring a point-by-point response.
Circularity Check
No significant circularity; derivations are self-contained
full rationale
The paper states and proves the Pólya-Carlson dichotomy, rationality, and functional equations directly for explicitly scoped classes of automorphisms of abelian groups and several listed classes of groups. The mapping-torus torsion connection and the restriction/quotient relations are obtained from the same explicit constructions and definitions supplied in the text. No equation or central claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; prior work is referenced only as background while the new results rest on independent arguments within the manuscript.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of analytic continuation and rationality criteria for zeta functions in complex analysis
- standard math Basic facts about Reidemeister torsion and mapping tori in algebraic topology
Reference graph
Works this paper leans on
-
[1]
J. Bell, R. Miles, T. Ward, Towards a P´ olya–Carlson dichotomy for algebraic dynamics, Indag. Math.(N.S. 25 (2014), no. 4, 652-668
work page 2014
-
[2]
Bachir Bekka, Pierre de la Harpe, and Alain Valette, Kazhdan’s pro perty (T), volume 11 of New Mathematical Monographs, Cambridge University Press, Cambridge, 2008
work page 2008
-
[3]
Carlson, ‘ ¨Uber ganzwertige Funktionen’, Math
F. Carlson, ‘ ¨Uber ganzwertige Funktionen’, Math. Z. 11 (1921), no. 1-2, 1–23
work page 1921
- [4]
-
[5]
Dekimpe, K. and Dugardein, G.-J. Nielsen zeta functions for maps on infra-nilmanifolds are rational, J. Fixed Point Theory Appl., 2015, 17 2, 355–370. DYNAMICAL ZETA FUNCTIONS AND REPRESENTATIONS SPACES 23
work page 2015
-
[6]
Karel Dekimpe, Sam Tertooy, and Iris Van den Bussche, Reideme ister zeta functions of low-dimensional almost-crystallographic groups are rational, Communications in Alge bra, 46 (9)(2018), 4090–4103
work page 2018
-
[7]
Deligne, La conjecture de Weil
P. Deligne, La conjecture de Weil. Inst. Hautes ´Etudes Sci. Publ. Math., 43 (1974), 273–307
work page 1974
-
[8]
D. Eisenbud, Commutative algebra, volume 150 of Graduate Text s in Mathematics, Springer - Verlag, New York, 1995, With a view toward algebraic geometry
work page 1995
-
[9]
G. Everest, V. Stangoe, and T. Ward, ‘Orbit counting with an isom etric direction’, in Algebraic and topological dynamics, in Contemp. Math. 385 (2005), pp. 293–302, Amer. Math. Soc., Providence, RI
work page 2005
-
[10]
G. Everest, A. van der Poorten, I. Shparlinski, and T. Ward, Recurrence sequences, in Mathematical Surveys and Monographs 104 (American Mathematical Society, Providence, RI, 2003)
work page 2003
-
[11]
A. L. Fel’shtyn, The Reidemeister zeta function and the comput ation of the Nielsen zeta function, Colloq. Math., 62, (1991), 153–166
work page 1991
-
[12]
Fel’shtyn, Dynamical zeta functions, Nielsen theory and Reid emeister torsion, Mem
A. Fel’shtyn, Dynamical zeta functions, Nielsen theory and Reid emeister torsion, Mem. Amer. Math. Soc., 699, Amer. Math. Soc., Providence, R.I., 2000
work page 2000
-
[13]
A. L. Fel’shtyn and R. Hill, The Reidemeister zeta function with app lications to Nielsen theory and a connection with Reidemeister torsion, K-theory, 8 (1994), 367–393
work page 1994
-
[14]
A. L. Fel’shtyn, R. Hill and P. Wong, Reidemeister numbers of equ ivariant maps, Topology Appl., 67 (1995), 119–131
work page 1995
-
[15]
Alexander Fel’shtyn and Jong Bum Lee, The Nielsen and Reidemeist er numbers of maps on infra- solvmanifolds of type (R). Topology Appl. 181(2015), 62–103
work page 2015
-
[16]
A. Fel’shtyn and E. Troitsky, Twisted Burnside-Frobenius theo ry for discrete groups, J. reine Angew. Math., 613 (2007), 193–210
work page 2007
-
[17]
A.L. Fel’shtyn and E.V. Troitsky, Twisted Burnside-Frobenius th eory for endomorphisms of polycyclic groups. Russian J. Math. Phys. 25, No. 1, 2018, 17–26
work page 2018
-
[18]
New zeta functions of Reidemeister type and twisted Burnside-Frobenius theory
A. Fel’shtyn, E. Troitsky, M. Zietek, New zeta functions of Reid emeister type and twisted Burnside- Frobenius theory, http://arxiv.org/abs/1804.02874
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
Fried, The zeta functions of Ruelle and Selberg
D. Fried, The zeta functions of Ruelle and Selberg. I, Ann. Sci. E cole Norm. Sup. (4), 19 (1986), 491–517
work page 1986
-
[20]
D. Fried, Lefschetz formula for flows, The Lefschetz centen nial conference, Part III (Mexico City, 1984), 19–69, Contemp. Math., 58, III, Amer. Math. Soc., Providence, R I, 1987
work page 1984
-
[21]
Li, On the rationality of the Nielsen zeta function, Adv
L. Li, On the rationality of the Nielsen zeta function, Adv. in Math . (China), 23 (1994) no. 3, 251–256
work page 1994
-
[22]
D. A. Lind and T. Ward, ‘Automorphisms of solenoids and p-adic entropy’, Ergodic Theory Dynam. Systems 8 (1988), no. 3, 411–419
work page 1988
-
[23]
D. Lind, K. Schmidt, and T. Ward. Mahler measure and entropy f or commuting automorphisms of compact groups. Invent. Math., 101(3)(1990): 593–629
work page 1990
-
[24]
Matsumura, Commutative ring theory, volume 8 of Cambridge Studies in Advanced Mathematics
H. Matsumura, Commutative ring theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 1989. Tra nslated from the Japanese by M. Reid
work page 1989
-
[25]
Miles, ‘Periodic points of endomorphisms on solenoids and relate d groups’, Bull
R. Miles, ‘Periodic points of endomorphisms on solenoids and relate d groups’, Bull. Lond. Math. Soc. 40 (2008), no. 4, 696–704
work page 2008
-
[26]
Osin, Small cancellations over relatively hyperbolic groups and embedding theorems, Ann
D. Osin, Small cancellations over relatively hyperbolic groups and embedding theorems, Ann. Math. 172 (2010), 139
work page 2010
-
[27]
G. P´ olya, ‘¨Uber gewisse notwendige Determinantenkriterien f¨ ur die Fortset zbarkeit einer Potenzreihe’, Math. Ann. 99 (1928), no. 1, 687–706
work page 1928
-
[28]
K. Schmidt, Dynamical systems of algebraic origin , in Progress in Mathematics 128 (Birkh¨ auser Verlag, Basel, 1995)
work page 1995
-
[29]
S. L. Segal. Nine introductions in complex analysis , volume 208 of North-Holland Mathematics Studies . Elsevier Science B.V., Amsterdam, revised edition, 2008
work page 2008
-
[30]
J.P. Serre, Trees, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 20 03, Translated from the French original by John Stillwell, Corrected 2nd printing of the 19 80 English translation
-
[31]
Smale, Differentiable dynamical systems, Bull
S. Smale, Differentiable dynamical systems, Bull. Amer. Math. So c., 73 (1967), 747–817
work page 1967
-
[32]
A. Weil, Basic number theory , in Die Grundlehren der mathematischen Wissenschaften, Band 1 44 (Springer-Verlag New York, Inc., New York, 1967). 24 ALEXANDER FEL’SHTYN AND MAL WINA ZIETEK
work page 1967
-
[33]
A. V. Zarelua, On congruences for the traces of powers of so me matrices, Tr. Mat. Inst. Steklova, 263 (2008), 85–105, Geometriya, Topologiya i Matematicheskaya Fizik a. I (in Russian); translation in Proc. Steklov Inst. Math., 263 (2008), 78–98. Instytut Matematyki, Uniwersytet Szczecinski, ul. Wielko polska 15, 70-451 Szczecin, Poland E-mail address : f...
work page 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.