Showing 1–37 of 37 results for author: Jelonek, Z

Manifold with infinitely many fibrations over the sphere

Authors: Włodzimierz Jelonek, Zbigniew Jelonek

Abstract: 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 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.$ △ Less

Submitted 2 May, 2024; originally announced May 2024.

Symmetry defect of $n$-dimensional complete intersections in $\mathbb{C}^{2n-1}$

Authors: L. R. G. Dias, Z. Jelonek

Abstract: Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcati… ▽ More Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcation set $B(X,Y)$ of the map** $Φ$, is an algebraic variety, characterized by a topological invariant. We introduce a hypersurface that approximates the set $B(X,Y)$ and we present an estimate for its degree. Moreover, for any two $n$-dimensional strong complete intersections $X,Y\subset \mathbb{C}^{2n-1}$ (including the case $X=Y$) we introduce a generic symmetry defect set $\tilde{B}(X,Y)$ of $X$ and $Y$, which is defined up to homeomorphism. △ Less

Submitted 29 April, 2024; originally announced April 2024.

On metric equivalence of the Brieskorn-Pham hypersurfaces

Authors: Alexandre Fernandes, Zbigniew Jelonek, José Edson Sampaio

Abstract: 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 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. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 5 pages

MSC Class: 14B05; 32S50; 58K30 (Primary) 58K20 (Secondary)

Bi-Lipschitz equivalent cones with different degrees

Authors: Alexandre Fernandes, Zbigniew Jelonek, José Edson Sampaio

Abstract: 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… ▽ More 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. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:2302.05387

MSC Class: 14B05; 32S50; 58K30 (Primary) 58K20 (Secondary)

The PInchuk example revisited

Authors: Filipe Fernandes, Zbigniew Jelonek

Abstract: 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 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. △ Less

Submitted 31 May, 2023; originally announced June 2023.

The multiplicity mod 2 is not a bi-lipschitz invariant

Authors: A. Fernandes, Z. Jelonek, J. E. Sampaio

Abstract: We show that subanalytic bi-Lipschitz homeomorphisms in general does not preserve the multiplicities of real analytic sets. We show that subanalytic bi-Lipschitz homeomorphisms in general does not preserve the multiplicities of real analytic sets. △ Less

Submitted 28 August, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: We have omitted one possibility in Lemma 3.2. Now the Conjecture is still open

Bi-Lipschitz characterization of space curves

Authors: Alexandre Fernandes, Zbigniew Jelonek

Abstract: 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… ▽ More 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. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Comments: 5 pages

Note on Milnor numbers of irreducible germs

Authors: Zbigniew Jelonek

Abstract: 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 map**. 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 $(\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 map**. 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. △ Less

Submitted 21 January, 2023; originally announced January 2023.

MSC Class: 14R15; 14R99; 14P10

Generic symmetry defect set of an algebraic curve

Authors: L. R. G. Dias, M. Farnik, Z. Jelonek

Abstract: Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. △ Less

Submitted 6 March, 2022; originally announced March 2022.

MSC Class: 14 D 06; 14 Q 20

On the Fukui-Kurdyka-Paunescu Conjecture

Authors: Alexandre Fernandes, Zbigniew Jelonek, José Edson Sampaio

Abstract: 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-Kurd… ▽ More 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)$. △ Less

Submitted 17 August, 2021; v1 submitted 2 August, 2021; originally announced August 2021.

Comments: 19 pages. Some typos fixed and a small change in the title

MSC Class: 14B05; 32S50; 58K30 (Primary) 58K20 (Secondary)

On algebraic bi-Lipschitz homeomorphisms

Authors: Zbigniew Jelonek

Abstract: 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 map**. Then ${\rm mult}_0 \ X= {\rm mult }_0 \ Y.$ Fin… ▽ More 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 map**. Then ${\rm mult}_0 \ X= {\rm mult }_0 \ Y.$ Finally we show that the normality is not a bi-Lipschitz invariant. △ Less

Submitted 6 May, 2021; v1 submitted 14 April, 2021; originally announced April 2021.

A note on the Jacobian Conjecture

Authors: Zbigniew Jelonek

Abstract: Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial map** with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective map**. 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. Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial map** with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective map**. 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. △ Less

Submitted 8 September, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: Versions 4 and 5 are incorrect. There is an mistake in section 2. Versions 1,2,3 are correct. Sorry!

Stability of closedness of semi-algebraic sets under continuous semi-algebraic map**s

Authors: Si Tiep Dinh, Zbigniew Jelonek, Tien Son Pham

Abstract: Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic map** $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 map**s from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (se… ▽ More Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic map** $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 map**s 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}.$ △ Less

Submitted 2 April, 2021; v1 submitted 10 October, 2020; originally announced October 2020.

On stable polynomial map**s

Authors: Michał Farnik, Zbigniew Jelonek

Abstract: For given natural numbers $d_1,d_2$ let $Ω_2(d_1,d_2)$ be the set off all polynomial map**s $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 map** $F$ is topologically stable in $Ω_2(d_1,d_2)$ if for every small deformation $F_t\in Ω_2(d_1,d_2)$ the map** $F_t$ is topologically equivalent to the map** $F$. The aim of this paper is to character… ▽ More For given natural numbers $d_1,d_2$ let $Ω_2(d_1,d_2)$ be the set off all polynomial map**s $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 map** $F$ is topologically stable in $Ω_2(d_1,d_2)$ if for every small deformation $F_t\in Ω_2(d_1,d_2)$ the map** $F_t$ is topologically equivalent to the map** $F$. The aim of this paper is to characterize the topologically stable map**s 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. △ Less

Submitted 16 June, 2020; originally announced June 2020.

MSC Class: 14R99; 32A10

A note on the Jacobian Conjecture

Authors: Z. Jelonek, H. Zołądek

Abstract: We do not know whether the main result is true, the proof of theorem 2.1 contains a gap. We do not know whether the main result is true, the proof of theorem 2.1 contains a gap. △ Less

Submitted 27 April, 2020; v1 submitted 10 April, 2020; originally announced April 2020.

Comments: The proof of theorem 2.1 contains a gap

On the extension of bi-Lipschitz map**s

Authors: Lev Birbrair, Alexandre Fernandes, Zbigniew Jelonek

Abstract: 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 $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.$ △ Less

Submitted 3 January, 2020; originally announced January 2020.

Finite $\mathcal{A}$-determinacy of generic homogeneous map germs in $\mathbb{C}^3$

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: Denote by $H(d_1,d_2,d_3)$ the set of all homogeneous polynomial map**s $F=(f_1,f_2,f_3): \C^3\to\C^3$, such that $°f_i=d_i$. We show that if $\gcd(d_i,d_j)\leq 2$ for $1\leq i<j\leq 3$ and $\gcd(d_1,d_2,d_3)=1$, then there is a non-empty Zariski open subset $U\subset H(d_1,d_2,d_3)$ such that for every map** $F\in U$ the map germ $(F,0)$ is $\mathcal{A}$-finitely determined. Moreover, in this… ▽ More Denote by $H(d_1,d_2,d_3)$ the set of all homogeneous polynomial map**s $F=(f_1,f_2,f_3): \C^3\to\C^3$, such that $°f_i=d_i$. We show that if $\gcd(d_i,d_j)\leq 2$ for $1\leq i<j\leq 3$ and $\gcd(d_1,d_2,d_3)=1$, then there is a non-empty Zariski open subset $U\subset H(d_1,d_2,d_3)$ such that for every map** $F\in U$ the map germ $(F,0)$ is $\mathcal{A}$-finitely determined. Moreover, in this case we compute the number of discrete singularities ($0$-stable singularities) of a generic map** $(f_1,f_2,f_3):\C^3\to\C^3$, where $°f_i=d_i$. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Quantitative properties of the non-properness set of a polynomial map, a positive characteristic case

Authors: Zbigniew Jelonek, Michał Lasoń

Abstract: 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 prov… ▽ More 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$. △ Less

Submitted 12 June, 2019; originally announced June 2019.

Comments: arXiv admin note: text overlap with arXiv:1501.00223

MSC Class: 14R25; 14R99

Journal ref: Journal of Algebra and its Applications 19 (2020), no. 10, 2050192

Elimination ideals and Bezout relations

Authors: Andre Galigo, Zbigniew Jelonek

Abstract: 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) relat… ▽ More 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$. △ Less

Submitted 3 January, 2020; v1 submitted 1 June, 2019; originally announced June 2019.

On finite polynomial map**s

Authors: Zbigniew Jelonek

Abstract: Let $X\subset \mathbb{C}^n$ be a smooth irreducible affine variety of dimension $k$ and let $F: X\to \mathbb{C}^m$ be a polynomial map**. We prove that if $m\ge k$, then there is a Zariski open dense subset $U$ in the space of linear map**s ${\mathcal L}( \mathbb{C}^n, \mathbb{C}^m)$ such that for every $L\in U$ the map** $F+L$ is a finite map**. Moreover, we can choose $U$ in this way, t… ▽ More Let $X\subset \mathbb{C}^n$ be a smooth irreducible affine variety of dimension $k$ and let $F: X\to \mathbb{C}^m$ be a polynomial map**. We prove that if $m\ge k$, then there is a Zariski open dense subset $U$ in the space of linear map**s ${\mathcal L}( \mathbb{C}^n, \mathbb{C}^m)$ such that for every $L\in U$ the map** $F+L$ is a finite map**. Moreover, we can choose $U$ in this way, that all map**s $F+L; L\in U$ are topologically equivalent. △ Less

Submitted 15 July, 2018; originally announced July 2018.

MSC Class: 14 D 05; 14 R 99

On real polynomial local homeomorphisms

Authors: Alexandre Fernandes, Zbigniew Jelonek

Abstract: We prove that the set of non-properness of a polynomial map** of the three dimensional space which is a local homeomorphism cannot be homeomorphic to the real line $\R.$ We prove that the set of non-properness of a polynomial map** of the three dimensional space which is a local homeomorphism cannot be homeomorphic to the real line $\R.$ △ Less

Submitted 2 July, 2018; originally announced July 2018.

Thom isotopy theorem for non proper maps and computation of sets of stratified generalized critical values

Authors: Si Tiep Dinh, Zbigniew Jelonek

Abstract: Let $X\subset\Bbb C^n$ be an affine variety and $f:X\to\Bbb C^m$ be the restriction to $X$ of a polynomial map $\Bbb C^n\to\Bbb C^m$. In this paper, we construct an affine Whitney stratification of $X$. The set $K(f)$ of stratified generalized critical values of $f$ can be also computed. We show that $K(f)$ is a nowhere dense subset of $\Bbb C^m$, which contains the set $B(f)$ of bifurcation value… ▽ More Let $X\subset\Bbb C^n$ be an affine variety and $f:X\to\Bbb C^m$ be the restriction to $X$ of a polynomial map $\Bbb C^n\to\Bbb C^m$. In this paper, we construct an affine Whitney stratification of $X$. The set $K(f)$ of stratified generalized critical values of $f$ can be also computed. We show that $K(f)$ is a nowhere dense subset of $\Bbb C^m$, which contains the set $B(f)$ of bifurcation values of $f$ by proving a version of the isotopy lemma for non-proper polynomial maps on singular varieties. △ Less

Submitted 5 July, 2018; v1 submitted 7 May, 2018; originally announced May 2018.

On quadratic polynomial map**s from the plane into the $n$ dimensional space

Authors: Michał Farnik, Zbigniew Jelonek, Piotr Migus

Abstract: We show that, up to linear equivalence, there are only finitely many polynomial quadratic map**s $F:\mathbb{C}^2\to\mathbb{C}^n$ and $F:\mathbb{R}^2\to\mathbb{R}^n$. We list all possibilities. We show that, up to linear equivalence, there are only finitely many polynomial quadratic map**s $F:\mathbb{C}^2\to\mathbb{C}^n$ and $F:\mathbb{R}^2\to\mathbb{R}^n$. We list all possibilities. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 22 pages

MSC Class: 14 D 99; 14 R 99; 51 M 99

Whitney theorem for complex polynomial map**s

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: We describe the topology of a general polynomial map** $F=(f, g):X\to\Bbb C^2$, where $X$ is a complex plane or a complex sphere. We describe the topology of a general polynomial map** $F=(f, g):X\to\Bbb C^2$, where $X$ is a complex plane or a complex sphere. △ Less

Submitted 21 September, 2018; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: simplified version. arXiv admin note: text overlap with arXiv:1503.00017

On quadratic polynomial map**s $f: \Bbb C^2 \to \Bbb C^2$

Authors: M. Farnik, Z. Jelonek

Abstract: We show that up to linear equivalence, there is only finitely many polynomial quadratic map**s $f:\Bbb C^2\to\Bbb C^2$ and $f:\Bbb R^2\to \Bbb R^2.$ We list all possibilities. We show that up to linear equivalence, there is only finitely many polynomial quadratic map**s $f:\Bbb C^2\to\Bbb C^2$ and $f:\Bbb R^2\to \Bbb R^2.$ We list all possibilities. △ Less

Submitted 17 November, 2016; v1 submitted 28 June, 2016; originally announced June 2016.

Detecting asymptotic non-regular values by polar curves

Authors: Zbigniew Jelonek, Mihai Tibar

Abstract: We locate the Malgrange non-regular values of a given polynomial function $f:\bC^n \to \bC$ by using a series of affine polar curves. We moreover show that all non-trivial Malgrange non-regular values of $f$ are indicated by a single "super-polar curve" which we introduce here, providing also an effective algorithm of detection. We locate the Malgrange non-regular values of a given polynomial function $f:\bC^n \to \bC$ by using a series of affine polar curves. We moreover show that all non-trivial Malgrange non-regular values of $f$ are indicated by a single "super-polar curve" which we introduce here, providing also an effective algorithm of detection. △ Less

Submitted 7 June, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Journal ref: Int Math Res Notices (2017) 2017 (3): 809-829

Effective Whitney theorem for complex polynomial map**s of the plane

Authors: M. Farnik, Z. Jelonek, M. A. S. Ruas

Abstract: We describe the topology of a general polynomial map** $f:\Bbb C^2\to\Bbb C^2.$ We describe the topology of a general polynomial map** $f:\Bbb C^2\to\Bbb C^2.$ △ Less

Submitted 8 February, 2016; v1 submitted 27 February, 2015; originally announced March 2015.

Comments: It is a new extended version

The set of fixed points of a unipotent group

Authors: Zbigniew Jelonek, Michał Lasoń

Abstract: Let $K$ be an algebraically closed field. Let $G$ be a non-trivial connected unipotent group, which acts effectively on an affine variety $X.$ Then every non-empty component $R$ of the set of fixed points of $G$ is a $K$-uniruled variety, i.e, there exists an affine cylinder $W\times K$ and a dominant, generically-finite polynomial map** $φ:W\times K\rightarrow R.$ We show also that if an arbitr… ▽ More Let $K$ be an algebraically closed field. Let $G$ be a non-trivial connected unipotent group, which acts effectively on an affine variety $X.$ Then every non-empty component $R$ of the set of fixed points of $G$ is a $K$-uniruled variety, i.e, there exists an affine cylinder $W\times K$ and a dominant, generically-finite polynomial map** $φ:W\times K\rightarrow R.$ We show also that if an arbitrary infinite algebraic group $G$ acts effectively on $K^n$ and the set of fixed points contains a hypersurface $H$, then this hypersurface is $K$-uniruled. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Comments: final version, 6 pages

MSC Class: 14L17

Journal ref: Journal of Algebra 322 (2009), no. 6, 2180-2185

Quantitative properties of the non-properness set of a polynomial map

Authors: Zbigniew Jelonek, Michał Lasoń

Abstract: Let $f$ be a generically finite polynomial map $f: \mathbb{C}^n\to \mathbb{C}^m$ of algebraic degree $d$. Motivated by the study of the Jacobian Conjecture, we prove that the set $S_f$ of non-properness of $f$ is covered by parametric curves of degree at most $d-1$. This bound is best possible. Moreover, we prove that if $X\subset\mathbb{R}^n$ is a closed algebraic set covered by parametric curves… ▽ More Let $f$ be a generically finite polynomial map $f: \mathbb{C}^n\to \mathbb{C}^m$ of algebraic degree $d$. Motivated by the study of the Jacobian Conjecture, we prove that the set $S_f$ of non-properness of $f$ is covered by parametric curves of degree at most $d-1$. This bound is best possible. Moreover, we prove that if $X\subset\mathbb{R}^n$ is a closed algebraic set covered by parametric curves, and $f: X\rightarrow\mathbb{R}^m$ is a generically finite polynomial map, then the set $S_f$ of non-properness of $f$ is also covered by parametric curves. Moreover, if $X$ is covered by parametric curves of degree at most $d_1$, and the map $f$ has degree $d_2$, then the set $S_f$ is covered by parametric curves of degree at most $2d_1d_2$. As an application of this result we show a real version of the Białynicki-Birula theorem: Let $G$ be a real, non-trivial, connected, unipotent group which acts effectively and polynomially on a connected smooth algebraic variety $X\subset\mathbb{R}^n$. Then the set $Fix(G)$ of fixed points has no isolated points. △ Less

Submitted 11 June, 2019; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: final version, 13 pages

MSC Class: 14R25; 14P10; 14R99

Journal ref: Manuscripta Mathematica 156 (2018), no. 3-4, 383-397

On the set of fixed points of a polynomial automorphism

Authors: Zbigniew Jelonek, Tomasz Lenarcik

Abstract: Let K be an algebraically closed field of characteristic zero. We say that a polynomial automorphism f : K^n -> K^n is special if the Jacobian of f is equal to 1. We show that every (n - 1)-dimensional component H of the set Fix(f) of fixed points of a non-trivial special polynomial automorphism f : K^n -> K^n is uniruled. Moreover, we show that if f is non-special and H is an (n-1)-dimensional co… ▽ More Let K be an algebraically closed field of characteristic zero. We say that a polynomial automorphism f : K^n -> K^n is special if the Jacobian of f is equal to 1. We show that every (n - 1)-dimensional component H of the set Fix(f) of fixed points of a non-trivial special polynomial automorphism f : K^n -> K^n is uniruled. Moreover, we show that if f is non-special and H is an (n-1)-dimensional component of the set Fix(f), then H is smooth, irreducible and H = Fix(f) and for K = C the Euler characteristic of H is equal to 1. △ Less

Submitted 28 September, 2014; originally announced September 2014.

On finite regular and holomorphic map**s

Authors: Zbigniew Jelonek

Abstract: Let $X, Y$ be smooth algebraic varieties of the same dimension. Let $f, g : X \to Y$ be finite polynomial map**s. We say that $f, g$ are equivalent if there exists a regular automorphism $Φ\in Aut(X)$ such that $f = g\circ Φ$. Of course if $f, g$ are equivalent, then they have the same discriminant and the same geometric degree. We show, that conversely there is only a finite number of non-equiv… ▽ More Let $X, Y$ be smooth algebraic varieties of the same dimension. Let $f, g : X \to Y$ be finite polynomial map**s. We say that $f, g$ are equivalent if there exists a regular automorphism $Φ\in Aut(X)$ such that $f = g\circ Φ$. Of course if $f, g$ are equivalent, then they have the same discriminant and the same geometric degree. We show, that conversely there is only a finite number of non-equivalent proper polynomial map**s $f : X \to Y$, such that $D(f) = V$ and $μ(f) = k.$ We prove the same statement in the local holomorphic situation. In particular we show that if $f : (\Bbb C^n, 0) \to (\Bbb C^n, 0)$ is a proper and holomorphic map** of topological degree two, then there exist biholomorphisms $P,Q : (\Bbb C^n, 0) \to (\Bbb C^n, 0)$ such that $P\circ f\circ Q (x_1, x_2,..., x_n) = (x_1^2, x_2, ..., x_n)$. Moreover, for every proper holomorphic map** $f : (\Bbb C^n, 0) \to (\Bbb C^n, 0)$ with smooth discriminant there exist biholomorphisms $P,Q : (\Bbb C^n, 0) \to (\Bbb C^n, 0)$ such that $P\circ f\circ Q (x_1, x_2,..., x_n) = (x_1^k, x_2, ..., x_n)$, where $k = μ(f).$ △ Less

Submitted 8 March, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

The Thom Conjecture for proper polynomial map**s

Authors: Zbigniew Jelonek

Abstract: Let $f,g:X \to Y$ be continuous map**s. We say that $f$ is topologically equivalent to $g$ if there exist homeomorphisms $Φ: X\to X$ and $Ψ: Y\to Y$ such that $Ψ\circ f\circ Φ=g.$ Let $X,Y$ be complex smooth irreducible affine varieties. We show that every algebraic family $F: M\times X\ni (m, x)\mapsto F(m, x)=f_m(x)\in Y$ of polynomial map**s contains only a finite number of topologically no… ▽ More Let $f,g:X \to Y$ be continuous map**s. We say that $f$ is topologically equivalent to $g$ if there exist homeomorphisms $Φ: X\to X$ and $Ψ: Y\to Y$ such that $Ψ\circ f\circ Φ=g.$ Let $X,Y$ be complex smooth irreducible affine varieties. We show that every algebraic family $F: M\times X\ni (m, x)\mapsto F(m, x)=f_m(x)\in Y$ of polynomial map**s contains only a finite number of topologically non-equivalent proper map**s. In particular there are only a finite number of topologically non-equivalent proper polynomial map**s $f: \Bbb C^n\to\Bbb C^m$ of bounded (algebraic) degree. This gives a positive answer to the Thom Conjecture in the case of proper polynomial map**s. △ Less

Submitted 8 February, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

On the group of automorphisms of a quasi-affine variety

Authors: Zbigniew Jelonek

Abstract: Let K be an algebraically closed field of characteristic zero. We show that if the automorphisms group of a quasi-affine variety X is infinite, then X is uniruled. Let K be an algebraically closed field of characteristic zero. We show that if the automorphisms group of a quasi-affine variety X is infinite, then X is uniruled. △ Less

Submitted 26 March, 2014; originally announced March 2014.

On a generic symmetry defect hypersurface

Authors: S. Janeczko, Z. Jelonek, M. A. S. Ruas

Abstract: Let f : X -> Y be a dominant polynomial map** of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the irreducible algebraic family of n-dimensional smooth irreducible subvarieties in general position in C^{2n} are homeomorphic and they have homeomorphic sets of singular p… ▽ More Let f : X -> Y be a dominant polynomial map** of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the irreducible algebraic family of n-dimensional smooth irreducible subvarieties in general position in C^{2n} are homeomorphic and they have homeomorphic sets of singular points. In particular symmetry defect curves for two generic curves in C^2 of the same degree have the same number of singular points. △ Less

Submitted 23 March, 2014; originally announced March 2014.

Bifurcation locus and branches at infinity of a polynomial f : C2 -> c

Authors: Zbigniew Jelonek, Mihai Tibar

Abstract: We show that the number of bifurcation points at infinity of a polynomial function f : C2 -> C is at most the number of branches at infinity of a generic fiber of f and that this upper bound can be diminished by one in certain cases. We show that the number of bifurcation points at infinity of a polynomial function f : C2 -> C is at most the number of branches at infinity of a generic fiber of f and that this upper bound can be diminished by one in certain cases. △ Less

Submitted 25 January, 2014; originally announced January 2014.

Journal ref: Mathematische Annalen 361 (2015), Issue 3-4, pp 1049-1054

Simple examples of affine manifolds with infinitely many exotic models

Authors: Zbigniew Jelonek

Abstract: We give a simple general method of construction of affine varieties with infinitely many exotic models. In particular we show that for every d>1 there exists a Stein manifold of dimension d which has uncountably many different structures of affine variety. We give a simple general method of construction of affine varieties with infinitely many exotic models. In particular we show that for every d>1 there exists a Stein manifold of dimension d which has uncountably many different structures of affine variety. △ Less

Submitted 21 July, 2013; originally announced July 2013.

MSC Class: 14R10; 32Q99

Reaching generalized critical values of a polynomial

Authors: Zbigniew Jelonek, Krzysztof Kurdyka

Abstract: Let f be a real or complex polynomial. We give an algorithm to compute the set of generalized critical values. The algorithm uses a finite dimensional space of rational arcs along which we can reach all generalized critical values of f. Let f be a real or complex polynomial. We give an algorithm to compute the set of generalized critical values. The algorithm uses a finite dimensional space of rational arcs along which we can reach all generalized critical values of f. △ Less

Submitted 7 August, 2013; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: 11 pages, revised version, to appear in Math. Z

MSC Class: 14 D 06; 14 Q 20

Journal ref: Math. Z. 276 (2014), no. 1-2, 557-570