[論文レビュー] 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

ひとこと要約

本稿では、$ℝ^3$ 内のグラフに対して、新しいノート全体曲率 $τ(Γ)$ の概念を導入し、全曲率が $4\pi$ 未塔である $ϴ$-グラフは、平面上の $ϴ$-グラフに同相であることを証明している。等号は $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.

研究の動機と目的

• 頂点の次数が $\geq3$ であるグラフのための意味のある全体曲率の定義を提示し、単純閉曲線に限らない Fáry-Milnor 定理の拡張を図る。
• 全曲率の境界が $ℝ^3$ 内のグラフの同相型に与える制約、特に $ϴ$-グラフに対して明らかにする。
• 有限全体曲率を持つグラフが、すなわち多角形グラフに同相であることを示す。
• $ϴ$-グラフのための鋭い下界を証明し、等号成立条件を同定する。

提案手法

• Fáry-Milnor の手法を一般化し、頂点における外角の和と $C^2$ エッジに沿った曲率の積分として、ネット全体曲率 $\mathcal{N}(\Gamma)$ を定義する。
• Milnor の全曲率の積分公式（線形高さ関数の局所最大値の平均値の半分）をグラフへと拡張する。
• $C^0$-近似による $\Gamma$-近似多角形グラフを構成し、エッジ上で $C^1$-収束を保ちながら曲率境界を維持する。
• 同一の接線を共有する複数のエッジを持つ頂点付近のねじれを、平面 $\{z=t\}$ 上の同相写像による同相拡張を用いて解消する。
• 有限全体曲率が多角形グラフに同相であることを示すことで、その結果としてそのグラフが「きつい（tame）」であることを証明する。
• 位相的議論と同相不変性を用い、曲率境界が平面性または標準的同相型を示す。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^3$ 内の次数が $\geq3$ である頂点を持つグラフに対して、全曲率の適切な一般化は何か？
• RQ2 全曲率の境界が $ℝ^3$ 内の $ϴ$-グラフの同相型に与える制約は何か？
• RQ3 有限全体曲率を持つグラフが、多角形グラフに同相である、すなわち「きつい」ものと示せるか？
• RQ4 $ϴ$-グラフの全曲率の鋭い下界は何か？ そして、それはいつ成立するか？

主な発見

• 任意の $ϴ$-グラフ $\Gamma \subset \mathbb{R}^3$ に対して、ネット全体曲率は $\mathcal{N}(\Gamma) \geq 3\pi$ を満たす。
• $\mathcal{N}(\Gamma) < 4\pi$ ならば、$\Gamma$ は $ℝ^3$ 内で標準的な平面上 $ϴ$-グラフに同相である。
• 等号 $\mathcal{N}(\Gamma) = 3\pi$ が成り立つのは、$\Gamma$ が直線の弦を持つ凸平面上曲線である場合に限り、かつそのときのみである。
• 任意の連続グラフ $\Gamma \subset \mathbb{R}^3$ が有限全体曲率を持つならば、それは「きつい」である。すなわち、多角形グラフに同相である。
• ネット全体曲率 $\mathcal{N}(\Gamma)$ は、多角形グラフによる $C^0$-近似において保存され、極限でも曲率境界が維持される。
• $\u03f4$-グラフの同相型はその全曲率によって決定される：$<4\pi$ ならば標準的な平面上形式である。