On complete intersections containing a linear subspace

From MaRDI portal
Publication:2290853



Abstract: Consider the Fano scheme Fk(Y) parameterizing k-dimensional linear subspaces contained in a complete intersection YsubsetmathbbPm of multi-degree underlined=(d1,ldots,ds). It is known that, if and Pii=1sdi>2, for Y a general complete intersection as above, then Fk(Y) has dimension −t. In this paper we consider the case t>0. Then the locus Wunderlined,k of all complete intersections as above containing a k-dimensional linear subspace is irreducible and turns out to have codimension t in the parameter space of all complete intersections with the given multi-degree. Moreover, we prove that for general [Y]inWunderlined,k the scheme Fk(Y) is zero-dimensional of length one. This implies that Wunderlined,k is rational.


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\)).











This page was built for publication: On complete intersections containing a linear subspace

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2290853)