[논문 리뷰] On the category of stratifolds

Toshiki Aoki, Katsuhiko Kuribayashi|arXiv (Cornell University)|2016. 05. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 매끄러운 다양체에 대한 고전적 결과를 확장하여, stratifold의 범주가 $ℝ$-대수의 범주로 완전충실하게 매장됨을 증명한다. 이는 stratifold에 대해 세르-스완 유형 정리를 증명하여, stratifold 위의 벡터 다발이 그 전역 절단의 대수 위의 유한 생성 프로젝티브 모듈과 동치임을 보이며, 관련된 아핀 스킴이 실 스펙트럼을 통해 stratifold의 기하적 구조를 포착함을 보여준다.

ABSTRACT

Stratifolds are considered from a categorical point of view. We show among others that the category of stratifolds fully faithfully embeds into the category of ${\mathbb R}$-algebras as does the category of smooth manifolds. We prove that a variant of the Serre-Swan theorem holds for stratifolds. In particular, the category of vector bundles over a stratifold is shown to be equivalent to the category of vector bundles over an associated affine scheme although the latter is in general larger than the stratifold itself.

연구 동기 및 목표

• 매끄러운 다양체가 $ℝ$-대수의 범주로 완전충실하게 매장되는 것을 stratifold의 범주로 확장하는 것.
• stratifold에 대해 세르-스완 정리를 확립하여, 벡터 다발을 그 전역 절단 대수 위의 프로젝티브 모듈과 연결하는 것.
• stratifold의 실 스펙트럼과 아핀 스킴 구조를 통해 stratifold를 특성화하여, 실 스펙트럼이 원래의 stratifold를 링드 스페이스로서 복원함을 보이는 것.
• 유도 미분기하학과 호환되는 sheaf 이론적 프레임워크를 제공하는 것.

제안 방법

• stratifold를 연속 실수값 함수의 부분대수 ${\mathcal{C}}$를 지닌 위상공간 $S$로 정의하며, 국소적으로 탐지 가능하고 미분 연산에 대해 닫혀 있음을 조건으로 한다.
• 할당 $F(S,{\mathcal{C}}) = {\mathcal{C}}$가 stratifold의 범주에서 $ℝ$-대수의 범주로의 완전충실 함자를 정의함을 보인다.
• 점에서의 평가 함수형으로 대응하는 소 이상의 부분공간으로서 stratifold의 실 스펙트럼을 정의하고, 이것이 기저 위상공간과 위상동형임을 증명한다.
• 구조층의 전역 절단에 관련된 아핀 스킴을 구성하고, 실 스펙트럼에 제한했을 때 원래의 stratifold가 링드 스페이스로서 동형임을 보인다.
• 지역적으로 평탄함과 국소 재구성과의 호환성을 보장하는 조건을 만족하는 지역적 재구성과의 호환성으로써 stratifold 위의 벡터 다발을 정의한다.
• 벡터 다발의 범주가 그 $ℝ$-대수 위의 유한 생성 프로젝티브 모듈의 범주와 동치임을 보여주는 것으로 세르-스완 정리를 증명한다.

실험 결과

연구 질문

• RQ1 stratifold의 범주가 매끄러운 다양체의 경우와 유사하게 $ℝ$-대수의 범주로 완전충실하게 매장될 수 있는가?
• RQ2 stratifold에 대해 세르-스완 정리를 확립할 수 있는가? 이는 다발을 그 함수 대수 위의 프로젝티브 모듈과 연결하는 것이다.
• RQ3 stratifold의 함수 대수의 실 스펙트럼은 그 기저 위상공간과 위상동형인가?
• RQ4 stratifold의 구조층의 전역 절단에 관련된 아핀 스킴은 원래의 stratifold와 어떻게 관련이 있는가?
• RQ5 stratifold의 사상은 국소 데이터로 특성화될 수 있으며, 이는 미분기하학적 공간의 범주 내에서 기술될 수 있는가?

주요 결과

• stratifold의 범주는 전역 절단 함자를 통해 $ℝ$-대수의 범주로 완전충실하게 매장되며, 이는 매끄러운 다양체에 대한 결과를 일반화한다.
• stratifold 위 연속 함수 대수의 실 스펙트럼은 해당 stratifold의 기저 위상공간과 위상동형이다.
• stratifold의 구조층의 전역 절단에 관련된 아핀 스킴을 실 스펙트럼에 제한하면, 원래의 stratifold가 링드 스페이스로서 동형이 된다.
• stratifold에 대해 세르-스완 정리가 성립한다: stratifold 위의 벡터 다발의 범주는 그 $ℝ$-대수 위의 유한 생성 프로젝티브 모듈의 범주와 동치이다.
• stratifold의 곱은 스트라타에서의 미분 가능성과 국소 재구성과의 호환성으로 정의되며, 이는 stratifold의 범주 내에서 카르테시안 곱이 된다.
• stratifold의 사상은 국소 데이터로 특성화되며, 이는 미분기하학적 공간의 범주 내에서 기술될 수 있으며, 대각선 사상과 곱 사상은 모두 사상이 된다.