[论文解读] A C^2-smooth counterexample to the Hamiltonian Seifert conjecture in R^4

Viktor L. Ginzburg, Başak Z. Gürel|ArXiv.org|Oct 3, 2001

Geometric and Algebraic Topology参考文献 19被引用 6

一句话总结

该论文在 $\mathbb{R}^4$ 上构造了一个 $C^2$-光滑的恰当函数，其哈密顿流在某个正则水平集上无周期轨道，从而提供了四维情形下哈密顿西费特猜想的第一个 $C^2$-光滑反例。该构造通过将施维策在 $S^3$ 上的 $C^1$-光滑非周期流嵌入为哈密顿流，利用一个精心选择的丹茹向量场和一个多值哈密顿函数所构成的辛塞子实现。

ABSTRACT

We give a detailed construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert conjecture in dimension four.

研究动机与目标

• 通过构造一个 $C^2$-光滑反例，解决四维情形下的哈密顿西费特猜想。
• 证明在 $\mathbb{R}^4$ 中存在一个正则水平集，其上哈密顿流无周期轨道，尽管几乎存在定理暗示此类轨道是典型的。
• 将高维中已知的 $C^\infty$-光滑反例推广至四维中的 $C^2$-光滑情形。
• 通过辛嵌入一个具有可控光滑度的塞子，将施维策在 $S^3$ 上的 $C^1$-光滑非周期流适配为哈密顿形式。

提出的方法

• 通过将多值函数 $K$ 作为哈密顿量，将施维策在 $S^3$ 上的 $C^1$-光滑非周期流改造为哈密顿版本。
• 通过将流实现为 $K$ 的哈密顿流，定义塞子在 $\mathbb{R}^4$ 中的辛嵌入，确保辛结构被保持。
• 使用具有 $C^{2}$-光滑性质的丹茹向量场，以确保所得流为 $C^2$-光滑且无闭特征。
• 在 $\mathbb{R}^4$ 上构造一个 $C^2$-光滑函数 $F$，使得水平集 $\{F=1\}$ 为正则集且不包含任何周期轨道。
• 确保 $S^3$ 到 $\mathbb{R}^4$ 的嵌入在 $C^0$ 意义下接近且在 $C^2$ 拓扑下同伦于一个椭球面，以保持几何与拓扑控制。
• 通过在区间 $I_n$ 上对关键量（如 $\partial_u \tilde{F}_y$ 和 $\partial_y G_y$）进行渐近估计，验证结果哈密顿流的 $C^2$-光滑性。

实验结果

研究问题

• RQ1 能否在 $\mathbb{R}^4$ 上构造一个 $C^2$-光滑的恰当函数，使其哈密顿流在正则水平集上无周期轨道？
• RQ2 是否可能将施维策在 $S^3$ 上的 $C^1$-光滑非周期流以受控光滑度嵌入为 $\mathbb{R}^4$ 中的哈密顿流？
• RQ3 为确保所得哈密顿流为 $C^2$-光滑且无闭特征，丹茹向量场需满足何种光滑度约束？
• RQ4 与高维中已知的 $C^\infty$-光滑或 $C^{2+\epsilon}$-光滑反例相比，该 $C^2$-光滑反例的光滑度有何差异？

主要发现

• 构造了一个 $C^2$-光滑嵌入 $S^3 \hookrightarrow \mathbb{R}^4$，其无闭特征，从而为四维情形下的哈密顿西费特猜想提供了 $C^2$-光滑反例。
• 所构造的恰当 $C^2$-光滑函数 $F: \mathbb{R}^4 \to \mathbb{R}$ 的水平集 $\{F = 1\}$ 为正则集，且在哈密顿流下不包含任何周期轨道。
• 该反例在 $C^0$ 意义下接近椭球面，并在 $C^2$ 拓扑下同伦于椭球面，确保其与标准超曲面的几何接近性。
• 该构造依赖于通过多值函数 $K$ 定义的哈密顿塞子，其流被实现为在塞子辛嵌入上的 $K$ 的哈密顿流。
• 通过在区间 $I_n$ 上的渐近估计，确立了结果流的 $C^2$-光滑性，表明 $\|\partial_u \tilde{F}_y\| = O(c_n^2 / l_n)$，当 $|n| \to \infty$ 时趋于零。
• 该方法避开了古珀伯格构造中的光滑度约束，后者要求不可构造的旋转数，与当前的辛嵌入方法不兼容。