Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userEnhanced $A$-infinity obstruction theory
140
0
0.0
(
0
)
Authors
Fernando Muro
Ask ChatGPT about the research
No Arabic abstract
We extend the Bousfield-Kan spectral sequence for the computation of the homotopy groups of the space of minimal A-infinity algebra structures on a graded projective module. We use the new part to define obstructions to the extension of truncated minimal A-infinity algebra structures. We also consider the Bousfield-Kan spectral sequence for the moduli space of A-infinity algebras. We compute up to the second page, terms and differentials, of these spectral sequences in terms of Hochschild cohomology.
rate research
Read More
We describe a special instance of the Goerss-Hopkins obstruction theory, due to Senger, for calculating the moduli of $E_infty$ ring spectra with given mod-$p$ homology. In particular, for the $2$-primary Brown-Peterson spectrum we give a chain complex that calculates the first obstruction groups, locate the first potential genuine obstructions, and discuss how some of the obstruction classes can be interpreted in terms of secondary operations.
Given an operad A of topological spaces, we consider A-monads in a topological category C . When A is an A-infinity-operad, any A-monad K : C -> C can be thought of as a monad up to coherent homotopies. We define the completion functor with respect to an A-infinity-monad and prove that it is an A-infinity-monad itself.
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and %derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate cobar construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this cobar construction. We show consequently that the $E_3$-algebra structure on the higher Hochschild complex of this cobar construction, given by the solution to the higher Deligne conjecture, controls the deformation theory of this bialgebra. This implies the existence of an $E_3$-structure on the deformation complex of a dg bialgebra, solving a long-standing conjecture of Gerstenhaber-Schack. On this basis we solve a long-standing conjecture of Kontsevich, by proving the $E_3$-formality of the deformation complex of the symmetric bialgebra. This provides as a corollary a new proof of Etingof-Kazdhan deformation quantization of Lie bialgebras which extends to homotopy dg Lie bialgebras and is independent from the choice of an associator. Along the way, we establish new general results of independent interest about the deformation theory of algebraic structures, which shed a new light on various deformation complexes and cohomology theories studied in the literature.
We construct small cylinders for cellular non-symmetric DG-operads over an arbitrary commutative ring by using the basic perturbation lemma from homological algebra. We show that our construction, applied to the A-infinity operad, yields the operad parametrizing A-infinity maps whose linear part is the identity. We also compute some other examples with non-trivial operations in arities 1 and 0.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
