[论文解读] Freeness in higher order frame bundles

Scot Adams|arXiv (Cornell University)|Sep 4, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 3

一句话总结

本文构造了 P. Olver 关于 $C^{\infty}$ 作用在光滑流形上的自由性猜想的反例，证明对于任意具有非紧致中心的连通实李群，以及整数群 $\mathbb{Z}$，其作用在任意有限阶 jet 丛上均不自由。关键贡献在于构造了一个 $C^\infty$ $G$-作用在流形 $M$ 上，该作用在每一点的稳定子集均稀疏，但在任意有限阶标架丛上均不自由，其核心是利用在所有阶数上均呈现周期行为的向量场序列的极限，实现对所有阶数的周期性保持。

ABSTRACT

We provide counterexamples to P. Olver's freeness conjecture for $C^\infty$ actions. In fact, we show that a counterexample exists for any connected real Lie group with noncompact center, as well as for the additive group of the integers.

研究动机与目标

• 为否定 P. Olver 关于 $C^\infty$ 作用在有限阶 jet 丛上的自由性猜想。
• 为具有非紧致中心的连通实李群以及加法群 $\mathbb{Z}$ 构造显式反例。
• 证明在每点稳定子集稀疏的作用下，其在任意有限阶标架丛上仍可能不自由。
• 通过向量场及其流在特定点处对所有阶数的收敛性，分析作用的行为。
• 确立该猜想仅在更强条件下（如中心紧致）成立，并探讨其在 $C^\omega$ 设置下的修正形式。

提出的方法

• 在 $\mathbb{R}^4$ 上构造一列 $C^\infty$ 向量场 $V_k$，使其在某稠密集点 $\sigma_k$ 处对所有阶数均完全且周期性。
• 将 $V_\infty$ 定义为 $V_k$ 的逐点极限，确保其在每个 $\sigma_k$ 处也保持对所有阶数的周期性。
• 利用 Baire 1-类定理证明集合 $X = \bigcap_{k=1}^\infty \mathcal{U}(V_k)$ 在 $\mathbb{R}^4$ 中稠密，其中 $\mathcal{U}(V_k)$ 表示不具有非平凡 $V_k$-周期轨道的点的集合。
• 通过 $V_\infty$ 的时间-$n$ 流定义 $\mathbb{Z}$-作用在 $\mathbb{R}^4$ 上，利用同构 $f: \mathbb{Z} \to \mathbb{Z}$ 定义 $z \cdot \sigma = \Phi_{f(z)}^{V_\infty}(\sigma)$。
• 通过诱导作用构造 $G$-流形 $M = G \times_Z \mathbb{R}^4$，其中 $G$ 为具有非紧致中心的连通李群，确保 $G$-作用为 $C^\infty$ 且稳定子集稀疏。
• 通过将周期性性质提升至所有阶数并利用 $\mathbb{Z}$-作用的结构，证明在 $k$ 阶标架丛 $F_kM$ 上某点的稳定子集为无限集。

实验结果

研究问题

• RQ1 每个 $C^\infty$ 有效李群作用是否最终在某个有限阶 jet 丛上变得自由？
• RQ2 能否为具有非紧致中心的李群构造 Olver 自由性猜想的反例？
• RQ3 $\mathbb{Z}$-作用在 $\mathbb{R}^4$ 上，通过周期性向量场序列的极限定义，其在任意有限阶标架丛上是否自由？
• RQ4 $C^\infty$ 自由性猜想是否可在 $C^\omega$ 范畴中修正后成立？
• RQ5 李群的中心在作用于 jet 丛时的自由性中起何作用？

主要发现

• 对于任意具有非紧致中心的连通实李群，存在一个 $C^\infty$ 作用在流形上，该作用稳定子集稀疏，但在任意有限阶标架丛上均不自由。
• 为加法群 $\mathbb{Z}$ 构造了反例，表明该猜想在此情况下同样不成立。
• $\mathbb{Z}$-作用在 $\mathbb{R}^4$ 上通过一列在稠密集点处对所有阶数均周期的向量场 $V_k$ 的极限定义，确保在标架丛中存在非平凡稳定子集。
• 证明了在 $k$ 阶标架丛 $F_kM$ 上某点的稳定子集为无限集，从而证明作用在任意有限阶均不自由。
• 集合 $X = \bigcap_{k=1}^\infty \mathcal{U}(V_k)$ 在 $\mathbb{R}^4$ 中稠密，确保 $\mathbb{Z}$-作用稳定子集稀疏。
• 该构造表明，即使在稳定子集稀疏条件下，$C^\infty$ 自由性猜想也普遍不成立，但 $C^\omega$ 版本对中心紧致的群成立。