Abstract:We extend to Poisson manifolds the theory of hamiltonian Lie algebroids originally developed by two of the authors for presymplectic manifolds. As in the presymplectic case, our definition, involving a vector bundle connection on the Lie algebroid, reduces to the definition of hamiltonian action for an action Lie algebroid with the trivial connection. The clean zero locus of the momentum section of a hamiltonian Lie algebroid is an invariant coisotropic submanifold, the distribution being given by the image of the anchor. We study some basic examples: bundles of Lie algebras with zero anchor and cotangent and tangent Lie algebroids. Finally, we discuss a suggestion by Alejandro Cabrera that the conditions for a Lie algebroid $A$ to be hamiltonian may be expressed in terms of two bivector fields on $A^*$, the natural Poisson structure on the dual of a Lie algebroid and the horizontal lift by the connection of the given Poisson structure on the base.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define Hamiltonian Lie Algebroids on Poisson manifolds. Specifically, the authors hope to extend the previously developed theory of Hamiltonian Lie Algebroids on presymplectic manifolds to Poisson manifolds. This extension not only requires redefining the concept of Hamiltonian Lie Algebroids, but also needs to prove that these new definitions are equivalent to the original definitions on presymplectic manifolds in the non - degenerate case, and explore the applications of these definitions in some basic examples, such as Lie algebroids, cotangent Lie algebroids and tangent Lie algebroids, etc.
### Main problems
1. **Definition extension**: How to define Hamiltonian Lie Algebroids on Poisson manifolds?
2. **Equivalence**: In the non - degenerate case, are the definitions of Hamiltonian Lie Algebroids on Poisson manifolds equivalent to those on presymplectic manifolds?
3. **Property study**: Explore some basic properties of Hamiltonian Lie Algebroids, such as the invariance of the zero - set of the momentum section, and its performance in some specific examples.
### Specific problems
- **Definition**: The paper proposes three conditions to define Hamiltonian Lie Algebroids on Poisson manifolds:
- (H1Poi) The Lie algebroid \(A\) is Poisson - anchored under the connection \(D\), that is, \(\check{D}\Pi = 0\).
- (H2Poi) There exists a \(D\)-momentum section \(\mu\in\Gamma(A^*)\) such that \(\rho_a=\iota_{\langle D\mu, a\rangle}\Pi\).
- (H3Poi) The momentum section \(\mu\) is bracket - compatible, that is, \((d_A\mu)(a, b)=\Pi(\langle D\mu, a\rangle,\langle D\mu, b\rangle)\).
- **Equivalence**: When the Poisson bivector field \(\Pi\) is non - degenerate, the definition of Hamiltonian Lie Algebroids on Poisson manifolds is equivalent to that on presymplectic manifolds.
- **Property study**:
- **Invariance of the zero - set**: The zero - set \(Z\) of the momentum section is invariant, that is, if an orbit intersects with \(Z\), then the entire orbit is in \(Z\).
- **Clean zero - set**: The clean zero - set \(Z_{\text{cl}}\) is a co - homology sub - manifold, and its characteristic distribution is equal to the image of the anchor map.
- **Basic examples**: Discuss the properties of Hamiltonian Lie Algebroids in basic examples such as Lie algebroids, cotangent Lie algebroids and tangent Lie algebroids.
### Conclusion
Through the study of these definitions and properties, the paper successfully extends the concept of Hamiltonian Lie Algebroids from presymplectic manifolds to Poisson manifolds and provides applications in some specific examples. This provides a new framework for understanding broader geometric structures and dynamical systems.