arXiv math/04033402004-03math.QAmath.ACmath.AGmath.AT

A proof of a cyclic version of Deligne's conjecture via Cacti

Ralph M. Kaufmann

备注：: 20 pages, LaTex. New version with more expository text

英文摘要：

In this note, we show that the normalized Hochschild co--chains of an associative algebra with a non--degenerate, symmetric, invariant inner product are an algebra over a chain model of the framed little discs operad which is given by cacti. In particular, in this sense they are a BV algebra up to homotopy and the Hochschild cohomology of such an algebra is a BV algebra whose induced bracket coincides with Gerstenhaber's bracket. To show this, we use a cellular chain model for the framed little disc operad in terms of normalized cacti. This model is given by tensoring our chain model for the little discs operad in terms of spineless cacti with natural chain models for $(S^1)^{\times n}$ adapted to cacti.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On Spineless Cacti, Deligne's Conjecture and Connes--Kreimer's Hopf Algebra

Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.

2006-10-25math.ATmath.GTmath.QA

The topological cyclic Deligne conjecture

Let O be a cyclic topological operad with multiplication. In the framework of the cosimplicial machinery by McClure and Smith, we prove that the totalization of the cosimplicial space associated to O has an action of an operad equivalent to the framed little 2-discs operad.

2010-10-15math.ATmath.QA

Operations on Cyclic Homology, the X Complex, and a Conjecture of Deligne

The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.

1998-11-08math.QA

On the Cyclic Deligne Conjecture

Let A be a finite dimensional, unital, and associative algebra which is endowed with a non-degenerate and invariant inner product. We give an explicit description of an action of cyclic Sullivan chord diagrams on the normalized Hochschild cochain complex of A. As a corollary, the Hochschild cohomology of A becomes a Frobenius algebra which is endowed with a compatible BV operator. If A is also commutative, then the discussion extends to an action of general Sullivan chord diagrams. Some implications of this are discussed.

2004-10-27math.QA

Cyclic A_\infty Structures and Deligne's Conjecture

First we describe a class of homotopy Frobenius algebras via cyclic operads which we call cyclic $A_\infty$ algebras. We then define a suitable new combinatorial operad which acts on the Hochschild cochains of such an algebra in a manner which encodes the homotopy BV structure. Moreover we show that this operad is equivalent to the cellular chains of a certain topological (quasi)-operad of CW complexes whose constituent spaces form a homotopy associative version of the Cacti operad of Voronov. These cellular chains thus constitute a chain model for the framed little disks operad, proving a cyc…

2012-04-26math.ATmath.QAmath.RA

A new construction of cyclic homology

Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by…

2012-01-31math.AGmath.KTmath.QA

更多相关论文收起更多论文

Gerstenhaber algebra and Deligne's conjecture on Tate-Hochschild cohomology

Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…

2018-01-24math.ATmath.KTmath.QA

Hyper-commutative algebras and cyclic cohomology

This paper introduces a chain model for the Deligne-Mumford operad formed by homotopically trivializing the circle in a chain model for the framed little disks. We then show that under degeneration of the Hochschild to cyclic cohomology spectral sequence, a known action of the framed little disks on Hochschild cochains lifts to an action of this new chain model. We thus establish homotopy hyper-commutative algebra structures on both Hochschild and cyclic cochain complexes, and we interpret the gravity brackets on cyclic cohomology as obstructions to degeneration of this spectral sequence. Our …

2016-10-20math.ATmath.QA

Getzler-Gauss-Manin连接与Kontsevich-Soibelman操作在周期性循环同调上的研究

The Getzler-Gauss-Manin connection and Kontsevich-Soibelman operations on the periodic cyclic homology

本文研究了周期性循环同调中源于Kontsevich-Soibelman操作的等变操作，并将其与等变Gromov-Witten理论联系起来，同时探讨了其在辛拓扑中的应用。

2026-09-07math.ATmath.QAmath.SG

Maurer-Cartan Elements and Cyclic Operads

First we argue that many BV and homotopy BV structures, including both familiar and new examples, arise from a common underlying construction. The input of this construction is a cyclic operad along with a cyclically invariant Maurer-Cartan element in an associated Lie algebra. Using this result we introduce and study the operad of cyclically invariant operations, with instances arising in cyclic cohomology and $S^1$ equivariant homology. We compute the homology of the cyclically invariant operations; the result being the homology operad of $\mathcal{M}_{0,n+1}$, the uncompactified moduli spac…

2015-04-29math.ATmath.QA

微分分次Verlinde公式与Deligne猜想

The differential graded Verlinde Formula and the Deligne Conjecture

本文研究模范畴产生的微分分次模函子，证明环面映射类群中特定元素$S$的作用可将微分分次Verlinde代数转化为Deligne猜想提供的$E_2$结构，并在半单与非半单情形下分别归结为Verlinde公式及其非半单推广。

2023-06-30math.ATmath.GTmath.QA

Formality of the homotopy calculus algebra of Hochschild (co)chains

The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild cochains + Hochschild chains'' of an associative algebra A. We show that for an arbitrary smooth algebraic variety X with the structure sheaf O_X the sheaf (C^*(O_X), C_*(O_X)) of homotopy calculi is formal. This result was announced in paper [29] by the second and the third author.

2008-07-31math.KTmath.QA

Homotopy Batalin-Vilkovisky algebras

This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we extend the theory of Koszul duality to operads and properads that are defind by quadratic and linear relations. The operad encoding Batalin-Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a Poincare-Birkhoff-Witt Theorem for such an operad and to give an explicit small quasi-free resolution for it. This particular resolution …

2011-03-30math-phmath.ATmath.MP