Pith. sign in

REVIEW 3 major objections 4 minor 2 cited by

Strict contactomorphisms are scarce

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For a generic contact form, the only strict contactomorphisms are Reeb-flow orbits

desk verdict 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. read the letter →

arxiv 2504.16458 v2 pith:AQVOZLTQ submitted 2025-04-23 math.SG

Yong-Geun Oh , Yasha Savelyev This is my paper · ORCID
classification math.SG MSC 53D1053D3537J55
keywords non-projectiblecontactformstrictcontactomorphismReebflowHamiltoniandynamicsFredholmanalysisFloerC-epsilonnormresidualgenericity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [§7, Lemma 7.2; Eq. (7.6); Appendix A] 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)_π.
  2. [§7–§8, Theorem 7.3 and Propositions 8.3–8.4] 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.
  3. [§8.2, Proposition 8.4 / Proposition 1.15] 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.
minor comments (4)
  1. [Abstract and §1.1] There is a typo 'a a countable' in the abstract; the title also contains an extra space in 'CONT ACTOMORPHISMS'.
  2. [§5, Eq. (5.4)] 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.
  3. [§4.2, Definition 4.1] 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.
  4. [References] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the scarcity theorem is conditional on a nontrivial nondegeneracy hypothesis and is established by independent global analysis, not by restating the hypothesis.

full rationale

The derivation is not circular. Definition 1.4 postulates that every zero-mean Rλ-invariant function is zero; this is an input nondegeneracy condition, not the theorem's conclusion. The conclusion in Theorem 1.6/Corollary 8.6 is a global statement about the entire set of strict contactomorphisms modulo Reeb flows, and the proof obtains it by proving smoothness of the strict-pair moduli space (Theorem 7.3), computing the kernel of dΠ (Prop. 8.3), and proving cokernel vanishing (Prop. 8.4). In those computations the defining nondegeneracy is applied exactly once, to kill invariant functions that would otherwise survive, but the output is not identical to the input by construction. Lemma 1.13 from [DO] is restated and proved in the text (Lemma 3.4), and Theorem 1.5 from [Oha] is a separate residual-genericity input used only to pass from the conditional theorem to a generic statement; it is parameter-free and does not assume the target scarcity result. The skeptical objection to Lemma 7.2/equation (7.6) is a correctness challenge to the linearization, not a circularity claim, so it does not affect the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The ledger is clean on fitted parameters and invented entities: no numbers are fitted and no new objects are postulated. The load-bearing axioms are the non-projectibility notion and its residuality from [Oha], plus standard analytic tools such as Ebin-Marsden, Hodge theory, and Floer norms. These are external inputs, not circular dependencies, but they make the paper only partially self-contained.

assumptions (6)
  • domain assumption Non-projectibility of λ: only the zero function is both mean-zero and constant along Reeb orbits (Definition 1.4).
    This is the central hypothesis of Theorems 1.6 and 8.2. It is used in Propositions 8.3 and 8.4 to force the kernel of dΠ to be exactly the Reeb direction and the cokernel to vanish.
  • domain assumption Residual genericity of non-projectible forms: non-projectible contact forms form a residual subset of C(M) and of C(M,ξ) (Theorem 1.5 of [Oha]).
    This external theorem from the companion paper [Oha] is needed for Corollary 1.7, the residual genericity statement in the title. It is cited but not proved here.
  • standard math Smooth Frechet structure of Diff(M,μλ) from Ebin-Marsden [EM70], and local contractibility of Cont(M,λ) from [Lyc77], [Tsu08], and [Ohb].
    Used in Sections 6 and 7 to set up the domain of Φ and to justify that the strict contact pair space is a smooth Frechet submanifold.
  • standard math Hodge decomposition for one-forms on a closed Riemannian manifold.
    Used in Lemma 7.4 and Proposition 8.4 to conclude that a one-form that is both harmonic and exact must vanish, which drives the cokernel computation.
  • standard math Floer's Cε weighted norms define Banach spaces and make first-order operators bounded (Proposition 4.2 and Lemma 4.3).
    This off-shell framework, following [Flo88] and [Wen23], is the analytic foundation for applying Fredholm analysis to the non-elliptic operator DΦ.
  • standard math Existence of an almost CR structure J on ξ compatible with dλ and the associated triad metric.
    Used throughout the proof for L2 pairings, divergence, the Hodge decomposition, and the metric computations. This is standard for any coorientable contact structure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strict contactomorphisms are scarce." pith.science (2026). https://pith.science/paper/AQVOZLTQ

@misc{pith2026250416458,
  author       = {Pith},
  title        = {Pith review of: Strict contactomorphisms are scarce},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AQVOZLTQ}},
  note         = {Machine review of arXiv:2504.16458}
}
abstract

The notion of non-projectible contact forms on a given compact manifold $M$ is introduced by the first-named author in [Ohb], the set of which he also shows is a residual subset of the set of (coorientable) contact forms, both in the case with a fixed contact structure and in the case without it. In this paper, we prove that for any non-projectible contact form $\lambda$ the set, denoted by $\text{\rm Cont}^{\text{\rm st}}(M,\lambda)$, consisting of strict contactomorphisms of $\lambda$ is a a countable disjoint union of real lines $\mathbb R$, one for each connected component.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Quantitative contact Hamiltonian dynamics

    math.SG 2025-07 conditional novelty 7.0 of 10

    Contact spectral invariants are constructed from contact Hamiltonian Floer homology and used to prove rigidity theorems for contact manifolds.

  2. Leafwise de Rham cohomology of generic Reeb foliations

    math.SG 2025-04 reject novelty 6.0 of 10

    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.

Reference graph

Works this paper leans on

22 extracted references · 12 canonical work pages · cited by 2 Pith papers

  1. [1]

    Roger Casals and Oldrich Sp\'acil, Chern- Weil theory and the group of strict contactomorphisms , J. Topol. Anal. 8 (2016), no. 1, 59--87

    2016

  2. [2]

    P. A. M. Dirac, The principles of quantum mechanics, International Series of Monographs on Physics, Oxford University Press, 1958, 4th edition, xii + 314 pp

    work page 1958

  3. [3]

    Manuel de Le\'on and Manuel Lainz Valc\'azar, Contact H amiltonian systems , J. Math. Phys. 60 (2019), no. 10, 102902, 18 pp

    2019

  4. [4]

    Oh, Thermodynamic reduction of contact dynamics, 2024, arXiv:2412.19319

    Hyun-Seok Do and Y.-G. Oh, Thermodynamic reduction of contact dynamics, 2024, arXiv:2412.19319

    arXiv 2024

  5. [5]

    Ebin and Jerrold Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid, Ann

    David G. Ebin and Jerrold Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid, Ann. of Math. (2) 92 (1970), 102--163

    work page 1970

  6. [6]

    Epstein, Commutators of c^ -diffeomorphisms

    D.B.A. Epstein, Commutators of c^ -diffeomorphisms. A ppendix to: `` a curious remark concerning the geometric transfer map'' by J ohn N . M ather, [ C omment. M ath. H elv. 59 (1984), no. 1, 86--110.] , Comment. Math. Helv. 59 (1984), no. 1, 111--122

    work page 1984

  7. [7]

    Pure Appl

    Andreas Floer, The unregularized gradient flow of the symplectic action, Comm. Pure Appl. Math. 41 (1988), no. 6, 775--813

    1988

  8. [8]

    Freed and K

    D. Freed and K. Uhlenbeck, Instantons and F our- M anifolds , MSRI Publ., vol. 1, Srpringer-Verlag, New York, 1984

    work page 1984

Show all 22 references
  1. [9]

    Oh, Alfonso Tortorella, and Luca Vitagliano, Deformations of coisotropic submanifolds in J acobi manifolds , J

    Hong Van Le, Y.-G. Oh, Alfonso Tortorella, and Luca Vitagliano, Deformations of coisotropic submanifolds in J acobi manifolds , J. Symplectic Geom. 16 (2018), no. 4, 1051--1116

    2018

  2. [10]

    V. V. Lychagin, Sufficient orbits of a group of contact diffeomorphisms, Mat. USSR-Sb. (N.S.) 33 (1977), no. 2, 223--242

    1977

  3. [11]

    Mather, Commutators of diffeomorphisms, Comment

    John N. Mather, Commutators of diffeomorphisms, Comment. Math. Helv. 49 (1974), 512--528

    1974

  4. [12]

    II , Comment

    , Commutators of diffeomorphisms. II , Comment. Math. Helv. 50 (1975), 33--40

    1975

  5. [13]

    Oh, Foliation de R ham cohomology of generic R eeb foliations , preprint 2025, arXiv:2504.16453(v2)

    Y.-G. Oh, Foliation de R ham cohomology of generic R eeb foliations , preprint 2025, arXiv:2504.16453(v2)

    2025 arXiv

  6. [14]

    , Simplicity of contactomorphism group of finite regularty, preprint 2014, arXiv:2403.18261

    2014 arXiv

  7. [15]

    , Fredholm theory of holomorphic discs under the perturbation of boundary conditions, Math. Z. 222 (1996), no. 3, 505--520

    1996

  8. [16]

    , Contact H amiltonian dynamics and perturbed contact instantons with L egendrian boundary condition , preprint, arXiv:2103.15390(v2), 2021

    2021 arXiv

  9. [17]

    Oh and Jae-Suk Park, Deformations of coisotropic submanifolds and strong homotopy L ie algebroids , Invent

    Y.-G. Oh and Jae-Suk Park, Deformations of coisotropic submanifolds and strong homotopy L ie algebroids , Invent. Math. 161 (2005), no. 2, 287--360. 2180451 (2006g:53152)

    2005

  10. [18]

    Oh and R

    Y.-G. Oh and R. Wang, Canonical connection on contact manifolds, Real and Complex Submanifolds, Springer Proceedings in Mathematics & Statistics, vol. 106, 2014, (arXiv:1212.4817 in its full version), pp. 43--63

    2014 arXiv

  11. [19]

    , Analysis of contact C auchy- R iemann maps I : A priori C^k estimates and asymptotic convergence , Osaka J. Math. 55 (2018), no. 4, 647--679

    2018

  12. [20]

    Tsuboi, on the simplicity of the group of contactomorphisms, Adv

    T. Tsuboi, on the simplicity of the group of contactomorphisms, Adv. Stud. Pure Math., vol. 52, pp. 491--504, Mathematical Society of Japan, Tokyo, 2008

    2008

  13. [21]

    Chris Wendl, Lectures on S ymplectic F ield T heory , unpublished book manuscript, 2016

    2016

  14. [22]

    , Transversality and super-rigidity for multiply covered holomorphic curves, Ann. of Math. (2) 198 (2023), no. 1, 93--230

    2023

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.