Topological invariance of torsion-sensitive intersection homology

DOI10.1007/S10711-023-00843-6MaRDI QIDQ6077282zbMATH OpenOpenAlexFDO

Publication date 17 October 2023

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.07790

CS set Deligne sheaf intersection cohomology intersection homology perversity stratification

Duality in algebraic topology (55M05) Sheaf cohomology in algebraic topology (55N30) Intersection homology and cohomology in algebraic topology (55N33) Stratifications in topological manifolds (57N80)

Abstract: Torsion sensitive intersection homology was introduced to unify several versions of Poincare duality for stratified spaces into a single theorem. This unified duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. In this paper we consider for torsion sensitive intersection homology analogues of another important property of classical intersection homology: topological invariance. In other words, we consider to what extent the defining sheaf complexes of the theory are independent (up to quasi-isomorphism) of choice of stratification. In addition to providing torsion sensitive versions of the existing invariance theorems for classical intersection homology, our techniques provide some new results even in the classical setting.

Review text

Categories of torsion-sensitive perverse sheaves were introduced in [\textit{G. Friedman}, Mich. Math. J. 68, No. 4, 675--726 (2019; Zbl 1439.55008)] in order to unify several intersection homology duality theorems, see [\textit{M. Goresky} and \textit{R. MacPherson}, Topology 19, 135--165 (1980; Zbl 0448.55004), \textit{M. Goresky} and \textit{R. MacPherson}, Invent. Math. 72, 77--129 (1983; Zbl 0529.55007), \textit{M. Goresky} and \textit{P. Siegel}, Comment. Math. Helv. 58, 96--110 (1983; Zbl 0529.55008), \textit{S. E. Cappell} and \textit{J. L. Shaneson}, Ann. Math. (2) 134, No. 2, 325--374 (1991; Zbl 0759.55002)], as special cases of a more general duality theorem in which torsion phenomena are encoded into the sheaf complexes. The torsion-sensitive-Deligne sheaves are a generalisation of Deligne sheaves on stratified pseudomaniflods, [\textit{A. Beilinson} et al., Faisceaux pervers. Actes du colloque ``Analyse et Topologie sur les Espaces Singuliers. Partie I. 2nd edition. Paris: Société Mathématique de France (SMF) (2018; Zbl 1390.14055)], since they are the intermediate extensions of torsion-sensitive coefficient systems and they can be characterised by a set of axioms which generalise the ones by Goresky and MacPherson for ordinary Deligne sheaves. This paper is devoted to the study of the topological invariance (up to quasi-isomorphism) of the torsion-sensitive-Deligne sheaves. For the classical Deligne sheaves this problem was considered in [\textit{M. Goresky} and \textit{R. MacPherson}, Invent. Math. 72, 77--129 (1983; Zbl 0529.55007), \textit{H. C. King}, Topology Appl. 20, 149--160 (1985; Zbl 0568.55003)]. The topological invariance in the torsion sensitive category is achieved in Theorem 3.6; this theorem recovers (with a different proof) the original Goresky-MacPherson theorem [\textit{M. Goresky} and \textit{R. MacPherson}, Invent. Math. 72, 77--129 (1983; Zbl 0529.55007)], as well as results in [\textit{D. Chataur} et al., Ill. J. Math. 63, No. 1, 127--163 (2019; Zbl 1451.55002), \textit{N. Habegger} and \textit{L. Saper}, Invent. Math. 105, No. 2, 247--272 (1991; Zbl 0759.55003)].

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Topological invariance of torsion-sensitive intersection homology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6077282)