[논문 리뷰] Lie coalgebras and rational homotopy theory, I

Dev Sinha, Ben Walter|arXiv (Cornell University)|2006. 10. 13.

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

한 줄 요약

이 논문은 미분 리 코제너레이터와 리 작도의 선형 쌍대를 사용하여, 유리수 계측형의 호모로지와 단순 연결 공간의 유리수 호모토피 군 사이의 기하학적 이somorphism을 수립한다. 이는 계산 가능한 조합론적, 코homology 기반 방법을 제공하며, 정수 승수 이후의 호모토피 유형을 결정하는 데 기여한다.

ABSTRACT

We give a new, definitive answer to the basic question “how can cochain data determine rational homotopy groups? ” Moreover, we give a method for determining when two maps from S n to X are homotopic after allowing for multiplication by some integer. For example, while it is well known that the rational homotopy groups of a wedge of spheres is a free graded Lie algebra, we give a geometric recipe to determine which element of that algebra a given map would correspond to. Just as cohomology and homology are best developed in parallel, we expect that our approach to homotopy functionals should complement any study of homotopy groups modulo torsion. We build on [20], where we used an explicit model for the linear dual of the Lie operad to breathe combinatorial life into the category of differential Lie coalgebras. In this paper we use that framework to geometrically construct an isomorphism of Lie coalgebras η: H∗(E(A ∗ (X))) → Hom(π∗(X), Q). Here A ∗ (X) denotes a model for commutative rational-valued cochains on X, E is a cobar construction associated with the Lie cooperad and X is simply connected. We proceed in two steps, first using the classical bar complex to define integer-valued homotopy functionals. Here we can most efficiently establish basic properties and give examples, and we can work over the integers since only associative cochains are needed. Then we move on to our bar construction modeled

연구 동기 및 목표

• 계측형 데이터가 단순 연결 공간의 유리수 호모토피 군을 기하학적이고 계산 가능한 방식으로 결정하는 데 대한 기초적 질문을 해결한다.
• 구에서 공간으로 가는 두 사상이 정수 승수 이후에 동치가 되는지를 판단하는 방법을 제공한다.
• 코호몰로지와 호모토피 사이의 이중성을 확장하여, 계측형의 코바르 구조의 호모로지와 유리수 호모토피 군 사이에 자연스러운 이omorphism을 구성한다.
• 선형 쌍대 리 작도를 사용하여 미분 리 코제너레이터에 조합론적 구조를 도입하는 프레임워크를 개발한다.
• 명시적인 기하학적 구성에 기반하여, 대수적 위상수학과 유리수 호모토피 이론 사이의 다리를 놓는다.

제안 방법

• 리 코제너레이터와 관련된 코바르 구조 E를 사용하여, 유리수 계측형 대수 A∗(X)로부터 체인 복합체를 구성한다.
• H∗(E(A∗(X))) → Hom(π∗(X), Q)의 리 코제너레이터 사상 η를 정의하며, 이 사상이 이omorphism임을 보인다.
• 정수 위에서의 고전적 바르 복합체를 활용하여, 유리수 계수로 특수화하기 전에 정수 값을 갖는 호모토피 함수형을 정의한다.
• 미분 가속 리 코제너레이터의 프레임워크 내에서, 리 작도의 선형 쌍대를 사용하여 조합론적 제어를 확보한다.
• 두 단계로 진행한다: 첫째, 결합 대수의 계측형을 사용하여 ℤ 위에서 함수형을 정의하고, 둘째, 리 코제너레이터 이omorphism을 통해 유리수 구조로 정밀화한다.
• 코바르 구조를 통한 계측형에 대한 함수형으로서 호모토피 군을 모델링함으로써, 코호몰로지와 호모토피 사이의 이중성을 활용한다.

실험 결과

연구 질문

• RQ1 단순 연결 공간의 유리수 호모토피 군을 체계적으로 계산하기 위해 계측형 데이터를 어떻게 체계적으로 활용할 수 있는가?
• RQ2 S^n에서 X로 가는 두 사상이 정수 승수 이후에 동치가 되는 기하학적 기준은 무엇인가?
• RQ3 유리수 계측형에 대한 코바르 구조의 호모로지와 유리수 호모토피 군 사이에 자연스러운 이omorphism을 구성할 수 있는가?
• RQ4 이 맥락에서 리 작도의 선형 쌍대는 미분 리 코제너레이터에 어떻게 조합론적 구조를 제공하는가?
• RQ5 이 프레임워크는 코호몰로지적 데이터와 호모토피적 데이터를 통합함으로써 기존의 유리수 호모토피 이론을 어떻게 보완하는가?

주요 결과

• 논문은 자연스러운 리 코제너레이터 이omorphism η: H∗(E(A∗(X))) → Hom(π∗(X), Q)를 구성하여, 코호몰로지 데이터와 유리수 호모토피 군 사이의 직접적인 연결 고리를 확립한다.
• 이 이omorphism은 주어진 사상이 볼록 구조의 위상에서 어떤 자유 가환 리 대수의 원소에 대응하는지 식별하는 기하학적 조언을 제공한다.
• 이 방법은 코바르 구조에 대한 계측형 모델의 상을 분석함으로써, 정수 승수 이후의 사상의 호모토피 동치성을 판단하는 데 기여한다.
• 이 구성은 단순 연결 공간에 대해 유효하며, Q 값을 갖는 유리수 계측형의 모델 A∗(X)에 의존한다.
• 이 프레임워크는 리 작도의 선형 쌍대에 기반하여, 미분 리 코제너레이터의 범주에 조합론적 구조를 제공한다.
• 이 접근법은 유리수 호모토피 군의 자유성과 같은 고전 결과를 일반화하여, 명시적인 계산 메커니즘을 제공한다.