{"id":"36ab0b08-26e7-478c-b3b2-f3dd792ae485","arxiv_id":"2411.18208","paper_version":3,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"An alternative proof of the Coisotropic Embedding Theorem that recasts the choice of a connection as a choice of embedding into the cotangent bundle.","lead":"This paper gives a new way to prove a known geometry theorem: any manifold with a closed but possibly degenerate two-form can be placed inside a true symplectic space. The construction views the choice of a connection as a choice of how to embed the manifold into its cotangent bundle.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.1 invokes Gel'fand-Kolmogorov for the proper subalgebra A generated by pullbacks and the kernel momenta H_a; the theorem applies to full C∞(M), so the identification of the character space with K* is not established as written.","rationale":"The paper's local computations largely check out: the pullback form (22) does reproduce the classical form (12), and the sign error in (19) is harmless because the algebra generated by -p_z is the same as that generated by p_z. The coisotropic condition also follows once nondegeneracy is granted. The genuinely load-bearing soft spot is Proposition 2.1: the Gel'fand-Kolmogorov step is not a valid citation for a proper polynomial subalgebra, and the proof as written does not establish that the character space of A is the manifold K*. This is the step that converts the algebraic data into the geometric thickening, so it is central to the claimed alternative proof. I agree with the reader that this is the weakest assumption and that the nondegeneracy verification is also deferred. Both issues are repairable, and the underlying theorem is classical and true, so the appropriate disposition remains conditional acceptance; the manuscript should supply a direct proof of the character-space identification and the missing nondegeneracy computation.","tokens_in":6265,"tokens_out":21399,"duration_ms":207727,"concrete_test":"Prove Proposition 2.1 directly in a minimal nontrivial case: take M=S^1 with ω=0 and K=TS^1, so A=C∞(S^1)[p_θ] inside C∞(T*S^1). List all algebra homomorphisms A→R and show they are exactly evaluations at (θ,p)∈S^1×R, with the Gel'fand topology equal to the usual topology on S^1×R. If any additional characters or a different topology appear, the identification with K* fails; if the computation succeeds, replace the GK citation with this direct argument. Independently, compute (ω_T*+dx∧dy)^3 in the local model m=r=1 and compare with ω_T*^3; a nonzero difference shows the stated symplecticity proof of ω' must be corrected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is Proposition 2.1: the algebra A is not the full function algebra of any manifold, but the subalgebra of C∞(T*M) consisting of finite polynomials in the H_a with coefficients pulled back from M. The Gel'fand-Kolmogorov theorem cited from [MM94] characterizes characters of the full algebra C∞(N), not of an arbitrary subalgebra, and characters of a subalgebra need not be point evaluations. The proof fixes χ on generators and asserts a bijection with K*, but it does not show that every character has the stated form, nor that the Gel'fand topology on the character space coincides with the manifold topology of K*. Since the subsequent embedding i and the pullback form (22) are defined on K*, a failure of this identification would leave the symplectic thickening without a proved manifold structure. The gap is likely repairable by a direct character computation, but as written the central algebraic identification is unproved. Separately, the claim that ω'^n = ω_T*^n is false: for m=r=1, expanding (ω_T* + dx∧dy)^3 gives a nonzero top form differing from ω_T*^3 by a factor, so the only given proof that ω' is symplectic is incorrect, and the nondegeneracy of (22) is deferred to the classical argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an alternative proof of the Coisotropic Embedding Theorem (CET). The main idea is to fix an embedding of the dual bundle K* of the characteristic distribution into the cotangent bundle T*M, rather than choosing a connection/complement on M. The thickening is described as the submanifold of T*M determined by the Hamiltonian functions conjugate to the kernel directions of the pre-symplectic form, with the identification achieved via a Gel'fand-Kolmogorov argument. The paper then defines the symplectic form on the thickening as the pullback of an ambient symplectic form on T*M and computes that its local expression coincides with the classical thickening form. The proof of the theorem is concluded by invoking the classical non-degeneracy and coisotropic computations.","tokens_in":6520,"tokens_out":20205,"duration_ms":174626,"significance":"If completed, the construction gives a legitimate alternative route to a known theorem and provides a clean conceptual reinterpretation of Gotay's connection choice as an algebraic embedding into the cotangent bundle. The computation showing that the pullback form equals the classical form (12) is a meaningful check and is essentially correct. The paper is not circular: the constructions are explicit and do not assume the CET. However, the manuscript as written does not prove the two decisive properties of the thickening, and the algebraic identification of the thickening with K* is not fully justified. These are repairable but load-bearing gaps, so the paper is not yet ready for publication.","major_comments":[{"comment":"The Hamiltonian function for the vector field ∂/∂z^a with respect to ω' is H_a = -p^z_a, not +p^z_a, because i_{∂/∂z^a}(dp^z_b∧dz^b) = -dp^z_a. The equality H_a = p^z_a as stated is incorrect. The error does not destroy the construction, since the algebra generated by the functions H_a is the same as the algebra generated by the p^z_a up to an overall sign, but Eq. (19) and the sentence 'They read H_a = p^z_a' must be corrected.","section":"Section 2, Eq. (19)"},{"comment":"The application of the Gel'fand-Kolmogorov theorem is not justified as written. The theorem cited from [MM94] characterizes the characters of the full algebra C∞(N) of a smooth manifold, whereas A is only a proper subalgebra of C∞(T*M) consisting of polynomial functions in the fiber variables. The proof gives a set-theoretic bijection between characters and pairs (m,α_m), but it does not verify that the Gel'fand topology on the character space coincides with the smooth manifold topology of K*, nor does it prove that the cited theorem applies to the subalgebra A. Since the thickening manifold is defined as the manifold associated with A, this is a load-bearing gap; it is likely repairable by a direct character computation, but it is not established in the manuscript.","section":"Section 2, Proposition 2.1"},{"comment":"The paper does not prove that the form ~tildeω = i*ω' is symplectic. It only states that the local expression (22) is identical to the classical form (12) and that therefore the classical non-degeneracy computation applies. This is a deferral, not a proof: Section 1 also only asserts non-degeneracy 'via a straightforward computation' without giving it. Since the stated goal is an alternative proof of the CET, the non-degeneracy argument for (22) must be supplied, or a precise reference to the exact computation in [Got82] or another source must be given and the computation reproduced.","section":"Section 2, Eq. (22) and subsequent paragraph"},{"comment":"The coisotropic condition is not verified either. The paragraph says 'A direct computation confirms that for any point m∈M, the symplectic orthogonal of the tangent space to the embedded manifold is precisely the kernel K_m', but no computation is shown. The assertion that the calculation is identical to the classical one does not replace the proof, especially because the classical calculation is also only sketched in Section 1. This is the second decisive property of the theorem and needs to be demonstrated in the new setting.","section":"Section 2, 'Check of the coisotropic condition'"}],"minor_comments":[{"comment":"The claim ω'^n = ω_T*^n is correct in Darboux coordinates (the mixed terms vanish by a counting argument), but the one-line 'direct computation' is too terse; a short expansion would make the argument verifiable.","section":"Section 2, Eq. (15)"},{"comment":"The 'maximal rank' hypothesis on the matrices P^x and P^y is not necessary for i to define a vector subbundle: the image is a subbundle already because the coordinates p^z_a are preserved under i, so the bundle map is injective with constant rank r. The condition may be intended to mirror the classical connection data, but the wording should be clarified.","section":"Section 2, Eq. (20)"},{"comment":"The characterization of cotangent lifts is imprecise: the condition L_{~K_a}ω_T*M = 0 defines a symplectic vector field, not specifically a cotangent lift. The intended vector field ∂/∂z^a is indeed the lift of the base vector field, but the stated condition alone does not identify it uniquely among symplectic vector fields.","section":"Section 2, Eq. (16)"},{"comment":"There are several typographical issues: 'MarkGotay' and 'OhandPark' are missing spaces, and the spelling 'Gel'fand' is used inconsistently. These should be corrected.","section":"Introduction and references"},{"comment":"The reference [MM94] is not the standard source for the Gel'fand-Kolmogorov theorem, and the use here is nonstandard because it is applied to a proper subalgebra. If the theorem is invoked in this form, a self-contained proof or a more specific reference should be provided.","section":"References, [MM94]"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is very short and the two decisive computations (non-degeneracy and coisotropy) are deferred to the classical proof. I would ask the author either to complete these proofs or to explicitly frame the paper as a reformulation of the classical proof that relies on the known computation. The conceptual idea is sound and publishable after revision, but in its current form the proof is incomplete. The self-citations in the introduction are applications of CET and do not indicate circularity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. The paper is what it says: an alternative proof of Gotay's 1982 coisotropic embedding theorem, not a new theorem. And it is mostly correct, but the central Gelfand-Kolmogorov step is underproved.\n\nWhat is actually new is the framing: the symplectic thickening is identified as the character space of the algebra generated by functions pulled back from the base plus the kernel momenta, and the classical choice of a connection is recast as the choice of an embedding into the cotangent bundle. That is a genuine conceptual repackaging, and it may help in teaching. The paper is clearly written, credits Gotay and Oh–Park, and is honest that its final 2-form (22) coincides with the classical (12).\n\nThe soft spots are real but limited. Proposition 2.1 is load-bearing: A is a subalgebra of C∞(T*M), not the full function algebra, and the Gelfand-Kolmogorov theorem cited from [MM94] applies to full C∞(N). The paper asserts the character bijection and jumps to the conclusion that the character space is K*. As written, the manifold topology is not established. This is probably repairable—one can directly identify characters with pairs (m,α) and put the bundle topology on that set—but the proof as it stands does not do it. The nondegeneracy and coisotropic-orthogonal checks are also deferred to the classical argument. That is acceptable if the forms are identical, but it means the proof is not self-contained.\n\nTwo notes from the review trail: the claimed sign error in H_a is not one. Contracting ∂/∂z^a with ω' gives +dp_z^a, so H_a = p_z^a is correct. The stress-test worry that ω'^n ≠ ω_T*^n is also misplaced; any term in ω'^n that contains the dx∧dy factor is killed by a repeated dx or dy, so ω'^n = ω_T*^n holds. Both objections should be dropped.\n\nWho is this for? People who teach or apply the CET and want a different route; not for anyone seeking new results. It deserves a serious referee, because the construction is basically right and the gaps are fixable. I would send it to refereeing with a clear request that the author prove Proposition 2.1 directly or state the character-space identification more carefully, and include the nondegeneracy computation instead of deferring it. A lightweight venue might accept as is; a good journal should ask for the revision.","headline":"An honest, well-written reformulation of Gotay's theorem with a real but repairable gap in the algebra-to-manifold step; worth refereeing, not worth citing as a new result.","tokens_in":7085,"tokens_out":6699,"would_cite":false,"duration_ms":57770,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The coisotropic embedding theorem is reproved by selecting the thickening inside the cotangent bundle via the momenta conjugate to the kernel of the pre-symplectic form.","keywords":["coisotropic embedding theorem","pre-symplectic manifold","symplectic thickening","cotangent bundle","kernel distribution","Hamiltonian momenta","Gel'fand-Kolmogorov identification","connection versus embedding"],"falsifier":"Exhibit an algebra homomorphism from the subalgebra generated by pull-backs and the momenta $H_a$ to $\\mathbb{R}$ that is not determined by a base point and a covector on the kernel fiber; if such a character exists, the identification with $K^*$ fails and the thickening is not the claimed manifold.","tokens_in":6011,"feed_emoji":"📐","tokens_out":6903,"duration_ms":57021,"temperature":0.7,"pith_summary":"This paper presents an alternative proof of the Coisotropic Embedding Theorem: every pre-symplectic manifold can be embedded as a coisotropic submanifold of a symplectic manifold. The classical construction chooses a connection, i.e. a complement to the kernel of the pre-symplectic form, to build a symplectic thickening. Here that geometric choice is replaced by the algebraic choice of an embedding of the dual kernel bundle into the cotangent bundle of the manifold. The thickening is the submanifold selected by the Hamiltonian momenta conjugate to the kernel directions, and the pulled-back symplectic form reproduces the classical local expression, so the coisotropic condition follows unchanged. If the proof is correct, it provides a more algebraic route to a theorem widely used in constrained Hamiltonian systems and field theories.","feed_headline":"Pre-symplectic manifolds get a symplectic thickening","feed_subtitle":"An alternative proof builds the thickening inside the cotangent bundle using kernel momenta.","key_machinery":"The central object is the cotangent bundle $(T^*M,\\omega_{T^*M})$ equipped with the closed two-form $\\omega'=\\omega_{T^*M}+\\rho^*\\omega$, where $\\rho:T^*M\\to M$ is the projection. The kernel distribution $K=\\ker\\omega$ is spanned locally by $\\partial/\\partial z^a$, and its cotangent lifts are Hamiltonian with momenta $H_a=p_{z_a}$. The Gel'fand-Kolmogorov identification of characters of the algebra generated by pull-backs and the $H_a$ with the dual bundle $K^*$ is what turns the geometric choice of a connection into the algebraic choice of a fiberwise-linear embedding $i:K^*\\to T^*M$, parametrized by matrices $P^x_{ja},P^y_{aj}$. That embedding carries the symplectic form: pulling back $\\omega'$ gives the classical thickening form, so non-degeneracy and coisotropy are inherited.","core_discovery":"On the paper's own terms, the discovery is that the symplectic thickening of a pre-symplectic manifold $(M,\\omega)$ can be manufactured from the cotangent bundle $T^*M$. The paper defines $\\omega'=\\omega_{T^*M}+\\rho^*\\omega$, shows that the vector fields in $\\ker\\omega$ have Hamiltonian functions $H_a=p_{z_a}$ (the conjugate momenta along kernel directions), and then identifies the manifold of characters of the algebra generated by pull-backs of functions on $M$ and the $H_a$ with the dual bundle $K^*$ of the kernel. Choosing an embedding $i\\colon K^*\\to T^*M$ linear on fibers, the pullback $\\tilde\\omega=i^*\\omega'$ is the same closed two-form as in the classical proof, locally $\\tilde\\omega=\\rho^*_{K^*}\\omega + dp_a\\wedge P^a + p_a dP^a$, and the symplectic orthogonal of the embedded $M$ is exactly $K$, making $M$ coisotropic. The paper's claim is that the geometric freedom of a connection is therefore just the freedom of an algebraic embedding.","pith_inferences":["An implicit consequence the paper does not spell out: whenever the constraint distribution of a physical system comes with preferred momenta, this construction gives a canonical-looking thickening once an embedding is fixed, and varying the embedding may parametrize inequivalent symplectic completions.","The reliance on the Gel'fand-Kolmogorov theorem for a polynomial subalgebra suggests a testable check: exhibit explicitly every character of that algebra and see whether the claimed bijection with $K^*$ is genuine or requires an additional smoothness condition on the momentum variables.","One could extend the argument to pre-symplectic manifolds whose kernel is not a subbundle by replacing the algebra with a sheaf of algebras over the base, potentially yielding a sheaf-theoretic thickening in degenerate cases."],"forward_implications":["The coisotropic embedding theorem holds with the thickening realized as a submanifold of the cotangent bundle, cut out by the momenta conjugate to the kernel directions.","The classical arbitrary connection in the thickening construction is exactly mirrored by the arbitrary fiberwise-linear embedding, so the two proofs produce the same family of symplectic thickenings.","Since the pulled-back form agrees with the classical form, the tubular-neighborhood non-degeneracy result and the flat-connection extension to the whole bundle transfer unchanged.","The zero-section of the bundle $K^*\\to M$ embeds $M$ as a coisotropic submanifold whose symplectic orthogonal is precisely the original kernel distribution."],"supporting_citations":[{"why":"states the original coisotropic embedding theorem whose conclusion this paper reproves.","marker":"[Got82]"},{"why":"supplies the Gel'fand-Kolmogorov identification of characters with points used to identify the algebra's spectrum with the dual kernel bundle.","marker":"[MM94]"},{"why":"provides the classical proof structure whose three steps the alternative proof mirrors.","marker":"[OP05]"},{"why":"shows the thickening equals the whole dual bundle when the connection is flat, a fact carried over in the new proof.","marker":"[CDI+22b]"},{"why":"supplies the Darboux theorems for symplectic and pre-symplectic forms used in the coordinate computations.","marker":"[AMR88]"}],"fun_headline_variants":["Cotangent bundle thickens pre-symplectic manifolds","Symplectic thickening via kernel momenta","Alternative proof: geometry becomes algebra","Coisotropic embedding proof from T*M","Pre-symplectic thickening as algebraic embedding"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that the algebra of functions it builds has precisely the dual bundle of the kernel as its space of points, an identification it imports from a theorem normally stated for the full algebra of smooth functions rather than the smaller subalgebra used here.","fun_headline_variants_meta":{"raw":{"variants":["Cotangent bundle thickens pre-symplectic manifolds","Symplectic thickening via kernel momenta","Alternative proof: geometry becomes algebra","Coisotropic embedding proof from T*M","Pre-symplectic thickening as algebraic embedding"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000246,"raw_usage":{"total_tokens":1484,"prompt_tokens":832,"completion_tokens":652,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":448,"completion_tokens_details":{"reasoning_tokens":581}},"tokens_in":448,"tokens_out":652,"duration_ms":6025,"temperature":1.0,"reasoning_tokens":581,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:26:12.262017+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit an algebra homomorphism from the subalgebra generated by pull-backs and the momenta $H_a$ to $\\mathbb{R}$ that is not determined by a base point and a covector on the kernel fiber; if such a character exists, the identification with $K^*$ fails and the thickening is not the claimed manifold.","supporting_citations":[],"review_version":1}