{"id":"arxiv/2610.35936","url":"https://arxiv.org/abs/2610.35936","tags":["math.DG"],"score":0,"title":"Formal Neighborhood Equivariant Cohomology and Kirwan Surjectivity at Singular Values","domain":"math.DG","source":"arxiv","authors":["Zhenxi Huang"],"reviews":0,"subject":"math.DG","summary":"Let \\(G\\) be a compact Lie group acting Hamiltonianly on a symplectic manifold \\(M\\) with moment map \\(μ:M\\to\\g^*\\). For a singular value \\(a\\) of \\(μ\\), the symplectic quotient \\(μ^{-1}(a)/G\\) is stratified and the classical Kirwan map is not defined. We introduce a \\emph{formal neighborhood equivariant cohomology} \\(\\cH_G^*(a)\\) using the slice-groupoid Cartan sheaf and the closed embedding \\(μ^{-1}(a)/G\\hookrightarrow μ^{-1}(U_a)/G\\) for a \\(G\\)-invariant neighborhood \\(U_a\\) of \\(a\\). We define a formal Kirwan map \\[ κ_{\\mathrm{formal}}:H_G^*(M)\\longrightarrow \\cH_G^*(a). \\] We prove…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}