话题
搜索

热尔布


数学中至少有两个密切相关但有些不同的名词概念。

对于固定拓扑空间 X(X)上了gerbeX(X)可以引用群胚堆栈 G公司X(X)满足属性

1X=并集{U:G(U)!=空集}对于子集 U子集=X 打开,

2.给定物体 a、 G(U)中的b,任何指向 x(单位:U)有一个邻里 V子集=U至少有同构 a|V->b|V在里面G(V).

第二个定义是由Giraud提出的(Brylinski 1993)。给定一个歧管 X(X)和a李群 A类,一个gerbeG公司具有乐队 A__X公司是一个属于群胚结束X(X)满足以下三个属性:

1.给定任何对象 Q=(Q:Q->Y,α)属于C(f:Y->X),的 Aut__(Q)属于自同构属于对象是一个属于Y(Y)哪个是本地 同构的 A___年属于光滑的 A类-值函数。这样一个地方的 同构 α:Aut__(Q)->A__Y在以下情况下是唯一的内部的自同构属于A类.

2.给定两个物体 问题_1问题2属于C(f:Y->X),存在一个满腹经纶的 地方的 同胚 g: Z->Y这样的话g^(-1)Q_1g^(-1)Q_2同构的.英寸特别是,问题_1问题2本地 同构的.

3.存在满腹经纶的 地方的 同胚 f: Y->X这样类别 C(f:Y->X)非空。

显然,gerbe的概念乐队是第二个定义的基础;尽管没有明确提及乐队gerbe的G公司第一个定义的定义也很重要(Moerdijk 2002)。据Brylinski称,gerbes的乐队 A__X公司对应于李群 A类重要的是它们能产生至2级上同调 在里面H^2(X,A__xx)Giraud利用的事实在他的研究中非阿贝尔的2度上同调.


另请参见

自同构,波段,类别,上同调,,团块,同胚现象,同构,李群,形态主义,非阿贝良,护套,群胚堆栈,拓扑空间

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

与Wolfram一起探索| Alpha

工具书类

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

引用如下:

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

主题分类