Schematic union of \((n-3)\) and \((n-2)\) dimensional quadrics in \(\mathbb{P}^n\) (Q2071450): Difference between revisions

For \(n \geq 3\), let \(\mathbb H_n \subset \text{Hilb} (\mathbb P^n)\) be the component of the Hilbert scheme whose general member is a union \(A \cup B\) with \(A \subset \mathbb P^n\) a quadric of codimension \(2\) and \(B \subset \mathbb P^n\) a quadric of codimension \(3\). Given linear subspaces \(H,L \subset \mathbb P^n\) of codimensions \(1\) and \(2\) and a general quadric hypersurface \(Q\), the map \((H,L,Q) \mapsto (H \cap Q) \cup (L \cap Q)\) induces a birational map \(\sigma: \mathbb X_n \to \mathbb H_n\), where \(\mathbb X_n \to \mathbb G(n-1,n) \times \mathbb G(n-2,n)\) is the projective bundle whose fiber over \((H,L)\) is the family of quadric hypersurfaces on \(\mathbb P^n\) modulo the quadrics in \(I_H \cdot I_L\). The map \(\sigma\) fails to be regular along the locus where \(H \subset Q\) or \(L \subset Q\). The authors assert an explicit sequence of three blow-ups \(\mathbb X_n^3 \to \mathbb X_n^2 \to \mathbb X_n^1 \to \mathbb X_n\) along smooth centers for which the rational map \(\mathbb X_n^3 \to \mathbb H\) induced by \(\sigma\) is a morphism for \(n \geq 3\), however they only give a proof for \(n=3\). Their proof analyzes orbits under the projective general linear group and uses some computations by the software SINGULAR. Similar results are known for the Hilbert scheme component whose general member is a union of a pair of codimension two linear subspaces [\textit{D. Chen}, \textit{I. Coskun} and the reviewer, Commun. Algebra 39, No. 8, 3021--3043 (2011; Zbl 1238.14012)] and more generally for the Hilbert scheme component whose general member is a union of two linear subspaces of any codimension [\textit{R. Ramkumar}, Math. Z. 300, No. 1, 493--540 (2022; Zbl 1481.14008)]. Inspired by computations of \textit{A. L. Meireles Araújo} et al. [Int. J. Algebra Comput. 29, No. 1, 9--21 (2019; Zbl 1411.14013)] and \textit{J. A. D. Maia} et al. [J. Pure Appl. Algebra 217, No. 8, 1379--1394 (2013; Zbl 1268.14047)], the authors then give an enumerative formula for the degree of the variety of degree \(d\) surfaces \(S \subset \mathbb P^3\) containing a conic and two points varying on a fixed line.