pith. machine review for the scientific record. sign in

arxiv: 1612.09353 · v3 · submitted 2016-12-30 · 🧮 math.GT

Recognition: unknown

Generalizations of intersection homology and perverse sheaves with duality over the integers

Authors on Pith no claims yet
classification 🧮 math.GT
keywords dualityhomologyintersectionsheavesconditionsdelignegeneralizationgoresky-siegel
0
0 comments X
read the original abstract

We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincar\'e duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and Cappell-Shaneson duality theorems all arise as special cases. Unlike classical intersection homology theory, our duality theorem holds with ground coefficients in an arbitrary PID and with no local cohomology conditions on the underlying space. Self-duality does require local conditions, but our perspective leads to a new class of spaces more general than the Goresky-Siegel IP spaces on which upper-middle perversity intersection homology is self dual. We also examine categories of perverse sheaves that contain our "torsion-sensitive" Deligne sheaves as intermediate extensions.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. From Diaz's Enriques Product to an $n$-Fold Cup-Product Bockstein Family of Integral Hodge Counterexamples

    math.AG 2026-05 conditional novelty 6.0

    An n-fold cup-product Bockstein on products of Enriques surfaces produces non-algebraic 2-torsion integral Hodge classes in dimension 2n under the Brauer-separation hypothesis.

  2. Torsion Trajectories from Local Discriminants to Global Obstructions

    math.AG 2026-05 unverdicted novelty 6.0

    Computations for A1, Ak, D4, E8 and other singularities show finite discriminant torsion is a codimension-two phenomenon, not generic for nodes, with threefold ordinary double points being torsion-free.

  3. Integral Perverse Obstructions for Normal Surface Singularities: Resolution Determinants and Monodromy

    math.AG 2026-04 unverdicted novelty 5.0

    For normal surface singularities the integral perverse obstruction E equals H^2(link, Z)_tors, the discriminant group of the exceptional lattice (|E|=|det(M)|), and for hypersurfaces the torsion cokernel of (T-id) on ...