Matrix factorizations and singularity categories for stacks (Q2391368): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q114013467, #quickstatements; #temporary_batch_1711574657256 |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1011.4544 / rank | |||
Normal rank |
Revision as of 06:13, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Matrix factorizations and singularity categories for stacks |
scientific article |
Statements
Matrix factorizations and singularity categories for stacks (English)
0 references
31 July 2013
0 references
The matrix factorization of some \(W\) in a commutative ring \(R\) is a \(\mathbb{Z}/2\)-graded finitely projective \(R\)-module \(E = E_1 \oplus E_2\) along with an odd endomorphism \(\delta: E \rightarrow E\) such that \(\delta^2 = W \cdot \mathrm{id}\). This work builds on the initial work of \textit{D. Orlov} [Proc. Steklov Inst. Math. 246, 227--248 (2004); translation from Tr. Mat. Inst. Steklova 246, 240--262 (2004; Zbl 1101.81093)] on matrix factorizations where in particular Orlov proves an equivalence between the homotopy category HMF\((X,W)\) of matrix factorizations where \(X = \mathrm{Spec}(R)\) and the singularity category \(D_{sg}(X_0)=D^b(X_0)/\text{Perf}(X_0)\) of such objects, where \(X_0 = \mathrm{Spec}(R/(W))\). On not necessarily affine objects Orlov observed that the homotopy category of matrix factorizations is not the right object to consider and a localization would be more appropriate, and this is what the authors do in the present paper; they quotient HMF\((X,W)\) by the triangulated subcategory of locally contractible objects LHZ\((X,W)\) leading to the derived category DMF\((X,W)\). Further having applications to Mathematical Physics in mind where in particular orbifolds are common, the authors focus their attention on algebraic stacks \(X\) and then take \(W\) to be a section of a line bundle \(L\) on \(X\). For a smooth algebraic stack \(X\) of finite cohomological dimension for which for every coherent sheaf \(\mathcal{F}\) on \(X\) there is a vector bundle \(V\) and a surjection \(V \rightarrow \mathcal{F}\), \(X_0= W^{-1}(0)\), \(W\) not a zero divisor, the authors prove that there is an equivalence of triangulated categories \(\overline{\mathfrak{C}}: \text{DMF}(X,W) \rightarrow D_{sg}(X_0)\) induced by \(\mathfrak{C}: \text{HMF}(X,W) \rightarrow D_{sg}(X_0): (E_{\bullet}, \delta) \mapsto \text{coker}(\delta_1:E_1 \rightarrow E_0)\). The authors then prove weaker results for quasi-matrix factorizations, a certain kind of matrix factorizations for which in \(\overline{E}=(E_0 \oplus E_1, \delta)\) the \(E_i\)'s are locally free sheaves of not necessarily finite rank. Generalizing the definition of DMF\((X,W)\) accordingly they obtain DMF\(^{\infty}(X,W)\) for such objects and define \(D'_{sg}(X_0)=D^b(\text{Qcoh}(X_0))/\text{Lfr}(X_0)\). For the same type of stack \(X\) as above the authors show there is a fully faithful functor \(\mathfrak{C}^{\infty}: \text{DMF}^{\infty}(X,W) \rightarrow D'_{sg}(X_0)\), a result that is instrumental in defining a push-forward functor on matrix factorizations with support with a view towards applications to Fourier-Mukai transforms. Matrix factorizations with support \(Z\) are defined as forming a full subcategory HMF\((X,Z; W)\) of HMF\((X,W)\) of objects \(\overline{P}\) such that H\(^{\star}(\overline{P},x)=0\) for any \(x \in \widetilde{X_0-Z}\), \(Z\) a closed substack of \(X_0\), H\(^{\star}(\overline{P},x)\) the cohomology of the complex \((i_x ^* P, \delta_x)\), \(i_x : x \rightarrow P\) the natural embedding. Using the functor \(\mathfrak{C}^{\infty}\) above, a commutative diagram on singularity categories as well as the existence of a dg-functor \(f_*: \text{MF}^{\infty}(X, f^*W) \rightarrow \text{MF}^{\infty}(Y,W)\) for a smooth affine morphism \(f: X \rightarrow Y\) with geometrically integral fibers, the authors prove for smooth algebraic stacks of the kind studied above, \(f: X \rightarrow Y\) a morphism as above, there is a commutative diagram of derived categories of matrix factorizations with support and quasi-matrix factorizations giving a push-forward functor \(f_*: \overline{\text{DMF}}(X,Z; f^*W) \rightarrow \overline{\text{DMF}}(Y,W)\) on the idempotent completions of the former derived categories.
0 references
matrix factorizations
0 references
smooth algebraic stacks
0 references
singularity categories
0 references
derived categories
0 references
push-forward functors
0 references
quasi-matrix factorizations
0 references
dg-categories
0 references
localization
0 references