Cycle class maps and birational invariants

Lectures on Factorization of Birational Maps

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.

Birational maps of del Pezzo fibrations

In this paper, we study rigidity of nonsingular del Pezzo fibrations over a germ of smooth curve.

由Fourier-Mukai变换诱导的K3曲面上稳定层模空间的双有理映射

Birational maps of moduli spaces of stable sheaves on a K3 surface induced by Fourier-Mukai transforms

该研究探讨由Fourier-Mukai变换诱导的皮卡数为1的K3曲面上稳定层模空间的双有理映射问题。

On the Strong Factorization of Toric Birational Maps

This paper has been withdrawn by the author, due to a counter example to step 6.2 indicated by K. Karu.

Log Crepant Birational Maps and Derived Categories

We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.

Birational self-maps of threefolds of (un)-bounded genus or gonality

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.

Birational maps and Nori motives

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.

Birational maps of 3-folds

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.

Quarto-quartic birational maps of $\mathbb{P}_3(\mathbb{C})$

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.

构造Mori Dream Spaces之间双有理映射的几何实现

Constructing geometric realizations of birational maps between Mori Dream Spaces

本文为Mori Dream Spaces间的双有理映射构造几何实现，证明其仍为MDS且诱导墙穿越分解，并提供SageMath工具及环面情形下的矩多胞体构造。

Functorial factorization of birational maps for qe schemes in characteristic 0

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.

A note on the factorization theorem of toric birational maps after Morelli and its toroidal extension

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.

保体积映射的双有理不变量

Birational invariants of volume preserving maps

该文研究n维射影空间中保持带对数极点的标准环面不变体积形式的双有理自同构群，证明特定维数下该群不能由伪正则化映射生成且非单群。

O'Grady's Birational Maps via Wall-hitting

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.

Birational self-maps and piecewise algebraic geometry

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.

Birational motives, I: pure birational motives

This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained by "killing" the Lefschetz motive in the corresponding category of effective motives. For rational equivalence, it encompasses Bloch's decomposition of the diagonal. We study the induced Chow-Künneth decompositions in this category, and establish relationships with Rost's cycle modules and the Albanese functor for smooth projective varieties.

Birational Mori fiber structures of Q-Fano 3-fold weighted complete intersections

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.

关于Severi-Brauer曲面双有理映射的一个行列式

A determinant on birational maps of Severi-Brauer surfaces

本研究在完美域非平凡Severi-Brauer曲面自同构群上定义行列式并推广到双有理映射，结合已有群同态得到其双有理变换群的首个非平凡自同构几何有理曲面的阿贝尔化，进而找出该群的极大子群。

Symplectic resolutions: deformations and birational maps

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).

Birational maps between Calabi-Yau manifolds associated to webs of quadrics

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.

Combinatorics of affine birational maps

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.

Erratum to the paper "A note on the factorization theorem of toric birational maps after Morelli and its toroidal extension"

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.

有限阶辛理性自映射在Kummer型 manifold 上

Finite order symplectic birational self-maps on Kummer-type manifolds

研究Kummer型射影超kähler manifold 的有限阶辛理性自映射性质，证明除某些Picard rank 3情况外，此类映射均属于扭曲模形式，且通过Néron-Severi lattices完全刻画例外情况。

Some properties of the group of birational maps generated by the automorphisms of $\mathbb{P}^n_\mathbb{C}$ and the standard involution

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…

On the genus of birational maps between 3-folds

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.

三线有理映射的实直线共线

Real Line Congruences of Trilinear Birational Maps

本文对三线有理映射在实数域上的参数直线共线进行了分类，探讨了其与代数曲面参数化的联系。

论K3$^{[n]}$型射影超kähler流形的辛双有理自映射

On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

本文证明了容许非平凡有限阶辛双有理自映射的K3$^{[n]}$型射影超kähler流形必同构于K3曲面上稳定（扭曲）凝聚层的模空间，并进一步刻画了层模空间可移动锥上由双有理对合产生的反射。

双射自同构的motivic不变量的无界性

Unboundedness for motivic invariants of birational automorphisms

研究双射自同构的motivic不变量在三维流形上消失，而在高维投影空间上无界，并证明其自同构群不生成于特定结构映射。

Berglund-Hübsch-Krawitz Mirrors via Shioda Maps

We give an elementary approach to proving the birationality of multiple Berglund-Hübsch-Krawitz (BHK) mirrors by using Shioda maps. We do this by creating a birational picture of the BHK correspondence in general. Although a similar result has been obtained in recent months by Shoemaker, our proof is new in that it sidesteps using toric geometry and drops an unnecessary hypothesis. We give an explicit quotient of a Fermat variety to which the mirrors are birational.

The ordinal of dynamical degrees of birational maps of the projective plane

We show that the ordinal of the dynamical degrees of all complex birational maps of the projective plane is $ω^ω$.

Periodic points of birational maps on projective surfaces

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.

循环猜想与有限域上的理性不变量

Cycle conjectures and birational invariants over finite fields

本文研究了有限域上变种的理性不变量，并证明其消失与多个重要猜想等价，同时揭示了这些猜想在不同次数中的关系。

On the degree growth of iterated birational maps

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.

Birational geometry for d-critical loci and wall-crossing in Calabi-Yau 3-folds

The notion of d-critical loci was introduced by Joyce in order to give classical shadows of $(-1)$-shifted symplectic derived schemes. In this paper, we discuss birational geometry for d-critical loci, by introducing notions such as `d-critical flips', `d-critical flops', etc. They are not birational maps of the underlying spaces, but rather should be understood as virtual birational maps. We show that several wall-crossing phenomena of moduli spaces of stable objects on Calabi-Yau 3-folds are described in terms of d-critical birational geometry. Among them, we show that wall-crossing diagrams…

有理齐性空间作为双有理变换的几何实现

Rational homogeneous spaces as geometric realizations of birational transformations

本文通过有理齐性空间上的 $\mathbb{C}^*$ 作用，实现了反演映射、特殊 Cremona 变换及类型 $(2,1)$ 的特殊双有理变换等经典双有理映射的几何实现。

On the birational geometry of matroids

This paper investigates isomorphisms of Bergman fans of matroids respecting different fan structures, which we regard as matroid analogs of birational maps. We show that isomorphisms respecting the fine fan structure are induced by matroid isomorphisms. We introduce Cremona automorphisms of the coarse structure of Bergman fans, which are not induced by matroid automorphisms. We show that the automorphism group of the coarse fan structure is generated by matroid automorphisms and Cremona maps in the case of rank 3 matroids which are not parallel connections and for modularly complemented matroi…

On birational maps from cubic threefolds

We characterise smooth curves in a smooth cubic threefold whose blow-ups produce a weak-Fano threefold. These are curves $C$ of genus $g$ and degree $d$, such that (i) $2(d-5) \le g$ and $d\le 6$; (ii) $C$ does not admit a 3-secant line in the cubic threefold. Among the list of ten possible such types $(g,d)$, two were previously left as open numerical possibilities, namely $(g,d) = (0,5)$ and $(2,6)$. Using the Sarkisov link associated with a curve of type $(2,6)$, we are able to produce the first example of a pseudo-automorphism with dynamical degree greater than $1$ on a smooth threefold wi…

Birational maps conjugate to the rank 2 cluster mutations of affine types and their geometry

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 …

Inversion maps and torus actions on rational homogeneous varieties

Complex projective algebraic varieties with $\mathbb{C}^*$-actions can be thought of as geometric counterparts of birational transformations. In this paper we describe geometrically the birational transformations associated to rational homogeneous varieties endowed with a $\mathbb{C}^*$-action with no proper isotropy subgroups.

Invariant curves for birational surface maps

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.

Birational cobordisms and factorization of birational maps

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…

Pluricanonical maps of varieties of Albanese fiber dimension two

In this paper we prove that for any smooth projective variety of Albanese fiber dimension two and of general type, the 6-canonical map is birational. And we also show that the 5-canonical map is birational for any such variety with some geometric restrictions.

Transformations birationnelles de petit degré

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 …

双有理映射的Motivic不变量

Motivic invariants of birational maps

该研究构造了取值于Kontsevich–Tschinkel群与截尾Grothendieck簇群的双有理映射群胚同态不变量，用于研究Grothendieck环结构与L-等价性，并基于已有L-等价构造得到Cremona群的新结论。

Local Strong Factorization of birational maps

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.

Nœther decomposition for birational maps

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)$.

Birational maps of moduli of Brill-Noether pairs

Let $C$ be a smooth projective irreducible curve of genus $g$. And let $G_α(n,d,l)$ be the moduli space of $α$ stable pairs of a vector bundle of $\rank n, °d$ and a subspace of $H^0(C,E)$ of $\dim = l $. We find an explicit birational map from $G_α (n, d, n+1)$ to $G_α (1, d, n+1)$ for $C$ general, $1/α\gg 0$ and $g \ge n^2-1$. Because of this and other examples, we conjecture $G_α (a, d, a+z)$ maps birationally to $G_α (z, d, a+z)$ for $1/ α\gg 0$ and $C$ general with $g>2$.

Effective criteria for bigraded birational maps

In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by lookin…

理想的Open loci及其在Birational maps中的应用

Open loci of ideals with applications to Birational maps

本文证明了特定理想在参数空间中构成Zariski开集，并以此证明了任意射影簇X上具有明确多项式次数d的birational maps集合$\Bir(X)_{d}$是可构造集，扩展了Blanc和Furter的结果。

Degree and birationality of multi-graded rational maps

We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining polynomials of the rational map. A key ingredient is a new algebra that we call the "saturated special fiber ring", which turns out to be a fundamental tool to analyze the degree of a rational map. We …

Birational geometry of moduli spaces of stable objects on Enriques surfaces

Using wall-crossing for K3 surfaces, we establish birational equivalence of moduli spaces of stable objects on generic Enriques surfaces for different stability conditions. As an application, we prove in the case of a Mukai vector of odd rank that they are birational to Hilbert schemes. The argument makes use of a new Chow-theoretic result, showing that moduli spaces on an Enriques surface give rise to constant cycle subvarieties of the moduli spaces of the covering K3.

Birational geometry of Fano double spaces of index two

We study birational geometry of Fano varieties, realized as double covers $σ\colon V\to {\mathbb P}^M$, $M\geq 5$, branched over generic hypersurfaces $W=W_{2(M-1)}$ of degree $2(M-1)$. We prove that the only structures of a rationally connected fiber space on $V$ are the pencils-subsystems of the free linear system $|-\frac12 K_V|$. The groups of birational and biregular self-maps of the variety $V$ coincide.

随机的birational映射乘积：曲线预像的等分布

Random products of birational maps: Equidistribution of preimages of curves

本文研究了随机birational变换乘积对平面中曲线预像的等分布性质，基于Diller和Roeder最近的工作，探讨了Cremona群在所有平面模型的当前空间逆极限上的作用，并证明了随机有限支持行走的等分布性。

Bounds on the degrees of birational maps with arithmetically Cohen-Macaulay graphs

A rational map whose source and image are projectively embedded varieties has an {\em Arithmetically Cohen-Macaulay graph} if the Rees algebra of one (hence any) of its base ideals is a Cohen-Macaulay ring. If the map is birational onto the image one considers how this property forces an upper bound on the degree of a representative of the map. In the plane case a complete description is given of the Cremona maps with Cohen-Macaulay graph, while in arbitrary dimension $n$ it is shown that a Cremona map with Cohen-Macaulay graph has degree at most $n^2$.