The Jacobian conjecture is one of the most famous unsolved problems in mathematics. It asks a deceptively simple question: if you have a polynomial map from n-dimensional complex space to itself, and the Jacobian determinant (a measure of how the map stretches volumes locally) is a nonzero constant everywhere, must the map have a polynomial inverse? This was posed in 1939 and resisted all attempts for nearly 90 years. The conjecture was known to be true in one dimension and was widely believed to hold in all dimensions. Then in the summer of 2026, it was disproved in three dimensions, with the key geometric insight coming from a mathematician named Speyer: the counterexample works by sweeping out the tangent lines of a plane curve, and classical results in geometry force such a map to hit most points multiple times rather than just once.
The paper gives a clean, self-contained explanation of why this tangent-sweep construction works and then generalizes it significantly. Instead of just tangent lines to plane curves, the authors extend the idea to direction fields on higher-dimensional surfaces called hypersurfaces. This generalization produces counterexamples not just in three dimensions but in every dimension greater than two. Moreover, for each dimension, the authors can produce counterexamples of arbitrarily large degree, meaning maps where a typical output point has more and more preimages. The paper works out five new explicit counterexamples across dimensions three, four, and five, with varying numbers of preimages.
Beyond disproving the conjecture, the counterexamples illuminate something interesting about the structure of polynomial maps. They provide concrete examples of so-called etale coverings of complex n-space by itself: maps that are locally perfectly well-behaved and never branch or fold, yet still fail to be one-to-one. The failure of injectivity is subtle, happening only through sequences of points that drift off to infinity rather than through any visible collision in finite space. All the claimed algebraic identities in the paper were verified by computer using exact arithmetic, and an appendix works out the precise fiber structures using Grobner basis calculations.