Complete intersections and equivalences with categories of matrix factorizations (Q505373)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complete intersections and equivalences with categories of matrix factorizations
scientific article

    Statements

    Complete intersections and equivalences with categories of matrix factorizations (English)
    0 references
    0 references
    0 references
    20 January 2017
    0 references
    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)].
    0 references
    matrix factorization
    0 references
    complete intersection
    0 references
    derived categories
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references