On the unipotence of autoequivalences of toric complete intersection Calabi-Yau categories (Q431246): Difference between revisions
From MaRDI portal
Revision as of 09:28, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the unipotence of autoequivalences of toric complete intersection Calabi-Yau categories |
scientific article |
Statements
On the unipotence of autoequivalences of toric complete intersection Calabi-Yau categories (English)
0 references
26 June 2012
0 references
Let \(\mathbb{P}_\Sigma\) be a complete smooth toric Fano variety defined by a fan \(\Sigma\) in a lattice \(N\cong \mathbb{Z}^{n-k}\) and let \(X\) be a Calabi--Yau complete intersection in \(\mathbb{P}_\Sigma\) with complete intersection ring \(S\). The aim of the paper under review is to establish the (quasi-)unipotence of a class of elements in the group of autoequivalences \(\text{Aut}(D^b(X))\) of the bounded derived category \(D^b(X)\). In order to do this, the authors use various descriptions of \(D^b(X)\). Firstly, it can be seen as the Verdier quotient \(D^b(\text{qgr}_\Sigma S)\) of the bounded derived category of graded S-modules \(D^b(\text{gr}S)\) by its full triangulated subcategory of \(J_\Sigma\)-torsion modules, where \(J_\Sigma\) is the Cox ideal. The second point of view starts as follows. The variety \(X\) itself can be described as the critical locus of a holomorphic function \(W\) on the total space of a holomorphic vector bundle built from the toric data. Namely, if \(X\) is defined by \(l\) transversal polynomials \(G_a\) of \(\mathbb{Z}^k\)-degree \(d_a\) (where \(k\) is the rank of the Picard group of \(\mathbb{P}_\Sigma\)), one can build a bigger fan \(\widehat{\Sigma} \subset N\oplus \mathbb{Z}^l\) and the corresponding toric variety \(\mathbb{P}_{\widehat{\Sigma}}\) is the total space of the bundle \(\oplus_a \mathcal{O}(-d_a)\) over \(\mathbb{P}_\Sigma\). The polynomial \(W\) is the sum \(\sum_a p_aG_a\), where \(p_a\) are the auxiliary coordinates coming from the enlargement of the fan. If \(\widehat{R}\) is the coordinate ring associated with \(\widehat{\Sigma}\), consider \(\widehat{S}=\widehat{R}/(W)\widehat{R}\) and its singularity category \[ D_{sg}(\text{gr}\widehat{S}):= D^b(\text{gr} \widehat{S})/\text{Perf}(\text{gr} \widehat{S}), \] where \(\text{Perf}(\text{gr} \widehat{S})\) is the category of bounded complexes of free modules. Prop.\ 1 establishes an equivalence \(D_{sg}(\text{gr}\widehat{S})\cong D^b(\text{gr}S)\) and Thm.\ 2 states that \[ D^b(\text{qgr}_\Sigma S)\cong D_{sg}(\text{qgr}_{\widehat{\Sigma}}\widehat{S}), \] where the latter quotient singularity category is the Verdier quotient of \(D_{sg}(\text{gr}\widehat{S})\) by the image (under the projection functor) of the full triangulated subcategory of \(D^b(\text{gr}\widehat{S})\) consisting of graded \(J_{\widehat{\Sigma}}\)-torsion modules. The next step is to define quotient singularity categories for each maximal cone of the secondary fan of \(\mathbb{P}_{\widehat{\Sigma}}\) and to establish their equivalence for any pair of neighbouring maximal cones. The main result can then roughly be stated as follows. For each toric divisor \(D_i\in \text{Pic}(\mathbb{P}_{\widehat{\Sigma}})\) with canonical section \(x_i\) of \(\mathcal{O}(D_i)\) and some maximal fan \(\widehat{\Phi}\), define \(\mathcal{N}_{\widehat{\Phi}}\) to be the endofunctor of the associated singularity category, and hence of \(D^b(X)\), given by \[ \mathcal{N}_{\widehat{\Phi}}(x_i)(-)=\text{cone}(x_i: - \rightarrow -\otimes \mathcal{O}(D_i)[r_i]), \] where \(r_i = 0\) for \(1\leq i\leq n\) and \(r_i = 2\) for \(n + 1 \leq i \leq n + l\). Then for each subset \(\mathcal{I}\subset \left\{1,\ldots, n+l\right\}\) such that the corresponding set of edges is not contained in any cone of \(\widehat{\Phi}\), there is the relation \[ \bigcirc_{i\in \mathcal{I}}\mathcal{N}_{\widehat{\Phi}}(x_i)\cong 0. \] This formula also implies an appropriate relation on the level of K-theory. The above fits in nicely with the homological mirror symmetry (HMS) conjecture. Namely, let \(\mathcal{Y}\) be the family of Calabi--Yau manifolds mirror to \(X\) and let \(B\) be the base of the family after removing the singular fibres. Monodromies around loops in \(B\) induce autoequivalences of the Fukaya category of \(Y\), where \(Y\) is the generic fibre of \(\mathcal{Y}\), and hence, by HMS, autoequivalences of \(D^b(X)\). Now, the action of \(\text{Pic}(\mathbb{P}_{\widehat{\Sigma}})\) obtained from a maximal cone \(\widehat{\Phi}\) of the secondary fan is a categorical lift of the monodromies around the boundary divisor of \(B\) corresponding to \(\widehat{\Phi}\).
0 references
toric Calabi-Yau variety
0 references
complete intersection
0 references
derived category
0 references
autoequivalences
0 references
singularity category
0 references
0 references