We give a "modern" version, based on Mori theory, of the classification of birational involutions of P^2 up to conjugacy. The result has been known for more than one century but the classical proofs are not always convincing.
We construct families of birational involutions on $\mathbb{P}^3$ or a smooth cubic threefold which do not fit into a non-trivial elementary relation of Sarkisov links. As a consequence, we construct new homomorphisms from their group of birational transformations, effectively re-proving their non-simplicity. We also prove that these groups admit a free product structure. Finally, we produce automorphisms of these groups that are not generated by inner and field automorphisms.
Let $X$ be a rationally connected three-dimensional algebraic variety and let $τ$ be an element of order two in the group of its birational selfmaps. Suppose that there exists a non-uniruled divisorial component of the $τ$-fixed point locus. Using the equivariant minimal model program we give a rough classification of such elements.
In this paper we study 14 families among 85 families of anticanonically embedded Q-Fano threefolds weighted complete intersections of codimension 2 and show that every quasismooth member is birationally birigid, that is, it is birational to another Q-Fano threefold but not birational to any other Mori fiber space.
In this paper we give first examples of $\mathbb{Q}$-Fano threefolds whose birational Mori fiber structures consist of exactly three $\mathbb{Q}$-Fano threefolds. These examples are constructed as weighted hypersurfaces in a specific weighted projective space. We also observe that the number of birational Mori fiber structures does not behave upper semi-continuously in a family of $\mathbb{Q}$-Fano threefolds.
It is well-known that a nonsingular minimal cubic surface is birationally rigid; the group of its birational selfmaps is generated by biregular selfmaps and birational involutions such that all relations between the latter are implied by standard relations between reflections on an elliptic curve. It is also known that a factorial nodal quartic threefold is birationally rigid and its group of birational selfmaps is generated by biregular ones and certain birational involutions. We prove that all relations between these involutions are implied by standard relations on elliptic curves, complete …
Birational involutions of the real projective plane
University of Edinburgh(爱丁堡大学);Aix Marseille Univ, CNRS, I2M(艾克斯-马赛大学,法国国家科学研究中心,I2M研究所);Institut de Mathématiques de Bordeaux, UMR 5251 CNRS, Université de Bordeaux(波尔多数学研究所,CNRS联合研究单位5251,波尔多大学);Université Paris-Saclay, Institut de mathématique, CNRS, UMR 8628(巴黎萨克雷大学,数学研究所,CNRS联合研究单位8628)
This is a continuation of a series of papers studying the birational Mori fiber structures of anticanonically embedded $\mathbb{Q}$-Fano $3$-fold weighted complete intersections of codimension $2$. We have proved that $19$ families consists of birationally rigid varieties and $14$ families consists of birationally birigid varieties. The aim of this paper is to continue the work systematically and prove that, among the remaining $52$ families, $21$ families consist of birationally birigid varieties.
In this paper we consider Q-Fano 3-fold weighted complete intersections of codimension 2 in the 85 families listed in the Iano-Fletcher's list and determine which cycle is a maximal center or not. For each maximal center, we construct either a birational involution which untwists the maximal singularity or a Sarkisov link centered at the cycle to an another explicitly described Mori fiber space. As a consequence, 19 families are proved to be birationally rigid and the remaining 66 families are proved to be birationally nonrigid.
We give some properties of the subgroup $G_n(\mathbb{C})$ of the group of birational self-maps of $\mathbb{P}^n_\mathbb{C}$ generated by the standard involution and the group of automorphisms of $\mathbb{P}^n_\mathbb{C}$. We prove that there is no nontrivial finite-dimensional linear representation of $G_n(\mathbb{C})$. We also establish that $G_n(\mathbb{C})$ is perfect, and that $G_n(\mathbb{C})$ equipped with the Zariski topology is simple. Furthermore if $φ$ is an automorphism of $\mathrm{Bir}(\mathbb{P}^n_\mathbb{C})$, then up to birational conjugacy, and up to the action of a field autom…
We highlight a relation between the existence of Sarkisov links and the finite generation of (certain) Cox rings. We introduce explicit methods to use this relation in order to prove birational rigidity statements. To illustrate, we complete the birational rigidity results of Okada for Fano complete intersection 3-folds in singular weighted projective spaces.
We study the geography and birational geometry of 3-fold conic bundles over P^2 and cubic del Pezzo fibrations over P^1. We discuss many explicit examples and raise several open questions. This paper was submitted to the proceedings of the "Fano conference" held in Torino in October 2002.
In this paper we prove birational rigidity of large classes of Fano-Mori fibre spaces over a base of arbitrary dimension, bounded from above by a constant that depends on the dimension of the fibre only. In order to do that, we first show that if every fibre of a Fano-Mori fibre space satisfies certain natural conditions, then every birational map onto another Fano-Mori fibre space is fibre-wise. After that we construct large classes of fibre spaces (into Fano double spaces of index one and into Fano hypersurfaces of index one) which satisfy those conditions. The paper is a follow up of my pre…
We prove a version of the Sarkisov program for volume preserving birational maps of Mori fibred Calabi-Yau pairs valid in all dimensions. Our theorem generalises the theorem of Usnich and Blanc on factorisations of birational maps of the 2-dimensional torus that preserve the canonical volume form.
We study certain pencils of del Pezzo surfaces generated by a smooth del Pezzo surface S of degree less or equal to 3 anti-canonically embedded into a weighted projective space P and an appropriate multiple of a hyperplane H. Our main observation is that every minimal model program relative to the morphism lifting such pencil on a suitable resolution of its indeterminacies preserves the open subset P H â A^3. As an application, we obtain projective completions of A^3 into del Pezzo fibrations over P^1 of every degree less or equal to 4. We also obtain completions of A^3 into Mori conic bundles…
We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational models obtained by Mori's program are also moduli spaces of parabolic vector bundles with certain parabolic weights.
We study the birational properties of hypersurfaces in products of projective spaces. In the case of hypersurfaces in P^m x P^n, we describe their nef, movable and effective cones and determine when they are Mori dream spaces. Using these results, we give new simple examples of non-Mori dream spaces and analogues of Mumford's example of a strictly nef line bundle which is not ample.
We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of surfaces of general type. In addition, we describe the Enriques surfaces that are birational to the quotient of a Godeaux surface by an involution and we show that they give a 5-dimensional unirational irreducible subset of the moduli space of Enriques surfaces. Finally, by degenerating our description we obtain some examples of non-normal stable Godeaux sur…
We prove a relative version of the theorem of Cho, Miyaoka and Shepherd-Barron: a Mori fibre space of maximal length is birational to a projective bundle.
We study the birational rigidity problem for smooth Mori fibrations on del Pezzo surfaces of degree 1 and 2. For degree 1 we obtain a complete description of rigid and non-rigid cases.
Let $C$ be a hyperelliptic curve of genus $g \geq 3$. We give a new description of the theta map for moduli spaces of rank 2 semistable vector bundles with trivial determinant. In orther to do this, we describe a fibration of (a birational model of) the moduli space, whose fibers are GIT quotients $(\mathbb{P}^1)^{2g}//\operatorname{PGL(2)}$. Then, we use recent results of Kumar to identify the restriction of the theta map to these GIT quotients with some explicit osculating projection. As a corollary of this construction, we obtain a birational equivalence between the ramification locus of th…
In this paper we study on the involution on minimal surfaces of general type with $p_g=q=0$ and $K^2=7$. We focus on the classification of the birational models of the quotient surfaces and their branch divisors induced by an involution.
We prove that the redundant blow-up preserves the finite generation of the Cox ring of a rational surface under a suitable assumption, and we study the birational structure of Mori dream rational surfaces via redundant blow-ups. It turns out that the redundant blow-up completely characterizes birational morphisms of Mori dream rational surfaces with anticanonical Iitaka dimension $0$. As an application, we construct new Mori dream rational surfaces with anticanonical Iitaka dimension $0$ and $-\infty$ of arbitrarily large Picard number.
We survey our recent papers (some being joint ones) about the relation between the geometry of a compact Kähler manifold and the existence of automorphisms of positive entropy on it. We also use the language of log minimal model program (LMMP) in biraitonal geometry, but not its more sophisticated technical part. We give applications of LMMP to positivity of log canonical divisor of a Mori / Brody / Lang hyperbolic (quasi-) projective (singular) variety.
Moduli spaces of complete collineations are wonderful compactifications of spaces of linear maps of maximal rank between two fixed vector spaces. We investigate the birational geometry of moduli spaces of complete collineations and quadrics from the point of view of Mori theory. We compute their effective, nef and movable cones, the generators of their Cox rings, and their groups of pseudo-automorphisms. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of the space of complete collineations of the 3-dimensional proj…
We classify all Q-factorializations of (co)minuscule Schubert varieties by using their Mori dream space structure. As a corollary we obtain a description of all IH-small resolutions of (co)minuscule Schubert varieties generalizing results of Perrin. We improve his results by including algebraically closed fields of positive characteristic and cominuscule Schubert varieties. Moreover, the use of Q-factorializations and Mori dream spaces simplifies the arguments substantially.
We study birational geometry of the moduli space of parabolic bundles over a projective line, in the framework of Mori's program. We show that the moduli space is a Mori dream space. As a consequence, we obtain the finite generation of the algebra of type A conformal blocks. Furthermore, we compute the H-representation of the effective cone which was previously obtained by Belkale. For each big divisor, the associated birational model is described in terms of moduli space of parabolic bundles.
A complete classification is presented of elliptic and K3 fibrations birational to certain mildly singular complex Fano 3-folds. Detailed proofs are given for one example case, namely that of a general hypersurface X of degree 30 in weighted P^4 with weights 1,4,5,6,15; but our methods apply more generally. For constructing birational maps from X to elliptic and K3 fibrations we use Kawamata blowups and Mori theory to compute anticanonical rings; to exclude other possible fibrations we make a close examination of the strictly canonical singularities of (X,(1/n)H), where H is the linear system …
We give new estimates of lengths of extremal rays of birational type for toric varieties. We can see that our new estimates are the best by constructing some examples explicitly. As applications, we discuss the nefness and pseudo-effectivity of adjoint bundles of projective toric varieties. We also treat some generalizations of Fujita's freeness and very ampleness for toric varieties.
Bertini classified the birational involutions of the complex projective plane, but his geometric approach does not allow to explicit these maps easily. In this article, we present an effective approach to this problem by associating to each quadratic foliation a birational involution which is, in the generic case, a Geiser involution; this subject has already been covered by Geiser, Milinowski, Williams and alt. We end by making experiences, obtaining trivolutions from some foliations of degree 3.
We deal with the following question of Dolgachev : is the Cremona group generated by involutions ? Answer is yes in dimension $2$ (Cerveau-Deserti). We give an upper bound of the minimal number $\mathfrak{n}_φ$ of involutions we need to write a birational self map $φ$ of $\mathbb{P}^2_\mathbb{C}$. We prove that de Jonquières maps of $\mathbb{P}^3_\mathbb{C}$ and maps of small bidegree of $\mathbb{P}^3_\mathbb{C}$ can be written as a composition of involutions of $\mathbb{P}^3_\mathbb{C}$ and give an upper bound of $\mathfrak{n}_φ$ for such maps $φ$. We get similar results in particular for aut…
The classification problem for K3-surfaces equipped with finite groups $H$ of symplectic symmetry centralized by an antisymplectic involution is considered. An approach via equivariant Mori-reduction is employed. This method, which has proved to be successful even for rather small groups, is exemplified here by giving a complete classification in the case $H = C_3 \ltimes C_7$. The consideration of this particular group is related to the study of K3-surfaces with maximal finite groups of symplectic automorphisms. Applications to the case $L_2(7)$ are given.
Let X and Y be horospherical Mori fibre spaces which are birational equivariantly with respect to the group action. Then, there is a horospherical Sarkisov program from X/S to Y /T .
We prove a more general and precise version of the Noether-Fano inequalities for birational maps between Mori fiber spaces. This is applied to give descriptions of global canonical thresholds on Fano varieties of Picard number one.
We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational classification of non-commutative surfaces. As a non-trivial example of the theory developed, we look at non-commutative ruled surfaces and, more generally, at non-commutative $\PP^1$-bundles. We show in pa…
In this Lecture Notes we present, in a sufficiently self contained way, our contributions and interests in the field of Minimal Model Theory. We study Fano-Mori spaces, both from the biregular and the birational point of view. For the former we recall and develop Kawamata's Base Point Free technique and some of Mori's deformation arguments. For the latter we lean on Sarkisov and #-Minimal Model Programs. In writing these notes we want to give our point of view on this area of research. We are not trying to give a treatment of the whole subject. These notes collect some topics we presented in t…
We study dynamical systems induced by birational automorphisms on smooth cubic surfaces defined over a number field $K$. In particular we are interested in the product of non-commuting birational Geiser involutions of the cubic surface. We present results describing the sets of $K$ and $\bar{K}$-periodic points of the system, and give a necessary and sufficient condition for a dynamical local-global property called strong residual periodicity. Finally, we give a dynamical result relating to the Mordell--Weil problem on cubic surfaces.