🔢 mathematics

On the origin of the Jacobian conjecture

This paper reveals that the Jacobian conjecture was originally proposed by L. Kraus in 1884 rather than O. H. Keller in 1939, noting that while Kraus's proof contained a fatal flaw regarding ramification at infinity, his underlying ideas anticipated modern approaches to the problem.

Original authors: Lázaro O. Rodríguez Díaz

Published 2026-07-17

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Lázaro O. Rodríguez Díaz

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Great Map Mystery

Imagine you are an explorer trying to draw a map of a magical, two-dimensional world. In this world, the landscape is defined by two giant, twisting equations, let's call them $F$ and $G$ . These equations act like a machine: you put in a pair of coordinates $(x, y)$ , and the machine spits out a new pair $(\eta, \xi)$ . The big question mathematicians have been asking for decades is: Can you always reverse the machine? If you know the output $(\eta, \xi)$ , can you perfectly reconstruct the original input $(x, y)$ using only simple polynomial recipes?

To check if a map is reversible, mathematicians use a special tool called the "Jacobian." Think of the Jacobian as a local magnifying glass that measures how much the map stretches or squishes the space at any given point. If the Jacobian is a constant number (like 1) everywhere, it means the map isn't crumpling the paper or tearing holes in it; it's just stretching things out evenly. The "Jacobian Conjecture" is the bold claim that if this magnifying glass shows a constant stretch everywhere, then the map must be perfectly reversible. It's a puzzle that has stumped the smartest minds in algebra and geometry for nearly a century, because while the map looks smooth and safe, there might be a hidden trap at the very edge of the world where things go wrong.

A Ghost from the 1880s

For a long time, everyone believed this famous puzzle was first proposed in 1939 by a mathematician named O. H. Keller. However, this paper uncovers a surprising twist in history: the exact same puzzle was actually stated and attempted to be solved much earlier, in 1884, by a mathematician named L. Kraus. The author of this paper, Lázaro Orlando Rodríguez Díaz, found Kraus's work while searching through old databases. It turns out Kraus didn't just hint at the problem; he wrote down the precise statement of the conjecture and tried to prove it.

The paper does two main things. First, it reconstructs Kraus's 1884 proof to show how clever his ideas were. Kraus used a mix of algebra and complex analysis (the study of functions that live on a "Riemann sphere," which is like a globe where the top and bottom are connected). His strategy was to look at the "fibers" of the map—imagine slicing the 3D shape of the map with a flat plane. He argued that if the map is smooth (constant Jacobian), these slices must be simple and unbroken. He believed that because the map doesn't crumple, the "roots" of the equations (the solutions for $x$ and $y$ ) would behave nicely, never getting stuck or branching off into confusing paths.

However, the paper reveals that Kraus's proof had a fatal flaw, even though his intuition was ahead of its time. The trouble happens at the "edge of the map"—mathematicians call this "infinity." Kraus tried to prove that the map behaves perfectly everywhere, including the far reaches of the complex plane. He set up a system of equations to show that if you zoom in on a point where the map might act weirdly, the math forces it to be smooth. But, as the author points out, Kraus made a critical error when dealing with points where the coordinates shoot off to infinity. He assumed that because the "stretch" (the Jacobian) was constant, the rate of change at infinity would also be well-behaved. The paper explains that this is not necessarily true; the derivative (the rate of change) at that specific point is actually undefined.

Because of this missing piece, Kraus couldn't prove that the map was reversible. The paper concludes that while Kraus anticipated modern techniques by over a century, his proof remains incomplete. The core obstacle he stumbled over—controlling what happens "at infinity"—is still the main reason the Jacobian Conjecture is unsolved today. The author doesn't claim to have solved the puzzle; instead, they have carefully mapped out exactly where Kraus's brilliant but flawed logic broke down, showing that the "trap at infinity" is still waiting to be caught.

Technical Summary: On the Origin of the Jacobian Conjecture

Problem Statement
The paper addresses the historical and mathematical origins of the Jacobian Conjecture, a central problem in algebraic geometry concerning the invertibility of polynomial maps. The conjecture posits that a polynomial map $(p, q): \mathbb{C}^2 \to \mathbb{C}^2$ with a constant non-zero Jacobian determinant ( $J(p, q) = 1$ ) is necessarily invertible, with its inverse also being a polynomial map. While traditionally attributed to O. H. Keller (1939), the author identifies that the precise statement and a proof attempt were published by L. Kraus in 1884. The paper aims to reconstruct Kraus's argument using modern mathematical tools, pinpoint the specific flaw in his logic, and analyze why that specific error remains a fundamental obstacle in contemporary approaches to the conjecture.

Methodology
The author employs a hybrid methodology combining historical textual analysis with rigorous modern algebraic geometry and complex analysis.

Historical Reconstruction: The paper analyzes Kraus's 1884 work, which utilizes the theory of resultants and algebraic functions in complex analysis.
Modern Justification: The reconstruction replaces gaps in Kraus's original argument with modern theorems, including:
- Resultant Criteria: Utilizing the Adjamagbo-van den Essen criterion (Theorem 1) which links map invertibility to the structure of the resultant $Res_y(p-u, q-v)$ .
- Field Theory: Applying Formanek's theorem to establish field extensions and the irreducibility of fibers (Theorem 3).
- Complex Analysis: Analyzing the algebraic function $x = f(v)$ defined by the resultant equation on the Riemann sphere, specifically examining branch points and ramification.
Critical Analysis: The paper systematically tests Kraus's proof steps, distinguishing between "critical points of the first kind" (finite roots) and "critical points of the second kind" (roots tending to infinity).

Key Contributions and Results

Historical Discovery: The paper establishes that L. Kraus's 1884 paper contains the exact statement of the plane Jacobian Conjecture and an attempt at its proof, predating Keller by 55 years. Kraus's work was overlooked in the context of the conjecture despite being cited in Muir's historical treatise.
Reconstruction of the Proof: The author successfully reconstructs the initial phases of Kraus's argument, demonstrating that:
- Under the assumption of irreducible fibers (a condition now known to be sufficient without loss of generality via Kaliman's results), the resultant $Res_y(p-u, q-v)$ is an irreducible polynomial $R(x, u, v)$ .
- The invertibility of the map reduces to proving that the degree of $x$ in $R(x, c, v)$ is 1.
- Kraus correctly argued that the condition $J(p, q)=1$ prevents the formation of branch points for finite critical values (critical points of the first kind). This is proven by showing that the local analytic representation of the curve allows for the application of the Inverse Function Theorem, rendering these points regular.
Identification of the Flaw: The paper identifies the fatal flaw in Kraus's proof regarding "critical points of the second kind" (where roots of the resultant go to infinity).
- Kraus claimed that the condition $J(p, q)=1$ and the non-vanishing derivative of the parametrization $x(s)$ at infinity would imply the non-vanishing of the derivative of the image function $w_\alpha(s)$ .
- The author demonstrates that this step is invalid because the derivative of the parametrization $x(s) = 1/s^m$ at $s=0$ is undefined. Consequently, one cannot conclude that $w'_\alpha(0) \neq 0$ , and thus cannot apply the Inverse Function Theorem to show that infinity is not a branch point.
The Core Obstacle: The paper concludes that the inability to control the ramification at infinity (the behavior of the map as points go to infinity) is the precise source of Kraus's error. This specific issue—controlling the non-properness of the map at infinity—remains the principal obstacle to algebro-geometric approaches to the Jacobian Conjecture today.

Significance
The paper's significance lies in its dual contribution to history and mathematics. Historically, it corrects the attribution of the conjecture's formulation, showing that the core ideas were present in 1884. Mathematically, it validates that Kraus's strategy of using resultants and the theory of algebraic functions was prescient, anticipating modern techniques by over a century. However, the paper modestly asserts that it does not rectify Kraus's proof; rather, it clarifies exactly where the logic fails. The analysis confirms that the difficulty in the Jacobian Conjecture is not merely a lack of algebraic machinery, but a deep geometric problem concerning the behavior of polynomial maps at infinity, a challenge that has persisted for more than a century.

The Great Map Mystery

A Ghost from the 1880s

Technical Summary: On the Origin of the Jacobian Conjecture

More like this