话题
搜索

波段


固定带上的带子拓扑空间 X(X) X=并集U_α,U_alpha子集=X,对于每个阿尔法,一个属于 卡拉帕阿尔法(_A)随着外自同构 λ_(α-β):K_β|U_(α-β)->K_α|U_(α-β)满足自行车条件λ_(αα)=1λ(αβ)λ(β)=λ(γ).给,保险范围的限制{乌尔巴赫}更精细的覆盖{V_alpha}应视为定义了完全相同的频带。

空间上所有波段的集合X(X)关于一个人 {乌尔巴赫}有一种天然的类别结构。的确,如果K=(K_alpha,λ_(αβ))L=(L_α,mu_(αβ))是两个乐队结束X(X)关于{乌尔巴赫},然后是同构 K->L包括外面的自同构 phi_alpha:K_alpha->L_alpha重叠处兼容,以便phi_alphalambda(alphabeta)=mu(alphabeta)phi_beta.所有这些带的集合及其同构形成了一个范畴。

波段的概念对研究格贝(莫尔迪克)。特别是对于gerbe克超过拓扑空间 X(X),可以选择打开 X=接头U_alpha属于X(X)通过打开 子集 U_α子集=X,对于每个阿尔法,一个对象 G中的a_alpha(U_alpha)它们一起形成一个属于 Aut__(阿尔法)阿尔法(_A)。然后可以考虑收集 同构 λ(α-β)在任意两个之间 Aut__(阿尔法)辅助_(a _ beta)形成了一个集合定义明确的 外自同构.

在一些文献中格贝使用,从而产生更具体的频带定义。例如,一些格贝 克有时被假定为属于李群 A_X(_X)(Brylinski 1993),尽管这些假设似乎有些罕见。


另请参见

类别,封面,热尔布,同构,李群,外部自同构,护套,拓扑空间

此条目由贡献克里斯托弗斯托弗

与Wolfram一起探索| Alpha

工具书类

J·布莱林斯基。循环空间、特征类和几何量化。马萨诸塞州波士顿:Birkhäuser,1993斯塔克斯和格布斯语言导论2002http://arxiv.org/abs/math/021266.

引用如下:

克里斯托弗·斯托弗.“乐队。”来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/Band.html

主题分类