[논문 리뷰] Comparative Smootheology

Andrew Stacey|arXiv (Cornell University)|2008. 02. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 22

한 줄 요약

이 논문은 Chen, Frölicher, Sikorski, Smith, 그리고 Souriau의 다섯 가지 기본적인 매끄러운 공간 정의를 비교하기 위해 각각의 범주 간 자연스러운 함자를 구성한다. Frölicher 공간이 이 네트워크의 중심이 되며, 나머지 모든 범주가 유니버설 성질을 통해 그들로 통합되거나 연관됨을 보이며, 임의의 함자에 대해 두 범주가 동치가 아니라는 것을 증명함으로써 그들 각각이 수학적으로 독립된 정체성을 지닌다는 것을 확인한다.

ABSTRACT

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces.

연구 동기 및 목표

• 매끄러운 대상의 정의가 서로 경쟁적으로 증가하는 문제를 체계적으로 비교함으로써 그 범주론적 구조를 해결하기 위해.
• 다섯 가지 매끄러운 공간 범주 중 어떤 것이나 임의의 함자에 대해 동치가 되는가를 판단함으로써 그들의 근본적인 독립성을 평가하기 위해.
• 특히 매끄러운 다양체의 부분범주를 유지하는 자연스럽고 부자연스럽지 않은 함자를 식별하기 위해.
• 시험 대상과 강제 조건을 기반으로 한 일반적인 범주론적 프레임워크를 개발하여, 매끄러운 구조에 대해 일반화하고, 매끄러운 공간을 초월해 적용 가능하게 하기 위해.
• Frölicher 공간이 일반화된 매끄러운 공간의 전경에서 중심적이고 통합적인 범주로서의 역할을 명확히 하기 위해.

제안 방법

• 저자는 Chen, Frölicher, Sikorski, Smith, 그리고 Souriau에 의해 정의된 매끄러운 공간의 범주 간에 명시적인 함자를 구성하며, 특히 매끄러운 다양체를 유지하는 데 중점을 둔다.
• 기본 범주 U, 시험 범주 T, 강제 조건을 기반으로 한 일반적 프레임워크—'U 내의 강제 가상 T-객체'—를 도입하여 정의를 통합한다.
• 매끄러움을 시험하기 위해 형태 X ← T → X'의 다이어그램을 사용하며, '플롯에 의한 시험 사상' 또는 '함수형 사상'의 개념을 일반화한다.
• 첨도와 임bedding을 사용하여 관계를 분류하고, 반사적 또는 코반사적 부분범주 구조를 식별한다.
• Isbell 환경을 통해 비집합 기반 이론으로의 확장을 다루며, 프로파필로 및 릿지 인자 분해로 프레임워크를 일반화한다.
• Sikorski 공간의 비위상적 재정의를 유도하여, 위상적 국소성 대신 함수형 사상과 그 곱에 대한 대수적 조건을 도입한다.

실험 결과

연구 질문

• RQ1 Chen, Frölicher, Sikorski, Smith, 그리고 Souriau에 의해 정의된 매끄러운 공간의 범주들은 자연스러운 함자를 통해 어떻게 관련되어 있는가?
• RQ2 이 범주들 중 어떤 것이 다른 이들에 임베딩되거나 반사적 임베딩을 할 수 있는가? 이는 계층 또는 중심적 구조를 드러내는가?
• RQ3 매끄러운 공간의 범주들은 임의의 함자에 대해 동치가 되는가, 아니면 근본적으로 다른 수학적 대상인가?
• RQ4 시험 대상을 기반으로 한 다양한 매끄러운 구조의 정의를 통합할 수 있는 일반적인 범주론적 프레임워크는 무엇인가?
• RQ5 매끄러움의 개념은 집합 기반 공간을 초월해 일반화될 수 있는가? 특히 합성 또는 비가환 미분기하학에 대해 어떻게 일반화할 수 있는가?

주요 결과

• Frölicher 공간은 매끄러운 공간의 범주론적 전경에서 중심적인 위치를 차지하며, 나머지 모든 범주에서 그로 향하는 자연스러운 함자가 존재한다.
• Frölicher 공간의 범주는 Chen 공간 및 Souriau 공간의 범주에서 반사적이고 코반사적일 뿐 아니라, 강력한 유니버설 성질을 지닌다.
• Chen, Frölicher, Sikorski, Smith, Souriau의 다섯 범주 중 어느 두 범주도 임의의 함자에 대해 동치가 아니며, 이는 각각이 독립된 수학적 정체성을 지닌다는 것을 확인한다.
• 시험 범주와 강제 조건을 사용하여 매끄러운 구조에 대한 일반적 프레임워크를 확립하였으며, 이로써 다섯 정의가 동일한 형식론에 통합된다.
• 위상적 국소성 대신 함수형 사상과 그 곱에 대한 대수적 조건을 도입함으로써, Sikorski 공간의 비위상적 형태를 도출하였다.
• Isbell 환경 구축은 비집합 기반 매끄러운 이론, 예를 들어 합성 미분기하학 등으로의 프레임워크 일반화를 위한 길을 열어 놓는다.