Matrix factorizations and semi-orthogonal decompositions for blowing-ups (Q344486): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(8 intermediate revisions by 6 users not shown)
Property / review text
 
Let \(k\) be a field, and let \(X\) be a separated, regular, Noetherian \(k\)-scheme of finite Krull dimension. Let \(\pi: \widetilde{X} \to X\) be the blowing-up of \(X\) along a regular equi-codimensional closed subscheme \(Y\), and set \(r\) to be the codimension of \(Y\) in \(X\). Assume \(r \geq 2\). There is a well-known theorem which relates the bounded derived category \(D^b(\text{Coh}(\widetilde{X}))\) to \(D^b(\text{Coh}(X))\) and \(D^b(\text{Coh}(Y))\): roughly, \(D^b(\text{Coh}(\widetilde{X}))\) is a semi-orthogonal decomposition of \(D^b(\text{Coh}(X))\) and \(r - 1\) copies of \(D^b(\text{Coh}(Y))\) (see Theorem 3.4 of the article under review for the precise statement). The main goal of this article is to formulate and prove an analogue of this theorem for categories of matrix factorizations. Let \(W \in \Gamma(X, \mathcal{O}_X)\), and denote by \(\text{MF}(X, W)\) the triangulated category of \textit{matrix factorizations} of \(W\) over \(X\). In Section 2 of the article under review, the authors provide a comprehensive background on matrix factorization categories in the global setting, including detailed discussions of their dg enhancements and derived functors between them. Section 3 is devoted to a proof of their main theorem, which states, roughly, that \(\text{MF}(\widetilde{X}, W)\) is a semi-orthogonal decomposition of \(\text{MF}(X, W)\) and \(r-1\) copies of \(\text{MF}(Y, W)\) (here, we abuse notation slightly by denoting the pullbacks of \(W\) to \(\widetilde{X}\) and \(Y\) also by \(W\)); see Theorem 3.5 of the article for the precise statement of the main theorem. The authors also obtain a semi-orthogonal decomposition of the category \(\text{MF}(E, W)\) of matrix factorizations associated to a projective bundle \(E\) over \(X\) (Theorem 3.2), and they discuss several applications of the main theorem (Section 3.3).
Property / review text: Let \(k\) be a field, and let \(X\) be a separated, regular, Noetherian \(k\)-scheme of finite Krull dimension. Let \(\pi: \widetilde{X} \to X\) be the blowing-up of \(X\) along a regular equi-codimensional closed subscheme \(Y\), and set \(r\) to be the codimension of \(Y\) in \(X\). Assume \(r \geq 2\). There is a well-known theorem which relates the bounded derived category \(D^b(\text{Coh}(\widetilde{X}))\) to \(D^b(\text{Coh}(X))\) and \(D^b(\text{Coh}(Y))\): roughly, \(D^b(\text{Coh}(\widetilde{X}))\) is a semi-orthogonal decomposition of \(D^b(\text{Coh}(X))\) and \(r - 1\) copies of \(D^b(\text{Coh}(Y))\) (see Theorem 3.4 of the article under review for the precise statement). The main goal of this article is to formulate and prove an analogue of this theorem for categories of matrix factorizations. Let \(W \in \Gamma(X, \mathcal{O}_X)\), and denote by \(\text{MF}(X, W)\) the triangulated category of \textit{matrix factorizations} of \(W\) over \(X\). In Section 2 of the article under review, the authors provide a comprehensive background on matrix factorization categories in the global setting, including detailed discussions of their dg enhancements and derived functors between them. Section 3 is devoted to a proof of their main theorem, which states, roughly, that \(\text{MF}(\widetilde{X}, W)\) is a semi-orthogonal decomposition of \(\text{MF}(X, W)\) and \(r-1\) copies of \(\text{MF}(Y, W)\) (here, we abuse notation slightly by denoting the pullbacks of \(W\) to \(\widetilde{X}\) and \(Y\) also by \(W\)); see Theorem 3.5 of the article for the precise statement of the main theorem. The authors also obtain a semi-orthogonal decomposition of the category \(\text{MF}(E, W)\) of matrix factorizations associated to a projective bundle \(E\) over \(X\) (Theorem 3.2), and they discuss several applications of the main theorem (Section 3.3). / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14F05 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 16E45 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6655306 / rank
 
Normal rank
Property / zbMATH Keywords
 
matrix factorization
Property / zbMATH Keywords: matrix factorization / rank
 
Normal rank
Property / zbMATH Keywords
 
semi-orthogonal decomposition
Property / zbMATH Keywords: semi-orthogonal decomposition / rank
 
Normal rank
Property / zbMATH Keywords
 
blowing-up
Property / zbMATH Keywords: blowing-up / rank
 
Normal rank
Property / zbMATH Keywords
 
projective space bundle
Property / zbMATH Keywords: projective space bundle / rank
 
Normal rank
Property / zbMATH Keywords
 
dg enhancement
Property / zbMATH Keywords: dg enhancement / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Michael K. Brown / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q114021476 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1212.2670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Big projective modules are free / rank
 
Normal rank
Property / cites work
 
Property / cites work: The universal Euler characteristic for varieties of characteristic zero / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4694943 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4463616 / rank
 
Normal rank
Property / cites work
 
Property / cites work: REPRESENTABLE FUNCTORS, SERRE FUNCTORS, AND MUTATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5693333 / rank
 
Normal rank
Property / cites work
 
Property / cites work: DG quotients of DG categories. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322842 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on Resolution of Singularities (AM-166) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global matrix factorizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530238 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical resolution of singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniqueness of enhancement for triangulated categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix factorizations and motivic measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: The connection between the $K$-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangulated Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: ASYMPTOTIC INVARIANTS OF SMOOTH MANIFOLDS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherent analogues of matrix factorizations and relative singularity categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence / rank
 
Normal rank
Property / cites work
 
Property / cites work: A direct proof of the theorem on formal functions / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962937981 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:58, 30 July 2024

scientific article
Language Label Description Also known as
English
Matrix factorizations and semi-orthogonal decompositions for blowing-ups
scientific article

    Statements

    Matrix factorizations and semi-orthogonal decompositions for blowing-ups (English)
    0 references
    0 references
    0 references
    22 November 2016
    0 references
    Let \(k\) be a field, and let \(X\) be a separated, regular, Noetherian \(k\)-scheme of finite Krull dimension. Let \(\pi: \widetilde{X} \to X\) be the blowing-up of \(X\) along a regular equi-codimensional closed subscheme \(Y\), and set \(r\) to be the codimension of \(Y\) in \(X\). Assume \(r \geq 2\). There is a well-known theorem which relates the bounded derived category \(D^b(\text{Coh}(\widetilde{X}))\) to \(D^b(\text{Coh}(X))\) and \(D^b(\text{Coh}(Y))\): roughly, \(D^b(\text{Coh}(\widetilde{X}))\) is a semi-orthogonal decomposition of \(D^b(\text{Coh}(X))\) and \(r - 1\) copies of \(D^b(\text{Coh}(Y))\) (see Theorem 3.4 of the article under review for the precise statement). The main goal of this article is to formulate and prove an analogue of this theorem for categories of matrix factorizations. Let \(W \in \Gamma(X, \mathcal{O}_X)\), and denote by \(\text{MF}(X, W)\) the triangulated category of \textit{matrix factorizations} of \(W\) over \(X\). In Section 2 of the article under review, the authors provide a comprehensive background on matrix factorization categories in the global setting, including detailed discussions of their dg enhancements and derived functors between them. Section 3 is devoted to a proof of their main theorem, which states, roughly, that \(\text{MF}(\widetilde{X}, W)\) is a semi-orthogonal decomposition of \(\text{MF}(X, W)\) and \(r-1\) copies of \(\text{MF}(Y, W)\) (here, we abuse notation slightly by denoting the pullbacks of \(W\) to \(\widetilde{X}\) and \(Y\) also by \(W\)); see Theorem 3.5 of the article for the precise statement of the main theorem. The authors also obtain a semi-orthogonal decomposition of the category \(\text{MF}(E, W)\) of matrix factorizations associated to a projective bundle \(E\) over \(X\) (Theorem 3.2), and they discuss several applications of the main theorem (Section 3.3).
    0 references
    matrix factorization
    0 references
    semi-orthogonal decomposition
    0 references
    blowing-up
    0 references
    projective space bundle
    0 references
    dg enhancement
    0 references

    Identifiers