A smooth map between Poisson manifolds is a Poisson map when for all smooth functions on . When a Lie group acts by Poisson automorphisms and the quotient is smooth, brackets of invariant functions descend and make the quotient projection Poisson. The quotient can be Poisson without being symplectic.
New to topics? Read the docs here!