{"id":"ef627151-8227-474c-b6df-ae4ad0df82f2","arxiv_id":"2504.16453","paper_version":3,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A generic-Reeb-foliation triviality theorem for leafwise cohomology is proposed, but its H^1 claim is inconsistent with the closed-orbit obstruction and with the paper's own dimension-three statement.","lead":"This paper claims that a generic contact form on any compact contact manifold has a Reeb foliation with trivial leafwise de Rham cohomology, which would make strict contactomorphisms generically just the Reeb flow. The claim fails in three dimensions, where Taubes' theorem forces every contact form to have a closed Reeb orbit, and such orbits force extra cohomology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Closed Reeb orbits yield extra cokernel elements for R_λ; Taubes makes H^1 ≅ R impossible in dimension 3, so Theorem 1.14 fails.","rationale":"The reader's weakest assumption identifies exactly the load-bearing failure: Theorem 5.9 assumes that ker R_λ = constants plus formal skew-adjointness and hypoellipticity imply surjectivity onto mean-zero smooth functions. The closed-orbit integral constraint shows this is false, and because Taubes' theorem is cited by the paper itself, every contact form in dimension 3 has such an orbit. The consequence is not a mere technical gap but a direct counterexample to the central claim H^1(F_λ) ≅ R for the residual set C_np(M) in dimension 3. The H^0 part might be salvageable, but the paper's headline theorem, its corollary on strict contactomorphisms, and the abstract's equivalence claims all depend on H^1 triviality. The v1 abstract's explicit statement that H^1 is infinite-dimensional when a closed orbit exists further confirms the internal contradiction. Therefore the rejection stands, and a revision would need to either restrict to an H^0-only theorem or substantially reinterpret what 'trivial' means in the presence of closed orbits.","tokens_in":42015,"tokens_out":8062,"duration_ms":80649,"concrete_test":"Take M = S^3 with the standard contact form λ = dz − y dx + x dy (Hopf fibration), where the Reeb flow has a closed orbit γ of period 2π. Choose a smooth bump function b with b = 1 on γ, supported in a small tubular neighborhood, and let m = (1/vol)∫_M b dμ, so m ≠ 1. Define u = b − m. Verify ∫_M u dμ = 0 but ∫_γ u = 2π(1−m) ≠ 0. Since ∫_γ R_λ f = 0 for every f, u is mean-zero but not in Image(R_λ), directly refuting Theorem 5.9's surjectivity assertion. This check can be repeated for any contact form with a closed orbit, and Taubes' theorem guarantees such an orbit in dimension 3.","verdict_should_be":"REJECT","load_bearing_attack":"The decisive flaw is in Section 5.3, Theorem 5.9: the inference from ker R_λ = constants to surjectivity of R_λ onto C∞_(0;λ)(M) does not hold when λ has a closed Reeb orbit. Let γ be a closed Reeb orbit of period T. For every f, ∫_0^T R_λ f(γ(t)) dt = f(γ(T)) − f(γ(0)) = 0. Thus the functional L(u) = ∫_0^T u(γ(t)) dt annihilates Image(R_λ). But L does not vanish on all mean-zero functions: choose a bump b equal to 1 on γ and supported in a small tube, with mean m = (1/vol)∫_M b dμ ≠ 1; then u = b − m is in C∞_(0;λ) yet L(u) = T(1−m) ≠ 0. Hence u ∉ Image(R_λ). By Proposition 5.5 and Corollary 5.6(1), H^1(F_λ) ≅ C∞/Image(R_λ), so H^1 is not isomorphic to R. On a closed 3-manifold, Taubes' theorem, which the paper's own abstract cites, provides a closed Reeb orbit for every contact form λ. Therefore in dimension 3 the central claim H^1 ≅ R fails for every λ, including any non-projectable λ in C_np(M). The v1 abstract explicitly states the opposite — H^1 infinite-dimensional when a closed orbit exists — so the manuscript is internally contradictory. Sections 5, 14, and 19 never address the closed-orbit integral constraint.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the leafwise de Rham cohomology of the Reeb foliation F_λ associated to a contact form λ on a compact connected orientable contact manifold. Its central claims are that, for a residual set of contact forms (the \"big phase space\" C(M) and the \"small phase space\" C(M,ξ)), the kernel of the first-order operator R_λ consists only of constants, and that, by formal skew-adjointness, R_λ is an isomorphism from mean-zero smooth functions to mean-zero smooth functions. The paper then concludes H^0(F_λ) ≅ R ≅ H^1(F_λ), and that the Lie algebra of strict contactomorphisms is one-dimensional. The proof is built on a control-theoretic transversality framework: it studies Reeb trajectories with marked points constrained to the regular part of the discriminant of the conformal exponent g(ψ^1_H;λ), and uses Sard-Smale arguments over the infinite-dimensional parameter space of contact forms.","tokens_in":42239,"tokens_out":8399,"duration_ms":87439,"significance":"If Theorem 1.6 (generic triviality of ker R_λ) were correct, it would be a significant contribution: it would show that nonconstant Reeb-invariant smooth functions are generically absent and that strict contactomorphisms are generically scarce. The control-theoretic formulation and the explicit variation formulas, especially Lemma 8.2 for the conformal exponent, are original and potentially useful. However, the paper's advertised H^1 triviality is false in the presence of a closed Reeb orbit, and in dimension 3 Taubes' theorem produces a closed orbit for every contact form. Thus Theorem 1.14 and Corollary 1.9 are false as stated, and the central cohomological claim of the paper cannot stand. The generic-kernel part of the argument may be salvageable, but the main advertised conclusion is not.","major_comments":[{"comment":"The inference from ker R_λ = {constants} to surjectivity of R_λ onto the mean-zero functions is false when λ has a closed Reeb orbit. Let γ be a closed Reeb orbit of period T. For every smooth f, ∫_0^T R_λ f(γ(t)) dt = f(γ(T)) - f(γ(0)) = 0, so the functional L(u) = ∫_γ u annihilates im R_λ. Choose a bump function b identically equal to 1 on γ with mean m ≠ 1; then u = b - m is mean-zero, but L(u) = T(1-m) ≠ 0, so u ∉ im R_λ. Hence im R_λ is strictly smaller than the mean-zero subspace, coker R_λ is not R, and by Corollary 5.6(1), H^1(F_λ) is not R. Since every contact form on a closed 3-manifold has a closed Reeb orbit by Taubes' theorem, Theorem 1.14 fails for every λ in dimension 3, including every λ in the residual set C_np(M). Sections 5, 14, and 19 never address this integral obstruction.","section":"§5.3, Theorem 5.9; §1.3, Theorem 1.14"},{"comment":"The abstract as supplied states both that H^1(F_λ) ≅ R for a residual set of contact forms and, on the other hand, that the rank of H^1(F_λ) is infinite whenever λ admits a closed Reeb orbit, in particular for every contact form in dimension 3. These two statements are contradictory on a closed 3-manifold: Taubes' theorem gives a closed orbit for every λ, so the second statement implies H^1(F_λ) ≇ R for all λ, while Theorem 1.14 asserts H^1(F_λ) ≅ R for a residual set. The manuscript as a whole is therefore internally inconsistent on its central claim.","section":"Abstract; §1.3"},{"comment":"The asserted isomorphism ker R_λ ≅ Coker R_λ obtained from formal skew-adjointness is not valid in the Fréchet setting without a proof that im R_λ is closed. The closed-orbit functional L constructed above is a concrete witness that the algebraic cokernel is larger than the annihilator of im R_λ; the invocation of hypoellipticity and the Open Mapping Theorem in Theorem 5.9 does not repair this, because R_λ is not elliptic and its range need not be closed. This is the load-bearing gap that invalidates the surjectivity half of Theorem 5.9.","section":"§5.1, Proposition 1.8"}],"minor_comments":[{"comment":"The displayed formula for H^1(F_λ) is inconsistent with the preceding lines: the numerator should be Z^1(F_λ) = {uλ | u ∈ C^∞(M)}, not {fλ | R_λ[f] = 0}. As written, the formula also omits the factor λ in the denominator. Corollary 5.6 uses the correct description, so this is a presentation error, but it should be corrected.","section":"§5.2, Proposition 5.5"},{"comment":"The phrase \"Let λ be any non-projectable contact form\" overstates the hypothesis: non-projectability is defined only for elements of the residual set C_np(M) (or C_np(M,ξ)), so the statement should read \"for any λ ∈ C_np(M)\" to match the proof.","section":"§1.2, Theorem 1.14"},{"comment":"Several essential functional-analytic and Fredholm details, including the precise definition of Floer's C^ε norms and parts of the off-shell framework, are deferred to the companion paper [OS, Section 4]. Since the present paper's main theorem depends on this material, a self-contained treatment or a precise statement of the assumptions inherited from [OS] is needed in a revision.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The manuscript contains a genuinely interesting generic-kernel program, but the central cohomological claim is false as stated: closed Reeb orbits impose integral constraints on the image of R_λ that are incompatible with H^1(F_λ) ≅ R, and Taubes' theorem makes this obstruction universal in dimension 3. The paper also relies on the unpublished companion [OS] for essential functional analysis. These issues are load-bearing and cannot be fixed by local revision; the advertised conclusion would need to be substantially reformulated, and the current version is not suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves two things that are really different: a genericity theorem for H^0 (ker R_λ = constants for a residual set of forms) and a unique-solvability theorem for R_λ f = u on mean-zero functions, phrased as H^1 = R. The first is plausible and contributes a genuinely new control-theoretic framing—contact form as control, conformal exponent as payoff—to a hard problem. The second is false as stated.\n\nThe soft spot is load-bearing. The paper never confronts closed Reeb orbits. For any closed orbit γ of period T, ∫_0^T R_λ f(γ(t))dt = f(γ(T)) - f(γ(0)) = 0. So the functional u ↦ ∫_0^T u(γ(t))dt annihilates the image of R_λ. But it does not vanish on all mean-zero functions: take a bump b equal to 1 on γ, supported nearby, with mean m ≠ 1; then u = b - m is mean-zero but has nonzero integral along γ. By the paper's own Corollary 5.6(1), this means H^1 is not R. And Taubes' theorem—which the abstract cites—guarantees a closed orbit for every contact form on a closed 3-manifold. So in dimension 3, H^1 ≅ R fails for every λ, including any non-projectable one. Theorem 1.14 and Corollary 1.9 are false.\n\nThere is also an internal contradiction: the v1 abstract said H^1 is infinite-dimensional when a closed orbit exists; the v2 abstract removes that sentence and asserts H^1 ≅ R. The main body never reconciles the two. The proof of Proposition 15.2 is omitted, and the general case of Lemma 9.6 is only sketched; the functional-analytic infrastructure is deferred to the companion [OS]. These are not fatal by themselves, but they make independent verification harder.\n\nThe H^0 half—ker R_λ = constants for a residual set—may survive, since the closed-orbit argument does not contradict it. But the paper as packaged should be reworked as an H^0-only genericity theorem, with the cokernel statement downgraded and the missing proofs supplied.\n\nWho is this for? Researchers working on Reeb dynamics and contact mapping class groups. It deserves a serious referee, but the referee should be asked to focus on whether the H^0 argument holds up after the H^1 claim is stripped out. My recommendation: send to peer review, expect heavy revision, and do not accept the cohomological claims as they stand.","headline":"The H^0 genericity result is plausible and interesting, but the H^1 = R claim is false because closed Reeb orbits create unavoidable cokernel elements; the paper should be reworked as an H^0-only theorem.","tokens_in":42923,"tokens_out":2496,"would_cite":false,"duration_ms":24331,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D10","53C12","57R30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that for a residual set of contact forms, the leafwise de Rham cohomology of the Reeb foliation is trivial in degrees zero and one.","keywords":["contact form","Reeb foliation","foliation de Rham cohomology","non-projectable contact form","conformal exponent","strict contactomorphism","control theory","generic transversality"],"falsifier":"Take any contact form $\\lambda$ on a closed three-manifold, where a standard theorem guarantees a closed Reeb orbit $\\gamma$ of period $T$; choose a smooth bump $b$ equal to 1 along $\\gamma$, supported in a thin tube, with Liouville mean $m \\neq 1$. Since $\\int_0^T R_\\lambda f(\\gamma(t))\\,dt = f(\\gamma(T))-f(\\gamma(0))=0$ for every smooth $f$, the mean-zero function $b-m$ cannot equal $R_\\lambda f$, contradicting the claimed isomorphism onto mean-zero functions for any such $\\lambda$ placed in the residual set.","tokens_in":41636,"feed_emoji":"🌀","tokens_out":15337,"duration_ms":134345,"temperature":0.7,"pith_summary":"This paper tries to prove that on a compact connected contact manifold, for a residual set of contact forms $\\lambda$—a dense, countable intersection of open dense sets—the only smooth functions constant along the Reeb flow are the constants. If true, the Reeb-foliation cohomology is as small as possible: $H^0(F_\\lambda)$ and $H^1(F_\\lambda)$ are both one-dimensional. The proof treats $\\lambda$ as a control parameter: for any non-constant $H$, the discriminant of the conformal exponent of the time-one map $\\psi_H^1$ is forced to miss the relevant Reeb trajectories for a generic $\\lambda$, which rules out $R_\\lambda H = 0$. The claimed consequence is that the functional equation $R_\\lambda f = u$ is uniquely solvable modulo constants for every mean-zero $u$, and that the Lie algebra of strict contactomorphisms is the one-dimensional span of the Reeb vector field. The same triviality is claimed for a generic choice of contact form with a fixed contact structure $\\xi$, while any form with a closed Reeb orbit is claimed to have infinite-dimensional $H^1$.","feed_headline":"Generic Reeb foliations get one-dimensional cohomology","feed_subtitle":"The proof would collapse strict contactomorphisms to the Reeb flow for a generic contact form.","key_machinery":"The load-bearing object is the parameterized moduli space of pointed Reeb trajectories subjected to constraints at the regular part of the discriminant $\\Sigma^{\\mathrm{reg}}(H;\\lambda) = g(\\psi_H^1;\\lambda)^{-1}(0)$ minus its critical and fixed points. The variation formulas $\\delta_\\lambda g(\\psi;\\lambda)(\\alpha) = \\psi^* h_\\alpha - h_\\alpha$ and $\\delta_\\lambda R_\\lambda(\\alpha) = -X_h^\\pi - h R_\\lambda$, where $h_\\alpha = \\alpha(R_\\lambda)$ is the Reeb component, make the 0-jet and 1-jet evaluation maps transverse over a residual set of $\\lambda$. The resulting Fredholm projection has index $2n+1-k$, so with $k = 2n+2$ the constrained moduli space is empty for generic $\\lambda$, proving $\\ker R_\\lambda = \\mathbb{R}$. Skew-adjointness $R_\\lambda^* = -R_\\lambda$ then converts this into the claimed cohomological triviality.","core_discovery":"The central claim is a generic triviality theorem: there is a residual subset $C_{np}(M)$ of all contact forms, and similarly $C_{np}(M,\\xi)$ for a fixed contact structure, such that $\\ker R_\\lambda$ consists only of constants. The proof does not solve $R_\\lambda f = u$ directly; instead it studies pointed moduli spaces of Reeb trajectories with jet constraints coming from the discriminant of the conformal exponent $g(\\psi_H^1;\\lambda)$. For any $H$ with $dH \\neq 0$, a generic $\\lambda$ makes the constrained moduli space empty for $2n+2$ marked points, so no such $H$ can satisfy $R_\\lambda H = 0$. Combined with the skew-adjointness $R_\\lambda^* = -R_\\lambda$ with respect to the contact Liouville measure, this injectivity is claimed to make $R_\\lambda$ an isomorphism from mean-zero smooth functions to mean-zero smooth functions, giving $H^0(F_\\lambda) \\cong \\mathbb{R} \\cong H^1(F_\\lambda)$ and $\\operatorname{cont}^{st}(M,\\lambda) \\cong \\mathbb{R}\\{R_\\lambda\\}$.","pith_inferences":["The closed-orbit obstruction appears to undercut the generic-triviality theorem in dimension three: if every contact form has a closed Reeb orbit, the bumped-function argument gives a mean-zero function not in the image of $R_\\lambda$, and the claimed isomorphism from mean-zero functions to mean-zero functions would fail for every such $\\lambda$.","The paper nowhere confronts closed Reeb orbits as obstructions in the cohomological sections; a sympathetic reading would need $C_{np}(M)$ to avoid all forms with closed orbits, which in dimension three would make it empty rather than residual.","The method suggests a general recipe for generic rigidity of first-order operators of principal type with a control parameter: use the characteristic ODE as a finite-dimensional approximate moduli and prove jet-evaluation transversality over the parameter space.","A testable extension would be to compute $H^1$ for a small generic perturbation of a contact form with a closed orbit: the integration obstruction is open in the $C^\\infty$ topology, so the infinite-dimensionality should persist for nearby forms, directly testing the residual-set claim."],"forward_implications":["For $\\lambda$ in the residual set, the equation $R_\\lambda f = u$ has a unique solution modulo constants for every smooth $u$ with zero integral against the contact Liouville measure.","The Lie algebra of strict contactomorphisms is the one-dimensional abelian algebra spanned by the Reeb vector field, so generically strict contactomorphisms beyond the Reeb flow cease to exist.","The same triviality holds for a residual subset of contact forms with a fixed contact structure, so the vanishing is not an artifact of letting the structure vary.","Any contact form with a closed Reeb orbit has infinite-dimensional $H^1(F_\\lambda)$; since every contact form on a closed three-manifold has a closed Reeb orbit, this is claimed for all three-dimensional contact forms.","For a generic $\\lambda$, the standard definition of a contact integrable system would have no non-constant functions satisfying $\\{1,f_i\\}=0$, so the Reeb flow is the only strict contact flow."],"supporting_citations":[{"why":"States the companion program that strict contactomorphisms are scarce and supplies the C^epsilon function-space framework and Lie-group lifting used here.","marker":"[OS]"},{"why":"Introduces contact pairs, conformal exponents, and the big and small phase spaces that organize the paper's parameter spaces.","marker":"[DO]"},{"why":"Provides the principal-type hypoellipticity and local solvability results that let the proof work with smooth functions.","marker":"[Hör55]"},{"why":"Defines the E-de Rham complex for Lie algebroids, the formal setting for leafwise foliation cohomology.","marker":"[NT01]"},{"why":"Introduces the C^epsilon perturbation spaces used in the Fredholm and transversality arguments.","marker":"[Flo88]"},{"why":"Supplies the parameterized transversality framework for moduli problems adapted here to Reeb trajectories.","marker":"[Wen23]"}],"fun_headline_variants":["Generic Reeb foliations have trivial leafwise H^0","Reeb foliations: H^0 collapses to R generically","Generic contact forms give Reeb foliations H^0=R","Leafwise cohomology trivial for generic Reeb foliations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that showing the smooth kernel of $R_\\lambda$ is just the constants forces $R_\\lambda$ to map the mean-zero smooth functions onto themselves via formal skew-adjointness and hypoellipticity; any closed Reeb orbit supplies a mean-zero smooth function that cannot be in the image, so this implication fails in the presence of closed orbits.","fun_headline_variants_meta":{"raw":{"variants":["Generic Reeb foliations have trivial leafwise H^0","Reeb foliations: H^0 collapses to R generically","Generic contact forms give Reeb foliations H^0=R","Leafwise cohomology trivial for generic Reeb foliations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000233,"raw_usage":{"total_tokens":1519,"prompt_tokens":996,"completion_tokens":523,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":612,"completion_tokens_details":{"reasoning_tokens":451}},"tokens_in":612,"tokens_out":523,"duration_ms":5167,"temperature":1.0,"reasoning_tokens":451,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:05:03.015413+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any contact form $\\lambda$ on a closed three-manifold, where a standard theorem guarantees a closed Reeb orbit $\\gamma$ of period $T$; choose a smooth bump $b$ equal to 1 along $\\gamma$, supported in a thin tube, with Liouville mean $m \\neq 1$. Since $\\int_0^T R_\\lambda f(\\gamma(t))\\,dt = f(\\gamma(T))-f(\\gamma(0))=0$ for every smooth $f$, the mean-zero function $b-m$ cannot equal $R_\\lambda f$, contradicting the claimed isomorphism onto mean-zero functions for any such $\\lambda$ placed in the residual set.","supporting_citations":[],"review_version":1}