什么是gerbe？.pdfVIP

什么是gerbe? Nigel Hitchin 代数拓扑的成就之一就是用阻碍理论的观点思考问题．它使得阻碍我们做某些事情 的对象具有某种结构，从而使我们认识到无法实现的原因．要知道能不能找到一个微分 方程的单值解，那就去看基本群的单值性表示．同样地，在代数几何里，要知道能不能找 到一个椭圆函数以P为零点，q为极点，那就去看除子群日 ( ， )中的元素P—q，这 里 代表椭圆曲线， 是 上的非零全纯函数的层． 但是，对阻碍理论的更高层次认识，将涉及到gerbe的领域．建立于19世纪的有关 Riemann面的许多理论都是利用亚纯函数和积分的周期性来讨论除子类．然而今天，我 们发现使用线丛来描述Riemann面理论要简单得多． 日 ( ， )中的元素是全纯线丛 的等价类，群结构中乘法定义为线丛的张量积，逆元定义为线丛的对偶．近代一位几何 学家发现，通过对这些对象的处理和概念化，可以使之更为简单．全纯 gerbe就是一种 几何对象，它的等价类是第2个层上同调群H0( ， )中的元素． 全纯线丛由 的开覆盖{ )连同对应的转移函数来定义，即全纯函数 g。口： n C 满足gz。=9 ，以及在三重相交上满足闭上链条件：9。卢 1g7。=1．类似地，全纯gerbe 由函数h。卢1： n n C 来定义。该函数满足指标反对称性及四重相交上的闭上 链条件．尽管按Cech上同调日。的字面定义并不是理解gerbe的最好方法，但却足以理 解以下简单的例子．假定P是 上的全纯射影丛，它定义为局部积 ×C “按转移函 数g。口粘合而成，这里9。口定义在 n 上并取值在射影线性群PGL(n+1，C)中．在 每个开集 n 上，我们可以选取一个提升 。卢使其取值在一般线性群GL(n+1，C) 中．设h。口 等于纯量矩阵 卢 1 。，这就定义了一个gerbe．该gerbe在日 ( ， )中 的上同调类就是寻找这样一个秩为n+1的向量丛的障碍，使得该向量丛 能使得在点 m∈M上的纤维 rm的射影空间恰是上面给定的射影空间． 遗憾的是，三重相交却引起了概念上的“阻碍”．通过线丛的转移函数9。卢，粘合局部 积 ×C得到一个复流形，也就是线丛的全空间．然而，gerbe却不是一个空间，因为 我们无法在三重相交上将它们粘合在一起．我们可用另一种方式来描述h。卢 ，即 n 上的线丛 。口满足一定的关系，这些关系类似于上述转移函数 卢满足的关系[2]．但这 样定义的结果就是：尽管可以取线丛的乘积和逆，但并不能象函数那样构成一个群～ 只有其等价类的集合日，(M， )才构成群．相反，这些线丛本身却属于某个范畴，特别 地，gz。=9 用同构L。口 L --。1来代替．这就产生了用范畴层，在我们这种情况也就 是广群层来描述的gerbe f11． 要想对gerbe有更具体的概念，一种方法就是脱离它在代数几何中的起源而在微分 原题： What is a Gerbe?译自：Notices of the AMS，Vo1．50(2003)，No．2，p．218—219． ． 383 ． 几何中去考虑，正如它最近出现在理论物理学中所展示的那样．现在利用复流形上的光 滑函数代替局部全纯函数^ 口 ，并假定其取值在单位复数群U(1)中．因此就有了gerbe 的酉联络概念，它由实微分1形式A 口和2形式 组成，满足 iA 口+iAz1+iA1 =^： 1dh 口1， F8一F =dAa8． 所以， H=玑 = 是一个整体闭3形式，称为联络的曲率．并且 de Rham类 [H／21r】∈H0(M，瓞)是整的，这类似于：若F是线丛上联络的曲率，那么[F／27r】就是第 一 陈类．换句话说，象这种具有联络的gerbe的等价类其实已在Cheeger—Simons的2次 微分特征理论中存在几十年了． 关于具有联络的gerbe的一个最著名例子，就是当流形M是紧致单Lie群G．G上 存在一个自然的gerbe，其联络是双不变3形式B(X， Z])的倍数，其中，B是Killing