[논문 리뷰] Combinatorialization of spaces of nondegenerate spherical curves

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

Topological and Geometric Data Analysis참고 문헌 44인용 수 4

한 줄 요약

이 논문은 비퇴화된 구면 곡선의 호모토피 유형을 조합론적 모델로 제시한다. 각 곡선은 대칭군 $S_{n+1} \setminus \{e\}$의 여정 단어로 표현되며, 이는 프레네티 프레임이 지난 슈부르트 세포의 순서를 코딩한다. 고정된 초기 및 최종 프레임을 가진 곡선의 공간과 약한 호모토피 유형이 동일한 추상적 세포 복합체를 구성함으로써, 미분기하학적 방법 대신 조합론적 자료를 통해 호모토피 유형을 계산할 수 있다.

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\}$ 위의 단어에 의해 표현되는 이산 자료로 표현하는 것.
• 고정된 초기 및 최종 프레네티 프레임을 가진 비퇴화된 곡선의 공간 $\mathcal{L}_n(z)$ 와 약한 호모토피 유형이 동일한 추상적 세포 복합체를 구성하는 것.
• 고정된 여정 단어 $w$를 가진 곡선의 각 스트라툼 $\mathcal{L}_n[w]$ 가 $\mathcal{L}_n(q_w)$ 내에서 유한 차원의 코디멘션을 가지며, 수축 가능하고 전역적으로 콜라주된 부분다양체임을 입증하는 것.
• 부분 순서와 파oincaré 대칭에 기반한 접합 지침을 사용하여 호모토피 유형을 체계적으로 계산하는 방법을 제공하는 것.

제안 방법

• 비퇴화된 곡선 $\gamma$ 에 대해, 프레네티 프레임 $\mathfrak{F}_\gamma$ 가 생성하는 완전한 플래그가 지난 비개방 슈부르트 세포의 순서를 코딩하는 $S_{n+1} \setminus \{e\}$ 의 단어인 여정 $w = \operatorname{iti}(\gamma)$ 를 부여한다.
• GL_{n+1}의 브라하트 분해를 통해 프레네티 프레임 $\mathfrak{F}_\gamma$ 를 슈부르트 또는 브라하트 세포로 분해하며, 이는 $S_{n+1}$ 의 순열로 인덱싱된다.
• 단어 $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}$ 의 브라하트 순서에서 유도된 접합 규칙에 따라 접합하여 추상적 세포 복합체를 구성한다.
• L^2 정규화된 곡선의 공간에서 $\operatorname{Spin}_{n+1}$ 으로의 모노드로미 맵 $\mu_{z_0}$ 를 사용하여, 모노드로미 부분공간이 코디멘션 $n(n+1)/2$ 인 닫힌 임베디드 부분다양체임을 보인다.
• 모노드로미 맵의 미분 가능성과 전사성, 그리고 힐버트 다양체 정규화를 통해 추상적 세포 복합체와 원래 곡선 공간 $\mathcal{L}_n(z)$ 사이의 약한 호모토피 동치를 확립한다.

실험 결과

연구 질문

• RQ1 비퇴화된 $C^n$ 곡선의 공간의 호모토피 유형은 미분기하학에 의존하지 않고 조합론적으로 결정될 수 있는가?
• RQ2 프레네티 프레임의 슈부르트 세포를 통한 진동은 $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}$ 의 원소 $q_w$ 로 가는 자연스러운 사상 $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$ 정규화된 곡선 공간으로의 포함은 쌍의 호모토피 동치를 유도하므로, 호모토피 이론적 목적을 위해 어느 쪽 위상 구조를 사용해도 타당하다.
• 브라하트 순서에 기반한 접합 규칙을 사용해 여정 단어에서 구성된 추상적 세포 복합체는 $\mathcal{L}_n(z)$ 와 약한 호모토피 동치이며, 이는 그 호모토피 유형에 대한 조합론적 모델을 제공한다.
• 이 구성은 이전의 기하학적 접근 방식에 대한 체계적이고 조합론적인 대체책을 제공하며, $n > 2$ 에 대해 호모토피 유형을 명시적으로 계산할 수 있게 한다.