[논문 리뷰] Contact spectral invariants and persistence

Maia Fraser|arXiv (Cornell University)|2015. 02. 20.

Topological and Geometric Data Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 생성함수 기반의 용적을 영속성 모듈에서 호의 영속성으로 해석함으로써 접촉 스펙트럴 불변량과 영속성 homology 사이의 연결 고리를 설정한다. ${\mathbb{Z}}_k$-동차 접촉 용적을 도입하여 렌즈 공간의 순서 가능성(orderability)을 증명하며, 기존의 접촉 호몰로지와 동차 생성함수 호몰로지의 결과와 일치하는 영속성 호몰로지에 기반한 새로운 시각을 제공한다.

ABSTRACT

This sketch shows that the usual generating function based capacities have an interpretation in the language of persistent homology as persistences of certain homology classes in the persistence module formed by the corresponding generating function homology groups. This viewpoint suggests various new invariants, in particular a $\mathbb{Z}_k$-equivariant capacity which can be used to prove orderability of lens spaces, proved by Milin (2008) using contact homology and by Sandon (2010) using equivariant generating function homology. These are informal notes originally circulated in January 2014.

연구 동기 및 목표

• 표준적인 생성함수 기반의 심플렉틱 및 접촉 용적을 영속성 호몰로지의 언어로 해석하기 위해.
• 영속성 호몰로지를 이용해 새로운 불변량으로서 ${\mathbb{Z}}_k$-동차 접촉 용적을 도입하기 위해.
• 이 동차 용적이 렌즈 공간의 순서 가능성 증명에 사용될 수 있음을 보여주어, 접촉 호몰로지와 동차 GF 호몰로지의 기존 결과와 일치시키기 위해.
• 특히 동차 설정에서 생성함수 용적의 프레임워크를 영속성 호몰로지와 통합하기 위해.
• 영속성 모듈을 통해 정량적 데이터 분석과 접촉/심플렉틱 기하학 사이의 개념적 다리를 놓기 위해.

제안 방법

• 논문은 벡터 번들의 $E$ 위에서 정의된 생성함수 $S$의 부분수준 집합에서 영속성 모듈 $V_a = H_p(E, E^a)$를 구성한다. 여기서 $E^a = \{S \leq a\}$이다.
• 스펙트럴 불변량 $c(\phi)$는 $\eta = \theta(\mu) \in H_p(E, E^{-\infty})$의 영속성으로 정의되며, $\theta$는 톰 이sovorphism이고 $\mu$는 기저의 방향성 호이다.
• ${\mathbb{Z}}_k$-동차 경우에 대해, 포함 유도 사상이 있는 벡터 공간의 필터링된 가중치 집합을 형성하는 동차 호몰로지 군 $G_{{\mathbb{Z}}_k,p}^{(a,\infty]}(\phi)$를 사용해 영속성 모듈 $W_a(\phi)$를 정의한다.
• 논문은 생성자 $\eta^p$의 영속성으로 정의된 ${\mathbb{Z}}_k$-동차 용적 $c^p_{{\mathbb{Z}}_k}(\phi)$가 공역 변환에 대해 불변이며 단조임을 증명한다.
• 비판적 값에 대해 $W_a$의 산돈(Sandon)의 계산을 활용하여, $p = 2n\ell$일 때 $[c^p_{{\mathbb{Z}}_k}(\widehat{B(R)})] = [\ell R]$임을 보여, 이 불변량의 비자명성을 확인한다.
• 접촉 용적 $c^p_{{\mathbb{Z}}_k,\text{contact}}(\widehat{\mathcal{U}})$가 $\widehat{\mathcal{U}} = \mathcal{U} \times S^1$일 때 심플렉틱 용적 $c^p_{{\mathbb{Z}}_k,\text{symp}}(\mathcal{U})$와 같음을 증명하여 두 설정 간의 일관성을 확립한다.

실험 결과

연구 질문

• RQ1 접촉 기하학과 심플렉틱 기하학에서의 표준적인 생성함수 기반 용적은 어떻게 영속성 호몰로지의 관점에서 해석될 수 있는가?
• RQ2 특히 ${\mathbb{Z}}_k$-동차성에 대해 영속성 프레임워크를 확장할 때 어떤 새로운 불변량이 도출되는가?
• RQ3 ${\mathbb{Z}}_k$-동차 용적이 비압축 정리(non-squeezing theorems)와 렌즈 공간의 순서 가능성 증명에 사용될 수 있는가?
• RQ4 동차 생성함수 호몰로지 군이 생성하는 영속성 모듈은 포함과 필터링에 대해 어떻게 행동하는가?
• RQ5 동차 호몰로지의 함의적 성질이 유도되는 용적의 불변성과 단조성 보장에 얼마나 기여하는가?

주요 결과

• 생성함수를 통한 정의된 표준적인 접촉 및 심플렉틱 용적은 영속성 모듈 $H_p(E, E^a)$ 내 특정 호의 영속성과 동치이다.
• 새로운 ${\mathbb{Z}}_k$-동차 접촉 용적 $c^p_{{\mathbb{Z}}_k}(\phi)$는 동차 호몰로지 군 $W_a(\phi)$ 내에서 클래스 $\eta^p$의 영속성으로 정의되며, 이는 공역 변환에 대해 불변이며 단조이다.
• $\mathbb{R}^{2n} \times S^1$ 내의 구 $\widehat{B(R)}$에 대해, $p = 2n\ell$일 때 ${\mathbb{Z}}_k$-동차 용적이 $[c^p_{{\mathbb{Z}}_k}(\widehat{B(R)})] = [\ell R]$를 만족함을 보여, 이 용적의 비자명성을 확인한다.
• 이 용적은 이전에 접촉 호몰로지와 동차 GF 호몰로지로 얻어진 결과와 일치하는 영속성 이론 기반의 렌즈 공간 순서 가능성의 새로운 증명을 제공한다.
• 접촉 용적 $c^p_{{\mathbb{Z}}_k,\text{contact}}(\widehat{\mathcal{U}})$는 $\widehat{\mathcal{U}} = \mathcal{U} \times S^1$일 때 심플렉틱 용적 $c^p_{{\mathbb{Z}}_k,\text{symp}}(\mathcal{U})$와 같음을 증명하여 심플렉틱과 접촉 설정 간의 일관성을 확립한다.