The Fried Conjecture for Morse-Smale Flows: A Survey on Ray-Singer and Milnor Metrics

Giovanni Molinari

REVIEW 3 major objections 3 minor 1 cited by

The Fried Conjecture for Morse-Smale Flows: A Survey on Ray-Singer and Milnor Metrics

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This survey presents a proven form of the Fried conjecture: for Morse-Smale flows, the Ray-Singer metric equals the Milnor metric, so analytic torsion factors into combinatorial torsion and the Ruelle zeta value at zero.

desk verdict A readable but overpromising survey: the main theorem is quoted from Shen–Yu, and a sign error in the one self-contained calculation needs fixing. read the letter →

arxiv 2607.16719 v1 pith:QNXGN33S submitted 2026-07-18 math.DG

Giovanni Molinari This is my paper · ORCID

classification math.DG MSC 58J5237D15

keywords FriedconjectureMorse-SmaleflowsanalytictorsionRay-SingermetricMilnorRuellezetafunctionThom-Smalecomplextwistedcohomology

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper surveys a theorem, stated as Theorem 7.14, that resolves the Fried conjecture in the Morse-Smale setting: on the determinant line of twisted cohomology, the analytic Ray-Singer metric coincides with the dynamical Milnor metric. The equality means the zeta-regularised Laplacian spectrum—analytic torsion—can be recovered from two pieces of flow data: the Thom-Smale complex counting flow lines among fixed points, and the Ruelle zeta function built from closed orbits. A sympathetic reader should care because this is a complete, concrete example of a correspondence between spectral geometry and periodic-orbit data, in a conjecture still open for chaotic Anosov flows. The paper is a survey: it constructs all the framework and presents the theorem, but attributes the proof to prior work and emphasises that unitarity of the flat bundle is needed for the strict equality.

What carries the argument

The load-bearing object is the determinant line of the twisted cohomology—the one-dimensional complex line encoding the graded cohomology up to sign—on which both metrics live. The bridge is a Smale filtration: a chain of submanifolds isolating each critical element, whose associated fusion isomorphism splits the determinant line into a fixed-point factor and a closed-orbit factor. The fixed-point factor is identified with the determinant of the Thom-Smale complex; the closed-orbit factor is the Ruelle zeta value at zero. The central factorisation formula ∥µH∥_{M,V} = |τ(C_TS)|·|R_{V,ρ}(0)|^{-1} is what makes the metric equality a concrete identity.

What would settle it

On the circle S1 with a non-unimodular flat bundle whose holonomy A satisfies |det A| ≠ 1, compute the Ray-Singer norm (from the zeta-regularised Laplacian) and the Milnor norm |det(I-A)|^{-1}; equality should fail, and the difference should be exactly the integral of the Mathai-Quillen form. If the difference is not that correction, the stated scope of Theorem 7.14 is wrong; if the two sides agree despite |det A| ≠ 1, the unitarity hypothesis is unnecessary.

Watch

Extended reading notes

Core claim

The central claim, Theorem 7.14, is that for a C^∞-linearisable Morse-Smale vector field on a compact connected oriented Riemannian manifold, the Ray-Singer metric and the Milnor metric are equal on the determinant line Det(H•(M,E)). Composing the definitions, the equality states that the analytic torsion is the product of the Thom-Smale combinatorial torsion (a weighted count of flow lines between critical points, with parallel-transport weights) and the value at zero of the Ruelle zeta function (a finite product over closed orbits, weighted by period, holonomy, and orientation twist). The paper builds the machinery needed to state this: twisted de Rham complex, Hodge decomposition, Morse-S

Load-bearing premise

The strict equality of the two metrics holds only when the flat bundle is unitary (or at least unimodular); for general flat bundles a Mathai-Quillen correction term appears, so the theorem as stated fails—this is conceded in Remark 7.15.

Editorial extensions

If this is right

If the theorem is right, the spectral invariant of the Laplacian is fully determined by flow data: the fixed points with their parallel transports and the closed orbits with their periods and holonomies.
For a gradient Morse-Smale flow, with no closed orbits, the Ruelle factor is trivial and the equality reduces to the classical analytic-equals-combinatorial torsion theorem.
The theorem upgrades Fried's original scalar conjecture to a metric equality, so it remains meaningful even when twisted cohomology does not vanish.
It gives a finite-data description of analytic torsion in this class: count flow lines with parallel-transport weights and evaluate a finite product over closed orbits.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The non-unimodular correction term, mentioned but not computed in Remark 7.15, invites a concrete check: take a flat bundle with |det ρ| ≠ 1 on a simple flow and verify the corrected identity.
Remark 7.15 also suggests that the C^∞-linearisability condition is probably not essential; testing the equality for flows with less regular local linearisations is a natural next step.
The circle building block (holonomy A, norm |det(I-A)|^{-1}) could serve as a local model for closed-orbit contributions in broader dynamical settings, such as higher-dimensional mapping tori or partially hyperbolic flows.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this is not a new result, and the authors know it — the abstract and title say survey. The main theorem is literally [SY21, Theorem 3.12], quoted as Theorem 7.14, with the proof deferred. What the paper does well is organization: the twisted de Rham set-up, Hodge theory, Morse–Smale flows, Thom–Smale torsion, and the Ruelle zeta function are laid out carefully, with standard references. A student could use it as an entry point to the Fried conjecture literature.

Soft spots, in order of seriousness.

First, the Introduction promises "a unified proof of this metric equivalence," and Section 7 says "we present the theorem," but no proof is carried out. That's a real mismatch between framing and content. Either the promise should be dropped or the proof sketched.

Second, Proposition 6.4 has a genuine sign error. In the proof, p_{k+1}+p_k is computed as (−1)^{k+1}/2, but the correct algebra gives (−1)^{k+2}/2. That makes Eq. (56) inconsistent with Eq. (52). It does not directly corrupt Theorem 7.14, because Definition 7.13 uses the earlier product, but the survey's own internal derivation is wrong, and Remark 6.5's claim that even-dimensional torsion is identically 1 is stated without a reference and doesn't follow from the printed exponents. Needs cleanup.

Third, the hypothesis handling is loose. Section 6.2 introduces the non-aligned condition (1 not an eigenvalue of Δ(Λ)ρ(Λ)) as needed for R_{V,ρ}(0) to be nonzero, but Theorem 7.14 doesn't state it. Unitarity is imported from Section 2 and only mentioned in Remark 7.15, which also concedes linearisability is not necessary for the Shen–Yu theorem. The theorem as stated is broader than the framework developed. The authors should state the precise hypotheses or explicitly refer to [SY21] for the full statement.

On circularity: there is no fitting or self-citation problem. The normalization in Definition 7.3 does build in |det(I−A)|^{-1}, but the identification of the closed-orbit factor with |R(0)|^{-1} is a genuine computation quoted from [SY21, Prop 2.16]; the survey doesn't hide that.

This is a survey, not a research paper. Its value is expository, and it would be a reasonable reference after fixing the sign error, adding the missing hypotheses, and removing the "unified proof" claim. I'd send it to a referee — the topic matters and the exposition is mostly careful — but the referee should insist on those corrections.

Referee Report

3 major / 3 minor

Summary. This survey-style paper reviews the generalized Fried conjecture for Morse–Smale flows. It develops the twisted de Rham complex and Hodge theory for flat unitary bundles, defines Morse–Smale flows and the C^∞-linearisability hypothesis, constructs the Thom–Smale torsion and the Ruelle zeta function, and then defines the Milnor metric on the determinant line of twisted cohomology. The central result, Theorem 7.14, states that the Ray–Singer metric equals the Milnor metric, i.e., that analytic torsion is the product of the Thom–Smale torsion and the value at zero of the Ruelle zeta function. The proof of this theorem is not carried out; the text defers it to [SY21, Theorem 3.12].

Significance. If the stated theorem is correct, the survey could serve as a useful entry point to an important recent result by Shen and Yu, connecting analytic torsion, Morse–Smale dynamics, and the Ruelle zeta function. The paper collects standard background material on twisted Hodge theory, Morse–Smale flows, and algebraic torsion, and it explicitly defines the Milnor metric. However, the central result is imported rather than proved, and the self-contained definitions contain a load-bearing sign error in the Ray–Singer torsion convention, together with under-specified hypotheses in the main theorem. These defects currently undermine the reliability of the survey as an exposition of the Fried conjecture.

major comments (3)

[§6.1, Definition 6.2 and Eq. (50)] The exponent (−1)^{k+1} k/2 in the definition of the Ray–Singer torsion appears to have the wrong sign. For the circle model in §7 (Prop. 7.4), det′Δ_1 = |det(I−A)|², so the scalar factor in (50) equals |det(I−A)|. However, Eq. (73) gives the Milnor norm as |det(I−A)|^{−1}. Thus, under the paper's own definitions, the two metrics in Theorem 7.14 are reciprocal for S¹ with an acyclic flat bundle. The standard Ray–Singer convention uses the opposite sign, (−1)^k k/2; this must be corrected throughout Sections 5–7.
[§7, Theorem 7.14] The theorem omits the non-aligned condition introduced in §6.2, namely that 1 is not an eigenvalue of Δ(Λ)ρ(Λ) for every closed orbit. The paper itself states that this condition is needed for R_{V,ρ}(0) to be well-defined and nonvanishing (after Def. 6.11), and Remark 7.8 repeats it for the local acyclicity of closed-orbit contributions. Without this hypothesis, Eq. (73) and the Milnor norm are undefined or infinite. The unitarity of ρ is only part of the standing setup in §2 and is not restated in the theorem; given Remark 7.15, the statement should explicitly include it.
[Introduction and §7] The Introduction promises 'a unified proof of this metric equivalence', and the Abstract says the paper 'present[s] the theorem proving the conjecture'. However, Theorem 7.14 is not proved in the paper; the text refers to [SY21, Theorem 3.12] for the complete proof. For a survey this would be acceptable if framed as such, but as written the claims overstate the paper's contribution. The authors should either provide a genuine proof outline or revise the Introduction/Abstract to say that the theorem is quoted from [SY21].

minor comments (3)

[§6.1, Prop. 6.4 proof, Eqs. (55)–(56)] The exponent algebra in the proof is inconsistent. With p_k = (−1)^{k+1} k/2, the correct sum is p_{k+1}+p_k = (−1)^{k+2}/2, not (−1)^{k+1}/2 as printed in Eq. (55). Consequently, Eq. (56) should involve det′(d^†_{k−1} d_{k−1}), not det′(d^†_k d_k). The proposition statement appears correct, but the displayed derivation is wrong.
[§6.1, Remark 6.5] The claim that for even-dimensional M the numerical part of the torsion is identically 1 by Poincaré duality is not correct. In general p_k + p_{n−k} = (−1)^{k+1} n/2, which is not zero for even n. For example, for n=2 the exponents do not cancel. This remark needs to be removed or replaced with a correct statement.
[§7, Definition 7.13] The definition of the Ray–Singer metric is written as 'τ(M,E)·∥·∥_{Det}', but in the non-acyclic case τ(M,E) is an element of the determinant line, not a real scalar. This should be formulated in terms of the scalar product of zeta-regularized determinants (as in Eq. (50)) and the L²-induced metric on the determinant line.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorem is imported from the external reference [SY21], and the Milnor metric's closed-orbit factor is definitional but not used to define the Ray-Singer metric.

full rationale

The paper's central claim, Theorem 7.14, is not derived in the paper itself: Section 7 says 'We refer to [SY21, Theorem 3.12] for the complete proof.' This is an external citation, not a self-citation, since the author of this survey is not an author of [SY21]; relying on an external theorem in a survey is not circular. The Milnor metric's closed-orbit factor is indeed constructed so that the product over closed orbits equals |R_{V,rho}(0)|^{-1}: Definition 7.3 imposes the normalization ∥T(μ_{A,C})∥=1 on the circle model, Proposition 7.4 then gives ∥μ_{A,H}∥=|det(I-A)|^{-1}, and Remark 7.11/Eq. (72)-(73) compare this with Definition 6.11 to obtain ∥1_B∥=|R_{V,rho}(0)|^{-1}. This is a definitional construction of the Milnor metric, not a 'prediction' derived from the Ray-Singer metric. The independent, non-circular content of Theorem 7.14 is the equality between this dynamically defined Milnor metric and the analytically defined Ray-Singer metric of Definition 7.13. There are no fitted parameters, no data-dependent normalization is called a prediction, and no load-bearing self-citation chain. The sign error in Proposition 6.4 is a correctness defect in the exposition, but it does not enter Definition 7.13, which uses the original product from Remark 6.3, so it does not make the theorem circular. The under-specified hypotheses (non-aligned condition, unitarity, C-infinity linearisability) are scope and rigor concerns, not circularity.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No numeric free parameters are fitted anywhere in the paper; it is a survey. The normalization in Definition 7.3 (∥T(µ_{A,C})∥ = 1) is a definitional convention that fixes the Milnor metric's closed-orbit factor to |R(0)|^{-1} by construction, not a fitted parameter. The phase ambiguity of volume elements (Remarks 5.8, 6.3) is gauge freedom, not a parameter. Everything load-bearing is listed as an axiom: unitarity/unimodularity, the non-aligned condition, C^∞-linearisability, the imported [SY21] theorem, and standard analytic/geometric background. No new entities are introduced.

assumptions (8)

standard math Hodge decomposition and finite-dimensionality of twisted de Rham cohomology on compact manifolds (Thm 3.2, Remark 3.4)
Quoted from [War83] with the claim that it 'extends naturally' to flat bundles; the entire analytic side (harmonic representatives, zeta determinants on a finite-dimensional kernel complement) rests on it.
standard math Ray-Singer torsion is independent of the Riemannian and Hermitian metrics (Cheeger-Müller; Section 6.1)
Invoked to make τ(M,E) a well-defined element of Det(H•(M,E)) independent of g and h; without it the Ray-Singer metric in Definition 7.13 is not a well-defined object.
standard math Meromorphic continuation of the spectral zeta function, regular at s=0 (Seeley)
Needed for Definition 6.1 of the zeta-regularized determinant; standard elliptic theory on compact manifolds.
domain assumption Existence of a Smale filtration and the determinant-line fusion isomorphism σ_V (Def 7.6, Prop 7.7)
Defines the Milnor metric; fusion associativity/commutativity is cited to [SY21, Sec 1.3], and filtration existence is background Morse-Smale structure theory.
ad hoc to paper C^∞-linearisability of the Morse-Smale flow (Def 4.6)
The main theorem is restricted to this class, although Remark 7.15 concedes the hypothesis is 'not strictly necessary' for the [SY21] theorem; it is load-bearing only for the announced TFT program, not for the mathematics being surveyed.
domain assumption Unitarity (or unimodularity) of the representation ρ (Section 1, Remark 7.15)
Strict equality in Theorem 7.14 requires it; the paper states that otherwise a Mathai-Quillen correction term enters, so the claim as stated is conditional on this premise.
domain assumption Non-aligned condition: 1 ∉ spec(∆(Λ)ρ(Λ)) for every closed orbit (Section 6.2)
Needed for R_{V,ρ}(0) to be a well-defined non-zero number and for the local acyclicity used in Proposition 7.8; it is a generic but unremoved hypothesis.
domain assumption Theorem 7.14 = [SY21, Theorem 3.12] imported without proof
The central claim of the survey is not derived in the paper; the survey's conclusion depends entirely on this external theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Fried Conjecture for Morse-Smale Flows: A Survey on Ray-Singer and Milnor Metrics." pith.science (2026). https://pith.science/paper/QNXGN33S

@misc{pith2026260716719,
  author       = {Pith},
  title        = {Pith review of: The Fried Conjecture for Morse-Smale Flows: A Survey on Ray-Singer and Milnor Metrics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QNXGN33S}},
  note         = {Machine review of arXiv:2607.16719}
}

read the original abstract

This paper reviews the generalised Fried conjecture for Morse-Smale flows on compact Riemannian manifolds. We first establish the proper framework by constructing the twisted de Rham complex and deriving the Hodge decomposition, which underpins the definition of the Ray-Singer torsion. On the dynamical side, we characterise Morse-Smale vector fields, introducing the Ruelle Zeta function to encode the spectral data of closed orbits and constructing the Thom-Smale complex to include the contribution of fixed points. These invariants are synthesised into the definition of the Milnor metric on the determinant line of the twisted cohomology. Finally, we present the theorem proving the conjecture: the Ray-Singer metric coincides with the Milnor metric, identifying the analytic torsion with the product of the Thom-Smale combinatorial torsion and the value at zero of the Ruelle Zeta function.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Milnor metric for Morse--Smale flows from field theory
math-ph 2026-07 accept novelty 6.0 of 10

The axial-gauge partition function of Abelian BF theory recovers the Milnor metric, realizing Fried’s conjecture for Morse–Smale flows via two-step BV pushforward.

Reference graph

Works this paper leans on

16 extracted references · 11 linked inside Pith · cited by 1 Pith paper

[5]

[DR17c] N. V. Dang and G. Rivière. Topology of Pollicott-Ruelle resonant states.arXiv preprint arXiv:1703.08037,

arXiv
[15]

Analytictorsionanddynamicalflow: Asurveyonthefriedconjecture

[She21] S.Shen. Analytictorsionanddynamicalflow: Asurveyonthefriedconjecture. InB.KlartagandE.Milman,editors,GeometricAspectsofFunctionalAnalysis: Israel Seminar (GAFA) 2017-2019, volume 338 ofProgress in Mathematics, pages 247–299. Birkhäuser,

2017
[16]

[Tur01] Vladimir Turaev.Introduction to combinatorial torsions

arXiv:1806.00662v2 [math.DG]. [Tur01] Vladimir Turaev.Introduction to combinatorial torsions. Lectures in Math- ematics ETH Zürich. Birkhäuser Verlag, Basel,

arXiv
[1935]

Franks.Homology and dynamical systems, volume 49 ofCBMS Regional Conference Series in Mathematics

[Fra82] John M. Franks.Homology and dynamical systems, volume 49 ofCBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence,R.I.,1982. PublishedfortheConferenceBoardoftheMathematical Sciences, Washington, D.C. [Fri87] D. Fried. Lefschetz formulas for flows.Contemporary Mathematics, 58:19–69,

1982
[1963]

[Mne14] P. Mnev. Lecture notes on torsions.arXiv preprint arXiv:1406.3705,

arXiv
[1984]

[DR17a] N. V. Dang and G. Rivière. Spectral analysis of Morse-Smale flows I: construc- tion of the anisotropic spaces.arXiv preprint arXiv:1703.08040,

arXiv
[1986]

[See67] R. T. Seeley. Complex powers of an elliptic operator. InSingular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), volume 10, pages 288–307, Providence, R.I.,

1966
[1994]

Chaubet and N

[CD22] Y. Chaubet and N. V. Dang. Dynamical torsion for contact Anosov flows. Analysis & PDE, 15(8):1891–1959,

1959

Show all 16 references

[1995]

[Lee09] J. M. Lee.Manifolds and Differential Geometry, volume 107 ofGraduate StudiesinMathematics. AmericanMathematicalSociety,Providence,RI,2009. [Lee12] J. M. Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics. Springer, New York, second edition,

2009
[1999]

[Hut02a] M

arXiv:dg-ga/9612004v1. [Hut02a] M. Hutchings. Lecture notes on Morse homology (with an eye towards Floer theory and pseudoholomorphic curves). Technical report, UC Berkeley,

arXiv
[2000]

Mathai and S

[MW11] V. Mathai and S. Wu. Analytic torsion for twisted de Rham complexes.arXiv preprint arXiv:0810.4204v6,

arXiv
[2002]

[KH95] A

arXiv:math/9907066v2 [math.DG]. [KH95] A. Katok and B. Hasselblatt.Introduction to the Modern Theory of Dynamical Systems, volume 54 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge,

arXiv
[2003]

Hadfield, S

[HKS20] C. Hadfield, S. Kandel, and M. Schiavina. Ruelle zeta function from field theory.arXiv preprint arXiv:2002.03952,

2002 arXiv
[2017]

[DR17b] N. V. Dang and G. Rivière. Spectral analysis of Morse-Smale flows II: resonances and resonant states.arXiv preprint arXiv:1703.08038,

arXiv
[2021]

[DZ16] S

arXiv:1709.04265v1 [math.DS]. [DZ16] S. Dyatlov and M. Zworski. Dynamical zeta functions for Anosov flows via microlocal analysis.Ann. Sci. Ec. Norm. Supér. (4), 49(3):543–577,

arXiv
[2022]

[Che79] Jeff Cheeger

arXiv:1911.09931v2 [math.DS]. [Che79] Jeff Cheeger. Analytic torsion and the heat equation.Annals of Mathematics, 109(2):259–322,

1911 arXiv

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [5]

[DR17c] N. V. Dang and G. Rivière. Topology of Pollicott-Ruelle resonant states.arXiv preprint arXiv:1703.08037,

arXiv

[2] [15]

Analytictorsionanddynamicalflow: Asurveyonthefriedconjecture

[She21] S.Shen. Analytictorsionanddynamicalflow: Asurveyonthefriedconjecture. InB.KlartagandE.Milman,editors,GeometricAspectsofFunctionalAnalysis: Israel Seminar (GAFA) 2017-2019, volume 338 ofProgress in Mathematics, pages 247–299. Birkhäuser,

2017

[3] [16]

[Tur01] Vladimir Turaev.Introduction to combinatorial torsions

arXiv:1806.00662v2 [math.DG]. [Tur01] Vladimir Turaev.Introduction to combinatorial torsions. Lectures in Math- ematics ETH Zürich. Birkhäuser Verlag, Basel,

arXiv

[4] [1935]

Franks.Homology and dynamical systems, volume 49 ofCBMS Regional Conference Series in Mathematics

[Fra82] John M. Franks.Homology and dynamical systems, volume 49 ofCBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence,R.I.,1982. PublishedfortheConferenceBoardoftheMathematical Sciences, Washington, D.C. [Fri87] D. Fried. Lefschetz formulas for flows.Contemporary Mathematics, 58:19–69,

1982

[5] [1963]

[Mne14] P. Mnev. Lecture notes on torsions.arXiv preprint arXiv:1406.3705,

arXiv

[6] [1984]

[DR17a] N. V. Dang and G. Rivière. Spectral analysis of Morse-Smale flows I: construc- tion of the anisotropic spaces.arXiv preprint arXiv:1703.08040,

arXiv

[7] [1986]

[See67] R. T. Seeley. Complex powers of an elliptic operator. InSingular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), volume 10, pages 288–307, Providence, R.I.,

1966

[8] [1994]

Chaubet and N

[CD22] Y. Chaubet and N. V. Dang. Dynamical torsion for contact Anosov flows. Analysis & PDE, 15(8):1891–1959,

1959