\(S_2\)-invariant exceptional collections on \(\mathbb{P}^n\times \mathbb{P}^n\) (Q2113436)

Let \(X\) be an algebraic variety with an action of a group \(G\). \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)] described the construction of a semiorthogonal decomposition of the derived category \(D_G(X)\) of \(G\)-equivariant coherent sheaves on \(X\) from an exceptional sequence of sheaves invariant under the action of \(G\) generating the derived category \(D(X)\). In this paper, the author considers the case \(X=(\mathbb P^n)^k\) with the natural action of the permutation group \(S_k\). He proves the fullness of arbitrary \(S_k\)-invariant exceptional collections of length \((n + 1)^k\) consisting of line bundles \(\mathcal O(a)\) in \(D((\mathbb P^n)^k)\) for \(k=2\). Note that the author also obtained already some partial analogous results for \(k=3\) in [Eur. J. Math. 7, No. 3, 1182--1208 (2021; Zbl 1475.14036)].