{"id":"2df862dd-075e-4d7c-88a2-dc0632ad89db","arxiv_id":"2502.07716","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A rigidity theorem for bicontact geometry: a bitransverse Anosov Reeb flow forces the supporting Anosov flow to be skew and isotopically equivalent; the rest of the paper is an open-problem survey.","lead":"This conference survey asks how much the different Reeb flows belonging to one contact structure can resemble each other. It collects known results, proves a few new facts about Anosov and Reeb-Anosov flows, and lists many open questions and conjectures.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.9's proof bridges from Fenley's blow-up conclusion to P(X)=P(R+) via an unstated dictionary between cylindrical stable leaves and free homotopy data; this step is plausible but load-bearing and should be proved or precisely cited.","rationale":"The reader's weakest_assumption pinpoints the exact step I would also flag. The dictionary 'periodic orbit iff closed curve in cylindrical stable leaf' is true for Anosov flows, so I do not regard this as a likely mathematical falsehood. The load-bearing issue is the unproved preservation of this dictionary under Fenley's blow-up equivalence. This is not a matter of disagreement with consensus; it is an internally under-justified step in a new theorem. Independent supports—Theorem 3.1 from [BM24, BFM22], Hozoori's Theorem 4.5, Fenley's Theorem 4.12, and Marty's Theorem 2.11—are all cited and appear to be used correctly. The paper is also transparent about its conjectural status and has no fitting or reproducibility issues. Therefore I would not move to REJECT or ACCEPT; the appropriate outcome is to keep the reader's CONDITIONAL verdict pending a proof or a precise pointer for the transfer step. If the transfer is supplied, Theorem 4.9 would be a clean consequence of the cited deep results.","tokens_in":17359,"tokens_out":12714,"duration_ms":114398,"concrete_test":"Independently prove the transfer step in the exact setting of Theorem 4.9: for an R-covered Anosov flow U, show that P(U) equals the set of conjugacy classes g whose deck transformation fixes a point in the orbit space O_U, then verify that Fenley's blow-up equivalence between F^s_X and F^s_{R+} induces a bijection between the fixed-point sets of the π1-actions on O_X and O_{R+}. As a concrete model case, take U to be the geodesic flow of a closed hyperbolic surface and let F be a genuine foliation blow-up of F^s_U along finitely many periodic orbits; compute the two sets of conjugacy classes coming from cylindrical leaves and check they agree. If any class appears in one set but not the other, the proof of Theorem 4.9 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 4.9, after Theorem 4.12 yields that F^s_X is R-covered and topologically equivalent to a blow-up of F^s_{R+}, the text says 'one easily sees' that X and R+ are orbit equivalent, and then transfers P(X)=P(R+) using the claim: 'An element g in π1(M) is in P(Y) if and only if it is freely homotopic to a closed curve in a cylindrical leaf of F^s_Y.' This is the only bridge to Theorem 3.1. The first half of the dictionary is standard for Anosov flows: periodic orbits are exactly the cores of cylindrical stable leaves, so a periodic orbit gives a closed curve in a cylindrical leaf, and any closed curve in a cylinder is freely homotopic to its core. The sensitive part is the transfer through the blow-up: a topological blow-up of F^s_{R+} can replace a cylindrical leaf by an I-bundle of cylinders, and the proof does not show that the set of conjugacy classes obtained from cylindrical leaves is unchanged. That equality is exactly what makes P(X)=P(R+), and without it Theorem 3.1 cannot be invoked. Since Theorem 4.9 is the paper's main new rigidity statement and is used in Corollary 4.11, this missing justification is the single most load-bearing point. The gap is an omitted derivation or reference rather than an evident error; the statement is probably true.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a proceedings note that surveys and extends recent work on the relationship between Reeb flows of a fixed contact structure and the dynamics of Anosov flows supported by bicontact structures. It recalls the free homotopy data invariant P(φ) and Theorem 3.1, from the author's work with Bowden, Frankel, and Mann, which says that equality of P for two Anosov flows implies isotopic equivalence under R-covered or no-transverse-torus assumptions. The main new results are Theorem 4.9, asserting that if a bitransverse Reeb flow R+ of one contact structure in a supporting bicontact pair is Anosov, then the supported Anosov flow X is positively skew and isotopically equivalent to R+, and Proposition 4.15, asserting that every Anosov contact structure is Anosov-supporting. The paper also contains many questions and conjectures, including a conjectural trichotomy for bicontact pairs and a discussion of pseudo-Anosov models via Birkhoff sections.","tokens_in":17588,"tokens_out":8448,"duration_ms":66417,"significance":"If the new results are correct, Theorem 4.9 is a strong rigidity statement: an Anosov Reeb flow on one side of a supporting bicontact pair completely determines the supported Anosov flow up to isotopic equivalence. Proposition 4.15 shows that the class of Anosov-supporting contact structures contains all Anosov contact structures, and Corollary 4.17 connects the free homotopy data of Reeb-Anosov flows with that of tangential Anosov flows. The paper is also useful as an expository bridge between recent work of Hozoori, Marty, Zung, and Salmoiraghi, and it formulates several precise conjectures that could guide future research. The author is explicit that the note is informal and contains more questions than answers; however, the proofs of the main new theorems are sketches that rely on substantial cited results, and the key transfer argument in Theorem 4.9 is not fully justified.","major_comments":[{"comment":"The proof of Theorem 4.9 contains an unproved transfer of free homotopy data across the topological blow-up relation. After applying Theorem 4.12 to conclude that F^s_Y is R-covered and topologically equivalent to a blow-up of F^s_{R+}, the text states: 'An element g ∈ π1(M) is in P(Y) if and only if it is freely homotopic to a closed curve in a cylindrical leaf of F^s_Y. Since F^s_Y is a blow-up of F^s_{R+}, g represents a cylindrical leaf of F^s_Y if and only if it represents a cylindrical leaf of F^s_{R+}.' The first assertion is standard for Anosov flows, but the second is not automatic: a topological blow-up of the stable foliation can alter the cylindrical leaves, for instance by replacing a cylinder with an I-bundle of cylinders, and the manuscript does not show that the set of conjugacy classes represented by closed curves in cylindrical leaves is unchanged. This equality P(Y)=P(R+) is exactly what permits the invocation of Theorem 3.1 to conclude isotopic equivalence. Since Theorem 4.9 is the main new rigidity statement and is used in Corollary 4.11 and again in Proposition 4.15, this gap is load-bearing. Please either prove the transfer, or give a precise citation to the statement in [Fen05] or [BFM22] that establishes it.","section":"§4, Theorem 4.9 (proof)"},{"comment":"The proof of Proposition 4.15 ends with the sentence 'Then, as in the end of the proof of Theorem 4.9, we deduce from Theorem 3.1 that X and Y are isotopically equivalent.' The deduction relies on the same cylindrical-leaf/free-homotopy transfer identified in the previous comment: F^s_X is shown to be a blow-up of the stable foliation of Y, and the equality P(X)=P(Y) is then asserted by analogy with the end of Theorem 4.9. Consequently Proposition 4.15 and Corollary 4.17 inherit the same missing justification. The argument should be expanded after the transfer statement is made precise.","section":"§4, Proposition 4.15"},{"comment":"The proof of Lemma 4.13 is a two-sentence sketch; the assertion that the existence of periodic orbits freely homotopic to their inverses is 'easily seen to be incompatible with being regulating' is not demonstrated. This lemma is used to exclude the regulating case in the proof of Theorem 4.12, which in turn is used in Theorem 4.9. If this is a known result, please replace the sketch with a precise reference; otherwise provide a proof. This is less central than the previous two points, but it is another place where the manuscript leans on an unstated geometric argument.","section":"§4, Lemma 4.13"}],"minor_comments":[{"comment":"The definition of orbit equivalence contains a typo: 'orbits of X21' should read 'orbits of X2'.","section":"Definition 2.7"},{"comment":"'Heideleberg' is misspelled; it should be 'Heidelberg'.","section":"Abstract"},{"comment":"'Mistumatsu' should be 'Mitsumatsu'.","section":"§4, after Proposition 4.3"},{"comment":"The notation is inconsistent: the theorem statement uses X for the supported Anosov flow, but the proof writes F^s_Y and P(Y) without defining Y; please use X throughout.","section":"§4, Theorem 4.9 (proof)"},{"comment":"The sentence 'But one easily sees that this implies that Y and R+ are orbit equivalent' is asserted without argument, and the subsequent paragraph uses Theorem 3.1 instead; please remove the sentence or replace it with a precise statement.","section":"§4, Theorem 4.9 (proof)"},{"comment":"References [Hoz24a] and [Mar24b] contain stray commas in the arXiv URL fields, and the final periods are misplaced.","section":"References"},{"comment":"The expression 'P Xt7' appears to have a misplaced superscript or footnote marker; the formatting should be corrected.","section":"Proposition 2.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is an intentionally informal proceedings note, and much of it is a survey with conjectures. The main new theorem (Theorem 4.9) is presented with a proof sketch that contains a genuine gap at a load-bearing point. I do not believe this is grounds for rejection if the gap can be closed by a proof or a precise citation, since the statement is plausible and the surrounding literature likely contains the needed ingredients. The author should be asked to provide the missing transfer argument before publication. The self-citation pattern is noticeable but not inappropriate, since Theorem 3.1 and related results are independently established in [BM24, BFM22]. The paper should be judged also as a proceedings contribution; if the venue accepts proof sketches for new results, the required revision can be modest."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a genuinely useful survey with two new-looking derived results, Theorem 4.9 and Proposition 4.15. Both are probably true, but neither is fully proved as written. The load-bearing step is the same in both: after using Fenley's blow-up theorem, the proof asserts an 'if and only if' correspondence between elements of the free homotopy data and closed curves in cylindrical leaves, and then asserts that this correspondence is preserved under topological blow-up. That is exactly the step needed to transfer P(Y)=P(R+) and invoke Theorem 3.1. It may be standard for experts, but it is not proven and the pointer to [Fen05] is vague. Since Theorem 4.9 is used for Corollary 4.11 and the conjectural trichotomy, this gap should be fixed before the result is used as a black box.\n\nWhat the paper does well: it organizes a lot of recent work—Anosov Reeb flows, free homotopy data, bicontact structures, projectively Anosov flows—into a coherent picture, and it is unusually honest about what is open. The restatement of Hozoori's theorem and the proof of Theorem 3.1 from the literature are useful clarifications. The conjectures are clearly labeled and motivated. The heavy self-citation is not a real problem here because the cited results are established independently; the new statements are derived consequences, not circularly defined.\n\nSoft spots beyond the main gap: Lemma 4.13 is only sketched, and the proof of Proposition 4.15 leans on the same 'as in the end of the proof of Theorem 4.9' transfer. None of this looks like an actual error—the stress-test concern lands, but more as an omitted derivation than a false claim. The paper is an invitation/survey for a proceedings volume, so the level of formality is reasonable, but the two new results are advertised as theorems and deserve complete proofs or very precise citations.\n\nWho this is for: anyone working in 3-dimensional contact topology, Anosov flows, or the interface between them. The questions alone are worth reading. I would send it to referees, with a clear request to either prove the cylindrical-leaf/free-homotopy dictionary or point exactly to where it appears in Fenley's paper.","headline":"A useful, honest invitation/survey whose two new results are plausible but rest on an unproved free-homotopy/cylindrical-leaf dictionary that needs to be supplied or precisely referenced.","tokens_in":18182,"tokens_out":1240,"would_cite":true,"duration_ms":13805,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D20","37C27","53D10","57R17"],"pacs":[],"model":"deepseek-v4-flash","headline":"If a bicontact pair supports an Anosov flow and one side has a bitransverse Anosov Reeb flow, the supported flow is forced to be positively skew and isotopically equivalent to that Reeb flow.","keywords":["Anosov flows","Reeb flows","bicontact structures","free homotopy data","orbit equivalence","pseudo-Anosov flows","Birkhoff sections","contact homology"],"falsifier":"Compute the free homotopy data for an Anosov flow whose stable foliation is a topological blow-up of the stable foliation of a skew Anosov flow; if the two sets differ in any concrete example, the dictionary used in Theorem 4.9 is false. More directly, any bicontact pair supporting an Anosov flow $X$ with a bitransverse Anosov Reeb flow $R_+$ for which $X$ is not positively skew, or is not isotopically equivalent to $R_+$, would disprove the theorem.","tokens_in":17080,"feed_emoji":"🌀","tokens_out":11777,"duration_ms":90488,"temperature":0.7,"pith_summary":"What is at stake is whether different Reeb flows of the same contact structure must have related dynamics, and how strongly. The note argues that for contact structures tied to Anosov flows the relationship is very strong: the free homotopy data $\\mathcal{P}(\\phi)$, the set of free homotopy classes of unoriented periodic orbits, is a complete invariant for a large class of Anosov flows, and cylindrical contact homology forces all Reeb-Anosov flows of a fixed Anosov contact structure to share that data. The main new rigidity result says that if a bicontact pair $(\\xi_+,\\xi_-)$ supports an Anosov flow $X$ and $\\xi_+$ admits a bitransverse Anosov Reeb flow $R_+$, then $X$ is positively skew and isotopically equivalent to $R_+$, so the negative side cannot admit a bitransverse Anosov Reeb flow. A second new result shows that every contact structure admitting an Anosov Reeb flow is itself Anosov-supporting, with the supported Anosov flow unique up to orbit equivalence. The note also surveys how these rigidity phenomena might extend to pseudo-Anosov models via Birkhoff sections.","feed_headline":"One Anosov Reeb flow settles the flow it supports","feed_subtitle":"The contact pair then pins the flow down: it must be positively skew and equivalent to that Reeb flow.","key_machinery":"The argument runs on three connected ideas. A bicontact structure is a pair of transverse contact structures of opposite sign that supports a projectively Anosov flow; a Reeb flow of one side is bitransverse when it stays transverse to both invariant distributions of the supported flow. The free homotopy data $\\mathcal{P}(\\phi)$ records which free homotopy classes contain an unoriented periodic orbit of $\\phi$; for $R$-covered Anosov flows and Anosov flows without transverse tori, equality of these sets is equivalent to isotopy equivalence. The engine of the rigidity theorems is the fact that a skew Anosov flow transverse to a foliation forces the foliation to be $R$-covered and to be a blow-up of the stable or unstable foliation of the flow; carrying the periodic-orbit data through that blow-up, and then through the free-homotopy-data invariant, upgrades equality of periodic orbit sets to a full isotopy equivalence.","core_discovery":"On the paper's own terms, the central discovery is rigidity: once a Reeb-Anosov flow appears as one leg of a supporting bicontact pair, it determines the supported flow. Specifically, let $(\\xi_+,\\xi_-)$ be transverse contact structures of opposite sign supporting an Anosov flow $X$. If $\\xi_+$ has a bitransverse Reeb flow $R_+$ that is itself Anosov, then $X$ is positively skew and isotopically equivalent to $R_+$; consequently $\\xi_-$ cannot admit a bitransverse Anosov Reeb flow. The companion statement runs in the opposite direction: if $\\beta$ is an Anosov contact structure, then $\\beta$ is Anosov-supporting, and the Anosov flow supported by the pair $(\\beta,\\xi_-)$ is isotopically equivalent to the Reeb-Anosov flow of $\\beta$, hence unique up to orbit equivalence. Throughout, the free homotopy data $\\mathcal{P}(\\cdot)$ is the invariant that detects this equivalence, together with the blow-up relation between stable foliations.","pith_inferences":["A rigorous proof of the cylindrical-leaf dictionary used in the main rigidity theorem would likely let the same argument work for pseudo-Anosov flows, giving analogous rigidity when a bitransverse Reeb flow is pseudo-Anosov rather than Anosov.","Conjecture 4.19 could be tested in known examples by computing the free homotopy data of the two bitransverse Reeb flows and checking the predicted dichotomy, $\\mathcal{P}(R_+)=\\mathcal{P}(X)$ and $\\mathcal{P}(R_-)\\cap\\mathcal{P}(X)=\\emptyset$.","The Birkhoff-section construction suggests a practical route to pseudo-Anosov models for Reeb flows: since Birkhoff sections are generic and pseudo-Anosov representatives minimize periodic orbits, the free homotopy data of the model is always a subset of that of the original flow, and uniqueness questions could be probed by comparing these subsets."],"forward_implications":["If $\\xi_+$ admits a bitransverse Anosov Reeb flow, the supporting flow $X$ is forced to be positively skew and isotopically equivalent to $R_+$; it cannot be non-$R$-covered or negatively skew.","The same hypothesis rules out a bitransverse Anosov Reeb flow on $\\xi_-$, because positively and negatively skew Anosov flows cannot be isotopically equivalent on an oriented manifold.","Every Anosov contact structure is Anosov-supporting: the tangential Anosov flow built from the second contact structure is isotopically equivalent to the Reeb-Anosov flow, and is the unique Anosov flow supported by that contact structure up to orbit equivalence.","For an Anosov contact structure, the free homotopy data of any nondegenerate Reeb flow contains the free homotopy data of the supported tangential Anosov flow, with equality when the Reeb flow is Anosov.","On hyperbolic 3-manifolds, any flow admitting an embedded Birkhoff section has a possibly 1-pronged pseudo-Anosov model, and the model's free homotopy data is contained in the original flow's."],"supporting_citations":[{"why":"Supplies the free-homotopy-data invariant for R-covered Anosov flows and the original contact rigidity result that the note extends.","marker":"[BM24]"},{"why":"Provides the general orbit-equivalence theorem from which Theorem 3.1 is derived, used to upgrade free-homotopy-data equality to isotopy equivalence.","marker":"[BFM22]"},{"why":"Gives the rigidity theorem for skew Anosov flows transverse to foliations, the engine behind Theorem 4.9 and Proposition 4.15.","marker":"[Fen05]"},{"why":"Characterizes Anosov flows among projectively Anosov flows by the existence of bitransverse Reeb flows, supplying the notion and key corollary used in the proofs.","marker":"[Hoz24b]"},{"why":"Establishes nonvanishing of cylindrical contact homology for Anosov contact structures, yielding equality of free homotopy data for Reeb-Anosov flows.","marker":"[MP12]"},{"why":"Provides an independent proof of the same nonvanishing result for contact homology of Anosov Reeb flows.","marker":"[Vau]"},{"why":"Shows that skew Anosov flows are orbit equivalent to Reeb-Anosov flows, framing the conclusion of Theorem 4.9.","marker":"[Mar24b]"},{"why":"Supplies the global shadowing result used to construct pseudo-Anosov models from Birkhoff sections in Section 5.","marker":"[Han85]"}],"fun_headline_variants":["Rigid Reeb-Anosov flows pin down supported Anosov flows","Anosov Reeb flow forces equivalence of supported flow","Rigid Reeb-Anosov flow determines supported flow","One Anosov Reeb flow pins the entire supported flow","Reeb-Anosov flow rigidity fixes supported flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the main rigidity theorem assumes, without proof, that an element of the fundamental group lies in the free homotopy data of an Anosov flow exactly when it is freely homotopic to a closed curve inside a cylindrical leaf of the stable foliation; if that correspondence fails, the equality of free homotopy data used to conclude isotopy equivalence is not established.","fun_headline_variants_meta":{"raw":{"variants":["Rigid Reeb-Anosov flows pin down supported Anosov flows","Anosov Reeb flow forces equivalence of supported flow","Rigid Reeb-Anosov flow determines supported flow","One Anosov Reeb flow pins the entire supported flow","Reeb-Anosov flow rigidity fixes supported flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000865,"raw_usage":{"total_tokens":3703,"prompt_tokens":851,"completion_tokens":2852,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":2765}},"tokens_in":467,"tokens_out":2852,"duration_ms":17650,"temperature":1.0,"reasoning_tokens":2765,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T11:47:05.983233+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the free homotopy data for an Anosov flow whose stable foliation is a topological blow-up of the stable foliation of a skew Anosov flow; if the two sets differ in any concrete example, the dictionary used in Theorem 4.9 is false. More directly, any bicontact pair supporting an Anosov flow $X$ with a bitransverse Anosov Reeb flow $R_+$ for which $X$ is not positively skew, or is not isotopically equivalent to $R_+$, would disprove the theorem.","supporting_citations":[],"review_version":1}