Fact-checked by Grok 2 weeks ago

Jacobian conjecture

The Jacobian conjecture is a longstanding unsolved problem in and , asserting that a map F: \mathbb{C}^n \to \mathbb{C}^n is a (i.e., bijective with a inverse) if and only if the of its is a nonzero constant. Formulated by Otto H. Keller in 1939, the conjecture originally concerned maps over the integers but was soon generalized to fields of characteristic zero, such as the complex numbers. It holds trivially in one dimension (n=1), as a with constant nonzero is affine, but remains open for n \geq 2. Equivalent formulations include the conditions that such a map is injective or proper, linking the conjecture to broader questions in and . Significant progress has been made through reductions: the conjecture is proven for maps of at most 2, and it has been reduced to the case of 3 maps of the form F = X - H where the of H is . In dimension 2, it holds for up to 108 (as of 2022), but no general proof exists despite extensive efforts involving combinatorial, analytic, and perturbative methods. As of 2025, the conjecture continues to inspire research, with recent work exploring arithmetic interpretations and expansions, yet it stands unresolved.

Mathematical Background

Jacobian matrix and determinant

The Jacobian matrix of a differentiable map F: \mathbb{R}^n \to \mathbb{R}^n at a point x = (x_1, \dots, x_n) is the n \times n matrix whose (i,j)-th entry is the partial derivative \frac{\partial F_i}{\partial x_j}(x), where F = (F_1, \dots, F_n). This matrix, often denoted J_F(x), provides the best linear approximation to the change in F near x, capturing the local behavior of the map through its first-order partial derivatives. The Jacobian determinant, \det(J_F(x)), quantifies the local scaling effect of the map on volumes. Specifically, it measures how the map distorts infinitesimal volume elements: a small parallelepiped of volume dV in the domain is mapped to one of volume |\det(J_F(x))| \, dV in the codomain, with the sign of the determinant indicating orientation preservation or reversal. For instance, if |\det(J_F(x))| > 1, volumes expand locally, while |\det(J_F(x))| < 1 indicates contraction. A key property arises from the inverse function theorem: if F is continuously differentiable near x and \det(J_F(x)) \neq 0, then F is locally invertible at x, with a continuously differentiable inverse in some neighborhood. The inverse map's Jacobian is then the inverse matrix, J_{F^{-1}}(F(x)) = [J_F(x)]^{-1}. Globally, for a C^1 bijection F: \mathbb{R}^n \to \mathbb{R}^n that is proper (preimages of compact sets are compact) and satisfies \det(J_F(x)) \neq 0 everywhere, F is a diffeomorphism, ensuring a smooth global inverse. Consider simple examples to illustrate. For a linear transformation F(x) = Ax where A is an n \times n matrix, the Jacobian matrix is constantly A, and \det(J_F) = \det(A); local (and global) invertibility holds if and only if \det(A) \neq 0. In one dimension, for a scalar function f: \mathbb{R} \to \mathbb{R}, the Jacobian "matrix" reduces to the derivative f'(x), whose "determinant" is f'(x) itself, and the inverse function theorem states that f is locally invertible at x if f'(x) \neq 0, with volume scaling given by |f'(x)|. These concepts form essential tools for analyzing the local and global invertibility of more general maps, such as polynomial maps on affine space.

Polynomial maps on affine space

The affine n-space over the complex numbers, denoted \mathbb{A}^n or \mathbb{C}^n, consists of all ordered n-tuples of complex numbers, equipped with the Zariski topology and serving as the ambient space for polynomial mappings. A polynomial map F: \mathbb{C}^n \to \mathbb{C}^n is defined as an n-tuple F = (F_1, \dots, F_n), where each coordinate function F_i belongs to the polynomial ring \mathbb{C}[x_1, \dots, x_n], meaning each F_i is a finite linear combination of monomials in the variables x_1, \dots, x_n with coefficients in \mathbb{C}. Such maps are also called polynomial endomorphisms of \mathbb{A}^n, and the degree of F, denoted \deg F, is the maximum of the degrees of its coordinate polynomials \deg F_i. The invertible polynomial maps, or polynomial automorphisms, correspond precisely to the automorphisms of the polynomial ring \mathbb{C}[x_1, \dots, x_n], which are ring isomorphisms from the ring to itself. These automorphisms induce bijective polynomial maps on \mathbb{A}^n with polynomial inverses, and by the Jung--van der Kulk theorem (for n=2) and more general structure theorems for higher n, they form the automorphism group \mathrm{Aut}(\mathbb{A}^n). The group operation corresponds to composition of maps, preserving the polynomial nature. A key property of polynomial maps is that the composition of two such maps F: \mathbb{C}^n \to \mathbb{C}^n and G: \mathbb{C}^n \to \mathbb{C}^n is again a polynomial map F \circ G: \mathbb{C}^n \to \mathbb{C}^n, with each coordinate of F \circ G obtained by substituting the polynomials of G into those of F. Moreover, the degree satisfies \deg(F \circ G) \leq (\deg F)(\deg G), with equality holding in generic cases where leading terms do not cancel. In the context of the Jacobian conjecture, polynomial maps on \mathbb{A}^n are studied particularly when the Jacobian determinant \det J(F) is a non-zero constant, as this condition ensures local invertibility everywhere and motivates questions about global polynomial invertibility.

Formulation of the Conjecture

Statement over algebraically closed fields of characteristic zero

The Jacobian conjecture, in its standard formulation over algebraically closed fields of characteristic zero, posits a criterion for the invertibility of polynomial maps based on the behavior of their Jacobian determinants. Specifically, let k be an algebraically closed field of characteristic zero, such as the complex numbers \mathbb{C}, and consider a polynomial map F: k^n \to k^n given by F(X) = (F_1(X), \dots, F_n(X)), where each F_i is a polynomial in the variables X = (x_1, \dots, x_n). The conjecture asserts that if the determinant of the Jacobian matrix J(F) of F is a nonzero constant in k^\times, then F is bijective and admits a polynomial inverse. The hypothesis requires that \det J(F) belongs to k \setminus \{0\} and is independent of the variables x_1, \dots, x_n, meaning it evaluates to the same nonzero value everywhere in k^n. This condition implies that F is locally invertible at every point, as the Jacobian matrix is nonsingular throughout the domain. The conclusion states that F induces an automorphism of the polynomial ring k[x_1, \dots, x_n], so there exists another polynomial map G: k^n \to k^n such that G \circ F = \mathrm{id} and F \circ G = \mathrm{id} on k^n. This ensures global invertibility with a polynomial right and left inverse. The motivation for this conjecture lies in bridging local and global properties of polynomial maps, generalizing the well-known fact from linear algebra that a linear map over such a field is invertible if and only if its determinant is nonzero. In the polynomial setting, a constant nonzero Jacobian determinant guarantees local invertibility by the inverse function theorem, but the conjecture extends this to affirm global bijectivity and the existence of a polynomial inverse, thereby characterizing polynomial automorphisms in terms of their Jacobians. This formulation was first proposed by O. H. Keller in 1939 and has since been a central open problem in algebra.

Equivalent reformulations

One equivalent reformulation of the Jacobian conjecture states that a polynomial map F: k^n \to k^n, where k is an algebraically closed field of characteristic zero and \det(J_F) is nowhere vanishing, is injective. This version is stronger than the original formulation assuming a constant non-zero Jacobian determinant, but the two are logically equivalent under the polynomial setting because injectivity of such a map implies that \det(J_F) must be constant. Another equivalent reformulation, due to Bass, Connell, and Wright, asserts that if F: k^n \to k^n is a polynomial map with constant non-zero Jacobian determinant, then the polynomial ring k[X_1, \dots, X_n] is a finitely generated module over the subring k[F_1, \dots, F_n]. This module-finiteness perspective highlights the algebraic dependence of the original variables on the image coordinates and aids in reductions to lower degrees. A further equivalent version involves the global generation of the inverse map. Specifically, if \det(J_F) = c \neq 0 is constant, the conjecture holds if and only if the formal power series inverse of F, constructed via the adjugate matrix of J_F scaled by $1/c, terminates as a polynomial, thereby yielding an explicit polynomial inverse. This reformulation emphasizes the convergence of the formal expansion to a polynomial under the conjecture's assumptions.

Partial Results and Known Cases

Trivial and low-dimensional cases

The Jacobian conjecture holds trivially in the one-dimensional case over the complex numbers. For a polynomial map f: \mathbb{C} \to \mathbb{C} such that the Jacobian determinant, which is simply the derivative f'(z), is a nonzero constant, f must be an affine linear function of the form f(z) = az + b with a \neq 0. Such functions are clearly bijective, with the inverse g(z) = (z - b)/a also a polynomial, verifying the conjecture without advanced tools. In higher dimensions, the conjecture is immediately true for linear maps. Consider a linear polynomial map F: \mathbb{C}^n \to \mathbb{C}^n given by F(\mathbf{x}) = A\mathbf{x} + \mathbf{b}, where A is an n \times n matrix with constant nonzero determinant \det(A) \neq 0. By standard results in linear algebra, F is an affine isomorphism, hence bijective, and its inverse is also affine linear, thus a polynomial map. This establishes the conjecture for all degree-1 polynomials over \mathbb{C}, as their Jacobians are constant matrices equal to A, and the condition requires \det(A) \neq 0. An analogous statement holds over the real numbers in one dimension, though with nuances regarding the real Jacobian conjecture. For a polynomial f: \mathbb{R} \to \mathbb{R} with constant nonzero derivative f'(x) = a \neq 0, f is again affine linear f(x) = ax + b. If a > 0, f is strictly increasing and bijective onto \mathbb{R}; if a < 0, it is strictly decreasing and also bijective. The inverse remains a polynomial, satisfying the conjecture trivially, but real versions often emphasize properness or injectivity due to potential non-surjectivity in higher dimensions or for non-constant Jacobians.

Results for specific degrees and variables

The Jacobian conjecture has been affirmed for polynomial maps of degree 2 in any number of variables. This was proven by S. S. Wang using symmetrization techniques to show that such maps are invertible with polynomial inverses. For maps in two variables, the conjecture holds for degrees less than 100, as established by T. T. Moh using algebraic methods. Significant reductions simplify the conjecture by showing that its validity for higher degrees implies it for lower degrees. Specifically, the work of , , and demonstrates that the conjecture in arbitrary degree is equivalent to the case of maps of the form identity plus a cubic homogeneous polynomial. This reduction leverages formal power series expansions of inverses to bound the degrees of potential counterexamples. The conjecture is also equivalent to a stronger formulation where the Jacobian determinant is nowhere zero, as non-constant but nowhere vanishing Jacobians can be adjusted via coordinate changes to yield constant ones in characteristic zero. In fields of positive characteristic p > 0, the analogue of the conjecture fails, with counterexamples existing of polynomial maps having constant non-zero but failing to be invertible. For instance, certain étale endomorphisms of constructed using Frobenius actions exhibit 1 yet have fibers of arbitrary finite , violating injectivity. Over the real numbers, the Jacobian conjecture remains open.

History and Development

Origins and early formulations

In the early , algebraic geometers began examining mappings and their invertibility, particularly in the context of automorphisms of affine spaces. This interest stemmed from efforts to classify birational transformations, including those extending the classical Cremona transformations—biregular maps of that are rational but not necessarily . For the affine plane \mathbb{C}^2, researchers sought to understand the group of automorphisms, which preserve the of the and relate to the affine Cremona group, motivating questions about when a polynomial map is invertible via another . These explorations laid groundwork for distinguishing linear (affine) transformations, where invertibility follows from a nonzero constant , from higher-degree cases. The conjecture itself emerged in 1939 with Ott-Heinrich Keller's seminal paper on "Ganze Cremona-Transformationen" (integral Cremona transformations), where he posed the question in the mathematical literature. Keller, motivated by the classification of automorphisms and their connection to Cremona-like maps on affine spaces, conjectured that a endomorphism F: \mathbb{C}^n \to \mathbb{C}^n with integer coefficients is invertible by a if and only if its determinant is a nonzero constant. He verified this for birational maps (degree 1) and low dimensions, framing it as a criterion for global invertibility based on local properties, thus linking affine transformations to broader questions in . This formulation highlighted the challenge of extending affine linear invertibility to nonlinear settings.

Key contributions and researchers

In 1982, Hyman Bass, Edwin H. Connell, and established a major milestone by proving the Jacobian conjecture for maps in any number of variables over fields of characteristic zero, demonstrating that such maps are globally invertible with inverses when the is a nonzero constant. Their work also introduced a pivotal degree reduction theorem, showing that the conjecture holds for arbitrary s if it is true for homogeneous polynomials of at most three, thereby narrowing the problem significantly. This reduction further inspired Wright's conjecture, a related variant positing that the original conjecture is equivalent to its validity for cubic homogeneous maps. Arno van den Essen's 2000 monograph, , serves as a definitive compilation of results accumulated by that point, synthesizing partial proofs, equivalent formulations, and historical developments while emphasizing the conjecture's implications for automorphisms. Within this text, van den Essen outlines computational and structural evidence indicating that the conjecture may fail for sufficiently large numbers of variables n, though no explicit counterexamples have been constructed and the claim remains unproven. Subsequent advancements in reductions have been driven by researchers such as Michiel de Bondt, who, in joint work with van den Essen, established in 2005 that the conjecture suffices to be proven for symmetric maps of a specific form, further simplifying the general case. Post-2018 developments have leveraged computational techniques to verify the conjecture in low dimensions, particularly for n=2, where results confirm its validity up to polynomial degrees exceeding 100; a 2025 extension using algorithmic methods has pushed this verification to degree 104, ruling out counterexamples in these regimes without yielding a general proof. The Jacobian conjecture persists as an as of 2025, with no counterexamples identified over algebraically closed fields of characteristic zero, yet recent discussions, including those on MathOverflow, have prompted inquiries into its possible undecidability, framing it as a Π⁰₂ statement in the arithmetic that might resist resolution by standard mathematical methods.

Algebraic and geometric methods

One prominent algebraic approach to the Jacobian conjecture involves analyzing the structure of the automorphism group of the affine space \mathbb{A}^n, denoted GA_n(k), over an algebraically closed field k of characteristic zero. The conjecture asserts that a polynomial map F: k^n \to k^n with constant non-zero Jacobian determinant is an automorphism, meaning it belongs to GA_n(k), the group generated by affine transformations and elementary automorphisms (linear plus shear maps). Seminal work reduced the problem by showing that if F has degree d > 1, then the conjecture holds for F if and only if it holds for a related map of degree 3, using formal power series expansions of the inverse and bounding the nilpotence index of the Jacobian matrix at the origin. This approach aims to prove that such maps are tame automorphisms, i.e., compositions of affine and elementary ones, leveraging the known structure of GA_n(k) in low dimensions via the Jung-van der Kulk theorem. Geometric methods interpret the map F: \mathbb{A}^n \to \mathbb{A}^n via its in \mathbb{A}^n \times \mathbb{A}^n, compactified to a projective variety after resolving indeterminacies through blow-ups. In dimension n=2, the becomes a surface X with projections \pi: X \to \mathbb{P}^2 and \phi: X \to \mathbb{P}^2, where the exceptional locus \pi^{-1}(\infty) forms a tree of smooth rational curves. The constant Jacobian condition implies birationality of \phi, and ampleness of the pullback sheaf \phi^* \mathcal{O}_{\mathbb{P}^2}(1) on X would confirm this, as ample line bundles on rational surfaces ensure the map is a morphism with polynomial inverse. Invariants like the canonical divisor labels and determinants of intersection forms on exceptional curves bound the number of blow-ups (at most N for degree d), with negative labels identifying lines at infinity. This birational framework has partial success in low dimensions but faces challenges in higher n due to singularity resolution. Combinatorial attempts, particularly those by , utilize rewriting systems and structures to reduce the conjecture to the case of tame automorphisms. Wright's , adapted from , provides a condition for reducing expressions in the of automorphisms, allowing decomposition into elementary factors when the matrix J(H) for F = x - H is of low index (e.g., J(H)^3 = 0). The Bass-Connell-Wright inversion formula expresses the formal inverse as a over rooted trees, and the ensures unique normal forms, proving the conjecture for symmetric homogeneous cubics of degree up to 4 in n \leq 4 variables by showing higher-weight trees vanish. This yields partial success, improving degree bounds to 6 for binary trees with at least 7 leaves, but fails for general nilpotence indices greater than 3.

Connections to other areas of mathematics

The Jacobian conjecture exhibits connections to dynamical systems through maps with constant Jacobian determinants, which relate to the classification of isochronous centers in systems. Specifically, in the two-dimensional real case, determining whether certain systems possess isochronous centers—singular points surrounded by periodic orbits of equal period—is equivalent to resolving the conjecture, as such centers imply global invertibility of the associated maps. This linkage arises because constant Jacobian maps preserve volume and exhibit symmetries akin to integrable flows, where the conjecture's injectivity condition mirrors the global stability required for isochronous behavior. Reformulations of the conjecture also intersect with partial differential equation (PDE) integrability, particularly via associated nonlinear PDEs derived from the Jacobian condition. One approach separates the Jacobian equation into subequations for a multiply parametrized family of polynomial maps, enabling systematic integration that yields broad classes of maps satisfying the conjecture in arbitrary dimensions and degrees. This PDE perspective highlights integrability as a pathway to resolution, with recent work identifying explicit solutions that confirm the conjecture for specific families while suggesting broader applicability. Arithmetic variants extend the conjecture to p-adic settings through the Tate-Jacobian conjecture, which posits that for Tate algebras over complete discrete valuation rings like \mathbb{C}_p, a polynomial map with Jacobian determinant in the units has an inverse within the Tate algebra. This holds for all but finitely many primes p under certain topological conditions, linking the original conjecture to arithmetic geometry over non-archimedean fields. Furthermore, the conjecture belongs to the \Pi^0_1 class in the arithmetic hierarchy, meaning it is a universal arithmetic statement; while undecidable in general due to its openness, it is algorithmically decidable for fixed polynomial degrees via finite computations. In , the conjecture reduces to symmetric homogeneous cases that admit combinatorial interpretations, such as inversion formulas tied to structures like the Grossman-Larson algebra, providing a framework for verifying injectivity through counting and algebraic relations. Computational bounds arise from this view, enabling algorithmic checks for low-degree instances, though exponential growth in complexity underscores the challenge for higher dimensions. Potential ties to Hilbert's 13th problem emerge indirectly via questions of decompositions, but remain exploratory without direct equivalence. Weak variants, such as Kaliman's conjecture on real injectivity, have seen advancements using the Hurwitz formula for analyzing morphisms on Riemann surfaces. A 2024 improvement establishes that if a polynomial map F: \mathbb{C}^2 \to \mathbb{C}^2 has constant nonzero and infinitely many linear combinations aF_1 + bF_2 + c are irreducible, then F is invertible, implying global injectivity over the reals via . This refines the real-analytic case and offers tools for partial resolutions in characteristic zero.

References

  1. [1]
    [PDF] an introduction to the jacobian conjecture - Department of Mathematics
    Sep 26, 2018 · The Jacobian Conjecture is a criterion that relates the invertibility of polynomial mappings of C to a condition on their Jacobian matrix. It ...
  2. [2]
    the jacobian conjecture: reduction of degree and formal expansion ...
    Introduction. I. The Jacobian Conjecture. 1. Statement of the Jacobian Problem; first observations. 2. Some history of the Jacobian Conjecture.
  3. [3]
    [2311.14723] The Jacobian conjecture - arXiv
    Nov 19, 2023 · 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 ...<|control11|><|separator|>
  4. [4]
    Is the Jacobian conjecture arithmetic? - MathOverflow
    Jan 22, 2025 · As shown by Noah Schweber on MSE, the statement of the Jacobian conjecture is equivalent to a purely arithmetic statement, specifically Π02. Is ...Question about Jacobian conjecture on the reals - MathOverflowWhat are required topics I need to learn before tackling Jacobian ...More results from mathoverflow.net
  5. [5]
    [PDF] 1 Curves, Surfaces, Volumes and their integrals
    The Jacobian is the determinant of the Jacobian matrix. J = ⎡. ⎣. ∂x1/∂q1 ... 1.7.2 Geometric meaning of the Jacobian determinant and its inverse. The ...
  6. [6]
    [PDF] Locally Finite Polynomial Endomorphisms
    1. LF ENDOMORPHISMS. We denote by AN = CN the complex affine space of dimension N and by End = End(AN ) the set ...
  7. [7]
    [PDF] Polynomial automorphisms
    Sep 9, 2016 · A polynomial automorphism is an automor- phism of the affine space An. Since An = Spec k[x1,...,xn], a polynomial automorphism g can be seen as ...
  8. [8]
    [PDF] AUTOMORPHISMS OF AFFINE SPACE - Mathematics
    The famous Jung - Van der Kulk Theorem states, that all automorphisms of the polynomial ring K[x,y] are tame, i.e. a composition of linear and elementary ...
  9. [9]
    Polynomial Automorphisms: and the Jacobian Conjecture
    This book, the first in the field, collects many of the results scattered throughout the literature. It introduces the reader to a fascinating subject.
  10. [10]
    [PDF] Jacobian Conjecture and Nilpotent Mappings - arXiv
    The Jacobian conjecture JC(n) is equivalent to either of the following assertions: (i) F is injective; (ii) The degree deg F of F is equal to 1 (i.e. C(X1, ..., ...
  11. [11]
  12. [12]
    [PDF] The group of automorphisms of the Lie algebra of derivations of a ...
    ... inner derivations of the Lie algebra Dn determined ... An analogue of the Jacobian Conjecture is true for Dn. ... all the inner derivations of the Lie algebra G is ...
  13. [13]
  14. [14]
    [PDF] On the rational real Jacobian conjecture - ejournals.eu
    All three conjectures discussed are true in the dimension n = 1 case f : R → R. In the JC case, f is of degree 1. In the SRJC case, f is proper, since any ...<|control11|><|separator|>
  15. [15]
    The 2-dimensional Jacobian Conjecture: A Computational Approach
    This article is about the 2-dimensional Jacobian Conjecture. The degree of a polynomial mapping F is the maximum degree of its polynomial coordinate functions.
  16. [16]
    A new sufficient condition in order that the real Jacobian conjecture in
    Apr 25, 2021 · In this work we give a new sufficient condition for the injectivity of F. We also state a conjecture when constant ≠0 and equivalent to the Jacobian conjecture.
  17. [17]
    Lord Kelvin on fluid mechanics
    May 29, 2012 · Also, closer to Kelvin's time, Horace Lamb's classic Hydrodynamics [Lamb 1895] shows. Kelvin's major influence on nineteenth-century fluid ...Missing: determinant | Show results with:determinant
  18. [18]
    Ganze Cremona-Transformationen | Monatshefte für Mathematik
    Ganze Cremona-Transformationen. Published: 01 December 1939. Volume 47, pages 299–306, (1939); Cite this article. Download PDF · Monatshefte für Mathematik und ...
  19. [19]
    [PDF] Axel Thue in context
    32 Polynomials as arithmetical tools are a key to many of Thue's papers, starting with his first communications of the 1890s, and, more specifically, the idea ...
  20. [20]
    (PDF) The Jacobian Conjecture: Reduction of degree and formal ...
    Aug 9, 2025 · PDF | On Apr 1, 1982, Hyman Bass and others published The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse ...Missing: Ellenberg | Show results with:Ellenberg
  21. [21]
    Page Not Found
    - **Insufficient relevant content**: The provided URL (https://link.springer.com/book/10.1007/978-3-7643-7022-5) returns a "Page not found" error, indicating the page is unavailable or does not exist.
  22. [22]
    The Jacobian Conjecture as a problem in combinatorics - math - arXiv
    Nov 8, 2005 · The Jacobian Conjecture has been reduced to the symmetric homogeneous case. In this paper we give an inversion formula for the symmetric case ...Missing: M. de Bondt J. Koenigsmann
  23. [23]
    New reduction in the Jacobian conjecture. - EuDML
    New reduction in the Jacobian conjecture. · Volume: 1255(39), page 203-206 · ISSN: 0083-4386 ...Missing: J. Koenigsmann
  24. [24]
    [1210.1795] Syzygies of Jacobian ideals and defects of linear systems
    Oct 5, 2012 · Our main result describes the relation between the syzygies involving the first order partial derivatives f_0,...,f_n of a homogeneous polynomial.Missing: conjecture determinantal
  25. [25]
    [PDF] Jacobian Conjecture: A Birational Geometry Approach - People
    Mar 5, 2013 · K-theoretic approach. Starting from a counter- example, new counter-examples are created, with smaller degree polynomials in more variables.
  26. [26]
    [PDF] Combinatorial Approaches To The Jacobian Conjecture - UWSpace
    The Jacobian Conjecture is a long-standing open problem in algebraic geometry. Though the problem is inherently algebraic, it crops up in fields throughout ...
  27. [27]
  28. [28]
    The Jacobian Conjecture and Integrability of Associated Partial ...
    This paper considers the Jacobian conjecture in relation to nonlinear partial differential equations, finding polynomial maps and a reformulated version of the ...
  29. [29]
    [2502.10769] A Tate algebra version of the Jacobian Conjecture
    The Tate-Jacobian conjecture is a version of the Jacobian conjecture for commutative rings with an I-adic topology. It's equivalent to the Jacobian conjecture ...
  30. [30]