结构群的约化

✍ dations ◷ 2025-08-26 20:27:59 #流形上的结构,纤维丛,微分拓扑学,微分几何

数学中,特别是在主丛理论中,我们可问一个 G {\displaystyle G} -丛 与映射 → (不必是包含),结构群的约化(从 到 )是一个 -丛 B H {\displaystyle B_{H}}

注意到这不一定存在,如果存在也不必惟一。

作为一个实例,每个偶数维实向量空间是一个复向量空间的背景实空间:它有一个线性复结构。一个实向量空间有一个殆复结构当且仅当它是一个复向量丛的背景实丛。这是沿着包含 (,C) → (2,R) 的一个约化。

用转移映射的术语来说,一个 -丛可以约化当且仅当转移映射可以取值于 。注意术语约化可能有误导性:它暗示 是 的一个子群,这是通常的情形,但不是必须的(比如自旋流形):更准确的说法是一个提升。

更抽象地,“ 上 -丛”是 的一个函子:给定一个映射 → ,诱导一个从 -丛到 -丛的一个映射(见上)。-丛 结构群的约化选择一个 -丛使其像是 。

从 -丛到 -丛的包含映射一般不是满的也不是单的,故结构群不是总能约化,且如果可以时,约化也不必是惟一的。例如,不是每个流形是定向的,而可定向的流形恰有两个定向。

如果 是 的一个子李群,则在 -丛 到 的约化与 商去由 的作用得到的纤维丛 / 之整体截面之间有一个一一对应。具体地,纤维化 → / 是 / 上一个主 -丛。如果 σ : → / 是一个截面,则拉回丛 H = σ−1 是 的一个约化。

向量丛的一些例子,特别是一个流形的切丛]]:

许多几何结构强于 -结构;它们是具有一个可积性条件的 -结构。从而这样一个结构要求一个结构群的约化(可能有阻碍,见下),但这不是充足的。这样的例子包括复结构、辛结构(相对于殆复结构与殆辛结构)。

另一个例子关于叶状结构,这要求将切丛结构群约化为一个分块矩阵,以及一个可积性条件,于是便可用弗罗贝尼乌斯定理。

-丛由分类空间 分类,类似的 -丛由分类空间 分类,一个 -丛上的诱导 -结构对应于包含映射 B H B G {\displaystyle BH\to BG} -丛,结构群的约化之阻碍是 ξ {\displaystyle \xi } 作为一个到上纤维 B G / B H {\displaystyle BG/BH} 映射的类;结构群可以约化当且仅当 ξ ¯ {\displaystyle {\bar {\xi }}} 所在的类是零同伦的。

H G {\displaystyle H\to G} 是同伦等价的,上纤维可缩,从而结构群的约化没有阻碍,例如 O ( n ) G L ( n ) {\displaystyle O(n)\to GL(n)}

反之,由平凡群包含 e G {\displaystyle e\to G} 诱导的上纤维还是 B G {\displaystyle BG} ,故绝对平行(丛的平凡化)的阻碍是丛的类。

作为一个简单的例子,视一个 G {\displaystyle G} -空间为一点上的 G {\displaystyle G} -丛,将一个 G {\displaystyle G} -空间约化为 H {\displaystyle H} -空间没有阻碍。在此情形分类映射是零同伦,因定义域是一个点。从而“向量空间结构群的约化”没有任何阻碍;故任何向量空间有一个定向,等等。

相关

  • 唇颚裂唇裂与颚裂(英语:Cleft lip and cleft palate),常被合称为唇颚裂,是一系列包含唇裂(CL)、颚裂(CP)、或二者皆有的疾病(CLP)。唇颚裂常包含上颚裂到鼻腔,甚至裂到耳朵都有可能;裂口可能发
  • 成人史迪尔氏综合征成人史迪尔氏病(英语:adult-onset Still's disease,缩写为 AOSD)是史迪尔氏病(英语:Systemic-onset juvenile idiopathic arthritis)的其中一种类型,是一种罕见的全身发炎(英语:System
  • 空中客车集团空客集团,正式名称为空客欧洲股份公司(英语:Airbus SE)是一家由欧洲多国政府所合资、专营航空器与航天器之开发及销售的综合企业。注册于荷兰莱顿、总部位于法国图鲁兹,旗下企业
  • 托马斯·金凯德第二次世界大战托马斯·卡森·金凯德(英文:Thomas Cassin Kinkaid,1888年4月3日-1972年11月17日)是一名美国海军上将。在第二次世界大战中,金凯德担任过西南太平洋战区盟军海军指
  • 四氯化镤四氯化镤是无机化合物,是一种镤卤化物,由镤和氯组成,具有放射性,化学式为PaCl4,是黄绿色晶体,为四方晶系结构的晶体。其他镤卤化物有:五氯化镤、四溴化镤、五溴化镤、五碘化镤、四
  • 行为免疫系统行为免疫系统指人类和动物的一种心理机制,会检测所在环境中拥有致病寄生虫的物体或生物的潜在存在,并避免与之接触。有理论指出,这种机制是避免致病病原体的基本防线。此机制包
  • 杰瑞·巴克杰诺德·路易斯·巴克(Jerrold Lewis Bock,1928年11月23日-2010年11月3日),小名杰瑞·巴克(Jerry Bock),生于康乃狄克州纽哈芬,为美国著名音乐剧作曲家。1965年以音乐剧屋顶上的提琴
  • ACM学生研究竞赛ACM学生研究竞赛(英语:ACM Student Research Competition)是美国计算机学会(Association for Computing Machinery,ACM)主办的一项学生参与的研究型竞赛,由微软研究院赞助。其知名
  • 诗琳通公主国王陛下 王后陛下​王太后陛下玛哈·扎克里·诗琳通公主殿下(泰语:สมเด็จพระกนิษฐาธิราชเจ้า กรมสมเด็จพระเทพรัตนราชสุด
  • 化学钟化学钟(英语:Chemical clock),又称秒表反应或化学振荡,是指远离平衡态的化学反应体系,在开放条件下并不趋向稳定,而是围绕稳态以时间为横坐标,中间物浓度出现有节律的极大值或极小值