[논문 리뷰] De Rham cohomology of diffeological spaces and foliations

G. Hector, E. Macías–Virgós외 1명|ArXiv.org|2009. 03. 16.

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

한 줄 요약

이 논문은 매장된 만곡면 $(M,\mathcal{F})$의 기본형 코homology와 그 미분구조적 잎 공간 $M/\mathcal{F}$의 De Rham 코homology 사이의 표준적 동형사상을 확립하며, $H^*_{b}(M,\mathcal{F}) \cong H^*(M/\mathcal{F})$임을 증명한다. 이 동형관계는 컴팩트 만곡면 위의 리 및 리만 만곡면에 대해 기본형 코homology의 위상적 불변성을 새롭고 간결하게 증명하는 데 기여한다.

ABSTRACT

Let $(M,\mathcal{F})$ be a foliated manifold. We prove that there is a canonical isomorphism between the complex of base-like forms $Ω^*_b(M,\mathcal{F})$ of the foliation and the "De Rham complex" of the space of leaves $M/\mathcal{F}$ when considered as a "diffeological" quotient. Consequently, the two corresponding cohomology groups $H^*_b(M,\mathcal{F})$ and $H^*(M/\mathcal{F})$ are isomorphic.

연구 동기 및 목표

• 매장된 만곡면 $(M,\mathcal{F})$의 기본형 코homology $H^*_{b}(M,\mathcal{F})$와 그 미분구조적 잎 공간 $M/\mathcal{F}$의 De Rham 코homology $H^*(M/\mathcal{F})$ 사이의 표준적 동형관계를 확립한다.
• 기본 만곡면의 구조를 기반으로 하여, 특히 환경 만곡면에 의해 유도된 몫 미분구조를 사용해, 미분구조적 공간에 De Rham 코homology 이론을 확장한다.
• 컴팩트 만곡면 위의 리 만곡면에 대해 기본형 코homology의 위상적 불변성을 새롭고 간결하게 증명한다.
• 표준적인 대수적 위상수학 기법을 활용해 이 불변성을 리만 만곡면으로 일반화한다.
• 잎 공간 $M/\mathcal{F}$가 몫 미분구조를 지닐 경우, 그 위에 존재하는 De Rham 복합체가 만곡면 $M$ 위의 기본형 형식 복합체와 동형임을 보여준다.

제안 방법

• 기본 만곡면의 미분구조를 기반으로 하여, 잎 공간 $M/\mathcal{F}$에 대한 몰입 미분구조를 정의한다.
• 플롯을 통한 미분형식의 역상 작용을 이용해, 미분구조적 공간 $M/\mathcal{F}$ 위에 De Rham 복합체를 구성한다.
• 기본형 형식 복합체 $\Omega^*_{b}(M,\mathcal{F})$와 De Rham 복합체 $\Omega^*(M/\mathcal{F})$ 사이의 표준적 동형관계를 확립한다.
• 리 만곡면의 경우, 잎 공간 $M/\mathcal{F}$가 리 군 $G$와 이산 부분군 $\Gamma$에 대해 $G/\Gamma$와 미분구조적으로 동형임을 이용한다.
• 몫 $G/\Gamma$의 미분구조와 잎 공간 사상의 등변성을 활용하여, 유도된 사상의 미분가능성을 증명한다.
• 특히 몰리노의 구조 이론을 활용해 리 군 이론과 대수적 위상수학의 결과를 적용하여, 리만 만곡면에 대한 불변성 결과를 확장한다.

실험 결과

연구 질문

• RQ1 기본형 코homology $H^*_{b}(M,\mathcal{F})$와 미분구조적 잎 공간의 De Rham 코homology $H^*(M/\mathcal{F})$ 사이에 표준적 동형관계가 존재하는가?
• RQ2 리 만곡면에 대해 기본형 코homology의 위상적 불변성은 미분구조적 코homological 프레임워크로부터 유도될 수 있는가?
• RQ3 미분구조적 공간 $M/\mathcal{F}$는 만곡면의 표준적 기하적 불변량과 어떻게 관련이 있는가?
• RQ4 미분구조적 공간의 De Rham 코homology는 고전적 불변량인 기본형 코homology를 어느 정도 복원할 수 있는가?
• RQ5 미분구조적 공간으로서의 잎 공간 $M/\mathcal{F}$는 위상적 동치에 따라 만곡면를 분류할 수 있을 정도의 충분한 기하 정보를 유지하는가?

주요 결과

• 기본형 형식 복합체 $\Omega^*_{b}(M,\mathcal{F})$와 미분구조적 잎 공간의 De Rham 복합체 $\Omega^*(M/\mathcal{F})$ 사이에 표준적 동형관계가 존재한다.
• 기본형 코homology $H^*_{b}(M,\mathcal{F})$는 미분구조적 몰입 $M/\mathcal{F}$의 De Rham 코homology $H^*(M/\mathcal{F})$와 동형이다.
• 몰입 미분구조를 지닌 잎 공간 $M/\mathcal{F}$는 고전적 기본형 코homology를 복원하는 De Rham 코hom로이 이론을 지닌다.
• 최소 리 만곡면의 경우, 잎 공간 $M/\mathcal{F}$는 단순연결된 리 군 $G$와 이산 부분군 $\Gamma$에 대해 $G/\Gamma$와 미분구조적으로 동형이다.
• 두 최소 리 만곡면 사이의 매장된 위상동형사상은 그 잎 공간 간에 $C^0$-미분구조적 동형사상을 유도하며, 이는 반드시 미분가능하다.
• 리만 만곡면에 대해 기본형 코homology의 위상적 불변성은 동형관계와 표준적인 대수적 위상수학 기법의 결과로 도출된다.