Related papers: The Homotopy Class of twisted $L_\infty$-morphisms
We prove that the full twist is a Serre functor in the homotopy category of type A Soergel bimodules. As a consequence, we relate the top and bottom Hochschild degrees in Khovanov-Rozansky homology, categorifying a theorem of K\'alm\'an.
We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…
We give a new computation of Hochschild (co)homology of the exterior algebra, together with algebraic structures, by direct comparison with the symmetric algebra. The Hochschild cohomology is determined to be essentially the algebra of…
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild…
These notes are based on a series of three lectures given (online) by the first named author at the workshop "Higher Structures and Operadic Calculus" at CRM Barcelona in June 2021. The aim is to give a concise introduction to rational…
In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…
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…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…
This is an addendum to the paper ``Deformation of $L_\infty$-Algebras'' of the same author. We explain in which way the deformation theory of $L_\infty$-algebras extends the deformation theory of singularities. We show that the construction…
Let $G\subset GL(V)$ be a linear Lie group with Lie algebra $\frak g$ and let $A(\frak g)^G$ be the subalgebra of $G$-invariant elements of the associative supercommutative algebra $A(\frak g)= S(\frak g^*)\otimes \La(V^*)$. To any…
A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
We investigate algebraic and compositional properties of abstract multiway rewriting systems, which are archetypical structures underlying the formalism of the Wolfram model. We demonstrate the existence of higher homotopies in this class…
We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…
We show that, given a complete Liouville manifold, any homogeneous quasi-morphism on its Hamiltonian group, which satisfies a strengthened version of Hofer continuity called stability, must vanish. This partially addresses a conjecture due…
The Lagrangian formulation of classical field theories and in particular general relativity leads to a coordinate-free, fully covariant analysis of these constrained systems. This paper applies multisymplectic techniques to obtain the…
In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between…
We give a construction of the universal enveloping $A_\infty$ algebra of a given $L_\infty$ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore…
It is well known that the Lagrangian and the Hamiltonian formalisms can be combined and lead to "covariant symplectic" methods. For that purpose a "pre-symplectic form" has been constructed from the Lagrangian using the so-called Noether…
Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It…