{"id":"e4302fef-a3b7-44fd-b155-5ff2f071409a","arxiv_id":"2607.07672","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"First-order locally convex Lie algebroids form a category whose morphisms are defined by pullback of sheaf-valued forms, and Banach-Lie algebroid morphisms integrate uniquely to source-simply connected Banach-Lie groupoid morphisms.","lead":"The paper defines a category of first-order locally convex Lie algebroids using Bastiani calculus, avoiding exterior dual bundles by working with sheaves of forms. It matters for infinite-dimensional geometry because it provides a clean framework for Lie algebroid morphisms and proves a Banach Lie II integration theorem.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"No significant objection identified. The proofs are careful and complete; the first-order condition is shown to hold for the key examples (Lie groupoids, current algebroids), and the Lie II theorem follows a correct adaptation of the Crainic–Fernandes path-space argument.","rationale":"The paper is a well-constructed contribution to infinite-dimensional Lie theory. The central claims are correct as stated, with complete proofs. The first-order condition is a reasonable regularity hypothesis, demonstrated to hold for the key examples. The Lie II theorem proof correctly adapts the Crainic–Fernandes path-space method to the Banach setting, with careful attention to ODE existence/uniqueness in Hausdorff source fibers. The reliance on [KM02] for smooth approximation of continuous homotopies is a minor bibliographic concern — the result is standard for Banach manifolds — but does not affect correctness. The reader's verdict of ACCEPT with HIGH confidence is appropriate. The suggested concrete test (converse of Theorem 3.8 for submersions) would strengthen the framework's scope but is not required for the paper's claims to hold.","tokens_in":58787,"tokens_out":8962,"duration_ms":340422,"concrete_test":"Attempt to prove the converse of Theorem 3.8 when f: M → N is a submersion (not necessarily a local diffeomorphism). Concretely: given F: A → à over f satisfying anchor compatibility (ẽa ∘ F = Tf ∘ a) and bracket compatibility on projectable sections, show that F^♯ ∘ f^{-1}d_à = d_A ∘ F^♯. The finite-dimensional proof uses local frames; in the Banach setting, try using Hahn–Banach to construct enough test 1-forms (as in the forward direction, Theorem 3.8) and the first-order condition to control the bracket terms. If this succeeds, the dg-definition of morphism coincides with the standard one whenever f is a submersion, broadening the applicability of the Lie II theorem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After a careful reading, I do not identify a load-bearing concern that would undermine the central claims. The paper's two main results — (1) first-order locally convex Lie algebroids form a category with morphisms defined via sheaf pullback commuting with the Lie algebroid differential (Corollary 3.4), and (2) the Banach Lie II theorem (Theorem 4.8) — are supported by detailed, correct proofs.\n\nThe reader correctly identifies the first-order condition (Definition 2.1, Condition 3) as the key hypothesis. However, the paper demonstrates that this condition holds for the central examples: Lie groupoids (Theorem 2.12, via an explicit computation of C_φ from the derivative of right multiplication), current algebroids (Lemma 2.10, via pointwise evaluation reducing to the original bracket), action algebroids (Example 2.9), and locally convex Lie algebras (Example 2.7). The non-example in Remark 2.8 involves a discontinuous bracket, which is outside the intended scope.\n\nThe Lie II theorem proof is the most substantial result. I verified the key steps: (a) Proposition 4.6 (homotopy invariance) correctly uses the composition Φ ∘ ω^R_{G,x} ∘ TΓ as a Lie algebroid morphism (by Lemma 4.1, Corollary 3.4, and the fact that TΓ is a tangent map), applies Lemma 4.2 to obtain the local PDE, and then uses a linear ODE uniqueness argument to conclude d = Φ(b); (b) the L(F) = Φ computation correctly differentiates at r = 0, using that the base-derivative of the fiberwise-linear local representative of Φ vanishes at the zero fiber vector, yielding ∂_r ã(0,t) = w and then ∂_t d(0,t) = w via the vanishing of the C-term at r = 0; (c) smoothness follows from the Banach ODE theorem with parameters (Lemma 4.5).\n\nOne area where the framework could be strengthened — but which does not affect correctness — is the converse of Theorem 3.8: the paper proves that dg-morphisms imply anchor+bracket compatibility (always), and the converse only when f is a local diffeomorphism. In finite dimensions the","agreement_with_reader":"agree"},"referee_report":{"model":"glm-5.2","summary":"This paper introduces a notion of first-order locally convex Lie algebroid in the Bastiani calculus framework. The first-order condition (Definition 2.1, Condition 3) requires that the bracket admits a specific local formula with a smooth fiberwise bilinear term in each trivialization; this is automatic in finite dimensions but is a nontrivial regularity hypothesis in general locally convex settings. Under this condition, the author defines sheaves of scalar- and vector-valued Lie algebroid forms, a Lie algebroid differential, and morphisms via pullback of forms commuting with the differential. The paper proves that first-order locally convex Lie algebroids form a category (Corollary 3.4), that Lie groupoid morphisms induce algebroid morphisms (Theorem 3.6), and that representations pull back along morphisms (Theorem 3.13). As applications, the author shows that current algebroids over first-order Banach Lie algebroids are first-order Fréchet Lie algebroids (Lemma 2.10) and proves a Lie II theorem for Banach-Lie groupoids (Theorem 4.8): every first-order algebroid morphism between the Lie algebroids of source-connected, source-simply connected Banach-Lie groupoids integrates uniquely to a Lie groupoid morphism.","tokens_in":59093,"tokens_out":1989,"duration_ms":219991,"significance":"The paper addresses a genuine gap in the infinite-dimensional Lie algebroid literature: the absence of a clean categorical framework for locally convex Lie algebroids where forms and morphisms are defined without choosing topologies on spaces of continuous multilinear maps. The first-order condition is a well-motivated hypothesis, connected to known pathologies (the queer Poisson brackets of Beltiță–Goliński–Tumpach). The verification that Lie groupoids (Theorem 2.12), current algebroids (Lemma 2.10), and action algebroids (Example 2.9) satisfy this condition establishes that the framework is non-vacuous for the central examples. The Banach Lie II theorem (Theorem 4.8) is the most substantial result, adapting the Crainic–Fernandes path-space method with explicit ODE reconstruction in Banach charts. The proofs are detailed and proceed by explicit local computation with careful coordinate-change verification throughout. The framework produces falsifiable predictions: any candidate locally convex Lie algebroid either satisfies the first-order condition or falls outside the theory's scope.","major_comments":[{"comment":"Theorem 3.8, Part 2: The converse direction (when f is a local diffeomorphism) proves that anchor and bracket compatibility on projectable sections implies the dg-morphism condition. However, the proof constructs sections ξ̃_i := F ∘ ξ_i ∘ (f|_U)^{-1} and assumes these are well-defined sections of à over f̃(U). This requires that F ∘ ξ_i factors through f, i.e., that the projectability condition F ∘ ξ = ξ̃ ∘ f holds for the specific sections at hand. The statement of Part 2 says 'if ξ, η ∈ A(U) and ξ̃, η̃ ∈ Ã(Ũ) satisfy f(U) ⊆ Ũ, F ∘ ξ = ξ̃ ∘ f, and F ∘ η = η̃ ∘ f.' This is correct as stated, but the converse then only verifies the dg-morphism condition by testing on sections that are already projectable. For the converse to establish that F is a Lie algebroid morphism in the sense of Definition 3.2, one needs the dg-commutativity F♯ ∘ f^{-1}d_à = d_A ∘ F♯ to hold as an identity of sheaf","section":null},{"comment":"morphism morphisms, not just on evaluations against projectable sections. The proof on page 23 (bottom) does verify this: it shows F*(d_à α) = d_A(F*α) by expanding both sides using (4) and the projectable sections ξ_i. Since both sides are A-forms and the identity holds on all projectable k+1-tuples of sections, and since locally every tuple of fiber elements can be realized by projectable sections (because f is a local diffeomorphism), this does suffice. The argument is sound but could be stated more explicitly: the key point is that when f is a local diffeomorphism, every local section of A over U is projectable, so the verification is exhaustive. Consider adding one sentence clarifying this.","section":null},{"comment":"Proposition 4.6: The proof uses the composition Φ ∘ ω^R_{G,x} ∘ TΓ as a Lie algebroid morphism and applies Lemma 4.2 to obtain the PDE ∂_s A_j − ∂_t B_j = C^H_j(f∘m, A_j, B_j). Separately, ω^R_{H,f(x)} ∘ TΔ gives ∂_s A_j − ∂_t D_j = C^H_j(f∘m, A_j, D_j). Subtracting yields a linear ODE ∂_t(D_j − B_j) = −C^H_j(f∘m, A_j, D_j − B_j) with zero initial data at t=0, and uniqueness gives D_j = B_j. This is correct. However, the application of Lemma 4.2 to Φ ∘ ω^R_{G,x} ∘ TΓ requires that this composition is a first-order Lie algebroid morphism from T([0,1]^2) to L(H). Lemma 4.1 gives that ω^R_{G,x} is a morphism, Corollary 3.4 gives closure under composition, and TΓ is a tangent map (hence a Lie algebroid morphism of tangent bundles). The chain is valid, but the paper does not explicitly cite the result that TΓ is a Lie algebroid morphism; this is standard but a brief reference would strengthen","section":null},{"comment":"the argument.","section":null}],"minor_comments":[{"comment":"The notation bΨ, bK, bG, bF for fiberwise-linear local representatives is used throughout but the convention is introduced only implicitly in Section 1 (page 4). Consider adding a brief sentence stating that the 'b' prefix denotes the fiberwise component of a vector bundle morphism in a local trivialization.","section":null},{"comment":"Remark 2.2: The coordinate-change formula for C_φ is displayed without an equation number. Since it is referenced repeatedly (e.g., in Lemma 2.10, Lemma 3.11), assigning it a number would aid the reader.","section":null},{"comment":"Lemma 2.10: The proof is lengthy (approximately 3 pages) and involves several intermediate constructions (Θ_i, Ψ_γ, S_{δγ}, C^k_γ). Consider adding a brief outline at the start of the proof to guide the reader through the logical structure.","section":null},{"comment":"Page 6, line 3: 'A subset S ⊆ M is a submanifold if it is locally modeled on a closed subspace' — the word 'is' appears twice ('is is').","section":null},{"comment":"The reference [KM02] is cited as an 'Unpublished preprint' with a URL. If this result has since been published or is available in a more stable form, updating the reference would be preferable.","section":null},{"comment":"Corollary 3.4: 'First-order lie algebroids' — 'lie' should be capitalized to 'Lie'.","section":null},{"comment":"In the proof of Theorem 4.8, the smoothness of the homotopy Γ is attributed to [KM02]. The statement 'continuous homotopies with fixed endpoints can be smoothed' is a nontrivial fact in infinite dimensions; the citation is appropriate but the reader might benefit from a one-line clarification that this applies because source fibers are Banach manifolds (hence metrizable and locally path-connected).","section":null},{"comment":"Remark 4.10 introduces the functor g(−) and the adjunction with the inclusion ι. This is a nice observation but is somewhat disconnected from the main thread. Consider whether it belongs in the main text or could be moved to a remark appendix.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a solid contribution to the locally convex Lie algebroid literature. The first-order condition is a reasonable and well-motivated hypothesis, and the examples (groupoids, current algebroids, actions) cover the main cases of interest. The Lie II theorem is the strongest result and the proof is carefully constructed. The major comments above are primarily requests for clarification rather than corrections of errors; the arguments appear correct on careful reading. I recommend minor revision. One scope consideration: the paper is fairly long and detailed for a standard journal article, but the length is justified by the need to verify the first-order condition in multiple settings and to carry out the Banach ODE arguments carefully."},"author_rebuttal":{"model":"glm-5.2","summary":"We thank the referee for a careful reading and for the recommendation of minor revision. Both major comments identify points where the exposition can be clarified; we address each below.","responses":[{"response":"We agree with the referee's analysis. The argument is indeed sound: when f is a local diffeomorphism, every local section of A over a sufficiently small open set is projectable, so the verification on projectable sections is exhaustive. We will add a clarifying sentence at the end of the proof of Theorem 3.8, Part 2, stating explicitly that when f is a local diffeomorphism, every local section of A is projectable, and therefore the verification of F*(d_à α) = d_A(F*α) on all projectable (k+1)-uples of sections suffices to establish the identity as sheaf morphisms.","revision_made":"yes","referee_comment":"Theorem 3.8, Part 2 (converse direction): The referee observes that the proof verifies the dg-morphism condition by testing on projectable sections, and asks whether this suffices to establish the identity as sheaf morphisms. The referee notes that the argument is in fact sound—because when f is a local diffeomorphism, every local section is projectable—but suggests adding a clarifying sentence."},{"response":"We agree. The fact that TΓ: T([0,1]^2) → T(G_x) is a Lie algebroid morphism of tangent bundles is standard: it is the tangent lift of a smooth map between manifolds, and tangent maps preserve the de Rham differential. We will add a brief parenthetical remark in the proof of Proposition 4.6 (or in Lemma 4.3, where TΓ is first used in this capacity) noting that TΓ is a Lie algebroid morphism of tangent bundles because tangent maps commute with the de Rham differential, and citing that this is the standard tangent functor on the de Rham (hence Lie algebroid) complex.","revision_made":"yes","referee_comment":"Proposition 4.6: The referee notes that the application of Lemma 4.2 to the composition Φ ∘ ω^R_{G,x} ∘ TΓ requires that TΓ is a Lie algebroid morphism of tangent bundles, and that while this is standard, a brief reference would strengthen the argument."}],"tokens_in":59207,"tokens_out":508,"duration_ms":100896,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"Two things to know up front: (1) the paper defines a clean categorical framework for Lie algebroids in the locally convex Bastiani setting, avoiding exterior dual bundles by working with sheaves of forms, and (2) the Banach Lie II theorem (Theorem 4.8) is a correct, self-contained integration result adapting the Crainic–Fernandes path-space method to Banach charts. Both hold up under careful reading. The stress-test note and the reader are right that there is no load-bearing flaw here. I agree with the ACCEPT verdict and the HIGH confidence. The first-order condition (Definition 2.1, Condition 3) is the key hypothesis. It is automatic in finite dimensions (Corollary 2.6) and the paper verifies it for the examples that matter: Lie groupoids (Theorem 2.12, via an explicit computation of C_phi from the derivative of right multiplication), current algebroids (Lemma 2.10, reducing pointwise to the original bracket), action algebroids, and locally convex Lie algebras. The non-example in Remark 2.8 involves a discontinuous bracket, which is outside the intended scope. The sheaf-theoretic definition of forms and the morphism definition via pullback commuting with the Lie algebroid differential are genuinely new for this setting and the category axiom (Lemma 3.3, Corollary 3.4) is clean. The Lie II theorem proof is the most substantial result. I checked the key steps: Proposition 4.6 (homotopy invariance) correctly composes the relevant morphisms, applies Lemma 4.2 to get the local PDE, and uses a linear ODE uniqueness argument. The L(F) = Phi computation correctly differentiates at r = 0, using that the base-derivative of the fiberwise-linear local representative of Phi vanishes at the zero fiber vector. Smoothness follows from the Banach ODE theorem with parameters (Lemma 4.5). The one soft spot is scope, not correctness. The converse of Theorem 3.8 — dg-morphism implies anchor+bracket compatibility always, but the converse only when f is a local diffeomorphism — is a genuine limitation in the locally convex setting, though the paper is honest about it. The reliance on the unpublished Kriegl–Michor preprint [KM02] for smooth homotopy is a minor dependency that does not affect the core results. This paper is for researchers in infinite-dimensional Lie theory who need a workable Lie algebroid category beyond finite dimensions. The Banach Lie II theorem will be of interest to anyone working with Banach-Lie groupoids. It deserves a serious referee. I recommend sending it out for review.","headline":"Solid paper. The first-order condition for locally convex Lie algebroids is a reasonable hypothesis, the sheaf-theoretic framework is clean, and the Banach Lie II theorem is a correct adaptation of Crainic–Fernandes. Deserves a serious referee.","tokens_in":59766,"tokens_out":667,"would_cite":true,"duration_ms":81403,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D17","58H05","22A22","18F20"],"pacs":[],"model":"glm-5.2","headline":"Infinite-dimensional Lie algebroids form a category","keywords":["Lie algebroids","locally convex manifolds","Banach-Lie groupoids","Lie II theorem","sheaf theory","differential graded algebras","first-order condition","current algebroids"],"falsifier":"Anatural infinite-dimensional Lie algebroid arising in practice (e.g., from a gauge-theoretic or geometric PDE context) whose bracket provably fails the first-order condition, showing the framework does not apply to that example.","tokens_in":58894,"feed_emoji":"🔗","tokens_out":1253,"duration_ms":278173,"temperature":0.7,"pith_summary":"This paper extends the theory of Lie algebroids — objects that generalize both Lie algebras and tangent bundles — to the infinite-dimensional setting of locally convex manifolds. In finite dimensions, Lie algebroids have a well-behaved differential calculus: one can define forms, differentials, and morphisms via pullback of forms commuting with those differentials. The paper identifies that in infinite dimensions, a key regularity property called the first-order condition is needed. This condition requires that the Lie bracket, when written in local coordinates, depends only on first derivatives of the section coefficients plus a smooth bilinear correction term. While automatic in finite dimensions, this condition can fail for general infinite-dimensional vector bundles, where pathological brackets depending on higher derivatives exist. Under this first-order hypothesis, the author defines sheaves of Lie algebroid forms as fiberwise continuous alternating maps with smooth local representatives, avoiding the need for topologies on spaces of multilinear maps. Morphisms are defined as smooth vector bundle maps whose induced pullback on these form-sheaves commutes with the Lie algebroid differential. The paper proves that compositions of such morphisms are again morphisms, so first-order locally convex Lie algebroids form a category. The author shows that Lie groupoids always have first-order Lie algebroids and that Lie groupoid morphisms induce morphisms in this category, making the Lie algebroid construction a functor. Two applications are proved: current algebroids built from Banach Lie algebroids are first-order Frechet Lie algebroids, and a Lie II theorem holds in the Banach setting, stating that first-order algebroid morphisms integrate uniquely to Lie groupoid morphisms when the source groupoid is source-connected and source-simply connected.","feed_headline":"Infinite-dimensional Lie algebroids form a category","feed_subtitle":"A first-order regularity condition lets Lie algebroid calculus extend beyond finite dimensions, with a Banach Lie II integration theorem.","key_machinery":"first-order condition","core_discovery":"The central mechanism is the first-order condition (Definition 2.1, Condition 3): in each local trivialization, the Lie bracket must admit a specific local formula involving only first derivatives of the section coefficients plus a smooth fiberwise bilinear term C_phi. This condition is the load-bearing hypothesis that makes the entire framework work. It allows the definition of Lie algebroid forms as sheaves without exterior dual bundles, gives a well-defined Chevalley-Eilenberg differential on those sheaves, and enables morphisms to be defined by the requirement that pullback of forms commutes with differentials. The paper proves that this condition is satisfied by Lie algebroids of Lie al","pith_inferences":["The first-order condition may serve as a practical dividing line between well-behaved and pathological infinite-dimensional Lie algebroids. If natural examples from mathematical physics or gauge theory fail this condition, the framework would not directly apply, and the condition itself could be used as a diagnostic for regularity.","The Lie II theorem proved here is restricted to the Banach setting. Extending it to the Frechet or general locally convex setting would likely require new analytic tools for solving ODEs in spaces lacking Banach structure, such as Nash-Moser type techniques or restricted classes of Frechet spaces.","The functor from Lie groupoids to first-order Lie algebroids, combined with the Lie II theorem, suggests an adjunction between source-simply connected Banach-Lie groupoids and first-order Banach Lie algebroids, analogous to the finite-dimensional Crainic-Fernandes theory but with the first-order condition replacing the integrability obstruction.","The cohomology theory developed here for first-order Lie algebroids could provide a framework for characteristic classes and van Est maps in infinite dimensions, contingent on verifying that enough natural examples satisfy the first-order condition."],"forward_implications":["Lie groupoids in the locally convex setting have Lie algebroids that automatically satisfy the first-order condition, and the Lie algebroid construction is a functor from Lie groupoids to first-order Lie algebroids.","Current algebroids C^infty(K, A) over mapping manifolds C^infty(K, M) are first-order Frechet Lie algebroids when A is a first-order Banach Lie algebroid and K is compact.","In the Banach setting, first-order Lie algebroid morphisms between Lie algebroids of Banach-Lie groupoids integrate uniquely to Lie groupoid morphisms, provided the source groupoid is source-connected and source-simply connected.","Representations (flat connections) pull back along first-order Lie algebroid morphisms, inducing functorial maps on cohomology sheaves.","The differential-graded definition of morphism implies the usual anchor and bracket compatibility for projectable sections, and the converse holds when the base map is a diffeomorphism."],"fun_headline_variants":["First-order condition yields a category of locally convex Lie algebroids","Locally convex Lie algebroids form a category under a first-order regularity condition","A first-order hypothesis makes Lie algebroid calculus work beyond finite dimensions","Banach Lie algebroids integrate to Lie groupoids under a first-order condition","Lie algebroids of locally convex Lie groupoids satisfy a first-order regularity condition"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The first-order condition requires that in every local trivialization, the Lie bracket can be written using only first derivatives of the section coefficients plus a smooth fiberwise bilinear term. This is automatic in finite dimensions but is a genuine restriction for general locally convex vector bundles, where brackets depending on higher derivatives can exist. The entire framework — forms, differentials, morphisms, and the Lie II theorem — depends on this condition, and a","fun_headline_variants_meta":{"raw":{"variants":["First-order condition yields a category of locally convex Lie algebroids","Locally convex Lie algebroids form a category under a first-order regularity condition","A first-order hypothesis makes Lie algebroid calculus work beyond finite dimensions","Banach Lie algebroids integrate to Lie groupoids under a first-order condition","Lie algebroids of locally convex Lie groupoids satisfy a first-order regularity condition"]},"model":"glm-5.2","effort":"high","cost_usd":0.0,"raw_usage":{"total_tokens":678,"prompt_tokens":576,"completion_tokens":102,"prompt_tokens_details":null},"tokens_in":576,"tokens_out":102,"duration_ms":31538,"temperature":1.0,"reasoning_tokens":null,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-09T02:54:10.208697+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"Anatural infinite-dimensional Lie algebroid arising in practice (e.g., from a gauge-theoretic or geometric PDE context) whose bracket provably fails the first-order condition, showing the framework does not apply to that example.","supporting_citations":[],"review_version":1}