호모토피 이론

호모토피 이론은 연속적인 변형에 따른 공간을 연구하며, 기본군을 고차 호모토피 군으로 일반화하고, 파이브레이션(fibration), 코파이브레이션(cofibration) 및 CW 근사(CW approximation)를 통해 사상(map)들을 조직화합니다.

Definition

호모토피 이론은 위상 공간(topological space)과 사상을 호모토피(연속적인 변형)에 따라 연구합니다. 이를 위해 고차 호모토피 군(구면으로부터의 사상의 호모토피 동치류)과 이러한 불변량(invariant)들을 다루기 쉽게 만드는 파이브레이션 및 CW 복합체의 구조를 활용합니다.

Scope

이 주제는 차원이 2 이상일 때 아벨(abelian)인 고차 호모토피 군을 정의하고, 이를 계산하고 연관시키는 도구들을 개발합니다. 여기에는 파이브레이션과 파이브레이션의 긴 완전열(long exact sequence), 호모토피와 호몰로지(homology)를 연결하는 후레비치 정리(Hurewicz theorem), CW 복합체(CW complex)의 약한 동치(weak equivalence)에 대한 화이트헤드 정리(Whitehead's theorem), 그리고 장애물 이론(obstruction theory)이 포함됩니다. 또한 구면의 호모토피 군(대부분 미해결 문제), 코호몰로지(cohomology)를 나타내는 아일렌베르크-매클레인 공간(Eilenberg-MacLane space), 그리고 호모토피 이론을 추상적으로 구성하는 모델 범주적 관점(model-categorical viewpoint)을 다룹니다.

Core questions

• 고차 호모토피 군은 기본군을 어떻게 확장하며, 차원이 1을 초과할 때 왜 아벨 군이 되는가?
• 파이브레이션의 긴 완전열은 더 간단한 부분들로부터 호모토피 군을 어떻게 계산하는가?
• 후레비치 정리는 첫 번째 0이 아닌 호모토피 군과 호몰로지와의 관계에 대해 무엇을 말하는가?
• 구면의 호모토피 군은 왜 그렇게 어려운가, 그리고 어떤 구조가 이를 조직화하는가?

Key concepts

• 고차 호모토피 군과 그 아벨 구조
• 파이브레이션, 코파이브레이션, 그리고 파이브레이션의 긴 완전열
• 후레비치 정리와 화이트헤드 정리
• 아일렌베르크-매클레인 공간과 코호몰로지의 표현가능성
• CW 근사와 장애물 이론

Clinical relevance

호모토피 이론은 현대 위상수학의 추상적인 근간이며, 안정적인 현상(stable phenomena), 번들(bundle) 및 게이지 이론(gauge theory)을 위한 분류 공간(classifying space), 그리고 현재 대수학, 대수 기하학, 수리 물리학 전반에 걸쳐 사용되는 호모토피적 방법론의 언어를 제공합니다.

History

후레비치(Hurewicz)는 1930년대에 고차 호모토피 군을 도입했습니다. 세르(Serre)의 스펙트럼 열(spectral sequence)과 화이트헤드(Whitehead) 등의 연구는 계산을 가능하게 했으며, 퀼런(Quillen)의 모델 범주(1967)는 호모토피 이론을 위상수학을 훨씬 넘어서는 적용 가능한 틀로 추상화했습니다.

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

고차 호모토피 군은 왜 아벨 군이지만 기본군은 아닐 수도 있는가?

차원이 2 이상일 때는 에크만-힐튼 논증(Eckmann-Hilton argument)을 통해 두 구면체(spheroid)를 서로 교환할 수 있는 충분한 공간이 있어 교환성을 강제합니다. 반면 차원 1에서는 루프(loop)들을 이런 식으로 서로 교환할 수 없습니다.

구면의 호모토피 군은 알려져 있는가?

부분적으로만 알려져 있습니다. 엄청난 노력에도 불구하고 특정 차원 범위에서만 계산되었으며, 일반적으로 이를 결정하는 것은 위상수학에서 가장 심오한 미해결 문제 중 하나로 남아 있습니다.