On special quadratic birational transformations whose base locus has dimension at most three (Q374117): Difference between revisions

In the paper under review, the author continues to study quadratic transformations of special type started in [Rend. Circ. Mat. Palermo (2) 61, No. 3, 403--429 (2012; Zbl 1261.14005)]. Let \(\varphi:\mathbb{P}^n\dashrightarrow\mathbf{S}:=\overline{\varphi(\mathbb{P}^n)}\subseteq\mathbb{P}^N\) be a birational map defined by quadratics with smooth connected base locus \(\mathfrak{B}\) and with \(\mathbf{S}\) non-degenerate, linearly normal, and factorial. Let \(\mathfrak{B}'\) be the base locus of \(\varphi^{-1}\). Assume that \(\varphi\) is \textit{liftable}, that is, there exits a rational map \(\hat{\varphi}:\mathbb{P}^N\dashrightarrow\mathbb{P}^n\) defined by a sublinear system of \(|\mathcal{O}_{\mathbb{P}^N}(d)|\) having base locus \(\hat{\mathfrak{B}}\) with \(\mathfrak{B}'=\hat{\mathfrak{B}}\cap\mathbf{S}\). Furthermore, assume that \((\text{sing}(\mathbf{S}))_{\text{red}}\neq(\mathfrak{B}')_{\text{red}}\). Based on previous work by \textit{L. Ein} and \textit{N. Shepherd-Barron} [Am. J. Math. 111, No. 5, 783--800 (1989; Zbl 0708.14009)] and Staglianò [loc. cit.], the geometry of \(\varphi\) and \(\mathfrak{B}\) can be understood better: \(\text{Sec}(\mathfrak{B})\subseteq\mathbb{P}^n\) is a hypersurface of degree \(2d-1\) and \(\mathfrak{B}\) a QEL-variety of type \(\delta=2r+2-n\), where \(r=\dim(\mathfrak{B})\). See Proposition 1.5. The main result is that for \(r\leq3\), the author classifies the geometry of \(\varphi\) and \(\mathfrak{B}\). This is summarized in Table 1, Section 7. The author also provides partial results for \(r=4\) in Section 8 and includes many concrete examples in Section 6.