[论文解读] Connected components of partition preserving diffeomorphisms

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

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

一句话总结

本文刻画了保持一个齐次多项式 $f:\mathbb{R}^2 \to \mathbb{R}$ 的微分同胚的连通分支，表明对 $r \geq 1$，其恒等分支 $\mathcal{S}_{\mathrm{id}}(f)^r$ 彼此相等，而 $\mathcal{S}_{\mathrm{id}}(f)^1 \neq \mathcal{S}_{\mathrm{id}}(f)^0$ 当且仅当 $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.

研究动机与目标

• 理解在弱怀特尼 $C^r_W$-拓扑下，保持齐次多项式 $f:\mathbb{R}^2 \to \mathbb{R}$ 的微分同胚群的恒等分支 $\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$-同伦定义为连续族的 $C^r$-映射 $H: \mathbb{R}^2 \times I \to \mathbb{R}^2$，其到 $r$ 阶的偏导数关于 $(x,t)$ 连续，这对应于 $C^r_W$-拓扑中的连续路径。
• 通过分析由 $f$ 的等值集诱导的奇点划分 $\Theta_G$，本文将稳定子群 $\mathcal{S}(f)$ 与保持该划分的微分同胚群 $\mathcal{D}(\Theta_G)$ 联系起来。
• 利用向量场 $G$ 生成的局部流 $\Phi$，本文构造了一个平移映射 $\varphi$，其像捕捉了通过 $1$-同伦与恒等同胚同伦的微分同胚。
• 证明的关键在于：当 $f$ 是至少两个不同正定二次型的乘积时，任意 $h \in \mathcal{S}_{\mathrm{id}}(f)^1$ 在原点的切映射必须是恒等映射，而 $\mathcal{S}_{\mathrm{id}}(f)^0$ 包含 $-\mathrm{id}$，从而导致严格包含关系。
• 应用先前研究的关键结果，如 $\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)^0$ 相比，原点处的切映射如何限制 $\mathcal{S}_{\mathrm{id}}(f)^1$ 的可能元素？

主要发现

• 对所有 $r \geq 1$，恒等分支 $\mathcal{S}_{\mathrm{id}}(f)^r$ 均相等：对任意齐次多项式 $f:\mathbb{R}^2 \to \mathbb{R}$，有 $\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$ 是至少两个不同正定二次型的乘积时，$\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$。
• 当 $f$ 是不同正定二次型的乘积时，$\mathcal{S}_{\mathrm{id}}(f)^0 = \mathcal{S}^+(f)$，即稳定子群的保向分量。
• 当 $f$ 是至少两个不同正定二次型的乘积时，$\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$ 处即稳定。