Pith. sign in

REVIEW 4 major objections 8 minor 27 references

A category of locally convex Lie algebroids

T0 review · 4 major / 8 minor · reviewed 2026-07-09 · glm-5.2

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

Pith's one-line read Infinite-dimensional Lie algebroids form a category

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

arxiv 2607.07672 v1 pith:SJG4BPYD submitted 2026-07-08 math.DG math.FA

Ahmed Gamal Shaltut This is my paper · ORCID
classification math.DGmath.FA MSC 53D1758H0522A2218F20
keywords LiealgebroidslocallyconvexmanifoldsBanach-LiegroupoidsIItheoremsheaftheorydifferentialgradedalgebrasfirst-orderconditioncurrent
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 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.

What carries the argument

first-order condition

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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

Editorial extensions

If this is right

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

Reading between the lines

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

  • 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.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 8 minor

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.

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 (4)
  1. 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
  2. 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.
  3. 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
  4. the argument.
minor comments (8)
  1. 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.
  2. 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.
  3. 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.
  4. 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').
  5. 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.
  6. Corollary 3.4: 'First-order lie algebroids' — 'lie' should be capitalized to 'Lie'.
  7. 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).
  8. 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.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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.

read point-by-point responses

  1. Referee: 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.

    Authors: 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: yes

  2. Referee: 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.

    Authors: 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: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found

full rationale

The paper's two main results — (1) first-order locally convex Lie algebroids form a category (Corollary 3.4), and (2) the Banach Lie II theorem (Theorem 4.8) — are supported by independently constructed proofs. The first-order condition (Definition 2.1, Condition 3) is explicitly stated as a hypothesis, not derived from the conclusions. The category structure (Corollary 3.4) follows from a direct computation: Lemma 3.3 verifies that composition of morphisms (defined by pullback commuting with differentials, Definition 3.2) preserves the morphism property via the chain-rule identity (F2∘F1)^♯ = F1^♯ ∘ f1^{-1}(F2^♯) (Eq. 6), which is proven pointwise and does not assume the result. The Lie II theorem (Theorem 4.8) follows the Crainic–Fernandes path-space method [CF03] but constructs the proof independently in Banach charts: admissible paths are reconstructed via ODE existence (Lemma 4.5), homotopy invariance is proven via a linear ODE uniqueness argument (Proposition 4.6), and L(F)=Φ is verified by differentiating at r=0 using the local chart formula. The self-citation [AGS20] provides mapping manifold machinery (exponential law, local trivializations) used as a tool in Lemma 2.10, but the target result (current algebroids are first-order) is proven by pointwise evaluation reducing to the original bracket — not assumed by citation. No fitted parameters, no definitional equivalences between inputs and outputs, and no self-citation chain that would make the central claims true by construction.

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

The paper introduces no new physical entities, particles, or forces. The 'first-order condition' (Definition 2.1) is a regularity hypothesis, not an invented entity. No free parameters are fitted to data. The axioms are standard domain assumptions from infinite-dimensional differential geometry, with one reliance on an unpublished result for smooth homotopy.

assumptions (5)
  • domain assumption Bastiani calculus framework: smoothness means continuous iterated Fréchet differentials in locally convex spaces.
    Stated in Preliminaries §1 and used throughout.
  • domain assumption Locally convex vector bundles are locally trivial with transition maps that are smooth trivial vector bundle isomorphisms.
    Definition in §1, used in all local computations.
  • domain assumption Lie groupoid arrow spaces may be non-Hausdorff, but bases and source fibers are Hausdorff.
    Stated in the introduction and §1; used for uniqueness arguments in §4.
  • domain assumption Continuous homotopies with fixed endpoints between smooth maps into Banach manifolds can be smoothed.
    Used in Theorem 4.8 proof; attributed to an unpublished Kriegl–Michor preprint.
  • standard math Banach-Lie groupoids admit source-simply connected covering groupoids.
    Used in Corollary 4.9; attributed to [Bel+19, Theorem 5.1].

how reviews work

0 comments
Cite this review

Pith. "Pith review of A category of locally convex Lie algebroids." pith.science (2026). https://pith.science/paper/SJG4BPYD

@misc{pith2026260707672,
  author       = {Pith},
  title        = {Pith review of: A category of locally convex Lie algebroids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SJG4BPYD}},
  note         = {Machine review of arXiv:2607.07672}
}
read the original abstract

We study first-order locally convex Lie algebroids in the setting of Bastiani calculus. The first-order condition is automatic in finite dimensions, but is an additional regularity hypothesis for general locally convex vector bundles. Under this condition, we define sheaves of scalar-valued and vector-valued Lie algebroid forms as fiberwise continuous alternating maps with smooth local representatives. We define morphisms by requiring the induced pullback on inverse-image sheaves of scalar-valued forms to commute with the Lie algebroid differentials, and prove that first-order locally convex Lie algebroids form a category. We also study representations and the induced cohomology sheaves. We show that locally convex Lie groupoids have first-order Lie algebroids and that Lie groupoid morphisms induce morphisms in this category. As applications, we prove that the current algebroid associated with a first-order Banach Lie algebroid is a first-order Fr\'echet Lie algebroid, and we prove a Lie II theorem in the Banach setting: first-order morphisms between the Lie algebroids of Banach-Lie groupoids under source-connected and source-simply connected hypotheses integrate to unique Lie groupoid morphisms.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Journal f

    Arias Abad, Camilo and Crainic, Marius , title =. Journal f

    work page

  2. [2]

    Lie Groupoids of Mappings Taking Values in a

    Amiri, Habib and Gl. Lie Groupoids of Mappings Taking Values in a. Archivum Mathematicum , volume =. doi:10.5817/AM2020-5-307 , eprint =

    work page doi:10.5817/am2020-5-307

  3. [3]

    Anastasiei, Mihai , title =. Analele

    work page

  4. [4]

    Banach--

    Belti. Banach--. Journal of Functional Analysis , volume =

    work page

  5. [5]

    Journal of Geometry and Physics , volume =

    Cabau, Patrick and Pelletier, Fernand , title =. Journal of Geometry and Physics , volume =

    work page

  6. [6]

    and Dherin, Benoit and Weinstein, Alan , title =

    Cattaneo, Alberto S. and Dherin, Benoit and Weinstein, Alan , title =. Portugaliae Mathematica , volume =

    work page

  7. [7]

    Commentarii Mathematici Helvetici , volume =

    Crainic, Marius , title =. Commentarii Mathematici Helvetici , volume =

    work page

  8. [8]

    Annals of Mathematics , volume =

    Crainic, Marius and Fernandes, Rui Loja , title =. Annals of Mathematics , volume =

    work page

Show all 27 references
  1. [9]

    The Quarterly Journal of Mathematics , volume =

    Evens, Sam and Lu, Jiang-Hua and Weinstein, Alan , title =. The Quarterly Journal of Mathematics , volume =

  2. [10]

    Advances in Mathematics , volume =

    Fernandes, Rui Loja , title =. Advances in Mathematics , volume =

  3. [11]

    Fundamentals of Submersions and Immersions Between Infinite-Dimensional Manifolds , date =

    Gl. Fundamentals of Submersions and Immersions Between Infinite-Dimensional Manifolds , date =. 1502.05795 , eprinttype =

    arXiv

  4. [12]

    Infinite-Dimensional

    Gl. Infinite-Dimensional. 2602.12362 , eprinttype =

  5. [13]

    and Mackenzie, Kirill C

    Higgins, Philip J. and Mackenzie, Kirill C. H. , title =. Journal of Algebra , volume =

  6. [14]

    Koszul, Jean-Louis , title =

  7. [15]

    Publications du D

    Kubarski, Jan , title =. Publications du D

  8. [16]

    , title =

    Kriegl, Andreas and Michor, Peter W. , title =

  9. [17]

    Dissertationes Mathematicae , volume =

    Marle, Charles-Michel , title =. Dissertationes Mathematicae , volume =. doi:10.4064/dm457-0-1 , eprint =

    doi

  10. [18]

    Mackenzie, Kirill C. H. , title =

  11. [19]

    Introduction to Foliations and

    Moerdijk, Ieke and Mr. Introduction to Foliations and

  12. [20]

    Japanese Journal of Mathematics , volume =

    Neeb, Karl-Hermann , title =. Japanese Journal of Mathematics , volume =

  13. [21]

    Comptes Rendus de l'Acad

    Pradines, Jean , title =. Comptes Rendus de l'Acad

  14. [22]

    Schmeding, Alexander , title =

  15. [23]

    Vaintrob, A. Yu. , title =. Russian Mathematical Surveys , volume =

  16. [24]

    Wockel, Christoph , title =

  17. [25]

    Journal of Functional Analysis , volume =

    Wockel, Christoph , title =. Journal of Functional Analysis , volume =

  18. [26]

    Belti. Queer. Journal of Geometry and Physics , volume =. doi:10.1016/j.geomphys.2018.06.013 , eprint =

    2018 doi

  19. [27]

    Poisson Structure on Predual of

    Goli. Poisson Structure on Predual of. 2505.13351 , eprinttype =

    arXiv

Pith tools

Reviewed July 9, 2026 · model on record in the stance chip above.