本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 11.1 不变多项式与陈-韦伊同态

上一章中,我们在主丛上引入了局部规范势(local gauge potential) 与场强 。我们已经证明,这些几何对象同样描述相伴向量丛。由于联络的集合 刻画了纤维丛的扭曲,主丛的非平凡性也为其相伴丛所共有。事实上,若把 (10.57) 用作向量丛中局部联络的定义,那么即使不借助最初与之相伴的主丛,也能定义它。后面我们会遇到必须使用向量丛的情形(惠特尼和丛、分裂原理等)。

出处:11.1 不变多项式与陈-韦伊同态 · node a-d7b9870c1431b2239bbb0325 · 源节点 SHA-256 be2623c71a2ec623…