We introduce a new method in the attempt to prove the Jacobian conjecture. In the complex dimension 2 case, we apply this method to prove some new results related the Jacobian conjecture.
We translate the results of Yansong Xu into the language of~\cite{GGV1}, obtaining nearly the same formulas for the intersection number of Jacobian pairs, but with an inequality instead of an equality.
In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. We also show that this conjecture yields some basic properties of singularities; e.g. openness of Mather-Jacobian (log) canonical singularities, stability of these singularities under small deformations and lower semi-continuity of Mather-…
Let $G$ be a finite group acting effectively on the complex affine plane. If the $G$-action commutes with an étale endomorphism $f$ of the affine plane and the order of $G$ is even then the endomorphism $f$ is an automorphism.
We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism.
We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a polynomial submersion $h: \mathbb{C}^n \to \mathbb{C}$. Also, we present topological approaches to the Jacobian conjecture in $\mathbb{C}^n$.
We explore an (unpublished) approach to the famous Jacobian Conjecture by means of identities of algebras, discovered by the brilliant deceased mathematician, Alexander Vladimirovich Yagzhev (1951{2001). This approach also indicates some very close connections between mathematical physics, universal algebra and automorphisms of polynomial algebras
The purpose of this review paper is the collection, systematization and discussion of recent results concerning the quantization approach to the Jacobian conjecture, as well as certain related topics.
Let K be an algebraically closed field of characteristic zero and let f(x,y) be a nonzero polynomial of K[x,y]. We prove that if the generic element of the family $(f-λ)\_λ$ is a rational polynomial, and if the Jacobian J(f,g) is a nonzero constant for some polynomial g in K[x,y], then K[f,g] =K[x,y].
We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot extensions of partial differential fields, the theory of strongly normal extensions as presented by Kovacic and the characterization of Picard-Vessiot extensions in terms of tensor products given by Levelt.
Based on the reduction of degree in polynomial mappings and some known results in algebraic geometry, by introducing the Brouwer degree, a tool from differential topology, algebraic topology and algebraic geometry, we completely prove the Generalized Jacobian conjecture in the field of real numbers, which implies the Generalized complex Jacobian conjecture. Also, for the strong real Jacobian conjecture, we present a newly sufficient and necessary condition.
Jacobian conjecture states that if $F:\ \mathbb C^n(\mathbb R^n)\rightarrow \mathbb C^n(\mathbb R^n)$ is a polynomial map such that the Jacobian of $F$ is a nonzero constant, then $F$ is injective. This conjecture is still open for all $n\ge 2$, and for both $\mathbb C^n$ and $\mathbb R^n$. Here we provide a positive answer to the Jacobian conjecture in $\mathbb R^2$ via the tools from the theory of dynamical systems.
This article is part of an ongoing investigation of the two-dimensional Jacobian conjecture. In the first paper of this series, we proved the generalized Magnus' formula. In this paper, inspired by cluster algebras, we introduce a sequence of new conjectures including the remainder vanishing conjecture. This makes the generalized Magnus' formula become a useful tool to show the two-dimensional Jacobian conjecture. In the forthcoming paper(s), we plan to prove the remainder vanishing conjecture.
The classification of the nilpotent Jacobians with some structure has been an object of study because of its relationship with the Jacobian Conjecture. In this paper we classify the polynomial maps in dimension $n$ of the form $H = (u(x,y), u_2(x,y,x_3), \ldots, u_{n-1}(x,y,x_n), h(x,y))$ with $JH$ nilpotent. In addition we prove that the maps $X + H$ are invertible, which shows that for this kind of maps the Jacobian Conjecture is verified.
On the Density of Polynomial Mappings Satisfying the Jacobian Conjecture
Instituto de Ciências Matemáticas e de Computação(数学与计算科学研究所);Department of Mathematics, Instituto de Ciências Matemáticas e de Computação(数学与计算科学研究所数学系)