We exhibit a Cremona transformation of ${\bf P}^4$ such that the base loci of the map and its inverse are birational to K3 surfaces. The two K3 surfaces are derived equivalent but not isomorphic to each other. As an application, we show that the difference of the two K3 surfaces annihilates the class of the affine line in the Grothendieck ring of varieties.
A famous result of B. Crauder and S. Katz (1989) concerns the classification of special Cremona transformations whose base locus has dimension at most two. Furthermore, they also proved that a special Cremona transformation with base locus of dimension three has to be one of the following: 1) a quinto-quintic transformation of $\mathbb{P}^5$; 2) a cubo-quintic transformation of $\mathbb{P}^6$; or 3) a quadro-quintic transformation of $\mathbb{P}^8$. Special Cremona transformations as in case 1) have been classified by L. Ein and N. Shepherd-Barron (1989), while in our previous work (2013), we …
Given a birational map in the three dimensional projective space defined by monomials of degree $d$, we prove that its inverse is defined by monomials of degree at most $d^2-d+1$.
We give a way of estimating quickly the length of the hyperbolic isometry associated to a plane Cremona transformation that is presented as the product of two involutions. We also show, using the ideas of Cantat and Lamy, that, provided that the ground field is either algebraic of characteristic not 2 or of characteristic zero, the normal closure of a high power of such a transformation is a proper subgroup of the Cremona group; this gives an effective instantiation of some of their results. Moreover, we show that any hyperbolic Cremona transformation is rigid and give a simple criterion for i…
We identify Feigin-Odesskii brackets $q_{n,1}(C)$, associated with a normal elliptic curve of degree $n$, $C\subset {\mathbb P}^{n-1}$, with the skew-symmetric $n\times n$ matrix of quadratic forms introduced by Fisher in arXiv:1510.04327 in connection with some minimal free resolutions related to the secant varieties of $C$. On the other hand, we show that for odd $n$, the generators of the ideal of the secant variety of $C$ of codimension $3$ give a Cremona transformation of ${\mathbb P}^{n-1}$, generalizing the quadro-cubic Cremona transformation of ${\mathbb P}^4$. We identify this transfo…
A homogeneous polynomial of degree $d$ in $n+1$ variables is identifiable if it admits a unique additive decomposition in powers of linear forms. Identifiability is expected to be very rare. In this paper we conclude a work started more than a century ago and we describe all values of $d$ and $n$ for which a general polynomial of degree $d$ in $n+1$ variables is identifiable. This is done by classifying a special class of Cremona transformations of projective spaces.
We show that there is a pair of smooth complex quartic K3 surfaces $S_1$ and $S_2$ in ${\mathbf P}^3$ such that $S_1$ and $S_2$ are isomorphic as abstract varieties but not Cremona isomorphic. We also show, in a geometrically explicit way, that there is a pair of smooth complex quartic K3 surfaces $S_1$ and $S_2$ in ${\mathbf P}^3$ such that $S_1$ and $S_2$ are Cremona isomorphic, but not projectively isomorphic. This work is much motivated by several e-mails from Professors Tuyen Truong and János Kollár.
This article studies the group generated by automorphisms of the projective space of dimension $n$ and by the standard birational involution of degree $n$. Every element of this group only contracts rational hypersurfaces, but in odd dimension, there are simple elements having this property which do not belong to the group. Geometric properties of the elements of the group are given, as well as a description of its intersection with monomial transformations.
The Cremona group is the group of birational transformations of the plane. A birational transformation for which there exists a pencil of lines which is sent onto another pencil of lines is called a Jonquières transformation. By the famous Noether-Castelnuovo theorem, every birational transformation $f$ is a product of Jonquières transformations. The minimal number of factors in such a product will be called the length, and written $\mathrm{lgth}(f)$. Even if this length is rather unpredictable, we provide an explicit algorithm to compute it, which only depends on the multiplicities of the lin…
Two birational projective varieties in $P^n$ are Cremona Equivalent if there is a birational modification of $P^n$ mapping one onto the other. The minimal Cremona degree of $X\subset P^n$ is the minimal integer among all degrees of varieties that are Cremona Equivalent to $X$. The Cremona Equivalence and the minimal Cremona degree is well understood for subvarieties of codimension at least $2$ while both are in general very subtle questions for divisors. In this note I compute the minimal Cremona degree of quartic surfaces in $P^3$. This allows me to show that any quartic surface of elliptic r…
In this note we observe that the Cremona transformation in Oguiso's example of Cremona isomorphic but not projectively equivalent quartic K3 surfaces in three-dimensional projective space is the classical cubo-cubic transformation.
We study the birational self-maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non-prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invariance of parity under groupoid conjugations by birational maps, and a list of generators for the group of such maps.
A Cremona transformation is a birational self-map of the projective space $ \mathbb{P}^{n} $. Cremona transformations of $ \mathbb{P}^{n} $ form a group and this group has a rational action on subvarieties of $ \mathbb{P}^{n} $ and hence on its Hilbert scheme. We study this action on the family of rational curves of $ \mathbb{P}^{3} $ and we prove the rectifiability of any one dimensional family. This shows that any uniruled surface is Cremona equivalent to a scroll and it answers a question of Bogomolov-Böhning related to the study of uniformly rational varieties. We provide examples of infin…
In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study …
Two reduced projective schemes are said to be Cremona equivalent if there is a Cremona map that maps one in the other. In this paper I revise some of the known results about Cremona equivalence and extend the main result of [MP09] to reduced schemes. This allows to prove a very general contractibility result for union of rational subvarieties.
For each d we construct CAT(0) cube complexes on which Cremona groups rank d act by isometries. From these actions we deduce new and old group theoretical and dynamical results about Cremona groups. In particular, we study the dynamical behaviour of the irreducible components of exceptional loci, we prove regularization theorems, we find new constraints on the degree growth for non-regularizable birational transformations, and we show that the centralizer of certain birational transformations is small.
We study birational transformations belonging to Galois points. Let $P$ be a Galois point for a plane curve $C$ and $G_P$ be a Galois group at $P$. Then an element of $G_P$ induces a birational transformation of $C$. In general, it is difficult to determine when this birational transformations can be extended to a Cremona (or projective) transformation. In this article, we shall prove that if the Galois group is isomorphic to the cyclic group of order three, then any element of the Galois group has an expression as a de Jonquières transformation. In particular, they can be extended to Cremona …
Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal subgroup of the Cremona group.
In this paper we show how we can transform quadratic systems into new quadratic systems after some kind of birational transformations, the quadratic plane Cremona maps. We afterwards apply these transformations to the families of quadratic differential systems having an algebraic limit cycle. As a consequence, we provide a new family of quadratic systems having an algebraic limit cycle of degree 5. Moreover we show how the known families of quadratic differential systems having an algebraic limit cycle of degree greater than four are obtained using these transformations. We also provide the ph…
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the structure of torsion subgroups. As an appliction, we prove the Tits alternative for arbitrary subgroups of the Cremona group, generalizing a result of Cantat. We also describe solvable subgroups of the Cremona group and their derived length, refining results from Déserti.
We extend our classification of special Cremona transformations whose base locus has dimension at most three to the case when the target space is replaced by a (locally) factorial complete intersection.
Linearisation of finite abelian subgroups of the Cremona group of the plane
本文给出了[J. Blanc,Finite Abel subgroups of the Cremona group of the plane,C.R. Acad. Sci.巴黎先生I 344(2007),21-26.]以及有理曲面的自同构的一些描述。给出了平面Cremona群的有限Abel子群与极小曲面的自同构群群是否双有理共轭的一种判定方法。特别地,我们证明了平面的双有理变换的有限循环群是线性化的当且仅当它的非平凡元素都不固定正亏格的曲线。对于有限阿贝尔群,只有一个令人惊讶的例外,即同构于Z/2 ZxZ/4 Z的群,其非平凡元素不固定正亏格的曲线,但不共轭于极小有理曲面的自同构自同构群。我们也给出了del Pezzo曲面和锥丛的自同构(不一定是有穷级的)的一些描述。
One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). In a companion paper the authors described a noncommutative version of blowing down and, for example, gave a noncommutative analogue of Castelnuovo's classic theorem that lines of self-intersection (-1) on a smooth surface can be contracted. In this paper we will use these techniques to construct explicit birational transformations between various noncommutative surf…