arXiv:1810.07498v2 [math.AT] 6 Dec 2019 n h N-1LB-070 “CEMPI”. ANR-11-LABX-0007-01 the and rmtePicredaiyadacppout si h aeof case the in as product, cup a int lary and Borel-Moore Poincar´e duality the the on product from pseu intersection oriented an cl second-countable, of fundamental any definition the and with coefficients product of cap ring a from homology, cohomology section intersection blown-up the between isomorphism oaiod rmacppoutwt udmna ls,for class, fundamental a with product [ cap a from domanifold, i MacPherson and Goresky by ([ proven homology been intersection has It homology. tion g.I atclr epeettecmlxo lw-pcocha blown-up [ of papers of complex series the a present in we studied and particular, In ogy. du the of Example homology see as chains, defined cohomology intersection an with pse PL oriented an of pseud homology paracompact intersection oriented Borel-Moore [ any the in for up part, set torsion also the on esis [ in lished to extended and igli [ in Siegel 14 ona´ ult fsnua pcsi h rio d’ˆetre “raison the is spaces singular of Poincar´e duality hsppri h caıo aqat”teeitneo nex an of existence the “chaˆınon manquant:” the is paper This e od n phrases. and words Key nSection In 2010 Date su compact with cohomology intersection blown-up the Using ,seas [ also see ], h eodato a upre yteMNC n EE resea FEDER and MINECO the by supported was author second The POINCAR 3.3 eebr9 2019. 9, December : ahmtc ujc Classification. Subject Mathematics inhmlg,fraycmuaiern fcecet n se and coefficients the of ring pseudomanifolds. and commutative any cohomology for intersection homology, tion blown-up the between phism Abstract. n Remark and 7 18 ona´ ult o n omttv igo coefficients of ring commutative any for Poincar´e duality a ] .Fida n clr banti smrhs o topolo a for isomorphism this obtain McClure and Friedman ]. 1 10 ercl ai akrudo suoaiod n interse and pseudomanifolds on background basic recall we , 8 ATNX AAEIAAGRNADDNE TANR DANIEL AND SARALEGI-ARANGUREN MARTINTXO ona´ ult ewe h lw-pitreto coh intersection blown-up the between Poincar´e duality a ] o omttv igo offiinswt etitoso t on restrictions with coefficients of ring commutative a for ] Z ULT,CPPOUTADBOREL-MOORE AND PRODUCT CAP DUALITY, E ´ sn a rdc,w osrc nepii Poincar´e dual explicit an construct we product, cap a Using offiinswt oehptei ntetrinpr,b Gore by part, torsion the on hypothesis some with coefficients 3.6 3.7 nescinhmlg;BrlMoecan;cppout P product; cap chains; Borel-Moore homology; Intersection . e snt htaPicredaiyioopimcno exi cannot isomorphism Poincar´e duality a that note us Let . 16 NESCINHOMOLOGY INTERSECTION )frcmatP suoaiod n ainlcoefficients rational and pseudomanifolds PL compact for ]) 3 , Introduction 4 , 53,5P0 78,55U30. 57N80, 57P10, 55N33, 5 , 6 , 1 7 , 8 , 9 as aldTo-hte cochains Thom-Whitney called (also ] ([ ” odcutbe oriented cond-countable, reto oooy induced homology, ersection oaiod hsalw the allows This domanifold. 10 n h oe-or inter- Borel-Moore the and c rjc MTM2016-78647-P. project rch udomanifold oe-or intersec- Borel-Moore mnfl.Mroe,we Moreover, omanifold. n edo offiinsin coefficients of field any lcmlxo intersection of complex al eto .] fintersec- of 8.2]) Section , s,fraycommutative any for ass, n,arayintroduced already ins, prs ehv estab- have we pports, lctPoincar´e duality plicit aiod,seCorol- see manifolds, hi rtppron paper first their n ihu hypoth- without , t isomor- ity E ´ oincar´e duality. X mlg and omology to homol- ction . etorsion. he ia pseu- gical k and sky st 2 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´ in some works). Section 2 contains the main properties of Borel-Moore intersection homology: the existence of a Mayer-Vietoris exact sequence in Theorem 2.4 and the recollection of some results established in [8]. Section 3 is devoted to the proof of the main result stated in Theorem 3.1: the existence of an isomorphism between the blown- up intersection cohomology and the Borel-Moore intersection homology, by using the cap-product with the fundamental class of a second-countable, oriented pseudomanifold, D H ∗ ∞,p X : p (X; R) → Hn−∗(X; R), for any commutative ring of coefficients. In [8], we prove it for PL-pseudomanifolds with a sheaf presentation of intersection homology. Here the duality is realized for topological pseudomanifolds, by a map defined at the chain complexes level by the cap product with a cycle representing the fundamental class. Notice also that the intersection homology of this work (Definition 1.8) is a general version, called tame homology in [9] and non-GM in [10], which coincides with the original one for the perversities of [16]. Let us also observe that our definition of Borel- Moore intersection homology coincides with the one studied by G. Friedman in [11] for perversities depending only on the codimension of strata. Homology and cohomology are considered with coefficients in a commutative ring, R. In general, we do not explicit them in the proofs. For any topological space X, we denote by cX = X × [0, 1]/X × {0} the cone on X and by ˚cX = X × [0, 1[/X × {0} the open cone on X. Elements of the cones cX and ˚cX are denoted [x,t] and the apex is v = [−, 0].

Contents Introduction 1 1. Background 2 2. Borel-Moore intersection homology 7 3. Poincar´eduality 9 References 14

1. Background 1.1. Pseudomanifold. In [16], M. Goresky and R. MacPherson introduce intersection homology for the study of pseudomanifolds. Some basic properties of intersection ho- mology, as the existence of a Mayer-Vietoris sequence, do not require such a structure and exist for filtered spaces. Definition 1.1. A filtered space of (formal) dimension n, X, is a Hausdorff space en- dowed with a filtration by closed subsets,

∅ = X−1 ⊆ X0 ⊆ X1 ⊆···⊆ Xn = X, such that Xn\Xn−1 6= ∅. The strata of X of dimension i are the connected components S of Xi\Xi−1; we denote dim S = i and codim S = dim X − dim S. The regular strata BOREL-MOOREINTERSECTIONHOMOLOGY 3 are the strata of dimension n and the singular set is the subspace Σ = Xn−1. We denote by SX (or S if there is no ambiguity) the set of non-empty strata. Definition 1.2. An n-dimensional CS set is a filtered space of dimension n, X, such that, for any i ∈ {0,...,n}, Xi\Xi−1 is an i-dimensional topological manifold or the empty set. Moreover, for each point x ∈ Xi\Xi−1, i 6= n, there exist (i) an open neighborhood V of x in X, endowed with the induced filtration, (ii) an open neighborhood U of x in Xi\Xi−1, (iii) a compact filtered space L of dimension n − i − 1, whose cone ˚cL is endowed with the filtration (˚cL)i = ˚cLi−1, (iv) a homeomorphism, ϕ: U ×˚cL → V , such that (a) ϕ(u, v)= u, for any u ∈ U, where v is the apex of the cone ˚cL, (b) ϕ(U ×˚cLj)= V ∩ Xi+j+1, for all j ∈ {0,...,n − i − 1}. The filtered space L is called a link of x. Except in the reminder of a previous result (see Proposition 3.2), this work is only concerned with particular CS sets, the pseudomanifolds. Definition 1.3. An n-dimensional pseudomanifold is an n-dimensional CS set for which the link of a point x ∈ Xi\Xi−1, i 6= n, is a compact pseudomanifold L of dimension n − i − 1. For a pseudomanifold, the formal dimension of the underlying filtered space coincides with the classical dimension of the manifold Xn\Xn−1. In[16], the pseudomanifolds are supposed without strata of codimension 1. Here, we do not require this property. The class of pseudomanifolds is large anough to include ([17]) complex algebraic or analytic varieties, real analytic varieties, Whitney and Thom-Mather stratified spaces, quotients of manifolds by compact Lie groups acting smootly, Thom spaces of vector bundles over triangulable compact manifolds, suspension of manifolds, ... Remark 1.4. For the convenience of the reader, we first collect basic topological defini- tions. A topological space X is said (1) separable if it contains a countable, dense subset; (2) second-countable if its topology has a numerable basis; that is there exists some numerable collection U = {Uj|j ∈ N} of open subsets such that any open subset of X can be written as a union of elements of some subfamily of U; (3) hemicompact if it is locally compact and there exists a numerable sequence of relatively compact open subsets, (Ui)i∈N, such that U i ⊂ Ui+1 and X = ∪iUi. To relate hypotheses of some following results to ones of previous works, we list some interactions between these notions. • A second countable space is separable and, in a metric space, the two properties are equivalent ([24, Theorem 16.9]). • A space is locally compact and second-countable if, and only if, it is metrizable and hemicompact, see [1, Corollaire of Proposition 16]. As second-countability is a hereditary property, any open subset of a second-countable pseudomanifold is one also. Moreover, we also know that a second-countable pseudo- manifold is paracompact, separable, metrizable and hemicompact. 4 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´

1.2. Intersection homology. We consider intersection homology relatively to the gen- eral perversities defined in [20]. Definition 1.5. A perversity on a filtered space, X, is an application, p: S → Z, defined on the set of strata of X and taking the value 0 on the regular strata. Among them, mention the null perversity 0, constant with value 0, and the top perversity defined by t(S) = codim S − 2 on singular strata. (This infers t(S)= −1 for codimension 1 strata.) For any perversity, p, the perversity Dp := t − p is called the complementary perversity of p. The pair (X, p) is called a perverse space. For a pseudomanifold we say perverse pseudomanifold. Example 1.6. Let (X, p) be a perverse space of dimension n. • An open perverse subspace (U, p) is an open subset U of X, endowed with the induced filtration and a perversity still denoted p and defined as follows: if S ⊂ U is a stratum of U, such that S ⊂ U ∩S′ with S′ a stratum of X, then p(S)= p(S′). In the case of a perverse pseudomanifold, (U, p) is one also. • If M is a connected topological manifold, the product M × X is a filtered space for the product filtration, (M × X)i = M × Xi. The perversity p induces a perversity on M × X, still denoted p and defined by p(M × S) = p(S) for each stratum S of X. c c • If X is compact, the open cone˚X is endowed with the conical filtration, (˚X)i = ˚cXi−1, 0 ≤ i ≤ n + 1, where ˚c ∅ = {v} is the apex of the cone. A perversity p on ˚cX induces a perversity on X still denoted p and defined by p(S)= p(S×]0, 1[) for each stratum S of X.

For the rest of this section, we consider a perverse space (X, p). We introduce now a chain complex giving the intersection homology with coefficients in R, cf. [9]. Definition 1.7. A regular simplex is a continuous map σ : ∆ → X of domain an Eu- −1 clidean simplex decomposed in joins, ∆ = ∆0 ∗ ∆1 ∗···∗ ∆n, such that σ Xi = ∆0 ∗ ∆1 ∗···∗ ∆i for all i ∈ {0,...,n} and ∆n 6= ∅. Given an Euclidean regular simplex ∆ = ∆0 ∗···∗ ∆n, we denote d∆ the regular part of the chain ∂∆. More precisely, we set d∆ = ∂(∆0 ∗···∗ ∆n−1) ∗ ∆n, if dim(∆n) = 0 and d∆= ∂∆, if dim(∆n) ≥ 1. For any regular simplex σ : ∆ → X, we set dσ = σ∗ ◦ d. 2 Notice that d = 0. We denote by C∗(X; R) the complex of linear combinations of regular simplices (called finite chains) with the differential d.

Definition 1.8. The perverse degree of a regular simplex σ :∆=∆0∗···∗∆n → X is the −1 (n+1)-uple, kσk = (kσk0,..., kσkn), where kσki = dim σ Xn−i = dim(∆0 ∗···∗∆n−i), with the convention dim ∅ = −∞. For each stratum S of X, the perverse degree of σ along S is defined by −∞, if S ∩ σ(∆) = ∅, kσk = S kσk , otherwise.  codim S A regular simplex is p-allowable if

kσkS ≤ dim∆ − codim S + p(S), BOREL-MOOREINTERSECTIONHOMOLOGY 5 for any stratum S. A finite chain ξ is p-allowable if it is a linear combination of p- allowable simplices and of p-intersection if ξ and its boundary dξ are p-allowable. We p p denote by C∗(X; R) the complex of p-intersection chains and by H∗(X; R) its homology, called p-intersection homology. If (U, p) is an open perverse subspace of (X, p), we define the complex of relative p p p p-intersection chains as the quotient C∗(X, U; R) = C∗(X; R)/C∗(U; R). Its homology p p is denoted H∗(X, U; R). Finally, if K ⊂ U is compact, we have H∗(X, X\K; R) = p H∗(U, U\K; R) by excision, cf. [9, Corollary 4.5]. Remark 1.9. This homology is called tame intersection homology in [9]. As we are only using it in this work, for sake of simplicity, we call it intersection homology. It coincides with the non-GM intersection homology of [10] (see [9, Theorem B]) and with intersection homology for the original perversities of [16], see [9, Remark 3.9]. The GM-perversities introduced by Goresky and MacPherson in [16] depend only on the codimension of the strata and verify a growth condition, p(k) ≤ p(k + 1) ≤ p(k) + 1, that implies the topological invariance of the intersection homology groups, if there is no strata of codimension 1. In [9], we prove that a certain topological invariance is still verified within the framework of strata dependent perversities. For that, we consider the intrinsic space, X∗, associated to a pseudomanifold X (introduced by King in [19]) and use pushforward and pullback perversities. In particular, if there is no singular strata in X becoming regular in X∗, we establish the invariance of intersection homology under a refinement of the stratification ([9, Remark 6.14]). ∗ 1.3. Blown-up intersection cohomology. Let N∗(∆) and N (∆) be the simplicial chains and cochains, with coefficient in R, of an Euclidean simplex ∆. Given a face F ∗ of ∆, we write 1F the element of N (∆) taking the value 1 on F and 0 otherwise. We denote also by (F, 0) the same face viewed as face of the cone c∆ = [v] ∗ ∆ and by (F, 1) the face cF of c∆. The apex is denoted (∅, 1) = c∅ = [v]. If∆=∆0 ∗···∗ ∆n is a regular Euclidean simplex, we set ∗ ∗ ∗ ∗ N (∆) = N (c∆0) ⊗···⊗ N (c∆n−1) ⊗ N (∆n). A basis of N ∗(∆) is made of the elements 1 = 1 ⊗···⊗ 1 ⊗ 1 , e (F,ε) (F0,ε0) (Fn−1,εn−1) Fn where εi ∈ {0, 1} and Fi is a face of ∆i for i ∈ {0,...,n} or the empty set with εi =1 if e is = i>s(dim Fi + εi), with εn = 0. ∗ Definition 1.10. Let ℓ ∈P {1,...,n}. The ℓ-perverse degree of 1(F,ε) ∈ N (∆) is −∞ if ε = 1, k1 k = n−ℓ e (F,ε) ℓ |1 | if ε = 0.  (F,ε) >n−ℓ n−ℓ ∗ For a cochain ω = b λb 1(Fb,εb) ∈ N (∆) with λb 6= 0 for all b, the ℓ-perverse degree is

P kωkℓ = max k1(F ,ε )kℓ. e b b b

By convention, we set k0kℓ = −∞.

Let (X, p) be a perverse space and σ :∆=∆0 ∗···∗ ∆n → X a regular simplex. We ∗ ∗ ′ ′ set Nσ = N (∆). Let δℓ : ∆ → ∆ be the inclusion of a face, we set ∂ℓσ = σ ◦δℓ : ∆ → X ′ ′ ′ with the induced filtration ∆ =∆0 ∗···∗ ∆n. e e 6 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´

The blown-up complex of X is the cochain complex N ∗(X; R) composed of the elements ∗ ω associating to each regular simplex σ : ∆0 ∗···∗ ∆n → X an element ωσ ∈ Nσ such ∗ e ′ that δℓ (ωσ) = ω∂ℓσ, for any regular face operator δℓ : ∆ → ∆. The differential dω is defined by (dω)σ = d(ωσ). The perverse degree of ω along a singular stratum S eequals

kωkS = sup {kωσkcodim S | σ : ∆ → X regular such that σ(∆) ∩ S 6= ∅} .

By setting kωkS = 0 for any regular stratum S, we get a map kωk: S → N.

Definition 1.11. A cochain ω ∈ N ∗(X; R) is p-allowable if kωk≤ p and of p-intersection ∗ if ω and dω are p-allowable. We denote Np (X; R) the complex of p-intersection cochains H ∗ e and p (X; R) its homology, called blown-up p-intersection cohomology of X. e Let us recall its main properties. First, the canonical projection pr: X × R → X induces an isomorphism ([5, Theorem D]) ∗ H ∗ H ∗ R (1.1) pr : p (X; R) → p (X × ; R). Also, if L is a compact pseudomanifold and p a perversity on the cone ˚cL, inducing p on L, we have [5, Theorem E]:

H ∗ v H ∗ c p (L; R), if k ≤ p( ), (1.2) p (˚L; R)= (0 if k> p(v), v v H ∗ c ∼ H ∗ where is the apex of the cone. If k ≤ p( ), the isomorphism p (˚L; R) = p (L; R) .is given by the inclusion L×]0, 1[= ˚cL\{v} ֒→ ˚cL

Definition 1.12. Let U be an open cover of X. A U-small simplex is a regular simplex, σ :∆=∆0 ∗···∗ ∆n → X, such that there exists U ∈ U with Im σ ⊂ U. The blown-up complex of U-small cochains of X with coefficients in R, written N ∗,U(X; R) is the cochain complex made up of elements ω, associating to any U-small simplex, ∗ ∗ e σ :∆=∆0 ∗···∗ ∆n → X, an element ωσ ∈ N (∆), so that δℓ (ωσ)= ω∂ℓσ, for any face ′ ′ ′ operator, δℓ : ∆0 ∗···∗ ∆n → ∆0 ∗···∗ ∆n, with ∆n 6= ∅. If p is a perversity on X, we ∗,U U e denote by Np (X; R) the complex of -small cochains verifying kωk≤ p and kδωk≤ p.

Propositione 1.13. [5, Corollary 9.7] The restriction map is a quasi-isomorphism, ∗ ∗,U ρU : N (X; R) → N (X; R). p p

Finally,e the blown-upe intersection cohomology satisfies the Mayer-Vietoris property. Proposition 1.14. [5, Theorem C] Let (X, p) be a paracompact perverse space, endowed with an open cover U = {W1,W2} and a subordinated partition of the unity, (f1,f2). For i = 1, 2, we denote by Ui the cover of Wi consisting of the open subsets (W1 ∩ −1 U U W2,fi (]1/2, 1]) and by the cover of X, union of the covers i. Then, the canonical inclusions, Wi ⊂ X and W1 ∩W2 ⊂ Wi, induce a short exact sequence, where ϕ(ω1,ω2)= ω1 − ω2,

U U U ϕ / ∗, / ∗, 1 ∗, 2 / ∗ / 0 Np (X; R) Np (W1; R) ⊕ Np (W2; R) Np (W1 ∩ W2; R) 0.

e e e e BOREL-MOOREINTERSECTIONHOMOLOGY 7

2. Borel-Moore intersection homology

In a filtered space X, locally finite chains are sums, perhaps infinite, ξ = j∈J λjσj, such that every point x ∈ X has a neighborhood U for which all but a finite number x P of the regular simplices σj (see Definition 1.7) with support intersecting Ux have a coefficient λj equal to 0. ∞,p Definition 2.1. Let (X, p) be a perverse space. We denote by C∗ (X; R) the complex ∞,p of locally finite chains of p-intersection with the differential d. Its homology, H∗ (X; R), is called the locally finite (or Borel-Moore) p-intersection homology. Recall a characterization of locally finite p-intersection chains. Proposition 2.2. [8, Proposition 3.4] Let (X, p) be a perverse space. Suppose that X is locally compact, metrizable and separable. Then, the complex of locally finite p- intersection chains is isomorphic to the inverse limit of complexes, C∞,p(X; R) ∼ lim Cp(X, X\K; R), ∗ = ←− ∗ K⊂X where the limit is taken over all compact subsets of X. Since locally finite chains in an open subset of X are not necessarily locally finite in ∞,p X, the complex C∗ (−; R) is not functorial for the inclusions of open subsets. To get round this defect, we introduce a contravariant chain complex as in [2]. In the context of intersection homology a similar approach is done by Friedman (see [11, Section 2.3.2]), the sheafification of the resulting complex being nothing but Deligne’s sheaf of [17]. So we set C∞,X,p(U; R) := lim Cp(X, X\K; R), ∗ ←− ∗ K⊂U ∞,X,p where K runs over the family of compact subsets of U. An element α ∈ C∗ (U; R) p is a family α = hαK iK , indexed by the family of compacts of U, with αK ∈ C∗(X; R) p ′ and αK′ − αK ∈ C∗(X\K; R), if K ⊂ K . In particular, α = 0 if, and only if, αK ∈ p C∗(X\K; R) for every K. For the construction of the projective limit, an exhaustive family of compacts suf- fices. Therefore, if X is hemicompact, we may use a numerable increasing sequence of p p compacts, (Ki)i∈N, and get α = hαiii, with αi ∈ C∗(X; R) and αi+1 − αi ∈ C∗(X\Ki; R). Given two open subsets V ⊂ U ⊂ X, we denote by (2.1) IX,p : lim Cp(X, X\K; R) → lim Cp(X, X\K; R) V,U ←− ∗ ←− ∗ K⊂U K⊂V ∞,X,p the map induced by the identity. So, the complex C∗ (−; R) defines a contravariant functor from the poset of open subsets of X. Moreover, this is an appropriate substitute for the study of locally finite p-intersection homology as shows the following result. Proposition 2.3. Let (X, p) be a locally compact, second-countable perverse space and p ∞,p ∞,X,p U ⊂ X an open subset. The natural restriction IU : C∗ (U; R) → C∗ (U; R) is a quasi-isomorphism. 8 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´

Proof. Let (Ki)i∈N be a numerable increasing sequence of compacts of U, covering U and p p cofinal in the family of compact subsets of U. The maps C∗(U, U\Ki) → C∗(U, U\Ki+1) p p and C∗(X, X\Ki) → C∗(X, X\Ki+1) being surjective, these two sequences verify the p p Mittag-Leffler condition. Thus the inclusions (C∗(U, U\Ki))i → (C∗(X, X\Ki))i give a morphism of short exact sequences ([23, Proposition 3.5.8]):

0 / lim1 Hp (U, U\K ) / H (lim Cp(U, U\K )) / lim Hp(U, U\K ) / 0 ←−i k+1 i k ←−i ∗ i ←−i k i

   0 / lim1 Hp (X, X\K ) / H (lim Cp(X, X\K )) / lim Hp(X, X\K ) / 0. ←−i k+1 i k ←−i ∗ i ←−i k i The result is now a consequence of the excision property.  The existence of a Mayer-Vietoris exact sequence in this context can be deduced from a sheaf theoretic argument in the case of perversities depending only on the codimension of strata, as mentioned in [11, Proof of Proposition 2.20]. We provide below a direct proof for general perversities. Theorem 2.4. Let (X, p) be a locally compact, second-countable perverse space and {U, V } an open covering of X. Then we have a Mayer-Vietoris exact sequence, with coefficients in R, / ∞,p / ∞,p ∞,p / ∞,p / ∞,p / (2.2) . . . Hk (X) Hk (V ) ⊕ Hk (U) Hk (U ∩ V ) Hk−1(X) . . .

Proof. As U and V are hemicompact, we choose sequences (Ui)i∈N and (Vi)i∈N of rela- tively compact open subsets of U and V , respectively, such that U i ⊂ Ui+1, ∪i∈NUi = U and V i ⊂ Vi+1, ∪i∈NVi = V . Let us notice that (U i ∪ V i)i∈N and (U i ∩ V i)i∈N are se- quences of compact subsets such that U i ∪ V i ⊂ U i+1 ∪ V i+1 and U i ∩ V i ⊂ U i+1 ∩ V i+1 which are exhaustive for U ∪ V and U ∩ V respectively. p As observed in the proof of Proposition 2.3, the sequences (C∗(X, X\Ki))i∈N satisfy the Mittag-Leffler property, for Ki = U i, V i, U i ∩ V i or U i ∪ V i. Therefore, the short exact sequences p p p p p 0 → C∗(X\(U i ∪ V i)) → C∗(X\U i) ⊕ C∗(X\V i) → C∗(X\U i)+ C∗(X\V i) → 0 induce the short exact sequence / p / p p / p / (2.3) 0 / lim C∗(X,X\(U i∪V i)) / lim C∗(X,X\U i)⊕lim C∗(X,X\V i) / lim Q∗(X,U i,V i)) / 0 ←−i ←−i ←−i ←−i p p p p with Q∗(X, U i, V i)) = C∗(X)/(C∗(X\U i)+ C∗(X\V i)). The long exact sequence asso- ciated to (2.3) gives (2.2). Let us see that. • First, by Proposition 2.3, we have H∞,p(U ∪ V ) =∼ H (lim Cp(X, X\(U ∪ V ))), ∗ k ←−i ∗ i i H∞,p(U) =∼ H (lim Cp(X, X\U )) and H∞,p(V ) =∼ H (lim Cp(X, X\V )). ∗ k ←−i ∗ i ∗ k ←−i ∗ i • As for the third term of the sequence (2.3), we proved in [9, Proposition 4.1] that the p p p identity map on X induces a quasi-isomorphism, C∗(X\U i)+ C∗(X\V i) → C∗(X\(U i ∩ V i)). Therefore, it induces a quasi-isomorphism p p Q∗(X, U i, V i)) → C∗(X, X\(U i ∩ V i)). BOREL-MOOREINTERSECTIONHOMOLOGY 9

With the Mittag-Leffler property and Proposition 2.3, the identity map also gives a quasi-isomorphism (2.4) ψ : lim Qp(X, U , V ) → lim Cp(X, X\(U ∩ V )) = C∞,X,p(U ∩ V ). ←− ∗ i i ←− ∗ i i ∗ i i 

The following properties have been proven in [8]. Proposition 2.5. [8, Proposition 3.5] Let (L, p) be a compact perverse space. Then we have ∞,p Rm p Hk ( × L; R)= Hk−m(L; R). Proposition 2.6. [8, Proposition 3.7] Let L be a compact space and p be a perversity on the cone ˚cL of apex v. Then we have 0 if k ≤ m + Dp(v) + 1, H∞,p Rm c k ( ×˚L; R)= p v ( Hk−m−1(L; R) if k ≥ m + Dp( ) + 2.

3. Poincare´ duality 3.1. Fundamental class and cap product. Let (X, p) be a perverse pseudomanifold of dimension n. Recall from [16] that an R-orientation of X is an R-orientation of the manifold Xn := n o n n 0 X\Xn−1. For any x ∈ X , we denote by x ∈ Hn(X , X \{x}; R) = Hn(X, X\{x}; R) the associated local orientation. We know (see [14] or [10, Theorem 8.1.18]) that, for any K 0 compact K ⊂ X, there exists a unique element ΓX ∈ Hn(X, X\K; R) whose restriction equals ox for any x ∈ K. These classes give a Borel-Moore homology class, called the fundamental class of X, K ∞,0 ΓX = hΓX iK ∈ Hn (X; R). The fundamental classes are natural for the injections between open subsets of X. Given two open subsets V ⊂ U ⊂ X, the map induced in Borel-Moore homology by the identity (3.1) IX,p : lim Cp(X, X\K; R) → lim Cp(X, X\K; R) V,U ←− ∗ ←− ∗ K⊂U K⊂V sends ΓU on ΓV , see [10, Theorem 8.1.18]. Suppose that X is equipped with two perversities, p and q. In[5, Proposition 4.2], we prove the existence of a map k ℓ k+ℓ (3.2) − ⌣ −: Np (X; R) ⊗ Nq (X; R) → Np+q (X; R), inducing an associative and commutativee e graded product,e called intersection cup prod- uct, H k H ℓ H k+ℓ (3.3) − ⌣ −: p (X; R) ⊗ q (X; R) → p+q (X; R). Mention also from [5, Propositions 6.6 and 6.7] the existence of cap products, i q p+q (3.4) − ⌢ −: Np(X; R) ⊗ Cj (X; R) → Cj−i (X; R)

e 10 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´ such that (η⌣ω) ⌢ξ = η⌢ (ω⌢ξ) and d(ω⌢ξ)= dω ⌢ξ + (−1)|ω|ω ⌢ dξ. Thus, this cap product induces a cap product in homology, H i q p+q (3.5) − ⌢ −: p (X; R) ⊗ Hj (X; R) → Hj−i (X; R). The map (3.4) can be extended to a map i ∞,q ∞,p+q (3.6) − ⌢ −: Np(X; R) ⊗ Cj (X; R) → Cj−i (X; R) as follows: i e ∞,q given α ∈ Np(X; R) and η = hηKiK ∈ Cj (X; R), we set α ⌢ η = hα ⌢ ηKiK ∈ C∞,p+q(X; R). This definition makes sense since the cap product (3.4) is natural. More- j−i e over, from the compatibility with the differentials, we get an induced map, H i ∞,q ∞,p+q (3.7) − ⌢ −: p (X; R) ⊗ Hj (X; R) → Hj−i (X; R). ∞,0 As ΓX ∈ Hn (X; R), the cap product with the fundamental class gives a map, D H ∗ ∞,p (3.8) X := − ⌢ ΓX : p (X; R) → Hn−∗(X; R), that is the Poincar´eduality map of the next theorem. Let us emphasize that this map exists at the level of chain complexes. In this paradigm, the Poincar´eduality comes from a cap product with the fundamental class, ΓX . As this one is a Borel-Moore homology class, we need to adapt (3.5). In fact, there are two ways of working. • We may keep the blown-up cohomology, for which the cap with ΓX gives a Borel- Moore homology class as in (3.8). This is the subject of this work which brings Theorem 3.1 below. • We may also work with blown-up cohomology with compact supports, for which the cap product with ΓX gives a (finite) homology class. That is, we extend (3.4) in i ∞,q p+q (3.9) − ⌢ −: Np,c(X; R) ⊗ Cj (X; R) → Cj−i (X; R), This approach was used in [7] and led to the Poincar´eduality ([7, Theorem B]) e H i =∼ p − ⌢ ΓX : p,c(X; R) −→ Hn−i(X; R). 3.2. Main theorem. We prove the existence of an isomorphism between the Borel- Moore p-intersection homology and the blown-up p-intersection cohomology. Theorem 3.1. Let (X, p) be an n-dimensional, second countable and oriented perverse pseudomanifold. The cap product with the fundamental class induces a Poincar´eduality isomorphism D H ∗ =∼ ∞,p X : p (X; R) −→ Hn−∗(X; R). The proof uses the following result.

Proposition 3.2. [8, Proposition 13.2] Let FX be the category whose objects are (strat- ified homeomorphic to) open subsets of a given paracompact and separable CS set X and whose morphisms are stratified homeomorphisms and inclusions. Let Ab∗ be the cate- ∗ ∗ ∗ ∗ gory of graded abelian groups. Let F , G : FX → Ab be two functors and Φ: F → G a natural transformation satisfying the conditions listed below. BOREL-MOOREINTERSECTIONHOMOLOGY 11

(i) The functors F ∗ and G∗ admit Mayer-Vietoris exact sequences and the natural transformation Φ induces a commutative diagram between these sequences. (ii) If {Uα} is a disjoint collection of open subsets of X and Φ: F∗(Uα) → G∗(Uα) is ∗ ∗ an isomorphism for each α, then Φ: F ( α Uα) → G ( α Uα) is an isomorphism. (iii) If L is a compact filtered space such that X has an open subset stratified home- F F omorphic to Ri × ˚cL and, if Φ: F ∗(Ri × (˚cL\{v})) → G∗(Ri × (˚cL\{v})) is an isomorphism, then so is Φ: F ∗(Ri × ˚cL) → G∗(Ri × ˚cL). (Here, v is the apex of the cone ˚cL.) (iv) If U is an open subset of X contained within a single stratum and homeomorphic to an Euclidean space, then Φ: F ∗(U) → G∗(U) is an isomorphism.

Then Φ: F ∗(X) → G∗(X) is an isomorphism.

Proof of Theorem 3.1. As any open subset U ⊂ X is an oriented pseudomanifold, we D H p H∞,X,p may consider the associated homomorphism defined in (3.8), U : k (U) → n−k (U), ∼ H∞,p = H∞,X,p where we use the identification n−k(U) −→ n−k (U) given by Proposition 2.3. Let V ⊂ U ⊂ X be two open subsets of X, endowed with the induced structures of pseu- domanifold of X. The canonical inclusion (see (2.1)) and the cap product with the fundamental class give a commutative diagram,

(Ip )∗ H k V,U / H k (3.10) p (U) p (V )

DU DV  (IX,p)∗  ∞,X,p V,U / ∞,X,p Hn−k (U) Hn−k (V ).

D H k ∞,X,p We apply Proposition 3.2 to the natural transformation U : p (U) → Hn−k (U). The proof is reduced to the verifications of its hypotheses.

• First, let us notice that the conditions (ii) and (iv) are direct.

• Property (i). Let U = {W1,W2} be an open covering of X. Mayer-Vietoris sequences are constructed in Proposition 1.14 and Theorem 2.4. We build a morphism between them with the following diagram. In the first row, we take over the notations of Proposition 1.14. As in the proof of Theorem 2.4, we choose sequences (Ui)i∈N and (Vi)i∈N of relatively compact open subsets of W1 and W2, respectively, such that U i ⊂ Ui+1, ∪i∈NUi = W1 and V i ⊂ Vi+1, 12 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´

∪i∈NVi = W2. The last row corresponds to (2.3).

∗ U ∗ U / ∗,U / , 1 , 2 / ∗ / 0 / N (X) / N (W1)⊕N (W2) / N (W1∩W2) / 0 p O p O p p ρ ρ e I e e II e ∗ / ∗ ∗ / ∗ Np (X) Np (W1)⊕Np (W2) Np (W1∩W2)

⌢γ ⌢γ ⊕⌢γ ⌢γW ∩W eX III e e W1 W2 IV e 1 2    ∞,p / ∞,p ∞,p / ∞,p Cn−∗(X) Cn−∗(W1)⊕Cn−∗(W2) Cn−∗(W1∩W2)

p Ip ⊕Ip Ip IX V W W VI W ∩W   1 2  1 2 ∞ ∞ ∞ ∞ C ,X,p(X) / C ,X,p(W )⊕C ,X,p(W ) / C ,X,p(W ∩W ) n−∗ n−∗ 1 n−∗ 2 n−∗ O 1 2

VII VIII ψ

p p p p 0 / lim C∗(X,X\(U i∪V i)) / lim C∗(X,X\U i)⊕lim C∗(X,X\V i) / lim Q∗(X,U i,V i)) / 0. ←−i ←−i ←−i ←−i ∞,0 The maps ρ denote restriction and the cycles γY ∈ Cn (Y ) represent the fundamental class of Y , for Y = X, W1, W2,W1 ∩ W2. First, we prove that the above diagram commutes. The square VII is clearly commutative. The vertical maps of squares I, II, V and VI are induced by restrictions. Thus these squares are commutative. By naturality of the fundamental classes, we may choose for γW1 the restriction of γX and similarly for γW2 and γW1∩W2 . So, diagrams III and IV commute. The diagram VIII is commutative by construction of the map ψ, see (2.4). Let us observe that the columns of the diagrams I, II, V, VI, VII and VIII are quasi- isomorphisms. This is a consequence of [5, Theorem B], Proposition 2.3 and (2.4) in the proof of Theorem 2.4, respectively. So, we get the following commutative diagram,

/ H k / H k H k / H k / H k+1 / ... p (X) p (W1)⊕ p (W2) p (W1∩W2) p (X) ...

D D D D ∩ D X W1 ⊕ W2 W1 W2 X     / H∞,p / H∞,p H∞,p / H∞,p / H∞,p / ... n−k(X) n−k(W1)⊕ n−k(W2) n−k(W1∩W2) n−k−1(X) .... • Property (iii) We apply (1.1), (1.2), Proposition 2.5 and Proposition 2.6. First, we H k Ri c H∞,p Ri c v have the isomorphism p ( ×˚L)=0= n−k( ×˚L) for k > p( ), or equivalently n − k < i + Dp(v) + 2. (Observe that Dp(v)= n − i − 2 − p(v).) Next, let k ≤ p(v). The following commutative diagram comes from (3.10). H k Ri c / H k Ri p ( ×˚L) p ( × L×]0, 1[) D D Ri×˚cL Ri×L×]0,1[   ∞,p Ri c / ∞,p Ri Hn−k( ×˚L) Hn−k( × L×]0, 1[). The right column is an isomorphism by hypothesis. Since horizontal rows are also D  isomorphisms, we deduce that Ri×˚cL is an isomorphism. This proves Property (iii). BOREL-MOOREINTERSECTIONHOMOLOGY 13

Corollary 3.3. Let (X, p) be an n-dimensional, second countable and oriented perverse pseudomanifold. The Borel-Moore intersection homology can be endowed with an inter- section product, induced from Poincar´eduality and a cup product. Proof. The following commutative diagram, whose vertical maps are isomorphisms, de- fines the intersection product ⋔ from the cup product, H k H ℓ −⌣− / H k+ℓ (3.11) p (X; R) ⊗ q (X; R) p+q (X; R)

DX ⊗DX =∼ =∼ DX   ⋔ ∞,p ∞,q − − / ∞,p+q Hn−k(X; R) ⊗ Hn−ℓ(X; R) Hn−k−ℓ(X; R). 

Remark 3.4. If p: N → Z is a loose perversity as in [11], we have an inclusion of complexes ∞,p p ∞ p ∞ ι: C∗ (X; R) ֒→ I C∗ (X; R), where I C∗ (X; R) denotes the chain complex studied by Friedman in [11]. With the technique of the proof of Theorem 3.1, using Proposition 3.2, p ∞ we also deduce that ι is a quasi-isomorphism. For the complex I C∗ (X; R), the existence of a Mayer-Vietoris exact sequence follows from the fact that its homology proceeds from sheaf theory and the computations involving a cone are done in [11, Propositions 2.18 and 2.20]. Thus, the blown-up intersection cohomology is Poincar´edual to the Borel-Moore intersection homology defined in [11], for any commutative ring of coefficients. ∗ Remark 3.5. An intersection cohomology, denoted Hp(X; R), can also be defined from ∗ p the linear dual, Cp(X; R) = hom(C∗(X; R), R). This is the point of view adopted in [10], [12], [14]. If (X, p) is a locally (p, R)-torsion free perverse space X, this cohomology is ∗ ∼ isomorphic to the blown-up cohomology with the complementary perversity, Hp(X; R) = H ∗ Dp(X; R), see [5, Theorem F]. (We send the reader to [16] for the condition on the torsion, noting that it is always satisfied if R is a field.) Therefore, in this case, there is a k ∼ ∞,Dp Poincar´eduality, Hp(X; R) = Hn−k (X; R), induced by a cup product. But, in contrast to the blown-up cohomology situation, such isomorphism does not exist in general as shows the following example. Example 3.6. Let X =ΣRP 3\∗ be the complementary subspace of a regular point in the suspension of the real projective space RP 3, together with the constant perversity on 1, denoted 1. (Observe 1 = D1.) Direct calculations from the Mayer-Vietoris exact sequences give as only non zero values for the homology and cohomologies, H 0 Z Z H 3 Z Z (i) 1 (X; )= and 1 (X; )= 2, ∞,1 Z Z ∞,1 Z Z (ii) H1 (X; )= 2 and H4 (X; )= , (iii) H0(X; Z)= Z and H1(X; Z)= Z . 1 1 2 We notice H k(X; R) ∼ H∞,1(X; R) as stated in Theorem 3.1 but H1(X; Z) = Z 6∼ 1 = 4−k 1 2 = ∞,1 Z H3 (X; ) = 0. Remark 3.7. In the case of a compact oriented pseudomanifold, a diagram as (3.11) has already been introduced in [4, Section 4] for the definition of a product in intersection homology, for any ring of coefficients. For a PL pseudomanifold, a product of geometric 14 MARTINTXOSARALEGI-ARANGURENANDDANIELTANRE´ cycles is defined by Goresky and MacPherson ([16]) for a simplicial intersection homology. The relationship between (3.11) and the geometric product can be specified as below. (For sake of simplicity, we consider coefficients in a field.) • From a diagram similar to (3.11), Friedman and McClure define an intersection product on the intersection homology of a PL pseudomanifold, via a duality iso- ∗ morphism ([14]) with the intersection cohomology Hp(X) recalled in Remark 3.5. In [15, Theorem 1.3], they connect it with the geometric product of [16]. • As recalled in Remark 3.5, the blown-up cohomology studied in this paper is ∗ connected to Hp(X) through a natural quasi-isomorphism, which is compatible with the algebra structures (see [3, Corollary 4.4 and end of Section 4]). • Consequently, the intersection product on H∗(X; R) defined by (3.11) coincides with the original geometric product of Goresky and McPherson in the PL compact case. Finally, mention the existence of a construction of the intersection product via a Leinster partial algebra structure, done by Friedman in [13], who extends to the perverse setting the construction made by McClure on the chain complex of a PL manifold, see [21].

References [1] N. Bourbaki, ´el´ements de math´ematique. I: Les structures fondamentales de l’analyse. Fascicule VIII. Livre III: Topologie g´en´erale. Chapitre 9: Utilisation des nombres r´eels en topologie g´en´erale, Deuxi`eme ´edition revue et augment´ee. Actualit´es Scientifiques et Industrielles, No. 1045, Hermann, Paris, 1958. MR 0173226 [2] Glen E. Bredon, Sheaf theory, second ed., Graduate Texts in Mathematics, vol. 170, Springer-Verlag, New York, 1997. MR 1481706 [3] David Chataur, Martintxo Saralegi-Aranguren, and Daniel Tanr´e, Steenrod squares on intersection cohomology and a conjecture of M Goresky and W Pardon, Algebr. Geom. Topol. 16 (2016), no. 4, 1851–1904. MR 3546453 [4] , Singular decompositions of a cap product, Proc. Amer. Math. Soc. 145 (2017), no. 8, 3645– 3656. MR 3652815 [5] , Blown-up intersection cohomology, An alpine bouquet of algebraic topology, Contemp. Math., vol. 708, Amer. Math. Soc., Providence, RI, 2018, pp. 45–102. MR 3807751 [6] , Intersection cohomology, simplicial blow-up and rational homotopy, Mem. Amer. Math. Soc. 254 (2018), no. 1214, viii+108. MR 3796432 [7] , Poincar´eduality with cap products in intersection homology, Adv. Math. 326 (2018), 314– 351. MR 3758431 [8] , Blown-up intersection cochains and Deligne’s sheaves, Geometriae Dedicata (2019), Avail- able at https://doi.org/10.1007/s10711-019-00458-w. [9] , Intersection homology: general perversities and topological invariance, Illinois J. Math. 63 (2019), no. 1, 127–163. MR 3959870 [10] Greg Friedman, Singular intersection homology, Available at http://faculty.tcu.edu/gfriedman/index.html. [11] , Singular chain intersection homology for traditional and super-perversities, Trans. Amer. Math. Soc. 359 (2007), no. 5, 1977–2019 (electronic). MR 2276609 (2007k:55008) [12] , Intersection homology and Poincar´eduality on homotopically stratified spaces, Geom. Topol. 13 (2009), no. 4, 2163–2204. MR 2507117 (2010d:55010) [13] , The chain-level intersection product for PL pseudomanifolds revisited, J. Singul. 17 (2018), 330–367. MR 3857199 [14] Greg Friedman and James E. McClure, Cup and cap products in intersection (co)homology, Adv. Math. 240 (2013), 383–426. MR 3046315 BOREL-MOOREINTERSECTIONHOMOLOGY 15

[15] , Intersection homology duality and pairings: singular, PL, and sheaf-theoretic, arXiv e-prints (2018), arXiv:1812.10585. [16] Mark Goresky and Robert MacPherson, Intersection homology theory, Topology 19 (1980), no. 2, 135–162. MR 572580 (82b:57010) [17] , Intersection homology. II, Invent. Math. 72 (1983), no. 1, 77–129. MR 696691 (84i:57012) [18] Mark Goresky and Paul Siegel, Linking pairings on singular spaces, Comment. Math. Helv. 58 (1983), no. 1, 96–110. MR 699009 (84h:55004) [19] Henry C. King, Topological invariance of intersection homology without sheaves, Topology Appl. 20 (1985), no. 2, 149–160. MR 800845 (86m:55010) [20] Robert MacPherson, Intersection homology and perverse sheaves, Unpublished AMS Colloquium Lectures, San Francisco, 1991. [21] James E. McClure, On the chain-level intersection pairing for PL manifolds, Geom. Topol. 10 (2006), 1391–1424. MR 2255502 [22] , Erratum for the paper ‘On the chain-level intersection pairing for PL manifolds’, Geom. Topol. 13 (2009), no. 3, 1775–1777. MR 2496056 [23] Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Math- ematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324 (95f:18001) [24] Stephen Willard, General topology, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. MR 0264581

Laboratoire de Mathematiques´ de Lens, EA 2462, Universite´ d’Artois, SP18, rue Jean Souvraz, 62307 Lens Cedex, France E-mail address: [email protected]

Departement´ de Mathematiques,´ UMR-CNRS 8524, Universite´ de Lille, 59655 Villeneuve d’Ascq Cedex, France E-mail address: [email protected]