[论文解读] Total curvature and isotopy of graphs in $R^3$

Robert Gulliver, Sumio Yamada|ArXiv.org|Jun 2, 2008

Geometric Analysis and Curvature Flows参考文献 12被引用 4

一句话总结

本文为 $\mathbb{R}^3$ 中的图引入了一种类 net 总曲率 $\mathcal{N}(\Gamma)$ 的新概念，并证明：若一个 $\theta$-图的总曲率小于 $4\pi$，则其微分同胚于一个平面 $\theta$-图，且在 $3\pi$ 处取等号的情形仅出现在具有弦的凸平面曲线。这些结果通过多边形逼近方法可推广至连续图。

ABSTRACT

Knot theory is the study of isotopy classes of embeddings of the circle $S^1$ into a 3-manifold, specifically $R^3$. The Fáry-Milnor Theorem says that any curve in $R^3$ of total curvature less than $4π$ is unknotted. More generally, a (finite) graph consists of a finite number of edges and vertices. Given a topological type of graphs $Γ$, what limitations on the isotopy class of $Γ$ are implied by a bound on total curvature? What does ``total curvature" mean for a graph? We define a natural notion of net total curvature of a graph $Γ$ in $R^3$, and prove that if $Γ$ is homeomorphic to the $θ$-graph, then the net total curvature of $Γ$ \geq 3π$; and if it is $< 4π$, then $Γ$ is isotopic in $R^3$ to a planar $θ$-graph. Further, the net total curvature $= 3π$ only when $Γ$ is a convex plane curve plus a chord. We begin our discussion with piecewise smooth graphs, and extend all these results to continuous graphs in the final section. In particular, we show that continuous graphs of finite total curvature are isotopic to polygonal graphs.

研究动机与目标

• 为顶点度数 ≥3 的图定义一个有意义的总曲率概念，将 Fáry-Milnor 定理从简单闭曲线推广至更一般情形。
• 确定总曲率的界如何限制 $\mathbb{R}^3$ 中图的微分同胚类，特别是针对 $\theta$-图。
• 证明有限总曲率的图是驯服的，即微分同胚于多边形图。
• 证明 $\theta$-图的总曲率的精确下界，并刻画等号成立的情形。

提出的方法

• 将 net 总曲率 $\mathcal{N}(\Gamma)$ 定义为顶点处外角之和与 $C^2$ 边上曲率的积分之和，推广 Fáry-Milnor 方法。
• 利用 Milnor 的总曲率积分公式（即线性高度函数在 $S^2$ 上局部极大值平均数的一半），将其推广至图的情形。
• 通过在边上实现 $C^1$ 收敛的 $C^0$-逼近构造 $\Gamma$-逼近多边形图，同时保持曲率界。
• 通过平面 $[\{z=t\}]$ 上的同胚映射应用微分同胚延拓，以解开在顶点处共享同一切线的多条边造成的缠结。
• 通过证明有限总曲率蕴含驯服性，即此类图微分同胚于多边形图。
• 利用拓扑论证和微分同胚不变性，证明曲率界蕴含平面性或标准微分同胚类型。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^3$ 中，对于顶点度数 ≥3 的图，其总曲率的恰当推广是什么？
• RQ2 对 $\mathbb{R}^3$ 中的 $\theta$-图，总曲率的有界性施加了何种微分同胚限制？
• RQ3 能否证明有限总曲率的图是驯服的，即微分同胚于多边形图？
• RQ4 对于 $\theta$-图，总曲率的精确下界是什么？何时达到该下界？

主要发现

• 对任意 $\theta$-图 $\Gamma \subset \mathbb{R}^3$，有 $\mathcal{N}(\Gamma) \geq 3\pi$。
• 若 $\mathcal{N}(\Gamma) < 4\pi$，则 $\Gamma$ 在 $\mathbb{R}^3$ 中微分同胚于标准平面 $\theta$-图。
• 等式 $\mathcal{N}(\Gamma) = 3\pi$ 成立当且仅当 $\Gamma$ 是具有直线弦的凸平面曲线。
• 任意连续图 $\Gamma \subset \mathbb{R}^3$ 若总曲率为有限值，则其为驯服图，即微分同胚于多边形图。
• net 总曲率 $\mathcal{N}(\Gamma)$ 在多边形图的 $C^0$-逼近下保持不变，且极限下曲率界亦被保持。
• $\theta$-图的微分同胚类型由其总曲率决定：若小于 $4\pi$，则其为标准平面形式。