Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Poisson structure on predual of Banach Lie algebroid

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The predual bundle of a Banach Lie algebroid carries a canonical linear Poisson bracket, with Hamiltonian vector fields exactly under two dual-inclusion conditions.

desk verdict A solid, correct adaptation of the Lie algebroid--Poisson correspondence to predual bundles; the apparent sign error in Lemma 3.3 is a pairing-order artifact, not a real flaw. read the letter →

arxiv 2505.13351 v1 pith:Y47Q6SGM submitted 2025-05-19 math.DG math-phmath.FAmath.MP

Tomasz Goliński , Grzegorz Jakimowicz This is my paper · ORCID
classification math.DGmath-phmath.FAmath.MP MSC 53D1722E6546T05
keywords BanachLiealgebroidpredualbundlelinearPoissonstructuremanifoldqueerprecotangentweaksymplecticformHamiltonianvectorfields
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that a Banach Lie algebroid—an infinite-dimensional relative of a Lie algebra living over a manifold—has a natural Poisson geometry on its predual bundle, rather than on the dual bundle, which is usually too large in infinite dimensions. The construction works for all smooth functions, not just a restricted class, because the differentials of fiberwise-linear functions and base pullbacks span the full cotangent bundle of the predual. The paper also gives necessary and sufficient conditions, in terms of two dual-inclusion requirements, for this Poisson structure to have Hamiltonian vector fields for every smooth function, and it proves a converse: every linear Poisson structure of the right kind yields a Banach Lie algebroid on the dual bundle. This recovers the known Banach Lie–Poisson spaces as the special case of a Lie algebra, and it extends the weak-symplectic Poisson bracket on precotangent bundles to a genuine Poisson bracket.

What carries the argument

The load-bearing mechanism is the Poisson tensor $\Pi$ defined on two spanning families of functions, together with the observation that their differentials span $T^*E_*$ rather than only a characteristic subbundle. The tensor is fixed by $\Pi(d\lambda_X,d(f\circ\pi_*))=(a(X)f)\circ\pi_*$ and $\Pi(d\lambda_X,d\lambda_Y)=\lambda_{[X,Y]}$; non-queerness—the assumption that the Lie algebroid bracket depends only on first jets of sections—guarantees that $\lambda_{[X,Y]}$ is a function of $d\lambda_X,d\lambda_Y$, so $\Pi$ is well defined. The sharp map then has the explicit local form $\sharp(m,\varphi,\mu,x)=(m,\varphi,-a(x),a^*(\mu)-(ad^m_x)^*\varphi)$, and the two inclusions in Theorem 3.6 are precisely the conditions that make this map take values in $TE_*$.

What would settle it

Find a Banach Lie algebroid $E\to M$ whose typical fiber has no Schauder basis and whose bracket $[\cdot,\cdot]$ depends on higher derivatives of sections, i.e. two local sections with the same first jet at some point have a bracket with different values there; for such a queer algebroid, $\lambda_{[X,Y]}$ is not determined by $d\lambda_X,d\lambda_Y$, so the Poisson tensor in Theorem 3.2 is not well-defined and the proposed predual Poisson structure fails.

Watch

Extended reading notes

Core claim

On the paper's own terms: for any localizable, non-queer Banach Lie algebroid $E\to M$ that admits a predual bundle $E_*$, there is a canonical linear Poisson bracket on $E_*$ determined by the relations $\{\lambda_X,\lambda_Y\}=\lambda_{[X,Y]}$, $\{\lambda_X,f\circ\pi_*\}=(a(X)f)\circ\pi_*$, and $\{f\circ\pi_*,g\circ\pi_*\}=0$, where $\lambda_X$ are the fiberwise-linear functions and $\pi_*$ is the projection. The differentials of these functions span the whole cotangent bundle of $E_*$ (Proposition 3.1), so the bracket, defined first on this spanning family, extends to all smooth functions and satisfies the Jacobi identity. The predual $E_*$ becomes a Banach Poisson manifold in the sense of Definition 2.1 if and only if the dual anchor satisfies $a^*(T^*M)\subset E_*$ and the duals of the bilinear maps $ad^m_x$ satisfy $(ad^m_x)^*(E_*)\subset E_*$ for all $m$ and $x$. These two inclusions are exactly what makes the sharp map land in the tangent bundle, hence exactly the conditions under which Hamiltonian vector fields exist for every smooth function.

Load-bearing premise

The construction assumes the Lie algebroid bracket is non-queer, meaning it depends only on first jets of sections, while the proof that queer brackets cannot exist is given only for fibers with a Schauder basis; a queer bracket on a fiber without one would make the Poisson tensor ill-defined, and the whole construction also presupposes a smooth predual bundle.

Editorial extensions

If this is right

  • For a Banach Lie algebra (base a single point), the theorem reduces to the Banach Lie–Poisson space criterion $ad^*_x E_*\subset E_*$, recovering the known condition for the existence of Hamiltonian vector fields.
  • For $E=TM$ with a precotangent bundle $T_*M$, the canonical Poisson bracket extends the sub-Poisson bracket coming from the canonical weak symplectic form to all smooth functions on $T_*M$; in the non-reflexive case the two inclusions fail, so the precotangent bundle itself is not a Banach Poisson manifold.
  • For the trivial bundle $\ell^2\times\ell^\infty\to\ell^2$ with the specified anchor, the predual bundle $\ell^2\times\ell^1$ is a Banach Poisson manifold if and only if $A^*(\ell^2)\subset\ell^1$, giving a concrete infinite-dimensional example.
  • Conversely, any linear localizable non-queer Poisson bracket on $E_*$ satisfying the Definition 2.1 conditions yields a Banach Lie algebroid structure on $E$, closing the correspondence in the predual setting.
  • Because the spanning family is large enough, the resulting Poisson bracket is defined on all smooth functions of the predual bundle, not only on functions whose differentials lie in a characteristic subbundle as in the dual-bundle approach.

Reading between the lines

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

  • Going beyond the paper: the condition $a^*(T^*M)\subset E_*$ is strong enough that even the identity anchor of a tangent bundle fails for non-reflexive manifolds; this suggests Hamiltonian vector fields on predual bundles will exist only for anchors whose dual is adapted to the chosen predual subbundle.
  • The paper leaves open whether queer Banach Lie algebroids exist on fibers without a Schauder basis; if one is ever constructed, Theorem 3.2's Poisson tensor would not be well defined on the predual, so the scope of this construction is tied to that open problem.
  • One testable extension would be to search systematically for anchors $A$ on trivial bundles $M\times E$ that satisfy $A^*(T^*M)\subset E_*$ and the adjoint-type inclusion; the paper's $\ell^2$ example is one such instance, and many others could be built the same way.
  • This predual viewpoint may make Banach Poisson geometry accessible in settings where the cotangent space is hard to describe, such as spaces of compact operators as preduals of bounded operators on a Hilbert space.
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, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper constructs a linear Poisson bracket on the predual bundle E_* of a Banach Lie algebroid E over a Banach manifold M, assuming the existence of a smooth predual bundle and excluding 'queer' algebroids. Section 3 defines the bracket by the relations (3.4), computes the sharp map in Lemma 3.3, gives the local coordinate formula (3.5), and states necessary and sufficient conditions for E_* to be a Banach Poisson manifold in the sense of Definition 2.1 (Theorem 3.6). Section 4 proposes a converse construction of a Lie algebroid on E from a linear Poisson bracket on E_*. Sections 5 and 6 discuss the precotangent bundle example and a trivial ℓ2×ℓ∞ example. The construction is explicit and parameter-free, and it reduces to the known Banach Lie–Poisson space theorem [OR03] when M is a point.

Significance. If the main construction is correct, the paper gives a clean infinite-dimensional analogue of the linear Poisson structure on the dual of a Lie algebroid, with a concrete criterion for the existence of Hamiltonian vector fields. The explicit local formula (3.5) and the reduction to the Lie algebra case are useful sanity checks. The paper also contributes a partial negative result on queer Banach Lie algebroids for fibers with a Schauder basis. However, the manuscript as written has a sign error in the converse theorem of Section 4 and an insufficiently justified Jacobi-identity step in Theorem 3.2, so the claims are not yet fully supported.

major comments (2)
  1. [Section 4, Theorem 4.3] The anchor as defined in Theorem 4.3 has a sign inconsistency. With Definition 2.1, ♯(dλ_X)(d(f∘π_*)) = {f∘π_*, λ_X}; the paper itself uses this convention in the proof of Lemma 3.3. Therefore for a(X) = Tπ_*♯(dλ_X), one has (a(X)f)∘π_* = {f∘π_*, λ_X} = -{λ_X, f∘π_*}. In the computation of [X_1, fX_2], the term {λ_{X_1}, f∘π_*} is replaced by ♯(dλ_{X_1})(f∘π_*) = a(X_1)f, which has the opposite sign. The resulting Leibniz rule is [X_1, fX_2] = f[X_1,X_2] - (a(X_1)f)X_2, contradicting condition 1 of Definition 2.3. The theorem can be repaired by defining a(X) = -Tπ_*♯(dλ_X), but as written the converse statement is not correct.
  2. [Section 3, Theorem 3.2] The Jacobi identity is not proved in the manuscript. The final step of the proof says that because the differentials of functions of the form λ_X + f∘π_* span T^*E_* and the Poisson bracket depends only on differentials, the Jacobi identity for all functions follows. This is not justified as written: the expression {f,{g,h}} involves derivatives of the Poisson tensor and can depend on second derivatives of f,g,h, so spanning of first differentials at each point does not by itself reduce the verification. A rigorous argument is needed, for example by proving that the Schouten bracket [Π,Π] vanishes by checking it on the spanning family of 1-forms and using the algebroid Jacobi identity, or by citing a precise statement in [CP12] that covers this predual setting. As written, the central existence claim of Theorem 3.2 is not fully supported.
minor comments (5)
  1. [Section 6, final paragraph] The sentence 'we obtain linear Banach Poisson structure on ℓ2×ℓ∞' should refer to the predual bundle, i.e. ℓ2×ℓ1, since the Poisson structure is constructed on E_*, not on E.
  2. [Section 3, page 12] The text 'from Proposition 3.2 we obtain a Poisson bracket' should read 'from Theorem 3.2', since the reference is to the main existence theorem of Section 3.
  3. [Introduction, page 2] The word 'precontangent' should be 'precotangent' in the sentence 'we discuss the case of weak symplectic structure on a precontangent bundle'.
  4. [Theorem 2.4 proof] The proof uses convergence of the series Σ s_n e_n and continuity of the Lie bracket, but the Banach space topology on Γ(E) is never specified. Please state the functional-analytic assumptions on the space of sections that make the series argument valid.
  5. [Section 4, Lemma 4.2] The notation 's(m)∈(π_*^{-1}(m))^* = π^{-1}(m)⊂E' would be clearer if written as 'the fiber E_m of E', since π^{-1}(m) is a subset of the total space E, not a section.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the Poisson bracket is constructed directly from the Lie algebroid data; self-citations are motivational or support naturality assumptions, not load-bearing.

full rationale

No circular step can be exhibited. Theorem 3.2 defines the Poisson bracket directly from the Lie algebroid via the explicit relations (3.4), with no fitted parameters and no target result assumed. Proposition 3.1 proves that the chosen generating functions span the cotangent bundle, and the Jacobi identity is delegated to the external result [CP12] rather than to a self-citation. The reduction to the Banach Lie algebra case [OR03] is a consistency check, not an input. The non-queerness assumption in Definition 2.3 is an explicit hypothesis; Theorem 3.2's use of it is definitional (bracket depends only on first jets), not circular. Self-citations such as [BGT18], [BGJP19], [GT24a,b], [GO10], and [OJS15,18] are motivational or support the naturality of localizability/non-queerness; none carries the construction of the Poisson tensor or the membership conditions (3.6)-(3.7). A reviewer-identified sign inconsistency in Lemma 3.3 is a correctness risk for the proof of Theorem 3.6 as written, but it is not circularity: the sharp-map formula is derived from the defining relations rather than assumed, and the stated predual-membership conditions are invariant under the sign reversal. Therefore the derivation chain is self-contained with respect to its own inputs.

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

The paper introduces no new particles, forces, or entities; the only technical notions (predual bundle, queer bracket) are defined from existing concepts. All assumptions are explicit domain assumptions of Banach geometry. No free parameters are fitted anywhere.

assumptions (5)
  • domain assumption Existence of a smooth predual bundle E_* of the Banach vector bundle E, compatible with local trivializations.
    Postulated in Section 2.3: 'We will postulate the existence of a predual space E_* to the Banach space E and a predual bundle...'. Not automatic; Section 5 notes that even the modeling space may lack a predual.
  • domain assumption The Lie algebroid bracket is localizable and non-queer (depends only on first jets); the Poisson bracket is localizable and non-queer.
    Definition 2.3 condition 3 and Definition 2.1 localizability; used in Theorem 3.2 to ensure lambda_[X,Y] and the Poisson tensor depend only on first differentials. The no-queer theorem covers only Schauder-basis fibers.
  • domain assumption The space of sections Gamma(E) is a Banach Lie algebra (bracket continuous with respect to a Banach norm).
    Part of Definition 2.3 condition 2; needed for the Schauder basis argument in Theorem 2.4 and for the Lie algebra structure.
  • standard math Enough local smooth functions exist and the predual separates the fiber (Hahn-Banach type).
    Implicit in Proposition 3.1 to span the cotangent, and in Lemma 4.2 to recover sections from fiberwise linear functions.
  • domain assumption The typical fiber admits a Schauder basis (for Theorem 2.4).
    Theorem 2.4 assumes this; it does not hold for e.g. l-infinity, so the theorem leaves the queer question open for such fibers.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Poisson structure on predual of Banach Lie algebroid." pith.science (2026). https://pith.science/paper/Y47Q6SGM

@misc{pith2026250513351,
  author       = {Pith},
  title        = {Pith review of: Poisson structure on predual of Banach Lie algebroid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y47Q6SGM}},
  note         = {Machine review of arXiv:2505.13351}
}
read the original abstract

We construct the linear Poisson structure on the predual bundle of a Banach Lie algebroid. It is an alternative approach to the already known results on the linear sub-Poisson structure on the dual bundle. We also discuss the existence of queer Banach Lie algebroids. An example of a precotangent bundle is presented.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A category of locally convex Lie algebroids

    math.DG 2026-07 accept novelty 6.0 of 10

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

Reference graph

Works this paper leans on

19 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [9]

    URL http://dx.doi.org/10.1016/j.jfa.2010. 01.019. 19 [GRT25] Goliński, T.,Rahangdale, P.,Tumpach, A.B.Poisson structures in the Banach setting: comparison of different approaches. In P. Kielanowski, A. Dobrogowska, D.J. Fernández C., T. Goliński, eds.,XLI Workshop on Geometric Methods in Physics, Trends in Mathematics. Birkhäuser, Cham,

    doi:10.1016/j.jfa.2010 2010

  2. [11]

    doi.org/10.1007/978-3-031-62407-0_5

    URLhttp://dx. doi.org/10.1007/978-3-031-62407-0_5. [GU97] Grabowski, J.,Urbański, P.Lie algebroids and Poisson–Nijenhuis struc- tures. Rep. Math. Phys.,40(2):195–208,

    work page doi:10.1007/978-3-031-62407-0_5

  3. [14]

    [OJS15] Odzijewicz, A.,Jakimowicz, G.,Sliżewska, A.Banach–Lie algebroids associatedtothegroupoidofpartiallyinvertibleelementsofa W∗-algebra

    URL http://dx.doi.org/10.1016/j.geomphys.2011.03.006. [OJS15] Odzijewicz, A.,Jakimowicz, G.,Sliżewska, A.Banach–Lie algebroids associatedtothegroupoidofpartiallyinvertibleelementsofa W∗-algebra. 20 J. Geom. Phys.,95:108–126,

    work page doi:10.1016/j.geomphys.2011.03.006 2011

  4. [16]

    [OR03] Odzijewicz, A.,Ratiu, T.S.Banach Lie–Poisson spaces and reduction

    URL http://dx.doi.org/10.1016/j.geomphys.2017.09.012. [OR03] Odzijewicz, A.,Ratiu, T.S.Banach Lie–Poisson spaces and reduction. Comm. Math. Phys.,243:1–54,

    work page doi:10.1016/j.geomphys.2017.09.012 2017

  5. [18]

    [Pra67] Pradines, J.Theorie de Lie pour les groupoïdes différentiable

    URL http://dx.doi.org/10.1016/ j.geomphys.2018.10.017. [Pra67] Pradines, J.Theorie de Lie pour les groupoïdes différentiable. CR Acad. Sci. Paris,264:245–248,

    work page 2018

  6. [1990]

    [CP12] Cabau, P.,Pelletier, F.Almost Lie structures on an anchored Banach bundle

    URL http://dx.doi.org/10.1090/S0002-9947-1990-0998124-1. [CP12] Cabau, P.,Pelletier, F.Almost Lie structures on an anchored Banach bundle. J. Geom. Phys.,62(11):2147–2169,

    doi:10.1090/s0002-9947-1990-0998124-1 1990

  7. [1997]

    [Kar86] Karasev, M.V.Analogues of the objects of Lie group theory for nonlinear Poisson brackets

    URLhttp://dx.doi.org/ 10.1016/S0034-4877(97)85916-2. [Kar86] Karasev, M.V.Analogues of the objects of Lie group theory for nonlinear Poisson brackets. Izv. Akad. Nauk. CCCP Ser. Matem.,50(3):508–538,

    work page doi:10.1016/s0034-4877(97)85916-2

  8. [2002]

    [NST14] Neeb, K.H.,Sahlmann, H.,Thiemann, T.WeakPoissonstructuresoninfinite dimensional manifolds and hamiltonian actions

    URLhttps://arxiv.org/abs/0804.2451. [NST14] Neeb, K.H.,Sahlmann, H.,Thiemann, T.WeakPoissonstructuresoninfinite dimensional manifolds and hamiltonian actions. InLie Theory and Its Applications in Physics, pages 105–135. Springer,

    arXiv

Show all 19 references
  1. [2005]

    org/10.1007/s00039-005-0524-9

    URL http://dx.doi. org/10.1007/s00039-005-0524-9. [BRT07] Beltiţă, D.,Ratiu, T.S.,Tumpach, A.B.The restricted Grassmannian, Banach Lie–Poisson spaces, and coadjoint orbits. J. Funct. Anal.,247:138– 168,

    doi

  2. [2007]

    [CDW87] Coste, A.,Dazord, P.,Weinstein, A.Groupoïdes symplectiques

    URLhttp://dx.doi.org/10.1016/j.jfa.2007.03.001. [CDW87] Coste, A.,Dazord, P.,Weinstein, A.Groupoïdes symplectiques. Publi- cations du Département de mathématiques (Lyon),2A:1–62,

    2007 doi

  3. [2008]

    [PC19] Pelletier, F.,Cabau, P.Convenient partial Poisson manifolds

    URLhttp: //dx.doi.org/10.1016/j.jfa.2008.06.001. [PC19] Pelletier, F.,Cabau, P.Convenient partial Poisson manifolds. J. Geom. Phys.,136:173–194,

    2008 doi

  4. [2010]

    [GO10] Goliński, T.,Odzijewicz, A.Hierarchy of Hamilton equations on Banach Lie–Poisson spaces related to restricted Grassmannian

    URLhttp://dx.doi.org/10.3934/ jgm.2010.2.159. [GO10] Goliński, T.,Odzijewicz, A.Hierarchy of Hamilton equations on Banach Lie–Poisson spaces related to restricted Grassmannian. J. Funct. Anal., 258:3266–3294,

    2010

  5. [2011]

    doi.org/10.2478/v10157-011-0035-y

    URLhttp://dx. doi.org/10.2478/v10157-011-0035-y. [BF66] Bonic, R.,Frampton, J.Smooth functions on Banach manifolds. J. Math.Mech.,15(5):877–898,1966.URL https://www.jstor.org/stable/ 24901438. 18 [BGJP19] Beltiţă, D.,Goliński, T.,Jakimowicz, G.,Pelletier, F.Banach–Lie groupoid...

    1966 doi

  6. [2012]

    org/10.1016/j.geomphys.2012.06.005

    URL http://dx.doi. org/10.1016/j.geomphys.2012.06.005. [CP24] Cabau, P.,Pelletier, F.Direct and Projective Limits of Geometric Banach Structures. CRC Press, New York,

    2012 doi

  7. [2015]

    geomphys.2015.05.003

    URLhttp://dx.doi.org/10.1016/j. geomphys.2015.05.003. [OJS18] Odzijewicz, A.,Jakimowicz, G.,Sliżewska, A.Fiber-wise linear Poisson structures related toW∗-algebras. J. Geom. Phys.,123:385–423,

    2015 doi

  8. [2018]

    [BR05] Beltiţă, D.,Ratiu, T.S.Symplectic leaves in real Banach Lie–Poisson spaces

    URL http://dx.doi.org/10.1016/ j.geomphys.2018.06.013. [BR05] Beltiţă, D.,Ratiu, T.S.Symplectic leaves in real Banach Lie–Poisson spaces. Geom. Funct. Anal.,15(4):753–779,

    2018

  9. [2019]

    [BGT18] Beltiţă, D.,Goliński, T.,Tumpach, A.B.Queer Poisson brackets

    URLhttp://dx.doi.org/10.1016/j.jfa.2018.12.002. [BGT18] Beltiţă, D.,Goliński, T.,Tumpach, A.B.Queer Poisson brackets. J. Geom. Phys.,132:358–362,

    2018 doi

  10. [2020]

    URLhttp://dx.doi.org/10.1007/s00220-019-03674-3. 21

    doi

  11. [2024]

    [GT24b] Goliński, T.,Tumpach, A.B.Integrable system on partial isometries: a finite dimensional picture

    URLhttp://dx.doi.org/ 10.3842/SIGMA.2024.104. [GT24b] Goliński, T.,Tumpach, A.B.Integrable system on partial isometries: a finite dimensional picture. In P. Kielanowski, D. Beltiţă, A. Dobrogowska, T. Goliński, eds.,XL Workshop on Geometric Methods in Physics, Trends in Mathem...

    2024 doi

Pith tools

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