马尤厄-嘉当形式

✍ dations ◷ 2025-07-11 08:03:18 #李群,方程,微分几何

数学上,一个李群的Maurer-Cartan形式是一个特别的微分形式,它包含关于这个李群的结构的基本的无穷小信息。它被埃里·嘉当多次使用,作为他的移动标架法的基本组成。

g = T e G {\displaystyle g=T_{e}G} 的李括号。(这可以作为上的李括号的定义。)这些事实可以用来建立李代数的同构

根据微分的定义,若X和Y为任意向量场,则

实用上,若X和Y为左移不变,则

所以

但是左边只是一个2-形式(其值只和X,Y在一点的取值有关,所以跟X,Y作为场在周围的变化无关),所以方程不依赖于X和Y是左移不变的条件。所以这个方程对所有向量场X和Y成立。这被称为Maurer-Cartan方程.

如果G嵌入到GL(n,R),则可以把 ω {\displaystyle \omega } 的公式显式的写成

若我们在李群G上引入主丛,并把G上的左作用定义为变换函数,则联络形式 A = ω {\displaystyle A=\omega } 是平坦的。实际上

和Maurer-Cartan方程完全一致。

相关

  • 布尔函数在数学中,布尔函数(Boolean function)描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在
  • 2,5-二甲氧基-4-溴苯乙胺2,5-二甲氧基-4-溴苯乙胺(2,5-dimethoxy-4-bromophenethylamine,2C-B),一种隶属2C-X家族(英语:2C's)的致幻剂,由Alexander Shulgin于1974年合成,其制备与应用剂量(12-24mg)在PiHKAL一书
  • 绅士
  • 木雅语木雅语(məɲɑsu,藏语:mi nyag skad),是汉藏语系羌语支的一种语言,分布在四川省甘孜藏族自治州康定县的朋布(phur bu)、沙德(gsar sde)、宜代(vjig rten)、六巴(klu pa)四个乡和九龙县的
  • 桑格雷克里斯托山脉桑格雷克里斯托山脉(西班牙语:Sangre de Cristo Mountains,指“基督的血”)是洛矶山脉最南端的一支子脉,位于美国科罗拉多州南部、新墨西哥州北部地区。桑格雷克里斯托山脉从中南
  • 察津察津(Cazin)是波黑东北部的一座城市。在行政区划上属波黑联邦。
  • 莫泰君多山Serra de Montejunto是葡萄牙30个自然保护区中的一个。生物多样性是这里特色,是观赏蝴蝶,蜻蜓和当地植被的基地。从这里开始,我们可以沿着一条环形路线开始,将我们从地中海森林
  • 权益证明持有量证明(又称权益证明, Proof-of-stake, PoS)是共识机制的一种。以共识算法的方式,使用伪随机数的方式指定持有货币的人为交易的验证者,并创造新的区块并接续在最长的链后
  • 蓝道夫·凯迪克蓝道夫·凯迪克(Randolph Caldecott /ˈkɔːldəˌkɑːt/;1846年3月22日-1886年2月12日)是一位英格兰插画家,凯迪克奖就是为了纪念他而建立的。他给童书绘制的插画对同期的许多
  • 黑田清辉黑田清辉(くろだ せいき、1866年8月9日-1924年7月15日)是日本画家、政治家。位阶是从三位。勋等是勋二等。爵位是子爵。通称新太郎(しんたろう)。黑田清辉曾担任东京美术学校教授