Related papers: Unifying Koszul dualities via point-set models

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul…

Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…

Expanding the classical work of Kazhdan-Lusztig, we construct a bar involution and canonical bases on the $q$-Brauer algebra introduced by Wenzl. We define explicit actions of the $q$-Brauer algebra on the tensor spaces, and formulate…

Given a graded module over a commutative ring, we define a dg-Lie algebra whose Maurer-Cartan elements are the strictly unital A-infinity algebra structures on that module. We use this to generalize Positselski's result that a curvature…

We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by…

In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a…

Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for $A_\infty$-algebras, we give an explicit proof that the universal enveloping algebra $UL$ of a differential graded Lie algebra $L$ is Koszul, via an…

In this paper, we define $A_{\infty}$-Koszul duals for directed $A_{\infty}$-categories in terms of twists in their $A_{\infty}$-derived categories. Then, we compute a concrete formula of $A_{\infty}$-Koszul duals for path algebras with…

Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over…

Let $\mathbb R^{m|n}$ be the usual super space. It is known that the algebraic functions on $\mathbb R^{m|n}$ is a Koszul algebra, whose Koszul dual algebra, however, is not the set of functions on $\mathbb R^{n|m}$, due to the…

Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…

We prove that the algebra of closed differential forms in an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is (both nontopologically and topologically) Koszul. The connection with…

The Hecke category participates in an equivalence called monoidal Koszul duality, which exchanges it with the category of (Langlands-dual) "free-monodromic tilting sheaves." Motivated by a recent conjecture of Gorsky and the first-named…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

The Koszul dual of locally finite non-positive dg algebra is locally finite positive dg algebra. However, the Koszul dual of locally finite positive dg algebra is not necessary locally finite. We characterize locally finite positive dg…

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…

We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…

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…

In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for…

We introduce a formal $\hbar$-differential operator $\Delta$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty}$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in…