V. Hinich
Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed operad, on the category of modules over a fixed operad algebra. In Sections 2 - 6 we define the necessary structures and provide some standard comparison results. In Section 7 we define cotangent complex. In Section 8 we define a canonical structure of homotopy Lie algebra on the tangent complex.
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this problem, we introduce what we call thick maps of O-algebras and special thick maps that we call pseudo-derivations, which serve as appropriate generalizations of algebra homotopies for the purposes of homological perturbation theory. As an application, we derive explicit formulas for transferring Cobar(C)-algebra structures along contractions, where C is any …
We explore the relationship between the classical constructions of cumulants and Koszul brackets, showing that the former are an expontial version of the latter. Moreover, under some additional technical assumptions, we prove that both constructions are compatible with standard homological perturbation theory in an appropriate sense. As an application of these results, we provide new proofs for the homotopy transfer Theorem for $L_\infty$ and $IBL_\infty$ algebras based on the symmetrized tensor trick and the standard perturbation Lemma, as in the usual approach for $A_\infty$ algebras. Moreov…
Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison cohomology. We also investigate the algebraic structure of the Chevalley-Eilenberg complexes of L-infinity algebras and show that they possess, along with the Gerstenhaber bracket, an L-infinity structure that is homotopy abelian.
In this article we describe an algebraic framework which can be used in three related but different contexts: string topology, symplectic field theory, and Lagrangian Floer theory of higher genus. It turns out that the relevant algebraic structure for all three contexts is a homotopy version of involutive bi-Lie algebras, which we call IBL$_\infty$-algebras.
Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra to have a quantum lift. We also obtain structural results on unimodular L-infinity algebras and introduce a doubling construction which links unimodular and cyclic L-infinity algebras.
In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA with Kontsevich's deformation quantization and with the B-models of homological mirror symmetry. An explicit form of the minimal model for an OCHA is given as well as its relation to the perturbative ex…
Quantum $L_\infty$ Algebras and the Homological Perturbation Lemma
本文通过同伦扰动引理构造量子 $L_\infty$ 代数的极小模型，证明其由 Feynman 图展开给出并计算有效作用量，同时建立了原代数与有效代数间的同伦。
In this work we report a homological perturbation calculation to construct effective theories of topological quantum mechanics on $\mathbb{R}_{\geqslant 0}$. Such calculation can be regarded as a generalization of Feynman graph computation. The resulting effective theories fit into derived BV algebra structure, which generalizes BV quantization. Besides, our construction may serve as the simplest example of a process called "boundary transfer", which may help study bulk-boundary correspondence.
Motivated by string field theory, we explore various algebraic aspects of higher spin theory and Vasiliev equation in terms of homotopy algebras. We present a systematic study of unfolded formulation developed for the higher spin equation in terms of the Maurer-Cartan equation associated to differential forms valued in L-infinity algebras. The elimination of auxiliary variables of Vasiliev equation is analyzed through homological perturbation theory. This leads to a closed combinatorial graph formula for all the vertices of higher spin equations in the unfolded formulation. We also discover a …
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$Δ$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas are given in terms of the Givental graphs, and are proved in two different ways. One proof uses the Givental group action, and the other proof goes through a chain of explicit formulas on resolutions of Hycomm and BV. The second…
We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological properties of operads are, in general, not improved by this construction. However, under some technical conditions, Veronese powers of quadratic Koszul operads are meaningful in the context of the Koszul duality theory. Indeed, we show that in many important cases the operads $\mathcal{P}^{[m]}$ are related by Koszul duality to operads describing strongly homotopy …
As an explicit example of an $A_\infty$-structure associated to geometry, we construct an $A_\infty$-structure for a Fukaya category of finitely many lines (Lagrangians) in $\R^2$, ie., we define also {\em non-transversal} $A_\infty$-products. This construction is motivated by homological mirror symmetry of (two-)tori, where $\R^2$ is the covering space of a two-torus. The strategy is based on an algebraic reformulation of Morse homotopy theory through homological perturbation theory (HPT) as discussed by Kontsevich and Soibelman in math.SG/0011041, where we introduce a special DG category whi…
The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of functions which vanish on a constraint locus. This ideal is called first class if $I$ is closed under the Poisson bracket; geometers refer to the constraint locus as coisotropic. The physicists' model is crucially a differential Poisson algebra extension of a Poisson algebra $P$; its differential contains a piece which reinvented the Koszul complex for the ideal …
This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie der…
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been used in this construction although it is an obvious question how they should enter in the non-semisimple case. In the present paper, we elucidate the interplay between the structures from topological field theory and from homological algebra by constructing a homotopy coherent projective action of the mapping class group $\text{SL}(2,\mathbb{Z})$ of the torus …
Brackets by another name, Whitehead or Samelson products, have a history parallel to that in Kosmann-Schwarzbach's From Schouten to Mackenzie: notes on brackets. Here I sketch the development of these and some of the other brackets and products and braces within homotopy theory and homological algebra and with applications to mathematical physics. In contrast to the brackets of Schouten, Nijenhuis and of Gerstenhaber, which involve a relation to another graded product, in homotopy theory many of the brackets are free standing binary operations. My path takes me through many twists and turns. T…
We study properties of differential graded (dg) operads modulo weak equivalences, that is, modulo the relation given by the existence of a chain of dg operad maps inducing a homology isomorphism. This approach, naturally arising in string theory, leads us to consider various versions of models. Besides of some applications in topology and homological algebra we show that our theory enables one to prove the existence of homotopy structures on physically relevant spaces. For example, we prove that a closed string-field theory induces a homotopy Lie algebra structure on the space of relative stat…
We construct a faithful categorical action of the type $B$ braid group on the bounded homotopy category of finitely generated projective modules over a finite dimensional algebra which we call the type $B$ zigzag algebra. This categorical action is closely related to the action of the type $B$ braid group on curves on the disc. Thus, our exposition can be seen as a type $B$ analogue of the work of Khovanov-Seidel in arXiv:math/0006056. Moreover, we relate our topological (respectively categorical) action of the type $B$ Artin braid group to their topological (respectively categorical) action o…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。