Related papers: Koszul duality for simplicial restricted Lie algeb…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
We consider two families of finite-dimensional simple Lie superalgebras of Cartan type, denoted by HO and KO, over an algebraically closed field of characteristic p>3. Using the weight space decompositions and the principal gradings we…
We develop a version of controlled algebra for simplicial rings. This generalizes the methods which lead to successful proofs of the algebraic K- theory isomorphism conjecture (Farrell-Jones Conjecture) for a large class of groups. This is…
We propose a new definition of Koszulity for graded algebras where the degree zero part has finite global dimension, but is not necessarily semi-simple. The standard Koszul duality theorems hold in this setting. We give an application to…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
Given a homotopy Lie algebra (i.e. an $L_\infty$-algebra) $\mathfrak{g}$, we show concretely how the Lada-Markl $\mathfrak{g}$-modules (i.e. representations) assemble into a symmetric monoidal dg-category. Considering the homotopy…
We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to…
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…
Let $A$ be a proper non-positive dg algebra over a field $k$. For a simple-minded collection of the finite-dimensional derived category $\mathcal{D}_{fd}(A)$, we construct a 'dual' silting object of the perfect derived category…
In this paper, we construct a bar-cobar adjunction and a Koszul duality theory for protoperads, which are an operadic type notion encoding faithfully some categories of bialgebras with diagonal symmetries, like double Lie algebras (DLie).…
In previous works, the author described an associative algebra whose $A_\infty$-module categories encode the Heegaard Floer Dehn surgery formulas. In this article, we describe the Koszul dual of this algebra. We construct dualizing…
We study quantization of a class of inhomogeneous Lie bialgebras which are crossproducts in dual sectors with Abelian invariant parts. This class forms a category stable under dualization and the double operations. The quantization turns…
We motivate and study the reduced Koszul map, relating the invariant bilinear maps on a Lie algebra and the third homology. We show that it is concentrated in degree 0 for any grading in a torsion-free abelian group, and in particular it…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
This paper provides a new class of examples for the Koszul dualities established in~\cite{5}. We study quadratic monomial algebras from the perspective of Koszul duality, with particular emphasis on finitely presented and finitely…
In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…
Let $M$ be a Liouville 6-manifold which is the smooth fiber of a Lefschetz fibration on $\mathbb{C}^4$ constructed by suspending a Lefschetz fibration on $\mathbb{C}^3$. We prove that for many examples including stabilizations of Milnor…
We study the cohomology of Lie superalgebras for the full complex of forms: superforms, pseudoforms and integral forms. We use the technique of spectral sequences to abstractly compute the Chevalley-Eilenberg cohomology. We first focus on…
Greenlees established an equivalence of categories between the homotopy category of rational SO(3)-spectra and the derived category DA(SO(3)) of a certain abelian category. In this paper we lift this equivalence of homotopy categories to…
The results of this manuscript is the collection of my articles that I published during my PhD thesis. We show that there is an equivalence of categories between Lie-Rinehart algebras over a commutative algebra $\mathcal O$ and homotopy…