[논문 리뷰] Homotopy Transition Cocycles

James F. Wirth, Jim Stasheff|ArXiv.org|2006. 09. 07.

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

한 줄 요약

이 논문은 전형적인 군 작용을 갖는 범주론적 구조 대신, 고차 호모토피 호환 조건을 만족하는 전이 코호션을 사용하여 국소적으로 호모토피적으로 자명한 피브레이션을 분류하기 위한 호모토피 이론적 프레임워크를 개발한다. 전이 함수를 강한 호모토피(호모토피 호환 함수)에 의한 함자로 모델링하고, 호모토피 동치의 분류 공간을 통해 이를 실현함으로써, 피브레이션의 피브어 호모토피 동치류와 분류 공간 BH(F)로의 호모토피 클래스 사이의 1:1 대응을 확립한다. 이는 고전적 번들의 분류 이론을 호모토피 범주로 일반화한다.

ABSTRACT

For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db o H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only that $g\dab g\dbgam$ is homotopic to $g\dagam$ as a map of $U\da\cap U\db\cap U\dgam$ into $H$. Moreover on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The full theory was worked out by the first author in his 1965 Notre Dame thesis \cite{wirth:diss}. Here we present it using language that has been developed in the interim. We also show how this points a direction `on beyond gerbes'.

연구 동기 및 목표

• 고전적 피브레이션 분류에서 전이 함수를 사용하는 방식을, 구조 함수가 호모토피 상에서만 잘 정의되는 호모토피 이론적 맥락으로 일반화한다. 이 경우 코호션 조건은 엄밀한 항등식에서 호모토피 호환성 조건으로 약화된다.
• 다중 교차에서의 고차 호모토피가 피브레이션 분류에 있어 필수적인 자료로 작용하며, 이를 보다 체계적으로 표현하는 방법을 체계화한다.
• 1965년 Wirth의 박사학위 논문을 현대적인 언어와 도구(호모토피 호환 범주론과 분류 공간)를 활용해 재정립한다.
• 이론을 게르베와 고차 게이지 이론과 연결하여, 게르베가 일정 수준의 호환성 조건이 잘린 특수한 경우의 호모토피 전이 코호션임을 보여준다.
• 피브어의 자기 호모토피 동치의 모노이드의 분류 공간 BH(F)로의 호모토피 클래스 사상에 의한 피브레이션 분류 정리를 수립한다.

제안 방법

• 피브어 $ F $ 의 호모토피 동치의 모노이드 $ H(F) $ 에로의 전이 함수 $ g_{\alpha\beta} : U_\alpha \cap U_\beta \to H(F) $ 를 모델링하여, 고전적 번들의 구조군 $ G $ 를 대체한다.
• 엄밀한 코호션 조건 $ g_{\alpha\beta}g_{\beta\gamma} = g_{\alpha\gamma} $ 를 삼중 교차에서의 호모토피 호환 조건 $ g_{\alpha\beta}g_{\beta\gamma} \simeq g_{\alpha\gamma} $ 로 대체한다.
• 커버 $ \{U_\alpha\} $ 에 의해 정의된 위상 범주 $ \mathcal{U} $ 에서 $ H(F) $ 로의 호모토피 호환 함자 개념을 사용하여, 다중 오버랩에서의 고차 호모토피를 코딩한다.
• 위상 범주 $ \mathcal{U} $ 를 공간 $ |\mathcal{U}| $ 로 실현하며, 이는 수열적 커버의 경우 기저 공간 $ B $ 와 호모토피 유형을 갖는다.
• 호모토피 호환 함자에 의해 유도되는 사상 $ B \simeq |\mathcal{U}| \to |H(F)| = BH(F) $ 를 통해 분류 사상 $ f: B \to BH(F) $ 를 구성한다.
• Wirth의 붙임/접기 정리(매핑 실린더 구성)를 적용하여, 호모토피 호환 전이 자료로부터 진정한 피브레이션을 재구성하며, 결과로 얻는 대상이 진정한 피브레이션임을 보장한다.

실험 결과

연구 질문

• RQ1 구조 사상이 호모토피 상에서만 잘 정의되는 피브레이션의 경우, 고전적 전이 코호션 조건은 어떻게 일반화될 수 있는가?
• RQ2 다중 교차에서의 고차 호모토피는 피브레이션 분류에 어떤 역할을 하는가? 이를 어떻게 체계적으로 표현할 수 있는가?
• RQ3 피브어 $ F $ 의 자기 호모토피 동치의 모노이드의 분류 공간 $ BH(F) $ 는 국소적으로 호모토피적으로 자명한 피브레이션에 대한 보편 분류 공간이 될 수 있는가?
• RQ4 호모토피 전이 코호션 이론은 게르베 이론과 어떤 관계가 있으며, 어떤 의미에서 게르베는 이 프레임워크의 특수한 경우인가?
• RQ5 Wirth가 체계화한 피브레이션 이론의 공리 체계는 다양한 기하학적 및 호모토피적 맥락에서의 분류 결과를 얼마나 통합적으로 다룰 수 있는가?

주요 결과

• 기저 공간 $ X $ 에 대해 수열적 커버에서 국소적으로 호모토피적으로 자명한 피브레이션 $ p: E \to X $ 의 피브어 호모토피 동치류는 피브어의 자기 호모토피 동치의 모노이드 $ H(F) $ 의 분류 공간 $ BH(F) $ 로의 호모토피 클래스 $ X \to BH(F) $ 와 1:1 대응된다.
• 분류 사상 $ f: X \to BH(F) $ 는 커버 범주의 네크의 실현과 호모토피 호환 전이 함수로부터 구성되며, 보편 피브레이션 $ UE \to BH(F) $ 의 당김은 원래 피브레이션을 피브어 호모토피 동치로 복원한다.
• 전이 자료로부터 분류 사상의 구성은 호모토피에 대해 잘 정의되어 있으며, 보편 피브레이션의 당김을 통한 역구성은 원래 피브레이션과 피브어 호모토피 동치인 피브레이션을 얻게 되어 분류가 성립한다.
• 다중 교차에서의 고차 호모토피는 보조적 수정이 아니라 호모토피 호환 함자를 정의하는 데 필수적인 자료이며, 그 호환성은 피브레이션 구조의 존재와 동치이다.
• 게르베는 호환성 자료가 엄밀한(역원 요소에 의한 쌍대변환을 통한) 경우의 특수한 경우로서의 호모토피 전이 코호션으로 나타나며, 고차 게르베는 전이 자료의 고차 수준의 호환성에 해당한다.
• 이 이론은 스택을 추적하는 이론과 대수기하학에서의 고차 구조를 위한 기초를 제공하며, 호모토피 호환 함자와 분류 공간의 프레임워크는 고차 게이지 이론과 유도 기하학에서의 내림내림 이론에 자연스러운 언어를 제공한다.