[논문 리뷰] Lie coalgebras and rational homotopy theory II: Hopf invariants

Dev Sinha, Ben Walter|arXiv (Cornell University)|2008. 09. 29.

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

한 줄 요약

이 논문은 라이의 코제너레이터와 유리수 코호몰로지 계수를 사용하여 구성 쌍함수를 통해 호프 불변량을 명시적으로 계산함으로써, 그래프 코대수 모델의 호몰로지와 유리수 호모토피 군 사이의 기하학적으로 의미 있는 동형사상을 도입한다. 이는 화이트헤드 곱의 직접적이고 조합론적인 실현을 제공하며, 고전적 연결 불변량과 연결지어 유리수 호모토피 이론과 코즈울-무어 dualit의 통합을 그래픽적 표현을 통해 이룬다.

ABSTRACT

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory and Koszul-Moore duality. Geometrically, we show that homotopy groups are rationally given by "generalized linking/intersection invariants" of cochain data. 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 applications, we investigate wedges of spheres and homogeneous spaces (where homotopy is given by classical linking numbers), and configuration spaces (where homotopy is given by generalized linking numbers); also we propose a generalization of the Hopf invariant one question.

연구 동기 및 목표

• 그래프 코대수 모델의 호몰로지와 유리수 호모토피 군 사이의 명시적이고 기하학적으로 의미 있는 동형사상 구축.
• 유리수 코호몰로지와 라이의 코제너레이터를 사용하여 호프 불변량에 대한 직접적인 공식을 구성함으로써 '호모토피 주기' 문제 해결.
• 유리수 호모토피 이론의 퀼렌 이론과 코즈울-무어 dualit를 그래픽적 표현을 통해 통합.
• 화이트헤드와 다른 이론가들이 제시한 고전적 호프 불변량 공식을 구성 쌍함수를 통해 반복 화이트헤드 곱으로 확장.
• 균일한 공간의 유리수 호모토플리 군이 고전적 연결 수로 감지됨을 보여줌.

제안 방법

• 결합 코호몰로지에서의 순환체에 대한 평가를 통해, 결합 대수의 바 복합체를 사용하여 정수 계수 호모토플리 함수를 정의.
• 교환 법칙 코호몰로지를 사용하고 유리수 계수를 적용하여 하르티언 복합체를 통한 라이의 코제너레이터 모델 정의.
• 차수를 가진 라이의 코제너레이터 대수의 기하학적 표현을 통해 미분 복합체의 라이의 코제너레이터 대수의 구조를 모델링하고, 명시적 계산 가능하게 함.
• 바 복합체 내의 곱-코곱 공식을 수립하여 코즈울-무어 이론이 예측한 이중성에 따라 내림내림.
• 자유 라이의 대수와 코제너레이터 사이의 구성 쌍함수를 사용하여 반복 화이트헤드 곱에서의 호프 불변량 계산.
• 호프 불변량을 구성 공간의 코호몰로지 클래스와 연결하여, 이들이 오페라/코오퍼레이터 쌍 (Lie, Eil) 내의 그래프에 대응함을 보여줌.

실험 결과

연구 질문

• RQ1 그래프 코대수 모델의 호몰로지와 유리수 호모토플리 군 사이에 명시적이고 기하학적으로 의미 있는 동형사상을 어떻게 구성할 수 있는가?
• RQ2 반복 화이트헤드 곱의 맥락에서 호프 불변량과 구성 쌍함수 사이의 정확한 관계는 무엇인가?
• RQ3 고전적 연결 불변량과 균일 공간의 유리수 호모토플리 군은 새로운 호프 불변량 구성에 의해 어떻게 연결되는가?
• RQ4 새로운 호프 불변량은 고전적 화이트헤드 및 허플리거-술리바인 불변량을 어떻게 일반화하는가?
• RQ5 하르티언 복합체의 그래픽적 표현은 어떻게 자립적이고 조합론적인 유리수 호모토플리 이론의 발전을 가능하게 하는가?

주요 결과

• 논문은 단순 연결된 $X$에 대해 $\eta: H_{*-1}({\mathcal{E}}(A^{*}(X))) \to \mathrm{Hom}(\pi_{*}(X), \mathbb{Q}) $라는 새로운 동형사상을 구성하여, 라이의 코제너레이터와 유리수 호모토플리 군 사이의 직접적인 연결 고리를 제공한다.
• 반복 화이트헤드 곱에서의 호프 불변량은 자유 라이의 대수와 코제너레이터 사이의 구성 쌍함수를 통해 계산되며, 이는 자유 라이의 대수 내의 대응 원소를 식별하는 기하학적 알고리즘을 제공한다.
• 새로운 호프 불변량은 허루에비치 준동형사상 이후 구성 공간 코호몰로지에 대한 평가와 일치하며, 이는 그 조합론적 구조를 설명한다.
• 이 구성은 균일 공간의 유리수 호모토플리 군이 고전적 연결 수로 감지됨을 보여주며, 기존 결과를 일반화한다.
• 이 방법은 모든 이러한 호프 불변량이 본질적으로 일반화된 연결 불변량임을 드러내며, 다양한 고전적 구성들을 하나의 프레임워크 아래 통합한다.
• 이 방법은 그래프 코대수를 통한 자립적이고 조합론적인 코즈울-무어 이중성의 실현을 제공하며, 비단순 연결 공간으로의 일반화 가능성도 지닌다.