Equivariant Fried Conjecture

• The Equivariant Fried Conjecture is a framework that links symmetry-refined dynamical zeta functions with g-delocalized analytic torsion invariants in settings with proper cocompact group actions.
• It studies g-periodic trajectories and utilizes extensions of Guillemin’s trace formula and equivariant flat traces to relate periodic orbit data with torsion invariants.
• The approach has been validated in specific cases such as suspension flows and locally symmetric spaces, while also highlighting normalization issues and representation-theoretic analogues.

The Equivariant Fried Conjecture is the problem of relating a symmetry-refined dynamical zeta function of a flow to a symmetry-refined analytic torsion invariant. In the modern formulation developed for proper cocompact group actions, ordinary periodicity is replaced by periodicity up to a fixed group element $g$, so that one studies flow trajectories satisfying $\gamma(l)=g\gamma(0)$, together with a $g$-delocalized trace on the torsion side. This viewpoint was formalized for unimodular locally compact groups acting properly and cocompactly on smooth manifolds, and it was later proved for a substantial class of suspension flows. A broader surrounding literature studies closely related “twisted” or representation-theoretic Fried statements for locally symmetric spaces, Anosov flows, and pseudo-Anosov flows; these results are not uniformly equivariant in the same sense, but they supply much of the analytic, harmonic-analytic, and torsion-theoretic infrastructure of the subject (Hochs et al., 2023, Hochs et al., 9 Jul 2025).

1. Formal setting and conjectural statement

The equivariant framework is built from the following data: a smooth manifold $M$, a unimodular locally compact group $G$ acting properly on $M$ with compact quotient $M/G$, a $G$-equivariant flow $\varphi$ generated by a smooth nowhere-vanishing vector field, a flat $G$-equivariant vector bundle $\gamma(l)=g\gamma(0)$0 with $\gamma(l)=g\gamma(0)$1-invariant flat connection $\gamma(l)=g\gamma(0)$2, and a fixed element $\gamma(l)=g\gamma(0)$3 whose centralizer $\gamma(l)=g\gamma(0)$4 is such that $\gamma(l)=g\gamma(0)$5 carries a nonzero $\gamma(l)=g\gamma(0)$6-invariant Borel measure. In this setting, the basic dynamical objects are $\gamma(l)=g\gamma(0)$7-periodic trajectories rather than closed orbits in the ordinary sense (Hochs et al., 2023).

A central hypothesis is $\gamma(l)=g\gamma(0)$8-nondegeneracy. The flow is called $\gamma(l)=g\gamma(0)$9-nondegenerate if for all $g$0 and $g$1 with $g$2,

$g$3

Equivalently, the induced map $g$4 on $g$5 is invertible for every $g$6-periodic flow line. This is the equivariant analogue of the ordinary nondegeneracy condition for periodic orbits (Hochs et al., 2023).

The conjectural Fried-type relation asks whether, under odd-dimensionality and vanishing of the relevant Laplacian kernel, the equivariant Ruelle zeta function extends meromorphically to a neighborhood of $g$7, is regular there, and satisfies an identity at $g$8 with equivariant analytic torsion. In the formulation of Hochs–Saratchandran recorded in the equivariant-zeta paper, the expected identity is

$g$9

In the suspension-flow normalization later used by Hochs and Pirie, the expected identity is

$M$0

The difference is a normalization issue rather than a contradiction; in the compact unitary case with $M$1 compact and $M$2, the suspension-flow paper states that $M$3 is the absolute value squared of the classical Ruelle zeta in the relevant normalization (Hochs et al., 2023, Hochs et al., 9 Jul 2025).

2. Equivariant dynamical zeta functions and equivariant torsion

For $M$4, the $M$5-delocalized length spectrum is

$M$6

If $M$7, an $M$8-periodic flow curve is a flow curve $M$9 with $G$0, and $G$1 denotes the set of such curves modulo time shift. For $G$2, one has the equivariant Poincaré map $G$3, the holonomy endomorphism $G$4, and a cutoff-weighted primitive period $G$5 defined from a cutoff function $G$6 adapted to the proper action (Hochs et al., 2023).

With these ingredients, the equivariant Ruelle dynamical zeta is defined by

$G$7

whenever the expression converges for $G$8 sufficiently large. The construction permits negative lengths, a feature emphasized as essential already in elementary examples such as the translation flow on $G$9 (Hochs et al., 2023).

The analytic side uses a $M$0-trace. For a bounded $M$1-equivariant operator $M$2,

$M$3

whenever $M$4 is trace class and the integral converges. If $M$5 is the Laplacian on $M$6 and $M$7 is the orthogonal projection onto $M$8, then

$M$9

and the equivariant analytic torsion is

$M/G$0

This is a $M/G$1-localized or delocalized torsion invariant, and for $M/G$2 it reduces to the von Neumann-trace version (Hochs et al., 2023).

In the suspension-flow setting, the geometric structure becomes more rigid. If $M/G$3 is the mapping torus of a $M/G$4-equivariant isometry $M/G$5, then the $M/G$6-periodic flow problem reduces to fixed points of the maps $M/G$7 on $M/G$8, and the equivariant torsion admits a fibration formula. The main identity proved there is

$M/G$9

which yields $G$0 whenever $G$1 is well-defined (Hochs et al., 9 Jul 2025).

3. Meanings of “equivariant” and adjacent twisted formulations

In the strict sense relevant to proper cocompact group actions, “equivariant” refers to dependence on a symmetry element $G$2, $G$3-periodic orbits, $G$4-traces, and delocalized orbital integrals. This is the sense formalized in the 2023 equivariant-zeta framework and realized in the 2025 suspension-flow theorem (Hochs et al., 2023, Hochs et al., 9 Jul 2025).

A broader literature uses “equivariant” in a looser, representation-theoretic sense. Shen’s work on admissible twists of the Fried conjecture is explicit that it is not a paper on equivariant analytic torsion in the classical sense of torsion depending on an external compact group action, nor on a representation-valued Ruelle zeta function. The objects remain scalar-valued after taking traces. Nevertheless, the twisting bundle is obtained by restricting a finite-dimensional representation $G$5, the Ruelle zeta weights closed orbits by $G$6, and the proof uses orbital integrals, trace formulas, and spectral decompositions by irreducible unitary $G$7-representations. In that precise sense, the paper gives a strong representation-theoretic analogue of an equivariant Fried picture (Shen, 2020).

The same terminological broadening appears in the dynamical literature on twisted Fried conjectures for singular hyperbolic systems. For smooth pseudo-Anosov flows on closed $G$8-manifolds, the zeta function $G$9 is twisted by a representation $\varphi$0 of $\varphi$1, and the main theorem identifies $\varphi$2 with twisted Reidemeister torsion under acyclicity and monodromy assumptions. The paper presents this as one of the standard manifestations of the “equivariant Fried conjecture,” even though it does not introduce an external symmetry group action or an equivariant trace formalism (Jézéquel et al., 2024).

This terminological distinction matters. Some works prove a genuinely equivariant statement in the sense of $\varphi$3-delocalized traces and proper actions; others prove twisted or character-weighted analogues in which the output is still scalar after taking traces. The literature uses both viewpoints, but it does not identify them.

4. Established cases and principal results

The subject presently consists of a general conjectural framework, one proved equivariant case in substantial generality, several verified model examples, and a larger body of twisted or representation-theoretic analogues.

Setting	Main identity	Status
Proper cocompact $\varphi$4-actions, $\varphi$5-nondegenerate equivariant flows	$\varphi$6	Formulated as a question, verified in explicit examples (Hochs et al., 2023)
Suspension flow of a $\varphi$7-equivariant isometry	$\varphi$8	Proved in several cases (Hochs et al., 9 Jul 2025)
Closed odd-dimensional locally symmetric spaces, admissible $\varphi$9-induced flat bundles	$G$0, and $G$1 if $G$2	Proved (Shen, 2020)
Smooth pseudo-Anosov flows on closed $G$3-manifolds	$G$4	Proved under acyclicity and monodromy assumptions (Jézéquel et al., 2024)
Smooth Anosov flows in dimension $G$5	$G$6 in the stated regime	Proved, with local constancy under a spectral condition in all dimensions (Dang et al., 2018)

The 2023 equivariant-zeta paper provides the formal definition, an equivariant generalization of Guillemin’s trace formula, and explicit computations in examples where the classical Ruelle zeta is not defined. It verifies the conjectural equality for the line, the circle, and certain discrete Euclidean-motion examples when the Laplacian kernel vanishes, but it does not claim a general theorem (Hochs et al., 2023).

The 2025 suspension-flow paper proves the equivariant Fried conjecture for the suspension flow of an equivariant isometry in several cases: the case where the group is compact, the case where the group element has compact centralizer and closed conjugacy class, and the case of the identity element of a non-compact discrete group. Under its hypotheses, including $G$7, fixed-point discreteness assumptions, and either compactness or growth/Novikov–Shubin conditions, it obtains the exact identity $G$8 (Hochs et al., 9 Jul 2025).

The nearby locally symmetric literature gives higher-rank and non-unitary evidence in a different formalism. Shen proves that for a closed odd-dimensional locally symmetric manifold $G$9 and a flat bundle induced from a finite-dimensional $\gamma(l)=g\gamma(0)$00-representation with admissible metric,

$\gamma(l)=g\gamma(0)$01

with $\gamma(l)=g\gamma(0)$02 in the acyclic case and $\gamma(l)=g\gamma(0)$03 when $\gamma(l)=g\gamma(0)$04 (Shen, 2020). Earlier, Shen had proved the unitary locally symmetric case, obtaining $\gamma(l)=g\gamma(0)$05 for acyclic unitarily flat bundles on closed odd-dimensional locally symmetric reductive manifolds (Shen, 2016). Müller extended Fried’s hyperbolic theorem from orthogonal twists to arbitrary finite-dimensional representations by replacing Ray–Singer torsion with Cappell–Miller complex-valued torsion (Mueller, 2020).

Beyond locally symmetric geometry, Dang–Guillarmou–Rivière–Shen proved the Fried conjecture in dimension $\gamma(l)=g\gamma(0)$06 for smooth Anosov flows with unitary acyclic local systems, and more generally showed that $\gamma(l)=g\gamma(0)$07 is locally constant under a no-zero-resonance condition. This yields new examples near hyperbolic geodesic flows and is explicitly described as structurally relevant for future equivariant extensions (Dang et al., 2018). The pseudo-Anosov extension to singular flows on closed $\gamma(l)=g\gamma(0)$08-manifolds pushes the twisted theory beyond the Anosov category while retaining an exact orbit-product formula and a torsion identity at $\gamma(l)=g\gamma(0)$09 (Jézéquel et al., 2024).

5. Analytic and representation-theoretic methods

The defining analytic mechanism of the strict equivariant theory is an equivariant generalization of Guillemin’s trace formula. The 2023 framework introduces a distributional flat $\gamma(l)=g\gamma(0)$10-trace $\gamma(l)=g\gamma(0)$11 and proves that the equivariant zeta can be recovered from it by

$\gamma(l)=g\gamma(0)$12

with $\gamma(l)=g\gamma(0)$13. This formula is the direct equivariant analogue of the classical relation between periodic-orbit expansions and flat traces, and it explains the sign $\gamma(l)=g\gamma(0)$14 through a linear-algebra identity involving $\gamma(l)=g\gamma(0)$15 (Hochs et al., 2023).

In the suspension-flow theorem, tractability comes from the mapping-torus geometry. A $\gamma(l)=g\gamma(0)$16-periodic orbit of the suspension flow must correspond to an integer time $\gamma(l)=g\gamma(0)$17 and a fixed point of $\gamma(l)=g\gamma(0)$18 on the fiber $\gamma(l)=g\gamma(0)$19. The proof then combines: reduction of orbit sums to fixed-point sums on $\gamma(l)=g\gamma(0)$20; a fibration formula for equivariant torsion; explicit one-dimensional torsion on the $\gamma(l)=g\gamma(0)$21-direction; and a noncompact Atiyah–Bott-type fixed-point formula rewriting the mixed equivariant Euler characteristic $\gamma(l)=g\gamma(0)$22 in terms of the same fixed-point data that appear in the zeta function. The equality is therefore term-by-term after the substitution $\gamma(l)=g\gamma(0)$23 on the torsion side (Hochs et al., 9 Jul 2025).

The representation-theoretic branch of the literature uses a different arsenal. In the admissible-twist locally symmetric setting, the Ruelle zeta is decomposed into Selberg zeta factors attached to virtual $\gamma(l)=g\gamma(0)$24-representations $\gamma(l)=g\gamma(0)$25, with character identities such as

$\gamma(l)=g\gamma(0)$26

and determinant formulas for the Selberg zetas. The proof uses Selberg trace formula techniques, Bismut orbital integral formulas, Dirac cohomology, and cohomological formulas for correction exponents. This is one reason the paper is often viewed as highly relevant to an equivariant Fried picture even though its final theorem is scalar (Shen, 2020).

The pseudo-Anosov and general Anosov works exhibit yet another route. For smooth pseudo-Anosov flows, the key tools are singular local models, Markov partitions with connected regular and singular rectangles, Baladi–Tsujii anisotropic spaces, symbolic dynamical determinants, and a filtered cellular chain complex computing twisted Reidemeister torsion. The exact correction from symbolic zeta to geometric zeta is expressed through distinguished stable and unstable boundary orbits (Jézéquel et al., 2024). In the smooth Anosov setting, microlocal analysis of Pollicott–Ruelle resonances yields a deformation theorem: if $\gamma(l)=g\gamma(0)$27 is not a resonance, then $\gamma(l)=g\gamma(0)$28 is locally constant. This resonance-based rigidity is explicitly highlighted as suggestive for future equivariant refinements (Dang et al., 2018).

6. Scope, normalization issues, and unresolved problems

The Equivariant Fried Conjecture is not a theorem in full generality. The 2023 framework asks precisely under what additional hypotheses the defining series converges, admits meromorphic continuation, is regular near $\gamma(l)=g\gamma(0)$29, and satisfies the conjectural equality. The same paper explicitly states that the authors do not expect the equality to hold in complete generality. A key warning comes from the universal-cover situation: if $\gamma(l)=g\gamma(0)$30 is the universal cover of a compact manifold and $\gamma(l)=g\gamma(0)$31, the classical Ruelle zeta decomposes into factors indexed by conjugacy classes, but equality with torsion does not hold term-by-term. In particular, the trivial conjugacy class $\gamma(l)=g\gamma(0)$32 can yield $\gamma(l)=g\gamma(0)$33 when there are no closed lifted trajectories, whereas the torsion side is the $\gamma(l)=g\gamma(0)$34-analytic torsion, which is generally nontrivial (Hochs et al., 2023).

A persistent source of confusion is normalization. One strand of the literature states the conjectural equality as $\gamma(l)=g\gamma(0)$35; the suspension-flow theorem proves $\gamma(l)=g\gamma(0)$36. The suspension paper explains this by noting that in its normalization $\gamma(l)=g\gamma(0)$37 is the absolute value squared of the classical Ruelle zeta in the relevant compact unitary setting. Similar normalization differences already occur in nonequivariant Fried theory: Shen’s locally symmetric papers use a convention in which the natural comparison is with $\gamma(l)=g\gamma(0)$38 rather than $\gamma(l)=g\gamma(0)$39 (Hochs et al., 9 Jul 2025, Shen, 2016).

Another common misconception is that every “equivariant Fried” result is equivariant in the strict group-action sense. Shen’s admissible-twist paper, Müller’s non-unitary hyperbolic paper, the Anosov work in small dimensions, and the pseudo-Anosov extension are all deeply representation-theoretic and twisted, but they remain scalar-valued after traces and do not define a group-valued or character-valued torsion theory (Shen, 2020, Mueller, 2020, Dang et al., 2018, Jézéquel et al., 2024).

The current proven strict-equivariant regime is narrow but substantive. The suspension-flow theorem is limited to mapping tori of equivariant isometries, with further hypotheses such as $\gamma(l)=g\gamma(0)$40, discreteness or emptiness of the fixed-point sets $\gamma(l)=g\gamma(0)$41, and in some cases positivity of Novikov–Shubin numbers or growth conditions on conjugacy classes. It does not treat general Anosov or geodesic flows with noncompact group actions (Hochs et al., 9 Jul 2025).

A plausible implication is that a fully developed general theory would need several ingredients that are currently separate in the literature: equivariant flat traces and twisted trace formulas of the sort developed for proper actions; equivariant or delocalized analytic torsion with robust metric-independence; and a resonance or harmonic-analysis formalism capable of handling noncompact symmetry, non-unitary twisting, and zero-mode corrections simultaneously. The existing papers isolate these components in different settings, but they do not yet assemble them into a single general theorem (Hochs et al., 2023, Dang et al., 2018, Shen, 2020).