论循环形式化猜想

我们提出形式化 $L_{\infty}$-态射 [K] 的循环类比的一个显式公式猜想。我们证明它的第一 Taylor 分量,即循环 Hochschild-Kostant-Rosenberg 映射,事实上是复形的一个态射(也是拟同构)。为证明此结论,我们构造了循环同调中 Connes-Tsygan 双复形的上同调版本。作为循环形式化猜想的一个应用,我们得到了循环不变形变量子化的显式公式。我们证明,(一个更精确版本的)Connes-Flato-Sternheimer 关于辛流形上闭星积存在的猜想 [CFS] 也可由我们的猜想推出。