The Strong Homotopy Structure of Poisson Reduction

In this paper we propose a reduction scheme for multivector fields phrased in terms of $L_infty$-morphisms. Using well-know geometric properties of the reduced manifolds we perform a Taylor expansion of multivector fields, which allows us to built up a suitable deformation retract of DGLAs. We first obtained an explicit formula for the $L_infty$-Projection and -Inclusion of generic DGLA retracts. We then applied this formula to the deformation retract that we constructed in the case of multivector fields on reduced manifolds. This allows us to obtain the desired reduction $L_infty$-morphism. Finally, we perfom a comparison with other reduction procedures.