{"id":"b99d9072-cfb2-4322-8d51-200d053a4322","arxiv_id":"2510.15325","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Topologically conjugate taut foliations and orbit-equivalent Anosov flows produce exact symplectomorphic Liouville thickenings; the smoothing method also yields new collapsed Anosov flows.","lead":"This paper shows that the 4D symplectic 'Liouville thickening' built from a layered 3D foliation is unchanged under topological homeomorphisms of the foliation. For Anosov flows, orbit-equivalent flows yield exact symplectomorphic symplectic domains, and an appendix constructs new partially hyperbolic diffeomorphisms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The load-bearing point is the refined Vogel uniqueness theorem (Thm 9/2.4): its ribbon-holonomy step relies on a convexity/nondegeneracy condition that is acknowledged but not established for arbitrary contact structures in the Vogel neighborhood; if this step fails, Proposition 4.2 and Theorem A co","rationale":"The reader's verdict identified the refined Vogel uniqueness theorem as the weakest assumption and flagged the nondegeneracy/convexity issue in §2.4; I agree. The central claim of the paper is the topological invariance of the Liouville thickening, and that invariance is mediated by Proposition 4.2, which depends directly on Theorem 9. Within Theorem 9, the semi-infinite ribbon construction is the step where the paper departs most substantially from Vogel: it corrects Vogel's equation (3-4), introduces Lemma 2.6, and explicitly acknowledges in Remark 2.7 that a needed inequality is only known under a convexity condition. The proof's handling of that condition — a generic modification of the starting contact structure — is sketched rather than proved, and no argument is given that the modification can be made while preserving both membership in V and transversality to the fixed I. This is not a disagreement with the consensus or a stylistic complaint; it is an internal gap in a step that is genuinely necessary for the main theorem. The recommended verdict remains CONDITIONAL, so no adjustment to the reader's verdict is needed. The proposed test targets the exact point of uncertainty: whether Lemma 2.6's convergence genuinely requires nondegenerate convex annuli, and whether the generic-perturbation claim can supply that condition in the required setting.","tokens_in":53137,"tokens_out":8194,"duration_ms":77840,"concrete_test":"Isolate Lemma 2.6 and compute the flow explicitly for a model annulus A = S^1×I with a family of contact forms α_s = dz - (z^2/2 + c(y)) dθ on A×I, choosing c so that the closed characteristic is degenerate (e.g., a parabolic orbit). Verify whether the quantity h satisfies h≤0 and whether the limit in equation (8) still forces ξs → ker dt. If the convergence fails in this degenerate case, then the convexity/nondegeneracy condition is essential, and the 'generic modification' step in §2.3 must be written out and shown to preserve V and I before Theorem 9 can be accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem A asserts that λF is a topological invariant. The only place where independence from the choice of contact approximations is proved is Proposition 4.2, and Step 1 there invokes Theorem 9 (Thm 2.4): in a C0-neighborhood V⊂P_I of TF, any two positive (resp. negative) contact structures are contact homotopic within P_I. If that uniqueness statement is false, λF is not well-defined and Theorem A does not follow. The most delicate part of Theorem 9 is §2.4, 'Correcting holonomy with semi-infinite ribbons'. The authors explicitly correct Vogel's equation (3-4) and replace it with Lemma 2.6, whose conclusion ξs → H = ker dt near ∂A×I depends on the inequality h<0 on the union of flow lines hitting the boundary. Remark 2.7 states that this inequality is not known to hold without a nondegeneracy/convexity condition on the closed characteristics of the annuli. The proof then asserts that such convex annuli can be arranged 'by first modifying ξ generically', but that modification is not spelled out, and its compatibility with remaining inside the fixed Vogel neighborhood V and with preserving transversality to the fixed line field I is not demonstrated. Since the ribbon flow is the only mechanism in the proof that forces holonomy to become negative, a gap here is load-bearing rather than cosmetic: without a complete proof of Lemma 2.6 under the stated hypotheses, Theorem 9, Proposition 4.2, and hence Theorem A remain unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper associates to a hypertaut admissible C^1 foliation F on a closed oriented 3-manifold M a Liouville structure λ_F on the thickening [-1,1]×M (Construction 2 and §4.1). Theorem A asserts that λ_F is a topological invariant: a homeomorphism conjugating two such foliations is isotopic to a diffeomorphism pulling back one Liouville structure to a structure Liouville-homotopic to the other. Theorem B gives a similar invariance for positive contact pairs, and Theorems C and D translate these results to Anosov flows, yielding invariance of Anosov Liouville structures under orbit equivalence and deformation equivalence of supporting bicontact structures. The proofs combine three ingredients: a smoothing scheme for foliated and bifoliated homeomorphisms (Theorems 5 and 7), a refinement of Vogel's uniqueness theorem for contact approximations with fixed transverse line field (Theorem 9/2.4), and a deformation result turning pre-Liouville structures into Liouville structures (Proposition 3.5/Proposition 10). An appendix by Barthelmé–Fenley–Potrie uses the smoothing theorem to construct new collapsed Anosov flows, completing a classification program for partially hyperbolic diffeomorphisms.","tokens_in":53503,"tokens_out":3440,"duration_ms":33102,"significance":"If correct, the paper is a substantial contribution to the symplectic and contact topology of foliations and Anosov flows: it turns the Liouville thickening into a topological invariant, hence all Floer-type invariants built from it become invariants of the foliation up to homeomorphism, and of the Anosov flow up to orbit equivalence. The paper also strengthens Vogel's theorem to C^1 admissible foliations with control on a fixed transverse line field, and corrects an erroneous computation in [Vog16] (equation (3-4), replaced by Lemma 2.6). The appendix solves an outstanding question about realizability of self orbit equivalences by partially hyperbolic diffeomorphisms, giving a key step in the classification of transitive partially hyperbolic diffeomorphisms. The proofs are detailed, with some steps still left to the reader; the main technical risk is concentrated in the refined uniqueness theorem for contact approximations.","major_comments":[{"comment":"The independence of the Liouville thickening from the contact approximations uses Theorem 9 in an essential way: the paths of contact structures ξ^t_± produced by Theorem 9 are used to construct paths of pre-Liouville structures. If Theorem 9 has the gap described above, then Proposition 4.2 does not establish well-definedness of λ_F. This is a direct consequence of the issues in §2.4 and §2.3. The authors should make explicit how the convexity problem is resolved before Proposition 4.2 can be accepted.","section":"§4.1, Proposition 4.2, Step 1"}],"minor_comments":[{"comment":"In the proof of Proposition 2.12, Step 1 says 'Since ξ is tight, D_z(ξ) has no closed leaf' — a brief justification or reference for this fact (Legendrian unknottedness/Thurston–Bennequin bound) would improve readability.","section":"§2.5.2"}],"recommendation":"major_revision","confidential_remarks":"The central claims are plausible and significant, but the proof of Theorem 9 (the refined Vogel uniqueness theorem) has a real gap at the 'convex annuli' step (§2.4, Remark 2.7). Because Theorem A and Proposition 4.2 rest directly on Theorem 9, this gap must be fixed before the main result can be considered proved. The missing 3-cell extension in Theorem 7 is also a concern for the Anosov and appendix results, though not for Theorem A itself. I would not reject; the issues appear addressable by adding the missing arguments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things. First, the main results are new and substantial. Theorem A upgrades the known smooth deformation invariance of Liouville thickenings to full topological invariance for hypertaut admissible foliations, and the Anosov consequences (Theorems C and D, plus the deformation through projectively Anosov flows) are the kind of statements people in this area have been after. Second, the proof is honest about where it gets delicate: the refined Vogel uniqueness theorem (Theorem 9, §2.4) is load-bearing, and its most delicate step rests on a convexity/nondegeneracy condition that the authors explicitly say they cannot ensure in general (Remark 2.7).\n\nWhat is new: the smoothing scheme for foliated and bifoliated homeomorphisms (Theorems 5 and 7), the transversality-controlled refinement of Vogel's uniqueness theorem, and the applications to Anosov orbit equivalences. Along the way the paper corrects a wrong computation in Vogel (equation 3-4) and replaces it with Lemma 2.6, a real contribution in its own right.\n\nWhat it does well: the smoothing section is worked out carefully — clean covers, induction over the skeleton, the auxiliary smoothing that tames the 'wiggly' images of the cells. The 2D preamble is a good idea. The authors state their limitations plainly: no parametric version of Theorem 9 (Remark 2.5), and the 3-cell step of the bifoliated smoothing is explicitly left to the reader (§1.4).\n\nThe soft spot: Lemma 2.6 needs h ≤ 0 along the flow lines hitting the boundary annuli. The proof asserts this follows from making the annuli convex 'by first modifying ξ generically,' but the modification is not written out, and Remark 2.7 concedes the inequality is not known to hold without the nondegeneracy condition on closed characteristics. Since Theorem 9 feeds directly into Proposition 4.2 and then Theorem A, this is load-bearing. My guess is the gap is fillable — a C∞-small generic perturbation stays in the Vogel C0 neighborhood and preserves transversality to I — but the current text does not demonstrate the compatibility, and a referee should ask for it. The non-parametric limitation worries me less: Proposition 4.2 only needs a path between two fixed structures.\n\nI do not see circularity. Proposition 4.2 invokes Theorem 9, which is independent of the main theorem. The paper leans on the authors' own prior work, but that is citation, not circularity. The appendix's classification claim depends on the announced [FP25], a limitation but not a flaw of the main text.\n\nWho this is for: people working on symplectic/contact invariants of foliations or on Anosov flows. It deserves a serious referee; the conditional status is about completing details, not a flawed idea. Send it to review, and ask for the convexity modification in §2.4 to be spelled out, plus the routine 3-cell details in Theorem 7.","headline":"A substantial, likely-correct proof that Liouville thickenings are topological invariants of admissible taut foliations, conditional on a load-bearing but probably-fillable gap in the refined Vogel uniqueness argument.","tokens_in":53998,"tokens_out":6257,"would_cite":true,"duration_ms":48803,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D10","53D35","57R30","37D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the Liouville thickening of an admissible hypertaut foliation is a topological invariant: homeomorphic such foliations induce exact symplectomorphic Liouville structures on [-1,1]×M, so every Floer-type invariant built","keywords":["taut foliations","Liouville structures","Anosov flows","contact approximations","topological invariance","orbit equivalence","bicontact structures","partial hyperbolicity"],"falsifier":"Take an admissible C1 foliation F with a smooth transverse line field I and two positive contact structures ξ, ξ′ contained in arbitrarily small C0-neighborhoods of TF within the space of plane fields transverse to I. If ξ and ξ′ are not contact homotopic through plane fields transverse to I, the paper's Theorem 2.4 is false and Theorem A fails. A concrete place to look is the ribbon-slope computation of Section 2.4: if the 'pull-down' inequality (12) cannot be satisfied for some positive parallel transport, the window-pulling lemma in Section 2.6 collapses, and with it the uniqueness theorem.","tokens_in":53014,"feed_emoji":"🌀","tokens_out":6176,"duration_ms":48517,"temperature":0.7,"pith_summary":"Taut foliations of 3-manifolds can be thickened into symplectic objects—Liouville structures on the product of the manifold with an interval—by approximating the foliation by contact structures, a classical construction. The paper shows this construction is insensitive to the choices involved, provided the foliation is admissible and hypertaut: two such foliations that are merely homeomorphic produce Liouville structures that are exact symplectomorphic after completion. Because Floer-type invariants (wrapped Fukaya categories and similar) are attached to Liouville structures, they become true topological invariants of the foliation. For Anosov flows, whose weak stable and unstable foliations are admissible and hypertaut, this means orbit-equivalent flows have symplectomorphic Anosov Liouville domains, and their supporting bicontact structures are deformation equivalent—so orbit equivalent flows are deformation equivalent through projectively Anosov flows. The two load-bearing techniques are a smoothing scheme for topological conjugacies of C1 foliations with control on tangent-plane distortion, and a refinement of a known uniqueness theorem for contact approximations of foliations with an extra transversality constraint.","feed_headline":"Liouville thickenings of taut foliations are topological","feed_subtitle":"Homeomorphic foliations induce exact symplectomorphic Liouville structures, making Anosov-flow invariants orbit-invariant.","key_machinery":"The argument rests on three independent pieces. First, a smoothing scheme (Theorems 5 and 7) approximates a homeomorphism conjugating two C1 foliations by a smooth diffeomorphism that stays C0-close to the original homeomorphism and keeps the pushed-forward tangent plane fields C0-close to the target foliation's plane field; a variant handles pairs of transverse foliations. Second, a refinement of the uniqueness of contact approximations (Theorem 9 / 2.4) asserts that for an admissible foliation F and any fixed smooth transverse line field I, there is a C0-neighborhood of TF inside the space of plane fields transverse to I in which every positive (resp. negative) contact structure is contact","core_discovery":"Let F0 and F1 be homeomorphic hypertaut admissible C1 foliations of a closed oriented 3-manifold M. The paper's main theorem asserts that their Liouville thickenings λF0 and λF1, defined on V=[-1,1]×M, are deformation equivalent: after replacing the homeomorphism by a smooth diffeomorphism h̃ isotopic to it, (id×h̃)*λF0 and λF1 are homotopic Liouville structures, hence exact symplectomorphic after completion. Consequently every invariant derived from the Liouville thickening—in particular Floer-type invariants—is the same for topologically conjugate foliations. The paper extends this to C0-deformation equivalence (homotopies and conjugations), and applies it to oriented Anosov flows, where t","pith_inferences":["Because the Liouville thickening is now known to be topological, symplectic invariants such as wrapped Fukaya categories or symplectic cohomology could be used to distinguish foliations that are homeomorphic but not smoothly conjugate; the paper does not pursue this, but it is a direct testable consequence.","A parametric version of the refined contact-uniqueness theorem—which the paper explicitly notes it does not prove—would likely imply that a whole family of contact approximations can be simultaneously straightened, strengthening the invariance statements and potentially answering the paper's Question 6 for more general neighborhoods.","The smoothing scheme suggests a general transfer principle: any C0 conjugacy between C1 foliations can be upgraded to a smooth diffeomorphism with arbitrarily small distortion of tangent data. This may have applications beyond contact geometry, for instance in classifying partially hyperbolic systems or in rigidity questions for foliations.","The converse question—whether exact symplectomorphism of Anosov Liouville domains forces orbit equivalence—becomes a sharp test of how much dynamical information the Liouville thickening retains; the paper notes this is open except for R-covered flows."],"forward_implications":["Floer-type invariants of an admissible hypertaut foliation—wrapped Fukaya categories and related symplectic invariants of its Liouville thickening—are invariants of the foliation up to C0-deformation equivalence.","Orbit equivalent oriented Anosov flows have exact symplectomorphic Anosov Liouville domains; in particular their boundary contact structures are contactomorphic via diffeomorphisms isotopic to the orbit equivalence.","Supporting bicontact structures of orbit equivalent Anosov flows are deformation equivalent through bicontact structures; consequently orbit equivalent Anosov flows are deformation equivalent through projectively Anosov flows.","For positive (resp. negative) skewed R-covered Anosov flows, the positive (resp. negative) supporting contact structure admits a contact form whose Reeb flow is Anosov and isotopically equivalent to the original flow; a contact structure admits an Anosov Reeb flow exactly when some skewed R-covered Anosov flow is tangent to it, and any two such flows tangent to the same contact structure are isoto","The smoothing scheme yields new collapsed Anosov flows: every orientation-preserving self orbit equivalence of an orientable Anosov flow with orientable weak foliations is realized by a strong collapsed Anosov flow, completing a classification program for transitive partially hyperbolic diffeomorphisms in dimension three and producing first examples of double translations."],"fun_headline_variants":["Homeomorphic taut foliations yield identical Liouville structures","Liouville invariants survive topological conjugacy of foliations","Anosov flows: orbit equivalence preserves Liouville structure","Topological conjugacy forces symplectomorphic Liouville structures","Taut foliation topology fixes its Liouville thickening"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the refined uniqueness theorem for contact approximations: for an admissible foliation and a fixed transverse line field, every positive contact structure sufficiently C0-close to the foliation—and transverse to that line field—is contact homotopic to the standard one while staying transverse to the line field. If this uniqueness-with-transversality fails, the Liouville thickening depends on the choice of approximating contact pair and Theorem A co","fun_headline_variants_meta":{"raw":{"variants":["Homeomorphic taut foliations yield identical Liouville structures","Liouville invariants survive topological conjugacy of foliations","Anosov flows: orbit equivalence preserves Liouville structure","Topological conjugacy forces symplectomorphic Liouville structures","Taut foliation topology fixes its Liouville thickening"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000215,"raw_usage":{"total_tokens":1282,"prompt_tokens":776,"completion_tokens":506,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":430}},"tokens_in":520,"tokens_out":506,"duration_ms":4437,"temperature":1.0,"reasoning_tokens":430,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T09:25:03.224740+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an admissible C1 foliation F with a smooth transverse line field I and two positive contact structures ξ, ξ′ contained in arbitrarily small C0-neighborhoods of TF within the space of plane fields transverse to I. If ξ and ξ′ are not contact homotopic through plane fields transverse to I, the paper's Theorem 2.4 is false and Theorem A fails. A concrete place to look is the ribbon-slope computation of Section 2.4: if the 'pull-down' inequality (12) cannot be satisfied for some positive parallel transport, the window-pulling lemma in Section 2.6 collapses, and with it the uniqueness theorem.","supporting_citations":[],"review_version":1}