{"id":"cc93cf93-20ce-4508-8b9a-6c862e0df314","arxiv_id":"2504.16458","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a generic non-projectible contact form on a compact manifold, every strict contactomorphism is a Reeb flow, so the strict contactomorphism group is a countable union of real lines.","lead":"This paper proves that for most contact forms on a compact manifold, the only exact symmetries are the standard flows along a distinguished direction. It settles a structural question in contact geometry about how rare strict contactomorphisms really are.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 7.2 / equation (7.6) miscomputes the variation of the projection, contradicting the identity path (λ + t h λ, id); the cokernel proof of Prop. 8.4 is therefore invalid.","rationale":"The reader correctly identified Proposition 8.4 and the cokernel vanishing as the load-bearing step. My concern is more specific and more damaging: the linearization used to compute that cokernel is contradicted by the identity section, which is always present in Cont^st_1. This is not a matter of disagreement with a dynamical hypothesis or with an external genericity theorem; it is a concrete algebraic inconsistency in the central computation. The identity path (λ_t, id) is a legitimate path of strict contact pairs, and it shows DΦ(hλ, 0) = 0, while (7.6) gives a nonzero horizontal term. The same incorrect linearization feeds into Proposition 8.3, Proposition 8.4, Corollary 8.6, and hence Theorem 1.6. The theorem may still be true, and the error might be fixable by correcting Lemma 7.2 and re-running the Fredholm analysis, but the current version does not prove it. The paper does have independent structural ideas, and the non-projectibility hypothesis is a clean cohomological condition, but those virtues do not repair the written argument. I therefore recommend rejecting the current version while leaving open the possibility of a corrected proof. The abstract's Oha/Ohb citation issue and the missing countability argument are secondary compared with this failure.","tokens_in":24147,"tokens_out":28953,"duration_ms":302655,"concrete_test":"Run a single identity-point check. Choose a nonconstant function h with ∫ h dµλ = 0, set α = hλ, X = 0, and compute DΦ(λ,id)(α,X) in two ways. Directly: take a path λ_t in C1(M) with λ̇ = hλ; since id is strict for every λ_t, the pairs (λ_t, id) satisfy Φ = 0, so the derivative is 0. Via formula (7.6): with Z = 0 and X = 0 the right-hand side is −(dh)_π, which is zero only if h is constant. The two results must agree, so this single computation settles whether Lemma 7.2 is correct. If the authors intend to work on a slice, the same computation must be redone after the slice and the projection of the path onto the slice are specified; otherwise the cokernel analysis of Prop. 8.4 is unfounded.","verdict_should_be":"REJECT","load_bearing_attack":"The step that converts non-projectibility into one-dimensionality is Proposition 8.4, and it rests on the linearization (7.6) / Lemma 7.2. That linearization is internally contradicted at the identity. Let α = hλ with ∫ h dµλ = 0 and take X = 0. There is a path t ↦ λ_t in C1(M) with λ̇ = hλ; for each t, id is a strict contactomorphism of λ_t, so (λ_t, id) lies in Cont^st_1 and Φ(λ_t, id) = 0. Hence DΦ_{(λ,id)}(hλ, 0) = 0. Formula (7.6), however, with Z = 0 and X = 0 gives −(dh)_π, which is nonzero for nonconstant h. The appendix computes the hλ case by replacing the variation of λ with L_{hRλ}λ, but L_{hRλ}λ = dh, not hλ; the change of the Reeb vector under λ ↦ λ + t hλ is not captured by L_{hRλ}. Since the kernel computation (Prop. 8.3) and the cokernel computation (Prop. 8.4) are both derived from this linearization, the rigidity conclusion of Theorem 1.6 / Corollary 1.7 is not established by the written proof. The issue may be repairable, but the paper also does not explicitly specify the slice for the Diff(M,µλ)-action needed to make Proposition 1.15 a statement about a slice; without a slice, the path (λ + t α, id) makes dΠ surjective at (λ, id), so the claimed cokernel cannot be correct as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves that for a non-projectible contact form λ on a compact contact manifold, the identity component of the strict contactomorphism group Cont^st_0(M,λ) is a countable union of R-orbits generated by the Reeb flow, and hence the quotient Cont^st_0(M,λ)/Reeb(M,λ) is zero-dimensional with countably many points. The proof recasts strict contact pairs as the zero set of a map Φ: Diff_1(M,µ) → Ω^1_{C_1}, proves smoothness of that zero set via a submersion theorem, and then analyzes the projection Π to the space of normalized contact forms by Fredholm methods, claiming kernel R and cokernel {0} under the non-projectibility hypothesis of Definition 1.4. The main theorem and the generic Corollary 1.7 depend on the companion paper [Oha] for the residual genericity of non-projectible contact forms.","tokens_in":24455,"tokens_out":14257,"duration_ms":143681,"significance":"If correct, the result is a striking rigidity theorem: for a generic contact form, strict contactomorphisms are as scarce as possible, with only the obvious Reeb-flow family through every strict contactomorphism. The reduction of strictness to a volume-preservation condition (Lemma 3.4), the use of Floer's C^ε norms for non-elliptic operators, and the Fredholm viewpoint on the projection Π are original and potentially useful techniques. The paper is clearly structured and explicitly identifies its reliance on the companion results [Oha] and [DO]. However, the central linearization formula in §7 is incorrect, and since the kernel and cokernel computations in §8 are built directly on that formula, the main theorem is not established by the written proof.","major_comments":[{"comment":"The formula for B_α(λ) is false. Let α = hλ with ∫ h dµλ = 0 and take the path λ_t = (1+th)λ, or its volume-normalized version in C_1(M). For every t one has id^*λ_t = λ_t, so (λ_t, id) is a strict contact pair and Φ(λ_t, id) = 0 along the path; hence DΦ_{(λ,id)}(hλ, 0) = 0. Formula (7.6), however, gives B_α(λ) + Π(ψ^*α) = -(dh)_π, which is nonzero for nonconstant h. The error lies in Appendix A: the variation of the projection Π is computed as if λ were replaced by L_{hR_λ}λ = dh, but the actual variation of λ is hλ, and the Reeb vector field R_{λ_t} changes in the ξ-direction at first order, so the decomposition (1.11) changes accordingly. Directly, since π_{λ_t}(λ_t) = 0 for all t, differentiating gives δπ(λ) + π(hλ) = 0, and because π(hλ) = 0 this yields δπ(λ) = 0, not -(dh)_π.","section":"§7, Lemma 7.2; Eq. (7.6); Appendix A"},{"comment":"The incorrect linearization (7.6) is the load-bearing step for the rest of the proof. Theorem 7.3 proves the submersion property using (7.6), Proposition 8.3 computes ker dΠ from the same formula, and Proposition 8.4 obtains Coker dΠ = {0} from it. Since (7.6) is contradicted by the identity path (λ_t, id), the kernel and cokernel statements are not justified. In particular, the chain of implications leading to Corollary 8.6 and Theorem 1.6 is invalid as written. A corrected variation formula will change the form of the L^2-adjoint equation, so the authors need to redo the Fredholm analysis in §8 and determine whether the rigidity conclusion survives with the correct linearization.","section":"§7–§8, Theorem 7.3 and Propositions 8.3–8.4"},{"comment":"The cokernel computation is not set up as a quotient by the symmetry. The paper invokes the diagonal action of Diff(M,µ_λ) and passes to the L^2-orthogonal complement of the orbit, but it never constructs a slice for this action or proves that the quotient is a smooth manifold. The path (λ_t, id) lies in the zero set Φ^{-1}(0), so the tangent space to the zero set is not merely the orthogonal complement of an orbit; a genuine slice is needed for dΠ to be an operator on a well-defined quotient. This is a separate gap from the linearization error and affects the precise statement of Proposition 1.15.","section":"§8.2, Proposition 8.4 / Proposition 1.15"}],"minor_comments":[{"comment":"There is a typo 'a a countable' in the abstract; the title also contains an extra space in 'CONT ACTOMORPHISMS'.","section":"Abstract and §1.1"},{"comment":"The definition of C^∞_{(0;λ)}(M) writes ∫_M k dµλ = vol(M), while the preceding sentence and Lemma 5.4 require mean-zero functions; the equality should be ∫_M k dµλ = 0.","section":"§5, Eq. (5.4)"},{"comment":"In the sentence defining the C^ε norm, 'ǫ_k → 0 as k → 0' should read k → ∞, and the norm sum uses both indices i and k inconsistently.","section":"§4.2, Definition 4.1"},{"comment":"The reference [Ohb] is cited with the date 2014 in the text, but the arXiv number 2403.18261 is from 2024; please correct the year and the arXiv identifier formatting.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses an interesting and likely true rigidity phenomenon, but the core linearization in §7 is incorrect and invalidates the kernel/cokernel analysis in §8. I am not recommending rejection because the high-level strategy might be repairable with a corrected Lemma 7.2 and a reworked §8, but the authors must address this error squarely before the paper can be considered for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: good idea, bad linearization. The paper wants to prove that for a residual set of contact forms, strict contactomorphisms reduce to Reeb flows. The reduction of the strict equation to a volume-preserving condition (Lemma 1.13, credited to [DO]) is genuinely useful, and replacing Casals–Spacil's dense-Reeb-orbit hypothesis by the residual non-projectibility condition from [Oha] is the right move. The strategy is coherent. But the proof does not stand as written. The load-bearing step is Prop 8.4, and it leans on Lemma 7.2. Lemma 7.2 is false. Take (λ, id) and α = hλ with ∫h dµλ = 0. The path λ_t = λ + t hλ, renormalized into C1, satisfies Φ(λ_t, id) = 0 for all t, because id is strict for every λ_t. Hence DΦ_{(λ,id)}(hλ,0) = 0. Equation (7.6) with Z = X = 0 returns −(dh)_π, nonzero for nonconstant h. The appendix's computation for hλ replaces the variation of λ by the Lie derivative along hRλ, which is dh, not hλ. That is the error. The correct B_α(λ) is presumably just −α_π; if so, the submersion and cokernel arguments may be repairable. But as it stands, the kernel/cokernel analysis in Section 8 is not established, so Theorem 1.6 and Corollary 1.7 are unsupported by the written proof.\n\nThere are smaller soft spots. Countability of the components and the identification Reeb(M,λ) ≅ R are asserted rather than proved. The Cε Banach-bundle details are sketched. The abstract cites [Ohb] where the body uses [Oha]. Typos abound. None of those matter compared to Lemma 7.2.\n\nTo be clear about what is good: no parameters are fitted, no entities are invented, and the dependence on companion papers is explicit. The paper is not circular. The residual genericity comes from [Oha], so the new contribution here is the rigidity statement and the Fredholm setup for it. That is a real idea, worth a serious referee. I would not accept the current version. The authors need to fix Lemma 7.2 and re-derive Prop 8.4; if the fix is as clean as the rest of the architecture suggests, the theorem is probably right.","headline":"The non-projectibility strategy is promising, but the linearization lemma at the heart of the cokernel proof contradicts the identity path and must be fixed before the main theorem is credible.","tokens_in":25041,"tokens_out":16864,"would_cite":false,"duration_ms":163908,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D10","53D35","37J55"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a generic contact form, the only strict contactomorphisms are Reeb-flow orbits","keywords":["non-projectible contact form","strict contactomorphism","contact form","Reeb flow","contact Hamiltonian dynamics","Fredholm analysis","Floer C-epsilon norm","residual genericity"],"falsifier":"Exhibit one compact non-projectible contact form $\\lambda$ with a strict contactomorphism $\\psi$ isotopic to the identity that is not a time-one Reeb flow; Theorem 1.6 predicts none. Concretely, it suffices to compute the kernel of $(d\\Pi_\\lambda)^\\dagger$ and find a nonzero $R_\\lambda$-invariant function of zero mean, the exact obstruction Proposition 8.4 claims is absent.","tokens_in":23885,"feed_emoji":"🔄","tokens_out":4981,"duration_ms":43609,"temperature":0.7,"pith_summary":"The paper proves a rigidity statement about strict contactomorphisms: diffeomorphisms that preserve a contact form exactly, not just its contact distribution. For any non-projectible contact form, one on which no nonconstant function is constant along Reeb orbits and has zero mean, the strict contactomorphisms isotopic to the identity form a countable disjoint union of copies of the real line, one per connected component, each generated by the Reeb flow. Since non-projectible forms form a residual, hence generic, subset of all contact forms, strict contactomorphisms are scarce for typical contact geometry. The result matters because it says the equation $\\psi^*\\lambda=\\lambda$ has only the obvious one-parameter family of solutions through each strict contactomorphism, turning an overdetermined rigidity problem into a zero-dimensional classification.","feed_headline":"Generic contact forms admit only Reeb-flow symmetries","feed_subtitle":"Strict contactomorphisms of a typical contact form collapse to countable unions of real lines generated by Reeb flows.","key_machinery":"The argument relies on several interlocking parts. The strict-pair equation $\\psi^*\\lambda=\\lambda$ is split into contactness plus volume preservation, so $\\mathrm{Cont}^{\\mathrm{st}}(M,\\lambda)=\\mathrm{Cont}(M,\\lambda)\\cap\\mathrm{Diff}(M,\\mu_\\lambda)$; the map $\\Phi(\\lambda,\\psi)=(\\psi^*\\lambda)_\\pi$ then encodes strictness as a zero set in a bundle over vol-normalized contact forms. Smoothness of this zero set is proved by submersivity of $\\Phi$, and the projection $\\Pi$ to form-space is analyzed using Floer's $C^\\varepsilon$ Banach norms to make the non-elliptic vertical linearization amenable to Fredholm theory. The decisive step is Proposition 8.4: under non-projectibility, the $L^2$-dual of $d\\Pi$ has kernel consisting only of constant multiples of $\\lambda$, so $\\mathrm{Coker}\\,d\\Pi=\\{0\\}$. Non-projectibility is precisely the condition that the only $R_\\lambda$-invariant functions with zero mean are zero.","core_discovery":"The central claim is Theorem 1.6: if $\\lambda$ is non-projectible, the quotient $\\mathrm{Cont}^{\\mathrm{st}}_0(M,\\lambda)/\\mathrm{Reeb}(M,\\lambda)$ is a zero-dimensional manifold with countably many elements, or equivalently $\\mathrm{Cont}^{\\mathrm{st}}_0(M,\\lambda)$ is a countable union of $\\mathbb{R}$-orbits under the left action of the Reeb group $\\mathrm{Reeb}(M,\\lambda)\\cong\\mathbb{R}$. The proof deforms the pair $(\\lambda,\\psi)$ rather than $\\psi$ alone: strict pairs form a smooth submanifold of the space of $\\lambda$-incompressible diffeomorphisms, the projection to the space of vol-normalized contact forms is Fredholm of index one, and non-projectibility kills both kernel and cokernel, leaving exactly the Reeb direction. Combining this with the first author's residual genericity of non-projectible forms yields Corollary 1.7: on a residual set of contact forms, strict contactomorphisms are a countable disjoint union of real lines.","pith_inferences":["The same cokernel-vanishing mechanism could be reused to classify contact forms admitting nontrivial strict automorphisms: projectibility should be measured by the dimension of the strict-automorphism quotient, suggesting a quantitative rigidity spectrum rather than a binary one.","A testable extension is to perturb a projectible form that admits extra $R_\\lambda$-invariant functions and track how many dimensions of strict automorphisms survive; the proof predicts that each independent invariant function contributes exactly one failure direction.","The result suggests that in the $C^\\infty$-generic case the Reeb foliation is too irregular for any nontrivial automorphism to descend to its leaf space, linking the scarcity statement to foliation de Rham cohomology in a way the paper only hints at."],"forward_implications":["For any non-projectible contact form, no nonautonomous strict contact isotopy exists other than the Reeb flows.","Strict contactomorphisms of a generic contact form form a countable disjoint union of real lines, so the strict automorphism group is as rigid as possible.","The standard contact form on $S^{2n+1}$, which has an infinite-dimensional strict automorphism group, is not a regular value of $\\Pi$; a $C^\\infty$-small perturbation destroys almost all non-Reeb strict contactomorphisms.","The theorem replaces the dynamical hypothesis of a dense Reeb orbit, used in earlier work, by a cohomological hypothesis that is generic, thereby extending the rigidity statement from special dynamics to typical contact forms.","The quotient $\\mathrm{Cont}^{\\mathrm{st}}_0(M,\\lambda)/\\mathrm{Reeb}(M,\\lambda)$ is zero-dimensional precisely when the cokernel vanishes, so the size of this quotient measures how far a contact form is from being non-projectible."],"supporting_citations":[{"why":"Introduces non-projectible contact forms, proves they are residual in $\\mathcal{C}(M)$ and $\\mathcal{C}(M,\\xi)$, and supplies the genericity theorem on which Corollary 1.7 depends.","marker":"[Oha]"},{"why":"Supplies the characterization of strict contactomorphisms as $\\lambda$-incompressible contactomorphisms, the key reduction that makes the equation amenable to Fredholm analysis.","marker":"[DO]"},{"why":"Proved a similar rigidity statement under the assumption of a dense Reeb orbit; the present theorem replaces that dynamical hypothesis by cohomological non-projectibility.","marker":"[CS16]"},{"why":"Provides Floer's $C^\\varepsilon$ Banach norms and the perturbation-bundle framework used to make the projection $\\Pi$ Fredholm despite the non-ellipticity of the vertical linearization.","marker":"[Flo88]"},{"why":"Gives the smooth Frechet manifold structure on the volume-preserving diffeomorphism groups $\\mathrm{Diff}(M,\\mu_\\lambda)$ used throughout the construction.","marker":"[EM70]"},{"why":"Supplies the contact Hamiltonian calculus, sign conventions, and decomposition formulas used in the linearization estimates.","marker":"[Oh21]"}],"fun_headline_variants":["Typical contact forms allow only Reeb-flow symmetries","Strict symmetries of generic contact forms are just Reeb flows","Generic contact forms: strict symmetries are countable Reeb lines","For typical forms, strict contactomorphisms are just Reeb lines"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on non-projectibility doing double duty: it kills both the kernel and the cokernel of the projected strict-pair equation, so if a compact contact manifold admits a non-projectible form whose strict-automorphism quotient is not zero-dimensional, the proof's cokernel-vanishing step fails; the argument also inherits the residual-genericity theorem for non-projectible forms from a cited companion paper rather than proving it here.","fun_headline_variants_meta":{"raw":{"variants":["Typical contact forms allow only Reeb-flow symmetries","Strict symmetries of generic contact forms are just Reeb flows","Generic contact forms: strict symmetries are countable Reeb lines","For typical forms, strict contactomorphisms are just Reeb lines"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000624,"raw_usage":{"total_tokens":2851,"prompt_tokens":872,"completion_tokens":1979,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":1907}},"tokens_in":488,"tokens_out":1979,"duration_ms":13433,"temperature":1.0,"reasoning_tokens":1907,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:05:49.573652+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit one compact non-projectible contact form $\\lambda$ with a strict contactomorphism $\\psi$ isotopic to the identity that is not a time-one Reeb flow; Theorem 1.6 predicts none. Concretely, it suffices to compute the kernel of $(d\\Pi_\\lambda)^\\dagger$ and find a nonzero $R_\\lambda$-invariant function of zero mean, the exact obstruction Proposition 8.4 claims is absent.","supporting_citations":[],"review_version":1}