-
André-Quillen cohomology in the context of curved algebras
Authors:
Joan Bellier-Millès,
Sinan Yalin
Abstract:
The André-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on Kähler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure where weak equivalences are quasi-isomorphisms. This construction works for algebras over an operad, providing a cohomology theory tailored for each type of algebra.…
▽ More
The André-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on Kähler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure where weak equivalences are quasi-isomorphisms. This construction works for algebras over an operad, providing a cohomology theory tailored for each type of algebra. For curved algebras however, the notion of quasi-isomorphism is meaningless. The occurrence and importance of curved structures in various research topics (symplectic topology, deformation theory, derived geometry, mathematical physics) motivate the development of their homotopy theory and André-Quillen cohomology theory. To get a homotopical context with an appropriate notion of weak equivalence, we consider filtered complete modules with a predifferential inducing a differential on the associated graded. Curved algebras in such modules are algebras over a curved operad. In this article, we consider curved operads which are not necessarily augmented. Bar and cobar constructions adapted to these curved operads are developed, as well as Koszul duality theory. Consequently, we obtain homotopy versions of our curved algebras and make it explicit for interesting cases. Two main examples are the curved operads encoding curved unital associative algebras and curved complex Lie algebras. In particular, homotopy curved unital associative algebras describe the structure of Floer complexes of lagrangian submanifolds and Fukaya categories in symplectic topology. Bar and cobar constructions for curved algebras are also developed, and we obtain resolutions from which we compute their André-Quillen cohomology with module coefficients. Our computations in the case of curved complex Lie algebras reveal an interesting link between their André-Quillen cohomology and derived complex analytic geometry.
△ Less
Submitted 25 September, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Homotopy theory of curved operads and curved algebras
Authors:
Joan Bellier-Millès,
Gabriel C. Drummond-Cole
Abstract:
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 curved algebras cannot follow the same path as differential graded algebras.
In this article, we propose to study curved algebras by means of curved operads. We…
▽ More
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 curved algebras cannot follow the same path as differential graded algebras.
In this article, we propose to study curved algebras by means of curved operads. We develop the theory of bar and cobar constructions adapted to this new notion as well as Koszul duality theory. To be able to provide meaningful definitions, we work in the context of objects which are filtered and complete and become differential graded after applying the associated graded functor.
This setting brings its own difficulties but it nevertheless permits us to define a combinatorial model category structure that we can transfer to the category of curved operads and to the category of algebras over a curved operad using free-forgetful adjunctions.
We address the case of curved associative algebras. We recover the notion of curved Aoo-algebras, and we show that the homotopy categories of curved associative algebras and of curved Aoo-algebras are Quillen equivalent.
△ Less
Submitted 23 June, 2025; v1 submitted 6 July, 2020;
originally announced July 2020.
-
Operads with compatible CL-shellable partition posets admit a Poincaré-Birkhoff-Witt basis
Authors:
Joan Bellier-Millès,
Bérénice Delcroix-Oger,
Eric Hoffbeck
Abstract:
In 2007, Vallette built a bridge across posets and operads by proving that an operad is Koszul if and only if the associated partition posets are Cohen-Macaulay. Both notions of being Koszul and being Cohen-Macaulay admit different refinements: our goal here is to link two of these refinements. We more precisely prove that any (basic-set) operad whose associated posets admit isomorphism-compatible…
▽ More
In 2007, Vallette built a bridge across posets and operads by proving that an operad is Koszul if and only if the associated partition posets are Cohen-Macaulay. Both notions of being Koszul and being Cohen-Macaulay admit different refinements: our goal here is to link two of these refinements. We more precisely prove that any (basic-set) operad whose associated posets admit isomorphism-compatible CL-shellings admits a Poincaré-Birkhoff-Witt basis. Furthermore, we give counter-examples to the converse.
△ Less
Submitted 12 June, 2023; v1 submitted 28 November, 2018;
originally announced November 2018.
