arXiv 0806.00652008-06math.AT

Infinity inner products on A-infinity algebras

Thomas Tadler

备注：: To be published in "Journal of Homotopy and Related Structures"

英文摘要：

We give a self contained introduction to A$_\infty$-algebras, A$_\infty$-bimodules and maps between them. The case of A$_\infty$-bimodule-map between $A$ and its dual space $A^{*}$, which we call $\infty$-inner-product, will be investigated in detail. In particular, we describe the graph complex associated to $\infty$-inner-product. In a later paper, we show how $\infty$-inner-products can be used to model the string topology BV-algebra on the free loop space of a Poincaré duality space.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Infinity-Inner-Products on A-Infinity-Algebras

In this paper the Hochschild-cochain-complex of an A-infinity-algebra A with values in an A-infinity-bimodule M over A and maps between them is defined. Then, an infinity-inner-product on A is defined to be an A-infinity-bimodule-map between A and its dual A*. There is a graph-complex associated to A-infinity-algebras with infinity-inner-product.

2002-01-22math.AT

Strong homotopy inner product of an A-infinity algebra

We introduce a strong homotopy notion of a cyclic symmetric inner product of an A-infinity algebra and prove a characterization theorem in the formalism of the infinity inner products by Tradler. We also show that it is equivalent to the notion of a non-constant symplectic structure on the corresponding formal non-commutative supermanifold. We show that (open Gromov-Witten type) potential for a cyclic filtered A-infinity algebra is invariant under the cyclic filtered A-infinity homomorphism up to reparametrization, cyclization and a constant addition, generalizing the work of Kajiura.

2007-09-26math.ATmath.SG

A-infinity structures and Massey products

We show how and when it is possible to detect and recover higher Massey products on the cohomology $H$ of a differential graded algebra $A$ with higher multiplications on quasi-isomorphic $A_\infty$ structures on $H$.

2019-02-20math.AT

Tensor Products of $A_\infty$-algebras with Homotopy Inner Products

We show that the tensor product of two cyclic $A_\infty$-algebras is, in general, not a cyclic $A_\infty$-algebra, but an $A_\infty$-algebra with homotopy inner product. More precisely, we construct an explicit combinatorial diagonal on the pairahedra, which are contractible polytopes controlling the combinatorial structure of an $A_\infty$-algebra with homotopy inner products, and use it to define a categorically closed tensor product. A cyclic $A_\infty$-algebra can be thought of as an $A_\infty$-algebra with homotopy inner products whose higher inner products are trivial. However, the highe…

2012-02-11math.AT

同伦内积的Massey积

Massey products for homotopy inner products

本文在$A_\infty$代数上定义同伦内积的Massey积，给出普通Massey积的显式描述，并通过透镜空间、链环和低维流形展示其包含超越普通Massey积的信息。

2025-09-12math.AT

Homotopy Inner Products for Cyclic Operads

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\widehat{\mathcal O}$, which describes modules over $\mathcal O$ with invariant inner products. We show that $\widehat{\mathcal O}$ satisfies Koszulness and identify algebras over a resolution of $\widehat{\mathcal O}$ in terms of derivations and module maps. As an application we construct a homotopy inner product over the commutative operad on the cochains of any Poincaré duali…

2008-09-14math.AT

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

Homotopy Inner Products for Cyclic Operads

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$, which describes modules over $\mathcal O$ with invariant inner products. We show that $\hat{\mathcal O}$ satisfies Koszulness and identify algebras over a resolution of $\hat{\mathcal O}$ in terms of derivations and module maps. An application to Poincaré duality on the chain level of a suitable topological space is given.

2003-12-11math.AT

Infinity Properads and Infinity Wheeled Properads

A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category $Γ$ of properads. Using graphical analogs of coface maps and the properadic nerve functor, an $\infty$-properad is defined as an object in the graphical set category $Set^{Γ^{op}}$ that satisfies some inner horn extension property. Symmetric monoidal closed structures are constructed in the categories of properads and of graphical sets. Strict $\infty$-proper…

2015-02-11math.ATmath.CT

The diagonal of the multiplihedra and the tensor product of A-infinity morphisms

We define a cellular approximation for the diagonal of the Forcey--Loday realizations of the multiplihedra, and endow them with a compatible topological cellular operadic bimodule structure over the Loday realizations of the associahedra. This provides us with a model for topological and algebraic A-infinity morphisms, as well as a universal and explicit formula for their tensor product. We study the monoidal properties of this newly defined tensor product and conclude by outlining several applications, notably in algebraic and symplectic topology.

2023-02-17math.ATmath.CO

Massey Product and Twisted Cohomology of A-infinity Algebras

We study the twisted cohomology groups of $A_\infty$-algebras defined by twisting elements and their behavior under morphisms and homotopies using the bar construction. We define higher Massey products on the cohomology groups of general $A_\infty$-algebras and establish the naturality under morphisms and their dependency on defining systems. The above constructions are also considered for $C_\infty$-algebras. We construct a spectral sequence converging to the twisted cohomology groups an show that the higher differentials are given by the $A_\infty$-algebraic Massey products.

2009-12-28math.ATmath.KT

The colimit of an $\infty$-local system as a twisted tensor product

We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as infinity-categories by exploiting the relationship between the differential graded nerve functor and the cobar construction. We use one of these models to calculate the quasi-categorical colimit of an infinity-local system in terms of a twisted tensor product.

2019-04-26math.ATmath.CT

A-infinity structure on Ext-algebras

Let A be a connected graded algebra and let E denote its Ext-algebra. There is a natural A-infinity algebra structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A-infinity products m_n restricted to the tensor powers of Ext^1 give the coefficients of the relations of A. We also relate the m_n's to Massey products.

2006-06-06math.ATmath.KT