Zoran Skoda MR4456599

MR4456599 Pippi, Massimo On the structure of dg categories of relative singularities. High. Struct. 6 (2022), no. 1, 375–402. 14F08 (14A22 14B05 18G80) arXiv:1911.01332

It follows from a classical result due to Auslander and Buchsbaum that the bounded derived category of coherent sheaves D b(X)D^b(X) over a regular scheme XX coincides with its full triangulated subcategory Perf(X)\mathrm{Perf}(X) of perfect complexes. The quotient Sing(X)=D b(X)/Perf(X)\mathrm{Sing}(X) = D^b(X)/\mathrm{Perf}(X), called the triangulated singularity category of XX, is hence a measure of singularities of XX. Similarly, dg-categories of relative singularities should measure the difference of singularities of two schemes along a morphism X 0XX_0\to X. Matrix factorization of an element WW in a commutative ring BB is a pair of maps d 0:E 0E 1d_0: E_0\to E_1 and d 1:E 1E 0d_1:E_1\to E_0 among finitely generated projective BB-modules satisfying d 0d 1=Wid E 1d_0\circ d_1 = W\cdot\mathrm{id}_{E_1}, d 1d 0=Wid E 0d_1\circ d_0 = W\cdot\mathrm{id}_{E_0}. Matrix factorizations have been introduced by D. Eisenbud [Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260:35-64 (1980) MR570778] to study modules over the factor ring B/(W)B/(W) and the maximal Cohen-Macaulay modules in particular, and were later very useful in the study of hypersurface singularities.

Both constructions appear in a number of related contexts and in particular in the mathematical description of derived dg-categories of D-branes in topological Landau-Ginzburg models of type B. While for Calabi-Yau varieties the category of D-branes of type B involves complexes with finite and coherent cohomologies, in more general cases anomalies (in the sense of physics) lead to a twisting where differential dd of complexes is deformed and instead of d 2d^2 vanishing, d 2d^2 is a multiplication by a regular function, the (super)potential WW, and Z\mathbf{Z}-grading collapses to Z 2\mathbf{Z}_2-grading. Such differentials are essentially matrix factorizations for the given potential. For potential with isolated singularities, the corresponding triangulated category is equivalent to a (finite) product of categories of singularities of fibers of the potential map. Similar relations between the categories of matrix factorizations and singularity categories were stated and proved in various levels of generality from the early days of subject, in particular in [Dmitri O. Orlov, Triangulated categories of singularities and equivalences between Landau-Ginzburg models, Sbornik: Mathematics 197:12 (2006) 1827-1840] and [R. O. Buchweitz, Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings. Unpublished manuscript, 155 pp., 1987].

The work under review is in the setting of dg-categories and relative geometry over an affine base scheme S=Spec(A)S = \mathrm{Spec}(A) where AA is Noetherian and BB is an AA-algebra. In particular, they consider the dg-category dgCat S\mathrm{dgCat}_S of AA-linear dg-categories and its enrichment dgCat S idm{\mathbf{dgCat}}_S^{\mathrm{idm}} with a cofibrantly generated model category where weak equivalences are Morita equivalences (dg-functors inducing quasi-equivalences on the derived categories of perfect dg-modules); the latter category is also enriched with a symmetric monoidal structure, then denoted dgCat S idm,{\mathbf{dgCat}}_S^{\mathrm{idm},\otimes}. The dg-category of relative singularities Sing(B,W)\mathrm{Sing}(B,W) is defined as the kernel of a dg-functor i *:Sing(Spec(B)× A S 1 hS)Sing(S)i_*: \operatorname{Sing}(Spec(B)\times_{\mathbf{A}^1_S}^h S)\to\operatorname{Sing}(S) induced by the inclusion i:Spec(B)× A S 1 hSS)i : Spec(B)\times_{\mathbf{A}^1_S}^h S\to S), where the fiber product × A S 1 h\times_{\mathbf{A}^1_S}^h is taken in the derived sense in order to remove some unnatural regularity assumptions.

A symmetric monoidal category LG S(n) \mathrm{LG}_S(n)^{\oplus} of nn-dimensional Landau-Ginzburg models over SS is defined in the paper, where the objects are SS-schemes flat over SS equipped with a morphism f:XA S n\mathbf{f}:X\to\mathbf{A}^n_S over SS. The dg-category of relative singularities is defined for a more general sequence f̲B n\underline{f}\in B^n instead of a single potential WBW\in B. It has been shown in the paper how to describe the objects in the dg-category of relative singularities Sing(B,f̲)\mathrm{Sing}(B,\underline{f}) as homotopy retracts of dg-modules over the corresponding Koszul algebra K(B,f̲)K(B,\underline{f}) concentrated in n+1n+1 degrees. Then this is further elaborated for n=1n=1 and applied to compare, within dgCat S idm,{\mathbf{dgCat}}_S^{\mathrm{idm},\otimes}, the dg-category of relative singularities with the dg-category of matrix factorization corresponding to the same (geometric) Landau-Ginzburg model. The correspondence which to a 1-dimensional Landau-Ginzburg model (B,W)(B,W) over SS assigns a dg-category of relative singularities Sing(B,W)\mathrm{Sing}(B,W) extends to a lax monoidal \infty-functor Sing(,):LG S(1) dgCat S idm,\mathrm{Sing}(-,-):\mathrm{LG}_S(1)^{\oplus}\to{\mathbf{dgCat}}_S^{\mathrm{idm},\otimes}, likewise for assigning the corresponding dg-category MF(B,W)\mathrm{MF}(B,W) of matrix factorizations. In [A. Blanc, M. Robalo, B. Toën, G. Vezzosi, Motivic realizations of singularity categories and vanishing cycles, Journal de lÉcole polytechnique Mathématiques 5 (2018), pp. 651-747, MR3877165] a lax monoidal \infty-natural transformation Sing(,)MF(,)\mathrm{Sing}(-,-)\to\mathrm{MF}(-,-) has been constructed. A consequence of the technical results proven in the paper under review is that this transformation is a lax monoidal \infty-natural equivalence, amounting to a refined monoidal version of the comparison theorem of Orlov.

Last revised on July 31, 2023 at 20:12:47. See the history of this page for a list of all contributions to it.