[论文解读] A linear isoperimetric inequality for the punctured Euclidean plane

Leonid Polterovich, Jean-Claude Sikorav|ArXiv.org|Jun 26, 2001

Geometric and Algebraic Topology参考文献 8被引用 7

一句话总结

本文在 punctured Euclidean plane ℝ²∖ℤ² 中为可缩曲线建立了线性等周不等式，证明此类曲线所围成的面积至多为其长度的 (1+√2) 倍。证明依赖于组合群论中的精细小扩张论证，表明在 word aba⁻¹b⁻¹c 的正规闭包中，元素的组合面积至多为其 (a,b)-长度的一半。该结果被应用于哈密顿动力系统，证明了 2-环面上的非恒等哈密顿微分同胚的微分范数具有线性增长。

ABSTRACT

It follows from a general theorem of Bonk and Eremenko that closed plane curves which are contractible in the complement to the integral lattice satisfy a linear isoperimetric inequality. We give an alternative proof of this fact. Our approach is based on a non-standard combinatorial isoperimetric inequality which requires a refinement of the small cancellation theory. We present an application of the isoperimetric inequality for the punctured plane to Hamiltonian dynamics. Combining it with methods of symplectic topology we show that every non-identical Hamiltonian diffeomorphism of the 2-torus has at least linear asymptotic growth of the differential.

研究动机与目标

• 为 ℝ²∖ℤ² 中可缩曲线的线性等周不等式提供一种替代的、群论方法的证明。
• 在具有关系 r = aba⁻¹b⁻¹c 的三生成元自由群中，建立一个精确的组合等周不等式。
• 将等周不等式应用于 2-环面上的哈密顿动力系统，证明非恒等哈密顿微分同胚的微分范数具有线性增长。
• 对经典小扩张理论进行改进，以 (a,b)-长度替代全字长，并优化等周常数。
• 通过显式例子证明组合设定下等周常数 1/2 的精确性。

提出的方法

• 使用非标准的组合等周不等式研究群 ⟨a,b,c | aba⁻¹b⁻¹c⟩，重点关注关系 r = aba⁻¹b⁻¹c 的正规闭包。
• 将 (a,b)-长度 l(w) 定义为 w ∈ N 的循环约化中 a±¹ 和 b±¹ 字符的数量，忽略 c±¹。
• 利用小扩张理论的改进版本，证明任意 w ∈ N 的组合面积 A(w) 满足 A(w) ≤ ½ l(w)。
• 通过将 ℝ²∖ℤ² 中的闭路与自由群 F₃ 中的字联系起来，建立几何与组合之间的对应关系。
• 将等周不等式应用于由曲线 γ 及其在哈密顿微分同胚 ψ 下的像构成的闭路，证明其在 ℝ²∖L（某格点）中可缩。
• 利用辛面积估计与作用差 δ(x,y,ψⁿ) = nδ(x,y,ψ) 推导出 ||dψⁿ|| 的线性增长，基于面积与长度的估计。

实验结果

研究问题

• RQ1 能否使用组合群论而非格罗莫夫双曲空间理论来证明 ℝ²∖ℤ² 上的线性等周不等式？
• RQ2 在 F₃ 中，aba⁻¹b⁻¹c 的正规闭包中，组合面积的最优等周常数是多少？
• RQ3 ℝ²∖ℤ² 上的线性等周不等式是否蕴含 2-环面上非恒等哈密顿微分同胚的微分范数线性增长？
• RQ4 经典小扩张理论能否被改进，以在等周估计中用 (a,b)-长度替代全字长？
• RQ5 定理 1.2 中的等周常数 1/2 是否精确？能否通过显式构造群元素序列加以证明？

主要发现

• 对 ℝ²∖ℤ² 中所有光滑可缩曲线 α，有线性等周不等式 Area(α) ≤ (1+√2) Length(α) 成立。
• 对 F₃ 中 aba⁻¹b⁻¹c 的正规闭包中所有 w，有组合等周不等式 A(w) ≤ ½ l(w)，且该常数为精确值。
• 对序列 uₖ = (b⁻¹c)ᵏabᵏa⁻¹，有 A(uₖ)/l(uₖ) → ½ 当 k → ∞，证明常数 ½ 的精确性。
• 对任意非恒等的 2-环面哈密顿微分同胚 ψ，存在 κ > 0（依赖于 ψ）使得 ||dψⁿ|| ≥ κn 成立。
• 该方法可推广至具有不动点的非哈密顿保面积微分同胚，在通量同态条件成立时，同样得到线性增长。
• 证明技术结合了辛拓扑、辛面积估计与等周不等式，推导出微分范数增长的下界。