[论文解读] Lie coalgebras and rational homotopy theory II: Hopf invariants

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

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

一句话总结

本文通过配置配对与图余代数，引入了一种新的、具有几何意义的同构关系，将图余代数模型的同调与有理同伦群联系起来，利用李余代数和有理上链复形显式计算霍普夫不变量。该研究直接实现了怀特黑德积的组合化表示，并将其与经典 linking 不变量联系起来，通过一种新颖的哈里森复形图示化方法，统一了有理同伦理论与科祖尔-莫尔对偶性。

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.

研究动机与目标

• 为图余代数模型的同调与有理同伦群之间提供一种显式且具有几何意义的同构关系。
• 通过有理上链复形与李余代数，构建霍普夫不变量的直接公式，以解决“同伦周期”问题。
• 通过哈里森复形的图示化表达，统一奎伦的有理同伦理论与科祖尔-莫尔对偶性。
• 通过配置配对，将怀特黑德的经典霍普夫不变量公式及其推广形式扩展至迭代怀特黑德积。
• 证明齐性空间的有理同伦群可通过经典 linking 数被检测到。

提出的方法

• 使用结合上链复形的巴复形，通过在循环空间上同调上的求值，定义整数值同伦泛函。
• 转换为交换上链复形与有理系数，通过哈里森复形定义李余代数模型。
• 采用图余代数表示法来建模微分分次李余代数结构，从而实现显式计算。
• 在巴复形中建立乘积-余乘积公式，该公式可下降至科祖尔-莫尔理论所预测的对偶性。
• 利用自由李代数与自由李余代数之间的配置配对，计算迭代怀特黑德积上的霍普夫不变量。
• 将霍普夫不变量与配置空间上同调类相关联，表明其对应于操作/余操作对 (Lie, Eil) 中的图。

实验结果

研究问题

• RQ1 如何构造图余代数模型的同调与有理同伦群之间显式且具有几何意义的同构关系？
• RQ2 在迭代怀特黑德积的背景下，霍普夫不变量与配置配对之间的精确关系是什么？
• RQ3 经典 linking 不变量与齐性空间的有理同伦群，通过新霍普夫不变量构造，其关系如何？
• RQ4 新霍普夫不变量在何种意义上推广了经典的怀特黑德与黑夫勒格-沙利文不变量？
• RQ5 哈里森复形的图示化表达如何实现有理同伦理论的自包含、组合化发展？

主要发现

• 本文为单连通空间 $X$ 构造了一个新同构 $\eta: H_{*-1}({\mathcal{E}}(A^{*}(X))) \to \mathrm{Hom}(\pi_{*}(X), \mathbb{Q}) $，建立了李余代数与有理同伦群之间的直接联系。
• 通过自由李代数与自由李余代数之间的配置配对，显式计算了迭代怀特黑德积上的霍普夫不变量，提供了一种几何算法，用于识别自由李代数中对应的元素。
• 新霍普夫不变量与胡雷维奇同态后对配置空间上同调类的求值一致，解释了其组合结构。
• 该构造表明，齐性空间的有理同伦群可通过经典 linking 数被检测到，推广了已知结果。
• 该方法揭示，所有此类霍普夫不变量本质上均为广义 linking 不变量，将多种经典构造统一于单一框架之下。
• 该方法通过图余代数实现了科祖尔-莫尔对偶性的自包含、组合化实现，具有推广至非单连通空间的潜力。