Related papers: $L_infty$ rational homotopy of mapping spaces

Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…

In this paper we extend the Chern-Weil-Lecomte characteristic map to the setting of $L_{\infty}$-algebras. In this general framework, characteristic classes of $L_{\infty}$-algebra extensions are defined by means of the Chern-Weil-Lecomte…

Let $X, Y$ be separable metrizable spaces, where $X$ is noncompact and $Y$ is equipped with an admissible complete metric $d$. We show that the space $C(X,Y)$ of continuous maps from $X$ into $Y$ equipped with the uniform topology is…

Suppose that f:V->W is an embedding of closed oriented manifolds whose normal bundle has the structure of a complex vector bundle. It is well known in both complex and symplectic geometry that one can then construct a manifold W' which is…

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the…

Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

Let $f:X\to Y$ be a pointed map between connected CW-complexes. As a generalization of the evaluation subgroup $G_*(Y,X;f)$, we will define the {\it relaxed evaluation subgroup} ${\mathcal G}_*(Y,X;f)$ in the homotopy group $\pi_*(Y)$ of…

Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

This note was originated many years ago as my reaction to questions of several people how free strongly homotopy algebras can be described and what can be said about the structure of the universal enveloping A(m)-algebra of an L(m)-algebra,…

We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields.

We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…

We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an…

Given an inclusion $A\hookrightarrow L$ of Lie algebroids sharing the same base manifold $M$, i.e. a Lie pair, we prove that the space $\Gamma(\Lambda^\bullet A^\vee)\otimes_{R} \frac{U(L)}{U(L)\cdot\Gamma(A)}$, where $R=C^\infty(M)$,…