主题
Search

Band


固定拓扑空间 X 上的 band 由覆盖 X= union U_alpha, U_alpha subset= X 表示,并且对于每个 alpha K_alphaU_alpha 上,以及外自同构 lambda_(alphabeta):K_beta|U_(alphabeta)->K_alpha|U_(alphabeta) 满足上循环条件 lambda_(alphaalpha)=1lambda_(alphabeta)lambda_(betagamma)=lambda_(alphagamma)。这里,覆盖 {U_alpha} 限制到更精细的覆盖 {V_alpha} 应被视为定义完全相同的 band。

所有在空间 X 上关于单个覆盖 {U_alpha} 的 band 的集合具有自然的范畴结构。实际上,如果 K=(K_alpha,lambda_(alphabeta))L=(L_alpha,mu_(alphabeta)) 是关于 X 且关于 {U_alpha} 的两个 band,则同构 K->L外自同构 phi_alpha:K_alpha->L_alpha 组成,这些自同构在重叠部分兼容,使得 phi_alphalambda_(alphabeta)=mu_(alphabeta)phi_beta。所有此类 band 及其同构的集合构成一个范畴。

band 的概念对于研究 (Moerdijk) 至关重要。特别是,对于 G拓扑空间 X 上,可以选择 X= union U_alpha开覆盖 X 通过 子集 U_alpha subset= X,并且对于每个 alpha对象 a_alpha in G(U_alpha) 它们共同构成 Aut__(a_alpha)U_alpha 上。然后可以考虑任何两个 同构 lambda_(alphabeta) 之间的集合, Aut__(a_alpha)Aut__(a_beta),这形成良好定义外自同构集合。

在一些文献中,使用了的替代定义,从而导致了 band 的更具体的定义。例如,某些 G 的关联 band 有时被假定为李群 A_X (Brylinski 1993),尽管这种假设似乎比较少见。


参见

Category, Cover, Gerbe, Isomorphism, Lie Group, Outer Automorphism, Sheaf, Topological Space

本条目由 Christopher Stover 贡献

使用 探索

参考文献

Brylinski, J. Loop Spaces, Characteristic Classes, and Geometric Quantization. 波士顿,马萨诸塞州:Birkhäuser,1993 年。Moerdijk, I. "《Stacks and Gerbes 语言导论》." 2002. http://arxiv.org/abs/math/0212266.

请引用为

Stover, Christopher. "Band." 来自 Web 资源,由 Eric W. Weisstein 创建. https://mathworld.net.cn/Band.html

主题分类