[논문 리뷰] Cohomology $C_{\infty}$-algebra and Rational Homotopy Type

Tornike Kadeishvili|ArXiv.org|2008. 11. 11.

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

한 줄 요약

이 논문은 1-연결된 공간의 유리수 코homology에 대해 cohomology $C_{\nu}$-대수의 구조를 구축하며, 이 대수적 불변량이 유리수 호모토피 유형을 완전히 결정한다는 것을 보여준다. $A_{\nu}$-대수 프레임워크를 교환법칙이 성립하는 설정으로 확장함으로써, 저자들은 두 공간이 같은 유리수 호모토피 유형을 가진다 하는 것과 동치인 cohomology $C_{\nu}$-대수의 동형이 성립함을 증명하며, 이는 유리수 호모토피 이론에서 완전하고 계산 가능한 불변량을 제공한다.

ABSTRACT

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

연구 동기 및 목표

• 유리수 코homology 대수만으로는 부족한 정보를 더 담아내는 완전한 유리수 호모토피 불변량을 구축하는 것.
• 유리수 코homology에 $C_{\nu}$-대수의 구조를 도입하기 위해 $A_{\nu}$-대수 프레임워크를 교환법칙이 성립하는 설정으로 확장하는 것.
• 1-연결된 공간에 대해 cohomology $C_{\nu}$-대수가 그 유리수 호모토피 유형을 완전히 결정함을 보이는 것.
• 알gebra적 사상이 $C_{\nu}$-준동형을 통해 위상적 사상으로 실현될 수 있는 프레임워크를 제공하는 것.
• cohomology $C_{\nu}$-대수의 바 구조(bar construction)와 루프 공간의 유리수 코호모티피 리 코대수 사이의 연결 고리를 설정하는 것.

제안 방법

• 1-연결된 공간 $X$의 유리수 코homology $H^*(X,\mathbb{Q})$에 대해 $C_{\nu}$-대수의 구조를 구성하며, 이는 $A_{\nu}$-대수의 구조를 일반화한다.
• Sullivan의 교환법칙이 성립하는 코호모로지 사상 $A(X)$를 사용하여, 코호모로지로의 $C_{\nu}$-구조를 코チェ인에서 옮기는 것을 시도한다.
• $\{m_i\}$의 일련의 연산을 정의하여, 각 연산의 차수는 $2-i$이며, 일반화된 결합법칙을 고차 호모토피 수준에서 만족시키는 방식으로 $C_{\nu}$-대수를 정의한다.
• 코호모로지 $C_{\nu}$-대수 $B(H^*, \{m_i\})$에 바 구조(bar construction)를 적용하여, 디퍼런셜 그룹화된 대수(bialgebra)를 얻는다.
• 바 구조에 대해 $Q$-분해 불가능성 함수(functor $Q$ of indecomposables)를 적용하여, 디퍼런셜 그룹화된 리 코대수를 얻으며, 이는 유리수 코호모티피 리 코대수 $\pi^*(\Omega X, \mathbb{Q})$와 동형임을 보인다.
• 코호모로지에 대한 $C_{\nu}$-대수의 구조와 Sullivan의 최소 모델 사이의 등가성을 이용하여, 알gebra적 사상이 위상적 실현 가능성과 연결된다.

실험 결과

연구 질문

• RQ1 유리수 코호모로지 대수에 추가적인 대수적 구조를 부여함으로써, 1-연결된 공간의 유리수 호모토피 유형을 완전히 결정할 수 있는가?
• RQ2 유리수 코호모로지에 대해 $A_{\infty}$-대수의 구조와 유사한 교환법칙이 성립하는 동반자 구조가 존재하는가? 이는 전체적인 유리수 호모토피 유형을 포괄하는가?
• RQ3 유리수 코호모로지 대수의 준동형사상이 공간의 유리수화에 대한 연속적 사상으로 실현될 수 있는 조건은 무엇인가?
• RQ4 코호모로지에 대한 $C_{\infty}$-대수의 구조는 루프 공간의 유리수 호모토피 군과 리 코대수의 구조와 어떻게 관련이 있는가?
• RQ5 코호모로지에 대한 $C_{\infty}$-대수와 Sullivan의 최소 모델 사이의 정확한 관계는 무엇인가?

주요 결과

• 공간 $X$의 코호모로지 $C_{\infty}$-대수의 구조는 완전한 불변량이다: 두 1-연결된 공간이 같은 유리수 호모토피 유형을 가진다 하는 것과 동치로, 그들의 코호모로지 $C_{\infty}$-대수가 서로 동형임을 의미한다.
• 코호모로지 $C_{\infty}$-대수의 바 구조 $B(H^*, \{m_i\})$는 디퍼런셜 그룹화된 대수(bialgebra)를 생성하며, 이에 대해 $Q$-분해 불가능성 부분을 취하면, 유리수 코호모티피 리 코대수 $\pi^*(\Omega X, \mathbb{Q})$와 동형인 디퍼런셜 그룹화된 리 코대수를 얻는다.
• 형식적 공간 $X = S^2 \vee S^2 \vee S^5$의 경우, $QB(H^*)$에서 미분 $d = m_3$는 영이다. 반면 비형식적 공간 $Y = S^2 \vee S^2 \cup_f e^5$의 경우 $m_3$는 비영이므로, 다른 유리수 호모토피 군을 가진다: $\pi^4(X) = 2\mathbb{Q}$, $\pi^4(Y) = \mathbb{Q}$.
• 유리수 코호모로지 대수 간의 준동형사상 $G: H^*(X,\mathbb{Q}) \to H^*(Y,\mathbb{Q})$는, $g_1 = G$를 만족하는 $C_{\infty}$-준동형사상 $\{g_i\}$로 확장될 때에만, $Y_{\mathbb{Q}} \to X_{\mathbb{Q}}$의 연속적 사상으로 실현될 수 있다.
• 형식적 공간의 경우, 모든 대수적 준동형사상 $G$는 실현 가능하다. 왜냐하면 $\{G, 0, 0, \dots\}$는 유효한 $C_{\infty}$-준동형사상이기 때문이다.
• 사상 $S^5 \to Y$의 실현 불가능성은 $H^*(Y,\mathbb{Q})$에서의 비영인 $m_3$로 인해 발생하며, 이는 $C_{\infty}$-준동형사상 조건인 $G \circ m_3 = 0$을 위반하기 때문이다.