We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this paper, we prove the birational rigidity of Fano-Mori fibre spaces $\pi \colon V\to S$, every fibre of which is a Fano complete intersection of index 1 and codimension $k\geqslant 3$ in the projective space ${\mathbb P}^{M+k}$ for M sufficiently high, satisfying certain natural conditions of general position, in the assumption that the fibre space $V/S$ is sufficiently twisted over the base. The dimension of the base S is bounded from above by a constant, depending only on the dimension M of the fibre (as the dimension of the fibre M grows, this constant grows as $\frac 12 M^2$).
We give a lattice-theoretic characterization for a manifold of $\operatorname {\mathrm {OG10}}$ type to be birational to some moduli space of (twisted) sheaves on a K3 surface. We apply it to the Li–Pertusi–Zhao variety of $\operatorname {\mathrm {OG10}}$ type associated to any smooth cubic fourfold. Moreover, we determine when a birational transformation is induced by an automorphism of the K3 surface, and we use this to classify all induced birational symplectic involutions.
In this article, we study Galois points of plane curves and the extension of the corresponding Galois group to $\mathrm{Bir}(\mathbb{P}^2)$. We prove that if the Galois group has order at most $3$, it always extends to a subgroup of the Jonquières group associated with the point $P$. Conversely, with a degree of at least $4$, we prove that it is false. We provide an example of a Galois extension whose Galois group is extendable to Cremona transformations but not to a group of de Jonquières maps with respect to $P$. In addition, we also give an example of a Galois extension whose Galois group cannot be extended to Cremona transformations.
We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups:
${\mathfrak{A}}_5$
,
${\text{PSL}}_2(\textbf{F}_7)$
,
${\mathfrak{A}}_6$
,
${\text{SL}}_2(\textbf{F}_8)$
,
${\mathfrak{A}}_7$
,
${\text{PSp}}_4(\textbf{F}_3)$
,
${\text{SL}}_2(\textbf{F}_{7})$
,
$2.{\mathfrak{A}}_5$
,
$2.{\mathfrak{A}}_6$
,
$3.{\mathfrak{A}}_6$
or
$6.{\mathfrak{A}}_6$
. All of these groups with a possible exception of
$2.{\mathfrak{A}}_6$
and
$6.{\mathfrak{A}}_6$
indeed act on some rationally connected threefolds.
A famous problem in birational geometry is to determine when the birational automorphism group of a Fano variety is finite. The Noether–Fano method has been the main approach to this problem. The purpose of this paper is to give a new approach to the problem by showing that in every positive characteristic, there are Fano varieties of arbitrarily large index with finite (or even trivial) birational automorphism group. To do this, we prove that these varieties admit ample and birationally equivariant line bundles. Our result applies the differential forms that Kollár produces on $p$-cyclic covers in characteristic $p > 0$.
We develop the formalism of universal torsors in equivariant birational geometry and apply it to produce new examples of nonbirational but stably birational actions of finite groups.
An effective lower bound on the entropy of some explicit quadratic plane Cremona transformations is given. The motivation is that such transformations (Hénon maps, or Feistel ciphers) are used in symmetric key cryptography. Moreover, a hyperbolic plane Cremona transformation g is rigid, in the sense of [5], and under further explicit conditions some power of g is tight.
Let be a dominant rational self-map of a smooth projective variety defined over $\overline{\mathbb{Q}}$. For each point $P\in X(\overline{\mathbb{Q}})$ whose forward $f$-orbit is well defined, Silverman introduced the arithmetic degree $\unicode[STIX]{x1D6FC}_{f}(P)$, which measures the growth rate of the heights of the points $f^{n}(P)$. Kawaguchi and Silverman conjectured that $\unicode[STIX]{x1D6FC}_{f}(P)$ is well defined and that, as $P$ varies, the set of values obtained by $\unicode[STIX]{x1D6FC}_{f}(P)$ is finite. Based on constructions by Bedford and Kim and by McMullen, we give a counterexample to this conjecture when $X=\mathbb{P}^{4}$.
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
We prove the birational rigidity of Fano complete intersections of index 1 with a singular point of high multiplicity, which can be close to the degree of the variety. In particular, the groups of birational and biregular automorphisms of these varieties are equal, and they are non-rational. The proof is based on the techniques of the method of maximal singularities, the generalized 4n2-inequality for complete intersection singularities and the technique of hypertangent divisors.
We exhibit a Cremona transformation of $\mathbb{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.
We realize O’Grady’s six-dimensional example of an irreducible holomorphic symplectic (IHS) manifold as a quotient of an IHS manifold of $\text{K3}^{[3]}$ type by a birational involution, thereby computing its Hodge numbers.
We consider countably many three-dimensional PSL2($\mathbb{F}$7)-del Pezzo surface fibrations over ℙ1. Conjecturally, they are all irrational except two families, one of which is the product of a del Pezzo surface with ℙ1. We show that the other model is PSL2($\mathbb{F}$7)-equivariantly birational to ℙ2×ℙ1. Based on a result of Prokhorov, we show that they are non-conjugate as subgroups of the Cremona group Cr3(ℂ).
Let $G$ be a finite group. A faithful $G$-variety $X$ is called strongly incompressible if every dominant $G$-equivariant rationalmap of $X$ onto another faithful $G$-variety $Y$ is birational. We settle the problem of existence of strongly incompressible $G$-curves for any finite group $G$ and any base field $k$ of characteristic zero.
For a general Fano 3-fold of index 1 in the weighted projective space ℙ(1, 1, 1, 1, 2, 2, 3) we construct two new birational models that are Mori fibre spaces in the framework of the so-called Sarkisov program. We highlight a relation between the corresponding birational maps, as a circle of Sarkisov links, visualizing the notion of relations in the Sarkisov program.
We consider plane Cremona maps with proper base points and the base ideal generated by the linear system of forms defining the map. The object of this work is to study the link between the algebraic properties of the base ideal and those of the ideal of these points fattened by the virtual multiplicities arising from the linear system. We reveal conditions which naturally regulate this association, with particular emphasis on the homological side. While most classical numerical inequalities concern the three highest virtual multiplicities, here we emphasize also the role of one single highest multiplicity. In this vein we describe classes of Cremona maps for large and small values of the highest virtual multiplicity. We also deal with the delicate question as to when is the base ideal non-saturated and consider the structure of its saturation.
This paper is concerned with suitable generalizations of a plane de Jonquières map to higher dimensional space ${{\mathbb{P}}^{n}}$ with $n\,\ge \,3$. For each given point of ${{\mathbb{P}}^{n}}$ there is a subgroup of the entire Cremona group of dimension $n$ consisting of such maps. We study both geometric and group-theoretical properties of this notion. In the case where $n\,=\,3$ we describe an explicit set of generators of the group and give a homological characterization of a basic subgroup thereof.
The algebra of one-sided inverses of a polynomial algebra Pn in n variables is obtained from Pn by adding commuting left (but not two-sided) inverses of the canonical generators of the algebra Pn. The algebra is isomorphic to the algebra
of scalar integro-differential operators provided that char(K) = 0. Ignoring the non-Noetherian property, the algebra belongs to a family of algebras like the nth Weyl algebra An and the polynomial algebra P2n. Explicit generators are found for the group Gn of automorphisms of the algebra and for the group of units of (both groups are huge). An analogue of the Jacobian homomorphism AutK-alg (Pn) → K* is introduced for the group Gn (notice that the algebra is non-commutative and neither left nor right Noetherian). The polynomial Jacobian homomorphism is unique. Its analogue is also unique for n > 2 but for n = 1, 2 there are exactly two of them. The proof is based on the following theorem that is proved in the paper:
We exhibit a pseudoeffective $\mathbb{R}$-divisor ${D}_{\lambda }$ on the blow-up of ${\mathbb{P}}^{3}$ at nine very general points which lies in the closed movable cone and has negative intersections with a set of curves whose union is Zariski dense. It follows that the diminished base locus ${\boldsymbol{B}}_{-}({D}_{\lambda })={\bigcup }_{A\,\text{ample}}\boldsymbol{B}({D}_{\lambda }+A)$ is not closed and that ${D}_{\lambda }$ does not admit a Zariski decomposition in even a very weak sense. By a similar method, we construct an $\mathbb{R}$-divisor on the family of blow-ups of ${\mathbb{P}}^{2}$ at ten distinct points, which is nef on a very general fiber but fails to be nef over countably many prime divisors in the base.