[論文レビュー] Combinatorialization of spaces of nondegenerate spherical curves

Victor Goulart, Nicolau C. Saldanha|arXiv (Cornell University)|Oct 19, 2018

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

ひとこと要約

この論文は、非退化な球面曲線のホモトピー型を組み合わせ的モデルで定式化する。各曲線を対称群 $S_{n+1} \setminus \{e\}$ 内の行程語（itinerary word）に割り当て、Frenet枠が通過するSchubert胞の順序を符号化する。固定された初期および最終枠を持つ曲線空間と弱ホモトピー同値な抽象的セル複体を構成し、組み合わせ的データからホモトピー型を計算可能にする。

ABSTRACT

A parametric curve $γ$ of class $C^n$ on the $n$-sphere is said to be nondegenerate (or locally convex) when $\det\left(γ(t),γ'(t),\cdots,γ^{(n)}(t) ight)>0$ for all values of the parameter $t$. We orthogonalize this ordered basis to obtain the Frenet frame $\mathfrak{F}_γ$ of $γ$ assuming values in the orthogonal group $\operatorname{SO}_{n+1}$ (or its universal double cover, $\operatorname{Spin}_{n+1}$), which we decompose into Schubert or Bruhat cells. To each nondegenerate curve $γ$ we assign its itinerary: a word $w$ in the alphabet $S_{n+1}\smallsetminus\{e\}$ that encodes the succession of non open Schubert cells pierced by the complete flag of $\mathbb{R}^{n+1}$ spanned by the columns of $\mathfrak{F}_γ$. Without loss of generality, we can focus on nondegenerate curves with initial and final flags both fixed at the (non oriented) standard complete flag. For such curves, given a word $w$, the subspace of curves following the itinerary $w$ is a contractible globally collared topological submanifold of finite codimension. By a construction reminiscent of Poincaré duality, we define abstract cell complexes mapped into the original space of curves by weak homotopy equivalences. The gluing instructions come from a partial order in the set of words. The main aim of this construction is to attempt to determine the homotopy type of spaces of nondegenerate curves for $n>2$. The reader may want to contrast the present paper's combinatorial approach with the geometry-flavoured methods of previous works.

研究の動機と目的

• $n > 2$ に対して、$n$-次元球面 $\mathbb{S}^n$ 上の非退化な $C^n$ 曲線空間のホモトピー型を決定すること。これは従来、微分幾何的アプローチで扱われてきた問題である。
• 微分幾何的手法に代わる、$S_{n+1} \setminus \{e\}$ 上の語に符号化された離散的データで記述される組み合わせ的枠組みを構築すること。
• 固定された初期および最終Frenet枠を持つ非退化曲線空間 $\mathcal{L}_n(z)$ と弱ホモトピー同値な抽象的セル複体を構成すること。
• 与えられた行程語 $w$ を持つ各ストラトゥム $\mathcal{L}_n[w]$ が、$\mathcal{L}_n(q_w)$ 内で有限余次元の可縮かつグローバルにコラールドな部分多様体であることを確立すること。
• 部分順序とPoincaré双対性にインspiredされた接合則則に基づく、ホモトピー型を体系的に計算するレシピを提供すること。

提案手法

• 非退化曲線 $\gamma$ に、Frenet枠 $\mathfrak{F}_\gamma$ が通過する非開なSchubert胞の順序を符号化する行程 $w = \operatorname{iti}(\gamma)$ を割り当てる。$w$ は $S_{n+1} \setminus \{e\}$ 内の語である。
• Frenet枠 $\mathfrak{F}_\gamma$ を、$\operatorname{GL}_{n+1}$ のBruhat分解により、$S_{n+1}$ の置換でインデックス付けられたSchubertまたはBruhat胞に分解する。
• 語 $w = (\sigma_1, \dots, \sigma_\ell)$ の次元を $\dim(w) = \sum_{i=1}^\ell (\operatorname{inv}(\sigma_i) - 1)$ と定義する。これはストラトゥム $\mathcal{L}_n[w]$ の余次元に一致する。
• 語の集合 $\mathbf{W}_n$ 上の部分順序に従い、語 $w$ でインデックス付けられたセルを接合することで抽象的セル複体を構成する。接合則則は $S_{n+1}$ 上のBruhat順序から導出される。
• $L^2$-正則化された曲線空間から $\operatorname{Spin}_{n+1}$ へのモノドロミー写像 $\mu_{z_0}$ を用いて、モノドロミー部分空間が余次元 $n(n+1)/2$ の閉埋め込み部分多様体であることを示す。
• モノドロミー写像の滑らかさと全射性を用い、抽象的セル複体と元の曲線空間 $\mathcal{L}_n(z)$ の間で弱ホモトピー同値性を確立する。ヒルベルト多様体正則化を用いて微分可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非退化な $C^n$ 曲線の空間のホモトピー型は、微分幾何学に依存せずに、組み合わせ的に決定可能か？
• RQ2 Frenet枠のSchubert胞を通過する過程は、$S_{n+1} \setminus \{e\}$ 上の有限語としてどのように符号化できるか。この行程語は曲線の位相に何を明らかにするか？
• RQ3 固定された行程 $w$ を持つ曲線の部分空間は、ある $\mathcal{L}_n(q)$ 内で可縮かつグローバルにコラールドな有限余次元の部分多様体か？
• RQ4 行程語から構成された抽象的セル複体と、固定された初期および最終枠を持つ曲線空間 $\mathcal{L}_n(z)$ の間に、弱ホモトピー同値性を構成可能か？
• RQ5 モノドロミー写像 $\mu_{z_0}$ は、曲線空間の滑らかな構造と $\operatorname{Spin}_{n+1}$ の大域的位相の間の関係をどのように規定するか？

主な発見

• 各行程語 $w \in \mathbf{W}_n$ に対して、$\mathcal{L}_n[w]$ は $\mathcal{L}_n(q_w)$ 内の可縮かつグローバルにコラールドな位相的部分多様体であり、次元は $\dim(w)$ に等しい。
• $S_{n+1}$ から $\operatorname{CG}_{n+1}$ のクラッファープールに値をとる自然な写像 $w \mapsto q_w$ が存在し、$\mathcal{L}_n[w] \subset \mathcal{L}_n(q_w)$ が成り立つ。
• モノドロミー写像 $\mu_{z_0}: \mathcal{L}_n^{[L^2]}(z_0; \cdot) \to \operatorname{Spin}_{n+1}$ は、全射な滑らかな部分多様体写像であり、各モノドロミー部分空間 $\mathcal{L}_n^{[L^2]}(z_0; z_1)$ が余次元 $n(n+1)/2$ の閉埋め込み部分多様体であることを示唆する。
• $C^n$-正則化された曲線空間から $L^2$-正則化されたものへの包含写像は、ペアのホモトピー同値性を誘導する。これにより、ホモトピー論的用途にはどちらの位相を用いてもよいことが正当化される。
• Bruhat順序に基づく接合則則を持つ行程語から構成された抽象的セル複体は、$\mathcal{L}_n(z)$ と弱ホモトピー同値であり、そのホモトピー型を組み合わせ的モデルとして提供する。
• 本構成は、従来の幾何学的・フラバーに依存する手法の代わりに、明示的なホモトピー型の計算を可能にする体系的で組み合わせ的な代替手法を提供する。$n > 2$ に対して有効である。