[논문 리뷰] The Stratified Spaces of Real Polynomials & Trajectory Spaces of Traversing Flows

Gabriel Katz|arXiv (Cornell University)|2014. 07. 10.

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

한 줄 요약

이 논문은 (n+1)-차원 다중체의 경계를 가진 조우성 벡터장의 궤적 공간과 차수 2n+2 이하의 실계수 다항식의 분할 공간 사이에 깊이 있는 조합론적 및 기하학적 대응을 수립한다. 보편적 부분순서집합 Ω•′⟨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)에 대한 세포 모델을 구축하기 위해.
• 세포 분해와 일치하고 유동의 국소 기하학을 반영하는 궤적 공간 위에 양의 콧모양 기하 구조를 정의하기 위해.

제안 방법

• 조우성 유동의 경계 접촉 조각의 보편적 조합론을 분류하기 위해 부분순서집합 Ω•′⟨n]을 사용한다.
• 문헌 [K2]의 국소 해석기법을 적용하여 좌표계 (u,x)가 uk + Σxj uj = 0 를 만족함으로써 경계 접촉의 기하학을 기술한다.
• 실계수 다항식의 근 구성에 대한 부분순서집합 Ω⟨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)는 부분순서집합 Ω•′⟨n]의 원소로 인덱싱된 세포 분해를 갖는다. 이는 경계 접촉의 보편적 조합론을 포괄한다.
• 궤적 공간 내 각 세포 Eˆω,k 는 실계수 다항식 근의 특정 구성과 대응되며, 이러한 세포의 수는 m(γ)/2 이하이다. 여기서 m(γ)는 궤적의 중복도이다.
• 순수 조각 S(κ(ˆω))◦ 위의 사영 사상 p: T(v) → S 의 섬유의 원소 수는 #[Υ(κ(ˆω))] 이며, 이는 m(γ)/2 이하이다.
• 모델 공간 Tγ ≈ Tω × Rn−|ω|′ 는 γ를 유일한 고정점으로 가지는 반자유 R∗+-작용을 지닌다. 이는 각 세포 Eˆω,k 위에 양의 콧모양 기하 구조를 유도한다.
• 각 Eˆω,k 위의 콧모양 기하 구조는 세포 간에 일관되며, Tγ 내 γ의 링크 위에 세포 구조를 정의하며, 이는 T(v)의 전역 기하학과 일치한다.
• 이 구성은 보편적 부분순서집합 Ω⟨2n+2]와 Ω•′⟨n]을 기반으로 하여, (n+1)-차원 다중체의 경계를 가진 조우성 유동에 대한 새로운 특성류의 정의를 위한 기초를 제공한다.