[論文レビュー] Local monomialization of a system of first integrals of Darboux type

André Belotto da Silva|arXiv (Cornell University)|Nov 19, 2014

Advanced Differential Equations and Dynamical Systems参考文献 18被引用数 5

ひとこと要約

本稿は、複素解析的または実解析的特異ファイブレーションにおける $ n $ 個のダーブークス型第一積分の局所的単項化の存在を証明する。適切な局所的ブローアップの有限合成を用いることで、ファイブレーションを単項特異点に還元し、第一積分を単項特異点に適した座標系における単項式にできる。

ABSTRACT

Given a real- or complex-analytic singular foliation $θ$ with $n$ first integrals of meromorphic or Darboux type $(f_1,\dots,f_n)$, we prove that there exists a local monomialization of the first integrals. In particular, if $θ$ is generated by the $n$ first integrals, we prove the existence of a local reduction of singularities of $θ$ to monomial singularities.

研究の動機と目的

• 特異ファイブレーションにおける $ \mathcal{K} $-ダーブークス型 $ n $ 個の第一積分の局所的単項化を達成する問題 1.2 を解決すること。
• 任意次元における完全可積分ファイブレーションの局所的特異点還元を提供すること。
• ファイブレーションを単項形に変換することにより、擬代数的積分を研究するための枠組みを確立すること。
• 低次元の場合（例：次元 2 および 3）に限らない、一般次元への解消技法の拡張を図ること。
• $ \mathcal{K} = \mathbb{Q} $ のとき、単項第一積分が解析的であることを保証することにより、元の系の解析構造を維持すること。

提案手法

• 滑らかな中心が例外的 divisor に横断的であるような、許容的な局所的ブローアップの合成の使用。
• 特異点を局所的に解消する有限個の準同型 $ \tau_i: (M_i, E_i) \to (M, E) $ の構成。
• 第一積分を局所座標系における単項式 $ \mathbf{x}^{\boldsymbol{\alpha}_i} $ として表現するための座標変換の適用。
• 線形独立な指数を $ \mathbb{K} $ 上に持つ多指数記法 $ \boldsymbol{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $ の使用。
• ブローアップにおける理想層の生成元の引き戻しの分析を行い、どの生成子が最小の位数の項に引き上げられるかに応じて場合分けを行う。
• 単位展開と原点で消える $ \Omega $-項を用いて、消えの位数を制御し、単項構造が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 特異ファイブレーションにおける $ \mathcal{K} $-ダーブークス型 $ n $ 個の第一積分は、局所的に単項化可能か？
• RQ2 許容的ブローアップを用いて、任意次元における完全可積分ファイブレーションの局所的特異点解消が可能か？
• RQ3 解析的性が保たれるか、$ \mathcal{K} = \mathbb{Q} $ のとき、単項化プロセスは解析的性を維持できるか？
• RQ4 特異点解消プロセスにおける繰り返しのブローアップにおける第一積分の消えの位数の振る舞いはいかなるものか？
• RQ5 単項第一積分の指数は、ファイブレーションのリー代数構造とどのように関係しているか？

主な発見

• 問題 1.2 に対して肯定的解決が得られた：許容的局所的ブローアップの有限合成が存在し、その厳密変換されたファイブレーションは $ n $ 個の単項第一積分を持つ。
• 単項第一積分は、単純正則交差除集合 $ \widetilde{E} $ に適したものであり、$ \mathrm{supp}\,\widetilde{E} = \{x_1 \cdots x_l = 0\} $ を満たす。
• $ \boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n \in \mathcal{K}^m $ は $ \mathbb{K} $ 上で線形独立であり、非退化性が保証される。
• $ \mathcal{K} = \mathbb{Q} $ のとき、得られる単項第一積分は解析的であり、元の系の解析的性が保たれる。
• 証明では、理想層の生成子のうちどのものが最小位数の項に引き上げられるかに応じて三つの場合に分類され、すべての場合で $ \nu(q, \omega_r, \mathcal{D}_r) < \nu $ が成り立つことが示され、不変量の減少が保証される。
• この手法により、任意の単項第一積分の全変換が、単項式に単位をかけた形に保たれ、ブローアップにおける特異挙動が制御される。