On special quadratic birational transformations of a projective space into a hypersurface (Q1928222): Difference between revisions

Let \(\phi\) be a rational map \(\phi: \mathbb P^n\cdots\to S \subset \mathbb P^{n+1}\), where \(S\) is a normal hypersurface and \(\phi\) is birational onto the image. \(\phi\) has bidegree \((d',d)\) if it is given by a subsystem of \(|\mathcal O_{\mathbb P^n}(d')|\) and its inverse is given by a subsystem of \(|\mathcal O_S(d)|\). The author studies maps \(\phi\) of bidegree \((2,d)\), for which the base locus \(B\) is smooth and connected. When \(d=1\), there is only one example of such rational map \(\phi\) (modulo projective equivalence). When \(d>1\), the author studies the classification of maps \(\phi\), in terms of the degree of the hypersurface \(S\). In particular, the author describes the structure of maps \(\phi\) of bidegree \((2,2)\), when \(\deg(S)=2\). Weaker results when both \(d\) and \(\deg(S)\) grow are listed. The author also shows how one can find a classification of maps of bidegree \((2,d)\), when some restrictions on the base locus \(B\) (e.g. restrictions on the dimension of \(B\)) are introduced.