We classify invariant curves for birational surface maps that are expanding on cohomology. When the expansion is exponential, the arithmetic genus of an invariant curve is at most one. This implies severe constraints on both the type and number of irreducible components of the curve. In the case of an invariant curve with genus equal to one, we show that there is an associated invariant meromorphic two form.
We classify birational maps of projective smooth surfaces whose non-critical periodic points are Zariski dense. In particular, we show that if the first dynamical degree is greater than one, then the periodic points are Zariski dense.
Since the end of the XIXth century, we know that each birational map of the complex projective plane is the product of a finite number of quadratic birational maps of the projective plane; this motivates our work which essentially deals with these quadratic maps. We establish algebraic properties such as the classification of one parameter groups of quadratic birational maps or the smoothness of the set of quadratic birational maps in the set of rational maps. We prove that a finite number of generic quadratic birational maps generates a free group. We show that if f is a quadratic birational …
We study K-equivalent birational maps which are resolved by a single blowup. Examples of such maps include standard flops and twisted Mukai flops. We give a criterion for such maps to be a standard flop or a twisted Mukai flop. As an application, we classify all such birational maps up to dimension 5.
We study the birational maps of $\mathbb{P}^3_\mathbb{C}$. More precisely we describe the irreducible components of the set of birational maps of bidegree $(3,3)$ (resp. $(3,4)$, resp. $(3,5)$).
This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known either to be bounded or to have a linear, quadratic or exponential growth. The classification elements of infinite order with a bounded sequence of degrees is achieved, the case of elements of finite order being already known. The coefficients of the linear and quadratic growth are then described, and related to geometrical properties of the map. The dynamical number of base-points is also studied. Applications of our results are the description of embeddings of the Baumslag-Solitar …
We study the group of polynomial automorphisms of $\mathbb{C}^3$ (resp. birational self-maps of $\mathbb{P}^3_\mathbb{C}$) that preserve the contact structure.
This is an expanded version of the notes for the lectures given by the author at RIMS in the summer of 1999 to give a detailed account of the proof for the (weak) factorization theorem of birational maps by Abramovich-Karu-Matsuki-Włodarczyk.
We study the complexity of birational self-maps of a projective threefold $X$ by looking at the birational type of surfaces contracted. These surfaces are birational to the product of the projective line with a smooth projective curve. We prove that the genus of the curves occuring is unbounded if and only if $X$ is birational to a conic bundle or a fibration into cubic surfaces. Similarly, we prove that the gonality of the curves is unbounded if and only if $X$ is birational to a conic bundle.
In this note, we sketch an approach to the problems of equivariant birational geometry developed by M. Kontsevich and Yu. Tschinkel, where Burnside invariants were introduced. We are making explicit the role of Nori constructions in this environment.
We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.
We look at sequences of positive integers that can be realized as degree sequences of iterates of rational dominant maps of smooth projective varieties over arbitrary fields. New constraints on the degree growth of endomorphisms of the affine space and examples of degree sequences are displayed. We also show that the set of all degree sequences of rational maps is countable; this generalizes a result of Bonifant and Fornaess.
We show that two curves of Artin-Schreier type have a birational embedding into a projective plane with two Galois points. As a consequence, all curves with large automorphism groups in the classification list by Henn have a birational embedding with two Galois points.
We construct a determinantal family of quarto-quartic transformations of a complex projective space of dimension $3$ from trigonal curves of degree $8$ and genus $5$. Moreover we show that the variety of $(4,4)$-birational maps of $\mathbb{P}_3(\mathbb{C})$ has at least four irreducible components and describe three of them.
We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces.
The recent two proofs for the (weak) factorization theorem for birational maps, one by Włodarczyk and the other by Abramovich-Karu-Matsuki-Włodarczyk rely on the results of Morelli. The former uses the process for $π$-desingularization (the most subtle part of Morelli's combinatorial algorithm), while the latter uses the strong factorization of toric (toroidal) birational maps directly. This paper provides a coherent account of Morelli's work (and its toroidal extension) clarifying some discrepancies in the original argument.
We observe that O'Grady's birational maps between moduli of sheaves on an elliptic K3 surface can be interpreted as intermediate wall-crossing (wall-hitting) transformations at the so-called totally semistable walls, studied by Bayer and Macrì. As an ingredient to prove this observation, we describe the first totally semistable wall for ideal sheaves of $n$ points on the elliptic K3. We then use this observation to make a remark on Marian and Oprea's strange duality.
A criterion for the existence of a birational embedding with two Galois points for quotient curves is presented. We apply our criterion to several curves, for example, some cyclic subcovers of the Giulietti-Korchmaros curve or of the curves constructed by Skabelund. They are new examples of plane curves with two Galois points.
Let X be a smooth Fano variety of dimension at least 4. We show that if X has an elementary birational contraction sending a divisor to a curve, then the Picard number of X is smaller or equal to 5.
Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the complex reduced varieties (X \ U), (X \ V) are piecewise isomorphic.
Let X be a variety of maximal Albanese dimension. In this paper we prove that if χ(ω_X)=1 then the q(X)<=2dim X and if q(X)=2dim X, then X is birational to a product of curves of genus 2.
In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally étale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties. A crucial role in the considerations is played by K^*-actions where K is the base field. This paper serves as a basis for proving the weak factorization conjecture on factorization of birational maps in characteristic zero into blow-ups and blow-downs. This is carried out in two subsequent papers, o…
We consider two (densely defined) involutions on the space of $q\times q$ matrices; $I(x_{ij})$ is the matrix inverse of $(x_{ij})$, and $J(x_{ij})$ is the matrix whose $ij$th entry is the reciprocal $x_{ij}^{-1}$. Let $K=I\circ J$. The set ${\cal SC}_q$ of symmetric, cyclic matrices is invariant under $K$. In this paper, we determine the degrees of the iterates $K^n=K\circ...\circ K$ restricted to ${\cal SC}_q$.
We construct a family of birational maps acting on two dimensional projective varieties, for which the growth of the degrees of the iterates is cubic. It is known that this growth can be bounded, linear, quadratic or exponential for such maps acting on two dimensional compact Kähler varieties. The example we construct goes beyond this limitation, thanks to the presence of a singularity on the variety where the maps act. We provide all details of the calculations.
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
In this paper we consider the birational classification of pairs (S,L), with S a rational surfaces and L a linear system on S. We give a classification theorem for such pairs and we determine, for each irreducible plane curve B, its "Cremona minimal" models, i.e. those plane curves which are equivalent to B via a Cremona transformation, and have minimal degree under this condition.
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.
Mutations of the cluster variables generating the cluster algebra of type $A^{(2)}_2$ reduce to a two-dimensional discrete integrable system given by a quartic birational map. The invariant curve of the map is a singular quartic curve, and its resolution of the singularity induces a discrete integrable system on a conic governed by a cubic birational map conjugate to the cluster mutations of type $A^{(2)}_2$. Moreover, it is shown that the conic is also the invariant curve of the quadratic birational map arising from the cluster mutations of type $A^{(1)}_1$ and the two birational maps on the …
Unfortunately, some proofs in the first version of this paper were incorrect. In this revised version, some minor gaps are fixed, one serious mistake found. The main theorem is now claimed only under a restrictive technical assumption. This invalidates the application to quotient singularities by the Weyl group of type $G_2$. Everything else still stands (in particular, the claim that every symplectic resolution is semismall).
We consider two varieties associated to a web of quadrics W in the projective space of dimension 7. One is the base locus and the second one is the double cover of the three dimensional projective space branched along the determinant surface of W. We show that small resolutions of these varieties are Calabi-Yau manifolds. We compute their Betti numbers and show that they are not birational in the generic case. The main result states that if the base locus of W contains a plane then in the generic case the two varieties are birational.
The main object of study of the present paper is the group $\au_n$ of \emph{unimodular automorphisms} of $\com^n$. Taking $\au_n$ as a working example, our intention was to develop an approach (or rather an edifice) which allows one to prove, for instance, the non-simplicity of $\au_n$ for all $n \geq 3$. More systematic and, perhaps, general exposition will appear elsewhere.
The relevance of the algebraic entropy in the study of birational discrete time dynamical systems highlights the need to relate it to other characteristics of these systems. In this letter, two complementary proofs are given that the foliation of the space by invariant curves implies that the algebraic entropy is zero.
We show that there exists a plane curve of degree $q^3+1$ with two inner Galois points whose smooth model is the Hermitian curve of degree $q+1$, where $q$ is a power of the characteristic $p>0$. Similar results hold for the Suzuki and Ree curves respectively.
This is an erratum to math.AG/9803126, Tohoku 51 (1999) 489-537. This erratum describes: 1. the failure of the algorithm in [AMR] and [Morelli1] for the strong factorization pointed out by Kalle Karu, 2. the statement of a refined weak factorization theorem for toroidal birational morphisms in [AMR], in the form utilized in [AKMR] for the proof of the weak factorization theorem for general birationla maps, avoiding the use of the above mentioned algorithm for the strong factorization, and 3. a list of corrections for a few other mistakes in [AMR], mostly pointed out by Laurent Bonavero.
We study birational projective models of ${\mathcal M}_{2,2}$ obtained from the moduli space of curves with nonspecial divisors. We describe geometrically which singular curves appear in these models and show that one of them is obtained by blowing down the Weierstrass divisor in the moduli stack of ${\mathcal Z}$-stable curves $\overline{\mathcal M}_{2,2}({\mathcal Z})$ defined by Smyth. As a corollary, we prove projectivity of the coarse moduli space $\overline{M}_{2,2}({\mathcal Z})$.
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…
In this note we present two equivalent definitions for the genus of a birational map X --> Y between smooth complex projective 3-folds. The first one is the definition introduced in 1973 by M. A. Frumkin, the second one was recently suggested to me by S. Cantat. By focusing first on proving that these two definitions are equivalent, one can obtain all the results of the paper of Frumkin in a much shorter way. In particular, the genus of an automorphism of $\mathbb{C}^3$, view as a birational self-map of the projective space, will easily be proved to be 0.
This is the authors doctoral thesis written at the Humboldt-University Berlin. It contains material from the three separate papers: "On the Kodaira dimension of the moduli space of nodal curves", "On quotients of $\overline{\mathcal{M}}_{g,n}$ by certain subgroups of $S_n$" and "The moduli space of hyperelliptic curves with marked points".
The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We prove a local version of the strong factorization conjecture for toric varieties. Combining this result with the monomialization theorem of S.D.Cutkosky, we obtain a strong factorization theorem for local rings dominated by a valuation.
In this paper we consider moduli spaces of coherent systems on an elliptic curve. We compute their Hodge polynomials and determine their birational types in some cases. Moreover we prove that certain moduli spaces of coherent systems are isomorphic. This last result uses the Fourier-Mukai transform of coherent systems introduced by Hernández Ruiperez and Tejero Prieto.
We consider the space $\mathcal R_{g,S_3}^{S_3}$ of curves with a connected $S_3$-cover, proving that for any odd genus $g\geq 13$ this moduli is of general type. Furthermore we develop a set of tools that are essential in approaching the case of $G$-covers for any finite group $G$.
We prove that the moduli space ${\Cal M}_{g,n}$ of smooth curves of genus $g$ with $n$ marked points is rational for $g=6$ and $1 \le n \le 8$, and it is unirational for $g=8$ and $1 \le n \le 11$, $g=10$ and $1 \le n \le 3$, $g=12$ and $n = 1$.
Let $ϕ$ be a birational map of the complex projective plane. We know that $ϕ$ can be written as a composition of automorphisms of $\mathbb{P}^2_\mathbb{C}$ and the standard quadratic birational map $σ$. This writing, that is non-unique, is minimal if the number $\mathfrak{n}(ϕ)$ of $σ$ is as small as possible. We prove that if $ϕ$ is of degree $d\geq 2$, then $\big[\frac{\ln d}{\ln 2}\big]\leq\mathfrak{n}(ϕ)\leq 2(2d-1)$.