A Lefschetz duality for intersection homology

We prove a Lefschetz duality theorem for intersection homology. Usually, this result applies to pseudomanifolds with boundary which are assumed to have a “collared neighborhood of their boundary”. Our duality does not need this assumption and is a generalization of the classical one.

A pseudomanifold is a set X whose singular locus is of codimension at least 2 in X (and is nowhere dense in X ). Pseudomanifolds with boundary are couples (X, ∂ X ) such that X \ ∂ X and ∂ X are pseudomanifolds and such that ∂ X has a neighborhood in X which is homeomorphic to a product ∂ X × (0, 1]. In this paper, we show how the last requirement can be left out without affecting Lefschetz duality. We introduce the notion of stratified ∂-pseudomanifold (see Definitions 4.1 and 4.3) and establish Lefschetz duality for this class of sets.
The intersection homology groups as defined in [6] depend on the choice of a perversity (see definitions below). In this article we will work not with one but two perversities: one for the considered set X and one for its boundary. We explain that, if the difference between the chosen perversities of X and ∂ X is constant then Lefschetz duality holds on X (if X is a ∂-pseudomanifold). We shall consider what is called general perversities which provide a more general framework. These perversities were studied by Friedman [3,5] who extended Goresky and MacPherson's theory to them (see Sect. 3).
Our approach is different from the one developed by Friedman in [1][2][3]5] where the author obtained several very interesting results on pseudomanifolds with possibly one codimensional strata with general perversities. The novelty of the present paper is that the allowable chains of ∂ X are allowable in X .
In [13], the author proves that the cohomology of L ∞ forms on a compact subanalytic pseudomanifold is isomorphic to intersection cohomology in the maximal perversity. In [14], we give a Lefschetz duality theorem, relating the L ∞ cohomology to the so-called Dirichlet L 1 -cohomology. As a corollary of these two results, on compact subanalytic pseudomanifolds, we got that the Dirichlet L 1 cohomology is isomorphic to intersection cohomology in the zero perversity. The Lefschetz duality of [14] is true for any bounded subanalytic manifold (i.e. we do not assume that the closure is a pseudomanifold) while Lefschetz duality for intersection homology is usually stated on pseudomanifolds with boundary. This lead the author to the conclusion that there must be a Lefschetz duality in a slightly more general setting than the framework of pseudomanifolds with boundary in the way that they are usually defined. The Lefschetz duality for ∂-pseudomanifolds that we carry out in this paper is indeed the exact geometric counterpart of the duality observed in [14] (on ∂-pseudomanifolds).
As in [6], we will work in the PL framework. Although the arguments presented in [6,7] (for proving Poincaré duality) seem to apply for proving our theorem, we shall present a different argument. Our proof actually bears some resemblance with the proof of Lefschetz duality for general perversities on pseudomanifolds with boundary given in [5] (and makes use of this result). Even the proof of Lefschetz duality in the case of perversities as defined in [6] will require to investigate general perversities.
Content of the paper In the first section we recall the definitions of intersection homology and stratified pseudomanifold. In the second section we recall the notion of general perversity and show that intersection homology with general perversities is preserved under refinement for suitable general perversities (Proposition 3.4). In Sect. 4 we introduce our notion of stratified ∂-pseudomanifold and extend the basic notions to this setting. We finish Sect. 4 by stating the three main theorems: one formulating our Lefschetz duality for ∂-pseudomanifolds (Theorem 4.7), one stating independence with respect to the stratification (in the case of GM-perversities, Theorem 4.10) and one establishing that the groups are finitely generated (Theorem 4.9). These theorems are all proved in Sect. 5.

Some notations and conventions
We denote by cL the open cone on the space L ⊂ R n (for simplicity we will assume that its vertex is the origin), c∅ being a point. Open balls in R n are denoted B n (x 0 , ε) and are considered for the norm sup 1≤i≤n |x i |. We write dim S for the dimension of a piecewise linear set S (PL for short, meaning that it is endowed with a compatible family of triangulations) and cod X S for the codimension of S in X (if S ⊂ X ) i.e. the integer dim X − dim S. All the considered sets will be PL spaces.
A triangulation of a set X ⊂ R n is a homeomorphism T : K → X , with K union of open simplices of a finite simplicial complex L (an open simplex being a simplex σ where the faces of dimension less than dim σ have been deleted). Given a piecewise linear space X and a compatible triangulation T : K → X, K ⊂ L, let C T • (X ) denote the chain complex generated by the simplices of L (not the open simplices considered just above but the full simplices with no face deleted) that belong to K . The PL chain complex C • (X ) is defined to be lim →T C T • (X ), where the limit is taken with respect to the directed set of compatible triangulations (as in [3,6]). Our coefficient ring will always be R.
We denote by X reg the regular locus of X , i.e. the set of points at which X is a C 0 manifold (without boundary) of dimension dim X . We denote by X sing its complement in X . A PL subspace of X is a union of images of open simplices of a compatible triangulation. In particular X reg and X sing are subspaces of X . We write cl(S) for the topological closure of a PL subspace S of X .

Intersection homology
We recall the definition of intersection homology as it was introduced by Goresky and MacPherson [6]. Definition 2.1 Let X be a PL space. A stratification of X is a finite partition of X into connected C 0 manifolds which are PL subspaces. An element of is called a stratum of X . The depth of is the integer max S∈ cod X S.
A stratum of codimension at least 2 in X is called a singular stratum of . We denote by s the collection of all the singular strata of .
A stratification is compatible with a subset Y of X if this subset is a union of strata.
Observe that if L is stratified by then cL is stratified by cS \ {0}, S ∈ , and {0}. We now define inductively on the dimension the locally topologically trivial stratifications. For dim X = 0, every stratification is locally topologically trivial.
A stratification of X is said to be locally topologically trivial if for every x ∈ S, S ∈ , there is a PL homeomorphism with U x neighborhood of x in X and L ⊂ X compact PL subspace having a locally topologically trivial stratification such that h maps the strata of U x (induced stratification) onto the strata of B i (0, 1) × cL (product stratification). Definition 2.2 A locally closed PL subset X ⊂ R n is an l-dimensional pseudomanifold (without boundary) if X reg is an l-dimensional manifold which is dense in X and dim X sing < l − 1.
A stratified pseudomanifold (of dimension l) is the data of an l-dimensional pseudomanifold X together with a locally topologically trivial stratification of X having no stratum of dimension (l − 1).
The above partition is not a stratification for its elements are not manifolds. They are nevertheless manifolds with boundary. We will however sometimes abusively consider it below as a stratification as no confusion may arise. Let (X, ∂ X, ) be a stratified pseudomanifold with boundary.

Definition 2.4
A perversity (or l-perversity) is a sequence of integers p = ( p 2 , p 3 , . . . , p l ) such that p 2 = 0 and p k+1 = p k or p k + 1. A PL subspace Y ⊂ X is called ( p, i)-allowable if for every singular stratum S ∈ s , we have: The ith intersection homology group of perversity p, denoted I p H i (X ), is the ith homology group of the chain complex I p C • (X ).
Given a PL subspace A, denote by I p C j (A) the chain complex constituted by the chains of I p C j (X ) which have support in A. Relative intersection homology I p H j (X, A) is then defined in the obvious way.

General perversities
We are going to introduce a bigger category of perversities, called general perversities. They were considered by Saralegi in [11] and studied in detail by Friedman [5] who fully described the theory by means of a sheaf theoretic approach. Definition 3.1 Let X be a stratified set and denote by its stratification. A general perversity is a function p : s → N satisfying for any singular stratum S ∈ s : In order to avoid any confusion, perversities as introduced in Definition 2.4 are sometimes called GM-perversities. Any GM-perversity ( p 2 , . . . , p l ) gives rise to a general perversity defined by p(S) := p k , where k := cod X S, for each S ∈ s . Two general perversities p and q are complementary if p(S) + q(S) = cod X S − 2, for every singular stratum S.

Intersection homology with general perversities
Fix for this section a PL stratified pseudomanifold with boundary (X, ∂ X, ). As we pointed out right after Definition 2.3, we shall consider as a stratification of X .
We now recall the definition of intersection homology with general perversity. Fix a general perversity p : Define I p C i (X ) as the subgroup of C i (X ) consisting of the PL chains σ such that |σ | is ( p, i)-allowable and |∂σ | is ( p, i − 1)-allowable.
The jth intersection homology group of perversity p, denoted I p H j (X ), is the jth homology group of the chain complex I p C • (X ). Relative intersection homology is then defined in the same way as in the case of GM-perversities.
Friedman established in [5] that Poincaré duality is true for general perversities ( [5], Corollary 4.4). Lefschetz duality also holds for pseudomanifolds with boundary (i.e. Theorem 2.5 applies to these general perversities). Indeed, in [5], Friedman gave a nice proof of Lefschetz duality, which is derived from Poincaré duality for intersection homology with general perversities (considering even more general perversities). Thus, although general perversities provide a much wider setting, we see that most of the theory still works.
The Mayer-Vietoris exact sequence also holds for intersection homology with general perversities. Indeed, if a PL pseudomanifold with boundary X may be covered by two open sets U and V , it is shown in [2] (Sect. 2.5, by means of barycentric subdivisions) that I p C j (X ) gives rise to the same homology theory as I p C j (U ) ⊕ I p C j (V ) (the latter article deals with singular chains but King showed [9] that singular chains give rise to the same homology theory as PL-chains). This is enough to ensure the exactness of the Mayer-Vietoris sequence.

I H and refinements
The inconvenient of working with general perversities is that we lose stratification independence. It is a very important feature of intersection homology for it entails that I H is a topological invariant. We nevertheless can prove a statement which will be useful for proving Theorem 4.10 (although this theorem only deals with GM-perversities!): we will show that the intersection homology with respect to a general perversity is preserved by refinements (Proposition 3.4). To the best knowledge of the author, this result seems to be new. Before stating the proposition, we define precisely what we mean.
Throughout this section X is a compact l-dimensional PL stratified pseudomanifold with boundary. Definition 3.2 Let denote a stratification of X . A refinement of is a stratification of X such that every stratum of is a union of strata of . We write in this case ≺ .
Of course, we implicitly assume below in this section that all the considered stratifications make X into a stratified pseudomanifold with boundary.
Given some general perversities p : s → N and p : In the situation where p ≺ p and ≺ then it directly follows from the definitions that I p C j (X ) ⊂ I p C j (X ). Remark 3.3 In the case where p and p are induced by the same GM-perversity r , then the condition r k+1 ∈ {r k , r k + 1} forces p ≺ p.

Proposition 3.4 Let
≺ be stratifications of X and let p ≺ p be respectively two general perversities on these stratifications. The map I p H j (X ) → I p H j (X ) induced by the inclusion of the two chain complexes is an isomorphism.
The following Lemma will be needed to prove Proposition 3.4. In this lemma and in the sequel we use the symbol 0 to denote the origin in R n for all n ∈ N, as no confusion may arise. For instance, in the lemma below U \ 0 denotes the set U from which we have removed the origin of R n , if U ⊂ R n .

Lemma 3.5 Let L be a compact PL stratified pseudomanifold and let U
Endow U with the product stratification S and let p : S s → N denote a general perversity.
Remark that, due to the conic structure and topological triviality, for α small enough the mapping v y : induces an isomorphism in homology for any j and any y ∈ W α .
We first show that β is one-to-one. Take σ ∈ ker β, i.e. assume that there is τ ∈ I p C j+1 (U ) with σ = ∂τ . For α > 0 small enough, |σ | does not meet W α . Then, as |τ | is ( j + 1, p)allowable, we have for S := 0 × B i (0, 1): Consequently, there must be y ∈ W α \ |τ |. Therefore, σ bounds a chain of I p C j+1 (U \ y) and is thus zero in I p H j (U \ 0) (since v y v −1 0 is an isomorphism), as required. We turn to show ontoness. Let c be a nontrivial cycle of I p H j (U ). If j = 0 then, due to the allowability conditions, |c| cannot contain the origin. If j > 0 then |c| cannot contain the origin either since otherwise it could be retracted to the origin. Consequently, it is a cycle of U \ 0.
Proof of Proposition 3. 4 We will argue by induction on dim X .
Given a PL open subspace V ⊂ X , let V : I p H j (V ) → I p H j (V ) denote the mapping induced by the inclusion between the two chain complexes. We shall show that V is an isomorphism for each PL open subspace V ⊂ X . We will argue by induction on the depth of the stratification induced on V by , the case of depth 0 being vacuous.
Choose x 0 ∈ X \ ∂ X . As (resp. ) is a locally topologically trivial stratification, there exists a neighborhood of x 0 , say U x 0 (resp. V x 0 ), which is stratified homeomorphic to a product cL × B i (0, 1) (resp. cL × B k (0, 1)) where L (resp. L ) is a PL compact stratified pseudomanifold. We will identify x 0 with 0 and Define in the same way, replacing L with L and k with i, a fundamental system of neighborhoods of the origin U ε 0 .
Claim 1 V ε 0 is an isomorphism for any real ε > 0 small enough.
We first check that in this case the map induced by inclusion, is an isomorphism. Indeed, for suitable 0 < ε 1 < ε 2 < ε 3 < ε 4 we have the following inclusions: Due to the conic structure, the inclusions V ε 1 0 ⊂ V ε 3 0 and U ε 2 0 ⊂ U ε 4 0 induce isomorphisms in intersection homology with perversity p. Consequently, ν must be an isomorphism, as claimed. For the same reason, the mapping ν : Let S (resp. S ) be the stratum of (resp. ) which contains the origin.
Let star(0) ⊂ X be constituted by all the closed geometric simplices which contain the origin (for some subdivision of the triangulation compatible with all the strata). This set covers a neighborhood of the origin. Let M be the subspace constituted by all the faces of the simplices of star(0) which do not contain the origin (this set is sometimes called the link at the origin). After a homothetic transformation, it fits in V ε 0 ⊂ U ε 0 . The stratifications and induce two stratifications of M, one refining the other, and the perversities p and p induce two general perversities of these stratifications (assigning the value at Z to Z ∩ M, Z singular stratum). This gives rise to a refinement map M . By the induction on dimension, M is an isomorphism. Furthermore, by the Künneth formula [4,5] (these articles deal with singular chains but King showed [9] that singular chains give rise to the same homology theory as PL-chains) and the conic structure, the inclusions M → U ε 0 \ 0 and M → V ε 0 \ 0 induce isomorphisms in intersection homology, for both perversities. We thus have the following commutative diagram (all the arrows being induced by inclusion): ?
We see that V ε 0 \0 is an isomorphism, for ε > 0 small enough. We therefore have the following commutative diagram: where β : I p H j (U ε 0 \ 0) → I p H j (U ε 0 ) and β : I p H j (V ε 0 \ 0) → I p H j (V ε 0 ) are induced by inclusion. Since, by Lemma 3.5, β and β are both isomorphisms, the result follows. To see this, first write W as the union of the star-shaped open sets W i := int (star(v i )) (int stands for interior), v i vertex of W (of some suitable subdivision), and let N i := ∪ k<i W k as well as U i := cL × N i and V i := cL × W i . Consider the Mayer-Vietoris exact sequences of the pair (V i , U i ) for both perversities p and p . These two long exact sequences, together with the mappings U i ∪V i , U i , V i , and U i ∩V i , constitute a commutative diagram. Both N i and N i ∩ W i are unions of (i − 1) star-shaped open sets, so by induction on the number of such sets in a cover we may assume that U i and U i ∩V i are isomorphisms. Moreover, by Claim 1, V i is an isomorphism (Claim 1 actually establishes that V is an isomorphism if V is PL homeomorphic to cL × B k (0, 1) since so is V ε x 0 ). Hence, thanks to the five Lemma, U i ∪V i is an isomorphism, which shows that U k is an isomorphism for all k.

Claim 3 V is an isomorphism for every PL open set
Since cL is a cone, V 1 is homeomorphic to the product cL × W . By Claim 2, V 1 is an isomorphism.
By induction on depth, V 2 and V 1 ∩V 2 are both isomorphisms. By the five Lemma and the Mayer-Vietoris exact sequences of the pairs (V 1 , V 2 ) (for perversities p and p , as in Claim 2), this yields Claim 3.
Observe that, thanks to the stratified collared neighborhood, every point y of ∂ X in a stratum of dimension i has a neighborhood PL homeomorphic to cL × B i−1 (0, 1) × (0, 1], which has the same intersection homology as cL × B i (0, 1). Hence, the above argument shows that Claim 3 holds true at boundary points as well.
We are now ready to conclude that V is an isomorphism for any PL open subspace V ⊂ X . Indeed, again thanks to the Mayer-Vietoris exact sequence and the five Lemma, Claim 3 yields that V is an isomorphism for any set V which is contained in the union of finitely many V x 1 , . . . , V x k , with x 1 , . . . , x k elements of X . As X is compact, we are done.

∂-Pseudomanifolds
We first introduce the notion of ∂-pseudomanifold and then naturally extend intersection homology to these spaces. Basically, we drop the assumption (3) of having a collared neighborhood (see Definition 2.3). Let X ⊂ R n be a locally closed PL space of dimension l.

Definition 4.1
The ∂-regular locus of X is the set of points of X at which X is a manifold with nonempty boundary of dimension l (i.e. there are arbitrarily small neighborhoods homeomorphic to the subset {x ∈ R l : x l ≥ 0}). We will denote it by X ∂,reg . The closure of X ∂,reg in X will be called the boundary of X and will be denoted ∂ X . The PL space X is said to be a ∂-pseudomanifold if X \ ∂ X is a pseudomanifold and if dim ∂ X \ X ∂,reg < l − 2.
Example 4.2 It follows from the above definition that if X is a pseudomanifold then it is a ∂-pseudomanifold (with empty boundary).
Let us give a more interesting example. Let f : R n → R be a subanalytic C 1 function such that dim Sing( f ) ∩ { f = 0} < n − 2 (Sing( f ) denoting the critical locus of f ). Then, since we can triangulate it [12], the set {x ∈ R n : f (x) ≥ 0} is a ∂-pseudomanifold.
It comes down from the definitions that ∂ X ⊂ X sing . It makes a difference with [1][2][3]5,6] where the boundary is not considered as a subset of the singular locus. This is due to the fact that regular points of the boundary are for us elements of X ∂,reg .

Stratified ∂-pseudomanifolds
Definition 4.3 A stratified ∂-pseudomanifold is a PL set X together with a locally topologically trivial stratification compatible with ∂ X and such that: (1) X \∂ X is a stratified pseudomanifold (with the stratification {S\∂ X : S ∈ }).  We are now going to define the intersection homology of a ∂-pseudomanifold, extending naturally Goresky and MacPherson's definition. We will show that Lefschetz duality holds for ∂-pseudomanifolds. We give an explicit example (a double pinched torus in S 3 ) in the last section.

Intersection homology of a ∂-pseudomanifold
Denote by the stratification of a PL stratified ∂-pseudomanifold X and by˜ the induced stratification of ∂ X (see Definition 4.3 (2)).
We shall work not with one general perversity but two: one for the boundary and one for X itself.  The intersection homology groups Fix a pair of general perversitiesp = ( p,p) on X .
We say that a PL subspace Y ⊂ X is ( j,p)-allowable (with respect to ) if for every Let IpC j (X ) be the vector subspace of C j (X ) constituted by the PL j-chains σ for which |σ | is ( j,p)-allowable and |∂σ | is ( j −1,p)-allowable. If X is a pseudomanifold and p stems from a GM-perversity then of course this chain complex coincides with the chain complex I p C j (X ) introduced in [6].
We denote by Ip H j (X ) the homology groups of this chain complex. Similarly as in the latter article, it will turn out that, if p andp are GM-perversities then the homology groups are independent of the chosen stratification (Theorem 4.10). Relative intersection homology of ∂-pseudomanifolds Observe that it follows from the definitions that IpC j (∂ X ) ⊂ IpC j (X ) and hence we may set: As usual, we have the following long exact sequence:

The main results
The first result we provide is Lefschetz duality which generalizes Theorem 2.5 to ∂pseudomanifolds. Let X ⊂ R n be a compact l-dimensional PL stratified ∂-pseudomanifold.

Theorem 4.7 Assume that X is oriented. For any complementary pairs of general perversitiesp and q, we have:
This theorem is proved in Sect. 5. In particular, in the case of GM-perversities, we get: In Sect. 5, we will also prove: The intersection homology groups of a compact PL stratified ∂-pseudomanifold are finitely generated.
One of the main features of intersection homology theory is that, when the perversity is a GM-perversity, the resulting groups are independent of the stratification. This was proved by Goresky and MacPherson in their fundamental papers [6,7] (see also [1,9]). This is still true for ∂-pseudomanifolds.

Theorem 4.10 Letp = ( p,p) be a pair of perversities. If p andp are G M-perversities then the intersection homology groups Ip H j (X ) are independent of the stratification.
This theorem is also proved in Sect. 5.

Proofs of the main theorems
Proof of Theorem 4.7 Denote by the stratification of X and by˜ the induced stratification of ∂ X . LetX be the pseudomanifold with boundary obtained by attaching a collared neighborhood of ∂ X along ∂ X . More precisely, let: Let be the partition of X constituted by the reunion 1 ∪ 2 , where 1 := {S×0 : S ∈ s }, and 2 := {S × (0, 1] : S ∈˜ s }. Complete this partition by adding the nonsingular strata of X , i.e. the connected components of set X \ ∪ S∈ 1 ∪ 2 S, which is nothing but the top strata of X to which we have attached a collar along the points of X ∂,reg lying in their closure. Since and˜ are locally topologically trivial stratifications, so is . This partition makes X into a stratified pseudomanifold with boundary in the sense of Definition 2.3. In what follows, we implicitly identify X and X × {0}, considering X as a subset of X . Let  = ( p,p)).
There is a natural mapping π : X → X , assigning to every (x, t) ∈ X , the element x ∈ X . We claim that π induces an isomorphism π * : Ip H j ( X ) → Ip H j (X ) for every j.
We start by proving that if a chain c belongs to IpC j ( X ) then |π * (c)| is a ( j,p)-allowable subset of X . Indeed, as the mapping π induces a homeomorphism above X \ ∂ X , condition (4.1) is clearly fulfilled by |π * (c)|. We therefore only have to show that |π * (c)| ∩ ∂ X is ( j,p)-allowable. As |c| is ( j,p)-allowable, we have for any singular stratum S ∈˜ s : Together with the preceding inequality, this implies that for any stratum S ∈˜ s : Consequently, π induces a map π * : Ip H j ( X ) → Ip H j (X ). We now are going to establish that this map is an isomorphism of every j. By definition of pairs of perversities we have either p(S)−p(S) = 1 for all strata S of˜ s or p(S)−p(S) = 0 for every such stratum. We address below these two cases separately. First case: p(S) −p(S) = 0, for all S ∈˜ s . We shall define a mapping θ : Ip H j (X ) → Ip H j ( X ) and show that it is the inverse of π * . In order to define this mapping, let us introduce some notations.
Moreover, as the set |r * ρ 1 ∂ρ 2 σ | cuts X along a smaller set, it fulfills the allowability condition with respect to the strata of X . We have to check that it satisfies the allowability condition with respect to the strata of ∂ X × (0, 1] as well. By definition of r , the preceding inequality entails for all S ∈˜ s : as required. Finally, we have to check that |r 1 * ρ 1 σ | is ( j,p)-allowable as well. But, as |ρ 1 σ | is ( j,p)allowable and r 1 is a homeomorphism, it directly follows from the definitions that This implies that |θ(σ )| is ( j,p)-allowable if |σ | is ( j,p)-allowable. We now claim that θ is a chain map, i.e. that it satisfies ∂θ = θ∂.
It remains to prove that θ •π * is the identity map as well. Define a map u : X ×[0, 1] → X by setting u(x, t, τ ) := (x, τ t). We claim that if c is a cycle of IpC j ( X ) then |u * c| is ( j + 1,p)-allowable where u * is the chain homotopy induced by u (again see [8] Chap. 2). Indeed, for any stratum S ∈˜ s : (5.13) which is equal to ( j + 1 − cod X S + p(S)). Together with (5.12), this implies that |u * c| is , the other conditions are obviously fulfilled).
Since π(∂ X ) = ∂ X , the mapping π also induces a morphism between the relative homology groups π : Ip H j ( X , ∂ X ) → Ip H j (X, ∂ X ). We are going to see that this mapping is also an isomorphism.
Let p be the general perversity on ∂ X defined by p (S ∩ ∂ X ) :=p(S), for S ∈ s . We have the long exact sequence: For every stratum S ∈˜ s we have: As a matter of fact, since π induces a stratified homeomorphism from ∂ X to ∂ X preserving the value of the perversity, it gives rise to an isomorphismπ : . Now, the exact sequences (4.2) and (5.15), together with the mappings π * , π andπ, constitute a diagram which is commutative (all the vertical arrows are induced by π). By the five Lemma, π must be an isomorphism. Second case: p(S) −p(S) = 1, for all S ∈˜ s . We first prove that in this case IpC j (X ) ⊂ IpC j (X ). Take σ ∈ IpC j (X ) and note that since |σ | is ( j,p)-allowable in X we have for every stratum S ∈˜ s : which implies that the allowability condition with respect to every stratum of ∂ X holds. The allowability condition with respect to the other strata obviously also holds becausê p(S) = p(S), for every stratum of X . This yields that IpC j (X ) ⊂ IpC j (X ). First, notice that |u * c| is ( j + 1,p)-allowable whenever c is a cycle of IpC j ( X ). Indeed, as in the first case, this follows from (5.12) and (5.13).
Let ι : Ip H j (X ) → Ip H j ( X ) be induced by inclusion and note that π * • ι is the identity map. We are going to show that ι • π * is the identity map as well. Indeed, as chains we have: which, since |u * c| is ( j + 1,p)-allowable, establishes that ι • π * is the identity map. Thus, π * is an isomorphism.
Applying the five Lemma in the same way as in the case where p(S) =p(S) for all S ∈˜ s , we see that the induced map π : Ip H j ( X , ∂ X ) → Ip H j (X, ∂ X ) is also an isomorphism. This completes the second case.
Let nowq be the perversity derived fromq = (q,q) in the same way asp. Observe that, sinceq andp are complementary pairs of perversities, we have for any S ∈ s : and for any S ∈˜ s :p Therefore,q andp are complementary general perversities of ( X , ).
We thus conclude that the composite of the following sequence of isomorphisms where ψ X stands for the Lefschetz duality isomorphism of the pseudomanifold with boundary X , constitutes the desired Lefschetz duality isomorphism.
Proof of Theorems 4.9 and 4. 10 We start by proving Theorem 4.9. Let (X, ∂ X, ) be a stratified ∂-pseudomanifold and letp := ( p,p) be a pair of general perversities. The proof of Theorem 4.7 just above established that Ip H j (X ) and Ip H j ( X ) are isomorphic, where X is the pseudomanifold with boundary obtained by attaching a collar to X andp : s → N is a general perversity ( being a stratification of X ). Namely, we have setp(S ×(0, 1]) :=p(S), whenever S ∈˜ s , andp(S × 0) := p(S), for every S ∈ s . As X is a compact PL pseudomanifold with boundary, its homology groups are finitely generated [6] (the latter article proves it for pseudomanifolds without boundary for GMperversities but the proof applies to our setting as well, the arguments of [3] also show it). This yields Theorem 4.9.
We turn to show Theorem 4.10. Assume now thatp is a pair of GM-perversities. Since two given stratifications have a common refinement, in order to establish Theorem 4.10, it is enough to show that intersection homology remains unchanged under refinements.
Take two stratifications ≺ . The refinement induces a refinement of the stratification of X constructed in the same way as . The pair of GM-perversitiesp induces a general perversityp : s → Z defined in the same way asp. We wish to deduce the desired statement from Proposition 3.4. This requires to show thatp ≺p.
On the strata of s , asp andp are induced by the GM-perversity p, the required property must hold for these strata (see Remark 3.3). On the strata of X \ X, p andp are induced by the GM-(l − 1)-perversityp (considered as an l-perversity, there is no stratum of codimension l in X \ X ). We thus clearly havep ≺p. By Proposition 3.4, the groups are independent of the stratification.

Some concluding remarks and an example
Observe that bothp := ( p ,p) andp := ( p ,p) are pairs of perversities. Furthermore, if p and q are complementary perversities then ( p ,p) and (q ,q) are complementary pairs of perversities (here q andq are derived in the same way as p andp). Thus, Theorem 4.7 applies. In order to deduce the Lefschetz duality result of [5] we have to show that for any general perversity p: (X ), and that the same holds true for the relative homology.
It is actually straightforward from the definitions of the perversities that IpC j (X ) = I p C j (X ), I p C j (∂ X ) = IpC j (∂ X ), and IpC j (X, ∂ X ) = I p C j (X, ∂ X ) so that the two theories provide the same homology groups. The result is thus clear forp.
One may also see that I¯p H j (X ) I p H j (X ). This can be deduced from Proposition 3.4 and the proof of Theorem 4.7, since X is homeomorphic to the pseudomanifold X constructed in the latter proof. This can also be seen directly as follows.
The allowability conditions imply that I¯pC j (X ) ⊂ I p C j (X ). Let ι : I¯p H j (X ) → I p H j (X ) be induced by inclusion. Every chain of X may be retracted by deformation into X \ ∂ X by means of the collared neighborhood. The retraction of every chain of I¯pC j (X ) (resp. I p C j (X )) provides a chain of I¯pC j (X \ ∂ X ) (resp. I p C j (X \ ∂ X )). This shows that the inclusion X \ ∂ X → X induces isomorphisms for both perversitiesp and p, yielding that ι is an isomorphism (since I¯pC j (X \ ∂ X ) = I p C j (X \ ∂ X )). That I¯p H j (X, ∂ X ) I p H j (X, ∂ X ) follows from the five Lemma. 4. Let X be a compact subanalytic pseudomanifold. It may be endowed with a PL structure [12]. In [13], it is proved that the L ∞ cohomology of X reg is isomorphic to intersection cohomology in the maximal perversity. This theorem is still true if X is a ∂pseudomanifold if one takes the maximal perversity for both X and ∂ X (the Poincaré Lemma proved in [13] does not assume that X is a pseudomanifold). In [14], we prove that the Dirichlet L 1 cohomology is always dual to L ∞ cohomology. Therefore, the Lefschetz duality proved in the present paper implies that, if X is a ∂-pseudomanifold, the Dirichlet L 1 cohomology of X reg is isomorphic to the intersection cohomology of (X, ∂ X ) in the (0,0) perversity (compare with [14] Corollary 1.6).
Consider the ∂-pseudomanifold X constituted by this pinched torus together with the connected component of its complement which is not simply connected (the unbounded one on the picture). The boundary of this ∂-pseudomanifold is this double pinched torus.
We first examine the intersection homology groups for the pair of top GM-perversities t = (t,ť) near a singular point x 0 of the singular torus. Let X ε := B 3 (x 0 , ε) ∩ X . Since the allowability conditions make it possible to retract any cycle σ of dimension at least 1 onto x 0 we have: I t H 2 (X ε , ∂ X ε ) I t H 2 (X ε ) It H 1 (X ε ) 0.
Using the exact sequence of the pair (X ε , ∂ X ε ), it is easily derived A representative of the generator of I t H 1 (X ε , ∂ X ε ) is provided by any PL arc joining the two connected components of the regular locus of the torus. The groups I t H j (X, ∂ X ) may now be determined as follows. Consider the set W := X \ ∪ i=1,2 B(x i , ε 2 ), where x 1 and x 2 are the two singularities. Since W is a manifold with boundary, its intersection homology coincides with its homology. By the Mayer-Vietoris exact sequence, it is then easily seen that I t H 1 (X, ∂ X ) R. By duality, we must have if 0 = (0,0): A generator of I 0 H 2 (X ) is given by either of the two irreducible cycles of the pinched torus (the intersection with the generator of I t H 1 (X, ∂ X ) has nontrivial class). We see in particular that this class does not have a 0-allowable representative in X \ ∂ X . The 0-allowability condition of chains in ∂ X (since0 = 0) is thus essential to ensure Lefschetz duality.