Đang tải... (xem toàn văn)
Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)Bất đẳng thức Lojasiewicz, tương đương topo và đa diện Newton (LA tiến sĩ)
MINISTRY OF EDUCATION AND TRAINING DALAT UNIVERSITY LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA Speciality: Mathematical Analysis Speciality code: 62.46.01.02 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN MATHEMATICS DALAT, 2017 MINISTRY OF EDUCATION AND TRAINING DALAT UNIVERSITY BUI NGUYEN THAO NGUYEN LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA Speciality: Mathematical Analysis Speciality code: 62.46.01.02 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN MATHEMATICS Supervisors: Assoc Prof Pham Tien Son Dr Dinh Si Tiep DALAT, 2017 Declaration of Authorship I, B` ui Nguyˆ˜en Tha˙’o Nguyˆen, declare that this thesis titled, “LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA” and the work presented in it are my own I confirm that: • This work was done wholly or mainly while in candidature for a research degree at this University • Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated • Where I have consulted the published work of others, this is always clearly attributed • Where I have quoted from the work of others, the source is always given With the exception of such quotations, this thesis is entirely my own work • I have acknowledged all main sources of help • Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed myself Signed: Date: i Abstract LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA by B` ui Nguyˆ˜en Tha˙’o Nguyˆen The goals of this thesis are to study Lojasiewicz inequalities and topological equivalences (local and at infinity) for a class of functions satisfying non-degenerate conditions Singularity Theory and Semi-algebraic Geometry are main tools for our study Our main results include: - Establishing a formula for computing the Lojasiewicz exponent of a non-constant analytic function germ f in terms of the Newton polyhedron of f in the case where f is non-negative and non-degenerate - Investigating into the sub-analytically bi-Lipschitz topological G-equivalence for function germs from (Rn , 0) to (R, 0), where G is one of the classical Mather’s groups - Giving a sufficient condition for a deformation of a polynomial function f in terms of its Newton polyhedron at infinity to be analytically (smooth in the complex case) trivial at infinity Keywords and phrases: Lojasiewicz inequalities, topological equivalences, non-degenerate conditions, Newton polyhedra, sub-analytically, bi-Lipschitz, analytically trivial at infinity ii Acknowledgements First and foremost, I would like to express my sincere gratitude for my supervisors, - inh S˜i Tiˆe.p, who always support and encourage Assoc Prof Pha.m Tiˆe´n So.n and Dr D me Thank you for your helpful suggestions, your ideas and the interesting discussions that we have had on the material of this work Thank you so much I am also grateful to my teachers in the Department of Mathematics and Informatics at Da Lat University Thank for your attractive lectures which encourage me to pursue scientific research Finally, I take this opportunity to express the profound gratitude from my heart to my family iii Introduction The main purposes of this thesis are to study Lojasiewicz inequalities and topological equivalences (local and at infinity) for a class of functions satisfying non-degenerate conditions in terms of Newton polyhedra with some tools of Singularity Theory and Semi-Algebraic Geometry In details, let f : (Rn , 0) → (R, 0) be an analytic function defined in a neighborhood of the origin ∈ Rn The Classical Lojasiewicz inequality [2, 34] asserts that there exist some constants δ > 0, c > 0, and l > such that |f (x)| ≥ cd(x, f −1 (0))l x ≤ δ, for all where d(x, f −1 (0)) := inf{ x − y | y ∈ f −1 (0)}, and · denotes the usual Euclidean norm in Rn The Lojasiewicz exponent of f at the origin ∈ Rn , denoted by L0 (f ), is the infimum of the exponents l satisfying the above Lojasiewicz inequality Bochnak and Risler [8] proved that L0 (f ) is a positive rational number Moreover, the Lojasiewicz exponent L0 (f ) is attained, i.e., there are some positive constants c and δ such that |f (x)| ≥ cd(x, f −1 (0))L0 (f ) for x ≤ δ The Lojasiewicz inequality plays an important role in many problems of mathematics, such as Singularity Theory (C -sufficiency of jets, [7, 29, 32]); the complexity of the representations of positive polynomials (Schmă udgens and Putinars Positivstellensăatze [41, 52]) Hence, the computation and estimation of the Lojasiewicz exponent are interesting problems In the case where f is an analytic function in two variables, a formula for computing the Lojasiewicz exponent L0 (f ) was given by Kuo in the paper [31] (see also the paper [21] for the Lojasiewicz exponent at infinity) If f is a polynomial of degree d iv in n variables with an isolated zero at the origin, Gwozdziewicz [25] (see also [27]) prove that: L0 (f ) ≤ (d − 1)n + In the general case, when f may have a non-isolated singularity at the origin, Pha.m [47], Kurdyka and Spodzieja [33] have the following explicit estimate: L0 (f ) ≤ max{d(3d − 4)n−1 , 2d(3d − 3)n−2 } In general, as far as we know, there is no method to determine L0 (f ) In the thesis, we will establish a formula for the Lojasiewicz exponent of non-negative and non-degenerate analytic functions Another problem which attracts our studies is the classification of functions by equivalence relations which is a fundamental problem in Singularity Theory Many authors have focused their attention on this problem, and many characteristics and invariants of G-equivalence are established, where G is one of the classical Mather’s groups [35, 36], i.e., G = A, K, C, or V The classification problem with respect to C -G-equivalence relations has been wellstudied For C ∞ -stable map germs, Mather in [36] proved that C -K-equivalence implies C -A-equivalence For analytic function germs with isolated singularities in two or three variables, it is was proved by King in [26] (see also [1, 46]) that C -V-equivalence implies C -A-equivalence On the other hand, in [43], it is pointed out by Nishimura that C V-equivalence of smooth functions with isolated singularities implies C -K-equivalence Recently, new works have also treated such theme [1, 3, 4, 5, 13, 14, 15, 50, 56] In this work, we are interested in the sub-analytically, bi-Lipschitz C -G-equivalence of continuous sub-analytic function germs from (Rn , 0) to (R, 0) and bi-Lipschitz K-equivalence invariances of the Lojasiewicz exponent and the multiplicity We also give a condition for analytic function germs in terms of their Newton polyhedra to be sub-analytically bi-Lipschitz C-equivalent to their Newton principal parts In the thesis, we also focus on the C -sufficiency of jets Recall that the k-jet of a C r -function in the neighborhood of ∈ Rn is identified with its k-th Taylor polynomial at 0, then the function is called a realization of the jet The k-jet is said to be C p sufficient in the C r class (p ≤ r), if for any two of its C r -realizations f and g there exists a C p diffeomorphism ϕ of neighborhood of 0, such that f ◦ ϕ = g in some neighborhood of Kuiper [32] , Kuo [29], Bochnak and Lojasiewics [7] proved the followings: v Let f : (Rn , 0) → (R, 0) be a C k -function defined in a neighborhood of ∈ Rn with f (0) = Then, two following conditions are equivalent: (i) There are positive constants C and r such that ∇f (x) ≥ C x k−1 for x ≤ r (ii) The k-jet of f is sufficient in the C k class Analogous results in the case of complex analytic functions were proved by Chang and Lu [11], Teissier [55], and by Bochnak and Kucharz [6] Similar considerations are also carried out for polynomial mappings in two variables in a neighborhood of infinity by Cassou-Nogu`es and H`a [10]: Let f be a polynomial in C[z1 , z2 ] Then, two following conditions are equivalent: (i) There are positive constants C and R such that ∇f (x) ≥ C x k−1 for x ≥ R such that for every polynomial P ∈ (ii) There exists a positive constant C[z1 , z2 ] of degree less or equal k, whose modules of coefficients of monomials of degree k are less or equal , the links at infinity of almost all fibers f −1 (λ) and (f + P )−1 (λ), λ ∈ C are isotopic Let us recall that the links at infinity of the fiber of f ∈ C[z1 , z2 ] is the set f −1 (λ) ∩ {(x, y) ∈ C2 | |x|2 + |y|2 = R2 } for R sufficiently large The result of Cassou-Nogu`es and H`a is recently generalised by Skalski [54], Rodak and Spodzieja [49] In this thesis, we will give a version at infinity of the above result for a class of polynomial maps, which are Newton non-degenerate at infinity The results attended in this thesis assert that the topological, analytic and geometric properties of analytic function germs and polynomials can be described by their Newton polyhedra, see also [16, 17, 18, 20, 21, 24, 28, 37, 44, 45, 58, 59] vi In details, this thesis is divided into four chapters and a list of references Chapter recalls some notions and results of Semi-algebraic Geometry, Sub-analytic Geometry, Newton polyhedra and non-degeneracy conditions as well as of Differential equations that are useful for subsequent studies Chapter establishes a formula for computing the Lojasiewicz exponent of a nonconstant analytic function germ f in terms of its Newton polyhedron in the case where f is non-negative and non-degenerate (see Theorem 2.3) Chapter investigates the sub-analytically bi-Lipschitz topological G-equivalence for function germs from (Rn , 0) to (R, 0), where G is one of the classical Mather’s groups The mains results of this chapter are Theorem 3.3, Theorem 3.13 and Theorem 3.16 Chapter gives a sufficient condition for a deformation of a polynomial function f in terms of its the Newton boundary at infinity to be analytically (smooth in the complex case) trivial at infinity (see Theorem 4.2) The results presented in this thesis are written on three papers done by myself jointly with my supervisor, Assoc Prof Pha.m Tiˆe´n So.n They were published in the journals including International Journal of Mathematics [BP-1], Houston Journal of Mathematics [BP-2] and Annales Polonici Mathematici [BP-3] vii Contents Declaration of Authorship i Abstract ii Acknowledgements iii Introduction iv Preliminaries 1.1 1.2 1.3 1.4 Semi-algebraic Geometry 1.1.1 Semi-algebraic sets and maps 1.1.2 The Tarski–Seidenberg theorem 1.1.3 Cell decomposition 1.1.4 Other results of Semi-algebraic Geometry Sub-analytic Geometry 1.2.1 Semi-analytic sets and maps 1.2.2 Sub-analytic sets and maps 1.2.3 Triangulation Newton polyhedra and non-degeneracy conditions 10 1.3.1 Newton polyhedra and non-degeneracy conditions at the origin 10 1.3.2 Newton polyhedra and the Kouchnirenko non-degeneracy condition at infinity 11 Differential equations 12 viii Proof By contradiction and using the Curve Selection Lemma at infinity (Theorem 1.14), we can find an analytic function t(s) and an analytic curve ϕ(s) = (ϕ1 (s), , ϕn (s)) for s ∈ (0, ) satisfying the following conditions: (a) −2 < t(s) < 2; (b) ϕ(s) → ∞ as s → 0+ ; and (c) Gradx F (t(s), ϕ(s)) n i=1 = ∂F ϕi (s) ∂x (t(s), ϕ(s)) i |g(ϕ(s))|2 Let I := {i | ϕi ≡ 0} ⊂ {1, , n} By Condition (b), J = ∅ For i ∈ I, we can expand the coordinate ϕi in terms of the parameter: say ϕi (s) = x0i sai + higher order terms in s, where x0i = and ∈ Q From Condition (b), we obtain mini∈I < Let RI := {α = (α1 , , αn ) ∈ Rn | αi = for i ∈ I} Since f is convenient, Γ− (f )∩RI = ∅ We put a := (a1 , , an ) ∈ Rn , where := for i ∈ I Let d be the minimal value of the linear function a, α = i∈I αi on Γ− (f ) ∩ RI , and let ∆ be the (unique) maximal face of Γ− (f ) where the linear function i∈I αi takes its minimal value d, i.e., ∆ := {α ∈ Γ− (f ) | a, α = d} We have d < and ∆ is a closed face of Γ∞ (f ) because f is convenient and mini=1, ,n < Since Γ− (g) ⊂ Int(Γ− (f )) and t(s) is bounded, we can see that ϕi (s) ∂F ∂f∆ d (t(s), ϕ(s)) = x0i (x )s + higher order terms in s, ∂xi ∂xi for i ∈ I, where x0 := (x01 , , x0n ) and x0i := for i ∈ I Consequently, we obtain n Gradx F (t(s), ϕ(s)) ∂F (t(s), ϕ(s)) ∂xi ∂F ϕi (s) (t(s), ϕ(s)) ∂xi ϕi (s) = i=1 = i∈I = s 2d i∈I n = s2d ∂f∆ x0i (x ) ∂xi ∂f∆ (x ) ∂xi x0i i=1 48 + higher order terms in s, + higher order terms in s (The last equality follows from the fact that f∆ does not depend on xi for i ∈ / I.) Since the polynomial f is non-degenerate at infinity, it holds that n i=1 ∂f∆ (x ) x0i ∂xi = Therefore sd Gradx F (t(s), ϕ(s)) as s → 0+ (4.1) On the other hand, it follows easily from the assumption Γ− (g) ⊂ Int(Γ− (f )) that g(ϕ(s)) = o(sd ) as s → 0+ This, together with (4.1), contradicts Condition (c) Lemma 4.4 There exist positive constants C and R such that Gradx F (t, x) ≥ C, ∀ t ∈ (−2, 2), ∀ x > R Proof By contradiction and using the Curve Selection Lemma at infinity, we can find an analytic function t(s) and an analytic curve ϕ(s) = (ϕ1 (s), , ϕn (s)) for s ∈ (0, ) satisfying the following conditions (a) −2 < t(s) < 2; (b) ϕ(s) → ∞ as s → 0+ ; and (c) Gradx F (t(s), ϕ(s)) = n i=1 ∂F ϕi (s) ∂x (t(s), ϕ(s)) i → as s → 0+ Let I := {i | ϕi ≡ 0} ⊂ {1, , n} By Condition (b), I = ∅ For i ∈ I, we can expand the coordinate ϕi in terms of the parameter: say ϕi (s) = x0i sai + higher order terms in s, where x0i = and ∈ Q From Condition (b), we obtain mini∈I < Let RI := {α = (α1 , , αn ) ∈ Rn | αi = for i ∈ I} Since the polynomial f is convenient, we have Γ− (f ) ∩ RI = ∅ We put a := (a1 , , an ) ∈ Rn , where = for i ∈ I Let d be the minimal value of the linear function i∈I αi on Γ− (f ) ∩ RI , and let ∆ be the (unique) maximal face of Γ− (f ) where the linear function 49 i∈I αi takes its minimal value d Then it is easy to see that d < and ∆ is a closed face of Γ∞ (f ) Since Γ− (g) ⊂ Int(Γ− (f )) and t(s) is bounded, we can see that ϕi (s) ∂f∆ d ∂F (t(s), ϕ(s)) = x0i (x )s + higher order terms in s, ∂xi ∂xi for i ∈ I, where x0 := (x01 , , x0n ) and x0i := for i ∈ I Then it follows from Condition (c) that x0i ∂f∆ (x ) = 0, ∂xi i i ∈ I for Note that f∆ does not depend on xi for i ∈ I Therefore, x0i ∂f∆ (x ) = 0, ∂xi i for i = 1, , n This contradicts our assumption that f is non-degenerate at infinity Lemma 4.5 For each index i = 1, , n, let −g(x) x2 ∂F (t, x) Gradx F (t,x) i ∂xi Wi (t, x) := 0 if Gradx F (t, x) = 0, otherwise Then there exist positive constants C and R such that the mapping W : (−2, 2) × {x ∈ Rn | x > R} → Rn , (t, x) → (W1 (t, x), , Wn (t, x)), is analytic and satisfies the following conditions ≤ C x , W (t, x) dx F (t, x)W (t, x) = −g(x), where dx F stands for the derivative of F with respect to the variable x Proof Let C and R be positive constants for which Lemmas 4.3 and 4.4 hold true Then the mapping W is well-defined and analytic Furthermore, we have for all t ∈ (−2, 2) and all x > R, W (t, x) ≤ ≤ = |g(x)| Gradx F (t, x) |g(x)| Gradx F (t, x) n |xi | xi i=1 n i=1 x 50 n x2i |g(x)| Gradx F (t, x) ∂F (t, x) ∂xi i=1 ∂F xi (t, x) ∂xi By Lemma 4.3, we conclude that ≤ W (t, x) x C Finally, we have for t ∈ (−2, 2) and x > R, n dx F (t, x)W (t, x) = i=1 n ∂F (t, x)Wi (t, x) ∂xi −g(x) = i=1 n k=1 ∂F xk ∂x (t, x) k ∂F xi (t, x) ∂xi = −g(x) This completes the proof of the lemma Lemma 4.6 (See [54, Lemmas and 2]) Let D := {x ∈ Rn | x > R}, R > 0, and let W : (−2, 2) × D → Rn be a continuous mapping such that for some C > we have W (t, x) ≤ C x for all (t, x) ∈ (−2, 2) × D Assume that h : (α, β) → D is a maximal solution of the system of differential equations y (t) = W (t, y(t)) If ∈ (α, β), h(0) = x, and x > ReC , then β > and e−C x ≤ h(1) ≤ eC x If ∈ (α, β), h(1) = x, and x > ReC , then α < and e−C x ≤ h(0) ≤ eC x Now, we are in a position to finish the proof of Theorem 4.2 Proof of Theorem 4.2 We first consider the real case There exist positive constants C and R such that the mapping W : (−2, 2) × {x ∈ Rn | x > R} → Rn defined in Lemma 4.5 is analytic Let us consider the following system of differential equations y (t) = W (t, y(t)) 51 (4.2) Let D := {x ∈ Rn | x > R} Since the mapping W is analytic in (−2, 2) × D, it follows from Theorem 1.44 that for any (s, x) ∈ (−2, 2) × D, there exists a unique solution φ(s,x) of (4.2) defined on an open interval I(s, x) of R and satisfying the initial condition φ(s,x) (s) = x Moreover, the mapping {(s, x, t) ∈ R × Rn × R | s ∈ (−2, 2), x > R, t ∈ I(s, x)} → Rn (s, x, t) → φ(s,x) (t) is analytic Set Ω := {x ∈ Rn | x > ReC } and define the mappings Φ, Ψ : [0, 1] × Ω → D by Φ(t, x) = φ(0,x) (t) and Ψ(t, y) = φ(t,y) (0) By Lemmas 4.5 and 4.6, the mappings Φ, Ψ are well defined, analytic, and satisfy e−C x ≤ Φ(t, x) ≤ eC x , for t ∈ [0, 1], x ∈ Ω, e−C y ≤ Ψ(t, y) ≤ eC y , for t ∈ [0, 1], y ∈ Ω (4.3) Let Ω0 := {x ∈ Rn | x > Re2C } and Ωt := {y ∈ Rn | Ψ(t, y) ∈ Ω0 } for t ∈ (0, 1] Then for each t ∈ [0, 1], Ωt is an open subset of Ω and the following inclusion holds true {y ∈ Rn | y > Re3C } ⊂ Ωt , and therefore Ωt is a neighborhood of infinity On the other hand, from the global uniqueness of solutions of (4.2), it is easy to see that for any t ∈ [0, 1] we have (a) Φ(0, x) = x for x ∈ Ω0 ; (b) Ψ(t, Φ(t, x)) = x for x ∈ Ω0 ; and (c) Φ(t, Ψ(t, y)) = y for y ∈ Ωt Summing up, for each t ∈ [0, 1] the mappings Φt : Ω0 → Ωt , x → Φ(t, x), and Ψt : Ωt → Ω0 , y → Ψ(t, y), are analytic diffeomorphisms of neighborhoods of infinity and Ψt = Φ−1 t Moreover, by Inequality (4.3), we have Φt (x) → ∞ if, and only if, x → ∞ 52 Finally, thanks to Lemma 4.5, we obtain dF (t, φ(0,x) (t)) = g(φ(0,x) (t)) + dx F (t, φ(0,x) (t))φ(0,x) (t) dt = g(φ(0,x) (t)) + dx F (t, φ(0,x) (t))W (t, φ(0,x) (t)) = g(φ(0,x) (t)) − g(φ(0,x) (t)) = Hence, F (t, φ(0,x) (t)) = f (x) for all t ∈ [0, 1], and, in consequence, f (Φt (x)) + tg(Φt (x)) = f (x), for x ∈ Ω0 This proves the theorem in the real case We next consider the complex case, i.e., K = C For each z ∈ C, z¯ stands for the complex conjugate of z; the norm of x := (x1 , , xn ) ∈ Cn is defined by x |2 |x1 + · · · + |xn := |2 Let F (t, x) := f (x) + tg(x) as before and consider the following system of differential equations y (t) = W (t, y(t)), where W (t, x) := (W1 (t, x), , Wn (t, x)) with Wi , i = 1, , n, defined by −g(x) ∂F (t, x) if Gradx F (t, x) = 0, |xi |2 ∂x Gradx F (t,x) i Wi (t, x) := 0 otherwise Then the rest of the theorem follows as in the real case Remark 4.7 The method used here to prove Theorem 4.2 modifies a method used in [29, 32] (see also [20, 49, 54, 58, 59]) 53 Conclusions The main goals of this thesis are to study Lojasiewicz inequalities and topological equivalences (local and at infinity) for a class of functions satisfying non-degenerate conditions in terms of Newton polyhedra with some tools of Singularity Theory and Semi-algebraic Geometry Our main results include: - Establishing a formula for computing the Lojasiewicz exponent of a non-constant analytic function germ f in terms of the Newton polyhedron of f in the case where f is non-negative and non-degenerate (see Theorem 2.3) - Investigating into the sub-analytically bi-Lipschitz topological G-equivalence for function germs from (Rn , 0) to (R, 0), where G is one of the classical Mather’s groups We present relationships between these topological equivalence types and the result is presented in Theorem 3.3 - Showing that the Lojasiewicz exponent and the multiplicity of analytic function germs are invariants of the bi-Lipschitz K-equivalence (Corollary 3.9 and Corollary 3.10) - Proving that every non-negative analytic function germ f , which satisfies Kouchnirenko’s non-degeneracy condition, is sub-analytically bi-Lipschitz C-equivalent to the polynomial α xα , where the sum is taken over the set of all vertices of the Newton polyhedron of f (see Theorem 3.16) - Giving a sufficient condition for a deformation of a polynomial function f in terms of its Newton polyhedron at infinity to be analytically (smooth in the complex case) trivial at infinity in Theorem 4.2 54 List of Author’s Related Papers [BP-1] N T N B` ui and T S Pha.m, Computation of the Lojasiewicz exponent of nonnegative and nondegenerate analytic functions, Internat J Math, 25 (10) (2014), 1450092 (13 pp.) [BP-2] N T N B` ui and T S Pha.m, On the subanalytically topological types of function germs, Houston J Math., 42 (4) (2016), 1111–1126 [BP-3] N T N B` ui and T S Pha.m, Analytically principal part of polynomials at infinity, Ann Polon Math., 117 (3) (2016), 259–268 55 Bibliography [1] S Alvarez, L Birbrair, J C F Costa, and A Fernandes, Topological K-equivalence of analytic function germs, Cent Eur J Math., (2) (2010), 338–345 [2] E Bierstone and P D Milman, Semianalytic and subanalytic sets, Publ Math I.H.E.S., Bures-sur-Yvette, France, 67 (1988), 5–42 [3] L Birbrair, J C F Costa, A Fernandes, and M A S Ruas, K-bi-Lipschitz equivalence of real function-germs, Proc Amer Math Soc., 135 (4) (2007), 1089–1095 [4] L Birbrair, J C F Costa, and A Fernandes, Finiteness theorem for topological contact equivalence of map germs, Hokkaido Math J., 38 (2009), 511–517 [5] L Birbrair and J.J Nuno-Balesteros, Topologocal K and A equivalence of polynomial functions, Journal of Sing., (2012), 15–18 [6] J Bochnak and W Kucharz, Sur les germes d’applications differentiables `a singularit´es isol´ees, Trans Amer Math Soc., 252 (1979), 115–131 [7] J Bochnak and S Lojasiewicz, A converse of the Kuiper-Kuo theorem, in: Proceedings of Liverpool Singularities- Symposium, I, 1969/1970, in: Lecture Notes in Math., Springer, Berlin, 192 (1971), 254–261 [8] J Bochnak and J J Risler, Sur les exposant de Lojasiewicz, Comment Math Helv., 50 (1975), 493–507 [9] J Bochnak, M Coste and M.-F Roy, Real Algebraic Geometry, Springer, 36 (1998) [10] P Cassou-Nogu`es and H V H`a, Theoreme de Kuiper–Kuo–Bochnak–Lojasiewicz a l’infini, Ann Fac Sci Toulouse Math., (3) (1996), 387–406 56 [11] S.H Chang and Y.C Lu, On C -sufficiency of complex jets, Canad J Math., 25 (1973), 874–880 [12] G Comte, P Milman, and D Trotman, On Zariski’s multiplicity problem, Proc Amer Math Soc., 130 (7) (2002), 2045–2048 [13] J.C.F Costa, A note on topological contact equivalence, in Real and Complex Singularities, Lond Math Soc Lecture Notes Series, 380 (2010), 114–124 [14] J C F Costa and J.J Nuno-Balesteros, Topological K-classification of finitely determined map germs, Geom Dedicata, 166 (2013), 147–162 [15] J C F Costa, T Nishimura, and M A S Ruas, Bi-Lipschitz A-equivalence of K-equivalent map-germs, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales Serie A Matematicas, 108 (1) (2014), 173–182 [16] J Damon and T Gaffney, Topological triviality of deformations of functions and Newton filtrations, Invent Math., 72 (1983), 335–358 [17] J Damon, Topological equivalence for nonisolated singularities and global affine hypersurfaces, A.M.S Contemp Math., 90 (1989), 21–53 - inh, H V H`a, T S Pha.m, and N T Tha˙’o, Global Lojasiewicz-type in[18] S T D equality for nondegenerate polynomial maps, J Math Anal Appl., 410 (2) (2014), 541–560 [19] A C G Fernandes and M A R Ruas, Bi-Lipschitz determinacy of quasihomogeneous germs, Glasg Math J., 46 (1) (2004), 77–82 [20] T Fukui and E Yoshinaga, The modified analytic trivialization of family of real analytic functions, Invent Math., 82 (3) (1985), 467–477 [21] H V H`a and H D Nguyˆ˜en, Lojasiewicz inequality at infinity for polynomials in two real variables, Math Z., 266 (2) (2010), 243–264 [22] R M Hardt, Triangulation of subanalytic sets and proper light subanalytic maps, Invent Math., 38 (3) (1977), 207–217 [23] M Hirsch and S Smale, Differential equations, Dynamical Systems and Linear Algebra, Academic Press, (1974) 57 [24] S G Gindikin, Energy estimates connected with the Newton polyhedron, (Russian) Trudy Moskovskogo Matematicheskogo Obshchestva, 31, 189–236 (English) Trans Moscow Math Soc., 31 (1974), 193–246 [25] J Gwo´zdziewicz, The Lojasiewicz exponent of an analytic function at an isolated zero, Comment Math Helv., 74 (3) (1999), 364–375 [26] H.C King, Real analysis germs and their varieties isolated singularities, Invent Math., 37 (1976), 193–199 [27] J Kollar, An effective Lojasiewicz inequality for real polynomials, Period Math Hungar., 38 (3) (1999), 213–221 [28] A G Kouchnirenko, Polyhedres de Newton et nombre de Milnor, Invent Math., 32 (1976), 1–31 [29] T C Kuo, On C -sufficiency of jets of potential functions, Topology, (1969), 167–171 [30] T C Kuo, Characterizations of v-sufficiency of jets, Topology, 11 (1972), 115–131 [31] T C Kuo, Computation of Lojasiewicz exponent of f (x, y), Comment Math Helv., 49 (1974), 201–213 [32] N.H Kuiper, C -equivalence of functions near isolated critical points, in: Symposium on Infinite-Dimensional Topology, Louisiana State Univ., Baton Rouge, La., (1967), in: Ann of Math Stud., Princeton Univ Press, Princeton, NJ, 69 (1972), 199–218 [33] K Kurdyka and S Spodzieja, Separation of real algebraic sets and the Lojasiewicz exponent, Proc Amer Math Soc., 142 (9) (2014), 3089–3102 ´ [34] S Lojasiewicz, Ensembles semi-analytiques, IInst Hautes Etudes Sci Publ Math., Bures-sur-Yvette, (1965) [35] J N Mather, Stability of C ∞ -mappings, III Finitely determined map-germs, Inst ´ Hautes Etudes Sci Publ Math., 35 (1969), 127–156 [36] J N Mather, Stability of C ∞ mappings IV Classification of stable germs by R´ algebras, Inst Hautes Etudes Sci Publ Math., 37 (1969), 223–248 58 [37] V P Mikhalov, The behaviour at infinity of a class of polynomials, (Russian) Trudy Mat lnst Steklov., 91 (1967), 59–80 [38] J Milnor, Singular points of complex hypersurfaces, Ann of Math Stud., 61, Princeton University Press, (1968) [39] R Narasimhan, Analysis on real and complex manifolds, North-Holland Math Library, 35, North-Holland Publishing Co., Amsterdam, (1985), reprint of the 1973 edition [40] A N´emethi and A Zaharia, Milnor fibration at infinity, Indag Math., (1992), 323–335 [41] J Nie and M Schweighofer, On the complexity of Putinar’s Positivstellensatz, J of Comp., 23 (1) (2007), 135–150 [42] T Nishimura, Topological types of finitely C -K-determined map germs, Trans Amer Math Soc., 312 (1989), 621–639 [43] T Nishimura, Topological K-equivalence of smooth map-germs, Stratifications, Singularities and Differential Equations, I (Marseille 1990, Honolulu, HI 1990) 82–93, Travaux en Cours, 54, Hermann, Paris (1997) [44] M Oka, On the bifurcation of the multiplicity and topology of the Newton boundary, J Math Soc Japan, 31 (3) (1979), 435–450 [45] M Oka, Non-degenerate complete intersection singularity, Actualites Mathematiques, Hermann, Paris, (1997) [46] A O Prishlyak, Topological equivalence of smooth functions with isolated critical points on a closed surface, Topology Appli., 119 (2002), 257–267 [47] T S Pha.m, An explicit bound for the Lojasiewicz exponent of real polynomials, Kodai Math J., 35 (2012), 311–319 [48] J J Risler and D Trotman, Bi-Lipschitz invariance of the multiplicity, Bull London Math Soc., 29 (1997), 200–204 [49] T Rodak and S Spodzieja, Equivalence of mappings at infinity, Bull Sci Math., 136 (6) (2012), 679–686 59 [50] M.A.S Ruas and G Vallete, C and bi-Lipschitz K-equivalence of mappings, Math Z., 269 (1-2) (2011), 293–308 [51] O Saeki, Topological types of complex isolated hypersurface singularities, Kodai Math J., 12 (1) (1989), 23–29 [52] M Schweighofer, On the complexity of Schmă udgens Positivstellensatz, Journal of Comp., 20 (2004), 529–543 [53] M Shiota, Geometry of subanalytic and semianalytic sets, Progress in Mathematics, (1997) [54] G Skalski, On analytic equivalence of functions at infinity, Bull Sci Math., 135 (5) (2011), 517–530 [55] B Teissier, Vari´et´es polaires, I Invariants polaires des singularit´es d’hypersurfaces, Invent Math., 40 (3) (1977), 267–292 [56] M Takahashi, A sufficient condition that contact equivalence implies right equivalence for smooth function germs, Houston J Math., 35 (3) 2009, 829–833 [57] L.van den Dries, Tame Topology and o-minimal Structures, LMS Lecture Notes, Cambridge University Press, (1997) [58] E Yoshinaga, The modified analytic trivialization of real analytic families via blowing-ups, J Math Soc Japan, 40 (2) (1988), 161–179 [59] E Yoshinaga, Topologically principal part of analytic functions, Trans Amer Math Soc., 314 (2) (1989), 803–814 [60] C T C Wall, Finite determinacy of smooth map-germs, Bull London Math Soc., 13 (6) (1981), 481–539 60 Table of Notations Cp p-times continuously differentiable mappings Z set of integer numbers Z+ set of non-negative integer numbers R set of real numbers R+ set of non-negative real numbers C set of complex numbers x, y canonical inner product |x| modulus, absolute value of x x Euclidean norm of a vector x Γ+ (f ) Newton polyhedron of f at the origin Γ(f ) Newton boundary of f at the origin Γ− (f ) Newton polyhedron of f at infinity Γ∞ (f ) Newton boundary of f at infinity L0 (f ) Lojasiewicz exponent of f at the origin 61 Index convenient, 10, 11, 26 semi-analytic, Curve Selection Lemma, 5, 19, 39 sub-analytic, – at infinity, 5, 48 equivalent C -A- –, 30, 31 triangulation, 9, 32 vertice, 10, 12, 18 C -C- –, 31 C -K- –, 30, 31, 37 C -V- –, 31 face, 10, 11, 16 Lojasiewicz – exponent, 15, 18 – inequality, 6, – exponent, 37 – inequality, 33, 35 Classical – inequality, 6, 15 multiplicity, 38 Newton polyhedron – at infinity, 11, 47 – at the origin, 10, 16, 29, 39 non-degenerate Kouchnirenko –, 11, 16–18, 41 Kouchnirenko – at infinity, 12, 47 Mikhailov–Gindikin –, 11 Mikhailov-Gindikin –, 39 semi-algebraic, 62 ... LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA by B` ui Nguyˆ˜en Tha˙’o Nguyˆen The goals of this thesis are to study Lojasiewicz inequalities and topological equivalences... Newton polyhedra and non-degeneracy conditions 10 1.3.1 Newton polyhedra and non-degeneracy conditions at the origin 10 1.3.2 Newton polyhedra and the... EDUCATION AND TRAINING DALAT UNIVERSITY BUI NGUYEN THAO NGUYEN LOJASIEWICZ INEQUALITIES, TOPOLOGICAL EQUIVALENCES AND NEWTON POLYHEDRA Speciality: Mathematical Analysis Speciality code: 62.46.01.02 A