Related papers: Action of derived automorphisms on infinity-morphi…
Algebraic operads provide a powerful tool to understand the homotopy theory of the types of (co)algebras they encode. So far, the principal results and methods that this theory provides were only available in characteristic zero. The reason…
We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the…
The deformations of an infinite dimensional algebra may be controlled not just by its own cohomology but by that of an associated diagram of algebras, since an infinite dimensional algebra may be absolutely rigid in the classical…
The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…
We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures.
We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.
In this work, we propose a novel approach to the homotopy transfer procedure starting from a set of homotopy data such that the first differential complex is a differential graded module over the second one. We show that the module…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
We study operads in unstable global homotopy theory, which is the homotopy theory of spaces with compatible actions by all compact Lie groups. We show that the theory of these operads works remarkably well, as for example it is possible to…
We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups.
We show the homotopy spheres $\Sigma_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W \to \partial W$ is $S^4$. To do this we first show that…
Homotopy is an important feature of associative and Jordan algebraic structures: such structures always come in families whose members need not be isomorphic among other, but still share many important properties. One may regard homotopy as…
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…
On a supersymmetric sigma model the covariantly constant forms are related to the conserved currents that are generators of a super W-algebra extending the superconformal algebra. The existence of covariantly constant forms restricts the…
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…
To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an…
The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…
The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad…
The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric…