arxiv: v1 [math.ag] 10 Nov 2015

Transcription

1 A REMARK ON A POLYNOMIAL MAPPING F : C n Ñ C n arxiv: v1 [math.ag] 10 Nov 2015 NGUYEN THI BICH THUY Abstract. In [V-V], Guillaume and Anna Valette associate singular varieties V F to a polynomial mapping F : C n Ñ C n. In the case F : C 2 Ñ C 2, if the set K 0 pf q of critical values of F is empty, then F is not proper if and only if the 2-dimensional homology or intersection homology (with any perversity) of V F are not trivial. In [NT-V-V], the results of [V-V] are generalized in the case F : C n Ñ C n where n ě 3, with an additional condition. In this paper, we prove that if F : C 2 Ñ C 2 is a non-proper generic dominant polynomial mapping, then the 2-dimensional homology and intersection homology (with any perversity) of V F are not trivial. We prove that this result is true also for a non-proper generic dominant polynomial mapping F : C n Ñ C n ( n ě 3), with the same additional condition than in [NT-V-V]. In order to compute the intersection homology of the variety V F, we provide an explicit Thom-Mather stratification of the set K 0 pf q Y S F. 1. Introduction In [V-V], Guillaume and Anna Valette provide a criteria for properness of a polynomial mapping F : C 2 Ñ C 2. They construct a real algebraic singular variety V F satisfying the following property: if the set of critical values of F is empty then F is not proper if and only if the 2-dimensional homology or intersection homology (with any perversity) of V F are not trivial ([V-V], theorem 3.2). In [NT-V-V], the result of [V-V] is generalized in the general case F : C n Ñ C n, where n ě 3, with an additional condition ([NT-V-V], theorem 4.5). This paper proves that if F : C 2 Ñ C 2 is a non-proper generic dominant polynomial mapping, then the 2-dimensional homology and intersection homology (with any perversity) of V F are not trivial. We prove that this result is true also for a non-proper generic dominant polynomial mapping F : C n Ñ C n ( n ě 3), with the same additional condition than in [NT-V-V]. To prove this result, we use the same idea than in [NT-R]: if F is non-proper generic dominant polynomial mapping, thanks to the transversality theorem, we can choose an adapted p2, pq-allowable chain providing the non trivial homology and non trivial intersection homology of the variety V F, with any perversity p. In order to compute the intersection homology of the variety V F in the case K 0 pf q H, we have to stratify the set K 0 pf q Y S F. Furthermore, the intersection homology of the variety V F does not depend on the stratification if we use a locally topologically trivial stratification. We know that a Thom-Mather stratification is a locally topologically trivial stratification (see [T1], [Wh]). In [T1], Thom defined a partition of the set K 0 pf q by

2 2 NGUYEN THI BICH THUY constant rank, which is a local Thom-Mather stratification. In [NT1], the author provides a Thom-Mather stratification of the asymptotic set S F by the méthode des façons. One important point of this paper is that we show that in general the set K 0 pf q is not closed, so we cannot define a (global) stratification of K 0 pf q satisfying the frontier conditions. Hence, we cannot define a (global) Thom-Mather stratification of K 0 pf q. However, we prove that the set K 0 pf q Y S F is closed. This fact allows us to show that there exists a Thom-Mather stratification of the set K 0 pf q Y S F compatible with the partition of the set K 0 pf q defined by Thom and compatible with the stratification of the set S F defined by the méthode des façons. 2. PRELIMINARIES In this section we set-up our framework. All the varieties we consider in this article are semi-algebraic Intersection homology. We briefly recall the definition of intersection homology. For details, we refer to the fundamental work of M. Goresky and R. MacPherson [GM1] (see also [B]). Definition 2.1. Let V be a m-dimensional semi-algebraic set. A semi-algebraic stratification of V is the data of a finite semi-algebraic filtration V V m Ą V m 1 Ą Ą V 0 Ą V 1 H, such that for every i, the set V i zv i 1 is either an emptyset or a manifold of dimension i. A connected component of V i zv i 1 is called a stratum of V. If S i zs i is the union of strata of V, for i 0,..., m, then we say that the stratification of V satisfies the frontier conditions. Notice that by S i we mean the closure of S i in V. Definition 2.2 (see [T1], [Ma]). Let V be a variety in a smooth variety M. We say that a stratification of V is a Thom-Mather stratification if each stratum S i is a differentiable variety of class C 8 and if for each S i, we have: aq an open neighbourhood (tubular neighbourhood) T i of S i in M, bq a continuous retraction π i of T i on S i, cq a continuous function ρ i : T i Ñ r0, 8r which is C 8 on the smooth part of V X T i, such that S i tx P T i : ρpxq 0u and if S i Ă S j, then i) the restricted mapping pπ i, ρ i q : T i X S j Ñ S i ˆ r0, 8r is a smooth immersion, ii) for x P T i XT j such that π j pxq P T i, we have the following relations of commutation: 1) π i π j pxq π i pxq, 2) ρ i π j pxq ρ i pxq, when the two members of theses formulas are defined.

3 It is easy to see that a Thom-Mather stratification of a variety V must be a stratification satisfying the frontier conditions. We denote by cl the open cone on the space L, the cone on the empty set being a point. Observe that if L is a stratified set then cl is stratified by the cones over the strata of L and an additional 0-dimensional stratum (the vertex of the cone). Definition 2.3. A stratification of V is said to be locally topologically trivial if for every x P V i zv i 1, i ě 0, there is an open neighborhood U x of x in V, a stratified set L and a semi-algebraic homeomorphism h : U x Ñ p0; 1q i ˆ cl, such that h maps the strata of U x (induced stratification) onto the strata of p0; 1q i ˆ cl (product stratification). Theorem 2.4 (see [T1], [Wh]). A Thom-Mather stratification is a locally topologically trivial stratification. The definition of perversities has originally been given by Goresky and MacPherson: Definition 2.5. A perversity is an pm`1q-uple of integers p pp 0, p 1, p 2, p 3,..., p m q such that p 0 p 1 p 2 0 and p k`1 P tp k, p k ` 1u, for k ě 2. Traditionally we denote the zero perversity by 0 p0, 0,..., 0q, the maximal perversity by t p0, 0, 0, 1,..., m 2q, and the middle perversities by m p0, 0, 0, 0, 1, 1,..., r m 2 2 sq (lower middle) and n p0, 0, 0, 1, 1, 2, 2,..., r m 1 2 sq (upper middle). We say that the perversities p and q are complementary if p ` q t. Let V be a semi-algebraic variety such that V admits a locally topologically trivial stratification. We say that a semi-algebraic subset Y Ă V is p p, iq-allowable if dimpy X V m k q ď i k ` p k for all k. Define IC p i pv q to be the R-vector subspace of C ipv q consisting in the chains ξ such that ξ is pp, iq-allowable and Bξ is pp, i 1q-allowable. Definition 2.6. The i th intersection homology group with perversity p, denoted by IH p i pv q, is the i th homology group of the chain complex IC p pv q. Notice that, the notation IH p,c pv q refers to the intersection homology with compact supports, the notation IH p,cl pv q refers to the intersection homology with closed supports. In the compact case, they coincide and will be denoted by IH p pv q. In general, when we write H pv q (resp. IH p pv q), we mean the homology (resp., the intersection homology) with both compact supports and closed supports. 3

4 4 NGUYEN THI BICH THUY Goresky and MacPherson proved that the intersection homology is independent on the choice of the stratification satisfying the locally topologically trivial conditions [GM1, GM2]. The Poincaré duality holds for the intersection homology of a (singular) variety: Theorem 2.7 (Goresky, MacPherson [GM1]). For any orientable compact stratified semialgebraic m-dimensional variety V, the generalized Poincaré duality holds: IH p k pv q» IHq m kpv q, where p and q are complementary perversities. For the non-compact case, we have: IH p,c k pv q» IHq,cl m k pv q The asymptotic set. Let F : C n Ñ C n be a polynomial mapping. Let us denote by S F the set of points at which F is non proper, i.e., S F : ta P C n such that Dtx k u kpn Ă C n, x k tends to infinity and F px k q tends to au, where x k is the Euclidean norm of x k in C n. The set S F is called the asymptotic set of F. In this paper, we will use the following important theorem: Theorem 2.8. [J] Let F : C n Ñ C n be a polynomial mapping. If F is dominant, i.e., F pc n q C n, then S F is either an empty set or a hypersurface. 3. The variety V F We recall in this section the construction of the variety V F and the results obtained in [V-V] and [NT-V-V]: Let F : C n Ñ C n be a polynomial mapping. We consider F as a real one F : R 2n Ñ R 2n. By SingF we mean the set of critical points of F. Thanks to the lemma 2.1 of [V-V], there exists a covering tu 1,..., U p u of M F R 2n zsingpf q by semialgebraic open subsets (in R 2n ) such that on every element of this covering, the mapping F induces a diffeomorphism onto its image. We may find some semi-algebraic closed subsets V i Ă U i (in M F ) which cover M F as well. By the Mostowski s Separation Lemma (see [Mo], page 246), for each i, i 1,..., p, there exists a Nash function ψ i : M F Ñ R, such that ψ i is positive on V i and negative on M F zu i. We can choose the Nash functions ψ i such that ψ i px k q tends to zero where tx k u is a sequence in M F tending to infinity. We define V F : pf, ψ 1,..., ψ p qpm F q, it means, V F is the closure of the image of M F by pf, ψ 1,..., ψ p q.

5 The variety V F is a real algebraic singular variety of dimension 2n, the singular set of which is contained in pk 0 pf q Y S F q ˆ t0 R u p, where K 0 pf q is the set of critical values of F and S F is the asymptotic set of F. With the construction of V F, we have the two following theorems. Theorem 3.1 ([V-V]). Let F : C 2 Ñ C 2 be a polynomial mapping with nowhere vanishing Jacobian. The following conditions are equivalent: (1) F is non proper, (2) H 2 pv F q 0, (3) IH p 2 pv F q 0 for any perversity p, (4) IH p 2 pv F q 0 for some perversity p. Form here, we denote by ˆF i the homogeneous component of F i of highest degree, or the leading form of F i. Theorem 3.2. [NT-V-V] Let F : C n Ñ C n be a polynomial mapping with nowhere vanishing Jacobian. If Rank C pd ˆF i q i 1,...,n ě n 1, where ˆF i is the leading form of F i, then the following conditions are equivalent: (1) F is non proper, (2) H 2 pv F q 0, (3) IH p 2 pv F q 0 for any (or some) perversity p, (4) IH p,cl 2n 2 pv F q 0, for any (or some) perversity p. Notice that the condition F is nowhere vanishing Jacobian in these theorems means that the set of critical values K 0 pf q of F is an emptyset. The purpose of this paper is to prove that if F : C n Ñ C n ( n ě 2) is a non-proper generic dominant polynomial mapping, then the 2-dimensional homology and intersection homology (with any perversity) of V F are not trivial. In order to compute the intersection homology of the variety V F in the case K 0 pf q H, we have to stratify the set K 0 pf q Y S F. Furthermore, the intersection homology of the variety V F does not depend on the stratification of V F if we use a locally topologically trivial stratification. By theorem 2.4, a Thom-Mather stratification is a locally topologically trivial stratification. In the following section, we provide an explicit Thom-Mather stratification of the set K 0 pf qys F. 4. A Thom-Mather Stratification of the set K 0 pf q Y S F It is well-know that there exists a partition of the set K 0 pf q defined by Thom [T1]. In [NT1], we provide a Thom-Mather stratification of the asymptotic set S F by the méthode des façons. In this section, we prove that in general the set K 0 pf q is not closed, so we cannot define a stratification of K 0 pf q satisfying the frontier conditions. However, we prove that the set K 0 pf q Y S F is closed. This important fact allows us to show that there 5

6 6 NGUYEN THI BICH THUY exists a Thom-Mather stratification of the set K 0 pf q Y S F compatible with the partition of the set K 0 pf q defined by Thom and compatible with the stratification of the set S F defined by the méthode des façons. Proposition 4.1. In general, the set K 0 pf q is neither closed, nor smooth, nor pure dimensional. Recall that a set X is a pure dimensional of dimension m if any point of this set admits a neighbourhood in X of dimension m. Proof. Let us consider the polynomial mapping F : C 3 px 1,x 2,x 3 q Ñ C3 pα 1,α 2,α 3 q such that F px 1, x 2, x 3 q px 3 1 x 1 x 2 x 3, x 2 x 3, x 3 x 1 q. Then, the jacobian determinant J F pxq of F is given by x 1 x 3 p3x 2 1 x 2x 3 q. If J F pxq 0 then x 1 0 or x 3 0 or 3x 2 1 x S F Tyna6 2x 3. So we have the following cases: + if x 1 0 then F p0, x 2, x 3 q p0, x 2 x 3, 0q and the axis 0α 2 is contained in K 0 pf q, + if x 3 0 then F px 1, x 2, 0q px 3 1, 0, 0q and the axis 0α 1 is contained in K 0 pf q, + if 3x 2 1 x 2x 3 then F px 1, x 2, x 3 q p 2x 3 1, 3x2 1, x 3x 1 q pα 1, α 2, α 3 q. We observe that: if x 1 0 then α 1 α 2 α 3 0; If x 1 0 then α 1 0 et α 2 0. Moreover, since 3x 2 1 x 2x 3 and x 1 0, then x 3 0 and α 3 0. Furthermore, we have 27α1 2 4α3 2. Let ps q tpα 1, α 2, α 3 q P C 3 pα 1,α 2,α 3 q : 27α2 1 4α 3 2, α 1 0, α 2 0, α 3 0u, then ps q Y t0u is contained in K 0 pf q. So, we have K 0 pf q ps q Y 0α 1 Y 0α 2 (see figure 1). α 3 K0F O α 2 α 1 Figure 1. The set K 0 pf q of the polynomial mapping F px 3 1 x 1 x 2 x 3, x 2 x 3, x 3 x 1 q.

7 Notice that K 0 pf q does not contain neither 0α 3 zt0u, nor the curve pc q of equation 27α 2 1 4α3 2 in the plane p0α 1α 2 q. However t0u P K 0 pf q and this is the singular point of K 0 pf q. So, the set K 0 pf q is neither closed, nor smooth, nor pure dimensional. By the proposition 4.1, in general the set K 0 pf q is not closed, so we cannot stratify K 0 pf q in such a way that the stratification satisfies the frontier conditions. The following proposition allows us to provide a stratification satisfying the frontier conditions of the set K 0 pf q Y S F. Proposition 4.2. The set K 0 pf q Y S F is closed. Moreover, we have K 0 pf q Y S F K 0 pf q Y S F. To prove this proposition, we need the three following lemmas. Lemma 4.3. For a polynomial mapping F : C n Ñ C n, the set of the solutions of J F pxq 0 is closed, where J F pxq is the jacobian determinant of F at x. Proof. Considering a sequence tx k u contained in the set tx P C n : J F pxq 0u such that x k tends to x 0. Since F is a polynomial mapping, then J F pxq is also a polynomial mapping and J F pxq is continuous. Hence J F px k q tends to J F px 0 q. Since J F px k q 0 for all x k, we have J F px 0 q 0. So x 0 belongs to the set tx : J F pxq 0u. We conclude that the set of the solutions of J F pxq 0 is closed. Lemma 4.4. The set K 0 pf qzk 0 pf q is contained in the set S F. Proof. Let a P K 0 pf qzk 0 pf q. There exists a sequence ta k u Ă K 0 pf q such that a k tends to a. Then there exists a sequence tx k u contained in the set tx : J F pxq 0u such that F px k q a k, for all k. Assume that the sequence tx k u tends to x 0 and x 0 is finite. By the lemma 4.3, the set tx P C n : J F pxq 0u is closed, then x 0 belongs to the set tx P C n : J F pxq 0u. Moreover, since F is a polynomial mapping, then F px k q tends to F px 0 q. Hence a k tends to F px 0 q and a F px 0 q. Since x 0 is finite, then a P K 0 pf q, which provides the contradiction. Then x k tends to infinity and a belongs to S F. Considering now the graph of F in C n ˆ C n, that means graphf tpa, F paqq : a P C n u Ă C n ˆ C n. We know that the closure graphf of graphf is contained in the projective space CP n. We have the following lemma: Lemma 4.5. The asymptotic set S F of a polynomial mapping F : C n Ñ C n is the image of the set graphf zgraphf by the canonical projection π 2 : CP n ˆ C n Ñ C n. 7

8 8 NGUYEN THI BICH THUY Proof. Firstly, we show the inclusion S F Ă π 2 pgraphf z graphf q. Let a 1 P S F, there exists a sequence tξ k u Ă C n such that ξ k tends to infinity and F pξ k q tends to a 1. The limit of the sequence tpξ k, F pξ k qqu is a p8, a 1 q, where a P graphf zgraphf Ă pcp n ˆ C n q and a 1 π 2 pa q P π 2 pgraphf zgraphef q. Now we show the inclusion π 2 pgraphf z graphf q Ă S F. Let a 1 P π 2 pgraphf zgraphf q, then there exists a pa, a 1 q P graphf zgraphf such that a P graphf but a R graphf. Then we have a 1 F paq. Moreover, there exists a sequence tpξ k, F pξ k qqu Ă graphf such that pξ k, F pξ k qq tends to pa, a 1 q. Hence the sequence ξ k tends to a and F pξ k q tends to a 1. Since F is a polynomial mapping, then F pξ k q tends to F paq. But a 1 F paq, then a 8, and ξ k tends to infinity. Thus we have a 1 P S F. We prove now the proposition 4.2. Proof. By the lemma 4.5, the set S F is the image of the set pgraphf zgraphf q by the canonical projection π 2 : PC n ˆ C n Ñ C n. Then the set S F is closed. Moreover, we have K 0 pf q Y S F K 0 pf q Y pk 0 pf qzk 0 pf qq Y S F. By the lemma 4.4, we have K 0 pf qzk 0 pf q Ă S F, then K 0 pf q Y S F K 0 pf q Y S F. Consequently, the set K 0 pf q Y S F is closed. Proposition 4.6. Considering the partition pkq of K 0 pf q defined by Thom [T1] and the stratification psq of S F defined by the méthode des façons [NT1]. Assume that if K is a stratum of K 0 pf q and if S is a stratum of S F, then K and S are transverse. Then there exists a Thom-Mather stratification of the set K 0 pf q Y S F compatible with psq and pkq. Proof. By the proposition 4.2, the set K 0 pf q Y S F is closed and K 0 pf q Y S F K 0 pf q Y S F. Considering the partition pkq of K 0 pf q defined by Thom [T1] and the stratification psq of S F defined by the méthode des façons [NT1]. Since K and S are transverse for any K P pkq and for any S P psq, then we can stratify K 0 pf q X S F by strata K X S where K P pkq and S P psq. So we obtain a stratification of the set K 0 pf q Y S F compatible with pkq and psq. We have tk : K P pkqu is a Thom-Mather stratification of K 0 pf q compatible with pkq ([T1], theorem 4.B.1) and psq is a Thom-Mather stratification ([NT1], theorem 4.6). Hence, we get a Thom-Mather stratification of the set S F Y K 0 pf q ([Tr], page 4). Example 4.7. Let us consider the example in the proposition 4.1: let F : C 3 px 1,x 2,x 3 q Ñ C 3 pα 1,α 2,α 3 q be the polynomial mapping such that F px 1, x 2, x 3 q px 3 1 x 1x 2 x 3, x 2 x 3, x 3 x 1 q. a) At first, via this example, we make clear the idea define a partition of the set K 0 pf q by constant rank by providing the partition of the set K 0 pf q defined by Thom in [T1], consisted in the five following steps.

9 1) Step 1: Subdividing SingF into subvarieties V i, where V i tpx 1, x 2, x 3 q P C 3 : RankJ F px 1, x 2, x 3 q iu. We have V 0 tp0, 0, 0qu, V 1 tp0, x 2, 0q : x 2 0u, V 2 tp0, x 2, x 3 q : x 3 0u Y tpx 1, x 2, 0q : x 1 0u Y tpx 1, x 2, x 3 q : x 3 0, x 2 x 3 3x 2 1u. 2) Step 2: Subdividing the sets V i in step 1 into smooth varieties. Since V 2 is not smooth, so we need to subdivide V 2 into V1 2 : tpx 1, x 2, x 3 q : 3x 2 1 x 2x 3, x 3 0u, V2 2 : tp0, x 2, x 3 q : x 3 0u and V3 2 : tpx 1, x 2, 0q : x 1 0u. 3) Step 3: Making a partition of the set SingF from the subsets V i j 2. Since V 2 1 X V 2 2 0x 3zt0u, so let us consider: We get a partition of SingF. V : V 2 1 z0x 3, V : V 2 2 z0x 3, V : V 2 3 z0x 3, V : V 1 zt0u 0x 2 zt0u, V x 3 zt0u, V 1 0 : t0u. 4) Step 4: Computing RankJ F T V 1 j. We have i RankJ F T V , RankJ F T V 12 2 RankJ F T V , RankJ F T V 11 RankJ F 1 T V 11 RankJ F 2 T V in the steps 1 and 5) Step 5: Computing W i,k j : F ptx P V 1 i j : RankJ F T xv 1i j kuq. We have W 2,2 ps q, W 2,1 2 0α 2, W 2,1 3 0α 1, W 1,0 1 W 1,0 2 W 0,0 t0u. Recall that ps q tpα 1, α 2, α 3 q P C 3 pα 1,α 2,α 3 q : 27α2 1 4α3 2, α 1 0, α 2 0, α 3 0u. Each W i,k j is a k-dimensional smooth variety of K 0 pf q. So we get a partition of K 0 pf q by smooth varieties (see figure 2). b) Let us determine now a stratification of S F Y K 0 pf q. By definition, we can check easily that the asymptotic set S F is the union of two planes tα 1 0u and tα 3 0u. A stratification of the set S F Y K 0 pf q, which is a Thom-Mather stratification, is given by the filtration: S F Y K 0 pf q Ą 0α 1 Y 0α 2 Ą t0u Ą H, where + `S F Y K 0 pf q z p0α 1 Y 0α 2 q has three strata: the two strata S 2 1 p0α 2α 3 qz0α 2 and S 2 2 p0α 1α 2 qz0α 2 defined by façons [NT1] and the stratum S 2 3 ps qzs F Ă K 0 pf qzs F defined by Thom, + p0α 1 Y 0α 2 qzt0u has two strata: the stratum 0α 1 zt0u is defined by Thom, the stratum 0α 2 zt0u is defined either by Thom, or by façons, + {0} is the 0-dimensional stratum defined by Thom.

10 10 NGUYEN THI BICH THUY α 3 W 2,2 W 3 2,1 W 0 0 O W 2 2,1 α 2 α 1 Figure 2. The partition of K 0 pf q defined by Thom of the polynomial mapping F px 3 1 x 1 x 2 x 3, x 2 x 3, x 3 x 1 q Remark 4.8. If K 0 pf qzs F is smooth, then we can define easily a stratification of the set K 0 pf q Y S F. But in general, K 0 pf qzs F is not smooth. We can check this fact in the following example: F : C 3 Ñ C 3, F px 3 1 x 1 x 2 x 3, x 2 x 3, x 3 q. Remark 4.9. With all examples in this paper and in [NT2], the set K 0 pf q Y S F has a pure dimension if F is dominant. So we can suggest the following conjecture: Conjecture If F : C n Ñ C n is a dominant polynomial mapping then the set K 0 pf q Y S F has a pure dimension. Notice that the above conjecture is not true in the case F is not dominant, as in the following example: F : C 3 Ñ C 3, F px 2 1 x 2 x 3, x 2 x 3, x 1 x 3 q. 5. The homology and intersection homology of the variety V F in the case K 0 pf q is non empty We have the two following theorems. Theorem 5.1. Let F : C 2 Ñ C 2 be a non-proper generic dominant polynomial mapping, then (1) H 2 pv F q 0, (2) IH p 2 pv F q 0 for any perversity p,

11 11 (3) IH p 2 pv F q 0 for some perversity p. Theorem 5.2. Let F : C n Ñ C n (n ě 3) be a non-proper generic dominant polynomial mapping. If Rank C pd ˆF i q i 1,...,n ě n 1, where ˆF i is the leading form of F i, then: (1) H 2 pv F q 0, (2) IH p 2 pv F q 0 for any (or some) perversity p, (3) IH p 2n 2 pv F q 0, for any (or some) perversity p. Before proving these theorems, we recall some necessary definitions and lemmas. Definition 5.3. A semi-algebraic family of sets (parametrized by R) is a semi-algebraic set A Ă R n ˆ R, the last variable being considered as parameter. Remark 5.4. A semi-algebraic set A Ă R nˆr will be considered as a family parametrized by t P R. We write A t, for the fiber of A at t, i.e.: A t : tx P R n : px, tq P Au. Lemma 5.5 ([V-V], lemma 3.1). Let β be a j-cycle and let A Ă R nˆr be a compact semialgebraic family of sets with β Ă A t for any t. Assume that β bounds a pj ` 1q-chain in each A t, t ą 0 small enough. Then β bounds a chain in A 0. Definition 5.6 ([V-V]). Given a subset X Ă R n, we define the tangent cone at infinity, called contour apparent à l infini in [NT2] by: C 8 pxq : tλ P S n 1 p0, 1q such that Dη : pt 0, t 0 ` εs Ñ X semi-algebraic, lim tñt 0 ηptq 8, lim tñt0 ηptq ηptq λu. Lemma 5.7 ([NT-V-V], lemma 4.10). Let F pf 1,..., F m q : R n Ñ R m be a polynomial mapping and V the zero locus of ˆF : p ˆF 1,..., ˆF m q, where ˆF i is the leading form of F i. If X is a subset of R n such that F pxq is bounded, then C 8 pxq is a subset of S n 1 p0, 1q X V, where V ˆF 1 p0q. Proof of the theorem 5.1. The proof of this theorem consists in two steps. The first step, that we use the same idea than in [NT-R], is to construct a pp, 2q-allowable for any perversity p. The second step, that we use the same idea than in [V-V], is to prove that the chain that we create in the first step cannot bound a 3-chain in V F. a) Step 1: Let F : C 2 Ñ C 2 be a generic polynomial mapping, then dim R V F 4 ([V-V], proposition 2.3). Notice that V F zs F is not smooth in general. Let us consider a stratification of V F. Assume that S F H, then there exists a complex Puiseux arc in R 4 zsingf γ : Dp0, ηq Ñ R 4, γ uz α `...,

12 12 NGUYEN THI BICH THUY (with α negative integer and u is an unit vector of R 4 ) tending to infinity such a way that F pγq converges to a generic point x 0 P S F. Then, the mapping h F γ, where h F pf, ψ 1,..., ψ p q (see the construction of the variety V F, section 3) provides a singular 2-simplex in V F that we will denote by c. We prove now the simplex c is pp, 2q-allowable for any perversity p. In fact, since F is dominant, then by the theorem 2.8, we have dim C S F 1. Considering the condition (5.8) 0 dim R tx 0 u dim R pps F ˆ t0 R puq X c q ď 2 α ` p α, where α codim R S F 2. The condition (5.8) holds for any perversity p since p 2 0. Take now a stratum V i of V F zps F ˆ t0 R puq. Assume that β codim R V i. If β ě 2, we can choose the Puiseux arc γ such that c lies in the regular part of V F zps F ˆ t0 R puq, thanks to the genericity of F. In fact, this comes from the generic position of transversality ([T2], Transversality Theorem). So c is pp, 2q-allowable. Hence we need to consider only the cases β 0 and β 1. We have the following two cases: 1) If c intersects V i, again by the generic position of transversality, we can choose the Puiseux arc γ such that 0 ď dim R pv i X c q ď 1. Considering the condition (5.9) dim R pv i X c q ď 2 β ` p β. We see that 2 β ` p β ě 1, for β 0 and β 1. So the condition (5.9) holds. 2) If c does not meet V i, then the condition 8 dim R H dim R pv i X c q ď 2 β ` p β holds always. So the simplex c is pp, 2q-allowable for any perversity p. We can always choose the Puiseux arc such that the support of Bc lies in the regular part of V F zps F ˆt0 R puq and Bc bounds a 2-dimensional singular chain e of RegpV F zps F ˆt0 R puqq. So σ c e is a pp, 2q-allowable cycle of V F. b) Step 2: We claim that σ cannot bound a 3-chain in V F. Assume otherwise, i.e. assume that there is a 3-chain in V F, satisfying Bτ σ. Let A : h 1 F p σ X pv F zps F ˆ t0 R puqqq, B : h 1 F p τ X pv F zps F ˆ t0 R puqqq. By definition 5.6, the sets C 8 paq and C 8 pbq are subsets of S 3 p0, 1q. Observe that, in a neighborhood of infinity, A coincides with the support of the Puiseux arc γ. The set C 8 paq is equal to S 1.a (denoting the orbit of a P C 2 under the action of S 1 on C 2, pe iη, zq ÞÑ e iη z). Let V be the zero locus of the leading forms ˆF : p ˆF 1, ˆF 2 q. Since F paq and F pbq are bounded, then by lemma 5.7, the sets C 8 paq and C 8 pbq are subsets of V X S 3 p0, 1q.

13 For R large enough, the sphere S 3 p0, Rq with center 0 and radius R in R 4 is transverse to A and B (at regular points). Let σ R : S 3 p0, Rq X A, τ R : S 3 p0, Rq X B. Then σ R is a chain bounding the chain τ R. Considering a semi-algebraic strong deformation retraction Φ : W ˆ r0; 1s Ñ S 1.a, where W is a neighborhood of S 1.a in S 3 p0, 1q onto S 1.a. Considering R as a parameter, we have the following semi-algebraic families of chains: 1) σ R : σ R R, for R large enough, then σ R is contained in W, 2) σ 1 R Φ 1p σ R q, where Φ 1 pxq : Φpx, 1q, x P W, 3) θ R Φp σ R q, we have Bθ R σ 1 R σ R, 4) θ 1 R τ R ` θ R, we have Bθ 1 R σ1 R. As, near infinity, σ R coincides with the intersection of the support of the arc γ with S 3 p0, Rq, for R large enough the class of σ 1 R in S1.a is nonzero. Let r 1{R, consider r as a parameter, and let t σ r u, tσ 1 ru, tθ r u as well as tθ 1 ru the corresponding semi-algebraic families of chains. Let us denote by E r Ă R 4 ˆ R the closure of θ r, and set E 0 : pr 4 ˆ t0uq X E. Since the strong deformation retraction Φ is the identity on C 8 paq ˆ r0, 1s, we see that E 0 Ă ΦpC 8 paq ˆ r0, 1sq S 1.a Ă V X S 3 p0, 1q. Let us denote by E 1 r Ă R 4 ˆ R the closure of θ 1 r, and set E 1 0 : pr4 ˆ t0uq X E 1. Since A bounds B, then C 8 paq is contained in C 8 pbq. We have E 1 0 Ă E 0 Y C 8 pbq Ă V X S 3 p0, 1q. The class of σr 1 in S 1.a is, up to a product with a nonzero constant, equal to the generator of S 1.a. Therefore, since σr 1 bounds the chain θr, 1 the cycle S 1.a must bound a chain in θr 1 as well. By Lemma 5.5, this implies that S 1.a bounds a chain in E0 1 which is included in V X S 3 p0, 1q. The set V is a projective variety which is an union of cones in R 4. Since dim C V ď 1, so dim R V ď 2 and dim R V X S 3 p0, 1q ď 1. The cycle S 1.a thus bounds a chain in E0 1 Ď V X S 3 p0, 1q, which is a finite union of circles, that provides a contradiction. Proof of the theorem 5.2. At first, notice that since F is dominant, then, by the theorem 2.8, we have dim C S F n 1. Then the proof of this theorem is similar to the proof of the theorem 4.5 in [NT-V-V]: Since rank C pd ˆF i q i 1,...,n ě n 1 then corank C pd ˆF i q i 1,...,n ď 1. We use the same notations and the same arguments than in the proof of the theorem 5.1, we have: + Since dim C V corank C pd ˆF i q i 1,...,n then dim R V ď 2 and dim R V X S 2n 1 p0, 1q ď 1. + The cycle S 1.a bounds a chain in E 1 0 Ď V X S2n 1 p0, 1q, which is a finite union of circles, that provides a contradiction. 13

14 14 NGUYEN THI BICH THUY Hence, we get the facts 1) and 2) of the theorem. Moreover, from the Goresky-MacPherson Poincaré duality theorem (theorem 2.7), we have IH p,c 2 pv F, Rq IH q,cl 2n 4 pv F, Rq where p and q are complementary perversities. Since the chain σ that we create in the proof of the theorem 5.1 is either a chain with compact supports, or a chain with closed supports, so we get the fact 3) of the theorem. Remark The properties of the homology and intersection homology in the theorem 5.1 and 5.2 hold for both compact supports and closed supports. Remark From the proofs of the theorems 5.1 and 5.2, we see that the properties of the intersection homology in these theorems do not hold if F is not dominant. The reason is that the theorem 2.8 is not true if F is not dominant and then the conditions (5.8) and (5.9) do not hold. However, the properties of the homology hold even if F is not dominant. So we have the two following corollaries. Corollary Let F : C 2 Ñ C 2 be a non-proper generic polynomial mapping, then H 2 pv F q 0. Corollary Let F : C n Ñ C n (n ě 3) be a non-proper generic polynomial mapping. If Rank C pd ˆF i q i 1,...,n ě n 1, where ˆF i is the leading form of F i, then H 2 pv F q 0. Remark The condition F is nowhere vanishing Jacobian in the theorem 3.1 and 3.2 implies F is dominant. It is the reason why we need the condition F is dominant in the theorems 5.1 and 5.2 to guarantee the condition of dimension of the set S F, thanks to the theorem 2.8. [B] References J-P. Brasselet, Introduction to intersection homology and perverse sheaves, to appear in Contemporary Mathematics (2015). [GM1] M. Goresky and R. MacPherson, Intersection homology. II. Invent. Math. 72 (1983), [GM2] M. Goresky and R. MacPherson, Intersection homology theory, Topology 19 (1980), [J] Z. Jelonek, The set of point at which polynomial map is not proper, Ann. Polon. Math. 58 (1993), no. 3, [Ma] J. Mather, Notes on topological stability, miméographié, Harvard University (1970). [NT1] T. B. T. Nguyen, La méthode des façons, ArXiv: (2015). [NT2] [NT-R] T. B. T. Nguyen, Étude de certains ensembles singuliers associés à une application polynomiale, Thèse, Université d Aix Marseille, ID : tel (2013). T. B. T. Nguyen and M. A. S. Ruas, On a singular variety associated to a polynomial mapping, ArXiv: (2015). [NT-V-V] T. B. T. Nguyen, A. Valette and G. Valette, On a singular variety associated to a polynomial mapping, Journal of Singularities volume 7 (2013),

15 15 [Mo] T. Mostowski, Some properties of the ring of Nash functions, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 2, [T1] R. Thom, Ensembles et morphismes stratifiés, Bull. Amer. Math. Soc., 75, 2 (1969), [T2] R. Thom, Quelques propriétés globales des variétés differentiables, Comm. Math. Helv. 28, 1 (1954), [Tr] D. Trotman, Lectures on Real Stratification Theory, LATP-UMR 6632, University of Provence, Marseille, France, 12 October [V-V] A. Valette and G. Valette, Geometry of polynomial mappings at infinity via intersection homology, Ann. I. Fourier vol. 64, fascicule 5 (2014), [Wh] H. Whitney, Tangents to an analytic variety, Annals of Math. (2) 81 (1965), (Nguyen Thi Bich Thuy) UNESP, Universidade Estadual Paulista, Júlio de Mesquita Filho, São José do Rio Preto, Brasil address: bichthuy@ibilce.unesp.br