{"id":"d2815c03-a955-4af9-983b-8900afd042c7","arxiv_id":"2501.04722","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a generic almost complex structure adapted to a contact form, the moduli space of contact instantons with a tangency to the contact distribution is smooth with the expected dimension.","lead":"This paper proves a generic smoothness result for contact instantons: for generic choices of the geometric structure, the space of solutions whose tangent vector touches the contact distribution has the expected dimension, both at interior and boundary points. The result is a technical building block for the author's proposed proof of Weinstein's conjecture on the existence of closed Reeb orbits.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 7.3 never linearizes the λ-component w*λ(z) of the 1-jet evaluation; the annihilator (8.10) and the surjectivity of Y↦Y(z0) are 0-jet arguments, so the claimed 1-jet transversality against Ξ is unproved.","rationale":"The reader's verdict correctly flags that Section 8.3 invokes a somewhere-injectivity hypothesis that is neither stated in Theorem 7.3 nor proved for the moduli spaces in Corollary 1.4. That is a genuine gap. However, a more basic and load-bearing problem precedes it: the proof does not actually treat the 1-jet evaluation map whose transversality is the theorem's content. The map ℵ1 in (8.5) has three components—Υ, the Ξ-valued (1,0)-jet at z, and the scalar λ-component w*λ(z)—but the linearization (8.9) and the subsequent annihilator analysis (8.10)–(8.14) concern only Υ and the 0-jet evaluation Y(z0). The conclusion of that analysis is that Y(z0) can be varied surjectively over T_pM, which is a 0-jet statement. For the 1-jet transversality against Ξ, what must be shown is that λ(dw(z0)) can be varied surjectively over Λ^1_{z0}(Σ); this requires differentiating w*λ(z0), which introduces first derivatives of the variation Y and a term involving ∇_v dw. Those terms are absent from the annihilator equation, so the argument in Sections 8.3 and 9 does not establish Theorem 7.3 even under the extra somewhere-injectivity assumption. The issue is not a missing hypothesis but a missing calculation: the linearization of the actual obstruction map is never written down. Because the central theorem is the basis for Corollary 1.4 and the Weinstein-conjecture application, the manuscript as it stands does not support its main claim. I therefore recommend UNVERDICTED rather than CONDITIONAL: the gap is substantive and cannot be assessed as a minor fix without seeing the correct 1-jet linearization and its surjectivity proof.","tokens_in":25335,"tokens_out":20391,"duration_ms":192031,"concrete_test":"Independently compute the full linearization of ℵ1 from (8.5) at a contact instanton (w,z0) satisfying the contact instanton equations, including the term arising from w*λ(z0). In coordinates, this term has the form (∇_v λ(dw))(z0) + λ(∇_w Ddw)(z0) plus the L-dependence through the equation, where Ddw is a first-order operator in the variation Y. Then write the annihilator equation for Proposition 8.1 with this term present and check whether it reduces to (8.10). If the resulting equation contains a first-order distributional term (e.g., ⟨∂Y, δ_{z0}⟩) that is not controlled by the Section 9 argument, Theorem 7.3 is unproved.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"Theorem 7.3 claims transversality of the first jet of a contact instanton against the contact distribution Ξ. By Lemma 7.1, this is equivalent to the λ-component λ(dw(z+)) having 0 as a regular value, i.e., to the map (w,z+) ↦ w*λ(z+) being a submersion onto Λ^1_{z+}(Σ). The proof in Section 8 does not analyze this map. The map ℵ1 is defined in (8.5) as (Υ, (∂π_{(j,J)}w)(z), w*λ(z)), but its linearization, displayed in (8.9), is only (DΥ, D(∂πw)(z) + ∇_v∂πw(z)); the derivative of the third component w*λ(z) is missing. Correspondingly, the annihilator equation (8.10) is exactly the 0-jet annihilator from Section 6: it contains the pairing ⟨Y, δ_{z0}X_p⟩ with X_p ∈ T_pM, and the proof concludes by showing that the 0-jet evaluation Y↦Y(z0) is surjective onto T_pM. Surjectivity of the 0-jet evaluation has no bearing on whether the λ-component of the first jet can be varied surjectively. Even granting the somewhere-injectivity hypothesis invoked at the end of Section 8.3—a hypothesis absent from Theorem 7.3—the argument would at best prove a 0-jet transversality statement. A correct proof must include the linearization of w*λ(z), whose annihilator is a first-order distribution supported at z0, and must show the augmented operator is surjective onto Λ^1_z(Σ) (or onto the ∂/∂t direction for Corollary 1.4). None of these steps appear in Sections 8–9; Lemma 8.2 solves the 0-jet adjoint problem, not the 1-jet problem. The system (8.15)–(8.16) also treats only D∂π and its evaluation, omitting λ(dw(z0)). Thus the central claim is not proved by the text.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":25752,"tokens_out":5428,"duration_ms":54268,"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":[{"comment":"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.","section":"§8.2–8.3, especially Eq. (8.9)"},{"comment":"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.","section":"§8.3, somewhere injectivity"},{"comment":"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.","section":"§7 and Corollary 1.4"},{"comment":"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.","section":"Abstract vs. body"},{"comment":"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.","section":"§8.3 and §9, deferred proof"}],"minor_comments":[{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"§1, Eq. (1.1)"},{"comment":"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.","section":"§3, Eq. (3.20)"},{"comment":"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.","section":"§6, proof of Proposition 6.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies very heavily on the author's own concurrent and unpublished preprints ([Oha], [Ohb], [OW18a], [OW18b]) for the Fredholm theory, exponential estimates, and even the 0-jet evaluation transversality. If those papers are not already accepted or available to the referees in final form, the present paper is not self-contained enough for a fair review. The editor may wish to ensure that the referees have access to the full versions of these references before asking them to evaluate the correctness of the transversality proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper sets up a plausible off-shell framework for 1-jet evaluation transversality of contact instantons, but the proof of the main theorem (7.3) never actually linearizes the λ-component w*λ(z) of the 1-jet evaluation. What is new here is the formulation of the Ξ-tangency moduli space and the reduction via Lemma 1.1, and the goal is clearly important for the Weinstein conjecture program. The paper also usefully recapitulates the off-shell Fredholm framework from the author's earlier work, and the 0-jet transversality discussion is a clean review. I want to give credit for that.\n\nThe soft spot is load-bearing. In (8.5) the map ℵ1 includes w*λ(z) as its third component, but the linearization displayed in (8.9) is only (DΥ, D(∂πw)(z) + ∇_v ∂πw(z)). The derivative of w*λ(z) is simply absent. The annihilator equation (8.10) is exactly the 0-jet annihilator from Section 6, and the conclusion X_p = 0 uses only surjectivity of Y ↦ Y(z0) onto T_pM. That is a 0-jet argument and has no bearing on whether the λ-component of the first jet can be varied surjectively. Lemma 8.2 likewise solves a 0-jet adjoint problem. To prove Theorem 7.3 you would need to linearize w*λ(z), work with a first-order distribution supported at z0, and show an augmented operator is surjective onto Λ^1_z(Σ) (or onto the ∂/∂t direction for Corollary 1.4). None of that appears.\n\nTwo additional gaps are worth naming, both more minor. Section 8.3 explicitly invokes somewhere injectivity, but Theorems 1.3 and 7.3 and Corollary 1.4 are stated without it; multiply covered instantons would break the argument as written. And the abstract claims genericity in the contact form λ, while the body proves genericity in J. These are addressable, but they are gaps in the main theorem.\n\nThe heavy reliance on the author's own concurrent preprints is not by itself a flaw, though it does make independent verification hard. The central missing analysis is the real problem.\n\nWho should read this? Someone working inside Oh's contact instanton program will find the framework sections useful, and the paper is honest about what it depends on. But as a standalone proof of Theorem 7.3 it is not reliable in this version. I would still send it to a serious referee: the question matters, the gap is concrete, and the fix might be feasible. My own verdict is conditional at best — the main theorem as stated is unproved.","headline":"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.","tokens_in":26334,"tokens_out":2417,"would_cite":false,"duration_ms":24553,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D42","58B15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["contact instantons","evaluation transversality","1-jet transversality","contact distribution","contact triad","moduli space","Weinstein conjecture","Fredholm theory"],"falsifier":"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.","tokens_in":25084,"feed_emoji":"📐","tokens_out":16605,"duration_ms":129115,"temperature":0.7,"pith_summary":"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.","feed_headline":"For generic contact forms, instanton tangencies form a smooth manifold","feed_subtitle":"The smoothness it gives is the key ingredient in the proof of Weinstein's conjecture.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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)