{"id":"arxiv/2602.11718","url":"https://arxiv.org/abs/2602.11718","tags":["math.AG","math.SG"],"score":0,"title":"Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity","domain":"math.AG","source":"arxiv","authors":["Naichung Conan Leung","Ying Xie","Yu Tung Yau"],"reviews":0,"subject":"math.AG","summary":"Given a smooth holomorphic symplectic variety $X$ with a Hamiltonian $G$-action, $G$-invariant Lagrangians $C's$ induce Lagrangians in the symplectic quotient $X// G$. Given clean intersections $B=C_1\\cap C_2$ whose conormal sequence splits, we show that $$C_1/G\\times_{X// G} C_2/G\\cong T^{\\vee}[-1](B/G).$$ When $det(N_{B/C_2})$ is torsion, we have $Ext^{\\bullet}_{X// G}(\\mathcal{O}_{C_1/G}, \\mathcal{O}_{C_2/G})\\cong H^{\\bullet}_G(B, det(N_{B/C_2})_δ)$ provided that the Hodge-to-de Rham degeneracy holds. Furthermore, we have a generalized version of Kirwan surjectivity $Ext^{\\bullet}_{X//…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-12","reactions":{}}