Pith. sign in

REVIEW 5 major objections 4 minor 22 references

Generic jet evaluation transversality of contact instantons against contact distribution

T0 review · 5 major / 4 minor · reviewed 2026-08-10 · 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 derivative of the evaluation map on the moduli space of contact instantons is transverse to the contact distribution, making the Ξ-tangency moduli space a smooth manifold of the expected dimension.

desk verdict The 1-jet evaluation transversality theorem is not proved in this draft: the proof of Theorem 7.3 drops the λ-component of the jet and solves only a 0-jet problem. read the letter →

arxiv 2501.04722 v1 pith:77OF6LFA submitted 2025-01-03 math.SG

Yomg-Geun Oh This is my paper · ORCID
classification math.SG MSC 53D4258B15
keywords contactinstantonsevaluationtransversality1-jetdistributiontriadmodulispaceWeinsteinconjectureFredholmtheory
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

This paper proves a transversality result for moduli spaces of contact instantons, the analogues of pseudoholomorphic curves in contact geometry. The central assertion is that for a generic choice of the contact form (equivalently, of the adapted almost complex structure), the derivative of the evaluation map at an interior marked point is transverse to the contact distribution. In concrete terms, the paper establishes a 1-jet evaluation transversality theorem: the map $D(\mathrm{ev}_+)$ from the tangent space of the universal moduli space to the bundle $\Lambda^1((\cdot)^*\Xi)$ is transverse to the subbundle $\Lambda^1(w^*\Xi)$. The payoff is Corollary 1.4, which states that the moduli space cut out by the tangency condition $\lambda(dw(z_+))(\partial/\partial t)=0$ is a smooth manifold of the same dimension as the underlying instanton moduli space. That smoothness is the ingredient needed in the author's proof of Weinstein's conjecture.

What carries the argument

The argument is carried by an augmented off-shell section $\aleph_1(J,(j,w),z)=\bigl(\Upsilon(J,(j,w)),\,(\bar\partial^{\pi}_{(j,J)}w)(z),\,w^*\lambda(z)\bigr)$ of the bundle $H^{\pi(0,1)}\times\Lambda^1((\cdot)^*\Xi)$ over the universal marked moduli space; transversality of $\aleph_1$ to the zero section and to $\Lambda^1((\cdot)^*\Xi)$ is what the theorem asserts. The proof uses the explicit linearized operator $D\Upsilon(w)$ from Theorem 3.7 (derived in [Oh23]), whose principal symbol is that of the Cauchy–Riemann operator on $\Xi$ direct-summed with the Hodge Laplacian on functions. The cokernel argument runs by Hahn–Banach: a hypothetical element $(\eta,f),X_p$ in the annihilator satisfies the distributional equation $(D\Upsilon)^\dagger(\eta,f)=\delta_{z_0}X_p$; following the scheme of [OZ09] and [Oh11], perturbations of $J$ force $\eta$ to vanish away from the marked point, and the point-support structure theorem ([GS68], [Rud73]) reduces $\eta$ to a constant multiple of $\delta_{z_0}$. Elliptic regularity then upgrades $(\eta,f)$ to a smooth solution, and surjectivity of point evaluation forces $X_p=0$.

What would settle it

Take a multiply covered contact instanton, for instance a two-to-one cover of a simple instanton, and evaluate the linearized map $D(\mathrm{ev}_+)$ at a marked point where the tangency condition $\lambda(dw)(\partial/\partial t)=0$ holds; if the Fredholm alternative then admits a nonzero solution $(\eta,f),X_p$ of $(D\Upsilon)^\dagger(\eta,f)=\delta_{z_0}X_p$, the transversality claim fails at that point, showing the theorem as stated needs the somewhere-injectivity hypothesis.

Watch

Extended reading notes

Core claim

The paper's central claim is that the derivative of the evaluation map $\mathrm{ev}_+(w,z_+)=w(z_+)$ is transverse to the contact distribution $\Xi\subset TM$. Theorem 7.3 (stated as Theorem 1.3) asserts that $D(\mathrm{ev}_+): T\widetilde{\mathcal{M}}_{(0,1)}(\dot\Sigma,M)\to \Lambda^1((\cdot)^*\Xi)$ is transverse to $\Lambda^1(w^*\Xi)$ at every point of the universal moduli space, with fiberwise linearization $(L,(b,Y),v)\mapsto \nabla_{dw(z_+)}(v)Y+\nabla_v dw$. By Lemma 1.1, transversality to $\Xi$ is equivalent to the statement that the function $(x,v)\mapsto \lambda_x(d\phi(v))$ has $0$ as a regular value. The principal consequence, Corollary 1.4, is that for a generic $J$ the moduli space of contact instantons satisfying the $\Xi$-tangency condition $\lambda(dw(z_+))(\partial/\partial t)=0$ is a smooth manifold whose dimension is that of the ambient instanton moduli space. This is the space used in the companion proof of Weinstein's conjecture.

Load-bearing premise

The load-bearing premise is that every contact instanton in the moduli space is somewhere injective — that is, has at least one point where it maps with multiplicity one — a hypothesis used in Section 8.3 to make the cokernel element vanish and not stated in the theorems, so the proof does not cover multiply covered instantons.

Editorial extensions

If this is right

  • For a generic almost complex structure $J$, the $\Xi$-tangency moduli space $\widetilde{\mathcal M}^{\Xi}_{(0,1)}(\dot\Sigma,M;J)=(D_t(\mathrm{ev}_+))^{-1}(\Xi)$ is a smooth manifold of dimension equal to that of $\mathcal M_{[0,K_0]}(\dot\Sigma,M;J)$ (Corollary 1.4).
  • The 0-jet evaluation maps $\mathrm{Ev}_+$ and $\mathrm{Ev}_\partial$ are submersions for generic contact forms, covering both interior and boundary marked points (Theorem 5.1).
  • The same off-shell scheme yields that for generic $J$, all contact instantons are immersed whenever $c_1(\beta)+(3-n)(g-1)<n-1$ (Theorem 8.4).
  • The transversality statement provides the smooth moduli space needed in the proof of Weinstein's conjecture carried out in the companion paper [Ohb].
  • Following the pattern of [Oh11] and [Wen23], higher jet evaluation transversality can be established by the same methods, extending the result beyond first jets.

Reading between the lines

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

  • If the somewhere-injectivity hypothesis can be removed, the same proof would show that the $\Xi$-tangency moduli space is smooth even in the presence of multiply covered instantons, which would simplify the analytic setup for contact invariants that count tangency-constrained instantons.
  • Lemma 1.1 recasts the 1-jet condition as a scalar regularity statement, suggesting a computational check on explicit three-dimensional contact manifolds: verify that the zero locus of $\lambda(dw)(\partial_t)$ is cut out transversely for a finite sample of instanton-like maps.
  • The same off-shell section, applied to the Hamiltonian-perturbed contact instanton equation mentioned in the introduction, would yield a parametrized 1-jet transversality statement, potentially supporting equivariant or family versions of contact Gromov–Witten-type counts.
  • Because the proof already handles boundary evaluations for the 0-jet case, a boundary 1-jet version would give transversality for tangencies of Legendrian boundary chords, the natural next step for Arnold's chord conjecture in the same companion program.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 4 minor

Summary. The paper claims generic 1-jet evaluation transversality for contact instantons: for a generic choice of (apparently) the contact form or almost complex structure, the derivative of the marked evaluation map is transverse to the contact distribution Ξ. This is formulated as Theorem 1.3 and Theorem 7.3, with Corollary 1.4 asserting smoothness of the Ξ-tangency moduli space used in the author's program on Weinstein's conjecture. The proof strategy is the standard universal-moduli-space method: linearize a section ℵ1, derive an adjoint/annihilator equation, and use elliptic regularity plus a distribution-with-point-support lemma to show the annihilator is trivial.

Significance. If the 1-jet transversality statement were established, it would provide a useful tool in contact instanton theory and support the author's announced applications to Weinstein's and chord conjectures. The paper has the merit of formulating precisely the moduli space with Ξ-tangency condition and of recognizing that the 1-jet problem requires a different functional-analytic set-up than the 0-jet problem. However, the proof as written does not establish the stated theorem: the central linearization step omits the derivative of the λ-component of the jet, and the proof invokes a somewhere-injectivity hypothesis absent from the theorems. The result is therefore conditional on substantial additional work.

major comments (5)
  1. [§8.2–8.3, especially Eq. (8.9)] The linearization of ℵ1 displayed in (8.9) is incomplete for the claimed conclusion. In (8.5), ℵ1 has three components: Υ(J,(j,w)), (∂π_{(j,J)}w)(z), and w*λ(z). The derivative displayed in (8.9) contains only the first two, with the evaluation of ∂πw, and no term for the variation of w*λ(z) appears. Consequently the annihilator equation (8.10) is identical in form to the 0-jet annihilator of Section 6, and the final step proving X_p=0 via surjectivity of Y↦Y(z0) is a 0-jet statement. This does not establish transversality of the 1-jet evaluation map against Λ^1(w*Ξ), so Theorem 7.3 and Proposition 8.1 are not proven as stated.
  2. [§8.3, somewhere injectivity] The proof of η=0 on Σ∖{z0} relies on the sentence: "Such a somewhere injective point exists by the hypothesis of w being somewhere injective and the fact that the set of somewhere injective points is open and dense in the domain under the given hypothesis." However, Theorems 1.3 and 7.3 and Corollary 1.4 are stated for all contact instantons in the moduli space, without a somewhere-injectivity hypothesis. For multiply covered instantons, the annihilator argument does not go through. The author must either prove the statement without this hypothesis, add and justify a somewhere-injectivity hypothesis, or explain why the transversality statement for the relevant moduli space can be reduced to the somewhere-injective case.
  3. [§7 and Corollary 1.4] By Lemma 7.1, the desired 1-jet transversality is equivalent to the statement that (w,z+)↦w*λ(z+) has 0 as a regular value. The proof in Section 8 never analyzes the derivative of this functional. Equations (8.15)–(8.16) solve only for ζ0∈Λ^1(w*Ξ), and the evaluation surjectivity in (8.14) concerns Y(z0), i.e., the 0-jet. In particular, Corollary 1.4, which requires surjectivity of the derivative of λ(dw(∂/∂t)), is not supported by the argument given.
  4. [Abstract vs. body] The abstract states that the results hold for a generic choice of the contact form λ, while the body's only explicit generic statement is Corollary 1.4 for a generic choice of J, and the universal moduli space in Section 7 is parametrized by J∈Jλ. The paper does not explain whether λ-genericity is meant, whether J-genericity is the intended statement, or how one follows from the other. This discrepancy should be resolved because the parameter being perturbed affects the meaning of the theorem and the proof.
  5. [§8.3 and §9, deferred proof] Lemma 8.2, which is the core of the annihilation argument, is proved in Section 9 only after the proof of Proposition 8.1 has already used it. More importantly, the proof of Lemma 9.2 explicitly restricts to the ∂π-component and drops the λ-component; it shows ⟨D∂πJ(Y),η⟩=⟨∂Yπ,η⟩, but it does not analyze the adjoint of the variation of w*λ. Thus even the postponed lemma does not supply the missing 1-jet linearization.
minor comments (4)
  1. [Throughout] There are numerous typographical errors and awkward phrases that impede reading: "Reed orbit" for "Reeb orbit", "conejcture" for "conjecture", "proceedigns" for "proceedings", unbalanced parentheses in (3.20), and inconsistent numbering such as references to "Theorem 3.8" in Section 8.3 where the intended statement appears to be Theorem 7.3. A thorough proofreading pass is needed.
  2. [§1, Eq. (1.1)] The displayed definition of D(J,(j,w),z)(ev+) is hard to parse; the notation "T(J,(j,w),z)(B,(a,X),v)" appears to mix a tangent vector in the J direction with other variables, and the formula as written is not self-explanatory. Please clarify the variables and the meaning of each term.
  3. [§3, Eq. (3.20)] The decomposition of a cotangent vector η written as "η=ηπ+η(Rλ(π(η))λ(π(η))" is missing parentheses and a clear definition of the projection π used here; this should be corrected for the symbol computation to be readable.
  4. [§6, proof of Proposition 6.2] The paragraph that claims to bypass somewhere injectivity using the multiplicity of the asymptotic Reeb chord is very compressed and appears to require a separate argument; as written, it is not convincing and should be expanded or referenced precisely.

Circularity Check

1 steps flagged · score 6.0 of 10

The '1-jet' proof of Theorem 7.3 linearizes only the 0-jet part; annihilator (8.10) is identical to the 0-jet annihilator (6.6), so the claimed Ξ-transversality reduces to the already-known 0-jet evaluation theorem.

  1. renaming known result [Section 8.2 (Eq. 8.5, 8.9) and Section 8.3 (Eq. 8.10, 8.14)]
    "ℵ1(J,(j,w),z)=(Υ(J,(j,w)),(∂π_{(j,J)}w)(z),w∗λ(z)) (8.5) ... (L,(b,Y),v) ↦ (D_{J,(j,w)}Υ(L,(b,Y)), D_{J,(j,w)}∂π(L,(b,Y))(z)+∇_v(∂π_{(j,J)}w)(z)) (8.9) ... Once we know (η,ω)=0, the equation (8.10) is reduced to the finite dimensional equation (Y(z0),X_p)_{z0}=0 ... we have only to show that the image of the evaluation map Y↦Y(z0) is surjective onto T_pM, which is now obvious."

    Lemma 7.1 says the claimed Ξ-transversality is equivalent to the λ-component λ(dw(z)) having 0 as a regular value, so the section ℵ1 is defined with the third component w*λ(z) in (8.5). But the displayed linearization (8.9) contains only DΥ and the point evaluation of D∂πw; no derivative of w*λ(z) appears. The annihilator (8.10) is exactly the 0-jet annihilator (6.6), and the proof concludes with the 0-jet statement that Y↦Y(z0) is surjective onto T_pM. Thus the Reeb/1-jet component is never analyzed; the only result actually proved is the 0-jet evaluation transversality from Section 6/[Oha]. The 1-jet transversality claim is therefore not derived from any new 1-jet linearization; it is the 0-jet theorem carrying the 1-jet label.

full rationale

Score 6 rather than 0 because the central derivation of Theorem 7.3 collapses, in the paper's own equations, into the 0-jet evaluation surjectivity. The annihilator (8.10) is identical to the 0-jet annihilator (6.6), and the proof's final step is exactly the point-evaluation surjectivity of the 0-jet theorem; the extra component w*λ(z) from (8.5) and Lemma 7.1 is absent from the linearization (8.9). Hence the claimed 1-jet transversality against Ξ is partially circular: the smoothness of M^Ξ is not an independent 1-jet prediction but a repackaging of the 0-jet input. The paper's heavy reliance on the author's own [Oh23], [Oha], [OY24], [OW18a] for the Fredholm theory and the 0-jet theorem reinforces this, though ordinary foundational self-citation is not counted separately. There is also a stated hypothesis gap—Section 8.3 invokes somewhere injectivity not assumed in Theorem 7.3—which is a correctness issue rather than a circular step. No fitted parameters or imported uniqueness theorems are involved.

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

The central claim rests on a chain of results from the author's own preprints ([Oh23], [Oha], [OY24], [OW18a]) for Fredholm theory, linearization, exponential estimates, and 0-jet transversality. These are not independently verified here. The proof also introduces the somewhere-injectivity assumption without stating it in the theorems, and the λ-to-J reduction is asserted without derivation.

assumptions (7)
  • domain assumption Linearized operator formula and Fredholm theory for contact instantons (Theorem 3.7, Proposition 4.4)
    Imported from [Oh23] and [Oha]; the paper relies on these for the off-shell Banach manifold setup and for the Fredholm properties of DΥ(w). See Sections 3 and 4.
  • domain assumption Generic nondegeneracy of Reeb orbits and chords (Theorem 2.5)
    Imported from [Oha]; used to guarantee exponential convergence and nondegenerate asymptotics for the Fredholm theory. See Section 2.
  • domain assumption 0-jet evaluation transversality (Theorem 3.8 / Theorem 5.1)
    Imported from [Oha]; the 1-jet proof extends the 0-jet scheme and uses its conclusion. See Section 3.2 and Section 5.
  • domain assumption Unique continuation for contact Cauchy-Riemann maps (Proposition 4.8)
    Imported from [Oh23, Proposition 12.3]; used to propagate the vanishing of η from a small neighborhood to all of Σ\{z0} in the annihilator argument. See Section 8.3.
  • ad hoc to paper Somewhere injectivity of the contact instanton w
    Assumed in the proof at Section 8.3 to guarantee existence of a somewhere injective point; not stated as a hypothesis in Theorem 1.3 or 7.3.
  • domain assumption Perturbation of the contact form λ is largely subsumed by perturbation of J
    Stated in Section 1 without proof; used to reconcile the abstract's generic-λ claim with the body's generic-J proof.
  • standard math Distribution with point support structure theorem (Lemma 3.9)
    Rudin/Gelfand-Shilov, used in Lemma 9.2 to identify η as a delta function at z0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generic jet evaluation transversality of contact instantons against contact distribution." pith.science (2026). https://pith.science/paper/77OF6LFA

@misc{pith2026250104722,
  author       = {Pith},
  title        = {Pith review of: Generic jet evaluation transversality of contact instantons against contact distribution},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/77OF6LFA}},
  note         = {Machine review of arXiv:2501.04722}
}
abstract

For a given coorientable contact manifold $(M,\Xi)$ with contact distribution $\Xi$, we consider its contact forms $\lambda$ with $\ker \lambda = \Xi$, and the associated contact triads $(M,\lambda, J)$. For a generic choice of contact form $\lambda$, we prove the (0-jet) the interior and boundary evaluation maps, and the 1-jet transversality of contact instantons (against contact distribution, for example).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 17 canonical work pages

  1. [1]

    Gelfand and G.E

    I.M. Gelfand and G.E. Shilov, Generalized F unctions, vol.2 , Academic Press, New York, 1968

    work page 1968

  2. [2]

    Oh, A compactification of the space of maps from curves, Trans

    Bumsig Kim, Andrew Kresch, and Y.-G. Oh, A compactification of the space of maps from curves, Trans. Amer. Math. Soc. 366 (2014), no. 1, 51--74

    work page 2014

  3. [3]

    Kontsevich and Yu

    M. Kontsevich and Yu. Manin, Gromov- W itten classes, quantum cohomology, and enumerative geometry , AMS/IP Stud. Adv. Math., vol. 1, pp. 607--653, American Mathematical Society, Providence, RI, 1997

    work page 1997

  4. [4]

    Lockhart and R

    R. Lockhart and R. McOwen, Elliptic differential operators on noncompact manifolds, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 12 (1985), no. 3, 409--447

    work page 1985

  5. [5]

    52, American Mathematical Society, Providence, RI, 2004

    Dusa McDuff and Dietmar Salamon, J -holomorphic curves and symplectic topology , American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI, 2004

    2004

  6. [6]

    Y.-G. Oh, Bordered contact instantons and their F redholm theory and generic transversalities , to appear in the proceedigns of Bumsig Kim's Memorial Conference, October 2021, KIAS, arXiv:2209.03548(v2)

    arXiv 2021

  7. [7]

    , Contact instantons, proofs of W einstein's conejcture and A rnold's chord conjecture , preprint, arXiv:2412.20731

    work page arXiv

  8. [8]

    , Geometric analysis of perturbed contact instantons with L egendrian boundary conditions , preprint, arXiv:2205.12351

    arXiv

Show all 22 references
  1. [9]

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

    1996

  2. [10]

    Korean Math

    , Higher jet evaluation transversality of J -holomorphic curves , J. Korean Math. Soc. 48 (2011), no. 2, 341--365

    2011

  3. [11]

    , Symplectic T opology and F loer H omology. vol. 1. , New Mathematical Monographs, 28., Cambridge University Press, Cambridge., 2015

    2015

  4. [12]

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

    2021 arXiv

  5. [13]

    , Geometry and analysis of contact instantons and entangement of L egendrian links I , preprint, arXiv:2111.02597, 2021

    2021 arXiv

  6. [14]

    , Analysis of contact C auchy- R iemann maps III : energy, bubbling and F redholm theory , Bulletin of Math. Sci. 13 (2023), no. 1, Paper No. 2250011, 61 pp

    2023

  7. [15]

    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

  8. [16]

    , 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

  9. [17]

    , Analysis of contact C auchy- R iemann maps II : Canonical neighborhoods and exponential convergence for the M orse- B ott case , Nagoya Math. J. 231 (2018), 128--223

    2018

  10. [18]

    Oh and Seung Ook Yu, Contact instantons with L egendrian boundary condition: a priori estimates, asymptotic convergence and index formula , Internat

    Y.-G. Oh and Seung Ook Yu, Contact instantons with L egendrian boundary condition: a priori estimates, asymptotic convergence and index formula , Internat. J. Math. 35 (2024), no. 7, Paper No. 2450019, 60 pp

    2024

  11. [19]

    Oh and Ke Zhu, Embedding property of J -holomorphic curves in C alabi- Y au manifolds for generic J , Asian J

    Y.-G. Oh and Ke Zhu, Embedding property of J -holomorphic curves in C alabi- Y au manifolds for generic J , Asian J. Math. 13 (2009), no. 3, 323--340

    2009

  12. [20]

    Rudin, Functional analysis, McGraw-Hill Book Co., New York, 1973

    W. Rudin, Functional analysis, McGraw-Hill Book Co., New York, 1973

    1973

  13. [21]

    J. C. Sikorav, Some properties of holomorphic curves in almost complex manifolds, Chapter V of Holomorphic Curves in Symplectic Geometry, ed., Audin, M. and Lafontaine, J., Birkh\"auser, Basel

  14. [22]

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

    2023

Pith tools

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