2016/05/11 by Mykytyuk, Ihor V., Panasyuk, Andriy
#53D17 37J15 #Differential Geometry (math.DG) #FOS: Mathematics
paper · doi:10.48550/arxiv.1605.03382
Let X be a manifold with a bi-Poisson structure \ηt\ generated by a pair of G-invariant symplectic structures ω1 and ω2, where the Lie group G acts properly on X. Let H be some isotropy subgroup for this action representing the principle orbit type and Xr_\mathfrakh be the submanifold of X consisting of the points in X with the stabilizer algebra equal to the Lie algebra \mathfrakh of H and with the stabilizer group conjugated to H in G. We prove that the pair of symplectic structures ω1|_Xr_\mathfrakh and ω2|_Xr_\mathfrakh generates an N(H0)/H0-invariant bi-Poisson structure on Xr_\mathfrakh, where N(H0) is the normalizer in G of the identity component H0 of H. The action of \widetilde G=N(H0)/H0 on Xr_\mathfrakh is locally free and proper and, moreover, the spaces AG of G-invariant functions on X and A\widetilde G of \widetilde G-invariant functions on Xr_\mathfrakh can be canonically identified and therefore the bi-Poisson structure \(ηt)'\ induced on AG≃ A\widetilde G can be treated as the reduction with respect to a \em locally free action of a Lie group which essentially simplifies the study of \(ηt)'\.