The Abhyankar-Sathaye Problem asks whether any biregular embedding of affine spaces $A^m_k\to A^n_k$ can be rectified, that is, is equivalent to a linear embedding up to an automorphism of the target space. Here we study this problem for the embeddings $C^3 \to C^4$ whose image $X$ is given in $C^4$ by an equation $p=f(x,y)u+g(x,y,z)=0$, where $f\in C[x,y],$ $f\neq 0$ and $g\in C[x,y,z]$. Under certain additional assumptions we show that, indeed, the polynomial $p$ is a variable of the polynomial ring $C[x,y,z,u]$ (i.e., a coordinate of a polynomial automorphism of $C^4$). This is an analog of a theorem due to Sathaye which concerns the case of embeddings $C^2\to C^3$. Besides, we generalize a theorem of Miyanishi giving, for a polynomial $p$ as above, a criterion for as when $X$ is isomorphic to $C^3$.
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
Few explicit families of 3-folds are known for which the computation of the canonical ring is accessible and the birational geometry non-trivial. In this note we investigate a family of determinantal 3-folds in $\mathbb P^2 \times \mathbb P^3$ where this is the case.
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 give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this Theorem by Karu. Our proof uses only linear algebra, and is in the spirit of Christensen's proof of this result in dimension 3.
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.
Using a filtration on the Grothendieck ring of triangulated categories, we define the categorical dimension of a birational map between smooth projective varieties. We show that birational automorphisms of bounded categorical dimension form subgroups, which provide a nontrivial filtration of the Cremona group. We discuss some geometrical aspect and some explicit example. In the case of threefolds, we can moreover recover the genus of a birational automorphism, and the filtration defined by Frumkin.
By giving an estimate on the minimal slopes, we prove a Hilbert-Samuel formula for semiample and semipositive adelic line bundles. We also show the birational invariance of the arithmetic χ-volume and its continuous extension on the semiample cone.
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.
In this note, we present the theorem of extension of birational group laws in both settings of classical varieties (Weil) and schemes (Artin). We improve slightly the original proof with a more direct construction of the group extension and the systematic use of algebraic spaces, and we discuss the separation properties of the group extension. We also explain the important application to the construction of Néron models of abelian varieties. This note grew out of lectures given by Ariane Mézard and the second author at the Summer School "Schémas en groupes" held in the CIRM (Luminy) from 29 Au…
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.
Let $F$ be a finite set of monomials of the same degree $d\geq 2$ in a polynomial ring $R=k[x_1,...,x_n]$ over an arbitrary field $k$. We give some necessary and/or sufficient conditions for the birationality of the ring extension $k[F]\subset R^{(d)}$, where $R^{(d)}$ is the $d${\it th} Veronese subring of $R$. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygy-theoretic birationality criterion in characteristic zero
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…
Let $S$ be an unramified regular local ring of mixed characteristic $p\geq 3$ and $S^p$ the subring of $S$ obtained by lifting to $S$ the image of the Frobenius map on $S/pS$. Let $R$ be the integral closure of $S$ in a biradical extension of degree $p^2$ of its quotient field obtained by adjoining $p$-th roots of sufficiently general square free elements $f,g\in S^p$. We show that $R$ admits a birational maximal Cohen-Macaulay module. It is noted that $R$ is not automatically Cohen-Macaulay.
We extend the Cox-Hu-Keel construction of the Cox rings to any proper birational morphisms of normal noetherian schemes. It allows the representation of any proper birational morphism by a map of schemes with mild singularities with torus actions. In a particular case, the notion generalizes the combinatorial construction of Satriano and the recent construction of multiple weighted blow-ups on Artin-stacks by Abramovich-Quek. The latter can be viewed as an extension of stack theoretic blow-ups by Abramovich, Temkin, and Wlodarczyk, a similar construction of McQuillan and the author's recent co…
We produce counterexamples to the birational Torelli theorem for Calabi-Yau manifolds in arbitrarily high dimension: this is done by exhibiting a series of non birational pairs of Calabi-Yau $(n^2-1)$-folds which, for $n \geq 2$ even, admit an isometry between their middle cohomologies. These varieties also satisfy an $\mathbb L$-equivalence relation in the Grothendieck ring of varieties, i.e. the difference of their classes annihilates a power of the class of the affine line. We state this last property for a broader class of Calabi-Yau pairs, namely all those which are realized as pushforwar…
Burnside rings and volume forms with logarithmic poles
Université Paris Cité, Institut de Mathématiques de Jussieu-Paris Rive Gauche（巴黎西岱大学，儒勒·昂里希数学研究所（巴黎左岸））；Institut des Hautes Études Scientifiques（高等科学研究所）；Courant Institute, NYU（纽约大学柯朗数学科学研究所）
Given a birational normal extension S of a two-dimensional local regular ring R, we describe all the equisingularity types of the complete ideals J in R whose blowing-up has some point at which the local ring is analytically isomorphic to S. The problem of classifying the germs of such normal surface singularities was already posed by Spivakovsky (Ann. of Math. 1990). This problem has two parts: discrete and continous. The continous part is to some extent equivalent to the problem of the moduli of plane curve singularities, while the main result of this paper solves completely the discrete par…
Let $S$ be an unramified regular local ring of mixed characteristic two and $R$ the integral closure of $S$ in a biquadratic extension of its quotient field obtained by adjoining roots of sufficiently general square free elements $f,g\in S$. Let $S^2$ denote the subring of $S$ obtained by lifting to $S$ the image of the Frobenius map on $S/2S$. When at least one of $f,g\in S^2$, we characterize the Cohen-Macaulayness of $R$ and show that $R$ admits a birational small Cohen-Macaulay module. It is noted that $R$ is not automatically Cohen-Macaulay in case $f,g\in S^2$ or if $f,g\notin S^2$.
A Noetherian reduced ring $A$ is called a birational derived splinter if for all proper birational maps $X\to\operatorname{Spec}(A)$, the canonical map $A\to Rf_*\mathcal{O}_X$ splits. In equal characteristic zero this property characterizes rational singularities, but much less can be said in positive or mixed characteristics. In this paper, we prove some fundamental properties of this notion, including the behavior under localization, taking a pure subring, taking direct limit, and along an étale extension. In particular, direct limit of rational singularities in characteristic zero has rati…
Moduli spaces of complete skew-forms are compactifications of spaces of skew-symmetric linear maps of maximal rank on a fixed vector space, where the added boundary divisor is simple normal crossing. In this paper we compute their effective, nef and movable cones, the generators of their Cox rings, and for those spaces having Picard rank two we give an explicit presentation of the Cox ring. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of some spaces of complete skew-forms having Picard rank at most four.
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.
We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
We propose a study of the foliations of the projective plane induced by simple derivations of the polynomial ring in two indeterminates over the complex field. These correspond to foliations which have no invariant algebraic curve nor singularities in the complement of a line. We establish the position of these foliations in the birational classification of foliations and prove the finiteness of their birational symmetries. Most of the results apply to wider classes of foliations.
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…
Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is b…
For ordinary flops, the correspondence defined by the graph closure is shown to give equivalence of Chow motives and to preserve the Poincaré pairing. In the case of simple ordinary flops, this correspondence preserves the big quantum cohomology ring after an analytic continuation over the extended Kähler moduli space. For Mukai flops, it is shown that the birational map for the local models is deformation equivalent to isomorphisms. This implies that the birational map induces isomorphisms on the full quantum rings and all the quantum corrections attached to the extremal ray vanish.
We use homogeneous spectra of multigraded rings to construct toric embeddings of a large family of projective varieties which preserve some of the birational geometry of the underlying variety, generalizing the well-known construction associated to Mori Dream Spaces.
We develop some concrete methods to build Sarkisov links, starting from Mori fibre spaces. This is done by studying low rank Cox rings and their properties. As part of this development, we give an algorithm to construct explicitly the coarse moduli space of a toric Deligne-Mumford stack. This can be viewed as the generalisation of the notion of well-formedness for weighted projective spaces to homogeneous coordinate ring of toric varieties. As an illustration, we apply these methods to study birational transformations of certain fibrations of del Pezzo surfaces over $\mathbb{P}^1$, into other …
We construct a maximal discrete extension of the paramodular group with a full level-2 structure. The corresponding Siegel variety parametrizes (birationally) the space of Kummer surfaces associated to (1,p)-polarized abelian surfaces with a level-2 structure. In the case p=3 this is related to the Barth-Nieto quintic and in this case we also determine the space of cusp forms of weight 3.
We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.
Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano 3-folds), a subject that we hope is nearing completion. With the intention of remaining accessible to beginners in algebraic geometry, we include examples of elementary calculations of graded rings over curves and K3 surfaces. For us, K3 surfaces have at worst Du Val singularities and are polarised by an ample Weil divisor; they occur as the general elephant …
In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a defectless extension of two dimensional excellent local rings. We also obtain general results on the structure of the extension of associated graded rings along a valuation, and show that the invariants alpha and beta of stable forms of two dimensional extensions in characteristic p of the author and Olivier Piltant are not eventually constant.
Let $R$ be a polynomial ring and $I \subset R$ be a perfect ideal of height two minimally generated by forms of the same degree. We provide a formula for the multiplicity of the saturated special fiber ring of $I$. Interestingly, this formula is equal to an elementary symmetric polynomial in terms of the degrees of the syzygies of $I$. Applying ideas introduced in arXiv:1805.05180, we obtain the value of the j-multiplicity of $I$ and an effective method for determining the degree and birationality of rational maps defined by homogeneous generators of $I$.
We give an analytic version of the injectivity theorem by using multiplier ideal sheaves, and prove some extension theorems for the adjoint bundle of dlt pairs. Moreover, by combining techniques of the minimal model program, we obtain some results for semi-ampleness related to the abundance conjecture in birational geometry and the Strominger-Yau-Zaslow conjecture for hyperKähler manifolds.
We show that if $R$ is a local domain which is dominated by a valuation $ν$, then there does not always exist a regular local ring $R'$ which birationally dominates R and is dominated by $ν$ and an extension of $ν$ to the Henselization $(R')^h$ of $R'$ such that the associated graded rings of $R'$ and $(R')^h$ along the valuations are equal. We also show that there does not always exist $R'$, a prime ideal $p$ of the completion $\widehat{R'}$ such that $p\cap R'=(0)$ and an extension of $ν$ to $\widehat{R'}$ such that the associated graded rings of $R'$ and $\widehat{R'}/p$ along the valuation…
We give sufficient conditions for the descent construction to be the universal central extension of a twisted form of a split simple Lie algebra over a ring. In particular, the universal central extensions of twisted multiloop Lie tori are obtained by the descent construction.
In this paper we consider the question of when the associated graded ring along a valuation, ${\rm gr}_{ν^*}(S)$, is a finite ${\rm gr}_{ν^*}(R)$-module, where $S$ is a normal local ring which lies over a normal local ring $R$ and $ν^*$ is a valuation of the quotient field of $S$ which dominates $S$. We obtain a very general result in equicharacteristic zero in Theorem 1.5. We also obtain general results for unramified extensions of excellent local rings in Proposition 1.7.
In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable conditions. We aim to give many results on ascent and descent of certain ring theoretic properties under completion. As an application, we give conceptual details to the proof of the almost purity theorem for Witt-perfect rings by Davis and Kedlaya. Witt-perfect rings have the advantage that one does not need to assume that the rings are complete and separated.
We introduce a notion of "Galois closure" for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an S_n degree n extension of fields. Moreover, we prove a number of properties of this construction; for example, we show that it is functorial and respects base change. We also investigate the behavior of this Galois closure construction for various natural classes of ring extensions.
