相关论文: Strong homotopy properads

Using the theory of distributive series of monads, we construct an $(\infty,0)$-coherator called the \emph{inductive coherator}. The category of models out of the inductive coherator serve as a model for $\infty$-groupoids that possess an…

We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

We study the relationship between the higher Massey products on the cohomology $H$ of a differential graded algebra, and the $A_\infty$ structures induced on $H$ via homotopy transfer techniques.

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…

We describe a bordered version of totally twisted Khovanov homology. We first twist Roberts's type $D$ structure by adding a "vertical" type $D$ structure which generalizes the vertical map in twisted tangle homology. One of the distinct…

We show that the Fourier-Laplace transform of a regular holonomic module over the Weyl algebra of one variable, which generically underlies a variation of polarized Hodge structure, underlies itself an integrable variation of polarized…

A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…

We study in this article the concept of algebra up to homotopy for a structure defined by two operations . Important examples of such structure are those of pre-Gerstenhaber and pre-Poisson algebras. Given a structure of pre-commutative and…

This paper extends the results of "Operads and Algebraic Homotopy" in giving algebraic invariants for the stable homotopy type of a pointed simply-connected simplicial set.

We prove that under some purely algebraic conditions every locally homogeneous structure modelled on some homogeneous space is induced by a locally homogeneous structure modelled on a different homogeneous space.

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

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…

We show the correspondence between left invariant flat projective structures on Lie groups and certain prehomogeneous vector spaces. Moreover by using the classification theory of prehomogeneous vector spaces, we classify complex Lie groups…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

We consider the question of the additivity of strong homology. This entails isolating the set-theoretic content of the higher derived limits of an inverse system indexed by the functions from $\mathbb{N}$ to $\mathbb{N}$. We show that this…

We consider various $A_{\infty}$-algebras of differential (super)forms, which are related to gauge theories and demonstrate explicitly how certain reformulations of gauge theories lead to the transfer of the corresponding…

We show that a homotopy equivalence between manifolds induces a correspondence between their spin^c-structures, even in the presence of 2-torsion. This is proved by generalizing spin^c-structures to Poincare complexes. A procedure is given…

Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…