Intersection cohomology. Simplicial blow-up and rational homotopy
From MaRDI portal
Publication:4645841
blow-upisolated singularitiesintersection cohomologyintersection homologyformalitySullivan minimal modelstratified spacespseudomanifoldsThom spacestopological invariancefiltered spacesnodal hypersurfacesbalanced perverse complexCS setsMorgan's model for complement of a divisorperverse local systemsThom-Whitney cohomology
Abstract: Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson. We do it simplicially in the setting of a filtered version of face sets, also called simplicial sets without degeneracies, in the sense of C.P. Rourke and B.J. Sanderson. We define perverse local systems over filtered face sets and intersection cohomology with coefficients in a perverse local system. In particular, as announced above when X is a pseudomanifold, we get a perverse local system of cochains quasi-isomorphic to the intersection cochains of Goresky and MacPherson, over a field. We show also that these two complexes of cochains are quasi-isomorphic to a filtered version of Sullivan's differential forms over the field Q. In a second step, we use these forms to extend Sullivan's presentation of rational homotopy type to intersection cohomology. For that, we construct a functor from the category of filtered face sets to a category of perverse commutative differential graded Q-algebras (cdga's) due to Hovey. We establish also the existence and unicity of a positively graded, minimal model of some perverse cdga's, including the perverse forms over a filtered face set and their intersection cohomology. Finally, we prove the topological invariance of the minimal model of a PL-pseudomanifold whose regular part is connected, and this theory creates new topological invariants. This point of view brings a definition of formality in the intersection setting and examples are given. In particular, we show that any nodal hypersurface in CP(4), is intersection-formal.
Recommendations
Cites work
- scientific article; zbMATH DE number 5080031 (Why is no real title available?)
- scientific article; zbMATH DE number 4005159 (Why is no real title available?)
- scientific article; zbMATH DE number 139469 (Why is no real title available?)
- scientific article; zbMATH DE number 192849 (Why is no real title available?)
- scientific article; zbMATH DE number 3504155 (Why is no real title available?)
- scientific article; zbMATH DE number 715014 (Why is no real title available?)
- scientific article; zbMATH DE number 1510507 (Why is no real title available?)
- scientific article; zbMATH DE number 2103273 (Why is no real title available?)
- Algebraic models in geometry
- Algebraic topology. Course and corrected exercises
- An introduction to intersection homology theory
- Cup and cap products in intersection (co)homology
- De Rham intersection cohomology for general perversities
- Deformation of homeomorphisms on stratified sets
- Duality and geometric homology with isolated singularities
- Espaces de Thom et contre-exemples de J.L. Verdier et M. Goresky
- Geometric transitions
- Homological properties of stratified spaces
- Homotopical algebra
- Homotopically Stratified Sets
- Homotopie rationelle: modèles de Chen, Quillen, Sullivan
- Infinitesimal computations in topology
- Intersection homological algebra
- Intersection homology operations
- Intersection homology theory
- Intersection homology. II
- Intersection spaces, spatial homology truncation, and string theory
- Lectures on minimal models
- On the chain-level intersection pairing for PL pseudomanifolds
- On 𝑃𝐿 de Rham theory and rational homotopy type
- Quillen model structures for relative homological algebra
- Rational homotopy theory
- Rational homotopy theory for non-simply connected spaces
- Real homotopy theory of Kähler manifolds
- Singular chain intersection homology for traditional and super-perversities
- Solvable minimal models
- Steenrod squares on intersection cohomology and a conjecture of M. Goresky and W. Pardon
- Stratified fibrations and the intersection homology of the regular neighborhoods of bottom strata
- Stratified mappings - structure and triangulability
- Tame intersection cohomology. A de Rham theorem
- The algebraic topology of smooth algebraic varieties
- The development of intersection homology theory
- Theorème de De Rham pour les variétés stratifiées. (The De Rham theorem for stratified manifolds)
- Topological invariance of intersection homology without sheaves
- Topological, simplicial and categorical joins
- Δ-SETS I: HOMOTOPY THEORY
Cited in
(17)- Intersection differential forms
- Homotopy theory of stratified spaces
- Hodge theory for intersection space cohomology
- Blown-up intersection cohomology
- Intersection homology
- A reasonable notion of dimension for singular intersection homology
- Rational homotopy of complex projective varieties with normal isolated singularities
- Steenrod squares on intersection cohomology and a conjecture of M. Goresky and W. Pardon
- Rational homotopy and intersection-formality of complex algebraic varieties
- A simplicial approach to stratified homotopy theory
- Poincaré duality with cap products in intersection homology
- Blown-up intersection cochains and Deligne's sheaves
- Sheaves of 𝐸-infinity algebras and applications to algebraic varieties and singular spaces
- Intersection homology duality and pairings: singular, PL and sheaf-theoretic
- Homotopy truncations of homotopically stratified spaces
- Variations on Poincaré duality for intersection homology
- Lefschetz duality for intersection (co)homology
This page was built for publication: Intersection cohomology. Simplicial blow-up and rational homotopy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645841)