A system of polynomial equations related to the Jacobian Conjecture

Jorge A. Guccione,Juan José Guccione,Christian Valqui

2024-04-08

Abstract:We prove that the Jacobian conjecture is false if and only if there exists a solution to a certain system of polynomial equations. We analyse the solution set of this system. In particular we prove that it is zero dimensional.

Commutative Algebra

What problem does this paper attempt to address?

The Jacobian Conjecture and Partial Differential Equations

Yisong Yang

2023-09-09

Abstract:The Jacobian conjecture over a field of characteristic zero is considered directly in view of the nonlinear partial differential equations it is associated with. Exploring such partial differential equations, this work obtains broad families of polynomial maps satisfying the conjecture in all dimensions and of arbitrarily high degrees and henceforth affirmatively and constructively settles a reformulated multiply parametrized version of the conjecture in all dimensions.

Algebraic Geometry
Towards the Jacobian Conjecture

Yucai Su

DOI: https://doi.org/10.1142/s1005386724000282

2024-08-31

Algebra Colloquium

Abstract:Algebra Colloquium, Volume 31, Issue 03, Page 361-388, September 2024. We first show that if there is a counterexample to the two-dimensional Jacobian conjecture, then there exists a nonempty closed smooth affine surface in [math] satisfying various properties. Next, we conjecture that such a surface does not exist.

mathematics, applied
The necessary and sufficient conditions for the real Jacobian conjecture

Yuzhou Tian,Yulin Zhao

DOI: https://doi.org/10.48550/arXiv.2011.11843

2021-01-16

Abstract:The real Jacobian conjecture claims that if $F=\left(f^1,\ldots,f^n\right):\mathbb{R}^n\rightarrow \mathbb{R}^n$ is a polynomial map such that $\det DF$ is nowhere zero, then $F$ is a global injective. The first part is to study the two-dimensional real Jacobian conjecture via the method of the qualitative theory of dynamical systems. By Bendixson compactification, an induced polynomial differential system can be obtained from the Hamiltonian system associated to polynomial map $F$. We prove that the following statements are equivalent: (A) $F$ is a global injective; (B) the origin of induced system is a center; (C) the origin of induced system is a monodromic singular point; (D) the origin of induced system has no hyperbolic sectors; (E) induced system has a $C^k$ first integral with an isolated minimun at the origin and $k\in\mathbb{N}^{+}\cup\{\infty\}$. Moreover, applying the above results we present a necessary and sufficient condition for the validity of the two-dimensional real Jacobian conjecture, which is an algebraic criterion. By definition a criterion function, $F$ is a global injective if and only if the limit of criterion function is infinite as $\left|x\right|+\left|y\right|$ tends to infinity. This algebraic criterion improves the main result of Braun et al [J. Differential Equations {\bf 260} (2016) 5250-5258]. In the second part, the necessary and sufficient conditions on the $n$-dimensional real Jacobian conjecture is obtained. Using the tool from the nonlinear functional analysis, $F$ is a global injective if and only if $\parallel F\left(\mathbf{x}\right)\parallel$ approaches to infinite as $\parallel\mathbf{x}\parallel\rightarrow\infty$, which is a generalization of the above algebraic criterion. As an application, we give an alternate proof of the Cima's result on the $n$-dimensional real Jacobian conjecture [Nonlinear Anal. {\bf 26} (1996) 877-885].

Dynamical Systems
An extension to the planar Markus-Yamabe Jacobian conjecture

Marco Sabatini

DOI: https://doi.org/10.48550/arXiv.2106.15461

2021-06-29

Abstract:We extend the planar Markus-Yamabe Jacobian Conjecture to differential systems having jacobian matrix with eigenvalues with negative or zero real parts.

Dynamical Systems
Some arithmetic aspects of polynomial maps

Wodson Mendson

2024-10-03

Abstract:The Jacobian conjecture is a well-known open problem in affine algebraic geometry that asks if any polynomial endomorphism of the affine space $\mathbb{A}_{\mathbb{C}}^{n}$ ($n\geq2$) with jacobian $1$ is an automorphism. We present a survey about some results around this conjecture and we discuss an arithmetic aspect of this conjecture due to Essen-Lipton. We investigate some cases of this arithmetic approach showing the close relationship between the Jacobian Conjecture and the problem of counting $\mathbb{F}_p$-points of an affine scheme.

Algebraic Geometry
Sufficient conditions for the n-dimensional real Jacobian conjecture

Changjian Liu,Yuzhou Tian

2024-10-28

Abstract:The real Jacobian conjecture was posed by Randall in 1983. This conjecture asserts that if $F=\left(f_1,\ldots ,f_n\right):\mathbb{R}^n\rightarrow\mathbb{R}^n$ is a polynomial map such that $\det DF\left(\mathbf{x}\right)\neq0$ for all $\mathbf{x}\in\mathbb{R}^n$, then $F$ is injective. This investigation mainly consists of two parts. Firstly, we use the qualitative theory of dynamical systems to give an alternate proof of the polynomial version of the $n$-dimensional Hadamard's theorem. Secondly, we present some algebraic sufficient conditions for the $n$-dimensional real Jacobian conjecture. Our results not only extend the main result of [J. Differential Equations {\bf 260} (2016), 5250-5258] to quasi-homogeneous type, but also generalize it from $\mathbb{R}^2$ to $\mathbb{R}^n$. As a coproduct of our proof process, we solve an open problem formulated by Braun, Giné and Llibre in [J. Differential Equations {\bf 260} (2016), 5250-5258].

Dynamical Systems
A new method in the Jacobian Conjecture

JIngzhou Sun

DOI: https://doi.org/10.48550/arXiv.1409.0941

2014-09-03

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

Algebraic Geometry
A Note on the Jacobian Conjecture

Christopher I. Byrnes,Anders Lindquist

DOI: https://doi.org/10.1090/s0002-9939-08-09245-9

IF: 0.9709

2008-01-01

Proceedings of the American Mathematical Society

Abstract:In this paper we consider the Jacobian conjecture for a map f of complex a. ne spaces of dimension n. It is well known that if f is proper, then the conjecture will hold. Using topological arguments, specifically Smith theory, we show that the conjecture holds if and only if f is proper onto its image.
A particular case of the Jacobian conjecture

Ural Bekbaev

DOI: https://doi.org/10.48550/arXiv.1205.1585

2012-05-08

Algebraic Geometry

Abstract:A particular case of the Jacobian conjecture is considered and for small dimensional cases a computational approach is offered
Inverse limits of automorphisms of truncated polynomials and applications related to Jacobian conjecture

Hao Chang,Bin Shu,Yu-Feng Yao

DOI: https://doi.org/10.1142/s0219498825501750

2024-02-07

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this note, we investigate Jacobian conjecture through investigation of automorphisms of polynomial rings in characteristic [math]. Making use of the technique of inverse limits, we show that under Jacobian condition for a given homomorphism [math] of the polynomial ring [math], if [math] preserves the maximal ideals, then [math] is an automorphism.

mathematics, applied
Characteristic p approaches to the Jacobian Conjecture

Jeffrey Lang

DOI: https://doi.org/10.48550/arXiv.2310.15199

2023-10-23

Abstract:We present several versions of the Jacobian Conjecture in positive characteristic each of which if true would imply the Jacobian conjecture in characteristic 0. We test these characteristic p versions of the conjecture against several families of Jacobian pairs in characteristic p. Based on the results we propose a characteristic p approach to solving the Jacobian Conjecture in characteristic 0.

Commutative Algebra,Algebraic Geometry
The Jacobian conjecture

Jacques Magnen

2023-11-20

Abstract:The Jacobian conjecture involves the map $y= x - V(x)$ where $y, x$ are n-dimensional vectors, $V(x)$ is a symmetric polynomial of degree $d$ for which the Jacobian hypothesis holds: $ e^{Tr \ln(1- V'(x))} =1,\ \forall x$. The conjecture states that the inverse map ($x$ as a function of $y$) is also polynomial. The proof is inspired by perturbative field theory. We express the inverse map $F(y)= y+ V(F(y))$ as a perturbative expansion which is a sum of partially ordered connected trees. We use the property : $\frac{d F_{k}}{dy_{k}}= (\frac{1}{1-V'(F)})_{k,k} =1+ \sum _{q\ge 1} \frac{1}{q} (Tr (V'(F))^{q})_{with\ q\ edges\ of\ index\ k}$ to extract inductively in the index $k$ all the sub traces in the expansion of the inverse map. We obtain $F= F(|\le n)\ \ e^{- Tr \ln(1-V'(F(|\le n)))}$ By the Jacobian hypothesis $e^{- Tr \ln(1-V'(F(|\le n)))} =1$ and a straightforward graphical argument gives that $degree \ in\ y \ of \ F(|\le n)\le d^{2^{n} -2}$

Mathematical Physics
On Jacobian conjecture

Jin-Gen Yang

DOI: https://doi.org/10.48550/arXiv.0905.3886

2009-05-24

Algebraic Geometry

Abstract:withdrawed due to a substantial error.
New sufficient condition for the two-dimensional real Jacobian conjecture through the Newton diagram

Yuzhou Tian,Xiuli Cen

2023-04-02

Abstract:The present paper is devoted to investigating the two-dimensional real Jacobian conjecture. This conjecture claims that if $F=\left(f,g\right):\mathbb{R}^2\rightarrow \mathbb{R}^2$ is a polynomial map with $\det DF\left(x,y\right)\ne0$ for all $\left(x,y\right)\in\mathbb{R}^2$, then $F$ is globally injective. With the help of the Newton diagram, we provide a new sufficient condition such that the two-dimensional real Jacobian conjecture holds. Moreover, this sufficient condition generalizes the main result of [J. Differential Equations {\bf 260} (2016), 5250-5258]. Furthermore, two new classes of polynomial maps satisfying the two-dimensional real Jacobian conjecture are given.

Classical Analysis and ODEs
Some classes satisfying the 2-dimensional Jacobian conjecture

Nguyen Thi Bich Thuy

2023-12-21

Abstract:We construct a non-proper set of two variables polynomial maps and study the nowhere vanishing Jacobian condition of the Jacobian conjecture for this set. We obtain some classes of polynomial maps satisfying the 2-dimensional Jacobian conjecture for both real and complex cases. We prove also that the complex conjecture is true until the degree 104.

Algebraic Geometry
Jacobian Nullwerte, Periods and Symmetric Equations for Hyperelliptic Curves

J. Guàrdia

DOI: https://doi.org/10.48550/arXiv.math/0610315

2006-10-10

Abstract:We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.

Number Theory,Algebraic Geometry
Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

Dimitri Markushevich,Anne Moreau

2024-07-07

Abstract:Bernstein-Schwarzman conjectured that the quotient of a complex affine space by an irreducible complex crystallographic group generated by reflections is a weighted projective space. The conjecture was proved by Schwarzman and Tokunaga-Yoshida in dimension 2 for almost all such groups, and for all crystallographic reflection groups of Coxeter type by Looijenga, Bernstein-Schwarzman and Kac-Peterson in any dimension. We prove that the conjecture is true for the crystallographic reflection group in dimension 3 for which the associated collineation group is Klein's simple group of order 168. In this case the quotient is the 3-dimensional weighted projective space with weights 1, 2, 4, 7. The main ingredient in the proof is the computation of the algebra of invariant theta functions. Unlike the Coxeter case, the invariant algebra is not free polynomial, and this was the major stumbling block.

Algebraic Geometry
3-Torsion Subgroups of Jacobians of Plane Quartics

Elvira Lupoian,James Rawson

2024-01-25

Abstract:In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve. We describe $3-$torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree $728$ scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using lattice reduction or continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the $3$-torsion subgroup can be used to compute local conductor exponents, including at $p=2$.

Number Theory
Jacobian schemes of conic-line arrangements and eigenschemes

Valentina Beorchia,Rosa M. Miro'-Roig

2023-05-05

Abstract:The Jacobian scheme of a reduced, singular projective plane curve is the zero-dimensional scheme, whose homogeneous ideal is generated by the partials of its defining polynomial. The degree of such a scheme is called the global Tjurina number and, if the curve is not a set of concurrent lines, some upper and lower bounds depending on the degree of the curve and the minimal degree of a Jacobian syzygy, have been given by A.A. du Plessis and C.T.C. Wall. In this paper we give a complete geometric characterization of conic-line arrangenents, with global Tjurina number attaining the upper bound. Furthermore, we characterize conic-line arrangenents attaining the lower bound for the global Tjurina number, among all curves with a linear Jacobian syzygy. As an application, we characterize conic-line arrangenents with Jacobian scheme equal to an eigenscheme of some ternary tensor, and we study the geometry of their polar maps.

Algebraic Geometry

A system of polynomial equations related to the Jacobian Conjecture

The Jacobian Conjecture and Partial Differential Equations

Towards the Jacobian Conjecture

The necessary and sufficient conditions for the real Jacobian conjecture

An extension to the planar Markus-Yamabe Jacobian conjecture

Some arithmetic aspects of polynomial maps

Sufficient conditions for the n-dimensional real Jacobian conjecture

A new method in the Jacobian Conjecture

A Note on the Jacobian Conjecture

A particular case of the Jacobian conjecture

Inverse limits of automorphisms of truncated polynomials and applications related to Jacobian conjecture

Characteristic p approaches to the Jacobian Conjecture

The Jacobian conjecture

On Jacobian conjecture

New sufficient condition for the two-dimensional real Jacobian conjecture through the Newton diagram

Some classes satisfying the 2-dimensional Jacobian conjecture

Jacobian Nullwerte, Periods and Symmetric Equations for Hyperelliptic Curves

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

3-Torsion Subgroups of Jacobians of Plane Quartics

Jacobian schemes of conic-line arrangements and eigenschemes