×

一般空间上的更高字符串拓扑。 (英语) Zbl 1103.55008号

设(X)是有限维单纯形复形,对于球面的某些三角剖分,单纯形嵌入在球面中。作者在\(X\)上构造了一个参数化谱\(SX\),推广了Poincaré对偶空间的Spivak球丛的构造,并构造了一个谱\(\text{Maps}(S^k,X)^{SX}),使得对于\(k\geq1\),\(C_*(\text{Maps}(S^k,X)^{SX})\)自然等同于一个\({\mathcal C}_{k+1}\)-链复形范畴中的代数。这里,(C_*)表示域中系数为的链式复合体,({mathcal C}_k)表示未加框的小圆盘。证明这一结果的方法表明,(C_*(text{Maps}(S^k,X)^{SX})自然等价于({mathcalC}_k\)代数范畴中的Hochschild复形。这个结果给出了M.Chas和D.Sullivan在其关于弦拓扑的开创性论文中定义的Gerstenhaber代数的一个广义类比。
在最后一节中,作者将她的结果与Ginzburg-Kapranov-Koszul对偶性联系起来。

MSC公司:

55页48 代数拓扑中的循环空间机器和操作
16E40型 环和结合代数的(Co)同调性(例如,Hochschild、循环、二面体等)
55号45 同调和上同调中的乘积和交集
18D50型 运营(MSC2010)
PDF格式BibTeX公司 XML格式引用