Commutative Control Data for Smoothly Locally Trivial Stratified Spaces

Yoav Zimhony
DOI: https://doi.org/10.1007/s00031-024-09893-w
2024-12-18
Transformation Groups
Abstract:For a compact Lie group G and a Hamiltonian G -space M with momentum map , we prove that the zero level set and the critical set of the norm squared momentum map are neighbourhood smooth weak deformation retracts. This confirms a conjecture by Harada and Karshon, and implies that their localization theorem for Duistermaat-Heckmann distributions applies to these subsets. We construct these smooth weak deformation retractions in three steps. First, we prove that the stratifications of these subsets by orbit types satisfy a local condition stronger than Whitney (B) regularity — smooth local triviality with conical fibers . Then, using this local condition we construct control data in the sense of Mather with additional compatibility properties - tangentiality and commutativity . Finally we use this control data to obtain neighbourhood smooth weak deformation retractions.
mathematics
What problem does this paper attempt to address?