n实验室李代数体

目录

上下文

\英菲-谎言理论

∞-李理论(高等几何)

背景

平滑的结构

高等群胚

谎言理论

∞-李群胚

∞-李代数体

形式李群胚

上同调

同伦

相关主题

示例

\英菲-李群胚

\英菲-李群

\英菲-李代数体

\英菲-李代数

目录

定义

A类李代数体多对象版本李代数。它是无穷小近似于李广群.

有各种等效定义:

关于带锚点的向量束

用锚映射向量束定义

上的李代数体歧管 X(X)X(X)

  • 向量束 E类X(X)E\到X;

  • 配备Lie支架[,]:Γ(E类)Γ(E类)Γ(E类)[\cdot,\cdot]:\Gamma(E)\otimes\Gamma-(E)\to\Gamma-(E)(在地面上)其截面空间;

  • 向量丛的一个态射ρ:E类德克萨斯州\rho:E\至TX,其切线贴图保留括号:(d日ρ)([ξ,ζ] ΓE类)=[d日ρ(ξ),d日ρ(ζ)] Γ德克萨斯州(d\rho)([\xi,\zeta]_{\Gamma E})=[d\rho(\xi),d\rha(\zeta)]_{\ Gamma TX}; (但下一个属性隐含了保留括号的属性,请参见伊维特·科斯曼·施瓦茨巴赫、F.Magri、,Poisson-Nijenhuis构造《安娜·彭加雷物理研究所》(Ann.Inst.H.PoincaréPhys.)。泰戈尔。,53(1):3581, 1990.)

  • 这样莱布尼茨规则保留:全部X(X),Y(Y)Γ(E类)十、 Y\in\Gamma(E)以及所有(f)C类 (X(X))f\在C^\输入(X)中我们有

    [X(X),(f)Y(Y)]=(f)[X(X),Y(Y)]+ρ(X(X))((f))Y(Y).[X,f\cdot Y]=f\cdot[X,Y]+\rho(X)(f)\cdot Y\,.

带锚向量丛的CE代数

给定向量束的数据E类X(X)E至X带锚定图ρ如上所述,我们得到了dg-代数外代数 C类 (X(X)) Γ(E类) *\楔形^\bullet_{C^\infty(X)}\Gamma(E)^*双束光滑截面的计算公式

(d日ω)(e(电子) 0,,e(电子) n个)= σ关闭(1,n个)sgn公司(σ)ρ(e(电子) σ(0))(ω(e(电子) σ(1),,e(电子) σ(n个)))+ σ关闭(2,n个1)签名(σ)ω([e(电子) σ(0),e(电子) σ(1)],e(电子) σ(2),,e(电子) σ(n个)),(d\omega)(e_0,\cdots,e_n)= \Shuff(1,n)}sgn(\sigma)\rho(e_{\sigma(0)})中的sum_{\sigma\(ω+\Shuff(2,n-1)}符号中的sum_{sigma\(sigma)\ω([e{\sigma(0)},e{\sigma(1)}],e{\sigma(2)},\cdots,e{\sigma(n)})\,,

为所有人ω C类 (X(X)) n个Γ(E类) *\ω\in\楔形^n_{C^\infty(X)}\Gamma(E)^*(e(电子) Γ(E类))(e_i\in\Gamma(e)),其中舒夫(第页,q个)关闭(p,q)表示一组(第页,q个)(p,q)-洗牌σ\西格玛sgn公司(σ)sgn(\sigma)这个签名 {±1}\在\{\pm 1\}对应的置换.

有关详细信息,请访问Chevalley-Elenberg代数.

相反,人们发现半自由dga1度有限生成C类 (X(X))抄送(X)以这种方式出现,以便人们可以扭转这种局面:

半自由dg-代数

Chevalley–Eilenberg代数的定义

流形上的李代数体X(X)X(X)是向量束E类X(X)E至X配备学位+1派生d日d日在免费的(结束C类 (X(X))抄送(X))分级交换代数 C类 (X(X)) Γ(E类) *\楔形^\bullet_{C^\infty(X)}\Gamma(E)^*(当双打结束时C类 抄送),因此d日 2=0d^2=0.

这是为了Γ(E类)\伽马(E)满足适当的有限性条件。一般来说,大师们都知道,正确的定义是交替多线性函数的代数Γ(E类)\伽马(E)到地面场,假设特征为0。这也可以用相应余代数的线性映射来表述,余代数由Γ(E类)\伽马(E),但大师们在那些日子里没有联盟。

微分分次交换代数

总工程师(𝔤):=( C类 (X(X)) Γ(E类) *,d日)CE(\mathfrak{g}):=(\wedge ^\bullet_{C^\infty(X)}\Gamma(E)^*,d)

Chevalley-Eilenberg代数李代数体的X(X)=pt(磅)X=磅对于李代数,它简化为普通的Chevally–Eilenberg代数)。

在现有文献中,这通常被称为“计算李代数体上同调的复合体”。

将此定义与李∞-代数体,的垂直分类李代数和李代数体。

李·林哈特代数

交换Lie–Rinehart对的定义

流形上的李代数体X(X)X(X)

  • 李代数𝔤\马特拉克{g};

  • Lie模的结构𝔤\马特拉克{g}C类 (X(X))抄送(X)(即𝔤\马特拉克{g}X(X)X(X));

  • a的结构C类 (X(X))抄送(X)-模块打开𝔤\马特拉克{g}(事实上:如此𝔤\马特拉克{g}是有限生成的投影模块);

  • 使两个动作满足两个兼容性条件,这两个条件是根据通过设置获得的标准关系建模的𝔤=Γ(T型X(X))\mathfrak{g}=\Gamma(T X).

这是一个特殊情况Lie-Linehart对 (A类,𝔤)(A,\mathfrak{g})其中结合代数A类A类形式为C类 (X(X))抄送(X).

示例

  • A类李代数是点上的李代数体,X(X)=pt(磅)X=磅.

  • 这个正切李代数体

    1. 在以下给出的向量束定义中E类=T型X(X)E=T X,ρ=身份证件\rho=\mathrm{Id};

    2. 在中Chevalley-Elenberg代数定义:总工程师(T型X(X))=(Ω (X(X)),d日 德拉姆)\mathrm{CE}(TX)=(\Omega^\bullet(X),d_{deRham});

  • 作用李代数体是谎言版本的作用广群.

  • 李代数丛 E类X(X)E至X带光纤𝔤\马特拉克{g}李代数体ρ=0\ρ=0和纤维支架。特别是,对于G公司G公司具有李代数的李群𝔤\马特拉克{g}P(P)X(X)P至XG公司G公司-主束伴随丛 广告P(P):=P(P)× G公司𝔤ad P:=P\times_G\mathfrak{G}(其中𝔤\马特拉克{g}使用关联伴随表示属于G公司G公司是一束李代数。

  • 具有内射锚映射的李代数体是等价的可积分布在中切线束它们的基本流形,因此是等价的叶理他们的基本歧管。

  • 这个Atiyah Lie代数体是的李代数体Atiyah Lie广群主体束的:对于G公司G公司李群和P(P)X(X)P至XG公司G公司-主丛,向量丛(P(P)):=T型P(P)/G公司在(P):=T P/G自然继承了李代数体的结构。此外,它适合于李代数体的一个短的精确序列X(X)X(X)

    0广告P(P)(P(P))T型X(X)00\将P\广告到At(P)\广告到T X\广告到0

    被称为Atiyah层序.

  • 这个垂直切线李代数体 T型 垂直Y(Y)T型Y(Y)T型_{垂直}Y\挂钩箭头T Y平滑贴图的π:Y(Y)X(X)\圆周率:Y到X流形的是切线李代数体的子李代数体T型Y(Y)T Y轴定义如下:

    1. 在向量束透视图中E类=克尔(π *)E=克尔(\pi_*)是映射的内核束π *:T型Y(Y)T型X(X)\pi_*:T Y到T X.

    2. 在双重图像中,我们有总工程师(T型 垂直Y(Y))=Ω 垂直 (Y(Y))CE(T_{垂直}Y)=\Omega^\bullet_{vert}(Y),的qDGCA公司属于垂直微分形式。这是的商Ω (Y(Y))\欧米茄^\子弹(Y)通过那些形式的理想,这些形式在所有论证中都会消失克尔(π *)克尔(\pi_*).

  • 每个泊松流形 (X(X),π)(X,\pi)定义并由泊松李代数体 T型 *X(X)πt吨X(X)T^*X\stackrel{\pi}{\to}tX。这是一个更通用的结构的一级示例,在n-辛流形.

  • 如果E类X(X)E至X是带括号的李代数体[,][,]和锚ρ:E类德克萨斯州\rho:E\至TX然后在k个k个-第个喷气式飞机j个 k个E类X(X)j ^k E到X,调用了喷射李代数体更准确地说,如果Γ X(X)E类秒\in\Gamma_X E然后打电话过来j个 k个j^k秒中的感应截面Γ X(X)j个 k个E类\伽马射线然后在丛上有一个唯一的李代数体结构j个 k个E类X(X)j ^k E到X使以下两个属性保持不变:[j个 k个,j个 k个t吨]=j个 k个[,t吨][j^k s,j^k t]=j^k[s,t]ρ(j个 k个)=ρ()\rho(j ^k s)=\rho(s)为所有人,t吨Γ X(X)E类s、 t \ in \伽马_X E(请参见pdf格式).

  • A类BRST综合设施是一个Chevalley-Elenberg代数对应于作用广群作用于空间上的李群。

属性

谎言理论

李代数体的范围李群胚正如李代数对李群的意义一样谎言理论,其中李氏定理已推广到李代数体。

泊松几何

李代数体(视为向量丛)的fiberwiese线性对偶自然是泊松流形:的Lie-Poisson结构.

代数的 结构油化作用
岩浆岩浆岩
指出 岩浆带有内函数刚毛状的/Bishop集合
统一岩浆单一岩浆
拟群拟广群
环形线圈
半群半范畴
幺半群类别
反对合的 幺半群匕首类
结合拟群结合拟群
广群
柔性岩浆柔性岩浆
交代岩浆交替岩浆
吸收幺半群吸收类别
可消幺半群取消类别
操纵C关于-富集类别
非单位环抗体-丰富 半范畴
非结合环抗体-丰富 筛状单体
戒指环状的
非结合代数线性岩浆
非结合酉代数单作的 线性岩浆
非一致代数线性的 半范畴
结合酉代数线性范畴
C-星代数C星级
微分代数微分代数体
柔性代数灵活的 线性岩浆
替代代数可供替代的 线性岩浆
李代数李代数体
单体偏序集2位
严格单拟群?严格(2,1)-类别
严格2-群严格2-广群
严格单体范畴严格2类
单体广群(2,1)-类别
2组2-广群/二群体
单体范畴2类/二分类

工具书类

李代数体的概念是在

在代数中,李代数体的一个推广,李伪代数或李-里哈特代数/对从1950年代初开始以不同的名称被引入了十多次。阿提亚的Atiyah序列构造于1957年出版,莱因哈特的论文于1963年发表。

历史上重要的也是参考

切线李代数体.

本文建立了李代数体结构、一阶同调向量场和奇线性泊松结构之间的双射对应关系

教科书帐户

审查:

有关随机分析中使用的无限维版本,请参见

  • 雷米·莱安德烈,维纳空间上的李代数体,高级数学。物理学。2010年,艺术ID 146719,17页。MR2011j:58064

最近还有一个“hom-version”

  • Camille Laurent-Gengoux、Joana Teles、,Hom-Lie代数体,arxiv/1211.2263

上次修订时间:2024年3月26日20:15:42。请参阅历史获取所有贡献的列表。