Poisson reduction by distributions (Q1013632)

The problem of reduction of a smooth Poisson manifold with a free and proper action of a Lie group was generalized in many directions, first of all by distributions, [see \textit{J. E. Marsden, T. S. Ratiu}, Lett. Math. Phys. 11, 161--169 (1986; Zbl 0602.58016)]. Particularly, the authors considered an embedded submanifold \(S\subset M\) and a vector subbundle \( B\subset TM|_{S}\) such that \(B_{S}:=B\cap TS\) is a canonical regular integrable distribution on \(S\) and they found the necessary and sufficient condition for the leaf space \(S/B_{S}\) to inherit a smooth Poisson structure from \(M.\) Next, \textit{F. Falceto, M. Zambon} [Lett. Math. Phys. 85, No.~2--3, 203--219 (2008; Zbl 1204.53069)] have proved that this condition always holds unless this distribution \(B\) is zero. The method of Marsden and Ratiu was generalized by \textit{J.-P. Ortega} and \textit{T. S. Ratiu} [Lett. Math. Phys. 46, No.~4, 359--372 (1998; Zbl 0989.37070)] to an arbitrary decomposed subset \( S\subset M\) and distributions in \(TM|_{S}\) adapted to the decomposition of \( S.\) In the reviewed article, the authors pose the following question: Does an statement analogous to the results of Facelto and Zambon for the generalized situation of Ortega and Ratiu hold? They obtain a result that not only recovers this statement but also can be applied to the singular situation. Additionally, they show that if a Lie group acts properly and canonically on a Poisson manifold, then each stratum of the reduced space inherits a Poisson structure. Some applications to the problem of reduction for Poisson manifolds by pseudogroups are also considered.