A note on the real Jacobian conjecture in degree 7

問題設定
本論文は、ヤコビアンが非零の（ヤコビアン・ペアを持つ）多項式写像 $(p, q): \mathbb{R}^2 \to \mathbb{R}^2$ は必ず単射であるという実ヤコビ予想（Real Jacobian Conjecture）を扱っている。非典型的なヤコビアン・ペア（単射性の反例）が存在することは既知であるが、それらが現れる具体的な次数の条件については依然として調査の対象となっている。著者は、$p$ の次数が 7 である場合に焦点を当てている。先行研究では、$\deg(p) \leq 6$ であれば、そのペアは常に典型的（単射）であることが確立されている。近年の結果により、$\deg(p)=7$ かつ $\deg(q)=29$ の場合に非典型的なペアが存在することが示されている。本論文は、特定の最高次同次部分の形および $q$ の次数の偶奇性の制約下において、$\deg(p)=7$ の非典型的なペアが存在するかどうかを調査するものである。

手法
著者は、$p$ のニュートン多角形を中心とした幾何学的なアプローチを採用している。主要な手法には以下が含まれる：

• ニュートン多角形解析： $p$ の支持集合（$\Delta_p$）の凸包、特に「外側の辺」およびそれに関連する「外側の法線ベクトル」の研究。
• 無限遠における枝（Branches at Infinity）： $p(x,y)=0$ の無限遠における枝のパラメータ化を利用して、それらをニュートン多角形の辺に関連付ける。
• 退化性と沈下（Submersion）の性質： $p$ が特定の辺上で「退化」しているか（$xy$ と互いに素な複数の因子を持つか）を分析し、多項式の沈下に関する補題を適用する。
• ケース別列挙： 特定の最高次項を持つ次数 7 の多項式について、考えられるニュートン多角形の構成を体系的にリストアップし、排除する。
• 座標変換： 複雑なケースを、既知の低次シナリオや標準形に簡約するために、アフィン変数変換（例：$x := x + a$ や $y := y + cx^2$）を適用する。
• 符号変化の議論： $p$ と $q$ のニュートン多角形の頂点の和がある成分に偶数を持つ場合、ヤコビアンが符号を変えることを示すために補題 1.1 を用いて、ヤコビアン・ペアの存在を否定する。

主な貢献と結果
本論文は以下の主要な結果を確立している：

1. 特定の最高次項に対する典型性（次数 7）：
   著者は、$(p, q)$ がヤコビアン・ペアであり、かつ最高次同次部分（$p_+$）が以下のいずれかの形をとる場合、そのペアは典型的（単射）であることを証明する：

   • $p_+ = \alpha x^7$ （ここで $\alpha \neq 0$）。
   • $p_+ = \beta x^6 y$ （ここで $\beta \neq 0$）。
   • $p_+ = \alpha x^7 + \beta x^6 y$ （ここで $\alpha^2 + \beta^2 \neq 0$）。

   証明には、これらすべてのケースにおけるあらゆる可能なニュートン多角形の網羅的な分析が含まれる。著者は、あらゆる可能な構成において、そのペアが典型的であるか、あるいはヤコビアンの伴（mate）$q$ の存在が不可能である（例：問題を既知の典型的な次数 6 のケースに帰着させる、あるいはヤコビアンが必ず符号を変えることを示す）ことを実証している。

2. $q$ の次数が偶数の場合の非典型的なペアの非存在：
   本論文は、$(p, q)$ がヤコビアン・ペアであり、$\deg(p)=7$ かつ $\deg(q)$ が偶数で 7 と互いに素であるならば、そのペアは典型的であることを証明する。

   • 証明では、線形変数変換を用いて、$x$ が $p$ の最高次項を割り切ると仮定する。
   • $p$ と $q$ のニュートン多角点の頂点を分析することにより、これらの頂点の和がちょうど一つの偶数の座標を持つベクトルになることを示す。
   • 補題 1.1 によれば、これはヤコビアンが符号を変えることを意味し、$(p, q)$ がヤコビアン・ペアであるという仮定に矛盾する。

意義と範囲
本論文は、実ヤコビ予想の次数条件の解明に寄与するものである。先行研究（具体的には [4] および [12]）のアイデアを組み合わせることで、著者は潜在的な反例の探索範囲を狭めている。

• 本結果は、最高次項が $\alpha x^7 + \beta x^6 y$ の形である場合、または $\deg(q)$ が偶数で 7 と互いに素である場合に、非典型的なヤコビアン・ペアは存在しないことを確認している。
• 本論文は、[4] にある $\deg(p)=7$ かつ $\deg(q)=29$ の既知の反例、および $\deg(q) \leq 15$ の場合には反例が存在しないという計算によるチェック（[2]）を明示的に参照している。
• 著者は、$\deg(p)=7$ における最小の非典型的なペアの次数を見つけるためには、今後の研究が、多項式 $p_7 = x + y + 3xy + 3x^2y + 2x^2y^2 + 3x^3y^2 + x^4y^3$ に対する次数集合 $\{17, 19, 21, 23, 25, 27, 28\}$ の非典型的な伴の存在を決定することに焦点を当てなければならないと結論付けている。

本論文は、次数 7 に関する予想を完全に解決すると主張するものではないが、大規模なクラスの反例を排除することで、開かれた問題を精緻化している。