[논문 리뷰] Persistent homology and microlocal sheaf theory

Masaki Kashiwara, Pierre Schapira|arXiv (Cornell University)|2017. 05. 02.

Topological and Geometric Data Analysis참고 문헌 15인용 수 7

한 줄 요약

이 논문은 컨volution을 통한 가짜거리 정의를 통해 영구 호몰로지와 미세국소층 이론 사이의 깊은 연결 고리를 확립한다. 직접 이미지에 대한 안정성 결과를 증명하고, 극대 쌍대극의 미세지지가 포함된 구조적 층의 미세지지가 있는 층의 경우 조각별 선형(PL) 층으로 근사 가능하다는 것을 보여준다. 주요 기여는 γ-국소적으로 닫힌 집합에 대해 정의된 분할에 대해 일정한 PL 층으로서의 고차원 일반화된 바코드를 제안하는 것으로, 기존의 일차원 영구 호몰로지 이론을 다중 매개변수 설정으로 확장한다.

ABSTRACT

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V is endowed with a closed convex proper cone $γ$ with non empty interior and study $γ$-sheaves, that is, constructible sheaves with microsupport contained in the antipodal to the polar cone (equivalently, constructible sheaves for the $γ$-topology). We prove that such sheaves may be approximated (for the pseudo-distance) by "piecewise linear" $γ$-sheaves. Finally we show that these last sheaves are constant on stratifications by $γ$-locally closed sets, an analogue of barcodes in higher dimension.

연구 동기 및 목표

• 영구 호몰로지와 바코드를 미세국소층 이론의 언어로 재해석하는 것.
• 실수 벡터 공간 V에 있는 닫힌 볼록 본질적 원뿔 γ를 사용하여 일 매개변수 영구 호몰로지 이론을 다중 매개변수 설정으로 일반화하는 것.
• 극대 쌍대극의 극의 미세지지가 포함된 구조적 γ-층(구조적 γ-층)이 조각별 선형(PL) γ-층으로 근사 가능하다는 것을 보여주는 것.
• γ-국소적으로 닫힌 분할에 대해 일정한 PL 층으로서의 고차원 바코드를 정의하고 연구하는 것.
• 연속적인 사상의 변화에 대한 직접 이미지의 안정성 결과를, 유도된 컨볼루션 기반 가짜거리 기반으로 확립하는 것.

제안 방법

• 실수 벡터 공간 V 위의 층의 유도 범주에 대해 컨볼루션과 V 위의 선택된 노름을 사용하여 가짜거리를 정의한다.
• 내부가 비어 있지 않은 닫힌 볼록 본질적 원뿔 γ를 사용하여 V 위의 γ-위상과 γ-층을 정의하며, γ의 극원뿔의 반대편에 미세지지가 포함된 구조적 층으로서 γ-층을 연구한다.
• γ-층의 범주가 γ-위상과 함께 장착된 V 위의 층의 유도 범주와 동치임을 증명한다.
• 컨볼루션과 유도 범주 기법을 사용하여 안정성 정리를 확립한다: dist(Rf₁*F, Rf₂*F) ≤ ||f₁ − f₂|| (연속적인 사상 f₁, f₂: X → V에 대해).
• 유한 개의 초평면에 의해 분할되는 집합에서 국소적으로 일정한 층으로서 PL-층을 정의하고, 임의의 구조적 층이 이러한 PL-층으로 근사 가능하다는 것을 증명한다.
• γ-국소적으로 닫힌 집합에서 일정한 PL-층으로서의 고차원 바코드를 구성하며, 이들이 PL-층 범주에 통합되지만 일반적으로 동치가 아니라는 것을 보여준다.

실험 결과

연구 질문

• RQ1 일차원에서의 영구 호몰로지와 바코드는 어떻게 미세국소층 이론의 언어로 재구성될 수 있는가?
• RQ2 일 매개변수 영구 호몰로지 프레임워크는 층 이론적 도구를 사용하여 다중 매개변수 설정으로 일반화될 수 있는가?
• RQ3 γ-위상과 γ-층은 고차원에서 영구 호몰로지의 구조를 어떻게 조직하는가?
• RQ4 사상의 변화에 대한 직접 이미지의 안정성을 캡처하기 위해 층에 대해 어떻게 유도된 가짜거리를 정의할 수 있는가?
• RQ5 고차원 바코드와 PL-층은 동치인가, 아니면 통합이 엄밀한가?

주요 결과

• 실수 벡터 공간 V 위의 층의 유도 범주에 대해 컨볼루션을 사용하여 가짜거리를 정의함으로써, 사상의 작은 변화에 대한 직접 이미지에 대한 안정성 결과를 도출할 수 있다.
• 안정성 정리에 따르면, 직접 이미지 Rf₁*F와 Rf₂*F 사이의 거리는 f₁ − f₂의 연산자 노름에 의해 유계임을 보여준다.
• γ의 극원뿔의 반대편에 미세지지가 포함된 V 위의 임의의 구조적 층은 이 가짜거리에서 PL-층으로 근사 가능하다.
• PL-층은 γ-국소적으로 닫힌 집합에서 일정하며, 이는 지지의 분할을 형성하며, 바코드의 개념을 고차원으로 일반화한다.
• 고차원 바코드는 γ-층에서 일정한 PL-층으로 정의되지만, 바코드 범주가 PL-층 범주에 통합되기는 하지만 일반적으로 동치가 아니며, 반례를 통해 이를 보여준다.
• 컴act한 지지가 있는 층에 대해, 이러한 층이 γ-층 범주에서 바코드인 유계 복합체의 PL-층과 동형일 것이라는 추측을 제시한다.