Related papers: Deformation theory and rational homotopy type
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
We extend the classical concept of deformation of an associative algebra, as introduced by Gerstenhaber, by using monoidal linear categories and cocommutative coalgebras as foundational tools. To achieve this goal, we associate to each…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
Building on Quillen's rational homotopy theory, we obtain algebraic models for the rational homotopy theory of parametrised spectra. For any simply-connected space $X$ there is a dg Lie algebra $\Lambda_X$ and a (coassociative…
In this paper, deformations of $L_\infty$-algebras are defined in such a way that the bases of deformations are $L_\infty$-algebras, as well. A universal and a semiuniversal deformation is constructed for $L_\infty$-algebras, whose…
In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…
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…
In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…
We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…
Algebraic deformations of modules over a ring are considered. The resulting theory closely resembles Gerstenhaber's deformation theory of associative algebras.
Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie…
The aim of homotopy theory in topology is to simplify, after continuous deformation, continuous maps between topological spaces. What prevents this from happening are homotopy invariants. This raises quantitative questions: $\bullet$ Is the…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…
It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…
Inspired by the work of Wang and Zhou [4] for Rota-Baxter algebras, we develop a cohomology theory of Rota-Baxter systems and justify it by interpreting the lower degree cohomology groups as formal deformations and as abelian extensions of…
We obtain variational formulas for holomorphic objects on Riemann surfaces with respect to arbitrary local coordinates on the moduli space of complex structures. These formulas are written in terms of a canonical object on the moduli space…