Complete intersections and equivalences with categories of matrix factorizations (Q505373): Difference between revisions

Let \(S\) be a commutative ring and \(x\) be an element of \(S\). \(\mathbf{HMF}(S,x)\) denotes the homotopy category of the category of matrix factorization of \(x\) in the sense of \textit{D. Eisenbud} [Trans. Am. Math. Soc. 260, 35--64 (1980; Zbl 0444.13006)]. The authors show that if \(x\) is a non-zero divisor of \(S\) and \(R=S/(x)\) there exists a fully faithful functor from \(\mathbf{HMF}(S,x)\) to the category of totally acyclic complexes of finitely generated \(R\)-modules. As a consequence of this general result it is shown that if \((Q,\mathfrak{n},k)\) is a regular local ring, \(R=Q/( t_1,\dots, t_c)\) (where \(t_1,\dots, t_c\in\mathfrak{n}^2\) is a regular sequence), \(0\not=\overline x\in V=(t_1,\dots, t_c)/\mathfrak{n}(t_1,\dots, t_c)^2\) and \(S= Q/(x_1,\dots x_{c-1})\), where \(\overline x, \overline x_1,\dots \overline x_{c-1}\) is a basis of \(V\), then \(\mathbf{HMF}(S,x)\) is a equivalent as triangulated category to a subcategory of the singularity category \(\mathbf{D_{sg}}(R)=\mathbf{D^b}(R)/\mathbf{thick } (R)\), where \(\mathbf{thick }(R)\) consists of the perfect complexes. This extend the result established for regular rings by \textit{R. O. Buchweitz} [Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings. unpublished manuscript (1987), \url{https://tspace.library.utoronto.ca/handle/1807/16682}] and proved by \textit{D. O. Orlov} [in: Algebraic geometry. Methods, relations, and applications. Collected papers. Dedicated to the memory of Andrei Nikolaevich Tyurin. Moscow: Maik Nauka/Interperiodica. 227--248 (2004; Zbl 1101.81093)].