arXiv subjects
Publications and source records attributed to Zbigniew Jelonek.
Over any infinite field we prove existence of polynomial automorphism with prescribed differentials at points. More precisely, let $\K$ be an infinite field and $a_1,\ldots, a_k;$ $b_1,\ldots , b_k$ be two sequences of different points in~$\K^n$, $n\ge 2$. For any sequence $L_1,\ldots, L_k\in SL(n,\K)$ there exists a polynomial automorphism $\Phi: \K^n\to \K^n$ with jacobian one such that $\Phi(a_i)=b_i$ and $d_{a_i} \Phi= L_i$ for $i=1,\ldots, k.$
We show that inner Lipschitz classification of real algebraic curves is equivalent to outer Lipschitz classification in $\mathbb{R}^3$ of real algebraic curves with LNE connected components. Moreover, for every real affine algebraic curve we find its LNE model which is real birational to it. Lastly, we show that this claim does not hold in the complex category.
We show that the set $A(n, d)$ of polynomial automorphisms $F : \Bbb C^n \to \Bbb C^n$ of degree at most $d$ and with $Jac(F ) = 1$ is Zariski closed. In particular every irreducible component of the set $A(n,d)$ of polynomial mappings with Jacobian $1$ is either composed with polynomial automorphisms or (generically) with counterexamples to the Jacobian Conjecture. Moreover every such component has dimension at least $n^2-1.$ In particular if the set $X(n,d)$ is irreducible, and $n\ge 3, d\ge 6$, then a generic element of this set is a counterexample to the Jacobian Conjecture.
In this article, we approach the Arnold corank problem, posed by Arnold in 1975, which asks whether the corank of holomorphic functions is an ambient topological invariant. Here, we obtain a complete positive answer to the metric Arnold corank problem, which asks whether the corank of holomorphic functions is an ambient bi-Lipschitz invariant. Consequently, we show that for complex hypersurfaces, the multiplicity equal to two is an ambient bi-Lipschitz invariant. We also prove that the Arnold corank problem holds true for holomorphic functions of three variables. Other topological invariants are also presented.
We show that the manifold $X=S^2\times S^3$ has infinitely many structures of a fiber bundle over the base $B=S^2.$ In fact for every lens space $L(p,1)$ there is a fibration $L(p,1)\to X\to B.$
We show that two bi-Lipschitz equivalent Brieskorn-Pham hypersurfaces have the same multiplicities at $0$. Moreover we show that if two algebraic $(n-1)$-dimensional cones $P, R\subset\mathbb C^n$ with isolated singularities are homeomorphic, then they have the same degree.
We show that for every $k\ge 3$ there exist complex algebraic cones of dimension $k$ with isolated singularities, which are bi-Lipschitz and semi-algebraically equivalent but they have different degrees. We also prove that homeomorphic projective hypersurfaces with dimension greater than 2 have the same degree. In the final part of the paper, we classify links of real cones with base $\mathbb{P}^1\times \mathbb{P}^2.$ As an application we give an example of three four dimensional real algebraic cones in $\mathbb{R}^8$ with isolated singularity which are semi-algebraically and bi-Lipschitz equivalent but they have non-homeomorphic bases.
In this note we provide two special examples of non-injective polynomial maps from $\mathbb{R}^2$ to $\mathbb{R}^2$ with non-vanishing Jacobian: the first one is surjective, the second one has non-dense image.
In the paper \cite{renato} Renato Targino shows that bi-Lipschitz type of plane curve is determined by the local ambient topological properties of curves. Here we show that it is not longer true in higher dimensions. However we show that bi-Lipschitz type of space curves is determined by the number of singular points and by the local ambient topological type of a generic projection of such curves into the affine plane.
Let $(\bf {V,0})\subset (\mathbb{C}^n,0)$ be a germ of a complex hypersurface and let $f: (\mathbb{C}^n,0)\to(\mathbb{C}^n,0)$ be a germ of a finite holomorphic mapping. If germs $(\bf {V,0})$ and ${\bf W}:=(F^{-1}(\bf{ V})),0)$ are irreducible and with isolated singularities, then $$μ(F^{-1}(\bf{ V}))\ge μ(\bf {V}),$$ where $μ$ denotes the Milnor number.
Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial mapping with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective mapping. Moreover, the set $S_F$ can not be connected (this is the Nollet-Xavier Conjecture). Additionally, if $n=2$, then the set $S_F$ of non-properness of $F$ cannot be a curve without self-intersections.
In this paper, we prove Fukui-Kurdyka-Paunescu's Conjecture, which says that subanalytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of the multiplicity (resp. degree) of real and complex analytic (resp. algebraic) sets. For instance, still in the real case, we prove a global version of Fukui-Kurdyka-Paunescu's Conjecture. In the complex case, one of the results that we prove is the following: If $(X,0)\subset (\mathbb{C}^n,0), (Y,0)\subset (\mathbb{C}^m,0)$ are germs of analytic sets and $h\colon (X,0)\to (Y,0)$ is a semi-bi-Lipschitz homeomorphism whose graph is a complex analytic set, then the germs $(X,0)$ and $(Y,0)$ have the same multiplicity. One of the results that we prove in the global case is the following: If $X\subset \mathbb{C}^n, Y\subset \mathbb{C}^m$ are algebraic sets and $ϕ\colon X\to Y$ is a semialgebraic semi-bi-Lipschitz homeomorphism such that the closure of its graph in $\mathbb{P}^{n+m}(\mathbb{C})$ is an orientable homological cycle, then ${\rm deg}(X)={\rm deg}(Y)$.
Let $X\subset \mathbb{C}^n; Y\subset \mathbb{C}^m$ be closed affine varieties and let $ϕ: X\to Y$ be an algebraic bi-Lipschitz homeomorphism. Then ${\rm deg}\ X={\rm deg}\ Y.$ Similarly, let $(X,0)\subset (\mathbb{C}^n,0), (Y,0)\subset (\mathbb{C}^m,0)$ be germs of analytic sets and let $f: (X,0)\to (Y,0)$ be a c-holomorphic and bi-Lipschitz mapping. Then ${\rm mult}_0 \ X= {\rm mult }_0 \ Y.$ Finally we show that the normality is not a bi-Lipschitz invariant.
Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic mapping $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n, \mathbb{R}^m),$ the space of all linear mappings from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (semi-algebraic) set in $\mathbb{R}^m.$ To do this, we study the tangent cone at infinity $C_\infty X$ and the set $E_\infty X \subset C_\infty X$ of (unit) exceptional directions at infinity of $X.$ Specifically we show that the set $E_\infty X$ is nowhere dense in $C_\infty X \cap \mathbb{S}^{n - 1}.$
For given natural numbers $d_1,d_2$ let $Ω_2(d_1,d_2)$ be the set off all polynomial mappings $F=(f,g):\mathbb{C}^2\to\mathbb{C}^2$ such that deg $f\le d_1$, deg $g\le d_2$. We say that the mapping $F$ is topologically stable in $Ω_2(d_1,d_2)$ if for every small deformation $F_t\in Ω_2(d_1,d_2)$ the mapping $F_t$ is topologically equivalent to the mapping $F$. The aim of this paper is to characterize the topologically stable mappings in $Ω_2(d_1,d_2)$. In particular we show how to effectively determine a member of $Ω_2(d_1,d_2)$ with generic topology.
Let $k$ be an infinite field and $I\subset k [x_1, \ldots ,x_n]$ be an ideal such that dim $V(I)=q$. Denote by $(f_1, \ldots, f_s)$ a set of generators of $I$. One can see that in the set $I\cap k [x_{1},...,x_{q+1}]$ there exist non-zero polynomials, depending only on these $q+1$ variables. We aim to bound the minimal degree of the polynomials of this type, and of a Bézout (i.e. membership) relation expressing such a polynomial as a combination of the $f_i$.
Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and semialgebraic homeomorphism of $\Bbb R^n.$
Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points at which $f$ is not proper, is covered by polynomial curves of degree at most $d-1$. In this paper we generalize this result to positive characteristic. We provide a geometric proof of an upper bound by $d$.