[論文レビュー] Connected components of partition preserving diffeomorphisms

Sergiy Maksymenko|arXiv (Cornell University)|Jun 1, 2008

Mathematical Dynamics and Fractals参考文献 7被引用数 3

ひとこと要約

本稿は、$\mathbb{R}^2 \to \mathbb{R}$ への同次多項式 $f$ を保存する微分同相写像の連結成分を特徴づけ、$r \geq 1$ に対してその恒等成分 $\mathcal{S}_{\mathrm{id}}(f)^r$ が一致することを示す。一方、$\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ であるのは、$f$ が少なくとも2つの異なる正定値二次形式の積である場合に限る。この結果は、$f$ の値関数の等高線を保存する特異的分割と同相写像の解析に依拠している。主な貢献は、高階微分可能性クラスが、$f$ の安定化群における恒等成分を厳密に小さくする条件を完全に分類したことにある。

ABSTRACT

Let $f:\mathbb{R}^2 o \mathbb{R}$ be a real homogeneous polynomial and $S(f)$ be the group of diffeomorphisms $h:\mathbb{R}^2 o \mathbb{R}^2$ preserving $f$, i.e. $f \circ h = f$. Denote by $S(f,r)$, $(0\leq r \leq \infty)$, the identity path component of $S(f)$ with respect to the weak Whitney $C^{r}_{W}$-topology. We prove that $S(f,\infty) = \cdots = S(f,1)$ for all such $f$ and that $S(f,1) ot= S(f,0)$ if and only if $f$ is a product of at least two distinct irreducible over $\mathbb{R}$ quadratic forms.

研究の動機と目的

• 同次多項式 $f:\mathbb{R}^2 \to \mathbb{R}$ を保存する微分同相写像群の、弱ホイットニー $C^r_W$-位相における恒等成分 $\mathcal{S}_{\mathrm{id}}(f)^r$ の構造を理解すること。
• 異なる $r$ に対する恒等成分 $\mathcal{S}_{\mathrm{id}}(f)^r$ 間の関係を明確化すること、特にそれらがいつ安定化するか、あるいは異なるかを特定すること。
• $\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ となる正確な条件を同定すること。これは微分同相写像群における位相的障害に対応する。
• 特に線形因子および正定値二次形式への因子分解に起因する $f$ の代数的構造が、安定化群の連結性に与える影響を調査すること。
• 特異的分割と不変収縮を用いた一般枠組みを構築し、特異性理論におけるより広範な問題に応用可能なものとする。

提案手法

• 本稿では、$r$-ホモトピーを、$\mathbb{R}^2 \times I \to \mathbb{R}^2$ となる $C^r$-写像 $H$ として定義し、その偏導関数が $(x,t)$ に対して連続に依存する連続的家族として定義する。これは、$C^r_W$-位相における連続的経路に対応する。
• レベル集合によって誘導される特異的分割 $\Theta_G$ を分析することにより、安定化群 $\mathcal{S}(f)$ を、この分割を保存する微分同相写像群 $\mathcal{D}(\Theta_G)$ と関連付ける。
• ベクトル場 $G$ によって生成される局所フロー $\Phi$ を用い、$1$-ホモトピーを通じて恒等写像に同相な微分同相写像を捉える写像 $\varphi$ を構成する。
• 証明の根幹は、$f$ が少なくとも2つの異なる正定値二次形式の積である場合、任意の $h \in \mathcal{S}_{\mathrm{id}}(f)^1$ の原点における接写像 $T_0 h$ が恒等写像でなければならないこと、一方 $\mathcal{S}_{\mathrm{id}}(f)^0$ には $-\mathrm{id}_{\mathbb{R}^2}$ が含まれることに起因する。これにより、真の包含関係が得られる。
• 既存の研究結果（例：$\mathcal{S}_{\mathrm{id}}(f)^\infty = \mathcal{S}_{\mathrm{id}}(f)^1$、特定の状況下での線形対称群 $\mathcal{LS}(f)$ の離散性）を応用し、等式と真の不等式の鎖を確立する。
• 次数と因子分解に基づく $f$ の分類（A）〜（E）により、安定化群の恒等成分についてのケースバイケースの解析が可能になる。

実験結果

リサーチクエスチョン

• RQ1 いつ $\mathcal{S}_{\mathrm{id}}(f)^1$ が $\mathcal{S}_{\mathrm{id}}(f)^0$ と厳密に異なるのか。
• RQ2 同次多項式 $f:\mathbb{R}^2 \to \mathbb{R}$ に対して、異なる微分可能性クラス $r$ における恒等成分 $\mathcal{S}_{\mathrm{id}}(f)^r$ の振る舞いはいかなるものか。
• RQ3 $f$ の既約実因子への因子分解、特に正定値二次形式への因子分解が、安定化群の位相に果たす役割は何か。
• RQ4 $f$ の等高線を保存するフローまたは同相写像を用いて、安定化群の恒等成分を特徴づけられるか。
• RQ5 原点における接写像は、$\mathcal{S}_{\mathrm{id}}(f)^1$ の可能性のある要素を $\mathcal{S}_{\mathrm{id}}(f)^0$ よりもどのように制限するか。

主な発見

• すべての同次多項式 $f:\mathbb{R}^2 \to \mathbb{R}$ に対して、$r \geq 1$ の恒等成分は一致する：$\mathcal{S}_{\mathrm{id}}(f)^\infty = \cdots = \mathcal{S}_{\mathrm{id}}(f)^1$。
• $h \in \mathcal{S}_{\mathrm{id}}(f)^1$ であるための必要十分条件は、$T_0 h = \mathrm{id}_{\mathbb{R}^2}$ であること、すなわち原点における微分が自明であること。
• 常に $f$ が少なくとも2つの異なる正定値二次形式の積であるとき、$\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ である。これは、$-\mathrm{id}_{\mathbb{R}^2} \in \mathcal{S}_{\mathrm{id}}(f)^0$ であるが、$-\mathrm{id}_{\mathbb{R}^2} \notin \mathcal{S}_{\mathrm{id}}(f)^1$ であるためである。
• 正定値二次形式の積である場合、$\mathcal{S}_{\mathrm{id}}(f)^0 = \mathcal{S}^+(f)$ となる。これは安定化群の向きを保つ成分を意味する。
• 少なくとも2つの異なる正定値二次形式の積である場合、$\mathcal{S}_{\mathrm{id}}(f)^1$ は $\mathcal{S}_{\mathrm{id}}(f)^0$ の真の部分群である。これは、$C^1$-滑らかさを保つ同相写像によるホモトピーに位相的障害があることを示唆する。
• それ以外の $f$、すなわち線形因子や非正定値二次因子を含む場合、$\mathcal{S}_{\mathrm{id}}(f)^1 = \mathcal{S}_{\mathrm{id}}(f)^0$ である。つまり、恒等成分は $r=1$ で安定化する。