On complete intersections containing a linear subspace (Q2290853): Difference between revisions

In the paper under review, the authors study the Fano scheme \(F_{k}(Y)\) parametrizing \(k\)-dimensional linear subspaces contained in a complete intersection \(Y \subset \mathbb{P}^{m}\) of multi-degree \(\mathbf{d} = (d_{1},\dots,d_{s})\) with \(1 \leq s \leq m-2\) and such that \(\prod_{i=1}^{s} d_{i} > 2\). Let \(S_{\mathbf{d}} = \bigoplus_{i=1}^{s}H^{0}(\mathbb{P}^{m}, \mathcal{O}_{\mathbb{P}^{m}}(d_{i}))\) and consider its Zariski open subset \(S^{*}_{\mathbf{d}}:= \bigoplus_{i=1}^{s}H^{0}(\mathbb{P}^{m}, \mathcal{O}_{\mathbb{P}^{m}}(d_{i})\setminus\{0\})\). For any \(u = (g_{1},\dots, g_{s}) \in S^{*}_{\mathbf{d}}\), let \(Y_{u} = V(g_{1},\dots, g_{s}) \subset \mathbb{P}^{m}\) be the closed subscheme defined by the vanishing of polynomials \(g_{1},\dots,g_{s}\). For any integer \(k\geq 1\), we define the locus \[W_{\mathbf{d},k}:=\bigg\{u \in S^{*}_{\mathbf{d}} \, | \, F_{k}(Y_{u}) \neq \emptyset \bigg\} \subseteq S^{*}_{\mathbf{d}}\] and set \[t = t_{m,k,\mathbf{d}} :=\sum_{i=1}^{s} {d_{i} +\frac{k}{k}} - (k+1)(m-k).\] The main result of the paper can be formulated as follows. Main Result. Let \(m,k,s\) and \(\mathbf{d} = (d_{1},\dots, d_{s})\) be such that \(\prod_{i=1}^{s} d_{i} > 2\) and \(t>0\). Then \(W_{\mathbf{d},k} \subseteq S^{*}_{\mathbf{d}}\) is non-empty, irreducible and rational with \(\mathrm{codim}_{S^{*}_{\mathbf{d}}} \,(W_{\mathbf{d},k}) =t\). Furthermore, for a general point \(u \in W_{\mathbf{d},k}\), the variety \(Y_{u} \subset \mathbb{P}^{m}\) is a complete intersection of dimension \(m-s\) whose Fano scheme \(F_{k}(Y_{u})\) is a zero-dimensional scheme of length one. Moreover, \(Y_{u}\) has singular locus of dimension \(\max\{-1,2k+s-m-1\}\) along its unique \(k\)-dimensional linear subspace (in particular, \(Y_{u}\) is smooth if and only if \(m-s \geq 2k\)).