Effective formulas for the local Łojasiewicz exponent
type: Item
instance of: scholarly article
title: Effective formulas for the local Łojasiewicz exponent
zbMATH Open document ID: 1262.14072
author: Tomasz Rodak
author: Stanisław Spodzieja
published in: Mathematische Zeitschrift
publication date: 2011-06-17T00:00:00Z
review text: Let \(F : (\mathbb C^n,0)\to(\mathbb C^m,0)\) be a holomorphic mapping defined in a neighborhood \(0\in\mathbb C^n\). The local Łojasiewicz exponent of \(F\), denoted by \(\mathcal L_0(F)\), is defined to be the infimum of the set of all exponents \(v\in\mathbb R\) in the Łojasiewicz inequality \(|F(z)|\geq C|z|^v\) as \(|z|\to 0\) for some constant \(C > 0\). In this paper, the authors consider the case when \(F : (\mathbb C^n , 0)\to (\mathbb C^m , 0)\) is a polynomial mapping. They give an effective algorithm computing the dimension of the germ \(V (F ) = F^{-1}(0)\) at the origin and if this dimension is zero, they compute the local Lojasiewicz exponent \(\mathcal L_0(F)\). More precisely, the main result of this paper is the following. Let \(F :(\mathbb C^n,0)\to(\mathbb C^m, 0)\) be a polynomial mapping of degree \(d = \deg F\). Denote by \(\mathbb L(m, n)\) the set of all linear mappings \(\mathbb C^m\to\mathbb C^n\). For \(q\in\{0,\dots, n\}\), \(M\in\mathbb L(n, q)\) and \(L\in\mathbb L(m+q, n)\), define \[ H_{L,M}(z) = L(F(z),M(z)) + (z_1^{d^n+1},\dots,z_n^{d^n+1}). \] Let \(\Phi_q :\mathbb L(m+q, n)\times\mathbb L(n, q)\times\mathbb L(n, 1)\times\mathbb C^n\to\mathbb L(m+q, n)\times\mathbb L(n, q)\times\mathbb L(n, 1)\times\mathbb C^n\times\mathbb C\) be a mapping given by the equation \[ \Phi_q (L, M, N, z) = (L, M, N, H_{L,M} (z), N (z)). \] The mapping \(\Phi_q\) is proper and its image is an algebraic set of pure dimension \((m + q)n + nq + 2n\). So there exists a polynomial \(P_q\in\mathbb C[L, M, N, y, t]\) of the form \[ P_q (L, M, N, y, t) = \sum_{j=0}^p P_{q,j}(L, M, N, y)t^j \] such that \(P_{q,p} \neq 0\) and the zero-set \(V (P_q)\) of \(P_q\) is the image of \(\Phi_q\). There exists \(r\) with \(0\leq r < p\) such that \(\mathrm{ord}_y P_{q,j} > 0\) for \(j = 0,\dots, r\), and \(\mathrm{ord}_y P_{q,r+1} = 0\). Set \[ \Delta'(P_q)=\min_{j=0}^r \frac{\mathrm{ord}_yP_{q,j}}{r+1-j}. \] Then \[ \dim_0 V (F) = \min\{q :\frac{1}{\Delta'(P_q)}<d^n+1\…
reviewed by: Wenbo Niu
Mathematics Subject Classification ID: 14Q20
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 32H02
Mathematics Subject Classification ID: 14B05
zbMATH DE Number: 5909105
zbMATH Keywords: Łojasiewicz exponent
zbMATH Keywords: effective formulas
zbMATH Keywords: germ of algebraic set
zbMATH Keywords: dimension
describes a project that uses: SINGULAR
MaRDI profile type: Publication
full work available at URL: s00209-009-0659-8
OpenAlex ID: W1988914731
cites work: On the Łojasiewicz exponent and Newton polyhedron
cites work: On improper isolated intersection in complex analytic geometry
cites work: The ﬁniteness property and Łojasiewicz inequality for global semianalytic sets
cites work: Q5625979
cites work: Sur les exposants de Lojasiewicz
cites work: Q4944058
cites work: On C0-Sufficiency of Complex Jets
cites work: Resultant and the Łojasiewicz exponent
cites work: A set on which the local Łojasiewicz exponent is attained
cites work: Separation of algebraic sets and the Łojasiewicz exponent of polynomial mappings
cites work: Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials
cites work: The Łojasiewicz exponent of c-holomorphic mappings
cites work: Lojasiewicz Type Inequalities and Newton Diagrams
cites work: Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
cites work: The Łojasiewicz numbers and plane curve singularities
cites work: On the Łojasiewicz numbers. II
cites work: Q2781760
cites work: On the division of distributions by polynomials
cites work: An effective Łojasiewicz inequality for real polynomials
cites work: Effective Nullstellensatz for arbitrary ideals
cites work: On \(C^0\)-sufficiency of jets of potential functions
cites work: Computation of Lojasiewicz exponent of f(x,y)
cites work: Newton-Puiseux roots of Jacobian determinants
cites work: Q4291234
cites work: Estimation of Lojasiewicz exponents and Newton polygons
cites work: Łojasiewicz inequalities for sets definable in the structure \({\mathbb R}_{\text{exp}}\)
cites work: Sur le problème de la division
cites work: On polar invariants of hypersurface singularities
cites work: Invariants polaires des courbes planes
cites work: Q3700026
cites work: Q3712591
cites work: Q3810114
cites work: On the maximal polar quotient of an analytic plane curve
cites work: Effective formulas for the Łojasiewicz exponent at infinity
cites work: On the effective computation of Łojasiewicz exponents via Newton polyhedra
cites work: Multiplicity and the Łojasiewicz exponent
cites work: The Łojasiewicz exponent of subanalytic sets
cites work: Variétés polaires. I: Invariants polaires des singularites d'hypersurfaces
DOI: 10.1007/S00209-009-0659-8
description: scientific article; zbMATH DE number 5909105