Resolutions in factorization categories

DOI10.1016/J.AIM.2016.02.008MaRDI QIDQ271733zbMATH OpenOpenAlexFDO

Authors Matthew Ballard, Dragos Deliu, David Favero, M. Umut Isik, Ludmil Katzarkov

Publication date 20 April 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.3264

zbMATH Keywords

derived categories homological algebra matrix factorizations

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09)

Abstract: Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of resolutions of their components. We use these resolutions to lift fully-faithfulness statements from derived categories of Abelian categories to derived categories of factorizations and to construct a spectral sequence computing the morphism spaces in the derived categories of factorizations from Ext-groups of their components in the underlying Abelian category.

Review text

Matrix factorizations were introduced by Eisenbud in 1980 as a tool for studying free resolutions of modules over local hypersurface rings. Since then, matrix factorizations have proven useful in such diverse fields as algebraic geometry, mathematical physics, and knot theory.NEWLINENEWLINEIn the article under review, the authors introduce a new framework for the study of matrix factorizations, which they call a factorization category. We give the definition here. Fix an abelian category \(\mathcal{A}\), an autoequivalence \(\Phi\) of \(\mathcal{A}\), and a natural transformation \(w: \text{id}_{\mathcal{A}} \to \Phi\) such that \(w_{\Phi(A)} = \Phi(w_A)\) for all objects \(A \in \mathcal{A}\). A \textit{factorization} of the triple \((\mathcal{A}, \Phi, w)\) is a pair \(E^{-1}, E^0\) of objects in \(\mathcal{A}\) along with a pair of morphisms NEWLINE\[NEWLINE\phi_E^{-1}: \Phi^{-1}(E^0) \to E^{-1}NEWLINE\]NEWLINE NEWLINE\[NEWLINE\phi_E^{0}: E^{-1} \to E^{0}NEWLINE\]NEWLINE such that \(\phi_E^0 \phi_E^{-1} = \Phi^{-1}(w_{E^0})\) and \(\Phi(\phi_E^{-1}) \phi_E^0 = w_{E^{-1}}\). \(E^0\) and \(E^{-1}\) are called the \textit{components} of the factorization. Morphisms of factorizations are defined component-wise in the evident way, so that factorizations form an abelian category. Applying formalism introduced by \textit{L. Positselski} in [Mem. Am. Math. Soc. 996, 133 p. (2011; Zbl 1275.18002)], the authors introduce the notions of absolute derived, co-derived, and contra-derived categories of factorizations. The goal of the article is to study derived functors between such categories.NEWLINENEWLINEIn Section 2, basics on factorization categories and their various derived categories are discussed. In Section 3, the authors discuss specific methods for ``resolving factorizations; that is, replacing them, up to various notions of derived isomorphism, with factorizations whose components are injective/projective. Section 4 contains a discussion of derived functors between the various derived categories of factorizations, and, in Section 5, the authors apply their results to some concrete examples arising in algebraic geometry.

Recommendations

Cites work

Cited in

(35)

This page was built for publication: Resolutions in factorization categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q271733)