[논문 리뷰] Orbit spaces and leaf spaces of foliations as generalized manifolds

Mark Losik|arXiv (Cornell University)|2015. 01. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 8

한 줄 요약

이 논문은 일반화된 다성분의 범주론적 프레임워크를 제안하며, 분할의 궤적 공간과 잎 공간을 아틀라스와 유사한 구조를 가진 집합으로 간주하여 그 연구를 단순화한다. 이는 리브 분할의 잎 공간의 첫 번째 체르누 클래스가 비자명하다는 것을 증명하고, 이는 그 컴팩트 잎의 호로노미를 기하학적으로 코딩한다. 이는 분할 이론에서 오랫동안 남아 있던 특성 클래스에 관한 질문을 해결한다.

ABSTRACT

The paper gives a categorical approach to generalized manifolds such as orbit spaces and leaf spaces of foliations. It is suggested to consider these spaces as sets equipped with some additional structure which generalizes the notion of atlas. The approach is compared with the known ones that use the Grothendieck topos, the Haefliger classifying space and the Connes non-commutative geometry. The main aim of this paper is to indicate that the suggested approach permits to simplify essentially the modern theory of the leaf space of foliations and the orbit space of diffeomorphism groups, and to obtain some new results on the characteristic classes of foliations. As an application, it is shown that the first Chern class is non-trivial for the leaf space of the Reeb foliation and its geometrical meaning is indicated.

연구 동기 및 목표

• 분할의 잎 공간과 미분형군의 궤적 공간의 현대 이론을 단순화하기 위해.
• 토포스 이론이나 비가환 기하학에 의존하지 않는, 아틀라스를 활용한 새로운 구조적 접근을 통한 일반화된 다성분의 정의.
• 리브 분할의 잎 공간에 대해 특성 클래스, 특히 첫 번째 체르누 클래스의 비자명성을 확립하기 위해.
• 첫 번째 체르누 클래스가 컴팩트 잎의 호로노미 데이터로 기하학적으로 무엇을 의미하는지 명확히 하기 위해.
• 부드러운 에테ール 군oids 기반의 단일 범주론적 프레임워크 안에서 궤적 및 잎 공간의 연구를 통합하기 위해.

제안 방법

• 구조층이 부드러운 함수인 그로텐디크 위상과 함께 집합을 갖춘 C-공간의 범주를 도입하여 다성분를 일반화한다.
• 전이 사상이 국소 미분동형사상인 C-아틀라스의 개념을 사용하여 오비폴드와 유사하게 일반화된 다성분를 정의한다.
• 부드러운 구조를 층 이론적 및 범주론적 자료로 코딩하여, 다성분과 일반화된 공간(예: 잎 공간)을 포함하는 범주를 구성한다.
• Čech-De Rham 코homology를 사용하여 분할의 특성 클래스, 특히 첫 번째 체르누 클래스를 정의한다.
• 주기성과 미분형식의 부드러움을 이용한 모순 증명을 통해 리브 분할의 경우 체르누 클래스의 비자명성을 증명한다.
• 리브 분할의 컴팩트 잎의 호로노미를 분석하여 체르누 클래스의 기하학적 의미를 해석한다.

실험 결과

연구 질문

• RQ1 토포스나 비가환 기하학에 의존하지 않고, 분할의 잎 공간을 일반화된 다성분로 의미 있게 다룰 수 있는가?
• RQ2 리브 분할의 잎 공간의 첫 번째 체르누 클래스는 비자명한가? 그리고 기하학적으로 무엇을 나타내는가?
• RQ3 제안된 범주론적 프레임워크는 기존 접근법에 비해 궤적 및 잎 공간의 연구를 어떻게 단순화하는가?
• RQ4 특성 클래스가 층 이론적 아틀라스 기반 방법을 통해 일관되게 정의되고 계산될 수 있는가?
• RQ5 첫 번째 체르누 클래스가 잎 공간의 분할을 방향성에 대해 유일하게 결정하는가? (로식의 주장에 따름)

주요 결과

• 리브 분할의 잎 공간의 첫 번째 체르누 클래스는 비자명하며, 분할 이론에서 중요한 열린 질문을 해결한다.
• 부드러운 1형식의 인플로우와 주기성 제약 조건의 행동을 다루는 모순 증명을 통해 첫 번째 체르누 클래스의 비자명성이 증명된다.
• 첫 번째 체르누 클래스는 전이 함수와 그 도함수의 구조를 통해 리브 분할의 컴팩트 잎의 호로노미를 기하학적으로 코딩한다.
• 제안된 범주론적 프레임워크는 그로텐디크 토포스나 비가환 대수학의 기술적 난이도를 피하면서도 궤적 및 잎 공간의 통합적이고 단순화된 처리를 가능하게 한다.
• Čech-De Rham 코homology를 활용한 아틀라스 기반의 구조 내에서 특성 클래스를 성공적으로 정의하고 계산하여 구체적인 결과를 도출한다.
• 증명 과정에서 부드러운 함수의 두 번째 도함수를 포함하는 특정 식의 극한이 발산함을 보여, 부드러운 연장의 가정에 모순되므로 체르누 클래스의 비자명성을 증명한다.