We consider the problem of deforming simultaneously a pair of given
structures. We show that such deformations are governed by an L-infinity
algebra, which we construct explicitly. Our machinery is based on Th. Voronov's
derived bracket construction.
We consider algebraic and geometric applications, including the deformations
of morphisms of various kinds of algebras, of coisotropic submanifolds in
Poisson manifolds, and of twisted Poisson structures.
We consider a manifold endowed with a certain geometric structure -- a higher
analogue of Dirac structure -- and associate to it a Lie 2-algebra (a
particular kind of L-infinity algebra). This extends recent work of Baez,
Hoffnung and Rogers on multisymplectic forms. We make some observations on
higher analogues of Courant algebroids and on the relation to the L-infinity
algebras associated to them.