Matrix factorizations and semi-orthogonal decompositions for blowing-ups (Q344486): Difference between revisions
From MaRDI portal
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 / name | links / 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
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
0 references