The Hilbert scheme of a pair of linear spaces (Q2070943): Difference between revisions

\textit{D. Chen} et al. [Commun. Algebra 39, 3021--3043 (2011; Zbl 1238.14012] studied the Hilbert scheme component \(H_n \subset \text{Hilb} (\mathbb P^n)\) whose general point corresponds to the union of a pair of codimension two linear subspaces meeting transversely, showing that \(H_n\) is smooth, isomorphic to the blow up of the symmetric square of \(\mathbb G (n-2,n)\) along the diagonal, meets only one other component of the Hilbert scheme, and is a Mori dream space. Extending this work, the author offers a very complete study of the component \(\mathcal H_{c,d}^n \subset \text{Hilb} (\mathbb P^n)\) whose general point parametrizes a union of two linear subspaces of codimensions \(2 \leq c \leq d\) which meet transversely. He shows that \(\mathcal H_{c,d}^n\) is smooth, constructing it as (a) an iterated blow up over the symmetric square of \(\mathbb G (n-c,n)\) if \(c=d\) or (b) an iterated blow up over \(\mathbb G (n-c,n) \times \mathbb G (n-d,n)\) if \(d > c\). To show these isomorphisms, he constructs a Gröbner basis for the ideals of schemes parametrized by \(\mathcal H_{c,d}^n\), which leads to a classification of those schemes and the conclusion that \(\mathcal H_{c,d}^n\) has a unique Borel fixed point. In particular, there are exactly \(2^c\) schemes parametrized by \(\mathcal H_{c,d}^n\) up to projective equivalence. He goes on to determine the effective and Nef cones of \(\mathcal H_{c,d}^n\), concluding that \(\mathcal H_{c,d}^n\) is a Mori dream space. Furthermore \(\mathcal H_{c,d}^n\) is Fano if and only if \(c=3\) and \(n=5\) or \(c \neq 3\) and \(n=2c-1\) or \(2c\).