Chern, S.-S., Topics in Differential Geometry, Institute for Advanced Study, mimeographed lecture notes, 1951.
Chern S. S. and Moser, J.K. Real hypersurfaces in complex manifolds. Acta Math. 1974, 133: 219–271. doi:10.1007/BF02392146.
Griffiths, P. and Harris, J. Principles of algebraic geometry. John Wiley and sons. 1978. ISBN 0471050598.
Kobayashi, Shoshichi and Nomizu, Katsumi. Foundations of Differential Geometry, Vol. 1. Wiley-Interscience. 1996 (New edition). ISBN 0471157333.请检查|date=中的日期值 (帮助)
Kobayashi, Shoshichi and Nomizu, Katsumi. Foundations of Differential Geometry, Vol. 2. Wiley-Interscience. 1996 (New edition). ISBN 0471157325.请检查|date=中的日期值 (帮助)
Spivak, Michael. A Comprehensive introduction to differential geometry (Volume 2). Publish or Perish. 1999. ISBN 0-914098-71-3.
Spivak, Michael. A Comprehensive introduction to differential geometry (Volume 3). Publish or Perish. 1999. ISBN 0-914098-72-1.
Wells, R.O. Differential analysis on complex manifolds. Springer-Verlag. 1973. ISBN 0-387-90419-0.
十二月 11, 2023
联络形式, 在数学, 特别是微分几何中, 一个, connection, form, 是用活动标架与微分形式的语言处理联络数据的一种方式, 历史上由埃利, 嘉当在二十世纪上半叶引入, 作为他活动标架方法的一部分, 也是其主要促进因素之一, 一般取决于标架的选取, 从而不是一个张量性对象, 在嘉当最初的工作之后, 涌现出的各种推广与重新解释, 特别地, 在一个主丛上, 一个主联络是将自然重新解释为一个张量性对象, 另一方面, 作为定义在微分流形上的微分形式与在一个抽象的主丛上相比, 有其优越性, 从而, 尽管它们不满. 在数学 特别是微分几何中 一个联络形式 connection form 是用活动标架与微分形式的语言处理联络数据的一种方式 历史上联络形式由埃利 嘉当在二十世纪上半叶引入 作为他活动标架方法的一部分 也是其主要促进因素之一 联络形式一般取决于标架的选取 从而不是一个张量性对象 在嘉当最初的工作之后 涌现出联络形式的各种推广与重新解释 特别地 在一个主丛上 一个主联络是将联络形式自然重新解释为一个张量性对象 另一方面 联络形式作为定义在微分流形上的微分形式与在一个抽象的主丛上相比 有其优越性 从而 尽管它们不满足张量性 联络形式依然被使用 因为利用它们计算相对简单 1 在物理学中 联络形式在规范理论中通过规范共变微分也广泛应用 与向量丛的每个基相伴的联络形式是微分 1 形式矩阵 联络形式没有张量性因为在基变化下 联络形式的变换涉及到转移函数的外微分 与列维 奇维塔联络的克里斯托费尔符号非常类似 一个联络形式的主要张量性不变量是其曲率形式 如果有将向量丛与切丛等价的一个焊接形式 则有另一个不变量 挠率形式 在许多情形 考虑有附加结构的向量丛上的联络形式 即带有结构群的纤维丛 目录 1 向量丛 1 1 预备 1 1 1 向量丛上的标架丛 1 1 2 外联络 1 2 联络形式 1 2 1 标架的改变 1 2 2 整体联络形式 1 3 曲率 1 4 焊接与挠率 1 5 例 列维 奇维塔联络 1 5 1 曲率 1 5 2 挠率 2 结构群 2 1 相容联络 2 2 标架的变化 3 主丛 3 1 联络形式的主联络 3 2 主联络相伴的联络形式 4 参见条目 5 脚注 6 参考文献向量丛 编辑预备 编辑 向量丛上的标架丛 编辑 设 E 是光滑流形 M 上纤维维数为 k 的一个向量丛 E 的一个局部标架是 E 的局部截面的一个有序基 令 e ea a 1 2 k 是 E 上一个局部标架 这个标架可用来表示 E 的任何局部截面 假设 3 是一个局部截面 定义在 e 的同一个开子集上 则 3 a 1 k e a 3 a e displaystyle xi sum alpha 1 k e alpha xi alpha mathbf e nbsp 其中 3a e 表示 3 在标架 e 中的分量 写成一个矩阵方程 有 3 e 3 1 e 3 2 e 3 k e e 3 e displaystyle xi mathbf e begin bmatrix xi 1 mathbf e xi 2 mathbf e vdots xi k mathbf e end bmatrix mathbf e xi mathbf e nbsp 外联络 编辑 参见 外共变导数 E 上一个联络是一类特殊的微分算子 D G E G E W 1 M displaystyle D Gamma E rightarrow Gamma E otimes Omega 1 M nbsp 这里 G 表示一个向量丛的局部截面层 W1M 是 M 上微分 1 形式 特别地 如果 v 是 E 的一个局部截面 f 是一个光滑函数 则 D f v v d f f D v displaystyle D fv v otimes df fDv nbsp 这里 df 是 f 的外导数 有时习惯于将 D 的定义延拓到任意 E 值形式 这样讲其视为 E 与整个微分形式外代数的张量积上一个微分你算子 给定一个外联络 D 满足这个相容性质 则存在 D 的惟一延拓 D G E W M G E W M displaystyle D Gamma E otimes Omega M rightarrow Gamma E otimes Omega M nbsp 使得 D v a D v a 1 deg v v d a displaystyle D v wedge alpha Dv wedge alpha 1 text deg v v wedge d alpha nbsp 这里 v 是次数为 deg v 的齐次元素 换句话说 D 是分次模 G E W M 上的一个导子 联络形式 编辑 联络形式出现在将外联络应用于一个特定的标架 e 当外联络应用于 ea 有惟一的 M 上 1 形式 k k 矩阵 wab 使得 D e a b 1 k e b w a b displaystyle De alpha sum beta 1 k e beta otimes omega alpha beta nbsp 利用联络形式 E 任何截面的外联络现在可以表示出来 假设 3 Sa ea3a 则 D 3 a 1 k D e a 3 a e a 1 k e a d 3 a e a 1 k b 1 k e b w a b 3 a e displaystyle D xi sum alpha 1 k D e alpha xi alpha mathbf e sum alpha 1 k e alpha otimes d xi alpha mathbf e sum alpha 1 k sum beta 1 k e beta otimes omega alpha beta xi alpha mathbf e nbsp 在两边取分量 D 3 e d 3 e w 3 e d w 3 e displaystyle D xi mathbf e d xi mathbf e omega xi mathbf e d omega xi mathbf e nbsp 其中 d 与 w 分别表示外导数与一个 1 形式矩阵 作用在 3 的分量上 反之 一个 1 形式矩阵 w 先天足以完全确定在 e 所定义的开子集上局部联络 标架的改变 编辑 为了将 w 延拓到一个合适的整体对象 必须检验选取 E 不同的截面时的行为 为了表明取决于 e 的选取写成 wab wab e 假设 e 是另一个局部基 则有一个可逆 k k 矩阵函数 g 使得 e e g i e e a b e b g a b displaystyle mathbf e mathbf e g quad text i e e alpha sum beta e beta g alpha beta nbsp 将外联络应用到两边 给出了 w 的变换法则 w e g g 1 d g g 1 w e g displaystyle omega mathbf e g g 1 dg g 1 omega mathbf e g nbsp 特别注意 w 不满足张量性变换 因为从一个标架到另一个标架的法则涉及到转移矩阵 g 的导数 整体联络形式 编辑 如果 Up 是 M 的一个开覆盖 且每个 Up 携有 E 的一个平凡化 ep 则利用在重叠区域上局部标架的黏合数据可以定义一个整体联络形式 具体地 M 上一个联络形式是定义在每个 Up 上的 1 形式矩阵 w ep 的一个系统 满足下列相容性条件 w e q e p 1 e q 1 d e p 1 e q e p 1 e q 1 w e p e p 1 e q displaystyle omega mathbf e q mathbf e p 1 mathbf e q 1 d mathbf e p 1 mathbf e q mathbf e p 1 mathbf e q 1 omega mathbf e p mathbf e p 1 mathbf e q nbsp 这个相同性条件特别地确保 E 的一个截面的外联络 当抽象地视为 E W1M 的一个截面时 与定义联络中基截面的选取无关 曲率 编辑 E 上一个联络形式的曲率 2 形式定义为 W e d w e w e w e displaystyle Omega mathbf e d omega mathbf e omega mathbf e wedge omega mathbf e nbsp 不像联络形式 曲率在标架的变化下表现为张量性 可以利用庞加莱引理直接验证 特别地 如果 e e g 是标架的一个变化 则曲率 2 形式变换为 W e g g 1 W e g displaystyle Omega mathbf e g g 1 Omega mathbf e g nbsp 此变换法则的一种理解如下 设 e 是对应于 e 的对偶基 则 2 形式 W e W e e displaystyle Omega mathbf e Omega mathbf e mathbf e nbsp 与标架的选取无关 特别地 W 是 M 上一个向量值 2 形式 取值于自同态环 Hom E E 用符号表示 W G W 2 M Hom E E displaystyle Omega in Gamma Omega 2 M otimes text Hom E E nbsp 使用外联络 D 曲率自同态由 W v D D v D 2 v displaystyle Omega v D Dv D 2 v nbsp 给出 对 v E 从而曲率是序列 G E D G E W 1 M D G E W 2 M D D G E W n M displaystyle Gamma E stackrel D to Gamma E otimes Omega 1 M stackrel D to Gamma E otimes Omega 2 M stackrel D to dots stackrel D to Gamma E otimes Omega n M nbsp 不能成为链复形 在德拉姆上同调的意义下 的度量 焊接与挠率 编辑 假设 E 的纤维维数 k 等于流形 M 的维数 在此情形 向量丛 E 有时带有出联络外的附加数据 一个焊接形式 英语 solder form solder form 一个焊接形式是一个整体定义的向量值 1 形式 8 G W1 M E 使得映射 8 x T x M E x displaystyle theta x T x M rightarrow E x nbsp 对所有 x M 是线性同构 如果给定了一个焊接形式 则可以定义联络的挠率为 用外联络表示 8 D 8 displaystyle Theta D theta nbsp 挠率 8 是 M 上一个 E 值 2 形式 一个焊接形式与相伴的挠率都可用 E 的一个局部标架 e 描述 如果 8 是一个焊接形式 则可分解为标架分量 8 i 8 i e e i displaystyle theta sum i theta i mathbf e e i nbsp 那么挠率的分量为 8 i e d 8 i e j w j i e 8 j e displaystyle Theta i mathbf e d theta i mathbf e sum j omega j i mathbf e wedge theta j mathbf e nbsp 与曲率一样 可以证明 8 在标架的变化与反变张量变现类似 8 i e g j g j i 8 j e displaystyle Theta i mathbf e g sum j g j i Theta j mathbf e nbsp 与标架无关的挠率可由标架分量重新得到 8 i e i 8 i e displaystyle Theta sum i e i Theta i mathbf e nbsp 例 列维 奇维塔联络 编辑 假设 M 带有一个黎曼度量 考虑 M 的切丛上的列维 奇维塔联络 2 切丛上一个局部标架是一个有序向量场 e ei i 1 2 n dim M 定义在 M 的一个开子集上 在定义域每一点上线性无关 克里斯托费尔符号定义了列维 奇维塔联络 e i e j k 1 n G i j k e e k displaystyle nabla e i e j sum k 1 n Gamma ij k mathbf e e k nbsp 如果 8 8i i 1 2 n 表示余切丛的对偶基 使得 8i ej dij 克罗内克d 则联络形式为 w i j e k G k i j e 8 k displaystyle omega i j mathbf e sum k Gamma ki j mathbf e theta k nbsp 利用联络形式 一个向量场 v Sieivi 上的外联络由 D v k e k d v k j k e k w j k e v j displaystyle Dv sum k e k otimes dv k sum j k e k otimes omega j k mathbf e v j nbsp 给出 我们可以重新得到列维 奇维塔联络 在通常的意义下 将此式与 ei 缩并 e i v D v e i k e k e i v k S j G i j k e v j displaystyle nabla e i v langle Dv e i rangle sum k e k left nabla e i v k Sigma j Gamma ij k mathbf e v j right nbsp 曲率 编辑 列维 奇维塔联络的曲率 2 形式是一个矩阵 Wij 由 W i j e d w i j e k w k j e w i k e displaystyle Omega i j mathbf e d omega i j mathbf e sum k omega k j mathbf e wedge omega i k mathbf e nbsp 给出 为了简单起见 假设标架 e 是完整的 故 d8i 0 3 使用重复指标的求和约定 则 W i j d G q i j 8 q G p k j 8 p G q i k 8 q 8 p 8 q p G q i j G p k j G q i k 1 2 8 p 8 q R p q i j displaystyle begin array ll Omega i j amp d Gamma qi j theta q Gamma pk j theta p wedge Gamma qi k theta q amp amp theta p wedge theta q left partial p Gamma qi j Gamma pk j Gamma qi k right amp amp tfrac 1 2 theta p wedge theta q R pqi j end array nbsp 其中 R 是黎曼曲率张量 挠率 编辑 列维 奇维塔联络是切丛上惟一挠率为零的度量联络 为了描述挠率 注意到向量丛 E 是切丛 这带有一个典范焊接形式 有时称为典范 1 形式 它是对应于切丛的恒同自同态的 Hom TM TM T M TM 的截面 8 在标架 e 中 焊接形式为 8 Si ei 8i 其中 8i 是对偶基 联络的挠率由 8 D 8 给出 或用焊接形式的标架分量表示为 8 i e d 8 i j w j i e 8 j displaystyle Theta i mathbf e d theta i sum j omega j i mathbf e wedge theta j nbsp 为简单起见再次假设 e 是完整的 此表达式简化为 8 i G k j i 8 k 8 j displaystyle Theta i Gamma kj i theta k wedge theta j nbsp 它等于零当且仅当 Gikj 的下指标是对称的 结构群 编辑当向量丛 E 携有一个结构群时 可以构造更特别的一类联络形式 这等于是在 E 上有与李群 G 相关的一类优先的标架 e 例如 若 E 上有一个度量 则考虑在每一点形成一个标准正交基的标架 结构群则为正交群 因为这个群保持标架的标准正交性 其它例子包括 上一节所考虑的通常标架 有结构群 GL k 其中 k 是 E 的纤维维数 一个复流形 或殆复流形 的全纯切向量丛 4 这里结构群是 GLn C GL2n R 5 若给定一个埃尔米特度量 则结构群约化为作用在酉标架上的酉群 6 带有自旋结构的流形上的旋量 标架是关于旋量空间上一个不变内积酉的 结构群约化为自旋群 CR流形上的全纯切丛 7 一般地 设给定的向量丛 E 的一个纤维维数为 k 而 G GL k 是一般线性群 Rk 的一个给定的子群 如果 ea 是 E 的一个局部标架 则一个矩阵值函数 gij M G 作用在 ea 上可产生一个标架 e a b e b g a b displaystyle e alpha sum beta e beta g alpha beta nbsp 这样两个标架是 G 相关的 非正式地讲 向量丛 E 具有 G 丛结构如果指定了一类优先的标架 它们局部都是互相 G 相关的 正式地讲 E 是一个结构群为 G 典型纤维 Rk 上有G 作为 GL k 子群的自然作用的纤维丛 相容联络 编辑 一个联络与 E 上一个 G 丛结构相容要求相伴的平行移动总将一个 G 标架映为另一个 G 标架 正式地讲 沿着一条曲线 g 下列条件局部成立 即对足够小的 t G g 0 t e a g 0 b e b g t g a b t displaystyle Gamma gamma 0 t e alpha gamma 0 sum beta e beta gamma t g alpha beta t nbsp 对某个矩阵 gab 可能与 t 有关 在 t 0 微分给出 g 0 e a b e b w a b g 0 displaystyle nabla dot gamma 0 e alpha sum beta e beta omega alpha beta dot gamma 0 nbsp 这里系数 wab 在李群 G 的李代数 g 中 由此观察 定义为 D e a a e b w a b e displaystyle De alpha sum alpha e beta otimes omega alpha beta mathbf e nbsp 的联络形式 wab 与结构相容 如果 1 形式的矩阵 wab e 取值于 g 而且相容联络的曲率形式是一个 g 值 2 形式 标架的变化 编辑 考虑标架变化 e a b e b g a b displaystyle e alpha sum beta e beta g alpha beta nbsp 这里 g 是一个定义在 M 的一个开子集上的 G 值函数 联络形式的变换法则为 w a b e g g 1 g b d g a g g 1 g b w d g e g a d displaystyle omega alpha beta mathbf e cdot g g 1 gamma beta dg alpha gamma g 1 gamma beta omega delta gamma mathbf e g alpha delta nbsp 或者使用矩阵乘积 w e g g 1 d g g 1 w g displaystyle omega mathbf e cdot g g 1 dg g 1 omega g nbsp 为了理解每一项 回忆到 g M G 是一个 G 值 局部定义 函数 这样 w e g g w g Ad g 1 w e displaystyle omega mathbf e cdot g g omega mathfrak g text Ad g 1 omega mathbf e nbsp 其中 wg 是群 G 的马尤厄 嘉当形式 这里沿着函数 g 拉回到 M 上 Ad 是 G 在其李代数上的伴随表示 主丛 编辑前文所介绍的联络形式 取决于选取一个特定的标架 在第一个定义中 标架只不过是截面的一个局部基 对每个标架 给出了一个联络形式 并有从一个标架到另一个标架的变换法则 在第二个定义中 标架自身带有由李群给出的附加结构 标架的变化限制取值于这个群 主丛的语言 由夏尔 埃雷斯曼于是十九世纪40年代最先提出 提供了将这些联络形式与联系他们变化法则组织为具有一个单独变换法则的内蕴形式 这种方法的优点是形式不在是定义在流形自身上 而是在更大的主丛上 联络形式的主联络 编辑 假设 E M 是结构群为 G 的一个向量丛 设 U 是 M 的一个开覆盖 在每个 U 上有一个 G 标架 记作 eU 在重叠的开子集上的关系为 e V e U h U V displaystyle mathbf e V mathbf e U cdot h UV nbsp 其中 hUV 是定义在 U V 上某个 G 值函数 设 FGE 是取遍 M 上每个点的所有 G 标架 这是 M 上一个主 G 丛 具体地说 利用 G 标架都是 G 相关的事实 FGE 可以实现为开覆盖集合间的黏合数据 F G E U U G displaystyle F G E left coprod U U times G right sim nbsp 这里等价关系 定义为 x g U U G x g V V G e V e U h U V and g U h U V 1 x g V displaystyle x g U in U times G sim x g V in V times G iff mathbf e V mathbf e U cdot h UV text and g U h UV 1 x g V nbsp 在 FGE 上 定义一个主 G 联络如下 在每个积 U G 上定义一个 g 值 1 形式 在重叠区域上服从等价关系 首先设 p 1 U G U p 2 U G G displaystyle pi 1 U times G to U quad pi 2 U times G to G nbsp 是投影映射 现在对一个点 x g U G 置 w x g A d g 1 p 1 w e U p 2 w g displaystyle omega x g Ad g 1 pi 1 omega mathbf e U pi 2 omega mathbf g nbsp 1 形式 w 这样构造 在重叠集合上服从转移规律 从而下降到主丛 FGE 上一个整体定义的 1 形式 可以证明 w 是一个主联络 即它再现了 G 在 FGE 上右作用的生成元 且等变交结 T FGE 上的右作用与 G 的伴随表示 主联络相伴的联络形式 编辑 反之 主 G 丛 P M 上一个主 G 联络 w 给出 M 上一族联络形式 假设 e M P 是 P 的一个局部截面 则 w 沿 e 的拉回定义了 M 上一个 g 值 1 形式 w e e w displaystyle omega mathbf e mathbf e omega nbsp 用一个 G 值函数 g 改变标架 使用莱布尼兹法则与伴随 可以发现 w e 按如下要求变化 X e g w d e g X w displaystyle langle X mathbf e cdot g omega rangle langle d mathbf e cdot g X omega rangle nbsp 这里 X 是 M 上一个向量 d 表示前推 参见条目 编辑埃雷斯曼联络 嘉当联络 仿射联络 曲率形式脚注 编辑 参见 Griffiths and Harris 1978 Wells 1980 Spivak 1999 Volume II 参见 Spivak 1999 II 7 从这个观点完整地来考虑列维 奇维塔联络 在非完整标架中 曲率的表达式更加复杂 因为导数 d8i 必须考虑进来 Wells 1973 可参见 Kobayashi and Nomizu Volume II Wells ibid 参见 Chern and Moser 参考文献 编辑Chern S S Topics in Differential Geometry Institute for Advanced Study mimeographed lecture notes 1951 Chern S S and Moser J K Real hypersurfaces in complex manifolds Acta Math 1974 133 219 271 doi 10 1007 BF02392146 Griffiths P and Harris J Principles of algebraic geometry John Wiley and sons 1978 ISBN 0471050598 Kobayashi Shoshichi and Nomizu Katsumi Foundations of Differential Geometry Vol 1 Wiley Interscience 1996 New edition ISBN 0471157333 请检查 date 中的日期值 帮助 Kobayashi Shoshichi and Nomizu Katsumi Foundations of Differential Geometry Vol 2 Wiley Interscience 1996 New edition ISBN 0471157325 请检查 date 中的日期值 帮助 Spivak Michael A Comprehensive introduction to differential geometry Volume 2 Publish or Perish 1999 ISBN 0 914098 71 3 Spivak Michael A Comprehensive introduction to differential geometry Volume 3 Publish or Perish 1999 ISBN 0 914098 72 1 Wells R O Differential analysis on complex manifolds Springer Verlag 1973 ISBN 0 387 90419 0 取自 https zh wikipedia org w index php title 联络形式 amp oldid 45293535, 维基百科,wiki,书籍,书籍,图书馆,