[論文レビュー] The Stratified Spaces of Real Polynomials & Trajectory Spaces of Traversing Flows

Gabriel Katz|arXiv (Cornell University)|Jul 10, 2014

Topological and Geometric Data Analysis参考文献 2被引用数 4

ひとこと要約

本稿は、(n+1)-次元多様体の境界を持つ移行的一般ベクトル場の軌道空間と、次数が高々 2n+2 の実多項式の分岐空間との間で、深いつながりを持つ組合せ論的・幾何的対応関係を確立する。普遍的poset Ω•′⟨n] および Ω⟨2n+2] を用いて流れの接点パターンを分析することで、実多項式の根のダイナミクスを反映する軌道空間のセル分解を構成し、このような流れに対する新しい特性類の定義を可能にする。

ABSTRACT

This paper is the third in a series that researches the Morse Theory, gradient flows, concavity and complexity on smooth compact manifolds with boundary. Employing the local analytic models from \cite{K2}, for \emph{traversally generic flows} on $(n+1)$-manifolds $X$, we embark on a detailed and somewhat tedious study of universal combinatorics of their tangency patterns with respect to the boundary $\d X$. This combinatorics is captured by a universal poset $\Omega^\bullet_{'\langle n]}$ which depends only on the dimension of $X$. It is intimately linked with the combinatorial patterns of real divisors of real polynomials in one variable of degrees which do not exceed $2(n+1)$. Such patterns are elements of another natural poset $\Omega_{\langle 2n+2]}$ that describes the ways in which the real roots merge, divide, appear, and disappear under deformations of real polynomials. The space of real degree $d$ polynomials $\mathcal P^d$ is stratified so that its pure strata are cells, labelled by the elements of the poset $\Omega_{\langle d]}$. This cellular structure in $\mathcal P^d$ is interesting on its own right (see Theorem ef {th4.1} and Theorem ef {th4.2}). Moreover, it helps to understand the \emph{localized} structure of the trajectory spaces $\mathcal T(v)$ for traversally generic fields $v$, the main subject of Theorem ef {th5.2} and Theorem ef {th5.3}.

研究の動機と目的

• 移行的一般ベクトル場と(n+1)-次元多様体の境界との間の接点パターンの普遍的組合せ論的構造を理解すること。
• 次数 ≤ 2n+2 の実多項式の根空間の分岐構造と、このような流れの軌道空間との正確な対応関係を確立すること。
• 実多項式の根の合体・分裂の組合せ論を用いて、移行的一般流れ v の軌道空間 T(v) に対するセルモデルを構成すること。
• セル分解と整合的で、流れの局所幾何を反映する正の錐構造を軌道空間に定義すること。

提案手法

• poset Ω•′⟨n] を用いて、(n+1)-次元多様体上の移行的一般流れにおける接点層の普遍的組合せ論的分類を実施する。
• 文献[K2]の局所解析的モデルを適用し、座標系 (u,x) で uk + Σxj uj = 0 を満たすものにより、境界接点の幾何を記述する。
• 実多項式の根配置のposet Ω⟨2n+2] を用いて、各軌道の組合せ型 ω に対応するセル Eˆω,k を関連づけることで、軌道空間 T(v) のセル分解を構成する。
• 除数データとマーカーから商空間 Zω / ∼ を定義し、Ψ写像と R∗+-作用によって同値関係を規定する。
• モデル空間 Tγ ≈ Tω × Rn−|ω|′ に半自由な R∗+-作用を導入し、これにより各セル Eˆω,k に正の錐構造を誘導する。
• ヴィエート写像と R∗+-不変性を用いて、錐構造を全空間 T(v) に持ち上げ、各層間で一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 移行的一般ベクトル場が(n+1)-次元多様体の境界と接する際の接点パターンは、どのように普遍的組合せ論的構造を生じるか？
• RQ2 次数 ≤ 2n+2 の実多項式の分岐空間と、移行的一般流れの軌道空間との正確な対応関係は何か？
• RQ3 与えられた軌道 γ の近傍における軌道空間 T(v) の局所セル構造は、実多項式の根ダイナミクスを用いて記述可能か？
• RQ4 軌道上の接点数は、実多項式の根の組合せ論とどのように関係するか？
• RQ5 流れの局所幾何を反映する正の錐構造を、軌道空間 T(v) 全体に一貫して定義可能か？

主な発見

• 移行的一般流れの軌道空間 T(v) は、poset Ω•′⟨n] の要素によってインデックスづけられるセル分解を備えており、境界接点の普遍的組合せ論的構造を捉えている。
• 軌道空間内の各セル Eˆω,k は、特定の実多項式の根配置に対応し、その数は m(γ)/2 以下である。ここで m(γ) は軌道の重複度である。
• 射影 p: T(v) → S の純粋層 S(κ(ˆω))◦ におけるファイバーの濃度は #[Υ(κ(ˆω))] に等しく、m(γ)/2 以下である。
• モデル空間 Tγ ≈ Tω × Rn−|ω|′ には、γ を唯一の固定点とする半自由な R∗+-作用があり、これにより各セル Eˆω,k に正の錐構造が誘導される。
• 各セル Eˆω,k における錐構造はセル間で整合的であり、Tγ 内の γ のリンクにおけるセル構造を定義し、T(v) の全般的な幾何と一貫している。
• 本構成により、普遍的poset Ω⟨2n+2] および Ω•′⟨n] を用いた、境界付き(n+1)-次元多様体上の移行的一般流れの新しい特性類の定義の基盤が提供される。