[論文レビュー] Convexity of Morse Stratifications and Gradient Spines of 3-Manifolds

Gabriel Katz|ArXiv.org|Oct 31, 2006

Geometric and Algebraic Topology参考文献 21被引用数 4

ひとこと要約

本稿は、境界を有する3次元多様体 $X$ における特異点のない勾配フローの二重接線的軌道の最小数として定義される勾配複雑性 $gc(X)$ を導入し、本質的に円柱を含まない、境界に圧縮不能な非可約3次元多様体は有限な $gc(X)$ を持つことを証明している。これは、勾配複雑性が有界な場合、このような多様体が有限個に限られることを示唆する。本研究は、分岐幾何学とスプライン理論を用いて、境界の内在的凹性とトポロジカルな複雑性の関係を結びつける。

ABSTRACT

We notice that a generic nonsingular gradient field $v = abla f$ on a compact 3-fold $X$ with boundary canonically generates a simple spine $K(f, v)$ of $X$. We study the transformations of $K(f, v)$ that are induced by deformations of the data $(f, v)$. We link the Matveev complexity $c(X)$ of $X$ with counting the \emph{double-tangent} trajectories of the $v$-flow, i.e. the trajectories that are tangent to the boundary $\d X$ at a pair of distinct points. Let $gc(X)$ be the minimum number of such trajectories, minimum being taken over all nonsingular $v$'s. We call $gc(X)$ the \emph{gradient complexity} of $X$. Next, we prove that there are only finitely many $X$ of bounded gradient complexity, provided that $X$ is irreducible and boundary irreducible with no essential annuli. In particular, there exists only finitely many hyperbolic manifolds $X$ with bounded $gc(X)$. For such $X$, their normalized hyperbolic volume gives an upper bound of $gc(X)$. If an irreducible and boundary irreducible $X$ with no essential annuli admits a nonsingular gradient flow with no double-tangent trajectories, then $X$ is a standard ball. All these and many other results of the paper rely on a careful study of the stratified geometry of $\d X$ relative to the $v$-flow. It is characterized by failure of $\d X$ to be \emph{convex} with respect to a generic flow $v$. It turns out, that convexity or its lack have profound influence on the topology of $X$. This interplay between intrinsic concavity of $\d X$ with respect to any gradient-like flow and complexity of $X$ is in the focus of the paper.

研究の動機と目的

• 勾配フローの一般的状況下での境界の凸性の欠如を測るトポロジカル不変量としての勾配複雑性 $gc(X)$ を定義・分析すること。
• 境界を有する3次元多様体上の特異点のない勾配場から、勾配スプライン $K(f,v)$ の標準的構成を確立すること。
• モースデータ $(f,v)$ の変形が、スプライン $K(f,v)$ および $\ partial X$ の分岐構造を通して $X$ のトポロジーに与える影響を調査すること。
• 非可約性および境界に圧縮不能性の仮定の下で、勾配複雑性が有界な3次元多様体が有限個に限られることを証明すること。
• 特に双曲的およびハンドル体の場合に、$ partial X$ の内在的凹性と $X$ の組合せ的複雑性との相関関係を探索すること。

提案手法

• 境界を有するコンパクトな3次元多様体 $X$ 上の一般的特異点のない勾配場 $v=\nabla f$ から、標準的な単純スプライン $K(f,v)$ を構成する。
• フローによって誘導される分岐構造 $X \supset \partial_1^+X \supset \partial_2^+X \supset \partial_3^+X$ を分析する。ここで $\partial_j^+X$ は、$v$ が $j$-番目の層に内向きを指す点の集合である。
• 2つの異なる点で $\partial X$ に接するフローライン（二重接線的軌道）の概念を導入し、$gc(X)$ をすべての特異点のない勾配場に対してそのような軌道の最小数として定義する。
• 三重接線的軌道を含まないモースデータの空間 $\mathcal{W}^*\!(X)$ を用いて、局所定数不変量を定義する：$Q$-特異点によるループの絡み合いを符号化する、向き付けられたループパターン $\theta(v)$ と反対称な双線型形式 $\Psi$。
• 変形の過程で二重接線的軌道の $\oplus/\ominus$ 偏極が変化するのを追跡するために、$\mathcal{W}(X)\setminus\mathcal{W}^*\!(X)$ 内の codimension 1 の壁にコオリエンテーション則を適用する。
• モース理論およびマトヴェエフの複雑性理論の結果に依拠し、$gc(X)$ を $\chi(\partial_1^+X)$ や双曲的体積などのトポロジカル不変量と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 境界を有する3次元多様体 $X$ における特異点のない勾配フローが有する二重接線的軌道の最小数は何か？ そしてこの数は $X$ のトポロジーにどのように制約を加えるか？
• RQ2 勾配フローに関して $\partial X$ が凸でないことは、$X$ の組合せ的複雑性とどのように関係するか？
• RQ3 二重接線的軌道の数を用いて、特に双曲的多様体を有限型に分類することは可能か？
• RQ4 3次元多様体が二重接線的軌道を含まない勾配フローをもたない理由となるトポロジカルな障害は何か？
• RQ5 モースデータ $(f,v)$ の変形が関連する勾配スプライン $K(f,v)$ に与える影響は何か？ そしてどの不変量が保存されるか？

主な発見

• 非可約かつ境界に圧縮不能で本質的円柱を含まない任意の3次元多様体 $X$ に対して、勾配複雑性 $gc(X)$ が有界なものは有限個に限られ、$gc(X)$ が有界な場合の有限分類が成立する。
• 開いた円板を除いたピカールのホモロジー球面は、任意の特異点のない勾配フローにおいて少なくとも5本の二重接線的軌道を必要とし、最大30本の軌道を持つフローが存在する。
• 体積 $V \approx 0.94272$ が最小の双曲的多様体 $M_1$ に対して、$X = M_1 \setminus \text{int}(D^3)$ は少なくとも9本の二重接線的軌道を必要とし、最大54本の軌道を持つフロー実現が存在する。
• 境界が連結な3次元多様体 $X$ が二重接線的軌道を含まない特異点のない勾配フローを持つならば、$X$ は標準的な3次元球面である。
• 正規化された双曲的体積は $gc(X)$ の上界を提供し、幾何的およびトポロジカルな複雑性の関係を結ぶ。
• 向き付けられたループパターン $\theta(v) = \partial_2^+X \coprod \partial_2^-X$ および反対称双線型形式 $\Psi$ は、空間 $\mathcal{W}^*\!(X)$ 上で局所定数であり、$(f,v)$ の変形類の不変量である。