{"id":"ff1ed202-a434-4b8a-b219-0213769964fb","arxiv_id":"2504.15420","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Closed orbits of a pseudo-Anosov flow generate a sutured Heegaard Floer chain complex, and a new Z/2-grading on that complex categorifies the flow's zeta function.","lead":"This paper builds a bridge between the dynamics of certain 3-dimensional flows and a powerful homology theory for 3-manifolds, showing that the flow's closed orbits organize the generators of a Floer homology group. It then proves a refined counting grading on that homology reproduces the flow's zeta function, a dynamical counting invariant.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.7 depends on the unproved identification in Proposition 6.5; if the anti-branch-loop to orbit correspondence or the orientation signs in Equation (6.4) are wrong, the categorified polynomial is not the reciprocal zeta function.","rationale":"The reader's verdict of CONDITIONAL is appropriate. The paper has substantial independent support: the construction of the Heegaard diagram from a veering branched surface is explicit, the admissibility proof is given, the nonvanishing of the top and bottom generators is proved, and the categorification of the anti-veering polynomial in Theorem 8.2 is argued in detail, including the parity computation in Theorem 8.3. The main soft spot is exactly the bridge between the Floer-theoretic Euler characteristic and the dynamical zeta function. I agree with the reader that Propositions 6.4 and 6.5 are the load-bearing external dependencies, but I would sharpen the concern: the least secure point is not merely that [Zun] is unpublished, but that Proposition 6.5's identification of DuCs with anti-branch loops and the orientation-preserving/reversing dichotomy is asserted without a complete proof, and a sign or bijection error there would corrupt Theorem 1.7. The proposed concrete test is a finite computation that would either corroborate the chain of equalities or expose the exact place where it fails. This does not change the CONDITIONAL verdict.","tokens_in":45140,"tokens_out":25630,"duration_ms":248249,"concrete_test":"Placeholder","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 1.7 is the chain of equalities χν(SFH(Y^7)) = A = ζ^{-1}_{φ^7}, where A is the anti-veering polynomial. The first equality is proved in Section 8, and the factorization Theorem 6.3 is proved in Section 7. The second equality, however, rests on Propositions 6.4 and 6.5. Proposition 6.4(1) and (2) are not proved in the manuscript but cited to [AT24, Section 5] and [Tsa23c, Chapter 2], and Proposition 6.5 is only sketched: it asserts that the orbits in DuCs are precisely those homotopic to the anti-branch loops, and that an orbit is orientation-preserving exactly when the corresponding anti-branch loop is orientation-preserving, but the proof of these assertions is not written out. These assertions are load-bearing because Equation (6.4) turns them into the factor ∏_{pres}(1-[γ])^{-1}∏_{rev}(1+[γ])^{-1}; a single sign error in the orientation-preserving/reversing dichotomy would change ζ^{-1}_{φ^7} by factors of (1+[γ]) instead of (1-[γ]), so the Floer-theoretic Euler characteristic would categorify a different polynomial. The dependency is not merely cosmetic: [Zun] is listed as in preparation, so the full details of the flow-box-to-polynomial machinery are not publicly checkable at present.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a canonical balanced sutured Heegaard diagram from a veering branched surface B associated to a pseudo-Anosov flow with no perfect fits relative to a collection C of closed orbits. It defines a chain complex SFC(phi,C) whose generators are identified with certain closed multi-orbits of the blown-up flow, whose homology is the sutured Floer homology SFH(Y^7), and in which the spin^c-grading is computed from the homology class of the associated multi-orbit. The paper proves that the top and bottom generators are nonvanishing and then defines a Z/2-grading nu whose Euler characteristic categorifies the anti-veering polynomial of B. Under the further identification of that polynomial with the reciprocal of the dynamical zeta function zeta_{phi^7}, this yields the advertised equality chi_nu(SFH(Y^7)) = zeta^{-1}_{phi^7}.","tokens_in":45468,"tokens_out":15051,"duration_ms":139088,"significance":"If the zeta-function identifications hold, this is a striking new bridge between pseudo-Anosov dynamics and Heegaard Floer homology: the Floer chain complex is generated by multi-orbits of the flow, and a natural grading categorifies a dynamical zeta function. The manuscript contains substantial and largely self-contained combinatorial work: admissibility of the canonical diagram, the bijection between Heegaard states and embedded multi-loops, the nonvanishing of the top and bottom generators, and the full proof of the factorization theorem for the anti-veering polynomial in Section 7. The proof that the nu-grading is a homological grading (Theorem 8.3) is detailed and appears to be a genuine contribution. However, the final step from the anti-veering polynomial to the zeta function is not fully proved in this preprint: it rests on Propositions 6.4 and 6.5, parts of which are cited to published work but key items are attributed to unpublished work of Zung. This limits the currently checkable scope of the central theorem.","major_comments":[{"comment":"Theorem 1.7 depends on the chain of equalities chi_nu(SFH(Y^7)) = A = zeta^{-1}_{phi^7}, where A is the anti-veering polynomial. The first equality is proved in Section 8, and Theorem 6.3 is proved in Section 7. The second equality, however, rests on Propositions 6.4 and 6.5. Proposition 6.4(1) and (2) are not proved in the manuscript but are cited to [AT24, Section 5] and [Tsa23c, Chapter 2], and Proposition 6.5 is only sketched: the assertions that the orbits in D_uC_s are precisely the ones homotopic to the anti-branch loops, and that an orbit is orientation-preserving exactly when the corresponding anti-branch loop is orientation-preserving, are not written out. These assertions are load-bearing because Equation (6.4) turns them into the factors prod_{pres}(1-[gamma])^{-1} prod_{rev}(1+[gamma])^{-1}; a single sign error would replace factors (1-[gamma])^{-1} by (1+[gamma])^{-1} and change the categorified polynomial. Since [Zun] is listed as in preparation, the full flow-box-to-polynomial machinery is not publicly checkable at present. The manuscript should either include complete proofs of these statements or state Theorem 1.7 explicitly as conditional on Zung's results.","section":"§6.3, Propositions 6.4 and 6.5; Eqs. (6.3)–(6.4)"},{"comment":"The sentence 'since B carries the blown-up unstable foliation (Theorem 2.5(i)), such an orbit is orientation-preserving if and only if the corresponding anti-branch loop is orientation-preserving' is a nontrivial geometric correspondence, not a formal consequence of the carrying statement. The proof of Proposition 6.5 uses this assertion to apply Equation (6.4) with the same orientation dichotomy as Theorem 6.1, so this is exactly where the sign information enters. No argument or reference is supplied for the equivalence of the two orientation notions, and it should be proved in detail before the zeta-function identification is used as an unconditional ingredient of Theorem 1.7.","section":"§6.3, Proof of Proposition 6.5"}],"minor_comments":[{"comment":"Theorem 8.2 states equality with the anti-veering polynomial only up to multiplication by a unit of Z[G], while Theorem 1.7 states an exact equality chi_nu(SFH(Y^7)) = zeta^{-1}_{phi^7}. Since zeta^{-1}_{phi^7} has constant term 1 and x_bot is the unique generator in the spin^c-structure s_{phi^7} with nu(x_bot)=0, the unit can presumably be normalized to 1, but this normalization argument is not written. Please add it so that the statement of Theorem 1.7 follows literally from Theorem 8.2.","section":"§8, Theorem 8.2 and §1, Theorem 1.7"},{"comment":"The proof of Proposition 4.19 asserts that the properties of being tangent to the sectors of B and positively transverse to the branch locus characterize the homotopy class of the vector field X_{phi^7}; this uniqueness is not demonstrated. Since Proposition 4.19 underpins Theorems 1.2 and 1.3, a more detailed argument would be helpful.","section":"§4.5, Proposition 4.19"},{"comment":"The zeta function is defined as an infinite product in Z[[G]] 'provided that the coefficient of each g converges'. For flows with infinitely many primitive closed orbits in a single homology class this is not automatic, and the phrase should be clarified or replaced by a precise convergence argument, possibly citing the relevant results from [JZ24].","section":"§6.3, definition of zeta function"},{"comment":"The statement of Corollary 1.5 contains a typo: the two displayed dimensions should refer to s_{phi^7} and its conjugate, not to the same spin^c-structure twice.","section":"§1, Corollary 1.5"}],"recommendation":"major_revision","confidential_remarks":"The authors are transparent about the dependence on work in preparation, and the manuscript's combinatorial core appears sound. In my view the appropriate remedy is to require that the zeta-function identification either be proved in full within the paper or be clearly stated as conditional on Zung's forthcoming results; Theorem 1.7 as stated is not yet an unconditional theorem of this preprint."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nRead this one if you care about the program of extracting topological data from pseudo-Anosov flows via Heegaard Floer homology. The paper's real contribution is a concrete bridge: starting from a veering branched surface, the authors build a balanced Heegaard diagram whose generators are in bijection with embedded multi-loops in an augmented dual graph, and hence with closed multi-orbits of the blown-up flow. The spinc formula (Theorem 1.2) and the nonvanishing of the top and bottom generators (Theorem 1.4) are new and are proved by explicit domain arguments that I found coherent. Section 7, where the anti-veering polynomial is shown to factor as the taut polynomial times branch-loop terms, is essentially self-contained and looks sound.\n\nThe soft spot is exactly the one flagged: the equality in Theorem 1.7 between the Euler characteristic of SFH and the reciprocal zeta function runs through Propositions 6.4 and 6.5, and those depend on Zung's unpublished flow box machinery. Proposition 6.4(3) is proved here, but items (1) and (2), identifying the unstable ungluing orbits with anti-branch loops, are cited to [AT24] and [Tsa23c]. Proposition 6.5 adds an orientation-preserving/reversing assertion with only a sentence of justification. Equation (6.4) converts those assertions into the product over orbits; if the orientation dichotomy is wrong, the categorified object is not the zeta function. This is not a cosmetic issue. The rest of the categorification argument—the nu-grading and the Euler characteristic identification with the anti-veering polynomial—is written out and does not depend on Zung's work. The main theorem is therefore conditional in a specific, clearly located place.\n\nI also want to note that Proposition 4.19, computing absolute spinc gradings of the top and bottom states, is a sketch; it is plausible and consistent, but less formal than the surrounding combinatorics. And the paper leans on the authors' own prior results, which is not a flaw when those results are published, as they mostly are.\n\nWho is this for? Researchers in sutured Floer homology, veering triangulations, or dynamical zeta functions. I would not desk reject it: the new constructions and the combinatorial arguments deserve referee time, and if the Zung-dependent step gets written up, the paper is a major advance. If I were editing, I would send it out, with referees who know both Floer homology and veering branched surfaces, and ask the authors to make the dependence on [Zun] fully explicit or to prove Propositions 6.4(1)-(2) and 6.5.","headline":"Strong combinatorial bridge from veering branched surfaces to sutured Floer homology, but the zeta-function categorification currently leans on unpublished flow-box work by Zung.","tokens_in":45974,"tokens_out":3397,"would_cite":true,"duration_ms":34112,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K18","37D20","57R30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Heegaard Floer homology computes the zeta function of a pseudo-Anosov flow as an Euler characteristic.","keywords":["pseudo-Anosov flow","veering branched surface","Heegaard Floer homology","sutured Floer homology","dynamical zeta function","categorification","closed orbits","spin-c grading"],"falsifier":"Compute for a specific pseudo-Anosov flow with b1≥2, e.g., the geodesic flow on the unit tangent bundle of a hyperbolic surface, the Euler characteristic of SFH with the ν-grading and compare it to the reciprocal of the zeta function. Any difference would disprove the main theorem; alternatively, check whether the flow admits a flow box decomposition satisfying the conditions of Proposition 6.4.","tokens_in":1659,"feed_emoji":"🌀","tokens_out":4344,"duration_ms":92380,"temperature":0.7,"pith_summary":"This paper bridges two previously separate worlds: the dynamics of pseudo-Anosov flows and Heegaard Floer homology. For a pseudo-Anosov flow on a 3-manifold, with a suitable collection of closed orbits (no perfect fits), the authors construct a chain complex from the flow's veering branched surface. The generators are exactly certain closed multi-orbits of the blown-up flow, and the homology is the sutured Floer homology of the flow's complement. Their main result gives a Z/2-grading on that homology whose Euler characteristic is the reciprocal of the flow's zeta function, so the homology categorifies the zeta function.","feed_headline":"Heegaard Floer homology categorifies the zeta function","feed_subtitle":"Euler characteristic of a Z/2-graded sutured Floer homology equals the reciprocal zeta function.","key_machinery":"The central object is the veering branched surface B associated to the flow, which carries the blown-up unstable foliation. From B the authors construct a canonical balanced Heegaard diagram (Σ, α, β) whose chain complex is SFC(φ,C). The key combinatorial step is encoding Heegaard states as embedded multi-loops in the augmented dual graph G^+, which in turn correspond to closed multi-orbits of the flow. The categorification is achieved by a Z/2-grading ν defined on generators by the number of side corners plus the sign of the induced permutation; this grading is shown to be a homological grading, i.e., the differential lowers it by 1 mod 2, and the resulting Euler characteristic computes the anti-veering polynomial A, which is identified with the reciprocal zeta function.","core_discovery":"The paper establishes that the sutured Floer homology of the complement of a pseudo-Anosov flow, equipped with a natural Z/2-grading defined from the flow's veering branched surface, has Euler characteristic equal to the reciprocal of the dynamical zeta function of the blown-up flow, provided the first Betti number of the complement is at least 2. In the course of the proof, the authors build a canonical Heegaard diagram from the veering branched surface and show its generators correspond to closed multi-orbits, with their spin-c grading given by their homology classes. They also identify two distinguished generators, top and bottom, that give nontrivial homology classes in the flow's spin-c grading and its opposite.","pith_inferences":["One might expect a refinement of the Z/2-grading to a Z-grading emanating from the connection between the ν-grading and the Maslov index, which could yield a richer categorification that tracks more detailed orbit data.","The correspondence between generators and closed multi-orbits may allow one to define Floer-theoretic counts of periodic orbits, potentially giving lower bounds on orbit numbers via the rank of SFH.","If the flow box decomposition of Zung is made fully constructive, the main theorem could be made algorithmic for veering triangulations, producing explicit chain complexes for many hyperbolic 3-manifolds."],"forward_implications":["The sutured Floer homology of a pseudo-Anosov flow's complement carries a natural Z/2-grading that recovers the flow's zeta function, giving a Floer-theoretic invariant sensitive to closed orbit counts.","The top and bottom generators yield nontrivial classes in SFH, providing a Floer-theoretic proof that the flow's spin-c grading is supported in at least two gradings.","For suspension flows of pseudo-Anosov maps, the computation of SFH in the flow's spin-c grading gives the fiberedness detection theorem and hints at an orbit-counting refinement.","The construction suggests that other dynamical invariants, such as the Fried polytope, might be categorified by sutured Floer homology."],"supporting_citations":[{"why":"supplies the correspondence between sweep-equivalence classes of loops in the augmented dual graph and closed orbits, and the identification of generator states with multi-orbits.","marker":"[LMT23]"},{"why":"provides the factorization of the veering polynomial as a product of the taut polynomial and branch-loop factors, used to relate the zeta function of the double ungluing to the veering polynomial.","marker":"[LMT24a]"},{"why":"defines sutured Floer homology, the target homology theory, and the topological invariance of the chain complex.","marker":"[Juh06]"},{"why":"foundational Heegaard Floer theory, used to define the differential and the index formula via domains.","marker":"[OS04]"},{"why":"establishes the correspondence between veering branched surfaces and veering triangulations, a key input in the construction of the Heegaard diagram.","marker":"[SS19]"},{"why":"a personal communication (in preparation) that provides the flow box decomposition and the identification of its zeta function with the veering polynomial.","marker":"[Zun]"}],"fun_headline_variants":["Floer homology categorifies flow zeta","Pseudo-Anosov flows yield Floer categorification","Zeta function from Floer homology of flows","New dynamical grading categorifies zeta","Flow orbits generate Floer chain complex"],"cache_read_input_tokens":48000,"weakest_assumption_plain":"The identification of the zeta function with the anti-veering polynomial relies on a flow box decomposition (due to Zung, in preparation) whose double ungluing has zeta function equal to the reciprocal of the veering polynomial; if this decomposition does not exist, the categorification computes the anti-veering polynomial but not the dynamical zeta function.","fun_headline_variants_meta":{"raw":{"variants":["Floer homology categorifies flow zeta","Pseudo-Anosov flows yield Floer categorification","Zeta function from Floer homology of flows","New dynamical grading categorifies zeta","Flow orbits generate Floer chain complex"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000629,"raw_usage":{"total_tokens":2896,"prompt_tokens":922,"completion_tokens":1974,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":1902}},"tokens_in":538,"tokens_out":1974,"duration_ms":13805,"temperature":1.0,"reasoning_tokens":1902,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:27:55.739414+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute for a specific pseudo-Anosov flow with b1≥2, e.g., the geodesic flow on the unit tangent bundle of a hyperbolic surface, the Euler characteristic of SFH with the ν-grading and compare it to the reciprocal of the zeta function. Any difference would disprove the main theorem; alternatively, check whether the flow admits a flow box decomposition satisfying the conditions of Proposition 6.4.","supporting_citations":[],"review_version":1}