予想の定式化
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/01 20:52 UTC 版)
多変数の連鎖律より、もし F が多項式（であるような）逆関数 G: kN → kN を持つならば、JF の逆数は多項式で表され、したがって非ゼロ定数である。ヤコビアン予想は下述のように部分的な逆の成立を述べるものである： ヤコビアン予想: もし JF が非ゼロ定数で k が標数 0 を持つならば、F は逆関数 G: kN → kN を持ち、G は正則（各成分が多項式）である。 van den Essen (1997)によれば、2変数かつ整数係数という限定された場合について、1939年にKellerによって初めて予想された。（これは証明された。 § 諸結果を見よ。） k が正標数 p を持つヤコビアン予想の明らかな類似物は1変数であってさえ成立しない。（正標数の）体の標数は素数でなければならないから、よって少なくとも 2 以上である。多項式 x − xp は微分 1 − px xp−2 を持ち、これは（px が 0 ゆえ）1 であるが、逆関数は持たない。しかしながら、Adjamagbo (1995)は、p が体の拡大 k(X) / k(F) の次数を割り切らないという仮定を追加することで、ヤコビアン予想を標数 p > 0 に拡張することを提案している。 JF ≠ 0 という条件は多変数微分積分学における逆関数定理に関係している。実際、滑らかな関数（もちろんとくに多項式）について、JF が非ゼロとなる任意の点で、F の滑らかな局所逆関数が存在する。例えば、写像 x → x + x3 は滑らかな大域的逆関数を持つけれども、それは多項式ではない。
※この「予想の定式化」の解説は、「ヤコビアン予想」の解説の一部です。
「予想の定式化」を含む「ヤコビアン予想」の記事については、「ヤコビアン予想」の概要を参照ください。
- 予想の定式化のページへのリンク
