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

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

Advanced Differential Equations and Dynamical Systems被引用数 3

ひとこと要約

本論文は、微分が恒等的にゼロでない $ n $ 個の第一積分をもつ任意の解析的特異foliationが、局所的 blowing-up の系列により局所的に単項式化可能であることを証明している。厳密変換されたfoliationは、$ \mathbf{x}^{\boldsymbol{\alpha}_1}, \dots, \mathbf{x}^{\boldsymbol{\alpha}_n} $ の形をした $ n $ 個の単項式第一積分をもち、多変数指数 $ \boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n $ は線形独立である。これにより、特異点の近傍における系の標準形が得られる。

ABSTRACT

Given an analytic singular foliation $\omega$ with $n$ first integrals $(f_1,...,f_n)$ such that $df_1 \wedge ..., df_n ot\equiv 0$, we prove that there exists a local monomialization of the system of first integrals, i.e. there exist sequences of local blowings-up such that the strict transform of $\omega$ has $n$ monomial first integrals $(\mathbf{x}^{\boldsymbol{\alpha}_1}, ..., \mathbf{x}^{\boldsymbol{\alpha}_n})$, where $\mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} ... x_m^{\alpha_{i,m}}$ and the set of multi-indexes $(\boldsymbol{\alpha}_1, ...,\boldsymbol{\alpha}_n)$ is linearly independent.

研究の動機と目的

• 解析的foliationにおける第一積分系の特異点を局所的 blowing-up により解消すること。
• 与えられた第一積分を局所座標系において単項式形に変換すること。
• 得られる単項式第一積分が多変数指数の意味で線形独立であることを保証すること。
• 局所解析的カテゴリーにおける特異的foliationと第一積分をもつ系の標準形を提供すること。

提案手法

• foliation $ \omega $ が定める特異点を局所的 blowing-up の系列により解消する。
• 各段階でfoliationの厳密変換を構成し、第一積分の構造を保存する。
• 座標変換を適用して第一積分を $ \mathbf{x}^{\boldsymbol{\alpha}_i} $ の形、すなわち $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $ に表現する。
• 多変数指数の集合 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ が $ \mathbb{R} $ 上で線形独立であることを保証し、微分の独立性を維持する。
• 変換の収束性と解析性を保つために、局所解析的カテゴリー内で作業する。
• 微分の非消滅条件 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $ を活用し、解消過程中でも常に定義されたfoliation構造が保証されることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 解析的特異foliationの $ n $ 個の第一積分系は、局所的 blowing-up を用いて単項式形に変換可能か？
• RQ2 厳密変換されたfoliationが単項式第一積分をもつための条件は何か？
• RQ3 解消後において、単項式第一積分に関連する多変数指数の線形独立性を維持することは可能か？
• RQ4 微分の非消滅 wedge 積 $ df_1 \wedge \cdots \wedge df_n $ は解消過程にどのように影響するか？
• RQ5 局所的単項式化プロセスは、foliation構造および第一積分の独立性を保っているか？

主な発見

• 本論文は、foliationの厳密変換が $ n $ 個の単項式第一積分をもつ有限個の局所的 blowing-up の系列が存在することを確立している。
• 単項式第一積分は $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $ の形をとり、指数は整数である。
• 多変数指数の集合 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ は $ \mathbb{R} $ 上で線形独立であり、第一積分の関数的独立性が保証される。
• 解消プロセスはfoliationの解析的構造と非退化条件 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $ を維持する。
• 結果として、局所解析的設定における特異的foliationと第一積分をもつ系の標準形が得られる。
• 本手法により完全な局所的単項式化が達成され、特異点近傍におけるこのような系の標準形が得られる。