Added the notes *Dynamical zeta functions* on the arXiv today as a reference.

Also, the Ruelle zeta function is defined more widely than for hyperbolic manifolds of odd dimension. I noticed this having commented on a post on a formula of Feynman for the Ising model. So I’ve added a broader definition.

]]>The page zeta function of a dyanimcal system says

When interpreting the Frobenius morphisms that appear in the Artin L-functions geometrically as flows (as discussed at Borger’s arithmetic geometry – Motivation) then this induces an evident analog of zeta function of a dynamical system.

Could we replace “induces” by “motivates”? Confusingly to a mathematician, inducing is usually about a formal procedure how to transfer the information in one structure to get another structure (induced topology, induced representation etc.); but I suspect that here it is just an analogical thinking and not a priori well defined procedure of transfering the definition to another realm…

]]>am beginning to add some genuine content to *Ruelle zeta function* (which used to just redirect to *zeta function of a dynamical system* which in turn is no more that a stub)

not done yet

]]>