Difference between revisions

pinchuk-real

(page created)

Revision 273 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__pinchuk-real.md).”

Status and infobox

tier: — → V3
kind: — → counterexample
year: — → 1994
statement: — → There are polynomial maps $F=(P,Q):\mathbb R^2\to\mathbb R^2$ with $\det JF>0$ everywhere that are not injective. In the member of the class that Campbell analysed, $\deg P=10$, $\deg Q=25$, and $\mathbb R^2\setminus F(\mathbb R^2)$ is two points.
short: — → Real plane maps with positive, non-constant Jacobian that are not injective

Relations

+ refutes strong-real-jacobian: They refute the strong real Jacobian conjecture, because their Jacobian is positive everywhere and they still fold the plane over itself. Their Jacobian is not constant, so they are not Keller maps and do not bear on JC₂ directly.
+ related to jc-plane: What they show is that no proof of JC₂ can rest on real local invertibility and topology alone: any proof of the plane conjecture has to use that the determinant is constant, or that the field is ℂ.

Source +14 −0

+---

+title: Pinchuk's non-injective local diffeomorphisms of the plane

+short: Real plane maps with positive, non-constant Jacobian that are not injective

+kind: counterexample

+tier: V3

+year: 1994

+authors: S. Pinchuk

+statement: There are polynomial maps $F=(P,Q):\mathbb R^2\to\mathbb R^2$ with $\det JF>0$ everywhere that are not injective. In the member of the class that Campbell analysed, $\deg P=10$, $\deg Q=25$, and $\mathbb R^2\setminus F(\mathbb R^2)$ is two points.

+---

+Pinchuk's maps are local diffeomorphisms of the plane that are not one-to-one. They [[refutes::Statement:strong-real-jacobian|refute the strong real Jacobian conjecture, because their Jacobian is positive everywhere and they still fold the plane over itself]].<ref name="p">S. Pinchuk, A counterexamle [sic] to the strong real Jacobian conjecture, Math. Z. 217 (1994) 1–4, [doi:10.1007/BF02571929](https://doi.org/10.1007/BF02571929).</ref> Their Jacobian is not constant, so they are not Keller maps and do not bear on JC₂ directly. What they show is that no proof of JC₂ can rest on real local invertibility and topology alone: [[related::Statement:jc-plane|any proof of the plane conjecture has to use that the determinant is constant, or that the field is ℂ]].

+Campbell drew one member of the class. The image misses exactly the two points $(0,0)$ and $(-1,-\tfrac{163}4)$, and its asymptotic variety is a connected curve, parametrized by polynomials of degrees 2 and 5.<ref>L. A. Campbell, [Picturing Pinchuk's Plane Polynomial Pair](https://arxiv.org/abs/math/9812032), arXiv:math/9812032 (1998).</ref> That set is where the map fails to be proper, and Pinchuk's map is the standard worked example of a real [[Statement:jelonek-set|non-properness set]].

+<references />

Revision 273 as rendered

Pinchuk's maps are local diffeomorphisms of the plane that are not one-to-one. They refute the strong real Jacobian conjecture, because their Jacobian is positive everywhere and they still fold the plane over itself.^[1] Their Jacobian is not constant, so they are not Keller maps and do not bear on JC₂ directly. What they show is that no proof of JC₂ can rest on real local invertibility and topology alone: any proof of the plane conjecture has to use that the determinant is constant, or that the field is ℂ.

Campbell drew one member of the class. The image misses exactly the two points $(0,0)$ and $(-1,-\tfrac{163}4)$ , and its asymptotic variety is a connected curve, parametrized by polynomials of degrees 2 and 5.^[2] That set is where the map fails to be proper, and Pinchuk's map is the standard worked example of a real non-properness set.

↑ S. Pinchuk, A counterexamle [sic] to the strong real Jacobian conjecture, Math. Z. 217 (1994) 1–4, doi:10.1007/BF02571929.
↑ L. A. Campbell, Picturing Pinchuk's Plane Polynomial Pair, arXiv:math/9812032 (1998).