Lefschetz exceptional collections in S_k-equivariant categories of (P^n)^k
In this work, the author proves the existence of a rectangular Lefschetz exceptional collection inside the bounded derived category of \(S_3\)-invariant sheaves over \(\mathbb{P}^n\times\mathbb{P}^n\times\mathbb{P}^n\), when \(n=3p\) or \(n=3p+1\) and \(p\geq 1\), and for \(n=2\) the author provides a minimal Lefschetz decomposition of the derived category. To prove these results the author combines previous fundamental work on Lefschetz exceptional collection by \textit{A. D. Elagin} [Izv. Math. 73, No. 5, 893--920 (2009; Zbl 1181.14021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 73, No. 5, 37--66 (2009)] and \textit{A. V. Fonarev} [Izv. Math. 77, No. 5, 1044--1065 (2013; Zbl 1287.14007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 77, No. 5, 203--22 (2013)], the first lays the necessary conditions for working with group invariant derived categories and the second studies Lefschetz decompositions in the context of Grassmannians using the combinatorics of the Young diagrams, with the representation theory of the Grothendieck group \(K_\mathbb{C}\) of the derived category regarded as a \((\mathrm{GL}(K_\mathbb{C}),S_3)\)-bimodule. This last approach is responsible for providing a proof that in the case \(n=3p+2\) it is impossible to find a rectangular Lefschetz decomposition and also for finding numerical restrictions to the dimension of irreducible representations of \(K_\mathbb{C}\) with respect to the Young diagrams. The construction of the rectangular Lefschetz collections is done following Fonarev's construction, by using the box product of the canonical line bundles on \(\mathbb{P}^n\) to produce a lexicographically ordered sequence of line bundles on \(\mathbb{P}^n\times\mathbb{P}^n\times\mathbb{P}^n\) and the Young diagrams to find a subset of this collection responsible for generating a rectangular Lefschetz collection. This rectangular Lefschetz collection generates the \(S_3\)-invariant bounded derived category as a consequence of an elegant corollary in the preliminaries.
- \(S_2\)-invariant exceptional collections on \(\mathbb{P}^n\times \mathbb{P}^n\)
- Semiorthogonal decompositions of derived categories of equivariant coherent sheaves
- K-theoretic exceptional collections at roots of unity
- Equivariant exceptional collections on smooth toric stacks
- Minimal Lefschetz decompositions of the derived categories for Grassmannians
- Exceptional collections for Grassmannians of isotropic lines
- Homological projective duality
- scientific article; zbMATH DE number 1001729 (Why is no real title available?)
- scientific article; zbMATH DE number 51906 (Why is no real title available?)
- Lefschetz decompositions and categorical resolutions of singularities
- Minimal Lefschetz decompositions of the derived categories for Grassmannians
- On residual categories for Grassmannians
- ON THE DERIVED CATEGORY OF COHERENT SHEAVES ON GRASSMANN MANIFOLDS
- Semiorthogonal decompositions in algebraic geometry
- Semiorthogonal decompositions of derived categories of equivariant coherent sheaves
- Some remarks on the derived categories of coherent sheaves on homogeneous spaces
- The homological projective dual of \(\operatorname{Sym}^2\mathbb{P}(V)\)
- \(S_2\)-invariant exceptional collections on \(\mathbb{P}^n\times \mathbb{P}^n\)
- Exceptional sequences of 8 line bundles on \((\mathbb{P}^1 )^3\)
- K-theoretic exceptional collections at roots of unity
- Residual categories for (co)adjoint Grassmannians in classical types
- The structure of exceptional sequences on toric varieties of Picard rank two
This page was built for publication: Lefschetz exceptional collections in \(S_k\)-equivariant categories of \((\mathbb{P}^n)^k\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049065)
