Special cubic Cremona transformations of \(\mathbb{P}^{6}\) and \(\mathbb{P}^{7}\) (Q2424552)

A Cremona transformation is a birational transformation of a projective space. It has bidegree \((d_1,d_2)\) if it is defined by a linear system of degree \(d_1\) and its inverse is defined by a linear system of degree \(d_2\). A special Cremona transformation is a Cremona transformation of which the base locus is a smooth irreducible variety of dimension \(>0\). In [\textit{B. Crauder} and \textit{S. Katz}, Am. J. Math. 111, No. 2, 289--307 (1989; Zbl 0699.14015); ibid. 113, No. 2, 269--285 (1991; Zbl 0754.14009)], special Cremona transformations with base locus of dimension \(\leq 3\) are classified. When the base locus is of dimension \(\leq 2\), Bruce Crauder and Sheldon Katz gave a complete list of triples \((n,(d_1,d_2),X)\) where \(n\leq 3\) is the dimension of the projective space, \((d_1,d_2)\) is the bidegree of the special Cremona transformation and \(X\) is the base locus variety. When the base locus is of dimension \(3\), they proved that there are at most three possibilities for the couples \((n,(d_1,d_2))\): \((5,(5,5))\), \((6,(3,5))\) or \((8,(2,5))\). However whether the three possibilities can actually occur or not was not known, nor the geometry of \(X\). In this paper the author studies the case \((6,(3,5))\). Together with the previous works [\textit{L. Ein} and \textit{N. Shepherd-Barron}; Am. J. Math. 111, No. 5, 783--800 (1989; Zbl 0708.14009); \textit{K. Hulek} et al., Math. Z. 209, No. 3, 419--443 (1992; Zbl 0767.14005); \textit{G. Staglianò}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 24, No. 3, 409--436 (2013; Zbl 1282.14024); \textit{G. Staglianò}, J. Symb. Comput. 74, 635--649 (2016; Zbl 1374.14014)], this gives a complete list of \(((d_1,d_2),X)\) for \(n=3\). Since the dimension of \(X\) is \(\leq 3\) when \(n\leq 6\), this also completes the classification of special Cremona transformations in dimension \(\leq 6\). The author then studies the case \(n=7\), showing that there is only one possibility. We refer to the well-written introduction of the paper for a complete list of \((n,(d_1,d_2),X)\) when \(n\leq 7\) or \(\dim(X)\leq 3\).