Résumé : In this talk, we discuss the reduction-quantization diagram in terms of formality. First, we propose a reduction scheme for multivector fields and multidifferential operators, phrased in terms of L-infinity morphisms. This requires the introduction of equivariant multivector fields and equivariant multidifferential operator complexes, which encode the information of the Hamiltonian action, i.e., a G-invariant Poisson structure allowing for a momentum map. As a second step, we discuss an equivariant version of the formality theorem, conjecturedby Tsygan and recently solved in a joint work with Nest, Schnitzer, and Tsygan. This result has immediate consequences in deformation quantization, since it allows for obtaining a quantum moment map from a classical momentum map with respect to a G-invariant Poisson structure.

Mots-Clés : Formality; reduction