Homological projective duality for determinantal varieties (Q277990): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.aim.2016.04.003 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.AIM.2016.04.003 / rank | |||
Normal rank |
Latest revision as of 13:16, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homological projective duality for determinantal varieties |
scientific article |
Statements
Homological projective duality for determinantal varieties (English)
0 references
2 May 2016
0 references
Homological Projective Duality (HPD) aims to generalize classical projective duality to a homological framework. It it a very important tool to study the bounded derived category of a projective variety, providing interesting semiorthogonal decompositions and offering ways to compare different varieties from the categorical point of view. Let \(X\) be a projective scheme and \(\mathscr{O}_X(H)\) a base-point-free line bundle. A Lefschetz decomposition of \(\text{D}^b(X)\) with respect to \(\mathscr{O}_X(H)\) is a semiorthogonal decomposition \[ \text{D}^b(X)=\langle A_0, A_1(H), \ldots, A_{i-1}((i-1)H) \rangle, \] with \(0 \subset A_{i-1} \subset \ldots \subset A_0\). Let \(X \to \mathbb{P}W\) the map given by the linear system associated with \(\mathscr{O}_X(H)\) and denote by \(\mathscr{X}\) the universal hyperplane section of \(X\). Roughtly speaking, a scheme \(Y\) with a map \(g:Y \to \mathbb{P}W^\vee\) is HP dual to \(X \to \mathbb{P}W\) with respect to a certain Lefschetz decomposition if there exists a fully faithful functor \(\Phi:\text{D}^b(Y)\to\text{D}^b(\mathscr{X})\) such that \[ \text{D}^b(\mathscr{X})=\langle \Phi(\text{D}^b(Y)), A_1(1) \boxtimes \text{D}^b(\mathbb{P}W^\vee), \ldots, A_{i-1}(i-1) \boxtimes \text{D}^b(\mathbb{P}W^\vee)\rangle. \] In the paper new families of HP dual varieties are described. The main result of the paper is the following: Theorem. Start with two vector spaces \(U\) and \(V\) of dimension \(m\) and \(n\) respectively with \(m \leq n\) and consider \(\mathcal{Q}\) and \(\mathcal{U}\) be the universal quotient and sub-bundle of the Grassmannian \(\mathbb{G}(U,r)\), \(0 < r < m\). Let \(\mathscr{X}:=\mathbb{P}(V \otimes \mathcal{Q})\) and \(\mathscr{Y}:=\mathbb{P}(V^\vee \otimes \mathcal{U}^\vee)\). Then \(\mathscr{X}\) and \(\mathscr{Y}\) are HP duals with Lefschetz decompositions explicitly given in the paper. Actually, \(\mathscr{X}\) is known to be the resolution of the variety \(\mathscr{Z}^r\) of \(m \times n\) matrices of rank at most \(r\). As a consequence of the main theorem the authors obtain a version of HPD also for \(\mathscr{Z}^r\). Two further important consequences of these results concernes problems about Fano-visitors and categorical representability. The notion of Fano-visitor comes from a question of Bondal: let \(X\) be a smooth projective variety; is there any smooth Fano variety \(Y\) together with a fully faithful functor \(\text{D}^b(X) \to \text{D}^b(Y)\)? If the answer is yes, \(X\) will be called a Fano-visitor. On the other hand, the notion of categorical representability of a variety was given in [\textit{M. Bernardara} and \textit{M. Bolognesi}, in: Derived categories in algebraic geometry. Proceedings of a conference held at the University of Tokyo, Japan in January 2011. Zürich: European Mathematical Society (EMS). 1--25 (2012; Zbl 1287.18010)]. A remarkable question associated to this notion is the following: is a rational projective variety always categorically representable in codimension at least two? In the paper an answer to such questions is given for the case of determinantal varieties, proving that the categorical resolution of singularities of any determinantal hypersurface of general type is a Fano-visitor, and that the categorical resolution of singularities of a rational determinantal variety is categorically representable in codimension at least two.
0 references
derived category
0 references
semi-orthogonal decompositions
0 references
projective varieties
0 references
determinantal varieties
0 references
homological projective duality
0 references
rationality questions
0 references
0 references
0 references