[논문 리뷰] LIE-HOPF ALGEBRAS AND LOOP HOMOLOGY OF SUSPENSION SPACES

Victor Matveevich Buchstaber|arXiv (Cornell University)|2010. 11. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 1

한 줄 요약

이 논문은 위상공간 X에 대한 새로운 호모토피 불변량을 제안한다. 이는 정수 ℤ 위에서 순환공간 호모로지 H∗(ΩΣX; ℤ)의 동형류로 정의되며, 이는 헉프 대수이다. 이 불변량은 정확히 이 헉프 대수가 리-허프프 대수(즉, 원시적으로 생성된 대수)와 동형일 때만 자명해지며, 어떤 공간 Y에 대해 ΣX ≃ Σ²Y 라는 호모토피 동치가 존재하지 않음을 막는 장벽이 된다.

ABSTRACT

ABSTRACT. For an arbitrary topological space X, the loop space homology H∗(ΩΣX; Z) is a Hopf algebra. We introduce a new homotopy invariant of a topological space X taking for its value the isomorphism class (over the integers) of the Hopf algebra H∗(ΩΣX; Z). This invariant is trivial if and only if the Hopf algebra H∗(ΩΣX; Z) is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given X these invariants are obstructions to the existence of a homotopy equivalence ΣX ≃ Σ 2 Y for some space Y. We further investigate relations between this new invariant and well known classical invariants and constructions in homotopy theory. 1.

연구 동기 및 목표

• 정수 ℤ 위에서 순환공간 호모로지 H∗(ΩΣX; ℤ)의 동형류를 이용하여 위상공간에 대한 새로운 호모토피 불변량을 정의한다.
• 이 불변량이 자명해지는 조건을 규명한다. 즉, 헉프 대수 H∗(ΩΣX; ℤ)가 리-허프프 대수와 동형일 때를 말한다.
• 이 불변량이 어떤 공간 Y에 대해 ΣX ≃ Σ²Y 라는 호모토피 동치가 존재하지 않음을 막는다는 것을 증명한다.
• 이 새로운 불변량을 호모토피 이론에서의 고전적 불변량들과의 관계를 통해 연결한다.

제안 방법

• 논문은 임의의 위상공간 X에 대해 H∗(ΩΣX; ℤ)의 헉프 대수적 구조를 연구한다.
• 이 불변량을 정수 ℤ 위에서 이 헉프 대수의 동형류로 정의한다.
• 이 불변량의 자명성 조건을 원시적으로 생성된 성질을 통해 규명한다. 즉, 리-허프프 대수와의 동형성으로서 정의된다.
• 대수적 및 호모토피 기법을 사용하여 이 불변량이 스펙트럼 공간의 분해 존재성과 연결됨을 분석한다.
• 이 불변량과 호모토피 이론에서 기존에 알려진 불변량들(예: 스펙트럼 수열이나 코homology 작용소로부터 유도된 것들) 간의 관계를 조사한다.
• 기존의 헉프 대수와 순환공간 이론의 결과를 응용하여 ΣX에 대한 구조적 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 정수 ℤ 위에서 헉프 대수 H∗(ΩΣX; ℤ)가 언제 리-허프프 대수와 동형이 되며, 이는 공간 X에 대해 어떤 의미를 갖는가?
• RQ2 H∗(ΩΣX; ℤ)의 동형류가 어떤 공간 Y에 대해 ΣX가 Σ²Y와 호모토피 동치일 수 없도록 막는 방식은 어떻게 되는가?
• RQ3 이 새로운 불변량과 호모토피 이론에서의 고전적 불변량들(예: 코homology나 호모토피 군으로부터 유도된 것들) 간의 관계는 어떠한가?
• RQ4 어떤 경우에 헉프 대수 H∗(ΩΣX; ℤ)가 원시적으로 생성되지 않으며, 이는 공간 X의 호모토피 유형에 대해 어떤 의미를 갖는가?
• RQ5 이 불변량을 사용하여 스펙트럼 공간의 서로 다른 호모토피 유형을 어떻게 구별할 수 있는가?

주요 결과

• 이 불변량은 정확히 헉프 대수 H∗(ΩΣX; ℤ)가 리-허프프 대수와 동형일 때만 자명해진다. 즉, 원시적으로 생성된 경우이다.
• 이 불변량은 어떤 공간 Y에 대해서도 ΣX ≃ Σ²Y 라는 호모토피 동치가 존재하지 않음을 막는다.
• 임의의 위상공간 X에 대해 헉프 대수 H∗(ΩΣX; ℤ)는 항상 헉프 대수이다.
• 이 불변량은 스펙트럼 공간의 호모토피 유형을 연구하는 데 새로운 대수적 도구를 제공한다.
• 이 구성은 고전적 불변량들만으로는 드러나지 않는 순환공간 호모로지의 구조적 제약 조건을 드러낸다.
• 논문은 헉프 대수의 대수적 성질과 스펙트럼 분해의 기하적 실현 가능성 사이의 연결 고리를 확립한다.