Twisted dynamical zeta functions and the Fried's conjecture

This survey article reviews the theory of twisted dynamical zeta functions of Ruelle and Selberg and explores Fried's conjecture, drawing from a mini-course delivered at the Institut Henri Poincaré.

The Gist

Here is an explanation of the paper "Twisted dynamical zeta functions and the Fried's conjecture" by Polyxeni Spilioti, translated into everyday language with creative analogies.

The Big Picture: The Cosmic Echo Chamber

Imagine a hyperbolic surface (like a saddle-shaped world that curves inward everywhere) as a giant, infinite echo chamber. If you shout in this chamber, your voice bounces around forever.

In mathematics, we are interested in the echoes that return to you exactly as they started. These are called closed geodesics (or prime loops). They are the shortest, simplest paths that start at a point, travel around the universe, and come back to the start without crossing themselves.

The paper is about a special mathematical tool called a Zeta Function. Think of a Zeta Function as a giant musical score or a fingerprint of this echo chamber. It takes the lengths of all those looping echoes and combines them into a single, complex equation.

The Two Main Characters

The paper focuses on two specific types of these "musical scores":

1. The Ruelle Zeta Function: This is the "grandmother" of these scores. It's like a simple list of all the echo lengths.
   • Analogy: Imagine a drum circle where every drummer beats a different rhythm. The Ruelle function is just the raw list of all those rhythms.
2. The Selberg Zeta Function: This is a more complex, "twisted" version. It doesn't just listen to the length of the echo; it also listens to how the echo changes as it travels.
   • Analogy: Imagine the echo isn't just a sound, but a spinning top. As the top travels around the loop, it might spin faster, slower, or flip over. The Selberg function tracks this "spin" (or "twist") along with the length.

The "Twist": Adding Color to the Echo

The paper deals with Twisted Zeta functions. In the standard version, the echo is just a plain sound wave. But in this paper, the author imagines the echo carrying a color or a tag with it.

• The Metaphor: Imagine you are running a marathon (the geodesic). In a normal race, everyone is just running. In a "twisted" race, every runner is wearing a specific colored shirt (a mathematical representation). As they run the loop, they might change shirts or interact with other runners.
• The Math: The "twist" is a mathematical rule (a representation) that tells us how these "shirts" change as the path loops around. The author studies what happens when these rules are complicated and non-standard (non-unitary), which makes the math much harder, like trying to predict the weather in a storm rather than on a sunny day.

The Big Mystery: Fried's Conjecture

The heart of the paper is solving a puzzle proposed by mathematician David Fried.

The Question:
If you take the Ruelle Zeta function (the list of echo lengths) and plug in the number Zero, what do you get?

Usually, plugging zero into these complex equations gives you a mess or a zero. But Fried suspected something magical: The result at zero is actually a topological invariant.

• The Analogy: Imagine you have a knotted piece of string. You can measure its length, its thickness, and how fast it spins. But there is a hidden property: Is it a knot, or is it just a loose loop?
  • Fried's Conjecture says: If you calculate the "Echo Score" at Zero, the answer tells you exactly how "knotted" the universe is. It connects the dynamics (how things move and echo) to the shape (the topology) of the universe.

The Author's Achievement

Polyxeni Spilioti (the author) has spent years proving that this conjecture is true in several difficult scenarios.

1. The Surface Case (2D): She proved that for flat, hyperbolic surfaces (like a donut with many holes), the value at zero is directly related to a quantity called Reidemeister Torsion.
   • Simple translation: The "Echo Score at Zero" is a precise measurement of the universe's "knot-ness."
2. The Orbisurface Case (Surfaces with Singularities): She handled surfaces that have "pinch points" or singularities (like a cone). Even with these weird spots, the connection holds, though the math gets messy with "finite order" loops.
3. The Odd-Dimensional Case (3D and beyond): She extended this to 3D hyperbolic manifolds. Here, the "Echo Score at Zero" equals something called Cappell-Miller Torsion.

How Did She Do It? (The Detective Work)

To prove this, she used a powerful tool called the Trace Formula.

• The Analogy: Imagine you are in a dark room with a drum. You can't see the drum, but you can hear the sound.
  • The Geometric Side: You know the shape of the room and the length of the sound waves bouncing off the walls.
  • The Spectral Side: You know the specific frequencies (notes) the drum produces.
  • The Trace Formula: This is the magic equation that says: "The sum of all the wall bounces (geometry) must equal the sum of all the drum notes (spectrum)."

Spilioti used this formula to translate the "Echo Score" (which is about geometry/lengths) into "Spectral Data" (which is about the shape/topology). By showing that the two sides match perfectly at the number zero, she proved that the Echo Score is the Topological Invariant.

Why Should We Care?

This paper is a bridge between three very different worlds of math:

1. Dynamics: How things move and flow (like the geodesics).
2. Number Theory: The study of prime numbers and complex equations (Zeta functions).
3. Topology: The study of shapes and knots.

The Takeaway:
Just as a fingerprint can identify a person, the "Echo Score at Zero" identifies the fundamental shape of a universe. Spilioti's work confirms that the way things move (dynamics) and the shape of the space they move in (topology) are deeply, mathematically locked together. Even when the math gets "twisted" and complicated, this hidden connection remains unbreakable.

Technical Summary

Here is a detailed technical summary of the survey article "Twisted dynamical zeta functions and the Fried's conjecture" by Polyxeni Spilioti.

1. Problem Statement

The central problem addressed in this paper is the resolution of Fried's Conjecture, which posits a deep relationship between the special value of the Ruelle dynamical zeta function at zero and topological or spectral invariants of the underlying manifold.

Specifically, the paper investigates:

• The Object: The twisted Ruelle zeta function $R_\rho(s)$ and the twisted Selberg zeta function $Z_\rho(s)$ associated with a closed hyperbolic manifold (or orbisurface) $X$ and a finite-dimensional representation $\rho$ of its fundamental group $\pi_1(X)$.
• The Conjecture: Does the value $R_\rho(0)$ (or its order of vanishing) equal a topological invariant, specifically the Reidemeister torsion (or its complex-valued generalizations like Cappell-Miller torsion), up to a sign?
• The Challenge: While the conjecture was proven for orthogonal/unitary representations by David Fried in the 1980s, the case for arbitrary non-unitary representations remained open. Non-unitary representations introduce significant analytical difficulties because the associated twisted Laplacians are non-self-adjoint, leading to complex spectra and the potential non-vanishing of cohomology groups even when the representation is acyclic.

2. Methodology

The author employs a synthesis of harmonic analysis, spectral geometry, and dynamical systems to tackle the problem. The core methodology involves:

• Twisted Trace Formulas: The paper utilizes the Selberg trace formula extended to non-unitary twists (developed by Müller and extended by the author and collaborators). This formula relates the spectral side (trace of the heat operator induced by the twisted Laplacian $\Delta^\sharp_\chi$) to the geometric side (sum over closed geodesics).
• Resolvent Trace Formulas: To analyze the zeta functions near $s=0$, the author shifts the operator to $A^\sharp_\chi = \Delta^\sharp_\chi - 1/4$ and considers the resolvent $(A^\sharp_\chi + (s-1/2)^2)^{-1}$. By integrating the trace of the heat kernel, a resolvent trace formula is derived that links the logarithmic derivative of the Selberg zeta function, $L(s) = \frac{d}{ds}\log Z(s)$, to the spectral data.
• Meromorphic Continuation: Using the trace formulas, the author proves that the twisted Selberg and Ruelle zeta functions admit meromorphic (and in some cases holomorphic) continuations to the entire complex plane $\mathbb{C}$.
• Functional Equations: The paper derives functional equations for the twisted zeta functions. For surfaces, this involves relating $R(s)$ to $R(-s)$ and $Z(s)$ to $Z(1-s)$.
• Continuity Arguments: To handle non-unitary representations, the author considers representations close to unitary ones. By showing that the twisted Hodge Laplacian is injective for representations in a neighborhood of the unitary acyclic representations, regularity at $s=0$ is established via continuity.

3. Key Contributions and Results

The paper synthesizes recent results (primarily from the author's work with Frahm, Bénard, and others) to provide a comprehensive resolution of Fried's conjecture in several specific geometric settings:

A. Compact Hyperbolic Surfaces ($d=2$)

• Meromorphic Continuation: Proved that for any finite-dimensional complex representation $\chi$, the twisted Selberg zeta function $Z(s; \chi)$ and Ruelle zeta function $R(s; \chi)$ extend meromorphically to $\mathbb{C}$.
• Functional Equation: Established the functional equation:
  $$R(s; \chi)R(-s; \chi) = (2 \sin \pi s)^{2(2g-2)\dim V_\chi}$$
• Behavior at Zero: Determined the behavior near $s=0$:
  $$R(s; \chi) = \pm (2\pi s)^{\dim(V_\chi)(2g-2)} + \text{higher order terms}$$
  This confirms that the order of vanishing is determined by the Euler characteristic and the dimension of the representation.

B. Compact Hyperbolic Orbisurfaces

• Singularities: Addressed the case where the manifold has singular points (orbifold structure).
• Main Result: For an irreducible representation $\rho$:
  • If $\rho(u) = \text{Id}$ (where $u$ is the fiber generator), $R(s; \rho)$ vanishes at $s=0$ with an order and leading coefficient explicitly prescribed by the fixed-point dimensions of the singular points.
  • If $\rho(u) \neq \text{Id}$ (acyclic case), the value at zero is exactly the Reidemeister–Turaev torsion:
    $$R(0; \rho) = \pm \text{tor}(X_1, \rho, e_{\text{geod}}, \omega_1)$$
    This generalizes Fried's original result to the orbifold setting with non-unitary twists.

C. Odd-Dimensional Compact Hyperbolic Manifolds ($d$ odd)

• Determinant Formula: Derived a representation of the Ruelle zeta function as a product of regularized determinants of twisted Laplacians acting on differential forms.
• Regularity at Zero: Overcame the issue that non-self-adjoint Laplacians may have non-trivial kernels even for acyclic representations. By restricting to a neighborhood of unitary acyclic representations, the author proved that the twisted Ruelle zeta function is regular at $s=0$.
• Fried's Conjecture Resolution: Proved that for such representations:
  $$R(0; \chi) = \tau_\chi$$
  where $\tau_\chi$ is the complex Cappell-Miller torsion. This establishes the equality between the dynamical zeta value and the spectral/topological invariant for non-unitary twists in odd dimensions.

D. Relation to Determinants and Torsion Factors

• The paper discusses recent work (Jorgenson, Smajlovic, Spilioti) relating the twisted Selberg zeta function to the regularized determinant of the twisted Laplacian.
• It introduces a torsion factor (a multiplicative constant involving the Euler characteristic and Riemann zeta derivatives) that appears in the relation between the determinant and the zeta function, particularly in the orbisurface case.

4. Significance

• Unification of Fields: The paper successfully bridges dynamical systems (geodesic flows, zeta functions), spectral geometry (Laplacians, trace formulas), and algebraic topology (torsion invariants).
• Resolution of a Long-Standing Conjecture: It provides a definitive resolution to Fried's conjecture for a broad class of non-unitary representations, which was previously an open problem. This extends the validity of the conjecture beyond the restrictive orthogonal/unitary cases.
• Analytical Tools: The development and application of trace formulas for non-self-adjoint operators with non-unitary coefficients provide a robust framework for studying dynamical zeta functions on locally symmetric spaces of real rank one.
• Complex Torsion: The identification of the Ruelle zeta value with the Cappell-Miller torsion (a complex-valued generalization of Reidemeister torsion) is a crucial theoretical advancement, allowing the study of these invariants in the complex domain where traditional real-valued torsion fails.

In summary, Spilioti's survey consolidates advanced techniques in non-commutative geometry and representation theory to prove that the analytic properties of dynamical zeta functions at zero are intrinsically linked to the topological torsion of the underlying manifold, even in the presence of non-unitary twists and singularities.