[論文レビュー] Polynomials with general C^2-fibers are variables. I

Shulim Kaliman|ArXiv.org|Dec 7, 1999

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

ひとこと要約

この論文は、$H_3$ が自明で、単位元が自明であり、一般のファイバーが $\mathbb{C}^2$ に同型である曲線へ写像するザリスキー開部分集合 $Z$ を持つ滑らかなアフィン3次元多様体 $X'$ が、$X' \setminus Z$ に非孤立な特異点を含まない場合、$\mathbb{C}^3$ に同型であることを証明する。この結果から、$\mathbb{C}^3$ 上で一般に $\mathbb{C}^2$-ファイバーを持つ任意の多項式は変数であることが従い、Gutwirthの結果が次元3へ拡張される。

ABSTRACT

Suppose that X' is a smooth affine algebraic variety of dimension 3 with H_3(X')=0 which is a UFD and whose invertible functions are constants. Suppose that Z is a Zariski open subset of X which has a morphism p : Z -> U into a curve U such that all fibers of p are isomorphic to C^2. We prove that X' is isomorphic to C^3 iff none of irreducible components of X'-Z has non-isolated singularities. Furthermore, if X' is C^3 then p extends to a polynomial on C^3 which is linear in a suitable coordinate system. As a consequence we obtain the fact formulated in the title of the paper.

研究の動機と目的

• 次元2における一般に $\mathbb{C}$-ファイバーを持つ多項式を変数として分類する Gutwirth の定理の3次元版を確立すること。
• $\mathbb{C}^3$ の埋め込み予想の特殊な場合を解決すること。この予想は、$\mathbb{C}^2$-ファイバーを持つ非可約多項式が変数であるというものである。
• トポロジカルおよび代数的不変量を用いて、$\mathbb{C}^2$-シリンダー構造を持つアフィン3次元多様体が $\mathbb{C}^3$ に同型である条件を同定すること。
• Makar-Limanov不変量が標準的でない $\mathbb{C}^3$ 構造（exotic）を標準的構造と区別する役割を明確にすること。

提案手法

• 特異点が非孤立である $\mathbb{C}^2$-シリンダーの補集合を持つアフィン3次元多様体において、Makar-Limanov不変量を用いて非自明性を検出すること。
• 局所的にべき零である微分作用素（LND）の理論と、特に $d$-フィルトレーションおよび関連する順次層構造を用いて、全空間 $X'$ への拡張を応用すること。
• $X'$ が自明な単位元と $e(X')=1$ を持ち、$X'$ がUFDであることから、適切な条件下で $X' \cong \mathbb{C}^3$ を導出すること。
• 3次元多様体における $\mathbb{C}^2$-シリンダーに関するMiyashitaの定理の強化版を適用し、特に $p: Z \to U$ の写像を $X'$ 上の正則関数へ拡張できることを含む。
• $A' = \mathcal{O}(X')$ の環構造と $\mathbb{C}[x,y,z,1/f(x)]$ への埋め込みを用いて、微分作用素とその核の振る舞いを分析すること。
• もし $X'$ が滑らかで $H_3(X')=0$ であれば、$X' \setminus Z$ に非孤立な特異点が存在しないならば $X' \cong \mathbb{C}^3$ であり、その逆に存在するならば非自明なML不変量を持つエキゾチック構造となることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかで $H_3(X')=0$ であり、$\mathbb{C}^2$-シリンダー構造を持つアフィン3次元多様体 $X'$ が $\mathbb{C}^3$ に同型である条件は何か？
• RQ2 一般に $\mathbb{C}^2$-ファイバーを持つザリスキー開部分集合 $Z \subset X'$ からの写像 $p: Z \to U$ が $X'$ 上の正則関数へ拡張可能となる条件は何か？
• RQ3 Makar-Limanov不変量は、$\mathbb{R}^6$ 上の標準的 $\mathbb{C}^3$ 構造とエキゾチックな代数的構造を区別する上で果たす役割は何か？
• RQ4 一般に $\mathbb{C}^2$-ファイバーを持つ多項式が変数であるという Gutwirth の3次元版定理は、やや弱いトポロジカルおよび代数的条件下で確立可能か？
• RQ5 $X' \setminus Z$ の特異点は、$X'$ の同型型およびその自己同型群の構造にどのように影響を与えるか？

主な発見

• 滑らかで $H_3(X')=0$ であり、単位元が自明で、$X'$ のザリスキー開部分集合 $Z \subset X'$ が曲線 $U$ 上の $\mathbb{C}^2$-シリンダーであるようなアフィン3次元多様体 $X'$ に対して、$X' \cong \mathbb{C}^3$ であるための必要十分条件は、$X' \setminus Z$ のすべての既約成分が高々孤立特異点を持つことである。
• $\mathbb{C}^2$-ファイバーを持つ写像 $p: Z \to U$ は、$X'$ 上の正則関数へ拡張可能であり、この関数は $\mathbb{C}^3$ 上の適切な多項式座標系における変数である。
• $X' \setminus Z$ に非孤立特異点を持つ成分が含まれる場合、$X'$ は $\mathbb{C}^3$ に同型でないエキゾチックな代数的構造であり、$\mathbb{R}^6$ と微分同相であるが、$\mathbb{C}^3$ とは同型でない。このとき、Makar-Limanov不変量は非自明である。
• このようなエキゾチックな $X'$ の Makar-Limanov 不変量は非自明であり、特に $\mathrm{ML}(A') = \mathbb{C}[x]|_{X'}$ が成り立ち、$x$ がすべての正則な $\mathbb{C}_+$-作用で固定されることを示す。
• この結果により、$\mathbb{C}^3$ 上で一般に $\mathbb{C}^2$-ファイバーを持つ任意の多項式が変数であることが確認され、Gutwirth の2次元結果が次元3へ拡張された。
• 証明は、部分環から全環の正則関数環への局所的にべき零な微分作用素の拡張に依拠し、$d$-フィルトレーションおよび関連する順次層構造を用いて微分作用素の核を分析する。