{"id":"arxiv/2605.01855","url":"https://arxiv.org/abs/2605.01855","tags":["math.AG","math.AT"],"score":0,"title":"Homotopy coherent Gysin functoriality","domain":"math.AG","source":"arxiv","authors":["Frédéric Déglise","Niels Feld","Fangzhou Jin"],"reviews":0,"subject":"math.AG","summary":"We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses the higher deformation spaces of Dubouloz-Mayeux attached to flags of closed immersions, from which we build higher Gysin simplices and their simplicial identities up to contractible choices. A rigidification procedure then turns this coherent system into a strict contravariant simplicial functor extending both smooth pullbacks and closed-immersion Gysin…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-03","reactions":{}}