[论文解读] Lie coalgebras and rational homotopy theory, I

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

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 13

一句话总结

本文通过微分李余代数及李操作符的线性对偶，建立了有理系数上循环代数的cobar构造的同调与单连通空间的有理同伦群之间的几何同构。该方法提供了一种组合的、上同调基础的计算有理同伦群的方法，并可确定整数倍乘后映射的同伦类。

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

研究动机与目标

• 以几何且可计算的方式解决上循环数据如何决定有理同伦群这一基础性问题。
• 提供一种方法，用于判断从球面到空间的两个映射在乘以整数后是否同伦。
• 通过构造cobar构造的同调与有理同伦群之间的自然同构，扩展上同调与同伦之间的对偶性。
• 利用李操作符的线性对偶，构建微分李余代数的组合结构框架。
• 通过在上循环模型上进行显式几何构造，建立代数拓扑与有理同伦理论之间的桥梁。

提出的方法

• 使用与李余操作符相关的cobar构造E，从有理上循环代数A∗(X)构建链复形。
• 构造一个李余代数的同构映射η: H∗(E(A∗(X))) → Hom(π∗(X), Q)，并证明其为同构。
• 利用经典的整数上同调复形定义整数取值的同伦泛函，再特化到有理系数。
• 在微分分次李余代数的框架下，利用李操作符的线性对偶提供组合控制。
• 分两个阶段进行：首先在ℤ上通过结合上循环定义泛函；其次通过李余代数同构将其精炼为有理结构。
• 通过cobar构造将同伦群建模为上循环上的泛函，利用上同调与同伦之间的对偶性。

实验结果

研究问题

• RQ1 如何系统地利用上循环数据计算单连通空间的有理同伦群？
• RQ2 何种几何准则可判断从S^n到X的两个映射在整数倍乘后是否同伦？
• RQ3 能否在有理上循环的cobar构造的同调与有理同伦群之间构造自然同构？
• RQ4 李操作符的线性对偶在此背景下如何为微分李余代数提供组合结构？
• RQ5 该框架如何通过统一上同调与同伦数据，补充现有有理同伦理论？

主要发现

• 本文构造了一个李余代数的典范同构η: H∗(E(A∗(X))) → Hom(π∗(X), Q)，建立了上同调数据与有理同伦群之间的直接联系。
• 该同构提供了一种几何方法，用于识别对应于给定映射到球面楔和的自由分次李代数中的元素。
• 该方法允许通过分析上循环模型在cobar构造下的像，来判断映射在整数倍乘后的同伦等价性。
• 该构造适用于单连通空间，且依赖于取值为ℚ的有理上循环代数模型A∗(X)。
• 该框架基于李操作符的线性对偶，为微分李余代数范畴赋予了组合结构。
• 该方法通过提供显式计算机制，推广了经典结果（如球面楔和的有理同伦群的自由性）。