On the non-defectivity of non weak-defectivity of Segre-Veronese embeddings of products of projective spaces (Q2492145)

Summary: Fix integers \(s\geq 2\) and \(n\geq 1\). Set \(\widetilde x_i:=n+i-1\) if \(3\leq i\leq s\) and \(\widetilde x_2:=\max\{3,n+1\}\). Set \(\widetilde x_1: =9\) if \(n=1\) and \(\widetilde x_1=n!(n+1)-n\) if \(n\geq 2\). Fix integers \(x_i\geq\widetilde x_i\), \(1 \leq i\leq s\). Here we prove that the line bundle \({\mathcal O}_{\mathbb{P}^n\times (\mathbb{P}^1)^{s-1}}(x_1,\dots,x_s)\) is not weakly defective, i.e., for every integer \(z\) such that \(z(n+s)+1\leq{n+ x_1\choose n}\prod^s_{i=2}(x_i+1)\) the linear system \(|{\mathcal I}_Z (x_1,\dots,x_s)|\) has dimension \({n+x_1\choose n} \prod^s_{i=2} (x_i+1)-z(n+s)-1\) and a general \(T\in|{\mathcal I}_Z(x_1,\dots,x_s)|\) has an ordinary double point at each point of \(Z_{\text{red}}\) as only singularities, where \(Z\subset\mathbb{P}^n\times(\mathbb{P}^1)^{s-1}\) is a general union of \(z\) double points.