结构群的约化

✍ dations ◷ 2025-04-03 10:32:04 #流形上的结构,纤维丛,微分拓扑学,微分几何

数学中,特别是在主丛理论中,我们可问一个 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} -空间没有阻碍。在此情形分类映射是零同伦,因定义域是一个点。从而“向量空间结构群的约化”没有任何阻碍;故任何向量空间有一个定向,等等。

相关

  • 非线性物理学非线性物理学(英语:nonlinear physics)是研究各种非线性物理现象的学科。包含了物理内的各领域。所谓线性,从数学上来讲,是指方程的解满足线性叠加原理。即方程任意两个解的线
  • Sbsub2/subOsub4/sub四氧化二锑是一种无机化合物,化学式为Sb2O4。这种物质存在于黄锑矿(cervantite)中。它是白色固体但在加热时可逆的变黄。这种物质的最简式为SbO2,但被称作四氧化二锑来表明其中
  • 首尔国立大学首尔大学(朝鲜语:서울대학교/서울大學校,英语:Seoul National University)是一所位于韩国首尔的国立大学。最早的直接前身是朝鲜高宗在1895年创建的法官养成所,后来的京城法学专门
  • 弗农山芒特弗农(Mount Vernon)位于美国华盛顿州北部,是斯卡吉特县的县治,因其位处西雅图及温哥华之间的中点及要冲而形成一大聚落,不少开车往返西雅图及温哥华这两大城的通勤者会选择于
  • 体坛周报体坛周报(Titan Sports)是中国目前期发量最大的综合类体育报,总部在湖南长沙。目前旗下还有《足球周刊》、《全体育》、《高尔夫大师》和《户外》等杂志。体坛周报的编辑部现位
  • 海得拉巴 (印度)海得拉巴(英语:Hyderabad,泰卢固语:హైదరాబాదు,乌尔都语:حیدر آباد‎‎)是印度第四大城市,位于印度中部,安得拉邦和特伦甘纳邦两邦的首府,距离第五大城金奈约五百多公
  • 饮食男女 (电影)《饮食男女》(英文:)是一部于1994年出品的台湾剧情片,由李安担任导演,以及由郎雄、杨贵媚、吴倩莲和王渝文担任主演。刻划出家庭亲情及世代隔阂的电影作品。而且,本片在法国戛纳电
  • 1985年5月逝世人物列表1985年5月逝世人物列表,是用于汇总1985年5月期间逝世人物的列表。
  • 马塞洛·贝尔萨马塞洛·阿尔贝托·贝尔萨·卡尔德拉(Marcelo Alberto Bielsa Caldera,1955年7月21日-)是一名阿根廷前足球运动员,司职后卫,曾执教阿根廷国家队、智利国家队、西甲毕尔巴鄂、法甲
  • 清泉温泉坐标:24°34′29″N 121°06′19″E / 24.5746520°N 121.1052059°E / 24.5746520; 121.1052059清泉温泉位于台湾新竹县五峰乡桃山村,邻近台湾原住民泰雅族及赛夏族部落、属