Extensions of Noether's Second Theorem: from continuous to discrete systems

A simple local proof of Noether's Second Theorem is given. This proof immediately leads to a generalization of the theorem, yielding conservation laws and/or explicit relationships between the Euler--Lagrange equations of any variational problem whose symmetries depend upon a set of free or partly-constrained functions. Our approach extends further to deal with finite difference systems. The results are easy to apply; several well-known continuous and discrete systems are used as illustrations

Modular classes of Poisson-Nijenhuis Lie algebroids

The modular vector field of a Poisson-Nijenhuis Lie algebroid $A$ is defined and we prove that, in case of non-degeneracy, this vector field defines a hierarchy of bi-Hamiltonian $A$-vector fields. This hierarchy covers an integrable hierarchy on the base manifold, which may not have a Poisson-Nijenhuis structure.Comment: To appear in Letters in Mathematical Physic

Poisson Manifolds, Lie Algebroids, Modular Classes: a Survey

After a brief summary of the main properties of Poisson manifolds and Lie algebroids in general, we survey recent work on the modular classes of Poisson and twisted Poisson manifolds, of Lie algebroids with a Poisson or twisted Poisson structure, and of Poisson-Nijenhuis manifolds. A review of the spinor approach to the modular class concludes the paper

Jacobi-Nijenhuis algebroids and their modular classes

Jacobi-Nijenhuis algebroids are defined as a natural generalization of Poisson-Nijenhuis algebroids, in the case where there exists a Nijenhuis operator on a Jacobi algebroid which is compatible with it. We study modular classes of Jacobi and Jacobi-Nijenhuis algebroids

Derived bracket construction and Manin products

We will extend the classical derived bracket construction to any algebra over a binary quadratic operad. We will show that the derived product construction is a functor given by the Manin white product with the operad of permutation algebras. As an application, we will show that the operad of prePoisson algebras is isomorphic to Manin black product of the Poisson operad with the preLie operad. We will show that differential operators and Rota-Baxter operators are, in a sense, Koszul dual to each other.Comment: This is the final versio

Integration of Holomorphic Lie Algebroids

We prove that a holomorphic Lie algebroid is integrable if, and only if, its underlying real Lie algebroid is integrable. Thus the integrability criteria of Crainic-Fernandes do also apply in the holomorphic context without any modification. As a consequence we give another proof of the following theorem: a holomorphic Poisson manifold is integrable if, and only if, its real (or imaginary) part is integrable as a real Poisson manifold.Comment: 26 pages, second part of arXiv:0707.4253 which was split into two, v2: example 3.19 and section 3.7 adde

Lax-Nijenhuis operators for integrable systems

Abstract The relationship between Lax and bihamiltonian formulations of dynamical systems on finite-or infinite-dimensional phase spaces is investigated. The LaxNijenhuis equation is introduced and it is shown that every operator that satisfies that equation satisfies the Lenard recursion relations, while the converse holds for an operator with a simple spectrum. Explicit higher-order Hamiltonian structures for the Toda system, a second Hmailtonian structure of the Euler equation for a rigid body in n-dimensional space, and the quadratic Adler-Gelfand-Dickey structure for the KdV hierarchy are derived using the Lax-Nijenhuis equation. Résumé Onétudie la relation entre formalisme de Lax et formalisme bihamiltonien sur des espaces de phases de dimension finie ou infinie. On introduit l'équation de Lax-Nijenhuis et l'on montre que tout opérateur qui satisfait cetteéquation satisfait les relations de récurrence de Lenard, tandis que la réciproque est valable pour un opérateurà spectre simple. On calcule des structures hamiltoniennes d'ordre supérieur pour le système de Toda, une deuxième structure hamiltonienne pour leś equations d'Euler d'un corps solide dans l'espaceà n dimensions, et la deuxième structure de Adler-Gelfand-Dickey pour la hiérarchie KdV en utilisant l'équation de Lax-Nijenhuis. PACS numbers: 02.20 +b, 02.40 +

Modular classes of skew algebroid relations

Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is a homogeneous nowhere-vanishing 1-density on E* which is invariant with respect to all Hamiltonian vector fields if and only if E is modular, i.e. mod(E)=0. Further, relative modular class of a subalgebroid is introduced and studied together with its application to holonomy, as well as modular class of a skew algebroid relation. These notions provide, in particular, a unified approach to the concepts of a modular class of a Lie algebroid morphism and that of a Poisson map.Comment: 20 page

Non-Commutative Batalin-Vilkovisky Algebras, Homotopy Lie Algebras and the Courant Bracket

We consider two different constructions of higher brackets. First, based on a Grassmann-odd, nilpotent \Delta operator, we define a non-commutative generalization of the higher Koszul brackets, which are used in a generalized Batalin-Vilkovisky algebra, and we show that they form a homotopy Lie algebra. Secondly, we investigate higher, so-called derived brackets built from symmetrized, nested Lie brackets with a fixed nilpotent Lie algebra element Q. We find the most general Jacobi-like identity that such a hierarchy satisfies. The numerical coefficients in front of each term in these generalized Jacobi identities are related to the Bernoulli numbers. We suggest that the definition of a homotopy Lie algebra should be enlarged to accommodate this important case. Finally, we consider the Courant bracket as an example of a derived bracket. We extend it to the "big bracket" of exterior forms and multi-vectors, and give closed formulas for the higher Courant brackets.Comment: 42 pages, LaTeX. v2: Added remarks in Section 5. v3: Added further explanation. v4: Minor adjustments. v5: Section 5 completely rewritten to include covariant construction. v6: Minor adjustments. v7: Added references and explanation to Section

A supergeometric approach to Poisson reduction

This work introduces a unified approach to the reduction of Poisson manifolds using their description by graded symplectic manifolds. This yields a generalization of the classical Poisson reduction by distributions (Marsden-Ratiu reduction). Further it allows one to construct actions of strict Lie 2-groups and to describe the corresponding reductions.Comment: 40 pages. Final version accepted for publicatio