[論文レビュー] An introduction to Mathieu subspaces

Arno van den Essen|arXiv (Cornell University)|Jul 13, 2019

Advanced Differential Equations and Dynamical Systems参考文献 14被引用数 4

ひとこと要約

本稿は、ヤコビアン予想、消滅予想、像予想といった代数幾何学および解析学における深い予想を統一的に扱う枠組みとして、Mathieu-Zhao (MZ) 空間を導入する。正標数において、像予想が成り立つことを示す。具体的には、多項式のp乗が特定の微分作用素の像に属するならば、その多項式と他の多項式の積の高次のべきも、すべて十分に大きなべきにおいて同様に像に属することを、次数解析と係数イデアルを用いて証明する。

ABSTRACT

This is the note for the four lectures given by the author in the ``International Short-School/Conference on Affine Algebraic Geometry and the Jacobian Conjecture" at Chern Institute of Mathematics, Nankai University, Tianjin, China. July 14-25, 2014. The aim of this lectures is to give an introduction to the theory of Mathieu subspaces. We will not treat all topics in their most general setting, but will restrict to certain classes of "nice" rings. As we shall see even for these rings there is a lot we don't know yet!

研究の動機と目的

• ヤコビアン予想、消滅予想、像予想を、Mathieu-Zhao (MZ) 空間の一般理論の下で統一すること。
• 多項式環における微分作用素とイデアルの構造を分析することにより、正標数における像予想を確立すること。
• 像予想が一般化された消滅予想を含み、したがってヤコビアン予想を含むことを示すこと。
• 可換環におけるMZ空間について、具体的な例と構造的性質に焦点を当て、体系的な導入を行うこと。
• Wenhua Zhaoの基礎的寄与を認識して、Mathieu部分空間をMathieu-Zhao空間に改称することを提案すること。

提案手法

• 多項式環 $ A $ の部分空間 $ V \subseteq A $ として、任意の $ a \in A $ に対して、すべての十分大きな $ m $ に対して $ a^m \in V $ ならば、すべての $ b \in A $ に対して $ ba^m \in V $ となるような $ V $ をMathieu-Zhao (MZ) 空間と定義する。
• 重要な補題を用いる：多項式 $ b \in \operatorname{Im}D $ ならば、$ b $ の最高次同次成分の係数は、$ D = \{ \partial_{x_i} - \zeta_i \} $ に対応する $ a_i $ によって生成されるイデアル $ I $ に属する。
• もし $ f^p \in \operatorname{Im}D $ ならば、$ f^p $ のすべての係数がイデアル $ I $ に属し、したがって $ f^{p^2} \in \operatorname{Im}D $ であることを証明する。
• $ \operatorname{Im}D $ がMZ空間であることを示すために、$ f^m \in \operatorname{Im}D $ がすべての $ m \geq 1 $ に対して成り立つならば、すべての十分大きな $ m $ に対して $ gf^m \in \operatorname{Im}D $ となることを、帰納法と $ a_i^p $ によって生成されるイデアル $ J $ への係数の包含関係を用いて証明する。
• 正標数において $ \partial_i^p = 0 $ であることに着目し、$ a_i^p x^a \in \operatorname{Im}D $ であることを用いて、$ J $ の係数を持つ多項式が $ \operatorname{Im}D $ に属することを示す。
• 同次成分の構造と正規列を用いて、$ \operatorname{Im}D $ に属するための係数条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 正標数の体上の多項式環において、形式 $ \partial_{x_i} - \zeta_i $ の微分作用素に対して、像予想は成り立つか？
• RQ2 消滅予想は、任意の定数係数微分作用素へ一般化可能であり、ヤコビアン予想を含むか？
• RQ3 $ \mathbb{C}[\zeta, x] $ において、微分作用素集合 $ D = \{ \partial_{x_i} - \zeta_i \} $ の像はMathieu-Zhao空間か？
• RQ4 根のイデアルと係数イデアルは、$ \operatorname{Im}D $ におけるべきの属する条件を決定する上で果たす役割は何か？
• RQ5 ヤコビアン予想、消滅予想、一般化された消滅予想、像予想は、MZ空間の枠組みを通じてどのように関係しているか？

主な発見

• 正標数における像予想が成り立つ：もし $ f^p \in \operatorname{Im}D $ ならば、すべての $ m \geq p^2 $ およびすべての $ g \in \mathbb{C}[\zeta,x] $ に対して $ gf^m \in \operatorname{Im}D $ である。
• 重要な補題により、$ b \in \operatorname{Im}D $ ならば、その最高次同次成分の係数は、$ a_i $ によって生成されるイデアル $ I $ に属する。
• もし $ f^p \in \operatorname{Im}D $ ならば、$ f^p $ のすべての係数が $ I $ に属し、正標数における $ \partial_i^p $ の零冪性により、$ f^{p^2} \in \operatorname{Im}D $ である。
• $ \operatorname{Im}D $ は $ \mathbb{C}[\zeta,x] $ におけるMathieu-Zhao空間である。なぜなら、$ f^m \in \operatorname{Im}D $ がすべての $ m \geq 1 $ に対して成り立つならば、すべての十分大きな $ m $ に対して $ gf^m \in \operatorname{Im}D $ となるという定義条件を満たすからである。
• 像予想は一般化された消滅予想を含み、その結果ヤコビアン予想を含む。これにより、予想間の含意の鎖が確立される。
• 証明は、同次成分の構造を分析し、$ f $ の次数に関する帰納法を用いる。$ a_i^p $ によって生成されるイデアル $ J $ への係数の包含関係が、$ m \geq p^2 $ のとき $ gf^m \in \operatorname{Im}D $ となることを保証する。