Lefschetz exceptional collections in \(S_k\)-equivariant categories of \((\mathbb{P}^n)^k\) (Q2049065)

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.