Related papers: Which homotopy algebras come from transfer?
We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…
This paper studies the operad of linearly compatible di-algebras, denoted by $As^{2}$, which is a nonsymmetric operad encoding the algebras with two binary operations that satisfy individual and sum associativity conditions. We also prove…
The aim of this paper is to show that homotopy pro-nilpotent structured ring spectra are TQ-local, where structured ring spectra are described as algebras over a spectral operad O. Here, TQ is short for topological Quillen homology, which…
Given a simply connected space $X$, there are several, a priori different, algebraic groups whose groups of $\mathbb Q$-points are isomorphic to the group of homotopy classes of homotopy automorphisms of the rationalization of $X$. We will…
In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…
It is shown that the closure of the infinitesimal symmetry transformations underlying classical ${\cal W}$ algebras give rise to L$_\infty$ algebras with in general field dependent gauge parameters. Therefore, the class of well understood…
We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…
Homotopy algebraic methods have become increasingly influential in studying field theories. We consider semi-holomorphic Chern-Simons theory and its relation with the principal chiral model. In particular, we establish an explicit…
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
This paper defines and examines the basic properties of noncommutative analogues of almost complex structures, integrable almost complex structures, holomorphic curvature, cohomology, and holomorphic sheaves. The starting point is a…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…
We propose a general notion of algebraic gauge theory obtained via extracting the main properties of classical gauge theory. Building on a recent work on transferring curved $A_{\infty}$-structures we show that, under certain technical…
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…
We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…
The Derived Auslander--Iyama Corresponence, a recent result of the authors, provides a classification up to quasi-isomorphism of the derived endomorphism algebras of basic $d\mathbb{Z}$-cluster tilting objects in $\operatorname{Hom}$-finite…
The notion of a $\mathcal{K}_2$-algebra was recently introduced by Cassidy and Shelton as a generalization of the notion of a Koszul algebra. The Yoneda algebra of any connected graded algebra admits a canonical $A_{\infty}$-algebra…
We introduce a new type of algebra, which is called a Lie-Leibniz algebra. This concept is an abstraction of derived bracket construction. It will be proved that the operad of Lie-Leibniz algebras is Koszul. The strong homotopy version of…
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of…