[論文レビュー] Note on the Weierstrass Preparation Theorem in Quasianalytic Local Rings

Jean-Philippe Rolin, Adam Parusiński|arXiv (Cornell University)|Mar 18, 2013

Advanced Topology and Set Theory参考文献 6被引用数 4

ひとこと要約

この論文は、合成、陰関数、単項式除法に関して閉じた擬解析的系においてワイエルシュトラス準同型定理が成り立つならば、その系のすべての要素は解析的であることを証明する。証明は、テイラー級数の複素化と擬解析性を用いて、実ゲルムが正則的関数に正則に拡張可能であることを示し、解析性を示す。

ABSTRACT

Consider quasianalytic local rings of germs of smooth functions closed under composition, implicit equation, and monomial division. We show that if the Weierstrass Preparation Theorem holds in such a ring then all elements of it are germs of analytic functions. .

研究の動機と目的

• ワイエルシュトラス準同型定理が解析関数を超える擬解析的環で成り立つかどうかを調査すること。
• 合成、陰関数、単項式除法に関して閉じた擬解析的系においてワイエルシュトラス準同型定理を仮定した場合の結果を特定すること。
• このような系は、すべて解析的ゲルムから成り立つべきであり、解析性を代数的性質によって特徴づけること。

提案手法

• ワイエルシュトラス準同型定理が与える分解を用いて、実ゲルム h のテイラー級数を複素化することで、複素ゲルム H を構成する。
• H の形式的級数展開を用いて、その実部と虚部が形式的にコーシー・リーマン方程式を満たすことを示す。
• 擬解析性を用いて、形式的正則性を実際に正則なゲルムに持ち上げ、元の実ゲルム h が解析的であることを示す。
• 2変数ゲルム f(x₁,x₂) = h(x₁ + x₂) にワイエルシュトラス準同型定理を適用し、x₂² に依存する成分に分解する。
• 陰関数および単項式除法に関する閉包性を用いて、f₀ および f₁ を構成し、f(x₁,x₂) = f₀(x₁,x₂²) + x₂f₁(x₁,x₂²) が成り立つようにする。
• H(z) = f₀(x₁,−x₂²) + i x₂ f₁(x₁,−x₂²) が実部と虚部がコーシー・リーマン方程式を満たすことで、正則的であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 合成、陰関数、単項式除法に関して閉じた擬解析的系において、ワイエルシュトラス準同型定理は解析性を意味するか？
• RQ2 ワイエルシュトラス準同型定理を満たす擬解析的系に、非解析的滑らかゲルムが含まれ得るか？
• RQ3 形式的正則拡張が実際に正則なゲルムに対応するように保証するための擬解析性の役割は何か？
• RQ4 擬解析的設定において、テイラー級数の複素化は、実ゲルムの正則的拡張とどのように関係するか？
• RQ5 ワイエルシュトラス準同型定理が擬解析的デニョ・カルレマンクラスで成り立たない構造的障害は存在するか？

主な発見

• 擬解析的系がワイエルシュトラス準同型定理を満たすならば、そのすべてのゲルムは解析的である。
• このような系のゲルムのテイラー級数の複素化は、形式的にコーシー・リーマン方程式を満たす。
• 擬解析性により、形式的正則性が実際に正則なゲルムに対応することが保証される。
• f(x₁,x₂) = f₀(x₁,x₂²) + x₂f₁(x₁,x₂²) の分解は、系の閉包性によって保存される。
• H(z) = f₀(x₁,−x₂²) + i x₂ f₁(x₁,−x₂²) の正則的拡張の存在は、元の実ゲルム h が解析的であることを示唆する。
• この結果は、完全なワイエルシュトラス除法ではなく、最小限の仮定であるワイエルシュトラス準同型定理（W₃）が成り立つ場合にも成立する。