The Jacobian Conjecture is a famous unsolved problem in mathematics asking whether a polynomial map from n-dimensional space to itself, whose Jacobian determinant is everywhere a nonzero constant, must be invertible (a bijection with a polynomial inverse). This has been open since 1939 and is considered one of the hardest problems in algebra. The paper works both on this classical conjecture and on a related conjecture by Adjamagbo, which extends the question to algebraically closed fields of prime characteristic. In that setting, the naive conjecture is known to be false, and the paper constructs explicit counterexamples showing just how badly it can fail: there exist "etale" (locally invertible in an algebraic sense) polynomial self-maps of the plane that miss finitely many points in their image, have fibers of any prescribed size, and behave in other unexpected ways. These examples also disprove several standing conjectures, including an analog of a counterexample due to Kulikov for surfaces.
A second theme concerns what happens when you iterate such a map repeatedly. If you apply an endomorphism of a space over and over again, the images of successive iterates form a shrinking chain of subsets. A natural question is whether this chain eventually stabilizes, meaning the image stops changing after some finite number of steps. The paper proves that stabilization always occurs under two reasonable conditions: either the map has finite fibers everywhere (quasi-finite), or the space is at most two-dimensional and only finitely many points are missed. On the other hand, the paper shows this can fail in dimension three or higher, constructing maps whose iterated images never stabilize, no matter how many times you compose the map with itself.
Finally, the paper studies the "moduli spaces" that parametrize all etale self-maps of affine spaces whose Jacobian determinant equals 1. These are geometric objects that classify all such maps at once. The paper proves that every such moduli space is connected, meaning it forms a single coherent piece, and completely identifies which ones are smooth (the nicest possible geometric structure). As a positive result toward the Jacobian Conjecture itself, the paper proves the conjecture holds for a specific class of maps that can be decomposed into a quasi-finite part followed by a coordinate projection, giving new cases where invertibility can be guaranteed from the Jacobian condition alone.