[논문 리뷰] On the homology theory of fibre spaces

Tornike Kadeishvili|ArXiv.org|2005. 04. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 자유 호모로지 군을 가진 미분 대수의 호모로지에 대해 $A(\infty)$-대수의 구조를 수립함으로써, 섬유 공간의 고전적 호모로지 이론에 대한 호모토피 이론적 보완을 가능하게 한다. 주요 기여는 이 호모로지 $A(\infty)$-대수에서 원래 대수로의 $A(\infty)$-준동형사상의 구성으로, 이는 호모로지에서 동형사상을 유도하며, $\tilde{B}$-구성법을 일반화하고 섬유 번들의 스펙트럴 시퀀스 계산과 루프 공간을 통합한다.

ABSTRACT

The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor products is generalized from the case of DG-algebras to the case of $A(\infty)$-algebras. These algebraic results are used to describe homology of classifying spaces, cohomology of loop spaces, and homology of fibre bundles.

연구 동기 및 목표

• 미분 대수에 대한 고전적 $B$-구성법을 $A(\infty)$-대수를 이용한 호모토피 이론적 프레임워크로 확장하기.
• 호모로지 군이 자유일 경우, 미분 대수의 호모로지에 대해 고차 호모토피 구조를 구성하기.
• 섬유 번들 설정에서 이 $A(\infty)$-대수의 $\tilde{B}$-구성법과 분류 공간 또는 루프 공간 호모로지 사이의 호모토피 동치를 확립하기.
• Shih의 스펙트럴 시퀀스 결과를 일반화하여, 차수별 미분을 고차 $A(\infty)$ 연산과 튜잉 코일로 표현하기.

제안 방법

• 일반화된 결합 법칙 관계(Stasheff의 $A(\infty)$-관계)를 만족하는 고차 연산 $m_i$를 가진 $A(\infty)$-대수의 범주 $A(\infty)$를 도입한다.
• $\tilde{B}$-구성법을 통해 $A(\infty)$-대수를 미분 코알제브라로 표현하며, $A(\infty)$-대수 $(M, \{m_i\})$를 $m_i$ 연산으로 정의된 미분 $d_m$을 가진 텐서 코알제브라 $T^c(M)$로 매핑한다.
• 호모로지 군이 자유일 경우, 미분 대수 $C$의 호모로지 $H(C)$에 대해 $A(\infty)$-대수 구조 $\{X_i\}$를 구성한다. 이때 $X_1 = 0$이고, $X_2(a_1 \otimes a_2) = -\tilde{a}_1 \cdot a_2$이며, 순환 대표를 통해 고차 $X_i$를 재귀적으로 정의한다.
• $f_1$ 이 호모로지에서 동형사상을 유도하는, $H(C)$에서 $C$로의 $A(\infty)$-준동형사상 $\{f_i\}$를 정의한다. 이는 순환을 선택하고 호모토피 차이를 호모로지의 자유성에 의해 수정함으로써 구성된다.
• $\tilde{B}$-구성법을 사용하여 이 $A(\infty)$-준동형사상을 미분 코알제브라 사상으로 올리며, $\tilde{B}(H(C), \{X_i\})$와 $C$의 $B$-구성법 사이의 호모토피 동치를 확립한다.
• 섬유 번들에 대해 튜잉 코일을 적용하여, $\tilde{B}$-구성법의 $H(F)$에 대해 $\sim$-튜잉 코일 $\phi^*$를 고려할 때, $\tilde{B}(H(F), \{X_i\})$의 호모로지가 전체 공간 $E$의 호모로지와 동형임을 보인다.

실험 결과

연구 질문

• RQ1 자유 호모로지 군을 가진 미분 대수의 호모로지에 대해, 그 호모토피 이론적 성질을 캡처하는 고차 대수적 구조를 부여할 수 있는가?
• RQ2 호모로지에서 동형사상을 유도하는 표준적인 $A(\infty)$-준동형사상이 이 호모로지 $A(\infty)$-대수에서 원래 대수로 존재하는가?
• RQ3 $A(\infty)$-구조의 $\tilde{B}$-구성법이 고전적 구성, 예를 들어 분류 공간 또는 루프 공간 호모로지와 어떻게 관련되는가?
• RQ4 섬유 번들의 스펙트럴 시퀀스의 미분을 고차 $A(\infty)$ 연산과 튜잉 코일로 표현할 수 있는가?
• RQ5 호모로지에 대한 $A(\infty)$-구조는 $A(\infty)$-동형사상에 대해 어느 정도 유일한가?

주요 결과

• 모든 미분 대수 $C$에 대해, 그 호모로지 군 $H_i(C)$가 자유일 경우, $X_1 = 0$, $X_2(a_1 \otimes a_2) = -\tilde{a}_1 \cdot a_2$를 만족하는 $A(\infty)$-대수 구조 $\{X_i\}$가 $H(C)$에 존재하며, $(H(C), \{X_i\})$에서 $(C, \{m_1, m_2, 0, \dots\})$로의 $A(\infty)$-준동형사상 $\{f_i\}$가 존재하여 $f_1$ 이 호모로지에서 동형사상을 유도한다.
• $A(\infty)$-대수 $(H(C), \{X_i\})$의 $\tilde{B}$-구성법은 $C$의 $B$-구성법과 준동형사상( quasi-isomorphic )이며, 이는 고전적 $B$-구성법의 호모토피 이론적 보완을 확립한다.
• 연결된 위상군 $G$에 대해 $H_*(G)$가 자유일 경우, $\tilde{B}$-구성법의 $\tilde{B}(\bar{H}_*(G), \{X_i\})$의 호모로지는 분류 공간 $B_G$의 호모로지와 동형이다.
• 단순 연결된 공간 $B$에 대해 $H^*(B, b_0)$가 자유일 경우, $\tilde{B}$-구성법의 $\tilde{B}(\bar{H}^*(B, b_0), \{X_i\})$의 호모로지는 루프 공간 $\Omega B$의 코호모로지와 동형이다.
• 기저가 연결되고 $H_*(G)$, $H_*(F)$가 자유일 경우, 주 $G$-섬유 번들 $\xi$에 대해, $\sim$-틀어진 텐서곱 $C_*(B) \otimes_{\phi^*} H_*(F)$의 호모로지는 전체 공간 $E$의 호모로지와 동형이며, 이는 Shih의 결과를 일반화한다.
• 호모로지에 대한 $A(\infty)$-구조는 $A(\infty)$-동형사상에 대해 유일하다: $H(C)$에 존재하는 두 구조는 첫 번째 성분이 항등사상인 $A(\infty)$-동형사상으로 연결된다.