202612203 これ、多項式という条件を外すと、全域で |J| = const かつ単射でない関数って簡単に作れるのかな。 |J| ≠ 0 なら指数関数か何かで (-∞, ∞) → (0, ∞) して極座標に変換すればいける。
Remarks on the Real Jacobian Conjecture and Samuelson maps
この最初のページにあった。なるほど。ぐるぐる方向のスケールを変えてダメな理由はないか (とりあえず検索してしまうのよくない)。
しかしこれはいわば特異点を無限遠点に押しつけるような方法である。 R^2 でこれ以外のアプローチはなかなか想像がつかないのだが、先の論文には多項式で R^2, |J| ≠ 0 の例が引用されている。多項式で無限遠点に押しつけるアプローチは不可能そうだが、違うアプローチがあるの?