[논문 리뷰] A model structure on the category of diffeological spaces

Tadayuki Haraguchi, Kazuhisa Shimakawa|arXiv (Cornell University)|2013. 11. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 7

한 줄 요약

이 논문은 미분구조공간의 범주에 대해 매끄러운 약한 호모토피 동치를 약한 동치로 사용하여 Quillen 모델 구조를 수립한다. 이는 표준적인 위상공간의 모델 구조와 Quillen 동치임을 증명한다. 주요 기여는 미분구조공간이 위상공간과 동치인 호모토피 이론을 지닐 수 있음을 보여주는 것이다. 다만, 무리수 토러스와 같은 일부 공간들은 매끄러운 호모토피 군과 연속 호모토피 군이 서로 이sov모르기 때문에 위상공간의 매끄러운 호모토피 유형을 갖지 못한다.

ABSTRACT

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy equivalences.

연구 동기 및 목표

• 미분구조공간에 대해 Quillen 모델 구조를 구성함으로써 호모토피 이론을 개발하는 것.
• 이 모델 구조가 위상공간의 표준 Quillen 모델 구조와 Quillen 동치임을 보이는 것.
• 모든 미분구조공간이 위상공간의 매끄러운 호모토피 유형을 갖는지 조사하는 것.
• 미분구조공간에서 매끄럽고 연속적인 호모토피 군 간의 관계를 명확히 하는 것.
• 미분구조공간, 수치적으로 생성된 공간, 위상공간의 모델 구조를 상호 비교하는 것.

제안 방법

• n-입방체 (Iⁿ, ∂Iⁿ) 에서 (X, x₀) 로의 매끄러운 사상들의 호모토피류로 정의된 매끄러운 호모토피 군 πₙ(X, x₀) 를 정의하고, 부분집합 Jⁿ⁻¹ 를 사용하여 상대 군을 정의한다.
• 포함사상 Lⁿ⁻¹ → Iⁿ 에 대해 오른쪽 올림 성질을 갖는 약한 올림을 통해 약한 올림을 도입한다. 여기서 Lⁿ⁻¹ = ∂Iⁿ⁻¹ × I ∪ Iⁿ⁻¹ × {0} 이다.
• 약한 올림에 대해 제한된 호모토피 확장 성질과 커버링 호모토피 확장 성질을 증명하여 표준적인 호모토피 도구를 지원한다.
• 코프레임으로 생성되지 않기 때문에 Quillen의 공리계를 직접 검증함으로써 미분구조공간 위의 모델 구조를 직접 구성한다.
• 위트니 근사 정리를 활용하여 단위 사상 X → DTX 를 통해 미분구조공간의 모델 범주와 위상공간의 모델 범주 간의 Quillen 동치를 확립한다.
• Diff, NG (수치적으로 생성된 공간), Top 의 모델 구조를 비교하여, T, D, ν 를 포함하는 연이은 수반 관계를 통해 이들이 모두 Quillen 동치임을 보인다.

실험 결과

연구 질문

• RQ1 미분구조공간의 범주가 매끄러운 약한 호모토피 동치를 약한 동치로 갖는 Quillen 모델 구조를 갖는가?
• RQ2 이 모델 구조가 위상공간의 표준 Quillen 모델 구조와 Quillen 동치인가?
• RQ3 매끄러운 호모토피 군이 연속 호모토피 군과 다를 수 있는 미분구조공간이 존재하는가?
• RQ4 미분구조공간의 매끄러운 호모토피 유형이 위상공간의 것과 일치할 수 있는가?
• RQ5 미분구조공간, 수치적으로 생성된 공간, 위상공간의 모델 구조는 상호 어떻게 관련되어 있는가?

주요 결과

• 약한 동치로 매끄러운 약한 호모토피 동치를 사용하는 미분구조공간의 범주에 대해 Quillen 모델 구조가 구성되었다.
• 미분구조공간의 모델 구조는 위상공간의 표준 Quillen 모델 구조와 Quillen 동치이다.
• 무리수 토러스 Tθ 는 매끄러운 기본군이 ℤ² 와 동형이지만, 그 위상적 실현에서 연속 기본군은 자명하므로 위상공간의 매끄러운 호모토피 유형을 갖지 못한다.
• 자연사상 Tθ → DTTθ 는 약한 동치가 아니며, 이는 위상공간으로의 매끄러운 호모토피 동치가 실패했음을 확인한다.
• Diff, NG (수치적으로 생성된 공간), Top 의 모델 구조는 모두 Quillen 동치이며, T:Diff ⇄ NG 와 D:Top ⇄ STop 의 수반 관계를 통해 연결된 사슬을 이룬다.
• 핵심반사 ν:Top → NG 와 포함사상 i:NG → Top 는 호모토피를 유지하며, NG 의 모델 구조는 유한 생성이며 Top 의 모델 구조와 Quillen 동치이다.