Related papers: What do homotopy algebras form?
Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can…
We show that there is an equivalence of categories between Lie-Rinehart algebras over a commutative algebra $\mathcal O $ and homotopy equivalence classes of negatively graded Lie $\infty $-algebroids over their resolutions (=acyclic Lie…
The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…
We study induced model structures on Frobenius categories. In particular we consider the case where $\mathcal{C}$ is the category of comodules of a supercommutative Hopf algebra $A$ over a field $k$. Given a graded Hopf algebra quotient $A…
These notes illustrates the power of formulating ideas of commutative algebra in a homotopy invariant form. They can then be applied to derived categories of rings or ring spectra. These ideas are powerful in classical algebra, in…
Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…
Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional…
Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. We study a monoidal category $\mathbb{T}_\alpha$ which is universal among all symmetric $\mathbb{K}$-linear monoidal categories generated by two objects $A$ and $B$…
Let A be a graded-commutative, connected k-algebra generated in degree 1. The homotopy Lie algebra g_A is defined to be the Lie algebra of primitives of the Yoneda algebra, Ext_A(k,k). Under certain homological assumptions on A and its…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence…
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…
By a result of Gerstenhaber and Schack the simplicial cohomology ring $H^*(\mathcal{C};k)$ of a poset $\mathcal{C}$ is isomorphic to the Hochschild cohomology ring $HH^*(k\mathcal{C})$ of the category algebra $k\mathcal{C}$, where the poset…
We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a…
We characterize $A_\infty$-structures that are transfers over a chain homotopy equivalence or a quasi-isomorphism, answering a question posed by D. Sullivan. Along the way, we present an obstruction theory for weak $A_\infty$-morphisms over…
An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
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)$,…
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras…
In this article we apply ideas from homotopy theory to the study of singular foliations. We verify that a technical lemma remains valid for left semi-model categories. When applied to the category of $L_\infty$-algebroids thanks to the work…