n实验室A-无穷代数

从“A-∞代数”重定向而来。
目录

目录

想法

A类 A_\信息-代数是一个幺半群内部到同主题范畴这样结合性定律不适用于等式,而只适用于更高的等式相干的 同伦.

定义

定义

A类 A_\完整性-代数是一个运算对象上的代数超过A-∞运算.

实现

链内复合物

让我们在这里\数学{E}成为链状络合物范畴 𝒞𝒽 \马查尔{频道}_\子弹请注意,在文献中,经常会选择\数学{E}被视为默认并默认。

A类 A_\信息-链式复合体中的代数具体是以下数据。

链条A类 A_\信息-代数是一级结构共同激励

D类以下为:T型 c(c)V(V)T型 c(c)V(V)D:T^c V\至T^c V

关于约化张量余代数T型 c(c)V(V)= n个1V(V) n个T^cV=\oplus_{n\geq1}V^{otimesn}(使用标准非交换副积,请参见微分分次Hopf代数)超过梯度向量空间 V(V)V(V)这样的话

D类 2=0.D^2=0\,.

自由余代数上的码驱动完全由它们的“同系物上的值”决定,这允许分解D类D类总计:

D类=D类 1+D类 2+D类 +D=D_1+D_2+D_3+\cdots

每个D类 k个确定(_k)完全由其操作指定

D类 k个以下为:V(V) k个V(V)._k:V^{\otimes k}\到V\,.

这是一张学位地图2k个2公里(或者可以理解为地图D类 k个以下为:(V(V)[1]) k个V(V)[1]_k:(V[1])^{\times k}\到V[1]学位11).

然后:

  • D类 1以下为:V(V)V(V)D_1:V\至V差速器具有D类 1 2=0D_1^2=0;

  • D类 2以下为:V(V) 2V(V)D_2:V^{\otimes 2}\到V产品在代数中;

  • D类 以下为:V(V) V(V)D_3:V^{\otimes 3}\到V协会会员它衡量了D类 2D_2(D_2)具有关联性;

  • D类 4以下为:V(V) 4V(V)D_4:V^{\otimes 4}\到V五角大楼衡量D类 D_3(D_3)满足五角大楼的身份;

  • 等等。

也可以允许D类 0D_0(0)在这种情况下,一个人谈论弱者A类 A_\信息-代数,这是不太容易理解的。

歌剧有一个决议驴子\马特姆{Ass}结合代数(作为链复形范畴上的操纵子),称为A类 A_\信息-操作;上的代数A类 A_\信息-操作的正是A类 A_\信息-代数。

A类的态射A类 A_\信息-代数 (f)以下为:A类B类f:A\至B是一个集合{(f) n个} n个1\lbrace f_n\rbrace{n\geq 1}地图的

(f) n个以下为:(A类[1]) n个B类[1]f_n:(A[1])^{音符n}\到B[1]

学位00令人满意的

0+j个n个(f) +j个+1(1 D类 n个j个1 j个)= 1++ 第页=n个D类 第页((f) 1(f) 第页).\sum_{0\leqi+j\leqn}f_{i+j+1}循环(1^{otimesi}otimesD_{n-i-j}otimes 1^{otimesj})=\sum_{i_1+\ldots+i_r=n}D_r\circ(f_{i_1}\otimes\ldots\otimes f_{i_r})。

例如,(f) 1D类 1=D类 1(f) 1f_1循环D_1=D_1循环f_1.

整改

定理

(卡迪什维利(1980)、梅库洛夫(1999))

如果A类A类是一个dg-代数,被视为严格关联A类 A_\信息-代数,它链上同调 小时 (A类)H^\项目符号(A),视为链式复合体对于平凡的微分,自然带有A类 A_\信息-代数,直到同构为止是唯一的,并且弱等价于A类A类作为A类 A_\信息-代数。

更多详细信息请访问卡迪什维利定理.

备注

这个定理提供了大量的例子A类 A_\信息-代数:存在一个自然的A类 A_\信息-所有上同调上的代数结构,例如

等。

在拓扑空间中

A类 A_\信息-代数顶部也称为A-∞空间.

示例

循环空间通常是A-∞空间。(有关详细信息,请参阅此处。)

整改

定理

A类 A_\完整性-空格是弱同伦等价到拓扑幺半群.

这是一个经典的结果(斯塔舍夫1963,董事会成员Vogt). 作为一种特殊情况,它也适用于操作数上代数的模型结构(参见此处)。

In光谱

请参见环形谱代数谱.

(∞,1)-运算器∞-代数群像版本在里面顶部通常地
A-∞运算A-∞代数∞群A-∞空间,例如。循环空间循环空间对象
E-k操作E-k代数k-单调∞-群迭代循环空间迭代循环空间对象
E-∞运算E-∞代数阿贝尔∞群E-∞空间,如果是成组的:无限循环空间 \西马克 ∞-空间无限循环空间对象
\西马克 连接谱\西马克 连接谱对象
稳定光谱光谱对象

代数变形量化

经典场论拉格朗日量 英属维尔京群岛 量子场论可观测度的因子分解代数
一般的n个n个P-n代数BD-n代数?E-n代数
n个=0n=0泊松0-代数BD-0代数?=BD代数E-0代数?=指出空间
n个=1n=1P-1代数=泊松代数BD-1代数?E-1代数?=A-∞代数

工具书类

关于A类 A_\信息-链式复合体中的代数

经典文章A类 A_\信息-拓扑空间中的代数是

简要调查见第1.8节

1986年的论文阿兰·普劳特探索获得类似物的可能性最小模型s用于A类 A_\信息代数。它在很久以后发表在TAC上。

上次修订时间:2022年7月5日12:03:56。请参阅历史获取所有贡献的列表。