Abstract
The famous duality theorems for compact oriented manifolds: Poincaré duality between cohomology and homology, and Poincaré-Lefschetz duality, intersection between cycles, are no longer true for a singular variety. A huge and fantastic step forward was taken by Mark Goresky and Robert MacPherson by the simple but brilliant idea of rediscovering duality by restricting oneself to chains only meeting the singular part of a stratified singular variety in controlled dimensions. Intersection homology was born. In this survey, we recall the first geometric definition as well as the theoretical sheaf definition allowing to describe the main properties of the intersection homology. Fruitful and unexpected developpments have been obtained in the context of singular varieties. For instance de Rham’s theorem and Lefschetz’s fixed point theorem find their place in the theory of intersection homology. The same is true for Morse’s theory (see the Mark Goresky’s survey in this Handbook, Chap. 5, Vol. I). In the last section, we provide some applications of intersection homology, for example concerning toric varieties or asymptotic sets. It must be said that the main application and source, itself, of innumerable applications is the fascinating and fruitful topic of perverse sheaves, which unfortunately it is not possible to develop in such a survey.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
5.1 Introduction
In the case of manifolds, global homological invariants like Betti numbers enjoy remarkable duality properties as stated by Poincaré (1893) and Lefschetz (1926). For smooth manifolds, the de Rham theorem (1931) and Morse theory (1934) show that it is possible to compute such topological invariants using differential forms and smooth functions. Unfortunately, all these beautiful results fail to hold for singular varieties. In an attempt to generalize the powerful theory of characteristic numbers to the singular case, Mark Goresky and Robert MacPherson noticed about 1973 that the failure of Poincaré duality is caused by the lack of transversal intersection of cycles on the singular locus. As a remedy, they introduced chains with well controlled intersection behaviour on the singular locus. These “intersection chains” form a complex that yields a new (co-) homology theory, called “intersection homology”. As a key point, the new theory yields an intersection product with suitable duality properties.
That new approach turned out to be extremely fruitful, far beyond the original purpose at hand, and stimulated a whole wealth of unexpected developments. Already at an early stage in the development of intersection homology, the original geometric construction of intersection chains has been recast into the formalism of sheaf theory and (hyper-) cohomology. The powerful machinery thus made available has been indispensable for the development of the theory; yet it bears the risk to hide the beautiful geometry that lies at the bottom.
The article is divided into five main sections: In the first Sect. 5.2 the classical results in the manifold case are presented and examples show their failure for singular varieties.
Section 5.3 is devoted to the main tools in the frameworks of sheaf theory and derived categories. Definitions are provided and notations are fixed.
Section 5.4 is devoted to the definition of intersection homology, both in the PL and in the topological situations. The local calculus eventually leads to “sheafify” the original geometric approach, thus obtaining the intersection sheaf complexes. In this context, the Deligne sheaf complex is of fundamental importance.
Section 5.5 shows how several important concepts and results carry over from the usual (co-) homology of manifolds to intersection homology of singular varieties: first basic properties Sect. 5.5.1, functoriality Sect. 5.5.2, the Lefschetz fixed point theorem Sect. 5.5.3, Morse theory Sect. 5.5.4, de Rham theorem Sect. 5.5.5, and cohomology operations like Steenrod squares, cobordism and Wu classes Sect. 5.5.6.
Section 5.6 is a supplement and thus of a different nature: Here are collected various applications and generalizations that deserve mention, but where an appropriate introduction would by far exceed the scope of the present survey. Therefore brief sketches and suitable references are presented.
There is a vast literature consisting of research articles, conference papers, surveys, books, course notes etc. dealing with intersection homology and its implications and generalizations, some including historical comments. The first mention is for the surveys by MacPherson [127, 128], Goresky [89], Kleiman [117], the conferences in the Bourbaki Seminar by Brylinski [45] and Springer [171], and surveys by Friedman [79], Klinger [118]. This short list is far from being exhaustive.
Among the books dedicated to intersection homology and perverse sheaves, let mention those by Borel et al. [18], Kirwan [116], Goresky-MacPherson [96], Schürmann [167], Maxim [130] Dimca [66].
More specialized surveys are for instance: on de Rham theorem [24], on Morse theory [126], on combinatorial toric intersection homology [70], on perverse sheaves [125, 161], etc. This list presents only a small selection.
This concise overview of such an extensive theory is of mainly introductory character and remains thus necessarily incomplete; yet the author hopes that the reader will deepen the interest in this fascinating subject.
The author is very grateful to Gottfried Barthel, Karl-Hienz Fieseler, Ludger Kaup, Alice Libardi, Th\({}^?\)uy Nguy\({}^{{}^\sim }\)ên Thị Bích, Eliris Rizziolli, Marcelo Saia, and to the anonymous referee for many helpful corrections and suggestions on an earlier version of this paper.
Important note: The concept of intersection homology was first defined by Goresky and MacPherson in the framework of PL-spaces and PL-stratifications ([92] see also [18, Chaps. I–III]). In this framework, definitions are intuitive and geometric, it is possible to make explicit figures and proofs are nice, ingenious, delicate but often technical. In their paper [94] Goresky and MacPherson consider the more general framework of topological spaces and topological stratifications. The use of tools such as sheaf theory and derived categories, together with the notion of Deligne sheaf, makes proofs easier and opens the door to deeper results and to more applications (see also [18, Chaps. IV and V]).
Both viewpoints are important and have their own advantages and disadvantages and it would be a mistake to hide one of them. The first one provides the motivation and the meaning of the concept, the second one provides simpler proofs, as well as a huge amount of extensions and applications. The introduction of Habegger’s chapter in the Borel book [18, Chap. II] explicits these roles.
5.2 Classical Results—Poincaré and Poincaré-Lefchetz
In order to understand the introduction of intersection homology it is useful to recall some elementary properties for manifolds.
An n-manifold (or n-topological manifold) is a (non-empty, Hausdorff) topological space X such that each point admits a neighborhood homeomorphic with an open subset of the Euclidean space \({\mathbb R}^n\).
Let X be an n-dimensional compact, connected, oriented and without boundary smooth manifold. The Poincaré duality says that the p and \((n-p)\) Betti numbers of X agree. It first stated without proof in [152] then Poincaré gave a proof of the theorem using topological intersection theory in his 1895 paper Analysis Situs [153]. Heegaard [104], provided a counter-example to Poincaré’s formula and, finally, Poincaré provided a new proof performed in terms of dual cell decompositions [154, 155]. For historical details, see for example [157]. In order to simplify, in this introduction, homology and cohomology groups are with \({\mathbb Z}\) coefficients.
The Poincaré result is presented in two ways: using intersection of cycles, i.e. showing the existence of an intersection morphism
(see Sect. 5.2.5) and showing the existence of a Poincaré duality isomorphism
using dual cells (see Sect. 5.2.6). The two definitions are linked by the commutative diagram, where \(\cup \) denotes the usual cup-product.
The first part of this section consists of some useful definitions and notations. Then the classical dualities (Poincaré and Poincaré-Lefschetz) for manifolds are recalled and counter-examples in the situation of singular varieties are provided.
5.2.1 P L-Structures
A piecewise-linear structure, P L-structure on a topological space X is a class of locally finite (simplicial) triangulations such that any subdivision of one of them belongs to the class and two of them admit a common subdivision.
When endowed with a P L-structure, the space is said a P L-space. Not all topological space admit a P L-structure and when such structure exists it is, in general, not unique.
A triangulation of a P L-space X is a triangulation of the corresponding class. That is a simplicial complex K whose geometric realization \(\vert K \vert \) is homeomorphic to X. The space is said triangulated and one writes \(X = \vert K \vert \).
The advantage of having a whole class of triangulations is that any open subset \(U \subset X\) inherits a P L-structure. This property is convenient for the construction of sheaves (see in particular Example 5.3.2).
A manifold equipped with a structure of P L-space is called P L-manifold. In a triangulation K of a P L-manifold, every \((n-1)\)-simplex is a face of exactly two n-simplices. This property is one of the conditions for a P L-space to be a P L-pseudomanifold.
5.2.2 Pseudomanifolds
Definition 5.2.1
The (non-empty, paracompact, Hausdorff) topological space X is an n-pseudomanifold if there is a closed subspace \(\Sigma \subset X\) such that:
-
1.
\(X \setminus \Sigma \) is an n-dimensional manifold dense in X.
-
2.
\(\dim \Sigma \le n-2\).
The subspace \(\Sigma \) of the pseudomanifold X contains the subset of singular points of X i.e. the points which do not admit a neighborhood homeomorphic to a ball and whose boundary is homeomorphic to a sphere.
A PL-pseudomanifold X of dimension n is an n-dimensional PL-space X containing a closed PL-subspace \(\Sigma \) of codimension at least 2 such that \(X - \Sigma \) is an n-dimensional PL-manifold dense in X.
Equivalently, given a triangulation \(X = \vert K\vert \), then \(\vert K\vert \) is the union of the n-simplices and each \(n-1\)-simplex is face of exactly two n-simplices.
A connectivity condition of the set \(X - \Sigma \) is sometimes added. The connected PL-pseudomanifold X is oriented if there exists a compatible orientation of all n-simplices. In the connected and oriented situation of a PL-pseudomanifold, the conditions ensure existence of a fundamental class [X]. Namely, given a triangulation \(X = \vert K\vert \) of an n-dimensional connected and oriented PL-pseudomanifold, the sum of all (oriented) n-simplices is a cycle whose class is the fundamental class. The original article by Goresky and MacPherson suppose the PL-pseudomanifold to be compact and oriented. These hypothesis are dropped in the further articles.
The pinched torus (Fig. 5.1 and Example 5.2.6) and the suspension of the torus (Example 5.5.10) are examples of connected and oriented PL-pseudomanifolds.
5.2.3 Stratifications
Dealing with singular spaces, the notion of stratification is one of the most important tool. The main reference for the definitions and results is the Trotman’s survey in this Handbook, vol I [179, Chap. 4] (see also [128]).
A (topological) stratification \({\mathcal S}\) of the n-dimensional pseudomanifold X is the data of a filtration
by closed subspaces such that
-
every stratum \(S_i = X_i-X_{i-1}\) is either empty or a finite union of i-dimensional smooth submanifolds of X,
-
each point x in \(S_i\) admits a distinguished neighborhood \(U_x \subset X\) together with a homeomorphism
$$\begin{aligned} \phi _x : U_x \rightarrow {\mathbb B}^i \times {\mathring{c}}(L) \end{aligned}$$(5.3)(local triviality property) where:
-
\({\mathbb B}^i\) is an open ball in \({\mathbb R}^i\),
-
the “link” L (called the link of the stratum \(S_i\)) is a compact \((n-i-1)\)-dimensional pseudomanifold independent (up to homeomorphism) of the point x in the stratum \(S_i\) and filtered by:
$$L=L_{n-i-1} \supset L_{n-i-3} \supset \cdots \supset L_{0} \supset L_{-1} = \emptyset , $$ -
\({\mathring{c}}(L)\) is the open cone over L defined by \({\mathring{c}}(L) = L \times [0,1[ / (x,0) \sim (x',0)\), and filtred by
$$ ({\mathring{c}}(L))_{0} = \{0\} \quad \text { and} \quad ({\mathring{c}}(L))_k = {\mathring{c}}(L_{k-1}) \quad \text { if } k>0 .$$
By definition, one has \({\mathring{c}}(\emptyset ) = \{ point\}\). Moreover, the homeomorphism \(\phi _x\) preserves the stratifications of \(U_x\) and \({\mathbb B}^i \times {\mathring{c}}(L)\) respectively, that is there are restriction homeomorphisms
$$\phi _x \vert _{X_j } : U_x \cap X_j \rightarrow {\mathbb B}^i \times {\mathring{c}}(L_{j-i-1}), \quad \text { for } j\ge i.$$ -
In particular stratifications which satisfy the Whitney conditions (see [89], [179]) satisfy the topological local triviality property (A’ Campo [18, Chap. IV]):
A P L-stratification \({\mathcal S}\) of the n-dimensional P L-pseudomanifold X is a stratification such that all involved subspaces are P L-subspaces and the local triviality property holds in the P L-category.
5.2.4 Borel-Moore Homology
In the following, G will denote an R-module, for R a PID. For example, G can be \({\mathbb Z}\), \(\mathbb {Q}\), \(\mathbb {R}\) or \(\mathbb {C}\). In this (sub)section, X is a connected, oriented, not necessarily compact n-dimensional PL-manifold or PL-pseudomanifold.
Given a triangulation \(X= \vert K \vert \), the complex of possibly infinite simplicial chains of K with coefficients in G is denoted by \(C_*(K;G)\). A chain \(\xi \) in \(C_i(K;G)\) is written \(\xi = \sum \xi _\sigma \sigma \) where \(\sigma \) are oriented i-simplices in K and \(\xi _\sigma \) are elements of G. It has a canonical image in \(C_i(K';G)\) for any subdivision \(K'\) of K. Two chains in \(C_i(K_1;G)\) and \(C_i(K_2;G)\) are identified if their image in a common subdivision coincide. The group \(C_i(X;G)\) of PL-geometric chains with closed supports of X is the direct limit under refinement of the groups \(C_i(K;G)\) over all triangulations of X.
The support of \(\xi \in C_i(K;G)\) is the union of the closed simplices such that \(\xi _\sigma \ne 0\) and is denoted by \(\vert \xi \vert \), it does not depend on subdivision, thus the support of \(\xi \in C_i(X;G)\) is well defined.
Using the usual boundary operator, the complex of chains \(C_*(X;G)\) is well defined and its homology, denoted by \(H_*(X;G)\) is called homology with closed supports of X, or Borel-Moore homology of X [17] (see also “Homologie de deuxième espèce” in Cartan [48, Exposé 5, Sect. 6]).
The subcomplex of chains with compact supports is denoted by \(C^c_*(X;G)\) and its homology \(H^c_*(X;G)\) is the homology with compact support. If X is compact, the two homology groups coincide.
5.2.5 Poincaré Duality Homomorphism
The idea, for defining Poincaré duality “à la Poincaré”, is to associate to a given triangulation K of an n-dimensional manifold X a decomposition of X into “cells”, in such a way that there is a one-to-one correspondence between p-dimensional simplices and \((n-p)\)-dimensional dual cells (called “Polyèdre réciproque” in [154, Sect. VII]).
Let X be a triangulated, compact and oriented n-dimensional P L-pseudomanifold \(X= \vert K \vert \) such that the triangulation K itself is the first barycentric subdivision of a triangulation of X.
A p-elementary cochain is an (oriented) p-simplex \(\sigma \), denoted by \(\sigma ^*\) when considered as a p-cochain. A p-cochain with coefficients in G, element of \(C^p(K;G)\), is a formal sum \(\sum g_i \sigma ^*_i\) where \(g_i \in G\) and the \(\sigma _i\) are (oriented) p-simplices in K.
The coboundary \(\delta \sigma ^*\) of the p-elementary cochain \(\sigma ^*\) is defined to be the \((p+1)\)-cochain
where the sum involves all \((p+1)\)-simplices \(\tau \) such that \(\sigma \) is a face of \(\tau \) (denoted \(\sigma < \tau \)). The incidence number \( [\sigma :\tau ]\) is \(+1\) if the orientation of \(\sigma \) is the one as boundary of \(\tau \) and \(-1\) otherwise. This defines the homomorphism
by linearity.
Considering a first barycentric subdivision \(K'\) of K, the barycenter of every simplex \(\sigma \) in K is denoted by \(\hat{\sigma }\). The simplices in \(K'\) whose first vertex is \(\hat{\sigma }\) are all simplices on the form \((\hat{\sigma }, \hat{\sigma }_{i_1}, \ldots , \hat{\sigma }_{i_q})\) with \(\sigma< \sigma _{i_1}< \cdots < \sigma _{i_q}\). The union of these simplices, is called the the dual block of \(\sigma \) and is denoted by \(D(\sigma )\). One has
The dual block \(D(\sigma )\) has dimension \((n-p)\), it is endowed with an orientation such that the orientation of \(D(\sigma )\) followed by the orientation of \(\sigma \) is the orientation of X (see [23, 177]).
The Poincaré homomorphism (at the level of chains and cochains) is the map
defined by \(PD (\sigma ^*) = D(\sigma )\) and extended by linearity. One has
The correspondence “simplex” \(\rightarrow \) “dual block” sends K-cochains to \(K'\)-chains. By this correspondence, cocycles are sent to cycles and coboundaries to boundaries. The Poincaré homomorphism is then well defined:
As it is well known, the homology and cohomology groups of X do not depend on the given triangulation. The Poincaré duality morphism is realised by the cap-product by the fundamental class [X]:
The main Poincaré’s result is:
Theorem 5.2.2
-
In a compact oriented manifold, the dual blocks are cells, i.e. the dual block of a p-simplex \(\sigma \) is homeomophic to an \((n-p)\)-ball and its boundary is homeomorphic to an \((n-p-1)\)-sphere.
-
In a compact oriented manifold, the Poincaré morphism is an isomorphism.
Example 5.2.3
Examples of computations for a manifold and a pseudomanifold.
Figure 5.1i and ii are planar representations of the torus and the pinched torus, with suitable identification of the simplices of the boundary and with given compatible orientation of all 2-simplices.
In the torus, the cochain \(\alpha = \sigma _1^* + \sigma _2^* + \ldots + \sigma _6^*\) is a cocycle, not a coboundary. The dual chain \(a=PD(\alpha )\) is a cycle, not a boundary. In the same way, by symmetry with respect to the first diagonal, one has a “horizontal” cocycle \(\beta \) and dual cycle \(b=PD(\beta )\). In the torus, the Poincaré homomorphism is an isomorphism (here \(G={\mathbb Z}\)):
On the pinched torus, which is a singular variety, the Poincaré homomorphism is no longer an isomorphism.
On the one hand, the cocycle \(\alpha = \sigma _1^* + \sigma _2^* + \sigma _3^* \) is not a coboundary. Indeed, the coboundary of the vertex A consists of all 1-dimensional simplices of which A is a vertex and \(\alpha \) is only half of it. The cohomology class of \(\alpha \) is not zero. The dual of the cocycle \(\alpha \) is the cycle a. This cycle is a boundary (the boundary of the gray part), its homology class is zero: the Poincaré morphism maps the non-zero class of \(\alpha \) on the zero class of a. It is not injective.
On the other hand, the (red) cycle b going from A to A is not a boundary, its homology class is not zero and generates the 1-dimensional homology. But it is easy to see that b is not the dual of a cochain. The Poincaré morphism is not surjective.
The Poincaré morphism of the pinched torus is neither injective, nor surjective, although it is a morphism from \({\mathbb Z}\) to \({\mathbb Z}\):
5.2.6 Poincaré—Lefschetz Homomorphism
In his 1895 paper [153, Sect. 9] (corrected in [154, 155]), Poincaré gave a definition of intersection of two oriented and complementary dimensional cycles in a compact oriented manifold. Lefschetz, in 1936 [122] defined the intersection of an i-chain a and a j-chain b in a compact oriented n-manifold M whenever \(\vert a \vert \cap \vert b\vert \) contains simplices of dimension at most \(i+j-n\), and gave a formula for the multiplicity in \(a \cap b\) of an \(i+j-n\)-simplex \(\sigma \subset \vert a \vert \cap \vert b\vert \) which is local, in the sense that it depends only on the behavior of a and b near an interior point of \(\sigma \).
Let X be a smooth PL-manifold, two cycles a and b are said dimensionally transverse if either they do not meet or their dimensions satisfy the formula:
Theorem 5.2.4
(See [120,121,122] and [176, Sect. 5] for a summary) In a compact oriented smooth PL-manifold, the intersection of two dimensionally transverse cycles with appropriately defined orientations and multiplicities is a cycle.
In a compact oriented PL-manifold X, if two dimensionally transverse cycles a and b have complementary dimensions, then the intersection \(a \cap b\) is a finite number of points \(\{ x_i \}\). The cycles being oriented, in each of the points \(x_i\) Lefschetz defines the local intersection index \(I(a,b;x_i)\), depending on orientations and multiplicities [122, 153, 154]. For elementary cycles (i.e. with multiplicities \(+1\)), the index \(I(a,b;x_i)\) is \(+1\) if the orientation of a followed by the orientation of b is the orientation of X and \(-1\) otherwise, then extend by linearity. The intersection index
defines an intersection product
which associates to each pair of oriented, dimensionally transverse and complementary dimensional cycles (a, b) the intersection index I(a, b).
The intersection index I(a, b) does not depend on the representative of the homology classes of the cycles a and b.
Theorem 5.2.5
(Poincaré-Lefschetz duality [120, 122, 153, 154]) In a compact oriented smooth PL-manifold, the intersection product (5.5) induces a bilinear map
which is non-degenerate when tensored by the rational numbers. Here \(\epsilon \) is the evaluation map \(\epsilon :\sum n_i \{x_i\} \mapsto \sum n_i\).
Let X be a singular variety, then the Poincaré-Lefschetz duality is no longer true. The pinched torus is a classical example:
Example 5.2.6
(The pinched torus) Consider the pinched torus.
The area C in Fig. 5.2ii is a chain whose boundary is \(c-b\). The cycles b and c are homologous. However, the intersection indices are \(I(a,b)=+1\) and \(I(a,c)=0\). There is no intersection product at the level of homology classes.
5.3 The Useful Tools: Sheaves—Derived Category
In the previous section, the spaces considered were mainly compact and non singular. The notions of duality and intersection can be generalized to singular spaces using Borel-Moore homology on the one hand and sheaf theory on the other hand.
General useful references for these sections are Godement and Bredon (see [86, Chapitre II] and [36]). The interested reader will find a history of sheaf theory in the Christian Houzel article [106], in particular the passage from closed supports (Jean Leray) to open supports (Henri Cartan).
5.3.1 Sheaves
Let X be a topological PL-pseudomanifold. Let R be a PID, that may be sometimes \(\mathbb {Z}\) or even a field such as \(\mathbb {R}\), \(\mathbb {Q}\) or \(\mathbb {C}\). A sheaf on X will be a sheaf \(\mathcal {A}\) of R-modules. The category of sheaves on X is denoted by Sh(X). The constant sheaf is denoted by \(\mathbf{R}_X\).
The set of sections of the sheaf \(\mathcal {A}\) over an open subset U of X is denoted by \(\Gamma (U,\mathcal {A})\). Given a family of supports \(\Phi \), the subset of elements \(s \in \Gamma (X,\mathcal {A})\) for which support of s belongs to \(\Phi \) is denoted by \(\Gamma _{\Phi }(X,\mathcal {A})\). The families considered are mainly the family of closed supports, the family of compact supports c and for a subspace \(A\subset X\) the family (A) of supports whose elements are closed subsets contained in A.
The stalk at a point \(x\in X\) of the sheaf \(\mathcal {A}\) is denoted by \(\mathcal {A}_x\). The restriction of \(\mathcal {A}\) to a subspace \(Y \subset X\) is denoted by \(\mathcal {A}\vert _Y\) or simply \(\mathcal {A}_Y\).
A sheaf \(\mathcal {L}\) on the topological space X is called locally constant if there is an open covering \(\{ U_i\}\) of X and a family of R-modules \(\{L_i \}\) such that \(\mathcal {L}\vert _{U_i}\) is the constant sheaf on \(U_i\) represented by the R-module \(\{L_i \}\). Equivalently, every point \(x\in X\) has a neighborhood U such that the restriction maps
are isomorphisms for all \(y\in U\).
5.3.2 System of Local Coefficients
The notion of system of local coefficients comes from Steenrod [174]. In fact in his introduction, Steenrod wrote that he generalizes an idea originating from Whitney (1940), who, in turn credits the idea to de Rham (1932). Also Steenrod claims that the notion is equivalent to the Reidemeister Überdeckung (1935) [159]. Steenrod provides applications of the notion, in particular full duality and intersection theory in a non-orientable manifold [174, Sect. 14]. Later, Steenrod applied that notion in 1951 in his book “The Topology of Fibre Bundles” when defining characteristic classes (Stiefel-Whitney and Chern classes) by obstruction theory (see [175, Sect. 30–31]).
The interest of local systems is well demonstrated by the example given by MacPherson [128, p. 19] of a local system which makes intersection homology interesting even when the space is nonsingular.
A local coefficient system (or local system) of R-modules on a topological space X is a locally constant sheaf \(\mathcal {L}\) of R-modules.
If X is connected, then it is possible to use a single R-module L instead of a family \(L_i\). If X is not connected, a local coefficient system is determined by the data of a base point \(x_i\) in \(C_i\) and a representation \(\rho : \pi _1(X,x_i) \rightarrow Aut(L_i)\) for each connected component \(C_i\) of X.
Example 5.3.1
An exemple of local system is given by the orientation sheaf \(\mathcal {O}_X\) on a (not necessarily orientable) n-dimensional manifold. That is the sheaf associated to the presheaf
If \(\partial X =\emptyset \), then \(\mathcal {O}_X \) is a locally constant sheaf with stalks isomorphic to R. It is constant if X is orientable.
5.3.3 Complexes of Sheaves
A bounded complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) is a sequence
such that \(d^p \circ d^{p-1} =0\) for all p and \(\mathcal {A}^{p} = 0\) for \(\vert p \vert \) sufficiently large. If necessary to specify the complex, the differential will be denoted by \(d^p_{\mathcal {A}^{_{^{\bullet }}}}\).
A sheaf \(\mathcal {A}\) can be regarded as a complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) with \(\mathcal {A}^0 = \mathcal {A}\), \(\mathcal {A}^p=0\) for \(p\ne 0\), and \(d^p=0\) for all p. In this case, the complex \(\mathcal {A}^{_{^{\bullet }}}\) is said to be concentrated in degree 0.
Given a complex of sheaves, the shifted complex \(\mathcal {A}[n]^{_{^{\bullet }}}\) is defined by \(\mathcal {A}[n]^p = \mathcal {A}^{n+p}\) and \(d_{\mathcal {A}[n]^{_{^{\bullet }}}} = (-1)^n d_{\mathcal {A}^{_{^{\bullet }}}}\).
The sheaf of sections associated with a complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) assigns to every open subset \(U\subset X\) the chain complex
The p-th cohomology sheaf \(\mathcal {H}^p(\mathcal {A}^{_{^{\bullet }}})\) associated with \(\mathcal {A}^{_{^{\bullet }}}\) is the sheafification ([86, Chapitre II, Sect. 1.2]) of the presheaf whose group of sections over U is the p-th homology group of \(\mathcal {A}^{_{^{\bullet }}}\). The stalk at a point \(x\in X\) of the sheaf \(\mathcal {H}^p(\mathcal {A}^{_{^{\bullet }}})\) is \(\mathcal {H}^p(\mathcal {A}^{_{^{\bullet }}})_x \cong \mathcal {H}^p(\mathcal {A}^{_{^{\bullet }}}_x)\).
Borel and Moore [17] define cohomologically locally constant (denoted CLC) complex of sheaves if the associated cohomology sheaves are locally constant. A complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) is said (cohomologically) constructible with respect of a filtration (5.2) of X if all \(\mathcal {A}^{_{^{\bullet }}}\vert _{(X_i - X_{i-1})}\) are CLC and their stalk cohomology is finitely generated.
The complex \(\mathcal {A}^{_{^{\bullet }}}\) is said PL-(cohomologically) constructible if it is bounded and (cohomologically) constructible with respect of a filtration of X by closed PL-subsets. Finally, the complex \(\mathcal {A}^{_{^{\bullet }}}\) is said topologically (cohomologically) constructible if it is bounded and (cohomologically) constructible with respect to a topological filtration of X.
Henceforth, we will adopt the modern shorthand of replacing the words “(cohomologically) constructible” simply with “constructible”. As in [94], all complexes of sheaves considered will be topologically constructible.
Example 5.3.2
The sheaf complex of PL-chains with closed suports.
Let X be a connected, oriented, not necessarily compact n-dimensional PL-manifold or PL-pseudomanifold. In Sect. 5.2.4 the Borel-Moore homology chains \(C_i(X;G)\) with coefficients in an abelian group have been defined. The same definition applies with coefficients in a local system \(\mathcal {L}\), denoted by \(C_i(X;\mathcal {L})\).
In a first step the presheaf \(U \mapsto C_i(U;\mathcal {L})\) for U open in X, is defined as follows. Let \(V\subset U\) be two open subsets in X, the natural restriction maps
are defined in the following way: (see also [94, Sect. 2.1]) For a chain \(\xi \in C_i(U;\mathcal {L})\), there is a locally finite triangulation \(K_U\) of U such that \(\xi \) can be written \(\sum _{\sigma \in K_U}\xi _\sigma \sigma \) with \(\xi _\sigma \in \mathcal {L}_\sigma \) and \(\mathcal {L}_\sigma \) is the (constant) value of \(\mathcal {L}\) on \(\sigma \). Any triangulation of V admits a subdivision \(K_V\) such that every simplex \(\upsilon \) in \(K_V\) is contained in a simplex \(\sigma (\upsilon )\) of a subdivision of \(K_U\) and such that \(\dim \upsilon = \dim \sigma (\upsilon )\). Considering orientations of all simplices of the triangulations, the chain \(\rho _{VU}(\xi )\in C_i(V;\mathcal {L})\) is defined by
where the sign is \(+1\) if \(\upsilon \) and \(\sigma (\upsilon )\) have the same orientation and \(-1\) otherwise.
The boundary \(\partial _i : C_i(U;\mathcal {L}) \rightarrow C_{i-1}(U;\mathcal {L})\) is defined in the following way: A chain \(\xi \in C_i(U;\mathcal {L})\) is written \(\sum _{\sigma \in K_U}\xi _\sigma \sigma \) for a locally finite triangulation \(K_U\) of U and \(\xi _\sigma \in \mathcal {L}_\sigma \). Let \(\tau \) be a face of \(\sigma \) and \(\rho ^\sigma _\tau : \mathcal {L}_\sigma \rightarrow \mathcal {L}_\tau \) the natural morphism, then
where the incidence number \( [\tau :\sigma ]\) is \(+1\) if the orientation of \(\tau \) is the one as boundary of \(\sigma \) and \(-1\) otherwise.
Definition 5.3.3
([94, Sect. 2.1], see Remark 5.4.10 for the notation) The Borel-Moore complex of sheaves of PL-chains \(\mathcal {C}^{_{^{\bullet }}}\) on X with coefficients in \(\mathcal {L}\) is defined by
with the above boundary.
5.3.4 Injective Resolutions
The injective resolutions are particularly important, by the fact that for any abelian category with enough injective objects, each R-module admits an injective resolution.
Definition 5.3.4
([94, Sect. 1.5], [18, II, Sect. 5]) A map of complexes of sheaves \(\varphi ^{_{^{\bullet }}}: {\mathcal A}^{_{^{\bullet }}}\rightarrow {\mathcal B}^{_{^{\bullet }}}\) which commutes with the differentials
is called a quasi-isomorphism if it induces isomorphisms \({\mathcal H}^i(\varphi ^{_{^{\bullet }}}) : {\mathcal H}^i({\mathcal A}^{_{^{\bullet }}})\rightarrow {\mathcal H}^i({\mathcal B}^{_{^{\bullet }}})\) of the cohomology sheaves of the complexes.
Definition 5.3.5
([49, IV, Sect. 3]) Two morphisms of complexes \(\varphi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) and \(\psi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) are homotopic if there exists a collection \(\{ h^i : \mathcal {A}^i \rightarrow \mathcal {B}^{i-1} \}\), \(i\in \mathbb {Z}\) of sheaf maps, called a homotopy, so that:
for all \(i\in \mathbb {Z}\).
Definition 5.3.6
Let K(X) denote the category whose objects \(\mathcal {A}^{_{^{\bullet }}}\) are topologically constructible bounded complexes of sheaves on X and whose morphisms \(\varphi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) are homotopy classes of sheaf maps which commute with the differentials (Definition 5.3.5).
Definition 5.3.7
([86, II, Sect. 7.1], [49, V, Sect. 1], [17, Sect. 1], [36, II, Sect. 9]) A sheaf \(\mathcal I\) is injective if, for any sheaf monomorphism \({\mathcal F} \rightarrow {\mathcal G}\) and any sheaf map \({\mathcal F} \rightarrow {\mathcal I}\) there exists an extension \({\mathcal G} \rightarrow {\mathcal I}\).
Coefficients are important in the definition: the sheaf of integers \(\mathbb {Z}\) on a point is fine (see Definition 5.3.10) but not injective, because \(\mathbb {Z}\) is not injective over itself.
If \(\varphi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {I}^{_{^{\bullet }}}\) is a quasi-isomorphism of complex of sheaves on X and if each \(\mathcal {I}^{_{^{\bullet }}}\) is injective, then \(\mathcal {I}^{_{^{\bullet }}}\) is called an injective resolution of \(\mathcal {A}^{_{^{\bullet }}}\).
Main properties of injective resolutions are (see [17, Sect. 1], [36, II, Sect. 9], [86, II Sect. 7.1], [89, Sect. 4.2], and [94, Sect. 1.5]):
Proposition 5.3.8
-
1.
If \(\varphi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {I}^{_{^{\bullet }}}\) is a quasi-isomorphism of complex of sheaves on X and \(\mathcal {I}^{_{^{\bullet }}}\) is an injective resolution of \(\mathcal {A}^{_{^{\bullet }}}\), then there exists a morphism \(\psi ^{_{^{\bullet }}}: \mathcal {I}^{_{^{\bullet }}}\rightarrow \mathcal {A}^{_{^{\bullet }}}\) that is a homotopy inverse to \(\varphi ^{_{^{\bullet }}}\). Therefore \(\varphi ^{_{^{\bullet }}}\) is invertible in the category K(X).
-
2.
Injective resolutions exist for any complex of sheaves of R-modules and are uniquely determined up to chain homotopy.
-
3.
Every bounded complex of sheaves admits a canonical bounded injective resolution (see given references).
5.3.5 Hypercohomology
The p-th hypercohomology group\({\,\mathrm I \!\mathrm H}^p (X;\mathcal {A}^{_{^{\bullet }}})\) of a complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) is the p-th cohomology group of the cochain complex
where \(\mathcal {I}^{_{^{\bullet }}}\) is the canonical injective resolution of \(\mathcal {A}^{_{^{\bullet }}}\) ([49, XVII, Sect. 2], [94, 1.6]).
Considering sections with supports in a family of supports \(\Phi \), one defines hypercohomology\({\,\mathrm I\!\mathrm H}^p_\Phi (X;\mathcal {A}^{_{^{\bullet }}})\) with support in the family \(\Phi \) as
A quasi-isomorphism induces an isomorphism on hypercohomology. In particular, the hypercohomology groups are naturally isomorphic to the cohomology group of the single complex which is associated to the double complex \(C^p(X;\mathcal {A}^q)\) (see [86, II Sect. 4.6]).
Definition 5.3.9
([86, II, Sect. 3.5 and 3.6]) A sheaf \({\mathcal A}\) is called soft (“faisceau mou” in french) if any section over any closed subset of X can be extended to a global section, i.e. the restriction maps
are surjective for all open \(U\subset X\) and closed subset \(B\subset U\).
Definition 5.3.10
([86, II, Sect. 3.7]) A sheaf \({\mathcal A}\) over a paracompact Hausdorff space X is called fine (“faisceau fin” in french) if for every locally finite open cover \(\{ U_i \}\) of X there are endomorphisms \(\varphi _i\) of \({\mathcal A}\) such that:
-
for every i, \(\varphi _i\) is zero outside a closed subset contained in \(U_i\),
-
one has \(\sum _i \varphi _i = id\).
Here, locally finite means that every point \(x\in X\) admits an open neighborhood which meets a finite number of elements \(U_i\).
Every fine sheaf is soft, but the converse is not true [86, II, Sect. 3.7].
Proposition 5.3.11
([18, II, Sect. 5], [86]) Let X be a paracompact topological space, if the sheaf complex \({\mathcal A}^{_{^{\bullet }}}\) consists of injective, fine or soft sheaves, then
5.3.5.1 Examples of Hypercohomology
Let X be a n-dimensional PL-space, the following examples provide particular cases of hypercohomology groups which will be useful for considering the properties of intersection homology. Coefficients are either a R-module G or a sheaf of local coefficients \(\mathcal {L}\).
Example 5.3.12
-
(a)
Hypercohomology of the sheaf complex of PL-chains with closed supports.
The complex of sheaves of PL-chains \(\mathcal {C}^{_{^{\bullet }}}\) is a complex of fine sheaves on X (see [18, Sect. 5, Note]). Hence the complex \(\mathcal {C}^{_{^{\bullet }}}\) satisfies Proposition 5.3.11. One has:
$${\,\mathrm I\!\mathrm H}^{-i} (X;\mathcal {C}^{_{^{\bullet }}}) \cong H^{-i}(\Gamma (X;\mathcal {C}^{_{^{\bullet }}})) = H_{i}(X).$$For every family of supports \(\Phi \) one has:
$$\begin{aligned} {\,\mathrm I\!\mathrm H}^{-i}_\Phi (X;\mathcal {C}^{_{^{\bullet }}}) = H^{\Phi }_{i}(X). \end{aligned}$$(5.8) -
(b)
Hypercohomology of the constant sheaf.
Consider the constant sheaf \(\mathbf{R}_X\) on X, viewed as a complex concentrated in degree 0, then,
$${\,\mathrm I\!\mathrm H}^i (X;\mathbf{R}_X) = H^i (X)$$is cohomology of X with closed supports. For every family of supports \(\Phi \) one has:
$$\begin{aligned} {\,\mathrm I\!\mathrm H}^i_\Phi (X;\mathbf{R}_X) = H^i_\Phi (X). \end{aligned}$$(5.9)
5.3.6 The (Constructible) Derived Category
The derived category was defined by Verdier [183, 184]. An object in the derived category is a complex of sheaves. In this category, new morphisms are added so that every quasi-isomorphism has an inverse and, consequently, every quasi-isomorphism becomes an isomorphism in the derived category (Property 5.3.13). Verdier found he was able to prove his duality theorems only for complexes of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) whose cohomology sheaves are constructible. Since then, it has become common to focus on the constructible derived category, in which each object is a complex of sheaves with constructible cohomology.
The reader is assumed to be familiar with the notions of categories and functors [100, Chapitre 1]. Text books which provide useful notions are, for instance, Kashiwara-Shapira [112]) or Gelfand-Manin [85]. Classsical references for this section are [103, 183], [184, Chap. 8]. The useful tools are well presented in [94, Sects. 1.8–1.15] and the reader will find there all necessary tools and material.
For the convenience of the reader, as far as possible, conventions and notations of main references [92, 94] and [18] are used. However in the case of possible doubt the notations of [94] are privileged (see Remark 5.4.10).
5.3.6.1 The Derived Category
Let \(\mathcal {A}\) and \(\mathcal {B}\) be sheaves on X, let \({Hom}(\mathcal {A},\mathcal {B})\) denote the abelian group of all sheaf maps \(\mathcal {A}\rightarrow \mathcal {B}\). Let \({\mathcal Hom}(\mathcal {A},\mathcal {B})\) be the sheaf whose sections over an open set U are the sections \(\Gamma (U;{\mathcal Hom}(\mathcal {A},\mathcal {B}))=Hom(\mathcal {A}\vert _U, \mathcal {B}\vert _U)\). If \(\mathcal {A}^{_{^{\bullet }}}\) and \(\mathcal {B}^{_{^{\bullet }}}\) are complexes of sheaves, \({\mathcal Hom}(\mathcal {A}^{_{^{\bullet }}},\mathcal {B}^{_{^{\bullet }}})\) is the single complex of sheaves which is obtained from the double complex \({\mathcal Hom}^{p,q}(\mathcal {A}^{_{^{\bullet }}},\mathcal {B}^{_{^{\bullet }}}) = {\mathcal Hom}(\mathcal {A}^p,\mathcal {B}^q)\).
The derived category \(D^b(X)\) was introduced by J.L. Verdier by localization of K(X). The objects in \(D^b(X)\) are still topologically constructible bounded complexes of sheaves on X but morphisms \(\mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) are defined as equivalence class of diagrams of chain maps:
where “q.i.” means a quasi-isomorphism. Two such diagrams
are equivalent is there is a commutative diagram in K(X) (meaning a diagram that commutes up to homotopy).
Property 5.3.13
The derived category converts quasi-isomorphisms to isomorphisms: If \(\varphi ^{_{^{\bullet }}}: \mathcal {A}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) is a quasi-isomorphism (that is, a morphism of bounded complexes of sheaves whose induced map on cohomology is an isomorphism) then it has an inverse in the derived category \(D^b(X)\).
This because \(\varphi ^{_{^{\bullet }}}\) may be composed with an injective resolution \(\psi ^{_{^{\bullet }}}: \mathcal {B}^{_{^{\bullet }}}\rightarrow \mathcal {I}^{_{^{\bullet }}}\). Then Proposition 5.3.8 (1) implies that \(\psi ^{_{^{\bullet }}}\circ \varphi ^{_{^{\bullet }}}\) has a homotopy inverse \(\theta ^{_{^{\bullet }}}: \mathcal {I}^{_{^{\bullet }}}\rightarrow \mathcal {A}^{_{^{\bullet }}}\) which is therefore also a quasi-isomorphism, so \(\theta ^{_{^{\bullet }}}\circ \psi ^{_{^{\bullet }}}\) is an inverse to \(\varphi ^{_{^{\bullet }}}\) in the derived category.
5.3.7 Derived Functors
An exact functor \(F : Sh(X) \rightarrow Sh(Y)\) gives rise to a functor \(D^b(X) \rightarrow D^b(Y)\) on derived categories. In this case, the homotopy category functor \(F : K(X) \rightarrow K(Y)\) transforms quasi-isomorphisms into quasi-isomorphisms. However important functors such as \({\mathcal Hom}(\mathcal {A},\bullet )\), \(\mathcal {A}\otimes \bullet \), \(\Gamma (X, \bullet )\), direct image \(f_*\), are not exact. The way to extend such functors in \(D^b\) is the Verdier’s notion of derived functor. That will be very useful to express properties of intersection homology, in particular using formulae (5.12) and (5.13).
A covariant additive functor T from complexes of sheaves to an abelian category gives rise to its right derived functor RT defined on \(D^b(X)\) by defining
where \({\mathcal I}^{{_{^{\bullet }}}}\) is the canonical injective resolution of \(\mathcal {A}^{_{^{\bullet }}}\) (see references in (5.3.5) in particular [49, Chap. V] and [94, Sect. 1.5]).
5.3.7.1 Classical Derived Functors
(a) The functor \({\mathcal Hom}(\mathcal {A}, \bullet ) \rightarrow K(X)\) has a (right) derived functor \(R{\mathcal Hom}^{_{^{\bullet }}}\) [49, Ch. VI]. Let \(\mathcal {A}^{_{^{\bullet }}}\) and \(\mathcal {B}^{_{^{\bullet }}}\) be bounded complexes of sheaves on X. To define \(R{\mathcal Hom}^{_{^{\bullet }}}(\mathcal {A}^{_{^{\bullet }}},\mathcal {B}^{_{^{\bullet }}})\), consider \({\mathcal Hom}^{_{^{\bullet }}}(\mathcal {A}^{_{^{\bullet }}},\mathcal {B}^{_{^{\bullet }}})\) as a functor of \(\mathcal {B}^{_{^{\bullet }}}\), and take its right derived functor. The functor
is a functor from \(D^b(X)\) into itself [18, V.5.17].
(b) The (left) derived tensor product functor \(\mathcal {A}^{_{^{\bullet }}}\overset{L}{\otimes } \bullet : D^b(X) \rightarrow D^b(X)\) is defined in a similar way to the right derived functors by the formula
where \(\mathcal {J}^{_{^{\bullet }}}\rightarrow \mathcal {B}^{_{^{\bullet }}}\) is a resolution of \( \mathcal {B}^{_{^{\bullet }}}\) whose stalks are flat R-modules (see [49, Ch. VI], [168]). If R is a field then \(\mathcal {A}^{_{^{\bullet }}}\overset{L}{\otimes } \mathcal {B}^{_{^{\bullet }}}= \mathcal {A}^{_{^{\bullet }}}{\otimes } \mathcal {B}^{_{^{\bullet }}}\).
If \(\mathcal {A}^{_{^{\bullet }}}\) and \( \mathcal {B}^{_{^{\bullet }}}\in D^b(X)\) are constructible with respect to a given stratification of X then so are \(R{\mathcal Hom}^{_{^{\bullet }}}(\mathcal {A}^{_{^{\bullet }}},\mathcal {B}^{_{^{\bullet }}})\) and \(\mathcal {A}^{_{^{\bullet }}}\overset{L}{\otimes } \mathcal {B}^{_{^{\bullet }}}\) ([94, 1.9]).
(c) By definition, the i-th hypercohomology group \({\,\mathrm I\!\mathrm H}^i (X;\mathcal {A}^{_{^{\bullet }}})\) of \(\mathcal {A}^{_{^{\bullet }}}\in D^b(X)\) is the i-th derived functor of the global section functor \(\Gamma (X, {_{^{\bullet }}})\).
Functors associated to a map
Consider now a continuous map \(f:X \rightarrow Y\) between locally compact topological spaces. Complete definitions and properties of the following functors are presented in the Grivel chapter in [18, Chapter VI].
(d) The functor direct image \(f_* :Sh(X) \rightarrow Sh(Y)\).
If \(\mathcal {A}\) is a sheaf on X, the presheaf defined by
is a sheaf on Y denoted by \(f_* \mathcal {A}\). If \(j:X\hookrightarrow Y\) is a closed immersion and \(\mathcal {A}\) a sheaf on X, then \(j_*\mathcal {A}= \mathcal {A}^Y\) is the extension of the sheaf \(\mathcal {A}\) by zero. One defines the derived functors \(Rf_* : D^b(X) \rightarrow D^b(Y)\) as in the definition.
(e) The functor \(f_! : Sh(X)\rightarrow Sh(Y)\) direct image with proper supports.
If \(V\subset Y\) is open, the family of subsets \(C\subset X\) which are closed in \(f^{-1}(V)\) and such that the map \(f\vert _C : C \rightarrow V\) is proper is a family of supports in \(f^{-1}(V)\) denoted by \(\Phi _V\). If \(\mathcal {A}\) is a sheaf on X, the presheaf defined by
is a sheaf on Y [18, VI, 2.2].
If Y is a point, then \(f_! \mathcal {A}= \Gamma _c (X;\mathcal {A})\), where c denotes the family of compact subsets in X. If \(j:X\hookrightarrow Y\) is an open (or closed) immersion, then \(j_!\mathcal {A}= \mathcal {A}^Y\) and the functor \(j_!\) is exact, one has \(Rj_!\mathcal {A}^{_{^{\bullet }}}= j_!\mathcal {A}^{_{^{\bullet }}}\). Finally, the functor \(f_!\) is exact in the subcategory of injective sheaves on X.
The right derived functor of \(f_!\) denoted \(Rf_! : D^b(X) \rightarrow D^b(Y)\) has stalks
If \(f:X \rightarrow Y\) is stratified with respect of stratifications of X and Y ([179, Sect. 4.4]), then \(Rf_*\mathcal {A}^{_{^{\bullet }}}\) and \(Rf_!\mathcal {A}^{_{^{\bullet }}}\) are constructible with respect to the stratification of Y. This is a consequence of the topological locally trivial nature of a stratification, see (5.3).
(f) The functor pull-back \(f^* : Sh(Y) \rightarrow Sh (X)\).
The functor \(f_* : Sh(X) \rightarrow Sh(Y)\) admits a left adjoint, denoted by \(f^* : Sh(Y) \rightarrow Sh(X)\). There is an isomorphism
for \(\mathcal {A}\in Sh(X)\) and \(\mathcal {B}\in Sh(Y)\). The functor \(f^*\) is exact and \(Rf^* \mathcal {B}= f^* \mathcal {B}\) for all \(\mathcal {B}\in Sh(Y)\).
For every point \(x \in X\) and \(\mathcal {B}\in Sh(Y)\), there is an isomorphism at the level of stalks
For an inclusion \(j:X\hookrightarrow Y\), then \(j^*\mathcal {B}= \mathcal {B}\vert _X\) is the restriction of the sheaf \(\mathcal {B}\) to X.
Denote by \(p : X \rightarrow \{\mathrm{pt}\}\) the map to a point. The constant sheaf \(\mathbf{R}_X\) is equal to
(g) Unlike the adjonction (5.10) between the functors \(f_*\) and \(f^*\), in general there is no functor \(f^!: Sh(Y) \rightarrow Sh(X)\) with a sheaf isomorphism \({\mathcal Hom} (f_! \mathcal {A}, \mathcal {B}) \cong f_* {\mathcal Hom} (\mathcal {A},f^!\mathcal {B}).\)
The functor \(f^! : D^b(Y) \longrightarrow D^b(X)\) is defined at the level of derived categories (see [94, 1.12] and [18, V, 5.12]). If \(\mathcal {I}^{_{^{\bullet }}}\) is a complex of injective sheaves on Y, then\(f^!(\mathcal {I}^{_{^{\bullet }}})\) is defined to be the sheaf associated to the presheaf whose sections over an open set \(U\subset X\) are \(\Gamma (U;f^!\mathcal {I}^{_{^{\bullet }}}) = Hom^{_{^{\bullet }}}(f_! \mathcal {K}^{_{^{\bullet }}}_U,\mathcal {I}^{_{^{\bullet }}})\) where \(\mathcal {K}^{_{^{\bullet }}}_U\) is the canonical injective resolution of the constant sheaf \(\mathbf{R}_U\).
Example 5.3.14
-
For an open immersion \(j : X\hookrightarrow Y\), one has \(j^! = j^*\).
-
For a closed immersion \(j : X\hookrightarrow Y\), one has
$$j^!(\mathcal {G}^{_{^{\bullet }}})(U) = \Gamma _{(X)}(V;\mathcal {G}^{_{^{\bullet }}})$$where V is an open subset in Y such that \(U=V\cap X\) Here (X) denotes the family of supports whose elements are closed subsets contained in X.
The (local) Verdier duality theorem ([94, 1.12]) is a canonical isomorphism in \(D^b(Y)\),
for any \(\mathcal {A}^{_{^{\bullet }}}\in D^b(X)\) and \(\mathcal {B}^{_{^{\bullet }}}\in D^b(Y)\).
5.3.8 Dualizing Complex ([94, 1.12], [18, V, 7.1])
Borel and Moore first defined the dual \(\mathcal {D}(\mathcal {A}^{_{^{\bullet }}})\) of a complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) [17], and they showed that for any open set \(U\subset X\) the hypercohomology groups \({\,\mathrm I\!\mathrm H}^i_c(U;\mathcal {A}^{_{^{\bullet }}})\) and \({\,\mathrm I\!\mathrm H}^i(U; \mathcal {D}(\mathcal {A}^{_{^{\bullet }}}))\) are dual. Here, \({\,\mathrm I\!\mathrm H}^i_c\) denotes the hypercohomology with compact supports, i.e., \(R^i \Gamma _c\). This property characterizes \(\mathcal {D}(\mathcal {A}^{_{^{\bullet }}})\) up to quasi-isomorphism. It implies, for example, that if X is compact and R is a field, then
On a PL-manifold, Borel and Moore considered the dual of the constant sheaf, and showed that this is the Borel-Moore sheaf of chains \(\mathcal {C}^{{_{^{\bullet }}}}\) (cf. Definition 5.3.3).
Later, Verdier [183, 184] defined a complex of sheaves \(\mathbf{D}^{_{^{\bullet }}}_X\), the dualizing complex such that
for any bounded complex \(\mathcal {A}^{_{^{\bullet }}}\). Verdier identified \(\mathbf{D}^{_{^{\bullet }}}_X = \mathcal {D}(\mathbf{R}_X)\) and showed that, in \(D^b\), the sheaf \(\mathcal {C}^{{_{^{\bullet }}}}\) is isomorphic to the dualizing sheaf. Therefore, the Borel-Moore dual of \(\mathcal {A}^{_{^{\bullet }}}\) may be identified with \({\mathcal Hom}(\mathcal {A}^{_{^{\bullet }}}, \mathcal {C}^{{_{^{\bullet }}}} )\). While defining the dualizing sheaf, Verdier provided the good language to express the duality and showed an isomorphism in the derived category between \(\mathcal {A}^{_{^{\bullet }}}\) and the double dual of \(\mathcal {A}^{_{^{\bullet }}}\), i.e. if \(\mathcal {A}^{_{^{\bullet }}}\) is a bounded topologically constructible complex of sheaves on X, then there is a natural isomorphism in \(D^b(X)\)
If \(\mathcal {B}^{_{^{\bullet }}}\cong \mathcal {D}(\mathcal {A}^{_{^{\bullet }}})\), then the corresponding pairing
is called a Verdier dual pairing.
The associated cohomology sheaves of \(\mathbf{D}^{_{^{\bullet }}}_X\) are nonzero in negative degree only, with stalks \(\mathcal {H}^{-i}(\mathbf{D}^{_{^{\bullet }}}_X)_x = H_i(X X-\{ x\};R)\). If X is an n-dimensional PL-manifold, the shifted complex \(\mathbf{D}^{_{^{\bullet }}}_X [-n]\) is naturally isomorphic to (in fact, an injective resolution of) the orientation sheaf of X (see Example 5.3.1 and [94, Sect. 1.12], also [18, V, Sect. 7.3] but taking care of notations cf. Remark 5.4.10).
The hypercohomology groups \({\,\mathrm I\!\mathrm H}^{-i} (X; \mathbf{D}^{_{^{\bullet }}}_X)\) equal the ordinary homology groups with closed support \(H_i(X;R)\) and \({\,\mathrm I\!\mathrm H}^{-i}_\Phi (X;\mathbf{D}^{_{^{\bullet }}}_X) = H^{\Phi }_{i}(X;R)\) for any family of supports \(\Phi \) on X [18, V,7.1-2-3].
Consider the projection \(p:X\rightarrow \{\mathrm{pt}\}\) and the sheaf \(\mathbf{R}_\mathrm{pt}\). The dualizing sheaf satisfies [18, V,7.18]:
Hence for every map \(f:X\rightarrow Y\) one has a canonical isomorphism \(\mathbf{D}^{{_{^{\bullet }}}}_X \cong f^!\mathbf{D}^{{_{^{\bullet }}}}_Y\) (compare with (5.11)).
Let \(f:X \rightarrow Y\) be a continuous map between topological manifolds, \(\mathcal {A}^{_{^{\bullet }}}\in D^b(X)\) and \(\mathcal {B}^{_{^{\bullet }}}\in D^b(Y)\). The functors satisfy the following duality formulae
If \(\mathcal {A}^{_{^{\bullet }}}\) is a topologically constructible complex of sheaves on X, \(f_x :\{x\} \rightarrow X\) is the inclusion of a point, and \(U_x\) is a distinguished neighborhood of x (see 5.3), then [94, p.91] (see also [18, V, Sect. 4.5])
These groups are respectively called the stalk homology and the costalk homology of \(\mathcal {A}^{_{^{\bullet }}}\) at x.
The following geometric interpretations are taken from [94, Sect. 4, p. 106] and will be useful to interpreting the Theorem 5.4.9.
If a class \(\xi \in {\,\mathrm I\!\mathrm H}^j (X; \mathcal {A}^{_{^{\bullet }}})\) does not vanish under the homomorphism
then any cycle representative of \(\xi \) must contain the point x. Thus, \(H^j(f^*_x \mathcal {A}^{_{^{\bullet }}})\) represents local classes which “cannot be pulled away from the point x”. The set
Similarly, a class \(\eta \in {\,\mathrm I\!\mathrm H}^j (X; \mathcal {A}^{_{^{\bullet }}})\) is in the image of the homomorphism
if some cycle representative of \(\eta \) is completely contained in a neighborhood of x. Thus \(H^i(f^!_x \mathcal {A}^{_{^{\bullet }}}) \) represents local classes which are “supported near x”. The set
5.4 Intersection Homology—Geometric and Sheaf Definitions
In order to recover duality properties for singular varieties, the idea of intersection homology, due to Mark Goresky and Robert MacPherson, is to restrict the consideration to cycles which meet the singular part of the variety with a “controlled” dimension. That makes sense if the variety is endowed with a suitable stratification. The considered singular varieties are pseudomanifolds.
As observed by Goresky and MacPherson [92], in a PL-pseudomanifold of dimension n, if two cycles of respective dimensions i and j are in general position, then their intersection can be given canonically the structure of an \(i+j-n\) chain. However, their intersection is (in general) no longer a cycle and Theorems 5.2.4 and 5.2.5 do not hold. That is the motivation for the following definitions.
The first definition has been given by Goresky and MacPherson in the framework of stratified compact oriented PL-pseudomanifolds (see [91, 92]) and also [18, Chaps. I–IV]). The compactness is not required here and the considered chains are the PL-geometric chains (Sect. 5.2.4). The second definition, using sheaves and, in particular the Deligne sheaf complex, has been given by the same authors in [94] (see also [18, Chaps. V–IX]).
5.4.1 The Definition for PL-Stratified Pseudomanifolds ([91], 53)
Let X be a PL-stratified pseudomanifold. If a chain \(\xi \) meets transversaly an element \(X_{n-\alpha }\) of the PL-filtration, then one has
The allowed chains and cycles will be those which meet each element \(X_{n-\alpha }\) of the singular part with a controlled and fixed transversality defect \(p_\alpha \). This defect is called the perversity (in French: Perversité, in German: Toleranz).
A perversity, also called GM-perversity for Goresky-MacPherson perversity, is an integer value function
such that \(p_0 = p_1 = p_2 =0\) and
This condition is the one given originally by Goresky and MacPherson in order to ensure the main properties of the theory. More general perversities have been considered by various authors (see [128] and Sect. 5.6.4) providing other aspects for the theory (Fig. 5.3).
Example 5.4.1
Examples of perversities are
-
the zero perversity \({\bar{0}} = (0,0,\ldots ,0)\),
-
the maximal (or top) perversity \({\bar{t}} = (0,0,0,1,2,\ldots ,n-2)\),
-
for n even, \(n\ge 4\), the upper middle \({\bar{n}} = (0,0,0,1,1,2,2,\ldots ,{\frac{n}{2}}-1, {\frac{n}{2}}-1)\) and the lower middle perversities \({\bar{m}} = (0,0,0,0,1,1, \ldots ,{\frac{n}{2}}-2, {\frac{n}{2}}-1)\).
Let \({\bar{p}}= (p_0, p_1, p_2, \ldots , p_n)\) be a perversity, the complementary perversity \({\bar{q}}= (q_0, q_1, q_2, \ldots , q_n)\) is defined by \(p_\alpha + q_\alpha = t_\alpha \) for all \(\alpha \ge 2\).
Given a stratification (5.2) of a n-dimensional pseudomanifold X, Goresky and MacPherson [92, Sect. 1.3] call \(({\bar{p}},i)\)-allowable an i-chain \(\xi \in C_i(X;G)\) such that
The condition means that the perversity is the maximum admissible defect of transversality. The boundary of a \({\bar{p}}\)-allowable chain is not necessarily \({\bar{p}}\)-allowable (easy examples). In order to define a complex of chains, one has to set:
Definition 5.4.2
The intersection chains \(IC_i^{{\bar{p}}}(X;G)\) is the subset of \(C_i(X;G)\) consisting of chains \(\xi \) such that \(\xi \) and \(\partial \xi \) are \({\bar{p}}\)-allowable, that is
Using the usual boundary of chains, the obtained chain complex is denoted by \((IC_*^{{\bar{p}}}(X;G), \partial _* )\).
Definition 5.4.3
The intersection homology groups \(IH_*^{{\bar{p}}}(X;G)\) are the homology groups of the complex \((IC_*^{{\bar{p}}}(X;G), \partial _* )\).
Using, in the definition, the subcomplex \(C^c_*(X;G)\) of chains with compact supports (see Sect. 5.2.4) provides the intersection homology groups with compact supports, denoted by \(IH_{*}^{{\bar{p}},c}(X;G)\). Notice that on the one hand, the intersection homology defined in [92] agrees with the intersection homology with compact supports as defined in [94]. On the other hand, the intersection homology defined in [94] agrees with the Borel-Moore intersection homology (with closed supports) of [92].
5.4.2 Definition with Local Systems
To make the construction of homology with coefficients in a local system, work in intersection homology, one only needs the local system \(\mathcal {L}\) to be defined on the dense open part \(X-\Sigma \) of X.
Let \(\mathcal {L}\) be a local coefficient system of R-modules on \(X-\Sigma \). Given an open subset \(U\subset X\) and a locally finite triangulation K of U, since \(\mathcal {L}\) may not be defined on all of U, it is impossible to define a group \(C^K_i(U,\mathcal {L})\) of i-chains \(\xi \) with coefficients in \(\mathcal {L}\). Nevertheless, [94, 2.2] or [89, 9.4] observes that, for any perversity \({\bar{p}}\), and for any \(({\bar{p}}, i)\)-allowable chain \(\xi \), if \(\sigma \) is any i-simplex with nonzero coefficient in \(\xi \), both the interior of \(\sigma \) and the interiors of all the \(i-1\) dimensional faces of \(\sigma \) lie entirely in \(X-\Sigma \) by the allowability conditions. That justifies the definition:
The map \(IC^{{\bar{p}},K}_i(U; \mathcal {L}) \rightarrow IC^{{\bar{p}},K}_{i-1}(U; \mathcal {L})\) is well defined and the intersection homology groups \(IH_{*}^{{\bar{p}}}(X;\mathcal {L})\) are defined as in Sect. 5.2.4 (with \(U=X)\).
Many examples of computation of intersection homology groups can be found for instance in the Goresky-MacPherson’s chapter [18, Chap. III] and in [27, 63, 71, 128]. See also Example 5.5.10. Here are two elementary examples, where the coefficient sheaf \(\mathcal {L}\) is the constant sheaf \(\mathbb {Z}_X\).
Example 5.4.4
(The pinched torus) (see Fig. 5.1) The singular set is a point: the pinched point \(\{0\}\). The considered stratification is given by the filtration
The only possible perversity is the perversity \(\bar{0}\). The 1-dimensional intersection homology of the pinched torus is zero, while its 1-dimensional homology does not vanish.
(compare with Example 5.2.3).
Example 5.4.5
(The double cone) Though it is similar to the previous example and it is not a connected pseudomanifold, the example of the double cone is instructive. One may compare with the example of the suspension of two circles [128].
The double cone X is obtained by pinching the cylinder \({\mathbb S}^1 \times \mathbb {R}\) at level \(\{ 0 \}\) into a point \(\{ a \}\). The line \(\ell \) (see Fig. 5.4) goes through the singular point \(\{ a \}\) and \(C_1\) and \(C_2\) are the two 2-dimensional components of the double cone. Poincaré duality fails for the double cone X. The only possible perversity is the perversity \(\bar{0}\). Two points \(x_1\) and \(x_2\) contained in different connected components of \(X{\setminus } \{ a \}\) are not homologous, in intersection homology, as any 1-chain linking these two points contain the vertex \(\{ a \}\) and is not permitted. Poincaré duality is recovered with intersection homology (see 5.23) (Table 5.1).
5.4.3 Witt Spaces
For many applications, the class of spaces with even dimension strata is too restrictive. The largest class of Witt spaces still enjoys Poincaré duality of the middle intersection homology, but allows for some strata of odd dimension (see for instance the following references (5.26), (5.5.3), (5.5.3), (5.5.46)).
Definition 5.4.6
A stratified pseudomanifold X is a R-Witt space ([94, Sect. 5.6.1] [169]) if, for each stratum of odd codimension \(\alpha =2k+1\), then \(IH_{k}^{\bar{m}}(L_\alpha ; R)=0\), where \(L_\alpha \) is the link of the stratum (5.3) For such a space, the intersection homology groups of the two middle perversities coincide (see Example 5.4.1):
5.4.4 The Intersection Homology Sheaf Complex
The intersection homology sheaf complex is defined in the context of PL-pseudomanifolds. In the following section, the Deligne complex will be defined in the more general context of topological pseudomanifolds. When both defined, the intersection homology sheaf complex and the Deligne complex are quasi-isomorphic and their hypercohomology computes intersection homology. That is made precise in the following sections.
Definition 5.4.7
Let \({\mathcal IC}^{-i}_{{\bar{p}}}\) be the subsheaf of \(\mathcal {C}^{-i}\) (see Example 5.3.2) whose sections over an open subset \(U\subset X\) consist of all locally finite PL-chains \(\xi \in \Gamma (U; \mathcal {C}^{-i})\) such that \(\vert \xi \vert \) is \(({\bar{p}},i)\)-allowable and \(\vert \partial \xi \vert \) is \(({\bar{p}},i-1)\)-allowable with respect to the filtration of U
That is
The sheaf \({\mathcal IC}^{-i}_{{\bar{p}}}\) is well defined and \(\Gamma (U; {\mathcal IC}^{-i}_{{\bar{p}}}) = IC_i^{{\bar{p}}}(U)\). If \(V\subset U\) are two open subsets in X, then for every perversity \({\bar{p}}\), there are natural restriction maps \(\rho _{_{VU}} : IC_i^{{\bar{p}}}(U) \rightarrow IC_i^{{\bar{p}}}(V)\) as in (5.6) (see [94, Sect. 2.1]).
Using the restriction of the usual boundary, one obtains a complex of sheaves \({\mathcal IC}^{{_{^{\bullet }}}}_{{\bar{p}}}\) on X. This complex is soft [18, II, Sect. 5] so that the complex satisfies Proposition 5.3.11. The hypercohomology groups \({\,\mathrm I\!\mathrm H}^{-i} (X;{\mathcal IC}^{{_{^{\bullet }}}}_{{\bar{p}}})\) are canonically isomorphic to the intersection homology groups \(IH_{i}^{{\bar{p}}} (X;R)\) defined in [92, Sect. 1.3] for \(R=\mathbb {Z}\). Also, one has
intersection homology with compact supports, and more generally
for any family of supports \(\Phi \) on X (see [18, II, 5]).
The associated cohomology sheaves \({\mathcal H}^{-i}({\mathcal IC}^{{_{^{\bullet }}}}_{{\bar{p}}})\) are called the local intersection homology sheaf. The stalk at \(x\in X\) of this sheaf is \(IH_i^{{\bar{p}}} (X, X-\{x\};R)\).
5.4.4.1 Definition with Local Systems
Considering local systems provide many useful examples as well as powerful applications.
Let \(\mathcal {L}\) be a local coefficient system of R-modules on \(X-\Sigma \). Given an open subset \(U\subset X\) and a locally finite triangulation K of U, the group \(IC^{{\bar{p}},K}_i(U; \mathcal {L})\) is well defined (see Sect. 5.4.2) as well as maps \(IC^{{\bar{p}},K}_i(U; \mathcal {L}) \rightarrow IC^{{\bar{p}},K}_{i-1}(U; \mathcal {L})\).
Definition 5.4.8
([94, Sect. 2.2], [89, 9.4]) Let X be a PL-stratified PL-pseudomanifold and \({\bar{p}}\) a perversity, the sheaf complex \({\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}_{\bar{p}}(\mathcal {L})\) of intersection chains with local coefficients in \(\mathcal {L}\) is defined by
where the limit is taken over locally finite compatible triangulations of U. The intersection homology groups of X with coefficients in \(\mathcal {L}\), denoted \(IH^{{\bar{p}}}_i(X; \mathcal {L})\), are the hypercohomology groups \({\,\mathrm I\!\mathrm H}^{-i} (X;{\mathcal {I}{\mathcal {C}}}_{{\bar{p}}}^{{_{^{\bullet }}}}(\mathcal {L}))\).
Combining formula (5.15) with (5.12) and (5.13), one obtains the following theorem:
Theorem 5.4.9
Let \(f_x :\{x\} \rightarrow X\) be the inclusion of a point x in X, \(U_x\) a distinguished neighborhood of x and let \( {\mathcal {I}{\mathcal {C}}}^{{\bar{p}}, {_{^{\bullet }}}}_X(\mathcal {L})\) be the sheaf complex of intersection chains, one has:
Remark 5.4.10
An important remark is that the index for the dimension of the homology and intersection homology groups differs according to the authors. That can be considered as unfortunate but shows the diversity of the theory and diversity of applications.
In [94, Sect. 2.3] Goresky and MacPherson explicit four different indices in the literature and the reader has to take care of the convention used in the concerning article.
-
(a)
Homology subscripts, as in [92] or [63]: a subscript k indicates chains of dimension k.
-
(b)
Homology superscripts, as in [94] and this survey: a superscript \(-k\) indicates chains of dimension k.
-
(c)
Cohomology superscripts, as in [18, 19, 84]: a superscript j indicates chains of dimension \(n-j\).
-
(d)
The Beilinson-Bernstein-Deligne-Gabber scheme [10]: a superscript j indicates chains of codimension \(\frac{n}{2} + j\).
For an n–dimensional compact oriented pseudomanifold these schemes compare as follows: \(H_k(X)\) in scheme (a) is isomorphic to \(H^{-k}(X)\) in scheme (b), \(H^{n-k}(X)\) in scheme (c), and \(H^{\frac{n}{2} -k} (X)\) in scheme (d).
5.4.5 The Deligne Construction
In a conversation at the IHES, in the fall of 1976, R. MacPherson explained about intersection homology to P. Deligne. P. Deligne had been thinking about variation of Hodge structures on a smooth algebraic curve where truncation arises naturally. When R. MacPherson explained the intersection homology of a cone, it looked like this truncation so P. Deligne conjectured that perhaps intersection homology might be explained by repeated truncation. His conjecture was proven by Goresky and MacPherson [94], who pointed out that this construction could be used to prove the topological invariance of intersection homology, and to give a definition that works in characteristic p. In the meantime, on 20 April 1979, P. Deligne had written to D. Kazhdan and G. Lusztig about the theory, describing his interpretation using truncation, and conjecturing that intersection homology might be pure [94, Sect. 3] or [18, V, Sect. 2.2].
The Deligne idea is to start with the constant sheaf (or a local system of coefficients) on the non-singular part and extending stratum by stratum by alternate operations of “pushing” and “truncating”. While requiring technical tools, the idea of Deligne construction is relatively simple. One starts with (all) chains on the regular stratum, then pushing the complex on the “next” stratum, and then “cutting” (truncating) according to the perversity in order to retain only allowed chains. One continues the process by induction on decreasing dimension of the strata.
Therefore, the Deligne construction uses two tools: the “pushing” attaching property and the “truncating” operation.
5.4.5.1 The Attaching Map
Let Y be a closed subspace of X and i the inclusion of \(U=X-Y\) into X. For a sheaf \(\mathcal {A}^{_{^{\bullet }}}\), the composition of the natural morphisms
is the attaching map.
Consider a stratification (5.2)
and, denoting by \(U_k = X - X_{n-k}\) the complementary open subsets, consider the filtration
One has \(U_2=X-\Sigma \). Denote by \(i_k : U_k \hookrightarrow U_{k+1}\) the inclusion. Then
The following result is one of the main ingredients of the sheaf axiomatic construction of intersection homology (see Sect. 5.4.7).
Theorem 5.4.11
([94, Proposition 2.5], [18, II, Theorem 6.1]) The natural homomorphism
induces an isomorphism
for all \( j \le p(k)- n\).
5.4.5.2 The Deligne Truncation Functor
If \(k\in \mathbb {Z}\), the truncation of a complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) on X is a new complex ([94, 1.14], [18, V,1.10]):
The functor \(\tau _{\le k}\) determine a truncation functor on the derived category \(D^b(X)\). See [94, 1.14] for more detailed properties.
5.4.5.3 The Deligne Sheaf [94, Sect. 3.1], [18, V, Sect. 2.2]
In this section X is a topological pseudomanifold and \(\mathcal {L}\) denotes a system of local coefficients on the regular part \(X-\Sigma \).
Let \({\bar{p}}\) a fixed perversity, the Deligne complex of sheaves (or Deligne sheaf) \(\mathbb {P}^{_{^{\bullet }}}_k (\mathcal {L}) \in D^b(U_k)\) is defined inductively by
The resulting complex \(\mathbb {P}^{_{^{\bullet }}}(\mathcal {L}) = \mathbb {P}^{_{^{\bullet }}}_{n+1} (\mathcal {L}) \) is called the Deligne intersection homology chain complex with coeffcients in \(\mathcal {L}\).
Starting with a regular Noetherian ring R of finite Krull dimension and the constant sheaf \(\mathbf{R}\) on \(X-\Sigma \) instead of \(\mathcal {L}\), i.e. starting with
the complex \(\mathbb {P}^{_{^{\bullet }}}= \mathbb {P}^{_{^{\bullet }}}_{n+1}\) is written
5.4.6 Local Calculus and Consequences
The local calculus, and precisely the computation in formulae (5.18) and (5.19) below, are the starting points for the characterization of intersection homology.
Let \(x\in X\) be a point in the stratum \(S_{n-\alpha }\) with codimension \(\alpha \) in X. Let U be a neighborhood of x homeomorphic to \({\mathbb B}^{n-\alpha }\times {\mathring{c}}(L_x)\), where \(\dim L_x = \alpha -1\) (see 5.3). The following result is proved in [18, II, Sect. 3–4] in the context of PL-pseudomanifolds and in [94, Sect. 2.4], [93, 1.7] in the context of topological pseudomanifolds.
Proposition 5.4.12
Let X be a locally compact stratified pseudomanifold and \({\bar{p}}\) any perversity. Let x be a point in a stratum with codimension \(\alpha \) in X and let U be a neighborhood of x homeomorphic to \({\mathbb B}^{n-\alpha }\times {\mathring{c}}(L_x)\), then one has:
The link \(L_x\) is compact and its homology groups, with compact and closed supports coincide.
Here is an useful and important notation for the sequel:
Denoting by \({\bar{p}}\) a perversity and \({\bar{q}}\) the complementary perversity, one recalls that \(p_k + q_k = k-2\) for all \(k \ge 2\). If \(j\in {\mathbb N}\), one defines the inverse perversity function
and \(p^{-1}(j) = \infty \) if \(j > p_n\) (Fig. 5.5).
Using the “inverse perversity function”; the properties (5.18) and (5.19) are written
and in terms of hypercohomology (see (5.15) and with \(j=-i\))
As observed by Goresky and MacPherson [93, 1.8, Theorem] the results of this section are valid for intersection homology with coefficients in a local system.
5.4.7 Characterizations of the Intersection Complex
In the introduction of their Sect. 3 [94], Goresky and MacPherson provide the motivation for the characterizations of the intersection complex, in particular topological invariance of intersection homology. The theorem [94, Theorem 3.5] shows that if X has a PL structure and is stratified by a PL stratification and if \({\bar{p}}\) denotes a fixed perversity then the Deligne complex \(\mathbb {P}^{_{^{\bullet }}}(\mathcal {L})\) and the complex of PL intersection chains \({\mathcal {I}{\mathcal {C}}}^{{\bar{p}},{_{^{\bullet }}}}_X(\mathcal {L})\) are canonically isomorphic in \(D^b(X)\) whenever they are both defined. That justifies the use of the notation \({\mathcal {I}{\mathcal {C}}}^{{\bar{p}},{_{^{\bullet }}}}_X(\mathcal {L})\) to denote this isomorphism class of objects, for any topological pseudomanifold.
In this section, X is a topological pseudomanifold. The first characterization of the intersection complex, as a system of axioms called \([AX_1]_{{\bar{p}}}\), is given in [94, Sect. 3.3] and [18, V, Sect. 4]. In [18, V, Sect. 4.20], Borel discusses some points concerning the “differences” between [18, 94], in particular the usefulness of the hypothesis “topologically constructible”.
If \(\mathcal S\) denotes a filtration (5.2) of the space X, let \(U_k =X - X_{n-k}\) denote the complementary increasing filtration by open sets. There are inclusions
Definition 5.4.13
([94, Sect. 3.3]) Let \({\bar{p}}\) be a perversity and \(\mathcal {L}\) is a local system defined on the regular part of X. A complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) on X satisfies axioms \([AX_1]_{{\bar{p}}}(\mathcal {L})\) if it satisfies:
-
(1a) \(\mathcal {A}^{_{^{\bullet }}}\) is constructible with respect to the given stratification and \(\mathcal {A}^{_{^{\bullet }}}\vert _{U_2}\) is quasi-isomorphic to \({\mathcal {L}}[n]\).
-
(1b) \(\mathcal {H}^i(\mathcal {A}^{_{^{\bullet }}}) = 0 \text { for } i< -n.\)
-
(1c) \(\mathcal {H}^i(\mathcal {A}^{_{^{\bullet }}}\vert _{U_{k+1}}) = 0 \text { for } i > p(k)-n\).
-
(1d) The attaching maps (see Theorem 5.4.11) induce isomorphisms
$$\mathcal {H}^i(j^*_k\mathcal {A}^{{_{^{\bullet }}}}\vert _{U_{k+1}}) \rightarrow \mathcal {H}^i(j^*_k R i_{k*} i_k^*\mathcal {A}^{{_{^{\bullet }}}} \vert _{U_{k+1}})$$for all \(k\ge 2\) and \(i \le p(k)-n\).
Theorem 5.4.14
([94, Sect. 3.5] [18, V, Theorem 2.5]), The sheaf \(\mathbb {P}^{_{^{\bullet }}}_{\bar{p}}(\mathcal {L})\) satisfies properties \([AX_1]_{{\bar{p}}}(\mathcal {L})\). Any complex of sheaves \(\mathcal {A}^{_{^{\bullet }}}\) satisfying \([AX_1]_{{\bar{p}}}(\mathcal {L})\) is quasi-isomorphic to \(\mathbb {P}^{_{^{\bullet }}}_{\bar{p}}(\mathcal {L})\).
Theorem 5.4.15
([94, Sect. 3.5, Corollary]) Let \({\bar{p}}\) be a perversity and \(\mathcal {A}^{_{^{\bullet }}}\) be a constructible complex of fine (or soft) sheaves on X satisfying axioms \([AX_1]_{{\bar{p}}}(R)\), then the cohomology groups of the complex
i.e., the hypercohomology groups \({\,\mathrm I\!\mathrm H}^j_c(X;\mathcal {A}^{_{^{\bullet }}})\), are naturally isomorphic to the intersection homology groups \(IH^{{\bar{p}}}_{n-j}(X;R)\).
In fact, Goresky and MacPherson prove the following main result, of which follow the main properties of intersection homology (Sect. 5.5.1).
Theorem 5.4.16
([94, Sect. 3.5]) The functor \(\mathbb {P}^{_{^{\bullet }}}_{\bar{p}}\) which assigns to any locally trivial sheaf \(\mathbb {F}\) on \(X^0=X- \Sigma \), the complex
defines an equivalence of categories between
-
(a)
the category of locally constant sheaves on \(X^0=X- \Sigma \) and
-
(b)
the full subcategory of \(D^b(X)\) whose objects are all complexes of sheaves which satisfy the axioms \([AX_1]_{{\bar{p}}}\).
Example 5.4.17
The orientation sheaf \(\mathcal {O}\) on \(X^0\) is quasi-isomorphic to the dualizing sheaf \(\mathbf{D}^{_{^{\bullet }}}_{X^0}[-n]\). Then \(\mathbb {P}^{_{^{\bullet }}}_{{\bar{p}}}(\mathcal {O})\) is the intersection homology sheaf and its cohomology is:
for any \(r\ge 0\).
Example 5.4.18
Let \(\mathbf{R}_{X^0}\) be the constant sheaf on \(X^0\), placed in degree 0. Then
is the intersection cohomology.
Theorem 5.4.19
([94, Sect. 3.6] [18, II, Theorem 6.1]) Let X be a PL-pseudomanifold with a fixed PL-stratification then the sheaf of PL-intersection chains \( {\mathcal {I}{\mathcal {C}}}^{{\bar{p}}, {_{^{\bullet }}}}_X\) satisfies the axioms \([AX_1]_{{\bar{p}}}(R)\) with respect to the given stratification. It is naturally quasi-isomorphic to \(\mathbb {P}^{_{^{\bullet }}}_{\bar{p}}(\mathbf{R})\).
The second characterization of the intersection complex of sheaves goes as follows, as a consequence of the local calculus (see [18, V, Sect. 2.12] and formulae (5.20), (5.21), (5.16), (5.17)).
Definition 5.4.20
([94, Sect. 4.1], [127, Sect. 9] and [18, V Sect. 4.13].) Let \(\mathcal {L}\) be a local system on an open dense submanifold U of codimension at least 2 in X and let \(f_x :\{x\} \rightarrow X\) be the inclusion of a point x in X. One says that the sheaf complex \(\mathcal {A}^{_{^{\bullet }}}\) satisfies the axioms \([AX_2]_{{\bar{p}}}(\mathcal {L})\) for the perversity \({\bar{p}}\) if one has:
-
(2a) \(\mathcal {A}^{_{^{\bullet }}}\) is a topologically constructible complex and \(\mathcal {A}^{_{^{\bullet }}}\vert _U = \mathcal {L}[n]\) for some open dense submanifold U of codimension at least 2 in X and over which the local system \(\mathcal {L}\) is defined.
-
(2b) \({\mathcal H}^j({\mathcal {A}^{_{^{\bullet }}}})=0\) if \(j<-n\)
-
(2c) \(\dim \{x \in X \vert H^j(f^*_x\mathcal {A}^{_{^{\bullet }}}) \ne 0\} \le n - p^{-1}(j+n)\) for every \(j \ge -n+1\).
-
(2d) \(\dim \{x \in X \vert H^j(f^!_x\mathcal {A}^{_{^{\bullet }}}) \ne 0\} \le n - q^{-1}(-j)\) for every \(j \le -1\).
where is \(\bar{q}\) the complementary perversity of \(\bar{p}\)
The uniqueness theorem, proved in Goresky and MacPherson [94, 4.1] (see also [18, V, 4.17]) states that up to canonical isomorphism, there exists an unique complex in \(D^b(X)\) which satisfies axioms \([AX_2]_{{\bar{p}}}(\mathcal {L})\). It is given by the sheaf \( {\mathcal {I}{\mathcal {C}}}^{{\bar{p}},{_{^{\bullet }}}}_X(\mathcal {L})\), constructed as before with any stratification of X. As a corollary, the intersection homology groups \(IH^{{\bar{p}}}_{*}(X)\) are topological invariant and exist independently of the choice of the stratification of X. One has:
Theorem 5.4.21
([94, Sect. 4.1] [18, V, 4.17]) Let \(\mathcal {A}^{_{^{\bullet }}}\) be a fine (or soft) sheaf complex on X satisfying Axioms \([AX_2]_{{\bar{p}}}\) for a perversity \({\bar{p}}\) and \(\Phi \) a family of supports on X, then the cohomology groups of the complex
i.e., the hypercohomology groups \({\,\mathrm I\!\mathrm H}_\Phi ^j(X;\mathcal {A})\), are isomorphic to the intersection homology groups \(IH^{{\bar{p}},\Phi }_{-j}(X;\mathcal {L})\).
In the common setting, equivalence of the systems of axioms \([AX_1]_{{\bar{p}}}(\mathcal {L})\) and \([AX_2]_{{\bar{p}}}(\mathcal {L})\) is proved in [94, 4.3], [18, V Sect. 4.10].
5.5 Main Properties of Intersection Homology
The first properties have been proved by Goresky and MacPherson [92] in the framework of PL-pseudomanifolds (see also [18, Chaps. I–IV]). They have been proved in the topological setting, using sheaves and in particular the Deligne sheaf complex, by the same authors in [94] (see also [18, Chaps. V–IX]).
5.5.1 First Properties
In general, results and proofs of this section can be found in various books or surveys concerning intersection homology. However, references will be given to the original papers of Goresky and MacPherson [92] for the PL situation and [94] for the case with sheaves and systems of local coefficients. References to the Borel book [18] will be provided as well, always taking care of the difference of notations.
The intersection homology groups are not homotopy invariant. The intersection homology groups of a cone do not (all) vanish (see (5.18)), while the cone is homotopic to a point, whose non-zero homology groups vanish. However, one has.
5.5.1.1 Topological Invariance
In [92, Corollary, p.148] Goresky and MacPherson show that the PL intersection homology groups are PL-invariants, i.e. independent of the PL-stratification (see also [18, V, 4.19]). In [94, 4.1] (see also [18, V, 4.18]), Goresky and MacPherson show independence of the topological stratification as a consequence of the Deligne construction performed for the canonical \({\bar{p}}\)-filtration they defined ([94, 4.2]) and the system of axioms \([AX_2]_{{\bar{p}}}(\mathcal {L})\). The canonical \({\bar{p}}\)-filtration is a homological stratification, the coarsest one for which the intersection homology sheaf is cohomologically constructible.
Theorem 5.5.1
([94, Sect. 4, Introduction and Sect. 4.1, Corollary 1]) Let X be a locally compact pseudomanifold and \({\bar{p}}\) a perversity. Let \(\mathcal {L}\) be a local system on the regular part \(X^0 = X-\Sigma \).
-
The intersection homology groups \(IH^{{\bar{p}}}_*(X;\mathcal {L})\) and \(IH^{{\bar{p}},c}_{*}(X;\mathcal {L})\) are topological invariants and exist independently of the choice of a stratification of X,
-
For any homeomorphism \(f:X\rightarrow Y\), the complexes \({\mathcal {I}{\mathcal {C}}}^{{\bar{p}},{_{^{\bullet }}}}_X\) and \(f^* {\mathcal {I}{\mathcal {C}}}^{{\bar{p}},{_{^{\bullet }}}}_Y\) are isomorphic in the derived category.
In [113] King proves topological invariance without sheaves in the case of GM perversities. He also provides a generalization of the intersection homology groups using singular theory and general perversities (“loose perversities”). King claims that the PL intersection homology theory of [92] agrees with his singular theory for any loose perversity and PL stratified set (see the discussion [113, p. 158]). “One can define intersection homology for topological pseudomanifolds, independently of PL structures”. A modification of the King’s method is provided by Friedman [79, 5.6.2].
In [162] Rourke and Sanderson use homology stratifications to present a simplified version of the Goresky-MacPherson proof valid for PL-spaces.
5.5.1.2 Products in Intersection Homology
Definition 5.5.2
([94, Sect. 5.0]) An R-orientation for X is a chosen quasi-isomorphism
If char(R) \(\ne 2\) then an R-orientation of X is equivalent to an orientation of \(X-\Sigma \) in the usual topological sense.
Suppose X is a (not necessarily orientable) n-dimensional pseudomanifold. For any local system \(\mathcal {L}\) on the regular part \(X^0 = X-\Sigma \) and any perversity \({\bar{p}}\) the Deligne’s sheaf \(\mathbb {P}^{_{^{\bullet }}}_{{\bar{p}}} (\mathcal {L})\) is defined on X. In [94, Sect. 5.2] and [18, V, Sect. 9, C] it is shown that any pairing of local systems \(\mathcal {L}_1 \otimes \mathcal {L}_2 \rightarrow \mathcal {L}_3\) induces a pairing
by induction using the construction of Deligne “attaching–truncating” from the multiplication on the regular subset \(X^0\).
The generalized Poincaré duality, Poincaré-Lefschetz theorem as well as intersection pairing, and cup and cap-products follow from particular cases of formula 5.22, mainly in the case of Examples 5.4.17 and 5.4.18 (see also [18, V, Sect. 9.15] taking care of difference of indices—see Remark 5.4.10).
For instance, cup products \(IH^a \otimes IH^b \rightarrow IH^{a+b}\) and cap products \(IH^a \otimes IH_b \rightarrow IH_{b-a}\) in intersection cohomology follow from the canonical pairings
This constructions works over any commutative ring R of finite cohomological dimension.
5.5.1.3 Intersection Pairing
One of the most important properties of intersection homology is the generalization of the Poincaré-Lefschetz duality, i.e. the intersection pairing (Sect. 5.2.6).
The following Proposition ([92, Sect. 2]) has been first stated by Goresky and MacPherson in the PL setting, using a McCrory Lemma [131, 132], itself using the Zeeman technique to move cycles into general position (see [92, Sect. 2.2]).
Proposition 5.5.3
([92, Sect. 2.3]) Let X a compact oriented PL-pseudomanifold and let \({\bar{p}}\), \({\bar{q}}\) and \({\bar{r}}\) perversities such that \({\bar{p}}+{\bar{q}}\le {\bar{r}}\), one has canonical bilinear pairings
These pairings are compatible with the cup and cap products ([92, Sect. 7, Appendix]).
Note that, in the non compact situation, the preceding construction gives rise to the pairings
Goresky and MacPherson generalized the results in the topological setting [94, Sects. 5.2 and 5.3], using the intersection sheaf complex (see also [18, V, 9.15] taking care of difference of indices—see Remark 5.4.10).
Starting with local coefficient systems \(\mathcal {L}_1, \mathcal {L}_2, \mathcal {L}_3\) on \(X-\Sigma \), a product \(\mathcal {L}_1 \otimes \mathcal {L}_2 \rightarrow \mathcal {L}_3\) gives rise to intersection pairings (cf 5.22) [94, 5.2]
and the Theorem:
Theorem 5.5.4
([94, 5.2], [18, I, 4.2; V, 9.14]) Let X be a topological pseudomanifold. If \({\bar{p}}+ {\bar{q}}\le {\bar{r}}\) there are canonical intersection pairings
These pairings are compatible with the cup and cap products.
Goresky and MacPherson remark that it is not necessary to have an orientation in the preceding construction [94, Sect. 5.2].
5.5.1.4 Verdier Duality—The Generalized Poincaré-Lefschetz
In their original article, in a delicate and very geometric proof, using so-called “basic sets” \(Q^{\bar{p}}_i\), Goresky and MacPherson prove the generalized Poincaré duality:
Theorem 5.5.5
([92, 3.3, Theorem]) Let X be a compact, oriented pseudomanifold and let \({\bar{p}}\) and \({\bar{q}}\) be two complementary perversities, then the pairing
followed by the evaluation map \(\varepsilon \) (which counts points with their multiplicity order) is non-degenerate, when tensorised by the rationals \({\mathbb Q}\).
Note that, in the non compact situation, the preceding construction gives rise to the pairing (see Example 5.4.5).
In a more general way, let k be a field, then the pairing
is non-degenerate and induces isomorphisms
Note that, in the non-compact case, one has isomorphisms:
In [94] these results have been generalized by Goresky and MacPherson, assuming that the coefficient ring R is a field k and that X is k-orientable (with a choice of k-orientation). The following results follow from the property of duality between \({\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}_{{\bar{p}}}\) and \({\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}_{{\bar{q}}}\) for complementary pervesities \({\bar{p}}+ {\bar{q}}= {\bar{t}}\). In particular if X has even codimension strata, then \({\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}_{{\bar{m}}}\) is self dual (for example, if X is a complex analytic variety).
Definition 5.5.6
([94, 5.3]) Let \(n=\dim (X)\), a pairing \(\mathcal {A}^{_{^{\bullet }}}{\overset{L}{\otimes }} \mathcal {B}^{_{^{\bullet }}}\rightarrow {\mathbf{D}}^{_{^{\bullet }}}_X[n]\) of objects in \(D^b(X)\) is called a Verdier dual pairing if it induces an isomorphism in \(D^b(X)\)
Theorem 5.5.7
([94, 5.3, Theorem]) Suppose \({\bar{p}}\) and \({\bar{q}}\) are complementary perversities, then the intersection pairing followed by the map to homology
is a Verdier dual pairing.
Corollary 5.5.8
([94, 5.3, Corollary]) Let X be a compact, oriented stratified pseudomanifold and let \({\bar{p}}\) and \({\bar{q}}\) be two complementary perversities, then the pairing
followed by the evaluation map \(\varepsilon \) (which counts points with their multiplicity order) induces isomorphisms
Dropping the assumption that X is oriented, let \(\mathcal {O}\) be the orientation local system of k-modules on \(X-\Sigma \). A pairing \(\mathcal {L}_1 \otimes \mathcal {L}_2 \rightarrow \mathcal {O}\) of local systems on \(X-\Sigma \) is called perfect if the induced mapping \(\mathcal {L}_1 \rightarrow Hom (\mathcal {L}_2,\mathcal {O})\) is an isomorphism.
Theorem 5.5.9
([94, 5.3, last Theorem]) Suppose \({\bar{p}}\) and \({\bar{q}}\) are complementary perversities and the pairing \(\mathcal {L}_1 \otimes \mathcal {L}_2 \rightarrow \mathcal {O}\) is perfect. Then the intersection pairing followed by the map to homology
is a Verdier dual pairing.
Note that, using Alexander-Whitney chains, Friedman and McClure [80] re-prove these results in the special case of field coefficients.
Example 5.5.10
(Suspension of the torus) That is the original Goresky-MacPherson example (see [92]) for which Poincaré duality fails for usual homology. The suspension of the torus (Fig. 5.6) is the join of the torus with two points A and B. It is a 3-dimensional singular variety with two singular points A and B: the link of A (or B) is a torus, not a sphere. See the alternative very nice picture of the suspension of the torus in [92].
The natural stratification of the suspension of the torus is
There are two possible perversities:
An i-dimensional chain c containing one (or two) of the singular points A and B is allowable if
that means, if \({\bar{p}}= \bar{0}\), then \(i \ge 3\) and if \({\bar{p}}= {\bar{t}}\), then \(i\ge 2\).
The intersection homology groups \(IH^{{\bar{p}}}_i (X; \mathbb Q)\) corresponding to the two perversities are easily computed and are resumed in the Table 5.2. The cycle a is boundary of the cycle c(a), cone with vertex a. The suspension of a is a 2-dimensional cycle denoted by \(\Sigma (a)\).
The intersection matrix of the intersection product
is non-degenerate.
5.5.1.5 Factorization of Poincaré Homomorphism. See [92, Sect. 1.4], [94, Sect. 5.1], [18, I, Sect. 4.1; I, Sect. 3.2]
Poincaré Duality—Return to the smooth case
The Poincaré duality can be proved by using sheaf complexes: R is still a regular Noetherian ring with finite Krull dimension, which can be \(\mathbb {Z}\), \(\mathbb {Q}\) or \(\mathbb {R}\). Assuming that X is an n-dimensional oriented manifold, the quasi-isomorphism of complexes of sheaves \(R_X [n] \cong \mathcal {C}^{_{^{\bullet }}}_X \) induces isomorphisms of hypercohomology groups:
In particular, one has (see Sect. 5.2.2):
Poincaré Duality—Singular case
An orientation on X is an isomorphism (5.5.2)
The (unique in \(D^b\)) canonical lift of the orientation
induces the cap-product with the orientation (fundamental) class
Proposition 5.5.11
([94, Sect. 5.1]) Assume X oriented, and let \(i : X-\Sigma \rightarrow X\) denote the inclusion. For any perversity \({\bar{p}}\) there is a unique morphism in \(D^b\)
such that the induced morphism \(i^*\mathbf{R}_{X}[n] \rightarrow i^*{\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}\) is the evident one and \(i^* {\mathcal {I}{\mathcal {C}}}^{_{^{\bullet }}}\rightarrow i^* \mathbf{D}^{_{^{\bullet }}}_{X}\) is given by the orientation. These morphisms factor the cap-product with the fundamental class [X], i.e. \(PD_X : \mathbf{R}_{X}[n] \rightarrow \mathbf{D}^{_{^{\bullet }}}_{X}\).
For any perversity \({\bar{p}}\), denote the previous morphisms by
By taking hypercohomology, one obtain the classical comparison morphisms
The composition \(\omega _X \circ \alpha _X : \mathbf{R}_X[n] \rightarrow \mathbf{D}^{{_{^{\bullet }}}}_X\)
induces at the global level, i.e., taking hypercohomology, the “classical” Poincaré duality homomorphism
that is factorized by intersection homology
Poincaré Duality—Singular case—geometry
In this (sub)-section, X is an oriented compact PL-pseudovariety.
First, remark that if \({\bar{p}}\) and \({\bar{q}}\) are two perversities such that \({\bar{p}}\le {\bar{q}}\), that is \(p_\alpha \le q_\alpha \) for all \(\alpha \), then one has a natural morphism
for every support family and it induces a morphism \(IH^{{\bar{p}}}_*(X) \rightarrow IH^{{\bar{q}}}_*(X)\).
In particular, one has a morphism \( IH^{\bar{0}}_*(X) \rightarrow IH^{{\bar{p}}}_*(X)\) and a morphism \( IH^{{\bar{p}}}_*(X) \rightarrow IH^{{\bar{t}}}_*(X)\) for every perversity \({\bar{p}}\).
The morphism \(\alpha _X^{\bar{0}}: H^{n-i}(X) \rightarrow IH_i^{\bar{0}}(X)\) can be described in the following way:
Assuming that X is embedded in a smooth m-dimensional PL oriented manifold M, the stratification of X can be extended to a stratification of M by taking \(M\setminus X\) as the regular stratum. Let K be a locally finite triangulation of M compatible with the stratification. For each \(p=n-i\)-simplex \(\sigma \in K\) contained in X, the dual cell of \(\sigma \) in M, denoted by \(D\sigma \) has dimension \(m-p\) (see 5.4) and is transverse to all strata. The Poincaré homomorphism
associates to the elementary \((n-i)\)-cochain \(\sigma ^*\) which corresponds to the simplex \(\sigma \) in K, the i-chain \(\xi = D\sigma \cap X\) of \((K')\), which is \(\bar{0}\)-allowed. Therefore, for each perversity \({\bar{p}}\), one has the factorisation (5.24).
5.5.1.6 Relative Homology, See [93, 1.3], [18, I, 2.2.2]
Let X be a stratified pseudomanifold, and U an open subset in X, then U inherits a structure of stratified pseudomanifold induced by the one of X. For every perversity \({\bar{p}}\), the complex of intersection chains of U with compact supports \(IC^{{\bar{p}}}_*(U)\), is a sub-complex of \(IC^{{\bar{p}}}_*(X)\).
Defining \(IC^{{\bar{p}}}_*(X,U) = IC^{{\bar{p}}}_*(X) / IC^{{\bar{p}}}_*(U)\), one obtains a relative complex and one has a long exact sequence:
The property is also valid with local systems (see [93, 1.8]).
5.5.1.7 Excision, See [93, 1.5]
Lemma 5.5.12
Let X be a locally compact stratified pseudomanifold and U and V two open subsets in X, then the inclusion \((U,U\cap V)\hookrightarrow (U\cup V,V)\) induces an isomorphism of intersection homology groups with compact supports
Proposition 5.5.13
Let X be a locally compact stratified pseudomanifold, U an open subset in X and A a closed subset in U. Let \({\bar{p}}\) be any perversity, then the inclusion \((X-A,U-A)\hookrightarrow (X,U)\) induces an isomorphism of intersection homology groups with compact supports
The property is also valid with local systems (see [93, 1.8]).
5.5.1.8 Künneth Formulae, See [94, 6.3]
Künneth formulae in homology If X and Y are topological spaces, and R a PID (principal ideal domain) the Künneth formula is written as short exact sequence (where all homology groups have R coeffivients)
that (not canonically) splits.
If R is a field k, then the Künneth formula is written
Künneth formula in intersection homology In general, the Künneth formula is no longer true for intersection homology (see counterexamples in [61, Sect. 5]). However, there are some situations for which the the Künneth formula is true.
(1) Cheeger [59] observes that the Künneth formula holds for the middle intersection cohomology, and for Witt spaces X, Y (see Sect. 5.4.6) with \(k=\mathbb {R}\).
The formula is extended in [94, 6.3] in the context of “middle homology sheaves”. A middle homology sheaf is a complex of sheaves \({\mathcal S}^{_{^{\bullet }}}\) such that for some local coefficient system \(\mathcal {F}\) on \(X^0=X \backslash \Sigma \),
Let \(\pi _1 : X \times Y \rightarrow X\) and \(\pi _2 : X \times Y \rightarrow Y\) be the projections. Let \(\mathcal {F}_1\) and \(\mathcal {F}_2\) be local coefficients systems on the regular parts of X and Y respectively, satisfying the previous formula, then
(2) When one of the element of the product is a smooth manifold, the formula is verified (see [93, Sect. 1.6], [61]).
Proposition 5.5.14
Let X be a locally compact stratified pseudomanifold and M a manifold. Let \({\bar{p}}\) be a perversity, one has a split exact sequence:
(3) Fix a coefficient ring R which is a principal ideal domain and suppose X and Y are compact pseudomanifolds. Cohen, Goresky and Ji show [61] more general results showing, for instance that if the perversity \({\bar{p}}\) satisfies
for all a and b, then there is a split short exact sequence for intersection cohomology with the perversity \({\bar{p}}\) and coefficients in R:
The condition on the perversity \({\bar{p}}\) means that the graph of the perversity function does not deviate far from some straight line through the origin (see also [28, Corollary 9.3]).
(4) G. Friedman, in [74], considers biperversities \(({\bar{p}},{\bar{q}})\) and obtains a Künneth theorem relating \(IH^{{\bar{p}},{\bar{q}}}_* (X\times Y) \) and \(IH^{{\bar{p}}}_*(X) \) and \(IH^{{\bar{q}}}_*(Y) \) for all choices of \({\bar{p}}\) and \({\bar{q}}\). and this recovers the result of Cohen,Goresky and Ji.
(5) Let k be a field, Friedman and McClure [80] define a perversity \(\bar{Q}({\bar{p}},{\bar{q}})\) on the product \(X\times Y\), whose value depends on regularness or not of the elements of the filtration of the product. They obtain an isomorphism
5.5.1.9 Normalization and Intersection Homology, [92, Sect. 4], [18, I, 1.6, I, 3.2, V,2.8 and 2.12]
The oriented n-dimensional pseudomanifold X is normal if
Equivalently, each point x admits a fundamental system of neighborhoods U whose regular part \(U\setminus \Sigma \) is connected.
Proposition 5.5.15
([92, Sect. 4.3], [94, Sect. 5.6] [18, I, Sect. 4.1]) Let X be a normal pseudomanifold, the morphisms \(\alpha _X\) and \(\omega _X\) (see Sect. 5.5.1) induce isomorphisms:
respectively for the zero perversity \({\bar{0}}\) and the total one \({\bar{t}}\):
The vertical arrows in diagram (5.24) are isomorphisms.
Proposition 5.5.16
([92, Sect. 4.2], [18, I, Sect. 3.2]) Let \(\tilde{X}\) be the normalization of a pseudomanifold X, then one has:
5.5.1.10 Homology Manifolds
Goresky and MacPherson conjecture in [92, Sect. 6.6] that if X is a normal pseudovariety such that \(IH^{{\bar{p}}}_*(X) \rightarrow IH^{{\bar{q}}}_*(X) \) are isomorphisms for all \({\bar{p}}\le {\bar{q}}\), then X is a \(\mathbb {Z}\)-homology manifold, i.e. there is an integer n such that for each point \(\{ x \}\) in X, the local homology group satisfies
The conjecture is false, by a counter-example of King [114] who shows that it is true if one considers more general perversities, so-called “loose perversities”. In [32], Brasselet and Saralegi show that the conjecture is true with a supplementary hypothesis, namely if there are tubular neighborhoods of the strata without homological monodromy. On the other hand, Fieseler and Kaup define in [73, 115] invariants linked to properties of the fibers of the Deligne sheaf. Using these invariants Brasselet, Fieseler and Kaup provide computable criteria for X being a homology manifold [25].
5.5.1.11 Case of Isolated Singularities
Proposition 5.5.17
([18, Sect. 5.1]) Let X be an n-dimensional pseudomanifold with an isolated singularity at \(\{ x\}\). The integer \(p_n\) is the only one pertinent element of the perversity, one has \(0\le p_n \le n-2\) and:
where \(\phi \) denotes the family of closed subsets in X which are contained in \(X\setminus \{ x\}\).
If n is even and \({\bar{p}}\) is the middle perversity, one has \(n-p_n-1=n/2\).
The Proposition is valid with local coefficieny systems.
5.5.1.12 Example of Thom Spaces, [18, I, Sect. 5.3], [26]
Let B a compact 2n-dimensional manifold and \(\pi : E\rightarrow B\) a real oriented vector bundle with even rank r on B. The Thom space associated to E is the Alexandroff compactification of E by adjonction of a point at infinity. It is also the quotient T(E)/S(E) where T(E) and S(E) are the fibre bundles associated to E whose fibers are respectively closed balls and spheres in the fibers of E. The Thom space is a pseudomanifold with an isolated singular point and its dimension is \(2s=2n+r\).
Let be the fundamental class of and \(e\in H^r(B)\) the Euler class of the bundle E. For every i, different from 0 and 2s, one has a commutative diagram ([27], see also [18, I, Sect. 5.3]):
and for the middle (lower) perversity:
In [92, Sect. 6.3] Goresky and MacPherson illustrate the behavior of torsion in the intersection homology by the example of Thom space for which the universal coefficient theorem fails and the generalized Poincaré duality theorem is not true over \(\mathbb {Z}\).
Exemples of computations of Thom spaces associated to the Segre and Veronese embeddings are provided by Brasselet and Gonzalez-Sprinberg in [27].
5.5.2 Functoriality
In general, for a map \(f : X \rightarrow Y\), there is no functoriality, i.e. no maps \(If^*\) and \(If_*\) such that the diagrams below (5.32) and (5.33) commute. The functoriality problem has been proposed by Goresky and MacPherson in [18, IX, C, Problem 4]): “Find the most general category of spaces and maps (perhaps with additional data) on which intersection homology is functorial.”
Goresky and MacPherson earlier proved functoriality for Normally Nonsingular Maps [94, Sect. 5.4]:
(a) A normally nonsingular map ([82, Sect. 4.1]) \(f : X \rightarrow Y\) between oriented topological spaces, is a map such that there is a diagram
in which \(\pi : N \rightarrow X\) is a rank d vector bundle with zero-section s, the map i is an open embedding, p is the first projection and \(f = p \circ i \circ \pi \). The integer \(d-n\) is the relative codimension of f. As said in [82], “Geometrically, that says that the singularities of X at any point x are no better or worse than the singularities of Y at f(x).” Topological pseudomanifotds and normally nonsingular maps form a category (see [82]).
Theorem 5.5.18
([94, 5.4.3]) Let \(f : X \rightarrow Y\) be a proper normally nonsingular map of relative dimension \(\nu \). Then there are homomorphisms
\(IH^{\bar{p}}_k\) is both a covariant functor (via \(If_*\)) and a contravariant functor (via \(If^*\)) on the category of topological pseudomanifotds and normally nonsingular maps.
In their discussion in [18, IX, C], Goresky and MacPherson give and discuss several classes of maps \(f : X \rightarrow Y\) for which there are natural homomorphisms between \(IH^{\bar{m}}_*(X)\) and \(IH^{\bar{m}}_*(Y)\) (where \({\bar{m}}\) is the middle (lower) perversity). In particular, they give the following examples:
(b) The placid maps. A continuous map \(f : X \rightarrow Y\) between stratified spaces is said placid if it is stratum preserving (i.e. the image of every stratum of X is contained in a single stratum of Y) and for each stratum S in Y, the inequality holds:
Proposition 5.5.19
[98, Proposition 4.1] Assume that \(f : X \rightarrow Y\) is a placid map. Then pushforward of chains and pullback of generic chains induce homomorphisms on intersection homology:
where \(m = \dim (X)\) and \(n= \dim (Y)\).
(c) Small maps. [94, Sect. 6.2]
A proper surjective algebraic map \(f : X \rightarrow Y\) between irreducible complex n-dimensional algebraic varieties is small if X is nonsingular and for all \(r>0\),
If Y is one or two dimensional then a small map \(f : X \rightarrow Y\) must be a finite map. If Y is a threefold then the fibres of a small map f must be zero dimensional except possibly over a set of isolated points in Y where the fibres may be at most curves.
(d) A more general result has been proved by Barthel, Brasselet, Fieseler, Gabber and Kaup.
Theorem 5.5.20
([5, Théorème 2.3]) Let \(f : X \rightarrow Y\) be a map between algebraic complex varieties of respective pure (real) dimensions m and n, and consider \(R=\mathbb {Q}\). Then
(1) There are contravariant homomorphisms (with closed supports)
and covariant homomorphisms with compact supports
such that the following diagrams commute:
(2) Assume that the map \(f : X \rightarrow Y\) is proper, then there are contravariant homomorphisms with compact supports
and covariant homomorphisms with closed supports
such that the following diagrams commute:
The results can be summarized by the following commutative diagram (the reader is invited to write the similar diagram with compact supports):
Note that the notations used in [5] are \(\mu ^f\) for \(If^*\) and \(\nu _f\) for \(If_*\). In general, the associated maps \(If^*\) and \(If_* \) in intersection homology are not uniquely determined. They are uniquely determined by f in the following particular cases:
-
if Y is smooth. In that case, \(\alpha _Y\) and \(If^* \circ \alpha _Y\) are isomorphisms and \(If^*\)is determined by \(\alpha _X\),
-
if f is an equidimensional dominant map or, more generally, a placid map (see [5, (3.3)]),
-
if f is the embedding of a closed submanifold X with codimension 1 in Y such that Y is locally analytically irreducible along X (see [5, (3.6)]),
-
if f is a homologically small map in the sense of [94, Sect. 6.2].
Based on the previous results, Weber [185] assumes that a map of analytic varieties is an inclusion of codimension one. He shows that the existence of an associated morphism in intersection homology follows from Saito’s decomposition theorem. For varieties with conical singularities he shows that the existence of intersection homology morphism is equivalent to the validity of the Hard Lefschetz Theorem for links.
5.5.2.1 Lifting of Algebraic Cycles
The notion of intersection homology \(IH^{(C)}_{{_{^{\bullet }}}}(Y)\) of Y with supports in a closed subvariety C of Y, i.e. relative intersection homology \(IH_{{_{^{\bullet }}}}(Y,Y\setminus C)\) (see Sect. 5.3.1) is useful for this section.
Theorem 5.5.21
([5, Théorème 2.4]). Let C be a closed subvariety of Y, with pure dimension n, then the homology class [C], with rational coefficients, is in the image of the morphism
The classes corresponding to algebraic cycles in an algebraic variety can be lifted in intersection homology, however the lifting is not unique.
Coming to the original question asked by Goresky and MacPherson (see [18, Goresky-MacPherson, Chap. IX, Sect. H, Problem 10]) the homology Chern-Schwartz-MacPherson classes of an algebraic variety can be lifted to intersection homology, for the middle perversity and with rational coefficients [5, Corollaire 2.6]. On the one hand, Goresky constructed an example for which there is no lifting when using \(\mathbb {Z}\) coefficients, on the other hand Verdier constructed an example for which the lifting is not unique even with rational coefficients (see [26, 27] for these examples). Also, using the previous results obtained for the middle perversity (and higher ones) it is not possible to multiply more than two homology classes. This gives an obstruction to the definition of general characteristic numbers for singular complex algebraic varieties.
5.5.2.2 The Classification Theorem
The morphisms \(If^*\) and \(If_*\) in intersection homology are not uniquely determined by the morphism f. The following result provides a measure of the ambiguity. It gives also a geometric meaning of the motivation and completes the principal result:
Theorem 5.5.22
([5, Théorème 2.7]) There is a one-to-one correspondence between the morphisms \(If^*\), resp. \(If_*\), such that the diagrams (5.32) and (5.33) commute and classes \(\gamma \in IH^{(\Gamma _f)}_{n}(X \times Y)\) which are liftings of the homology class \([\Gamma _f] \in H^{(\Gamma _f)}_{n}(X \times Y)\) of the graph of f.
5.5.3 Lefschetz Fixed Points and Coincidence Theorems
5.5.3.1 Lefschetz Fixed Points Theorem
The smooth case
Let M be an n-dimensional oriented smooth manifold, and \(f:M \rightarrow M\). One of the possible definitions of the Lefschetz number L(f) (known as Lefschetz fixed point formula [122]) is:
Let \(G(f) \subset M \times M\) be the graph of f. In general, G(f) is not transverse to the diagonal \(\Delta _M\) in \(M\times M\). However, one can find a map \(f':M \rightarrow M\) homotopic to f such that the graph \(G(f')\) is transverse to \(\Delta _M\). The (oriented) cycles \(G(f')\) and \(\Delta _M\) are transverse and complementary dimensional in \(M\times M\). Moreover, there are finitely many intersection points \(b_j \in G(f')\cap \Delta _M\). In such a point, the intersection number \(I( G(f'), \Delta _M ; b_j)\) is well defined (see Sect. 5.2.6) and one has
That number does not depend on the map \(f'\) homotopic with f and such that \(G(f')\) is transverse to \(\Delta _M\).
The main properties of the Lefschetz number are the following: If \(L(f)\ne 0\), then f admits fixed points. If \(f= \mathrm{id}_M\) then \(L(f)= \chi (M)\). If f and g are two homotopic maps from M to M, then \(L(f)=L(g)\).
The singular case
Goresky and MacPherson proved in [98] the Lefschetz fixed point theorem in the context of placid (Sect. 5.5.2 b) self maps of Witt spaces (see Sect. 5.4.6) and by using intersection homology with middle lower perversity.
The intersection homology Lefschetz number of a placid self-map \(f : X \rightarrow X\) is defined by the formula [98, Sect. 4 Definition]:
In [98, Proposition 4.2], Goresky and MacPherson show that if \(f : X \rightarrow Y\) is a placid map between two compact oriented \(\mathbb {Q}\)-Witt spaces, with \(n=\dim X\), then the graph of f determines a canonical homology class \([G(f)] \in IH^{\bar{m}}_n (X \times Y; \mathbb {Q})\).
For a placid self map of a \(\mathbb {Q}\)-Witt space, both the graph of f and the diagonal carry fundamental classes in intersection homology of \(X \times X\) and one has:
Theorem 5.5.23
([98], Theorem I) Let \(f:X \rightarrow X\) be a placid self map of an n-dimensional \(\mathbb {Q}\)-Witt space. Let [G(f)] and \([\Delta ]\) be the homology classes of the graph of f and of the diagonal in \(IH^{\bar{m}}_n(X \times X; \mathbb Q)\). Then the Lefschetz number IL(f) is given by
where \(\bullet \) denotes the intersection product of cycles in intersection homology.
The formula 5.35 has been extended in the singular situation by Goresky and MacPherson (see [97], [98, Sects. 7–12]) in terms of local Lefschetz numbers of a placid map \(f: X \rightarrow X\) at isolated fixed points.
Theorem 5.5.24
([98, Theorem II]) The intersection Lefschetz number is the sum of the local contributions taken over all the fixed points.
Another way to define local Lefschetz numbers is developed by Bisi et al. [14] using Čech-de Rham theory. The coincidence of this later notion with Goresky and MacPherson ones is shown in Brasselet-Suwa [33].
5.5.3.2 The Coincidence Theorem
The smooth case
In [122] Lefschetz defined the coincidence number of two maps \(f: M \rightarrow N\) and \(g:M \rightarrow N\) where M and N are compact oriented smooth n-dimensional manifolds without boundaries. The coincidence set C(f, g) is defined to be
The Lefschetz coincidence number is defined as
where vertical arrows are Poincaré duality isomorphisms. If L(f, g) is not zero, then there is at least one coincidence point: C(f, g) is not empty.
The singular case
In the case of singular varieties, Goresky and MacPherson defined the notion of placid correspondences C between n-dimensional Witt spaces X and Y as beeing an n-dimensional compact oriented pseudomanifold \(C \subset X \times Y\) such that each of the projections \(\pi _X : C \rightarrow X\) and \(\pi _Y : C \rightarrow Y\) is placid. According to the Proposition 5.5.19, one has homomorphisms on intersection homology:
If \(C_1\)and \(C_2\) are two correspondences between the Witt spaces X and Y, the Lefschetz number \(IL(C_1,C_2)\) is defined to be the alternating sum of traces of the induced map
Each correspondence defines a canonical intersection homology class
and the Lefschetz number \(IL(C_1,C_2)\) is equal to the intersection product \([C_1]\bullet [C_2]\) ([98, Theorem I’]). Moreover, Goresky and MacPherson show ([98, Theorem II’]) that it is equal to the sum of the local linking numbers suitably defined (see [98, Sect. 8]).
In the particular case of coincidences, given \(f, g: X \rightarrow Y\) placid maps between n-dimensional oriented compact \(\mathbb {Q}\)-Witt spaces, the Lefschetz coincidence number is defined by [35]
where \(f_i : IH^{\bar{m}}_i (X) \rightarrow IH^{\bar{m}}_i (Y) \) and \(g^i : IH^{\bar{m}}_i (Y) \rightarrow IH^{\bar{m}}_i (X) \) are defined for the lower middle perversity \(\bar{m}\) (Proposition 5.5.19).
Theorem 5.5.25
[98, Sect. 14], [35] The Lefschetz coincidence number of (f, g) is determined by the intersection of the canonical homology classes of the graphs, [G(f)] and [G(g)].
If \(IL(f,g) \ne 0\) then there is (at least one point) \(x\in X\) such that \(f(x)=g(x)\).
Examples of coincidence of maps are provided in [35] (J.-P. Brasselet, A.K.M. Libardi, T.F.M. Monis, E.C. Rizziolli and M.J. Saia) with local and global explicit computations.
5.5.4 Morse Theory
A complete history of Morse theory can be found, for instance in the Introduction of the Goresky-MacPherson’s book [96], Sect. 1.7. A complete survey is given by Mark Goresky in the Chap. 5 of this Handbook (Vol. 1), see [90].
5.5.4.1 The Smooth Case
The main results of classical Morse theory for ordinary homology and for a compact smooth variety M can be summarized as follows [136]:
A critical point of a smooth function \(f:M \rightarrow \mathbb {R}\) on a manifold M is a point where the differential of f vanishes, its image by f is a critical value. A non-degenerate critical point of f is a point for which the Hessian matrix of second partial derivatives of f is non-singular.
A smooth function \(f:M \rightarrow \mathbb {R}\) on a manifold M is a Morse function if it has only non-degenerate critical points. According to a result by René Thom [178], the Morse functions form an open, dense subset of all smooth functions \(f:M \rightarrow \mathbb {R}\) (for the \({\mathcal C}^2\)- Whitney topology).
Considering a smooth function \(f:M \rightarrow \mathbb {R}\) and a point \(c \in \mathbb {R}\), let \(M_{<c}\) denote the inverse image by f of the open interval \(] -\infty , c [\).
The Morse Lemma says:
-
For small enough \(\varepsilon \), if the interval \(]v- \varepsilon , v+ \varepsilon [\) does not contain any critical value, then \(M_{<v+ \varepsilon }\) is homeomorphic to \(M_{<v- \varepsilon }\).
-
If p is a non-degenerate critical point of \(f:M \rightarrow \mathbb {R}\), then there exists a chart \((x_1, x_2, \ldots ,x_n)\) in a neighborhood \(U_p\) of p such that \(x_i(p)=0\) for all i and \(f(x) = f(p) -x_1^2 -x_2^2 - \cdots -x_k^2 + x^2_{k+1} + \cdots + x^2_n\) in \(U_p\). The integer k is the Morse index of f at p. For small enough \(\varepsilon \), one has, with \(v=f(p)\),
$$\begin{aligned} H_i (M_{<v+ \varepsilon }, M_{<v- \varepsilon }) = {\left\{ \begin{array}{ll} 0&{} \text {for} \quad i\ne k \\ \mathbb {Z}&{} \text {for} \quad i= k\\ \end{array}\right. } \end{aligned}$$(5.38)
5.5.4.2 The Singular Case
In the case of a singular variety, there is no longer a Morse index for ordinary homology. Goresky and MacPherson [93, Sect. 4.5 (3)] provide a nice counter-example.
In fact, the concept of Morse function in the case of isolated singular varieties has been introduced by F. Lazzeri [119]. Some conditions for beeing a Morse function on a stratified space have been stated by Benedetti [12] and Pignoni [151] (see [96, Introduction, Sect. 1.4]).
Goresky and MacPherson assume that X is a purely n-dimensional complex analytic variety, endowed with a Whitney stratification (with complex analytic strata), and embedded in a complex analytic manifold M. In [96, Introduction, Sect. 1.4 What is a Morse function ?] A \({\mathcal C}^\infty \) function \(f : M \rightarrow \mathbb {R}\) is called a Morse function for X provided
-
For each stratum S of X, the function \(f\vert _S\) has only nondegenerate critical points. The critical points of f are the critical points of \(f\vert _S\) and the critical values of f are the values of f at these points.
-
At each critical point \(p\in X\), the differential \(df(p)(\tau )\ne 0\) whenever \(\tau \) is a limit of tangent planes from some larger stratum containing S in its closure.
-
All critical values are distinct.
If p is a critical point in the stratum S, then the Morse index k of f at p is defined to be \(c + \lambda \) where c is the complex codimension of S in X and \(\lambda \) is the classical Morse index of \(f\vert _S\).
In order to recover Morse theory in the context of intersection homology, Goresky and MacPherson define the following ingredients [95, 96], see also [90].
The first one is the complex link of a stratum S. Choose a manifold N meeting S transversaly at p and a generic projection \(\pi : N \cap X \rightarrow \mathbb {C}\) sending p to 0. For \(0 < \varepsilon \ll \delta \ll 1\) denote by \(B(p,\delta )\) the ball of radius \(\delta \) centered at p and \(B_\delta = X \cap B(p,\delta )\), \(\partial B_\delta = X \cap \partial B(p,\delta )\). The complex link \({\mathcal L}_{\mathbb {C}}\) of S is a pseudomanifold with:
where \(0< \vert t \vert <\varepsilon \).
Denote by \(\mu \) he monodromy transformation obtained by carrying a chain Z in \({\mathcal L}_{\mathbb {C}}\) with in \(\partial {\mathcal L}_{\mathbb {C}} \), over a small loop around 0 in \(\mathbb {C}\). The second ingredient is the Morse group \(A_p\), image of the variation map (see [93, Sect. 3.7] and [96, Part II, Sect. 6.3]):
where \((1-\mu )\) vanishes on \(IH_{c-1}(\partial {\mathcal L}_{\mathbb {C}})\).
Using intersection homology, Goresky and MacPherson recover Morse theory for a compact Whitney stratified singular complex analytic variety X analytically embedded in a smooth variety M, as follows:
Theorem 5.5.26
([96]) For an open dense set of Morse functions \(f:M \rightarrow \mathbb {R}\) (in the sense of Lazzeri and Pignoni), all values \(v \in \mathbb {R}\) have exactly one of the following properties (and only finitely many values have property 2):
-
(1)
For small enough \(\varepsilon \), then \(X_{<v+ \varepsilon }\) is homeomorphic to \(X_{<v- \varepsilon }\) in a stratum preserving way,
-
(2)
There is a Morse index k of the critical point p with critical value v such that for small enough \(\varepsilon \),
$$\begin{aligned} IH_i (X_{<v+ \varepsilon }, X_{<v- \varepsilon };\mathbb {Z}) = {\left\{ \begin{array}{ll} 0&{} \text {for} \quad i\ne k\\ A_p &{} \text {for} \quad i= k \\ \end{array}\right. } \end{aligned}$$(5.39)
In [93, 95, 96] Goresky and MacPherson provide various applications of stratified Morse theory :
-
The Lefschetz hyperplane theorem holds for the intersection homology of a (singular) projective algebraic variety [93, Sect. 5.4].
-
The intersection homology of a complex n-dimensional Stein space vanishes in dimensions \(>n\) [93, Sect. 5.3].
-
(3) The sheaf of intersection chains on a general fibre specializes (over a curve) to a perverse object on the special fibre [93, Sect. 6.1].
As the authors write on [93, Sect. 0.2], “other methods have been used to obtain some of these results ..., however the method of Morse theory has several advantages: it can be used to study homology with \(\mathbb {Z}\) coefficients (as well as \(\mathbb {Q}\) coefficients) and it applies to analytic (as well as algebraic) varieties.”
5.5.5 De Rham Theorems
By relating differential geometry to topology, de Rham’s theorem (1931) opened the door to “countless” new results, applications, conjectures, and many alternative proofs.
The passage from the smooth case to the singular case is due to Cheeger, Goresky and MacPherson. From “geometric” results, they mainly developed the theory within the framework of sheaves (see [88]). Several important conjectures have resulted in various fields.
Although implicit in the previous works, the explicit and geometric translation in terms of order of poles corresponding to the perversity was given in [28] (see Sect. 5.5.5).
This section is divided into four parts: de Rham’s theorem in the smooth case, de Rham’s theorem in the singular case, conjectures and applications, geometric translation. In this section, all intersection homology groups are written with the middle perversity the notation of which is omitted.
5.5.5.1 The Smooth Case
The de Rham Theorem (de Rham thesis [160]) provides a very useful relationship between the topology and the differentiable structure of a PL-manifold. The de Rham complex is the complex of smooth differential forms on a manifold M with exterior derivative as the differential:
The de Rham Theorem says that the cohomology \(H^j_{dR}(M)\) of the de Rham complex is isomorphic to the PL-cohomology \(H^j(M;\mathbb {R})\). There are many proofs in the literature. The Whitney’s book “Geometric integration theory” provides a nice geometric proof of the Theorem [186, Chap. IV, Theorem 29A].
Let M be a Riemannian (compact) oriented manifold endowed with a metric g. The metric induces an inner product on fibers \(T^*_x(M)\) of the cotangent bundle and then an \(\mathcal {L}^2\)-metric on \(\Omega ^j(M) = \Gamma (\Lambda ^j(T^*(M)))\). Let \(\delta : \Omega ^j(M) \rightarrow \Omega ^{j-1}(M)\) be the formal adjoint of d relatively to the inner product and \(*: \Omega ^j(M) \rightarrow \Omega ^{n-j}(M)\) the Hodge star operator [20]. The Hodge Theorem, first proved by Hodge (1933–1936) with final proof by Hermann Weyl and Kunihiko Kodaira, says that every de Rham cohomology class is represented by a unique harmonic form, i.e. a differential form of which the Laplacian \(\Delta \) is zero:
A compact complex projective manifold is a Kähler manifold. The cohomology groups admit a decomposition (pure Hodge decomposition)
as direct sum of complex vector spaces and \(\overline{H^{p,q}(M;\mathbb {C})} = H^{q,p}(M;\mathbb {C})\). The (p, q) components of a harmonic form are again harmonic.
The complex of sheaves is exact and is a soft resolution of the constant sheaf \(\mathbb {R}_M\). It follows that the sheaf cohomology is the singular cohomology with \(\mathbb {R}\) coefficients.
5.5.5.2 The Sheaf of \({\mathcal L}^2\) Differential Forms
In order to extend the theory to singular varieties, one considers a pseudomanifold X whose regular part \(X^0=X\setminus \Sigma \) is a smooth (possibly incomplete) Riemannian manifold with a metric g ([60], Sect. 3).
One define a presheaf on X by assigning by assigning to each open set \(U\subset X\) the subset \(\Gamma (U,\Omega ^i_{(2)})\) in \(\Omega ^i (U\cap X^0)\) of differential forms \(\omega \) such that for any point x in U, there is a neighbourhood V of x in U such that
This presheaf is filtered by differential form degree and the exterior derivative makes it into a complex of presheaves. The associated sheaf complex, obtained by “sheafification” is the sheaf of \({\mathcal L}^2\) differential forms denoted by \(\Omega ^*_{(2)}\). It is a complex of fine sheaves whose cohomology is denoted by \(H_{(2)}^{*} (X)\).
The definition makes sense in the case of a local system \(\mathcal {L}\) on \(X^0\) provided that \(\mathcal {L}\) has a smoothly varying positive definite inner product on each fiber. The restriction of the sheaf to \(X^0\) is the sheaf of all smooth differential forms (with arbitrary growth) on \(X^0\) (and coefficients in \(\mathcal {L}\)).
5.5.5.3 The Cheeger-Goresky-MacPherson’s Conjecture
The study of \(\mathcal {L}^2\) cohomology on the non-singular part of a variety with conical singularities was initiated by Cheeger in the context of the study of analytic torsion. In 1976 Sullivan observes similarity between IH and \({\mathcal L}^2\), namely similarity between local results in Proposition 5.4.12 and forthcoming Lemma 5.5.30 The same year, Deligne proposes to consider variation of Hodge structure on intersection homology [60, p. 308] (see Sect. 5.5.5).
These observations led Cheeger, Goresky and MacPherson’s to the famous CGM conjecture which concerns complex n-dimensional projective varieties and is in fact made up of three conjectures [60, Sect. 4].
The conjecture are written for the middle perversity (here the two middle perversities agree) which will be omitted.
Conjecture 5.5.27
states that the intersection homology groups \(IH_*(X)\) satisfy the following 5 conditions of the “Kähler package”. That is :
1. Poincaré duality (see Sect. 5.5.8). The intersection pairing
is non singular for all i.
2. Pure Hodge decomposition. There is a natural direct sum Hodge decomposition
such that
The decomposition is compatible with maps \(If_*\) and \(If_*\) when they exist, for example if \(f:Y\rightarrow X\) is normally nonsingular with relative dimension m then
The map from cohomology \(H^i(X) \rightarrow IH_{2n-i}(X) \) is a morphism of Hodge structures.
3. Hard Lefschetz. Let H be a hyperplane in the ambient projective space, which is transverse to a Whitney stratification of X. Let \(N\in H^2(X)\) denote the cohomology class represented by \(H\cap X\) and let \(L: IH_i(X) \rightarrow IH_{i-2}(X)\) denote multiplication by this class. then the map
is an isomorphism for each k.
Let define \(P_{n+k}(X) = \ker (L^{k+1})\), then the Lefschetz decomposition
is compatible with the Hodge decomposition.
4. Lefschetz Hyperplane Theorem, Let H be a hyperplane in the ambient projective space, which is transverse to a Whitney stratification of X. The homomorphism induced by inclusion
is an isomorphism for \(k< n-1\) and a surjection for \(k=n-1\). (for instance see [72, 102]).
5. Hodge Signature Theorem. If \(\sigma (X)\) denotes the signature of the intersection pairing (5.40) on \(IH_n(X)\), then
As written in [60], Conjecture 5.5.27 follows from the stronger following Conjectures 5.5.28 and 5.5.29.
Conjecture 5.5.28
The \(\mathcal {L}^2\) cohomology group \(H^k_{(2)}(X)\) is finite dimensional and is isomorphic to the subspace \({\mathcal H}^k\) of \(\Omega ^k \cap \mathcal {L}^2\) which consists of the square summable differential k-forms which are closed and co-closed \(d\omega = \delta \omega =0\). Furthermore, the operator “integration” preserves this subspace \({\mathcal H}^k\).
Conjecture 5.5.29
For almost any chain \(\xi \in C_k(X)\) and almost any differential form \(\theta \in {\mathcal H}^k\), the integral \(\int _\xi \theta \) is finite and \(\int _{\partial \eta } \theta = \int _\eta d\theta \) whenever both sides are defined. The induced homomorphism
is an isomorphism.
Cheeger, Goresky and MacPherson conjectured that each class contains an unique harmonic (closed and co-closed) representative and that splitting the harmonic forms into their (p, q)–pieces yields a (pure) Hodge decomposition, compatible with Deligne’s mixed Hodge structure on the ordinary cohomology groups of X. They noted that the Hodge decomposition would exist if the metric on U were complete, and they suggested that another approach to constructing a Hodge decomposition of \(IH^*(X)\) is to construct a complete (Kähler) metric. Moreover, they gave a lot of evidence for the validity of the conjectures. This fundamental work of Cheeger, Goresky, and MacPherson has lead to a great deal of work by many people.
Poincaré Lemma for \({\mathcal L}^2\) -cohomology
Let L be an \(n-1\)-dimensional Riemannian (compact) manifold endowed with a metric \(g_L\). For \(h>0\), the metric cone on L, denoted by \(c^h(L)\), is the completion of the incomplete Riemannian manifold \(L \times [ 0,\infty [\) endowed with the metric \(g = dr \otimes dr + r^{2h} g_L\).
As before, \(\Omega ^{{_{^{\bullet }}}}_{(2)}(c^h L) \) denotes the subset of differential forms \(\omega \in \Omega ^{{_{^{\bullet }}}} (c^h (L)\setminus \{ 0 \})\) such that
where \(d : {\Omega }^i \rightarrow {\Omega }^{i+1}\) is induced by the external derivative and the operator \(*\) is the Hodge operator [20, 58, 59].
The \({\mathcal L}^2\)-cohomology groups of the cone c(L), denoted by \(H^j_{(2)} (c^h(L))\) are cohomology groups of the complex \(\Omega ^{{_{^{\bullet }}}}_{(2)}(c^h(L))\).
Lemma 5.5.30
([59, Lemma 3.4]) The \({\mathcal L}^2\)-cohomology groups of the cone c(L) satisfy
Varieties with isolated conical singularities
Let X be a singular variety whose singularities are isolated points \(\{a_i\}\) admitting each one a neighborhood \(U_i\) in X, which is isometric to the (open) metric cone \(\mathring{c}(L_i)\) whose basis is a smooth manifold \(L_i\). In the particular case n is even, \(h = 1\) and \({\bar{p}}\) is the middle perversity \({\bar{m}}\), then \({\bar{p}}(n) = {n \over 2} -1\), and one has:
Cheeger, Goresky and MacPherson study the two following cases:
(1) [59, Theorem 6.1] and [60, Sect. 3.4]. Let X be a pseudomanifold embedded as PL-subvariety in \({\mathbb R}^N\) and let \(\Sigma \) the singular subset in X. There is, on \(X^0= X\setminus \Sigma \), a metric \(\tilde{g}\) which endows the manifold \(X\setminus \Sigma \) of a structure of flat Riemannian manifold, i.e. every point x in the \(n-1\)-skeleton admits a neighborhood \(U_x\) isometric to an open subset in \({\mathbb R}^N\).
(2) [59, Sect. 3.5], [60, Sect. 3.5]. X is a compact analytic variety embedded in a Kählerian manifold. Then \(X\setminus \Sigma \) is endowed with the metric induced by restriction of the Kählerian metric. One assume that \(\Sigma \) is locally analytically conical, that means the following:
A variety X is locally analytically conical if each point \(p\in X\) has a neighborhood U and an analytic embedding \(\rho : U \rightarrow \mathbb {C}^N\) such that \(\rho (U)\) is a cone at \(\rho (p)\) (see [60, Sect. 3.5 Definition and Examples]).
Theorem 5.5.31
([60]) In the two previous cases, the integration map induces an isomorphism:
The idea is to prove that the direct image of the presheaf on U formed of the appropriate \(\mathcal {L}^2\)-forms of degree i has a “fine” associated sheaf and that, as i varies, those associated sheaves form a (de Rham) complex that satisfies the axioms that characterize \({\mathcal IC}^*(X)\); the cohomology groups of the complex are equal to its hypercohomology groups because the sheaves are fine.
Other proofs of CGM conjectures
The conjectures of Cheeger, Goresky and MacPherson were also treated with some success in the case that \(X^0\) is the smooth part of a complex projective variety X with isolated singularities.
Let X be a normal singular algebraic surface (over \(\mathbb {C}\)) embedded in the projective space \(\mathbb {P}^{N}(\mathbb {C})\) and let \(\Sigma \) be its singularity set, which consists of isolated singular points. Restricting the Fubini-Study metric of \(\mathbb {P}^{N}(\mathbb {C})\) to \(X^0=X\setminus \Sigma \), provides an incomplete Riemannian manifold \((X^0, g)\). Wu-Chung Hsiang and Vishwambhar Pati proved in [107] that the \(\mathcal {L}^{2}\)-cohomology \(H_{(2)}^{i}(X^0)\) is naturally isomorphic to the dual of the middle intersection homology \(IH_{i}^{\overline{m}}(X)\). However their proof has a certain gap corrected by Nagase [139] (see also [137, 138]). The “non- normal” case can be proved in the same way by making its normalization, as asserted in [107].
Saper [163, 164] who was inspired by the case of the Zucker conjecture (Sect. 5.5.5), constructed a complete Kähler metric on \(X^0\) whose \(\mathcal {L}^2\)-cohomology groups are dual to the intersection homology groups of X.
Finally, Ohsawa [147, 148] proved the conjecture in dimension \(\dim X \le 2\): If X in \(\mathbb {P}^n(\mathbb {C})\) is a projective variety of dimension \(\dim X \le 2\), then the \(\mathcal {L}^2\) de Rham cohomology groups of the regular part \(X^0\), with respect to the Fubini-Study metric are canonically isomorphic to the intersection cohomology groups of X.
5.5.5.4 The Deligne Conjecture: Variation of Hodge Structures
Over a compact Kähler manifold X, Deligne (unpublished manuscript, see [188]) has constructed canonical Hodge structures on the cohomology groups \(H^p(X,\mathcal {L})\), of weight \(p+k\). When the basis X is non-compact, Deligne’s arguments still put Hodge structures on the \(\mathcal {L}^2\) cohomology groups of the completion \(\overline{X}\) provided they are finite dimensional.
Let X be a nonsingular algebraic variety and D is a divisor with normal crossings in X, which may be interpreted as giving a stratification of X whose largest stratum is \(X\setminus D\). The considered local system is underlying a polarizable variation of Hodge structure.
A variation of Hodge structure, considered as local system \(\mathcal {L}\) on \(X\setminus D\), has an \({\mathcal {I}{\mathcal {C}}}\) extension to all of X. Deligne conjectures that \({\mathcal {I}{\mathcal {C}}}(X; \mathcal {L})\) is isomorphic to the sheaf of \({\mathcal L}^2\) differential forms on X, where the Riemannian metric on \(X\setminus D\), is the complete metric that is hyperbolic near each codimension 1 divisor.
In the case of one dimensional base, Zucker [188] has obtained a natural identification
here \(i_*\mathcal {L}\) is the direct image of \(\mathcal {L}\) on \(\overline{X}\). The \(\mathcal {L}^2\) cohomology groups are then finite dimensional and come equipped with Hodge structures.
Cattani et al. [51], and independently, Kashiwara and Kawai [111] proved the Deligne conjecture, for higher dimensions:
Theorem 5.5.32
The complex of sheaves \({\mathcal L}^2\) differential forms on X satisfies the axioms of middle intersection cohomology sheaf with values in the local system \(\mathcal {L}\). In particular
Corollary 5.5.33
The intersection cohomology groups \(IH^*(\overline{X}, \mathcal {L})\) carry canonical (pure) Hodge structures of weight \(p+k\).
5.5.5.5 The Zucker Conjecture
Zucker was aware of the work of Cheeger, Goresky, and MacPherson that appears in [59, 60] when he made the following conjecture, which first appeared in a 1980 preprint ([189]):
Conjecture 5.5.34
Let X be the Satake, Baily-Borel compactification of the quotient space U of a Hermitian symmetric domain modulo a proper action of an arithmetic group \(\Gamma \). Let U be provided with the natural complete metric, then the sheaf of \(\mathcal {L}^2\)-differential forms on X with coefficients in a metrized local system \(\mathcal {L}\) on U is isomorphic (in the derived category) to the sheaf \({\mathcal {I}{\mathcal {C}}}({X}; \mathcal {L})\) (see Introduction in [123]).
Zucker was led to this conjecture by some examples that he worked out [188, Sect. 6] of his general results [189, (3.20) and (5.6)] about the \(\mathcal {L}^2\)-cohomology groups of an arithmetic quotient of a symmetric space. In the examples, the compactification is obtained by adjoining a finite number of isolated singular points, and Zucker was struck by the values of the local \(\mathcal {L}^2\)-cohomology groups at these points: they are equal to the singular cohomology groups of the link in the bottom half dimensions and to 0 in the middle and in the top half dimensions (compare with Lemma 5.5.30).
Borel [15], Borel and Casselman [16] proved the Zucker conjecture in the particular case of a group of \(\mathbb {Q}\)-rank one or two (see also [50]).
The conjecture has been fully proved by Looijenga [123], Saper and Stern [165]. Looijenga uses Mumford’s (1975) desingularization of X and the decomposition theorem. Saper and Stern use a more direct method, which they feel will also yield a generalization of a conjecture due to Borel (see [165]).
One reason for the great interest in Zucker’s conjecture is that it makes it possible to extend the “Langlands program” to cover the important non compact case, as Zucker indicates in [190].
5.5.5.6 Other Related Results
There is a lot of results related to the previous ones. The intersted reader may consult Nagase [139], Saper [163], Pardon and Stern [150], etc.
5.5.5.7 The Geometric Viewpoint
In this section, all the homology and cohomology groups will be with real coefficients.
Shadow forms
The shadow forms have been defined by Brasselet, Goresky and MacPherson [28].
The idea is to associate a differential form \(\omega (\xi )\) to simplices of a barycentric subdivision \(K'\) of a given triangulation K, so that there is a clear relationship between the defect of transversality of the simplices relatively to the simplices \(\sigma \) of K and the order of the pole of the corresponding differential form on \(\sigma \).
Various equivalent definitions of the shadow forms are provided in [28]. One of them goes as follows: Let \(\Delta = \Delta ^n\) be the standard n-simplex.
The shadow forms are defined for k-simplices \(\xi \) of the barycentric subdivision \(\Delta '\) which do not lie in the boundary of \(\Delta \). Such a barycentric subdivision can be defined for each point p in the interior of \(\Delta \), requiring that for each pair \(F'<F\) of faces of \(\Delta \), the barycenters of F, \(F'\) and of the face opposite to \(F'\) in F are collinear. The corresponding barycentric subdivision of \(\Delta \) will be denoted \(\Delta '(p)\). Every k-simplex \(\xi \) admits a geometrical realization \(\xi (p)\) in this subdivision.
Let c be a singular chain in the interior of \(\Delta \), the shadow \(S_\xi (c)\) cast by an \((n-k)\)-chain c with respect to \(\xi \) is the set of all points p such that \(\xi (p)\) intersects c (Fig. 5.7).
Definition 5.5.35
The shadow form \(\omega (\xi )\) is the unique differential form such that the value of its integral over any \((n-k)\)-chain c is the volume of the shadow \(S_\xi (c)\):
An explicit equivalent definition goes as follows: denote by \(D_{\xi }\) the incidence variety
Let i be the inclusion \(i: D_{\xi } \hookrightarrow \Delta \times \Delta \) and let \(\pi _1\) and \(\pi _2\) be the projections on the first and second factors of \(\Delta \times \Delta \).
If \((x_1,\ldots ,x_{n+1})\) are the barycentric coordinates of \(\Delta ^n\), the Whitney form \(W(\Delta ^n )\) is the volume form of \(\Delta ^n\),
Proposition 5.5.36
The shadow form \(\omega (\xi )\) is the \((n-k)\)-differential form defined by
where \(\int _{\pi _2}\) denotes integration along the fibres of \(\pi _2\) (see [20]).
The differential form \(\omega (\xi )\) is \(C^{\infty }\) on \(int(\Delta )\). Indeed \(D_{\xi }\) is a smooth manifold and the fibres \(\pi _2^{-1} (x) \cap D_{\xi }\) are relatively compact.
Generalizing the definition to polyhedra provides:
Theorem 5.5.37
([28, Corollary 9.3]) Let X be a polyhedron in the Euclidean space \(\mathbf{R}^n\). Fix q, \(1\le q \le \infty \), and denote by \(\bar{p}(q)\) the highest perversity whose graph is situated strictly below the line from origin and with slope 1/q. Then the intersection homology of X, for the perversity \(\bar{p}(q)\), is isomorphic to \({\mathcal L}^q\)-cohomology of X:
Conjecture 5.5.38
(Brasselet et al. [28]) Let X be a stratified space with a Riemannian metric and conical singularities. Let \(\Sigma \) be the singular set, \(q\ge 2\), and \({\mathcal L}^q\)-cohomology of \(X\setminus \Sigma \) is finite dimensional, then it is isomorphic to intersection cohomology of X.
The conjecture has been proved by Youssin [187] who also extends the result to spaces with horn-singularities.
Belkacem Bendifallah [11] provided an explicit formula for the coefficients of shadow forms as integrals of Dirichlet type, obtaining an alternative proof of Theorem 5.5.37. He gave a duality formula and a product formula for shadow forms and constructed the correct underlying algebraic structure.
The Brasselet-Legrand approach.
J.-P. Brasselet and A. Legrand consider the situation of an n-dimensional pseudovariety X endowed with a Thom-Mather stratification, and whose strata are smooth manifolds.
The idea is to prove a de Rham type theorem by considering a complex of differential forms whose coefficients are \({\mathcal C}^\infty \) functions on the regular part of X which may have poles on the singular strata but whose behavior in a neighborhood of the strata is controlled. The control is performed through two parameters, associated with each stratum \(S_{n-\alpha }\). The first control \(\beta _\alpha \) corresponds to an admissible maximum order of poles of the functions on the stratum, the second \(c_\alpha \) is related to the local conical metric in the neighborhood of the stratum. An admissible differential form can have a pole on a stratum, but the the order of the poles should not be too large for the Poincaré lemma to be verified to some degree. Also, the quotients \(\left[ {\beta _\alpha }/{c_\alpha }\right] \) should satisfy the same inequalities than the GM-perversities (see formula 5.14).
The obtained complex \(\Omega _{\beta ,c}^{_{^{\bullet }}}\) is a complex of soft sheaves satisfying axioms \([AX1]_{\bar{p}}\) with
whose hypercohomology is intersection homology for the complementary perversity.
On the one hand the complex \(\Omega _{\beta ,c}^{_{^{\bullet }}}\) is a generalization of the complex of shadow forms.
On the other hand, it allows to define a suitable algebra in order to generalize the Hochschild-Kostant-Rosenberg theorem to the case of singular varieties, more precisely to manifolds with boundary and to varieties with isolated singularities. The classical result of Hochschild et al. [105] asserts that the Hochschild homology of a finitely generated, smooth complex algebra A equals the space of Kähler differentials over A. In 1982, Connes [62] extended this result in a topological setting and in [31] the authors generalize the Connes’s idea to the case of singular varieties with isolated singularities.
The relation between the defects of transversality (perversity) of a cycle and the order of the poles of the associated differential form are explicit in the context of shadow forms and the context of the complex \(\Omega _{\beta ,c}^{_{^{\bullet }}}\). The smallest is the dimension of the stratum, the greater the admissible order of the poles of the differential forms. The physicist Alain Connes (private conversation) says that “there is a higher concentration of energy in the smaller singular strata”.
The Goresky-MacPherson’s complex \({\Omega }^{{_{^{\bullet }}}}_{{\bar{q}}}\).
The Goresky-MacPherson complex has been described by Brylinski [46] (for an interpretation in terms of sheaf defined on the resolution of the stratified space see [1, Sect. 6.5]).
Let \(\pi :M \rightarrow B\) be a smooth fibration of smooth manifolds. A filtration (Cartan’s filtration) of the de Rham complex \({\Omega }^{{^{_{\bullet }}}}_M\) is defined as follows :
Definition 5.5.39
For \(k \ge 0\), \(F_k {\Omega }^{{^{_{\bullet }}}}_M\) is the sub-complex of \({\Omega }^{{^{_{\bullet }}}}_M\) consisting of the differential forms \(\omega \) such that \(\omega \) and \(d\omega \) satisfy: if \(\xi _1,\xi _2,\ldots ,\xi _{k+1}\) are \(k+1\) vector fields on M, tangent to the fibres of \(\pi \), then \(i(\xi _1)\circ \cdots \circ i(\xi _{k+1}) (\omega ) = 0\).
Let X be a pseudomanifold with \({\mathcal C}^{\infty }\)-structure, equipped with a Thom-Mather stratification (see [179, 4.2.17]). If \(S_i \subset {\bar{S_j}}\), \((\pi _i) \vert _{T_i\cap S_j}\) is \({\mathcal C}^{\infty }\) and \(\pi _i \circ \pi _j = \pi _i\) on \(T_i \cap T_j\). One denotes by \(X^0\) the smooth stratum of X.
Definition 5.5.40
Let \({\bar{q}}\) be a perversity, denote by \({\Omega }^{{^{_{\bullet }}}}_{{\bar{q}}}\) the sub-complex of \({\Omega }^{{^{_{\bullet }}}}_{X^0}\) consisting of the differential forms \(\omega \) such that every point of \(S_{n-\alpha }\) admits a neighborhood \(V\subset T_{n-\alpha }\) on which the restriction of \(\omega \) is in \(F_{q(\alpha )}{\Omega }^{{^{_{\bullet }}}}_{V \cap X^0}\), relative to the projection \(V \cap X^0 \rightarrow S_{n-\alpha }\) induced by \(\pi _{n-\alpha }\).
This means that, near \(S_{n-\alpha }\), \(\omega \) satisfies \(i(\xi _1) \circ \cdots \circ i(\xi _{q(\alpha )+1}) \omega = 0\) if the \(\xi _i\) are vector fields defined on \(X^0\) and are tangent to the fibers of \(\pi _{n-\alpha }\).
Proposition 5.5.41
[46, Proposition 1.2.6] The complex of sheaves \({\Omega }^{{^{_{\bullet }}}}_{{\bar{q}}}\) satisfies \((AX_1)_{{\bar{q}}}\).
As a corollary, the hypercohomology groups of the complex of sheaves \({\Omega }^{{^{_{\bullet }}}}_{{\bar{q}}}\) are isomorphic to \(\text { Hom} (IH^{{\bar{p}}}_j (X);{\mathbb R})\), where \({\bar{p}}\) and \({\bar{q}}\) are complementary perversities. See also the survey by Pollini [156].
\({\mathcal L}^\infty \)-cohomology.
Let X be a subanalytic compact pseudomanifold. In [182] Valette shows a de Rham theorem for \({\mathcal L}^\infty \)-cohomology forms on the nonsingular part of X. The obtained cohomology is isomorphic to the intersection cohomology of X for the top perversity. There is a Lefschetz duality theorem relating the \({\mathcal L}^\infty \)-cohomology to the so-called Dirichlet \({\mathcal L}^1\)-cohomology. As a corollary, the Dirichlet \({\mathcal L}^1\)-cohomology is isomorphic to intersection cohomology in the zero perversity.
Morse functions.
Let X be a space with isolated conical singularities. In [124] U. Ludwig establishes, using anti-radial Morse functions on X, a combinatorial complex which computes the intersection homology of X. The complex constructed is generated by the smooth critical points of the Morse function and representatives of the de Rham cohomology (in low degree) of the link manifolds of the singularities of X. It can be seen as an analogue of the famous Thom-Smale complex for smooth Morse functions and singular homology on a compact manifold.
5.5.6 Steenrod Squares, Cobordism and Wu Classes
In this section, the coefficients are the mod 2 integers \( {\mathbb Z}_2\).
5.5.6.1 Steenrod Squares and Wu Classes
Goresky and Pardon [99] define four classes of singular spaces for which they define various characteristic numbers and for which these characteristic numbers determine the cobordism groups. In the four cases, they construct characteristic numbers by lifting Wu classes to intersection homology. Then they can multiply them.
In the singular case, the mod 2 Steenrod square operations have been defined in intersection cohomology by Goresky in [87] (see also [99, Sect. 4]), as operations
for perversities \(\bar{c}\) such that \(2{\bar{c}} \le {\bar{t}}\). Via Poincaré duality one has similar operations in intersection homology (with compact supports).
Definition 5.5.42
([99, Sect. 5.1]) Let X be an n-dimensional pseudomanifold. Assume \(\bar{c}\) is a perversity such that \(2{\bar{c}} \le {\bar{t}}\). Let \({\bar{b}} = {\bar{t}} - {\bar{c}}\) be the complementary perversity. For any i with \( 0 \le i \le [n/2]\) the Steenrod square operation
is given by multiplication with the intersection cohomology \(i^{th}\)-Wu class of X:
One defines \(v^i(X)=0\), for \(i > [n/2]\).
If X is a \({\mathbb Z}_2\)-Witt space (see Sect. 5.4.6), then the middle intersection homology group is self-dual, i.e., satisfies the Poincaré duality over \({\mathbb Z}_2\). Also the natural homomorphism
is an isomorphism.
Definition 5.5.43
([99, Sect. 8.1]) A stratified pseudomanifold X is locally orientable if, for each stratum, the link is an orientable pseudomanifold. A stratified pseudomanifold X is a locally orientable Witt space if it is both locally orientable and a \(\mathbb {Z}_2\)-Witt space.
In the situation of a locally orientable Witt space, the Wu classes which are defined to be middle intersection homology classes, can be multiplied to construct characteristic Wu numbers
where \(i+j=n\). The map \(\varepsilon : H_0 (X, {\mathbb Z}_2)\rightarrow {\mathbb Z}_2\) denotes the augmentation and the following diagram commutes:
Theorem 5.5.44
([99, Theorem 10.5]) A locally orientable Witt space X of dimension n is a boundary of a locally orientable Witt space Y if and only if each of the characteristic Wu numbers
vanish, where \(\varepsilon : H_0(X; {\mathbb Z}_2) \rightarrow {\mathbb Z}_2\) denotes the augmentation.
Here, the class \(v^1\) is a cohomology class and \(v^i v^j\) is a (intersection) homology class, so the product is a well defined cobordism invariant.
In [99] M. Goresky and W. Pardon provide further important results concerning cobordism of singular spaces (see also [56]).
5.5.6.2 Cobordism of Maps in the Singular Case
Generalizing the results of R. Stong in the smooth case, J.-P. Brasselet, A. Libardi, E. Rizziolli and M. Saia define the cobordism of maps in the following way:
Definition 5.5.45
([34]) Let \(f:X \rightarrow Y\) be a map between pseudomanifolds of dimensions m and n respectively. The triple (f, X, Y) is null-cobordant if there exist:
-
1.
pseudomanifolds V and W with dimensions \(m+1\) and \(n+1\), respectively, and \(\partial V= X\) and \(\partial W =Y\).
-
2.
a map \(F: V \rightarrow W\) such that the following diagram commutes.
where \(U_X\) and \(U_Y\) are collared neighborhoods of X and Y in V and W respectively, and \(\phi \) and \(\psi \) are PL-diffeomorphisms such that \(\phi (x) = (x,0), \, x \in \partial V\) and \(\psi (y) = (y,0), \, y \in \partial W\).
-
3.
\(F_{|{\partial V }}=f: {\partial V} \rightarrow {\partial W }.\)
Let \(f : X \longrightarrow Y \) be a map, with X a compact locally orientable Witt space of pure dimension m and Y a closed n-dimensional smooth manifold. Then the map \(f_!:IH_{i}^{\bar{^p}}(X) \rightarrow IH_{i}^{\bar{^p}}(Y)\) is defined in such a way that the following diagram commutes
i.e. \(f_! = (\omega _{{Y}})^{-1} \circ f_*\circ \omega _{X},\) where the map \(\omega _{{Y}}\) is an isomorphism since Y is smooth.
Denote by \(\widetilde{f}_!\) the composition map \(\widetilde{f}_! = \alpha ^{-1}_Y \circ f_! \), i.e. the composition map
where the last arrow denotes the inverse Poincaré isomorphism.
Theorem 5.5.46
([34]) Let X be a compact locally orientable Witt space of pure dimension m and Y a closed n-dimensional smooth manifold. Given a map \(f : X \longrightarrow Y\), if the triple (f, X, Y) is null-cobordant, with \((f,X, Y) = \partial (F,V,W)\) and W is a smooth manifold, then for any partition \(\ell \) and r numbers \(u_1, \ldots , u_r\) satisfying \(u_i \le [m/2]\) for all i and \((\ell _1+\ell _2+ \ldots \ell _s)+u_1+ \ldots + u_r +r(m-n)=n\), the Stiefel-Whitney–Wu numbers
are zero.
Let \(f: X \rightarrow Y\) be a proper and normally nonsingular map of pseudomanifolds, there is an unique Gysin map
such that the following diagram commutes (Theorem 5.5.18, see [94, Sect. 5.4.3]).
The same result holds for placid maps as well (Proposition 5.5.19, see [94] and [5, Proposition 3.2]).
Theorem 5.5.47
([34]) Let \(f : X \longrightarrow Y \) be a normally nonsingular (or placid) map, with X and Y compact locally orientable Witt spaces of pure dimension m and n respectively. If (f, X, Y) is null-cobordant, then for any u with \(0 \le u \le n\), the following Wu numbers vanish:
5.6 Supplement: More Applications and Developments
5.6.1 Toric Varieties
Max Brückner (for the octatope) [43, 44], Max Dehn (in 1905, for dimensions 4 and 5) [65] and Duncan Sommerville [170] (in 1927, in all dimensions) proved certain relations involving numbers of faces for simplicial polytopes.
Let P be an n-dimensional simplicial polytope. For \(i=0, \ldots , d-1\), let \(f_i\) denote the number of i-dimensional faces of p. The sequence
is called the f-vector of the polytope P. Additionally, set\(f_{-1}= f_d= 1\). Then for any \(k=0, \ldots , d-2\) the following Dehn-Sommerville equation holds:
When \(k = -1\), it expresses the fact that Euler characteristic of an \((d-1)\)-dimensional simplicial sphere is equal to \(1 + (-1)^{d-1}\).
For \(k = 0, 1, \ldots , d+1\), let
The \((d+2)\)-uple
is called the h-vector of P.
The generalized lower bound conjecture (McMullen-Walkup) [135] is the following:
Conjecture 5.6.1
Let P be a simplicial n-dimensional polytope. Then
-
1.
\(1= h_0 \le h_1 \le \cdots \le h_{[\frac{d}{2}]}.\)
-
2.
for an integer \(1 \le r \le \frac{d}{2}\), the following are equivalent:
-
a.
\(h_{r-1} = h_r \).
-
b.
there is a triangulation K of P all of whose faces of dimension at most \(d-r\) are faces of P.
-
a.
In McMullen [134] conjectured that the Dehn-Sommerville relations together with the generalized lower bound conjecture provide sufficient conditions for the existence of a simplicial polytope with a given h-vector.
If k and i are positive integers, then k can be written uniquely in the form
where \(n_i> n_{i-1}> \cdots > n_j\ge j \ge 1\). Define
Also define \(0^{<i>} =0\). A vector \(k_0, k_1, \ldots , k_d\) of integers is an M-vector if \(k_0=1\) and \(0\le k_{i-1} \le k_i^{<i>} \) for \(1\le i \le d-1\). McMullen conjectured that a sequence \((h_0, \ldots , h_d)\) of integers is the h-vector of a simplicial convex d-polytope if and only if \(h_0=1\), \(h_i=h_{d-i}\) for \(0\le i\le d\) and the following sequence is an M-vector:
The “if” part was proven by Billera and Lee [13].
The “only if” part was proven by Stanley [173] in a very surprising paper, as a consequence of the inequalities of Betti numbers provided by the hard Lefschetz theorem, and considering the cohomology of an associated toric variety, which is non-singular. By this paper deep results from algebraic geometry are related to the study of combinatorics.
A simplicial polytope is always rational so there exists an associated toric variety. In the non-simplicial (but still rational) case the associated toric variety is singular. In 1981 R. MacPherson showed how to compute the (rational) intersection cohomology of the (possibly singular) toric variety associated to any rational convex polytope and spoke about it in many conferences. This calculation was popularized by J. Bernstein and A. Khovanski. Proofs were published by: Fieseler [68] and by Denef and Loeser [64]
In [172] Stanley used this calculation together with the hard Lefschetz theorem for IH to prove the generalized lower bound conjectures for rational convex polytopes and conjectured that the same result holds in the non-rational case as well. The calculations are simplified if one considers the torus-equivariant intersection cohomology instead.
In the case of a non-rational polytope, no toric variety exists. This led to the possibility of proving the same result for non-rational polytopes by constructing the torus-equivariant intersection cohomology, in a purely combinatorial manner, together with a proof that it satisfies the hard Lefschetz theorem. The theory was successfully developed by Barthel et al. [8, 9], Bressler [37], Bressler and Lunts [38, 39], Karu [110] (see also Fieseler [69] and Braden [21, 22]). This completed the proof of Stanley’s conjectures for non-rational polytopes.
5.6.2 The Asymptotic Set
Let \(F :X = \mathbb {C}^n \rightarrow Y=\mathbb {C}^n \) be a polynomial mapping. In the study of geometrical or topological properties of polynomial mappings, the set of points at which those maps fail to be proper plays an important role. The asymptotic set
is the smallest set \(S_F\) such that the map
is proper. In a topological approach of the Jacobian conjecture, it reduces to show that the asymptotic set of a complex polynomial mapping with non zero constant Jacobian is empty. It is then natural to study the topology of the asymptotic set.
Define by Sing(F) the singular locus of F (the zero set of its Jacobian determinant) and denote by \(K_0(F)\) the set of critical values of F, i.e. the set F(Sing(F)). Define the Riemannian manifold \(M_F\) as \(\mathbb {C}^n \setminus Sing(F)\) with the pull back of Euclidean Riemannian metric on \(\mathbb {R}^{2n} = \mathbb {C}^n\). This metric is non degenerate outside the singular locus of F.
Proposition 5.6.2
([180, Proposition 2.3]) Let \(F : \mathbb {C}^n \rightarrow \mathbb {C}^n\) be a polynomial map. There exists a real semi-algebraic pseudomanifold \(N_F \subset \mathbb {R}^\nu \) , for some \(\nu \ge 2n\), such that
with \(p=\nu -2n\), and there exists a semi-algebraic bi-Lipschitz map:
where \(N_F\) is equipped with the metric induced by \(\mathbb {R}^\nu \).
5.6.2.1 Case \(F : \mathbb {C}^2 \rightarrow \mathbb {C}^2\).
The first result comes from Anna and Guillaume Valette. In [180], they associate the singular pseudomanifolds \(N_F\) to polynomial mappings \(F : \mathbb {C}^2 \rightarrow \mathbb {C}^2\). They prove that the map F with non-vanishing Jacobian is not proper if and only if the intersection homology of \(N_F\) is nontrivial in dimension 2 and for any (or some) perversity. The intersection homology of \(N_F\) describes the geometry of the singularities at infinity of the mapping F. This provides a new and original approach to the Jacobian conjecture.
5.6.2.2 Case \(F : \mathbb {C}^n \rightarrow \mathbb {C}^n\).
Th\({}^?\)uy Nguy\({}^{{}^\sim }\)ên Thị Bích, with Anna and Guillaume Valette [144] consider the leading forms \(\widehat{F}_i\) of the components of a polynomial mapping
They obtain:
Theorem 5.6.3
([144]) Let \(F : \mathbb {C}^n \rightarrow \mathbb {C}^n\) be a polynomial mapping with nowhere vanishing Jacobian. If \(\mathrm{rank} (D_{\mathbb {C}} \widehat{F}_i)_{i=1,\ldots ,n} > n-2\) then F is not proper if and only if \(IH^{{\bar{p}}}_2(N_F)\ne 0\) for any (or some) perversity \({\bar{p}}\).
In [140] Th\({}^?\)uy Nguy\({}^{{}^\sim }\)ên T.B. shows that for a class of non-proper generic dominant polynomial mappings, the results in [144, 180] hold also without hypothesis of non emptyness of the set \(K_0(F)\). In her thesis, [141], she provides explicit stratifications of the asymptotic set \(S_F\) and of the critical set \(K_0(F)\) of polynomial map \(F : \mathbb {C}^n \rightarrow \mathbb {C}^n\) by a new method, that she called the method of “façons”. That method appears to be a very powerful and a promising method not only for the computation of intersection homology. A large number of examples is provided.
In [142], Th\({}^?\)uy Nguy\({}^{{}^\sim }\)ên T.B. describes explicitely such a variety \(N_F\) associated to the Pinchuk’s map and calculate its intersection homology. The result describes the geometry of singularities at infinity of the Pinchuk’s map. She also shows that the real version of the A. and G. Valette’s results in [180] does not hold.
5.6.2.3 Case \(F : \mathbb {C}^n \rightarrow \mathbb {C}^{n-1}\)
Given a polynomial mapping \(G: \mathbb {C}^n \rightarrow \mathbb {C}^{n-1}\), with \(n\ge 2\), in [143], Th\({}^?\)uy Nguy\({}^{{}^\sim }\)ên T.B. and M.A. Soares Ruas construct singular varieties \(V_G\), similarly to the previous \(N_F\). They prove that if the intersection homology with total perversity (with compact or closed supports) in dimension two of (any of the corresponding) \(V_G\) is trivial then G is a fibration.
5.6.3 Factorization of Poincaré Morphism for Toric Varieties
In this section, all homology and cohomology groups are with \(\mathbb {Z}\) coefficients. References for this section are [6,7,8] (see also [83]).
The Cartier and Weil divisors play an important role for normal varieties. Given a Cartier divisor of a complex n-dimensional variety X one can associate its Chern class in \(H^2(X;\mathbb {Z})\). Given a Weil divisor , one can associate its class in \(H_{2n-2}(X;\mathbb {Z})\). In the two cases, the class of a principal divisor is zero. Denoting by \(\mathrm Div_C(X)\) and \(\mathrm Div_W(X)\) the abelian groups of classes of algebraic divisors of Cartier and Weil modulo the principal divisors, there are homomorphisms
For \(k=2\) the Poincaré morphism,
is cap-product by the fundamental class [X] of X. Let D be a Cartier divisor, then
In the smooth case, the Poincaré morphism is an isomorphism and the two notions of divisors coincide.
For a normal toric variety X, the divisors classes admit invariant representatives under action of the torus \(\mathbb {T}\) (see [81, 3.4]); There are isomorphisms
where \(\mathrm Div_C^{\mathbb {T}} (X) \) and \(\mathrm Div_W^{\mathbb {T}} (X) \) denote the groups of invariant divisors classes.
A non-degenerated toric varieties is a toric variety which is not isomorphic to the product of a toric variety of dimension \(d<n\) and an \(n-d\)-dimensional torus. Its fundamental group is finite.
For every perversity \({\bar{p}}\), let denote by i(p) the highest integer \(i\le n\) such that \(p(2i) \le 1\) and \(V_p\) the invariant open subset of X union of orbits with dimension at least \(n-i(p)\). Then the group \(IH^{{\bar{p}}}_{2n-2}(X)\) is isomorphic to the group
and one has.
Theorem 5.6.4
([6, Satz 2]) Let X be a non degenerated toric variety, then:
and one has a commutative diagram
where the composition of maps in the lowest line is the Poincaré homomorphism.
In the case of degenerate toric variety, one has a more general result taking into account the torus factor [6, 8].
5.6.4 General Perversities
Several authors are breaking away from the conditions on perversities as defined by Goresky and MacPherson in their original articles; see the (non exhaustive list of) papers of Cappell and Shaneson [47], Chataur et al. [55], Friedman [75,76,77, 79], Habegger and Saper [101], King [113], Saralegi-Aranguren [166].
These provides some interesting generalizations and results. that are sketched out at certain points in this survey. Friedman’s article [79] itself provides a very good survey on the subject. Quoting Friedman, his article is an expository survey of the different notions of perversity in intersection homology and how different perversities require different definitions of intersection homology theory.
“With more general perversities than GM-perversities, one usually loses topological invariance of intersection homology (though this should be seen not as a loss but as an opportunity to study stratification data), but duality results remain, at least if one chooses the right generalizations of intersection homology. Complicating this choice is the fact that there are a variety of approaches to intersection homology.”
With previous notation of strata, perversities such that \(p_\alpha \le codim_X(S_{n-\alpha }) -2\) have been studied in detail by Friedman (see [78]) who proved in particular Poincaré duality for general perversities, Lefschetz duality for pseudomanifolds with boundary and Mayer-Vietoris sequence.
The Lefschetz duality for pseudomanifolds with boundary is also aim of the paper [181] by G. Valette. On a pseudomanifold X with boundary, two perversities are considered, the one for X and the other for the boundary \(\partial X\). If the difference between the chosen perversities is constant, then Lefschetz duality holds on X. Here, allowable chains of the boundary \(\partial X\) are allowable on X.
5.6.5 Equivariant Intersection Cohomology
Equivariant intersection cohomology has been mainly studied by J.L. Brylinski, M. Brion and R. Joshua, by T. Oda and, in the circle case, by J.I.T. Prieto, G. Padilla and M. Saralegi-Aranguren.
Brylinski [46] provides an explicit complex in order to compute intersection homology in the equivariant setting. T. Oda considers the situation of toric action [145, 146]. Brion [40], Brion and Joshua [41], Joshua [108] provide a relationship between the vanishing of the odd dimensional intersection cohomology sheaves and of the odd dimensional global intersection cohomology groups. The authors provide a geometric proof of the vanishing of odd dimensional local and global intersection cohomology for Schubert varieties and complex spherical varieties. For a survey on these works, see [109]. In their paper [42] the authors extend their methods to algorithmically compute the intersection cohomology Betti numbers of reductive varieties.
In the papers [149, 158] G. Padilla, J.I.T. Prieto and M. Saralegi-Aranguren study circle actions on pseudomanifolds by using intersection cohomology and equivariant intersection cohomology. The orbit space and the Euler class of the action determine the equivariant intersection cohomology of the pseudomanifold as well as its localization.
5.6.6 Intersection Spaces
In [67], Timo Essig assigns cell complexes to certain topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincaré duality over complementary perversities for the reduced singular (co)homology groups with rational coefficients. In the paper [3] of M. Banagl, using differential forms, the resulting generalized cohomology theory for pseudomanifolds was extended to 2-strata pseudomanifolds with a geometrically flat link bundle.
The resulting homology theory HI is well-known not to be isomorphic to intersection homology (see Banagl and Hunsicker [4]) but mirror symmetry “tends to” interchange IH and HI ([3]). A new duality theory for pseudomanifolds is obtained, which addresses certain needs in string theory related to the existence of massless D-branes in the course of conifold transitions and their faithful representation as cohomology classes (see Banagl [2]).
5.6.7 Blown-Up Intersection Homology
In [29, 30] Brasselet et al. use a notion of “déplissage” apparented to blow-up in order to define integration of differential forms on simplices and to prove a de Rham theorem for stratified varieties.
A similar method has been used by D. Chataur, M. Saralegi and D. Tanré to define the so called “blown-up intersection homology”. The initial aim [52] is to extend Sullivan’s minimal models theory to the framework of pseudomanifolds. The authors prove also a conjecture of M. Goresky and W. Pardon on Steenrod squares in intersection homology [99]. The relation with rational homotopy has been extended in [53]. The authors work in a context of simplicial sets in the sense of Rourke and Sanderson [162]. This provides a definition of formality in the intersection setting.
In [54] the authors prove the topological invariance of the blown-up intersection cohomology with compact supports in the case of a paracompact pseudomanifold with no codimension one strata.
Based upon simplicial blow-up, Chataur and Tanré construct in [57] Eilenberg-MacLane spaces for the intersection cohomology groups of a stratified space, answering a problem asked by M. Goresky and R. MacPherson ([18, Chap. IX, Problem 11]).
5.6.8 Real Intersection Homology
Whether there is a good analog of intersection homology for real algebraic varieties was stated as a problem by Goresky and MacPherson in [18, Chap. IX, Problem 7)]. They observed that if such a theory exists then it cannot be purely topological; indeed the groups constructed by McCrory and Parusiński in [133] are not homeomorphism invariants. These authors consider a class of algebraic stratifications that have a natural general position property for semialgebraic subsets. They define the real intersection homology groups \(IHS_k (X)\) and show that they are independent of the stratification. If X is nonsingular and pure dimensional then \(IHS_k(X) = H_k(X;\mathbb {Z}_{2})\), classical homology with \(\mathbb {Z}_{2}\) coefficients. An intersection pairing is defined.
5.6.9 Perverse Sheaves and Applications
Perverse sheaves and applications deserve a survey for the subject itself. Various authors wrote surveys concerning perverse sheaves and applications, they are clear and informative. In the MacPherson papers [127, 128], MacPherson and Vilonen [129], Massey survey [125] and Klinger survey [118], many references and results are given concerning in particular three main applications of perverse sheaves: Decomposition theorem, Weak and Hard Lefschetz theorems.
It is fair to mention in these papers other important applications such as Kazdhan-Lusztig conjecture, D-modules and Riemann-Hilbert correpondence, characteristic p and Weil conjecture, etc.
The story is far from over. Today there are many books and papers: an extensive literature on perverse sheaves in various fields of mathematics, showing the interest and diversity of the subject. The interested reader will find in the perverse sheaves a subject of fascinating discovery and exploratory innovation.
References
P. Albin, On the Hodge theory of stratified spaces. arXiv:1603.04106 [math.DG].
M. Banagl, Intersection Spaces, Spatial Homology Truncation, and String Theory, Lecture Notes, Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, Germany (2010).
M. Banagl, Foliated stratified spaces and a De Rham complex describing intersection space cohomology, J. Diff. Geom. 104 (2016) 1, 1–58.
M. Banagl and E. Hunsicker, Hodge Theory For Intersection Space Cohomology, Geometry and Topology 23 (2019) 2165–2225.
G. Barthel, J.-P. Brasselet, K.-H. Fieseler, O.Gabber et L. Kaup, Relèvement des cycles algébriques et homomorphismes associés en homologie d’intersection, Ann. of Math. (2) 141 (1995), no. 1, 147–179.
G. Barthel, J.-P. Brasselet, K.-H. Fieseler and L. Kaup, Invariante Divisoren und Schnitthomologie von torischen Varietäten. Banach Center Publications, “Parameter Spaces”, Vol. 36, Warszawa 1996, ed. P. Pragacz, pp. 9–23.
G. Barthel, J.-P. Brasselet, K.-H. Fieseler and L. Kaup, Equivariant Intersection Cohomology of Toric Varieties, Algebraic Geometry, Hirzebruch 70, 45–68, Contemp. Math.241, Amer. Math. Soc., Providence, R.I., 1999.
G. Barthel, J.-P. Brasselet, K.-H. Fieseler and L. Kaup, Combinatorial Intersection Cohomology for Fans, Tohoku Math. J. 54 (2002), 1–41.
G. Barthel, J.-P. Brasselet, K.-H. Fieseler and L. Kaup, Combinatorial Duality and Intersection Product: A Direct Approach Tohoku Math. J. (2) 57 (2003), no 2, 273–292.
A. Beilinson, J. Bernstein, O. Gabber and P. Deligne, Faisceaux pervers. Astérisque, 100, 1982.
B. Bendiffalah, Shadow forms of Brasselet-Goresky-MacPherson Transactions of the Amer. Math. Soc. Vol 347, N.12, Dec 1995, 4747–4764.
R. Benedetti, Density of Morse functions on a complex space, Math. Ann.229 (1977), pp. 135–139.
L. Billera and C. Lee, Sufficiency of McMullen’s condition for f-vectors of simplicial polytopes, Bulletin AMS 2 (1980), 181–185.
C. Bisi, F. Bracci, T. Izawa and T. Suwa, Localized intersection of currents and the Lefschetz coincidence point theorem, Annali di Matematica Pura e Applicata 195 (2016) no 2, 601–621.
A. Borel, \({\cal{L}}^2\)-cohomology and intersection cohomology of certain arithmetic varieties. In: Emmy Noether in Bryn Mawr, eds. B. Srinivasan and J. Sally, Springer, 1983, 119–131.
A. Borel and W. Casselman, Cohomologie d’intersection et \({\cal{L}}^2\)-cohomologie de variétés arithmétiques de rang rationnel 2. CR Acad. Se. Paris 301(1985), 369–373.
A. Borel and J.C. Moore, Homology theory for locally compact spaces, Michigan Math J. 7, 137–159 (1960).
A. Borel and al. Intersection Cohomology, Progress in Mathematics Vol 50, Birkhäuser, 1984.
W. Borho and R. MacPherson, Représentations des groupes de Weyl et homologie d’intersection pour les variétés nilpotentes. C.R. Acad. Sci. Paris, t. 292 Ser. I, 707–710 (1981).
R. Bott and L. Tu, Differential forms in Algebraic Topolology. Springer-Verlag, New-York, 1982.
T. Braden, Remarks on the Combinatorial IntersectionCohomology of Fans. Pure and Applied Mathematics Quarterly Volume 2, Number 4. 1149– 1186, 2006.
T. Braden and R.D. MacPherson, Intersection homology of toric varieties and a conjecture of Kalai, Comment. Math. Helv. 74 (1999), 442–455.
J.-P. Brasselet, Définition combinatoire des homomorphismes de Poincaré, Alexander et Thom pour une pseudo-variété, Astérisque no 82–83, (1981), p. 71–91.
J.-P. Brasselet, de Rham theorems for singular varieties, Contemp. Math. 161 (1994) 95–112.
J.-P. Brasselet K.-H. Fieseler and L. Kaup, Caractérisation des variétés homologiques à l’aide des invariants de l’homologie d’intersection, Banach Institut Varsovie, Vol. 33 (1996), p. 19–22.
J.-P. Brasselet et G.Gonzalez-Sprinberg, Espaces de Thom et contre-exemples de J.L.Verdier et M.Goresky, Bol. Soc. Bras. Mat. vol. 17 \({{{\rm n}}^{\circ }}\)2 (1986).
J.-P. Brasselet et G.Gonzalez-Sprinberg, Sur l’homologie d’intersection et les classes de Chern des variétés singulières, Travaux en cours \({\rm n^{\circ }}\)23 Hermann (1987), 5–11.
J.-P. Brasselet, M. Goresky and R. MacPherson, Simplicial Differential Forms with Poles, Amer. Journal of Maths., 113 (1991), 1019–1052.
J.-P. Brasselet, G. Hector et M. Saralegi, Théorème de de Rham pour les variétés singulières, Annals of Global Analysis and Geometry Vol. 9, no 3, 1991, 211–243.
J.-P. Brasselet, G. Hector et M. Saralegi, \({\cal{L}}^2\)-cohomologie des espaces stratifiés, Manuscripta Mathematica. Vol. 76, 1992, 21–32.
J.-P. Brasselet and A. Legrand, Differential forms on singular varieties and cyclic homology, in: Singularity Theory, Liverpool 1996, in: London Math. Soc. Lecture Note Ser., vol. 263, Cambridge Univ. Press, 1999, pp. 175–187.
J.-P. Brasselet et M. Saralegui,Variétés homologiques et homologie d’intersection, C. R. Acad. Sci. Paris Sér. I, 314, (1992), 847–850.
J.-P. Brasselet and T. Suwa, Local and global coincidence homology classes, to appear in Journal of Fixed Point Theory and Applications.
J.-P. Brasselet, A.K.M. Libardi, E.C. Rizziolli and M.J. Saia, Cobordism of maps of locally orientable Witt spaces, Publicationes Mathematicae Debrecen, 2019, 94 (3–4), pp. 299–317.
J.-P. Brasselet, A.K.M. Libardi, T.F.M. Monis, E.C. Rizziolli and M.J. Saia, A Lefschetz coincidence theorem for singular varieties. Singularities and Foliations. Geometry, Topology and Applications, pp. 513–535.
G. Bredon, Sheaf theory. New York: McGraw-Hill, 1967.
P. Bressler, Intersection Cohomology on Nonrational Polytopes. Compositio Mathematica volume 135, 245–278 (2003).
P. Bressler and V. Lunts, Intersection cohomology on nonrational polytopes, Compositio Mathematica 135(3), 2000.
P. Bressler and V. Lunts, Hard Lefschetz theorem and Hodge-Riemann relations for inter-section cohomology of nonrational polytopes, Compositio Mathematica, volume 135, 245–278 (2003).
M. Brion, Equivariant cohomology and equivariant intersection theory. Feb. 2008. arXiv:math/9802063v1.
M. Brion and R. Joshua, Vanishing of odd dimensional intersection cohomology II, Mathematische Annalen volume 321, pages 399–437 (2001).
M. Brion and R. Joshua, Intersection Cohomology of reductive varieties, Journal of the European Mathematical Society, 6(4), 2003.
M. Brückner, Die Elemente der vierdimensionalen Geometrie mit besonderer Beriicksichtigung der Polytope, Jahresbericht des Vereins für Naturkunde zu Zwickau I.S. – 1893, 1–61.
M. Brückner, Uber die Ableitung der allgemeinen Polytope und die nach Isomorphismus verschiedenen Typen der allgemeinen Achtzelle (Oktatope), Verhl. Nederl. Akad. Wetensch. Sect. I. 10, No. 1 (1909).
J.L. Brylinski, (Co)-homologie d’intersection et faisceaux pervers, Séminaire Bourbaki 589, Astérisque 92–93.
J.L. Brylinski, Equivariant Intersection Cohomology, IHES 1986 and in Kazhdan-Lusztig theory and related topics (Chicago, IL, 1989), 5–32, Contemp. Math., 139, Amer. Math. Soc., Providence, RI, 1992.
S.E. Cappell and J.L. Shaneson, Singular spaces, characteristic classes, and intersection homology, Annals of Mathematics134(1991), 325–374.
H. Cartan Homologie et cohomologie singulière., Séminaire Henri Cartan, tome 1 (1948-1949), exposé no 5.
H. Cartan and S. Eilenberg, Homological algebra,, The Princeton University Press, Princeton, 1956.
W. Casselman, Introduction to the \({\cal{L}}\)-cohomology of arithmetic quotients of bounded symmetric domains. In: Complex Analytic Singularities, Adv. Stud. Pure Math. 8 (1986), 69–93.
E. Cattani, A. Kaplan and W. Schmid , \({\cal{L}}^2\)and intersection cohomologies for a polarizable variation of Hodge structure. Inventiones mathematicae volume 87, pages 217–252 (1987).
D. Chataur, M. Saralegi-Aranguren and D. Tanré, Blown-up intersection cohomology, Contemp.Math., vol. 708, Amer. Math. Soc., Providence, RI, 2018, pp. 45–102.
D. Chataur, M. Saralegi-Aranguren and D. Tanré, Intersection cohomology, simplicial blow-up and rational homotopy, Mem. Amer. Math. Soc. 254 (2018), no. 1214, viii+108.
D. Chataur, M. Saralegi-Aranguren and D. Tanré, Poincaré duality with cap products in intersection homology, Adv. Math. 326 (2018), 314–351.
D. Chataur, M. Saralegi-Aranguren and D. Tanré, Intersection homology: General perversities and topological invariance, Ilinois J. Math. Volume 63, Number 1 (2019), 127–163.
D. Chataur, M. Saralegi-Aranguren and D. Tanré, Steenrod squares on intersection cohomology and a conjecture of M Goresky and W Pardon, Algebr. Geom. Topol.16 (2016), no. 4, p. 1851–1904.
D. Chataur and D. Tanré, Natural operations in intersection homology, arXiv:2005.04960v2.
J. Cheeger, On the spectral geometry of spaces with cone-like singularities. Proc Natl Acad Sci U S A. 1979 May; 76(5): 2103–2106.
J. Cheeger, On the Hodge theory of Riemannian pseudomanifolds. In: Geometry of the Laplace operator. Proceedings of Symposia in pure Mathematics 36, 91–146 (1980). Amer. Math. Soc. Providence, RI.
J. Cheeger, M. Goresky and R.MacPherson, \({\cal L\it }^2\)-cohomology and intersection cohomology of singular algebraic varieties, in “Seminar on differential geometry” ed. by S. T. Yau, Princeton University Press, 1982, p. 303–340.
D.C. Cohen, M. Goresky and L. Ji, On the Künneth Formula for Intersection Cohomology, Trans. AMS 333 (1992), 63–69.
A. Connes Noncommutative Differential Geometry, Inst. Hautes Etudes Sci., Publ. Math. No. 62 (1985), 257–360.
M.A. de Cataldo and L. Migliorini, The decomposition theorem, perverse sheaves and the topology of algebraic maps. Bull. AMS Vol. 46, No. 4, 2009, 535–633.
J. Denef and F. Loeser, Weights of exponential sums, intersection cohomology, and Newton polyhedra. Invent. math. 106, 275–294 (1991).
M. Denh, Die Eulersche Formel im Zusammenhang mit den Inhalt in der Nicht Euklidischen Geometrie. Math. Ann. 61 (4), 561–586 (1905).
A. Dimca, Sheaves in Topology, Springer Science and Business Media, 2004.
T. Essig About a De Rham Complex Describing Intersection Space Cohomology in a Three Strata Case, in Ed. M. Banagl, Ruprecht-Karls-Universität Heidelberg, 2016. Also in arXiv:1804.06690v2.
K.H.Fieseler, Rational Intersection Cohomology of Projective Toric Varieties. Journal für die reine und angewandte Mathematik 413 (1991): 88–98.
K.H.Fieseler, Towards a combinatorial intersection cohomology for fans, C.R. Acad. Sci. Paris 300 (1999).
K.H.Fieseler, Survey on combinatorial intersection homology In: Math. Forschungsinstitut Oberwolfach, no. 20, p. 1071–1075. http://www2.math.uu.se/~khf/finis.pdf.
K.H.Fieseler and L. Kaup, Singular Poincaré duality and intersection homology, Proceedings of the 1984 Vancouver Conference in Algebraic Geometry. AMS, Providence, (1986), 113–161.
K. Fieseler and L. Kaup, Theorems of Lefschetz type in intersection homology, I. The hyperplane section theorem. Revue Roumaine de Mathématiques Pures et Appliquées 33, 175–195 (1988).
K. Fieseler and L. Kaup, The vanishing invariants in intersection homology of complex spaces, in : Singularities, Banach Center Publ. 20, 1988, 225–235.
G. Friedman, Intersection homology Künneth theorems. Mathematische Annalen volume 343, 371–395, (2009).
G. Friedman, Superperverse intersection cohomology: stratification (in)dependence, Math. Z. 252 (2006), no. 1, p. 49–70.
G. Friedman, Singular chain intersection homology for traditional and super-perversities, Trans. Amer. Math. Soc. 359 (2007), no. 5, p. 1977–2019.
G. Friedman, Intersection homology with general perversities, Geom. Dedicata 148 (2010), p. 103–135.
G. Friedman, Intersection homology and Poincaré duality on homotopically stratified spaces, Geom. Topol. Volume 13, Number 4 (2009), 2163–2204.
G. Friedman, An introduction to intersection homology with general perversity functions, in Topology of stratified spaces, Math. Sci. Res. Inst. Publ., vol. 58, Cambridge Univ. Press, Cambridge, 2011, p. 177–222.
G. Friedman and J. E. McClure, Cup and cap product in intersection (co)homology, Advances in mathematics, vol. 240, pp. 383–426, 2013.
W. Fulton, Introduction to toric varieties, Annals of Math. Studies, Princeton Univ. Press, 1993.
W. Fulton and R. MacPherson, Categorical framework for the study of singular spaces., Memoirs of the Amer. Math. Soc. vol. 243, A.M.S., Providence, RI 1981.
W. Fulton and B. Sturmfels, Intersection theory on toric varieties. Topology, 36(2):335–353, 1997.
S.I. Gelfand, and R. MacPherson, Verma modules and Schubert cells: a dictionary, Séminaire d’Algèbre. Lecture Notes in Mathematics vol. 924. Berlin-Heidelberg-New York: Springer 1982.
S.I. Gelfand, and Y.I. Manin, Methods of Homological Algebra, Springer Monographs in Mathematics, Springer-Verlag, Berlin, New York: Springer-Verlag (2003).
R. Godement, Topologie algébrique et théorie des faisceaux. Actualites Scientifiques et Industrielles. 1252. Publications de l’Institut de Mathématique de l’Université de Strasbourg. XIII. Paris: Hermann VIII, 283 p. (1958).
M.Goresky, Intersection homology operations, Comment. Math. Helv. 59 (1984), 485–505.
M.Goresky, \({\cal L\it }^2\)-cohomology is intersection cohomology, The zeta functions of Picard modular surfaces, 47–63, Univ. Montréal, Montréal, QC, 1992.
M.Goresky, Course given at Brown University in the fall of 2016https://www.math.ias.edu/~goresky/math2710/all.pdf.
M. Goresky, Morse theory, stratifications and sheaves. In: Cisneros-Molina, J.L., Lê, D.T., Seade, J. (eds.) Handbook of Geometry and Topology of Singularities I. Springer, Cham, 261–301.
M. Goresky et R. MacPherson, La dualité de Poincaré pour les espaces singuliers, C.R. Acad. Sci. Paris 284 (Janvier 1977), 1549–1551.
M. Goresky and R. MacPherson, Intersection homology theory, Topology 19 (1980), 135–162.
M. Goresky and R. MacPherson, Morse Theory and Intersection Homology, in Analyse et topologie sur les espaces singuliers, Astérisque 101–102, Soc. Math. France, 1982, pp. 135–192.
M. Goresky and R. MacPherson, Intersection homology theory II, Inv. Math. 71 (1983), 77–129.
M. Goresky and R. MacPherson, Stratified Morse theory. In Singularities, Part1 (Arcata, Calif., 1981), volume 40 of Proc. Sympos. Pure Math., pages 517–533. Amer. Math. Soc., Providence, R.I., 1983.
M. Goresky and R. MacPherson, Stratified Morse theory, Ergebnisseder Mathematik und ihrer Grenzgebiete volume 14, Springer-Verlag, Berlin, 1988.
M. Goresky and R. MacPherson, Local contribution to the Lefschetz fixed point formula, Inv. Math. 111 (1993), 1–33. 295, 296.
M. Goresky and R. MacPherson, Letschetz fixed point theorem for intersection homology, Comment. Math. Helvetici 60 (1985) 366–391.
M. Goresky and W. Pardon, Wu Numbers of Singular Spaces, Topology 28, (1989), 325–367.
A. Grothendieck, Sur quelques points d’algèbre homologique, Tôhoku Mathematical Journal, (2), 9: 119–221 (1957).
N. Habegger and L. Saper, Intersection cohomology of cs-spaces and Zeeman’s filtration, Invent. Math. 105 (1991), 247–272.
H.A. Hamm and Lê D.T., The Lefschetz Theorem for hyperplane sections. In: Cisneros-Molina, J.L., Lê, D.T., Seade, J. (eds.) Handbook of Geometry and Topology of Singularities I. Springer, Cham, 467–514.
R. Hartshorne, Residues and duality. Lecture Notes in Mathematics vol. 20. Berlin-Heidelberg-New York: Springer 1966.
P. Heegaard, Sur l’Analysis situs, Bulletin de la Société Mathématique de France, vol. 44, 1916, p. 161–242 . French translation of the danish thesis : Forstudier til en topologisk Teori for de algebraiske Fladers Sammenhæng, Copenhague, Det Nordiske Forlag-Ernst Bojesen, 1898.
G. Hochschild, B. Kostant and A. Rosenberg Differential Forms on regular affine Algebras, Trans. AMS 102 (1962), 383–408.
C. Houzel, Histoire de la théorie des faisceaux Matériaux pour l’histoire des mathématiques au XXe siècle (Nice, 1996). Sémin. Congr., 3, Soc. Math. France, Paris, pp. 101–119, 1998. also in M. Kashiwara and P. Schapira, Sheaves on Manifolds: With a Short History “Les débuts de la théorie des faisceaux” by C. Houzel, Berlin/Heidelberg/Paris etc., Springer, 1990, 512 p.
W. C. Hsiang and V. Pati, \(L^2\)-cohomology of normal algebraic surfaces I, Invent. Math. 81 (1985), no. 3, 395–412.
R. Joshua, Vanishing of odd-dimensional intersection cohomology, Mathematische Zeitschrift 195(2) 239–253 (1987).
R. Joshua, Equivariant intersection cohomology–a survey. in Invariant Theory, Proc. of AMS Special Session, October 31–November 1, 1986, Contemporary Math. 88, Amer. Math. Soc., 1989, 25–31.
K. Karu, Hard Lefschetz Theorem for Nonrational Polytopes, (pr)e-printmath.AG/0112087(25 pages), 2002.
M. Kashiwara and T. Kawai, The Poincaré lemma for variations of polarized Hodge structure. Publ. RIMS 23 (1987), 345–407.
M. Kashiwara and P. Shapira, Categories and Sheaves. Grundlehren der Mathematischen Wissenschaften 332, Springer (2006).
H.C. King, Topological invariance of intersection homology without sheaves, Topology and its Applications, Volume 20, Issue 2, August 1985, Pages 149–160.
H.C. King, Intersection homology and homology manifolds, Topology 21 (1982), 229–234.
L. Kaup and K.-H. Fieseler, Singular Poincarée duality and intersection homology, in: Proc. 1984 Vancouver Conf. in Algebraic Geometry, Amer. Math. Soc., Providence, 1986, 113–161.
F. Kirwan and J. Woolf, An introduction to intersection homology theory, 2nd ed. Boca Raton, FL: Chapman Hall. 2006.
S. Kleiman, The development of intersection homology theory. A century of mathematics in America, Part II, Hist. Math. 2, Amer. Math. Soc., 1989, pp. 543–585.
B. Klinger, Intersection homology and perverse sheaves. http://webusers.imj-prg.fr/~bruno.klingler/cours/courspervers.pdf.
F. Lazzeri, Morse Theory on singular spaces, in Singularités à Cargèse. Publ. Soc. Math. de France, 1973 (Astérisque 7-8 ).
S. Lefschetz, Intersection of complexes on manifolds, Proceedings of the National Academy of Sciences Vol. 11, 287–289, 1925.
S. Lefschetz, Continuous transformations of manifolds, Proceedings of the National Academy of Sciences Vol. 9, 90–93, 1923.
S. Lefschetz, Intersections and transformations of manifolds, Trans. Amer. Math. Soc. Vol. 28 No. 1. (1926), 1–49.
E. Looijenga, \({\cal{L}}^2\)–cohomology of locally symmetric varieties, Compositio Math. 67 (1988), 3–20.
U. Ludwig, A complex in Morse theory computing intersection homology, Annales de l’Institut Fourier, Tome 67, no. 1 (2017), p. 197–236.
D. Massey, Notes on perverse sheaves and vanishing cycleshttp://arxiv.org/abs/math/9908107http://www.massey.math.neu.edu/Massey/Massey_preprints/perverse_notes.pdf.
D. Massey, Stratified Morse Theory: Past and Present Pure and applied mathematics quarterly 2(4) October 2006. Also in http://www.massey.math.neu.edu/Massey/Massey_preprints/SMT_survey.pdf.
R. MacPherson, Global questions in the topology of singular spaces, Proceedings of the International Congress of Mathematicians, Vol. I, Warszawa, 1983. PWN– Polish Scientific Publishers, Warszawa, and Elsevier Science Publishers B.V., Amsterdam, (1984), 213–236.
R. MacPherson, Intersection Homology and Perverse Sheaves, Report December 15, 1990. Unpublished Notes: http://faculty.tcu.edu/gfriedman/notes/ih.pdf.
R. MacPherson and K. Vilonen, Elementary construction of perverse sheaves, Invent. Math. 84 (1986), 403–435.
L.G. Maxim, Intersection Homology and Perverse Sheaves: with Applications to Singularities Graduate Texts in Mathematics, 281. Springer.
C. Mc Crory, Poincaré duality in spaces with singularities. Thesis, Branseis University. May 1972. Revised version in : https://www.maths.ed.ac.uk/~v1ranick/papers/mccrory4.pdf.
C. Mc Crory, Stratified general position. Algebraic and Geometric Topology Lecture Notes in Mathematics Volume 664, 1978, pp 142–146.
C. Mc Crory and A. Parusiński, Real intersection homology. Topology and its Applications, Elsevier, 2018, 234, pp. 108–129.
P. McMullen, The numbers of faces of simplicial polytopes, Israel J. Math. 9 (1971), 559–570.
P. McMullen and D. W. Walkup, A generalized lower-bound conjecture for simplicial polytopes. Mathematika, Lond., 18: 264–273, 1971.
J. Milnor, Morse Theory, Ann. of Math. studies 51, Princeton Univ. Press, Princeton N.J. 1963.
M. Nagase, \({\cal{L}}^2\)-cohomology and intersection cohomology of stratified spaces, Duke Math. J. 50(1983), 329–368.
M. Nagase, Sheaf theoretic\({\cal{L}}^2\)-cohomology, Adv. Stud. Pure Math. \(n^{\circ }8\) (1987), 273–279, North Holland.
M.Nagase, Remarks on the\({\cal{L}}^2\)-cohomology of singular algebraic surfaces. J. Math. Soc. Japan Vol. 41, No. 1, 1989, 97–116.
Th\({}^?\!\!{\rm u}\)y Nguy\({}^{{}^\sim }\!\!\!{\hat{\rm e}}\)n T. B., A Remark on the Topology at Infinity of a Polynomial Mapping\(F : \mathbb{C}^n \rightarrow \mathbb{C}^n\)via Intersection Homology. Advances in Pure Mathematics. Vol. 6 No. 13, December 2016, 1037–1052.
Th\({}^?\!\!{\rm u}\)y Nguy\({}^{{}^\sim }\!\!\!{\hat{\rm e}}\)n T. B., Etude de certains ensembles singuliers associés à une application polynomiale, Thèse soutenue le 30 sept. 2013 Université de la Mediterranée, Marseille, France available on https://tel.archives-ouvertes.fr/tel-00875930/document.
Th\({}^?\!\!{\rm u}\)y Nguy\({}^{{}^\sim }\!\!\!{\hat{\rm e}}\)n T. B., Geometry of singularities at infinity of the Pinchuk’s map.https://arxiv.org/pdf/1710.03318.pdf.
Th\({}^?\!\!{\rm u}\)y Nguy\({}^{{}^\sim }\!\!\!{\hat{\rm e}}\)n T. B., and M.A. Soares Ruas On singular varieties associated to a polynomial mapping from\(\mathbb{C}^n\)to\(\mathbb{C}^{n-1}\). Asian Journal of Mathematics Volume 22 (2018), Number 6, 1157–1172.
Th\({}^?\!\!{\rm u}\)y Nguy\({}^{{}^\sim }\!\!\!{\hat{\rm e}}\)n T. B., A. Valette and G. Valette, On a Singular Variety Associated to a Polynomial Mapping. Journal of Singularities, 7, 2013, 190–204.
T. Oda, The intersection cohomology and toric varieties (Modern aspects of combinatorial structure on convex polytopes. Kyoto university (1994).
T. Oda, The intersection cohomology of toric varieties, in Geometry of Toric Varieties and Convex Polytopes (T. Hibi, ed.), RIMS Kokyuroku 776, March 1992, 49–67.
T. Ohsawa, Cheeger-Goresky-MacPherson conjecture for varieties with isolated singularities, Math. Z. 206 (1991), 219–224.
T. Ohsawa, On the\({\cal{L}}^2\)-cohomology of complex spaces, Math. Z. 209 (1992), 519–530.
G. Padilla, M. Saralegi-Aranguren Intersection cohomology of the circle actions, Topology and its Applications 154 (2007) 2764–2770.
W.L. Pardon and M. Stern \({\cal{L}}^2-\bar{\partial }\)-cohomology of complex projective varieties. J. Amer. Math. Soc. vol. 4, 1991, 603–621.
R. Pignoni, Density and stability of Morse functions on a stratified space, Ann. Scuola Nor. Sup. Pisa ser. IV vol. 6 (1979) 593–608.
H. Poincaré, Sur la généralisation d’un théorème d’Euler relatif aux polyèdres, Comptes rendus de l’Acad. des Sciences 117 (1893), 144-145. Œuvres de Poincaré XI, Gauthier-Villars Ed. Paris, 1953, 6–7.
H. Poincaré, Analysis Situs, Journal de l’Ecole Polytechnique ser 2, 1 (1895) pp. 1–123. (Reprinted in Œuvres de Poincaré VI, Gauthier-Villars Ed. Paris, 1953, VI, 193–288).
H. Poincaré, Complément à l’Analysis Situs, Rendiconti del Circolo matematico di Palermo, 13 (1899) pp. 285–343. (Reprinted in Œuvres de Poincaré VI, Gauthier-Villars Ed. Paris, 1953, VI, 290–337).
H. Poincaré, Second complément à l’Analysis Situs, Proceedings of the London Mathematical Society, 32 (1900), pp. 277–308. (Reprinted in Œuvres de Poincaré VI, Gauthier-Villars Ed. Paris, 1953, 338–370).
G. Pollini, Intersection differential forms, Rendiconti del Seminario Matematico della Università di Padova (2005) Volume: 113, page 71–97.
P. Popescu-Pampu, La dualité de Poincaré, Images des Mathématiques, CNRS, 2012 https://images.math.cnrs.fr/La-dualite-de-Poincare.html.
J. Prieto and M. Saralegi-Aranguren, Equivariant intersection cohomology of the circle actions. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas volume 108, 49–62 (2014).
K. Reidemeister Topologie der Polyeder und kombinatorische Topologie der Komplexe, Akademische Verlagsgesellschaft, Lpz., 1938-Mathematik und ihre Anwendungen in Monographien und Lehrbüchern, Band 17.
G. de Rham, Sur l’analysis situs des variétés à n dimensions, J. Math. Pures Appl. (9) 10 (1931), p. 115–200.
K. Rietsch, An introduction to perverse sheaves. arXiv:math/0307349v1. 26 Jul. 2003.
C. Rourke and B. Sanderson Homology stratifications and intersection homology. Geometry and Topology Monographs 2 (1999) 455–472.
L. Saper, \({\cal{L}}^2\)-cohomology and intersection homology of certain algebraic varieties with isolated singularities, Invent. Math. 82 (1985), no. 2, 207–255.
L. Saper, \({\cal{L}}^2\)-cohomology of Kähler varieties with isolated singularities, J. Differential Geometry, 36 (1992), 89–161.
L. Saper and M. Stern, \({\cal{L}}^2\)-cohomology of arithmetic varieties. Annals of Mathematics. Second Series, Vol. 132, No. 1 (Jul., 1990), pp. 1–69.
M. Saralegi-Aranguren, de Rham intersection cohomology for general perversities, llinois J. Math. Volume 49, Number 3 (2005), 737–758.
J. Schürmann, Topology of Singular Spaces and Constructible Sheaves, Monografie Matematyczne 63, Birkhäuser Verlag, Basel, 2003.
J.P. Serre Géomérie algébrique et géométrie analytique, Annales de l’Institut Fourier, vol. 6,? 1956, p. 1–42.
P. Siegel, Witt Spaces: a Geometric Cycle Theory for KO-Homology at odd primes, Amer. J. Math., 105, (1983), no. 5, 1067–1105.
D. Sommerville, The relations connecting the angle sums and volume of a polytope in space of n dimensions. Proceedings of the Royal Society London, Ser. A, Vol. 115, (1927), 103–119.
T. Springer, Quelques applications de la cohomologie d’intersection, Séminaire Bourbaki 589, Astérisque 92–93, Soc. Math. France, 1982, pp. 249–274.
R. Stanley, Generalized h-vectors, intersection cohomology of toric varieties and related results, M. Nagata, H. Matsumura, eds.,Commutative Algebra and Combinatorics, 187–213, Adv. Stud.Pure Math. 11, Kinokunia, Tokyo, and North Holland, Amsterdam/New York, 1987.
R. Stanley, The number of faces of a simplicial convex polytope. Adv. in Math. 35 (1980), 236–238.
N. Steenrod, Homology with local coefficients. Annals of Mathematics. 44 (4) 610–627, 1943.
N. Steenrod, The Topology of Fibre Bundles Princeton University Press, Princeton 1951. New edition 7th printing, Princeton landmarks in mathematics and physics, 1999.
N. Steenrod, The Work and Influence of Professeur S. Lefschetz in Algebraic Topology. in Algebraic Geometry and Topology: A Symposium in Honor of Solomon Lefschetz. Princeton Mathematical Series, Vol. 12. Princeton University Press, 1957.
T. Suwa, Complex Analytic Geometry, World Scientific, March 2021.
R. Thom, Les singularités des applications différentiables, Annales de l’Institut Fourier, vol. 6, 1956, p. 43–87.
D. Trotman, Stratification theory In: Cisneros-Molina, J.L., Lê, D.T., Seade, J. (eds.) Handbook of Geometry and Topology of Singularities I. Springer, Cham, 231–260.
A. Valette and G. Valette, Geometry of polynomial mappings at infinity via intersection homology Annales de l’Institut Fourier, vol. 74, 2014, p. 2147–2163.
G. Valette A Lefschetz duality for intersection homology, Geom. Dedicata 169 (2014), 283–299.
G. Valette \({\cal{L}}^\infty \)-cohomology is intersection cohomology. Advances in Mathematics, Volume 231, Issues 3–4, 2012, 1818–1842.
J.L. Verdier, Dualité dans la cohomologie des espaces localement compacts Séminaire Bourbaki. Vol. 1965/1966. Exposé 300.
J.L. Verdier, Catégories dérivés, état 0. in Séminaire de Géométrie Algébrique du Bois-Marie, Cohomologie Étale, SGA 4 1/2 par P. Deligne. Lecture Notes in Mathematics vol. 569. Springer-Verlag 1977.
A. Weber, A morphism of intersection homology and hard Lefschetz, Algebraic geometry conference, 339–348, 1999.
H. Whitney Geometric integration theory, Princeton University Press, 1957.
B. Youssin, \({\cal{L}}^p\)-cohomology of cones and horns, J. Differential Geom. 39 (1994), no. 3, 559–603.
S. Zucker, Hodge theory with degeneration coefficients:\(L_2\)-cohomology in the Poincaré metric, Ann. of Math. 109, 415–476 (1979).
S. Zucker, Cohomology of warped products and arithmetic groups. Inventiones Math. 70 (1982), 169–218.
S. Zucker, \({\cal{L}}^2\)-cohomology and intersection homology of locally symmetric varieties, II. Compositio Math. 519 (1986), 339–398.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Brasselet, JP. (2021). Intersection Homology. In: Cisneros-Molina, J.L., Lê, D.T., Seade, J. (eds) Handbook of Geometry and Topology of Singularities II. Springer, Cham. https://doi.org/10.1007/978-3-030-78024-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-78024-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-78023-4
Online ISBN: 978-3-030-78024-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)