15,296 research outputs found
Function spaces and classifying spaces of algebras over a prop
The goal of this paper is to prove that the classifying spaces of categories
of algebras governed by a prop can be determined by using function spaces on
the category of props. We first consider a function space of props to define
the moduli space of algebra structures over this prop on an object of the base
category. Then we mainly prove that this moduli space is the homotopy fiber of
a forgetful map of classifying spaces, generalizing to the prop setting a
theorem of Rezk. The crux of our proof lies in the construction of certain
universal diagrams in categories of algebras over a prop. We introduce a
general method to carry out such constructions in a functorial way.Comment: 28 pages, modifications mainly in section 2 (more details in some
proofs and additional explanations), typo corrections. Final version, to
appear in Algebr. Geom. Topo
Moduli stacks of algebraic structures and deformation theory
We connect the homotopy type of simplicial moduli spaces of algebraic
structures to the cohomology of their deformation complexes. Then we prove that
under several assumptions, mapping spaces of algebras over a monad in an
appropriate diagram category form affine stacks in the sense of Toen-Vezzosi's
homotopical algebraic geometry. This includes simplicial moduli spaces of
algebraic structures over a given object (for instance a cochain complex). When
these algebraic structures are parametrised by properads, the tangent complexes
give the known cohomology theory for such structures and there is an associated
obstruction theory for infinitesimal, higher order and formal deformations. The
methods are general enough to be adapted for more general kinds of algebraic
structures.Comment: several corrections, especially in sections 6 and 7. Final version,
to appear in the J. Noncommut. Geo
The homotopy theory of bialgebras over pairs of operads
We endow the category of bialgebras over a pair of operads in distribution
with a cofibrantly generated model category structure. We work in the category
of chain complexes over a field of characteristic zero. We split our
construction in two steps. In the first step, we equip coalgebras over an
operad with a cofibrantly generated model category structure. In the second one
we use the adjunction between bialgebras and coalgebras via the free algebra
functor. This result allows us to do classical homotopical algebra in various
categories such as associative bialgebras, Lie bialgebras or Poisson bialgebras
in chain complexes.Comment: 27 pages, final version, to appear in the Journal of Pure and Applied
Algebr
- …