Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDifferential graded categories and Deligne conjecture
173
0
0.0
(
0
)
Authors
Boris Shoikhet
Ask ChatGPT about the research
No Arabic abstract
We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak Leinster $(n,1)$-algebra over $k$, a relaxed version of the concept of Leinster $n$-algebra in $Alg(k)$. The difference between the Leinster original definition and our relaxed one is apparent when $n>1$, for $n=1$ both concepts coincide. We believe that there exists a functor from weak Leinster $(n,1)$-algebras over $k$ to $C(E_{n+1},k)$-algebras, well-defined when $k=mathbb{Q}$, and preserving weak equivalences. For the case $n=1$ such a functor is constructed in [Sh4] by elementary simplicial methods, providing (together with this paper) a complete solution for 1-monoidal abelian categories. Our approach to Deligne conjecture is divided into two parts. The first part, completed in the present paper, provides a construction of a weak Leinster $(n,1)$-algebra over $k$, out of an $n$-fold monoidal $k$-linear abelian category (provided the compatibility and non-degeneracy condition are fulfilled). The second part (still open for $n>1$) is a passage from weak Leinster $(n,1)$-algebras to $C(E_{n+1},k)$-algebras. As an application, we prove that the Gerstenhaber-Schack complex of a Hopf algebra over a field $k$ of characteristic 0 admits a structure of a weak Leinster (2,1)-algebra over $k$ extending the Yoneda structure. It relies on our earlier construction [Sh1] of a 2-fold monoidal structure on the abelian category of tetramodules over a bialgebra.
rate research
Read More
In our recent paper [Sh1] a version of the generalized Deligne conjecture for abelian $n$-fold monoidal categories is proven. For $n=1$ this result says that, given an abelian monoidal $k$-linear category $mathscr{A}$ with unit $e$, $k$ a field of characteristic 0, the dg vector space $mathrm{RHom}_{mathscr{A}}(e,e)$ is the first component of a Leinster 1-monoid in $mathscr{A}lg(k)$ (provided a rather mild condition on the monoidal and the abelian structures in $mathscr{A}$, called homotopy compatibility, is fulfilled). In the present paper, we introduce a new concept of a ${it graded}$ Leinster monoid. We show that the Leinster monoid in $mathscr{A}lg(k)$, constructed by a monoidal $k$-linear abelian category in [Sh1], is graded. We construct a functor, assigning an algebra over the chain operad $C(E_2,k)$, to a graded Leinster 1-monoid in $mathscr{A}lg(k)$, which respects the weak equivalences. Consequently, this paper together with loc.cit. provides a complete proof of the generalized Deligne conjecture for 1-monoidal abelian categories, in the form most accessible for applications to deformation theory (such as Tamarkins proof of the Kontsevich formality).
It is well known that a resolving subcategory $mathcal{A}$ of an abelian subcategory $mathcal{E}$ induces several derived equivalences: a triangle equivalence $mathbf{D}^-(mathcal{A})to mathbf{D}^-(mathcal{E})$ exists in general and furthermore restricts to a triangle equivalence $mathbf{D}^{mathsf{b}}(mathcal{A})to mathbf{D}^{mathsf{b}}(mathcal{E})$ if $operatorname{res.dim}_{mathcal{A}}(E)<infty$ for any object $Ein mathcal{E}$. If the category $mathcal{E}$ is uniformly bounded, i.e. $operatorname{res.dim}_{mathcal{A}}(mathcal{E})<infty$, one obtains a triangle equivalence $mathbf{D}(mathcal{A})to mathbf{D}(mathcal{E})$. In this paper, we show that all of the above statements hold for preresolving subcategories of (one-sided) exact categories. By passing to a one-sided language, one can remove the assumption that $mathcal{A}subseteq mathcal{E}$ is extension-closed completely from the classical setting, yielding easier criteria and more examples. To illustrate this point, we consider the Isbell category $mathcal{I}$ and show that $mathcal{I}subseteq mathsf{Ab}$ is preresolving but $mathcal{I}$ cannot be realized as an extension-closed subcategory of an exact category. We also consider a criterion given by Keller to produce derived equivalences of fully exact subcategories. We show that this criterion fits into the framework of preresolving subcategories by considering the relative weak idempotent completion of said subcategory.
Let $R$ be a commutative noetherian ring with a semi-dualizing module $C$. The Auslander categories with respect to $C$ are related through Foxby equivalence: $xymatrix@C=50pt{mathcal {A}_C(R) ar@<0.4ex>[r]^{Cotimes^{mathbf{L}}_{R} -} & mathcal {B}_C(R) ar@<0.4ex>[l]^{mathbf{R}mathrm{Hom}_{R}(C, -)}}$. We firstly intend to extend the Foxby equivalence to Cartan-Eilenberg complexes. To this end, C-E Auslander categories, C-E $mathcal{W}$ complexes and C-E $mathcal{W}$-Gorenstein complexes are introduced, where $mathcal{W}$ denotes a self-orthogonal class of $R$-modules. Moreover, criteria for finiteness of C-E Gorenstein dimensions of complexes in terms of resolution-free characterizations are considered.
Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated categories other than the derived category of a ring. A triangulated category is emph{approximable} if this modified procedure is possible. Not surprisingly this has proved a powerful tool. For example: the fact that the derived category of a quasi compact, separated scheme is approximable has led to major improvements on old theorems due to Bondal, Van den Bergh and Rouquier. In this article we prove that, under weak hypotheses, the recollement of two approximable triangulated categories is approximable. In particular, this shows many of the triangulated categories that arise in noncommutative algebraic geometry are approximable.
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $R^n$ in a way that is completely algebraic. We also give other models for the resulting structure, discuss what it means for a partial map to be additive or linear, and show that differential restriction structure can be lifted through various completion operations.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
