关于截断基本群环的动机描述

Deligne-Goncharov 的一篇论文中出现了一个拓扑定理（他们将其归功于 Beilinson），其陈述如下：设 $(X,*)$ 为具有合理拓扑的路径连通带基点空间，并记 $I$ 为其基本群环的增广理想。那么对于任意域 F 和正整数 n，$I/I^{n+1}$ 上的 F 值线性形式空间自然同构于 $H^n(X^n,X(n,*); F)$，其中 $X(n,*)$ 是 $X^n$ 的一个明确定义的子空间。我们在此构建了 $I/I^{n+1}$ 与 $H_n(X^n,X(n,*); \mathbf{Z})$ 之间的简单同构，并用这些术语表达了定义 $(X,*)$ 基本群环的 $I$-进完备上 Hopf 代数结构的映射。