Generic twisted Pollicott--Ruelle resonances and zeta function at zero

This paper establishes that for a generic set of finite-dimensional irreducible representations of the fundamental group of a surface's unit tangent bundle, the twisted Ruelle zeta function either vanishes at zero with an order determined by the genus or equals the Reidemeister--Turaev torsion, thereby extending Fried's conjecture to generic acyclic representations and confirming the constancy of the vanishing order for untwisted zeta functions across a dense set of Anosov metrics.

The Gist

Imagine you are standing on a strange, curved surface (like a donut with many holes, but stretched out). On this surface, there is a "wind" blowing in every direction. This wind is the geodesic flow: if you were a tiny ant walking in a straight line, this wind would carry you along the shortest possible path.

In the world of mathematics, this wind is chaotic. It's an Anosov flow, meaning that if you start two ants very close together, they will quickly drift apart in a predictable, exponential way. This chaos creates a complex web of paths, some short, some incredibly long, looping around the surface forever.

The Mystery of the "Zeta Function"

Mathematicians love to count things. They want to count these looping paths. To do this, they use a special mathematical tool called the Ruelle Zeta Function. Think of this function as a giant, infinite calculator that multiplies together the lengths of every single loop on the surface.

Usually, this calculator works fine. But mathematicians are obsessed with what happens when you plug in the number zero ($s=0$) into this machine.

• Does the result explode?
• Does it vanish to nothing?
• Or does it give a specific, meaningful number?

The answer depends on a "twist." Imagine that as the ant walks along the path, it carries a secret code (a representation). Sometimes the code changes the ant's color or shape as it loops around. This is the twisted Ruelle zeta function.

The Big Discovery: The "Generic" Rule

The authors of this paper, Tristan Humbert and Zhongkai Tao, asked a simple question: "What happens at zero for most possible codes?"

They found a beautiful, almost magical rule that applies to almost every scenario (what they call a "generic" set):

1. The "Simple" Twist (Facts through the Surface):
   If the secret code the ant carries depends only on the surface itself (ignoring the fact that the ant is walking on a 3D tube around the surface), then the Zeta function vanishes at zero.

   • The Metaphor: Imagine the ant is just counting how many times it circles the "holes" of the donut. The number of zeros it creates is directly related to the number of holes ($2G-2$) and the complexity of the code. It's a predictable, topological count.

2. The "Complex" Twist (Doesn't Factor through the Surface):
   If the code is more complicated and depends on the specific 3D path the ant takes (the "tube" nature of the space), then the Zeta function does not vanish at zero.

   • The Metaphor: The code is so intricate that the loops cancel each other out perfectly, leaving a non-zero "echo" at the center. This echo is actually a famous mathematical quantity called the Reidemeister-Turaev torsion. It's like a fingerprint of the shape's hidden geometry.

Why is this cool?
For a long time, mathematicians only knew this rule worked for "nice" codes (unitary representations) and "perfect" surfaces (hyperbolic). This paper proves that the rule holds even for "messy," non-perfect surfaces and "wild" codes, as long as you pick a code at random. It's like discovering that a law of physics works not just in a vacuum, but in a stormy wind tunnel too.

The "Resonance" Analogy: Singing in a Cave

To prove this, the authors didn't just count loops. They looked at the resonances.

Imagine the surface is a giant, weirdly shaped cave. If you shout a specific note, the cave will echo. Some notes will die out instantly; others will bounce around for a long time. These lingering notes are Pollicott-Ruelle resonances.

• The Zero Note: The authors were specifically interested in the "zero note" (a silence that might actually be a hidden vibration).
• The "Generic" Cave: They showed that for most codes, the cave is "silent" at zero for certain types of vibrations, but "loud" for others.
• The Jordan Block (The Glitch): Sometimes, the cave has a "glitch." Instead of a simple echo, the sound gets stuck in a loop, getting louder and louder before fading. This is called a Jordan block.
  • The authors found a specific, rare example where this glitch happens. It's like finding a specific note in a specific cave where the echo never stops, but instead creates a complex, layered sound. This proves that while the "generic" rule is simple, the universe of math is full of rare, complex exceptions.

The "Connectedness" Question

Finally, the paper touches on a big open question: Is the space of all possible shapes connected?

Imagine you have a hyperbolic donut (a perfect, negatively curved surface). Can you slowly stretch and squish it into any other chaotic shape without breaking the "Anosov" property (the chaotic wind)?

• The authors show that for a large chunk of these shapes, the answer is yes.
• They prove that if you start with a "nice" shape and a "nice" code, and you wiggle the shape slightly, the mathematical rules (the order of vanishing) stay constant. This suggests that the entire family of these chaotic surfaces might be one big, connected island, rather than a scattered archipelago.

Summary in One Sentence

This paper proves that for almost any chaotic surface and almost any secret code an ant might carry, the mathematical "echo" at zero is either a predictable count of the surface's holes or a specific geometric fingerprint, and that this behavior is stable even when the surface is slightly distorted.

Technical Summary

Here is a detailed technical summary of the paper "Generic Twisted Pollicott–Ruelle Resonances and Zeta Function at Zero" by Tristan Humbert and Zhongkai Tao.

1. Problem Statement and Context

The paper investigates the behavior of the twisted Ruelle zeta function, denoted $\zeta_{g,\rho}(s)$, at the point $s=0$ for an Anosov geodesic flow on the unit tangent bundle $M = S\Sigma$ of a closed orientable surface $\Sigma$ of genus $G \geq 2$.

• The Object: The zeta function is defined via an Euler product over primitive closed geodesics $\gamma$:
  $$\zeta_{g,\rho}(s) = \prod_{\gamma \in \mathcal{P}} \det(\text{Id} - \rho([\gamma])e^{-s\ell_g(\gamma)})$$
  where $\rho: \pi_1(M) \to \text{GL}_r(\mathbb{C})$ is a finite-dimensional representation.
• The Goal: Determine the order of vanishing $m(g, \rho)$ of the meromorphic extension of $\zeta_{g,\rho}(s)$ at $s=0$.
• The Challenge:
  • For hyperbolic metrics and unitary representations, Fried's conjecture relates the value of the zeta function at zero to the Reidemeister torsion.
  • For general Anosov metrics (non-constant curvature) and non-unitary representations, the relationship is less understood.
  • Previous work (e.g., by Cekić, Paternain, Dyatlov, Zworski) established results for specific cases (trivial representation, unitary twists, or hyperbolic metrics), but a general picture for generic non-unitary representations on generic Anosov metrics was missing.
  • A key question is whether the order of vanishing is a topological invariant or if it depends on the metric and representation in a generic way.

2. Methodology

The authors employ a combination of spectral theory of Anosov flows, perturbation theory, and algebraic geometry of representation varieties.

A. Pollicott–Ruelle Resonances

The core of the analysis relies on the connection between the zeta function and the spectrum of the generator $X$ of the geodesic flow acting on anisotropic spaces of distributions.

• The order of vanishing is expressed as an alternating sum of the dimensions of generalized resonant states at zero:
  $$m(g, \rho) = \dim(\text{Res}^{1,\infty}_0(\rho, 0)) - \dim(\text{Res}^{0,\infty}_0(\rho, 0)) - \dim(\text{Res}^{2,\infty}_0(\rho, 0))$$
• The authors analyze the spaces $\text{Res}^{k,\infty}_0(\rho, 0)$, which are the generalized eigenspaces of the Lie derivative $L_{X_\rho}$ at eigenvalue 0.

B. Perturbation Theory and Analytic Dependence

To handle the "generic" nature of the problem, the authors treat the representation $\rho$ as a variable in the representation variety $\text{Hom}_{\text{irr}}(\pi_1(M), \text{GL}_r(\mathbb{C}))$.

• Bundle Identification: They construct a local analytic identification of flat vector bundles $E_\rho$ for representations near a fixed $\rho_0$ (Lemma 3.1). This allows them to view the operators $L_{X_\rho}$ as an analytic family of operators.
• Spectral Projectors: Using results from Bonthonneau and Dang et al., they show that spectral projectors at zero depend analytically on $\rho$.
• Zariski Open Sets: They utilize the fact that the condition "no Jordan block at zero" or "dimension of resonant space equals a specific value" defines a Zariski open set. By showing these sets are non-empty (using unitary representations as a base case), they prove they are dense and have complements of complex codimension $\geq 1$.

C. Cohomological Arguments

The authors relate the dimensions of resonant states to the twisted cohomology groups $H^k(M, \rho)$.

• They distinguish two cases for the representation $\rho$:
  1. Factors through $\pi_1(\Sigma)$: $\rho(c) = \text{Id}$ (where $c$ generates the fiber circle).
  2. Does not factor through $\pi_1(\Sigma)$: $\rho(c) \neq \text{Id}$.
• Using the Gysin sequence and properties of the Euler class, they compute the dimensions of $H^k(M, \rho)$ for these cases.

3. Key Contributions and Results

Main Theorem 1: Generic Order of Vanishing

The authors prove the existence of an open subset $U_g$ of irreducible representations (whose complement has complex codimension $\geq 1$) such that for any $\rho \in U_g$:

1. Case 1 (Factors through $\pi_1(\Sigma)$):
   $$m(g, \rho) = \dim(\rho)(2G - 2) = -\dim(\rho)\chi(\Sigma)$$
   This extends previous results (Fried, Frahm-Spilioti, Cekić-Paternain) to non-unitary representations and non-hyperbolic Anosov metrics.
2. Case 2 (Does not factor through $\pi_1(\Sigma)$):
   $$m(g, \rho) = 0$$
   This implies the zeta function does not vanish at zero for generic acyclic representations that do not factor through the base surface.

Main Theorem 2: Structure of Resonant States

The theorem characterizes the resonant spaces at zero for generic $\rho$:

• Case 1: $\text{Res}^{0,\infty}_0 = \text{Res}^{2,\infty}_0 = 0$ and $\text{Res}^{1,\infty}_0$ has dimension $-\dim(\rho)\chi(\Sigma)$. Crucially, there are no Jordan blocks (the operator is semisimple) for $k=1$.
• Case 2: All resonant spaces $\text{Res}^{k,\infty}_0$ are trivial ($0$).

Corollary 1.1: Extension of Fried's Conjecture

For a generic acyclic representation $\rho$ that does not factor through $\pi_1(\Sigma)$, the authors establish:
$$\zeta_{g,\rho}(0)^{-1} = \pm \tau_{e_{\text{geod}}, o}(\rho) = \pm \det(\text{Id} - \rho(c))^{2G-2}$$
This extends Fried's conjecture (originally for unitary representations) to a generic set of non-unitary representations on non-hyperbolic metrics.

Theorem 3 & 4: Non-Generic Behavior (Counterexamples)

The paper demonstrates that the "generic" picture is not universal:

• Theorem 3: For the adjoint representation $\text{Ad}$ of $\text{SL}(2, \mathbb{R})$ on a hyperbolic surface, the dimensions of resonant spaces are large ($2G+1$for$k=0,2$and$10G-4$for$k=1$), showing that non-trivial Jordan blocks can exist even for irreducible representations.
• Theorem 4: The authors construct a specific non-unitary, irreducible representation $\tau$ and a hyperbolic metric $g$ (where $1/4 \in \text{Spec}(\Delta_g)$) such that:
  • $m(g, \tau) = 0$ (consistent with Case 2).
  • However, there exist non-trivial Jordan blocks at zero for $k=0,1,2$.
  • This is the first example of an Anosov flow with an acyclic representation exhibiting non-trivial Jordan blocks at zero, proving that the generic semisimplicity is a strict condition.

Theorem 5: Generic Semisimplicity for Metrics

Extending work by Cekić et al., the authors show that for a connected component of Anosov metrics containing a hyperbolic 3-metric, there exists an open and dense set of metrics where the resonant states are semisimple (no Jordan blocks) and the dimensions match the cohomological prediction.

4. Significance

1. Resolution of Fried's Conjecture in New Settings: The paper significantly broadens the scope of Fried's conjecture, proving it holds for a generic set of non-unitary representations on non-hyperbolic Anosov surfaces.
2. Clarification of Generic vs. Special Behavior: It rigorously distinguishes between the "generic" behavior (semisimple operators, specific vanishing orders) and "special" cases (presence of Jordan blocks, large resonant spaces). This resolves ambiguities in previous literature regarding the stability of the order of vanishing.
3. Methodological Advancement: The use of analytic perturbation theory on the representation variety to prove generic properties of dynamical zeta functions provides a powerful new tool for studying spectral invariants of Anosov flows.
4. Counterexamples: By explicitly constructing examples with Jordan blocks (Theorem 4), the authors prevent the over-generalization of results derived from unitary or hyperbolic cases, highlighting the complexity of non-unitary twisted dynamics.

In summary, Humbert and Tao provide a comprehensive classification of the twisted Ruelle zeta function at zero for Anosov surfaces, establishing a robust "generic" theory while carefully delineating the boundaries where exceptional spectral phenomena occur.