We prove the birational superrigidity and the nonrationality of a cyclic triple cover of $\mathbb{P}^{2n}$ branched over a nodal hypersurface of degree $3n$ for $n\ge 2$. In particular, the obtained result solves the problem of the birational superrigidity of smooth cyclic triple spaces. We also consider certain relevant problems.
We determine birational superrigidity for a quasi-smooth prime Fano 3-fold of codimension 4 with no projection centers. In particular we prove birational superrigidity for Fano 3-folds of codimension 4 with no projection centers which are recently constructed by Coughlan and Ducat. We also pose some questions and a conjecture regarding the classification of birationally superrigid Fano 3-folds.
We prove that every birationally superrigid Fano variety whose alpha invariant is greater than (resp. no smaller than) $\frac{1}{2}$ is K-stable (resp. K-semistable). We also prove that the alpha invariant of a birationally superrigid Fano variety of dimension $n$ is at least $\frac{1}{n+1}$ (under mild assumptions) and that the moduli space (if exists) of birationally superrigid Fano varieties is separated.
Any minimal Del Pezzo G-surface S of degree smaller than 3 is G-birationally rigid. We classify those which are G-birationally superrigid and for those which fail to be so, we describe the equations of a set of generators for the infinite group of G-birational automorphisms.
We prove that a Fano complete intersection of codimension $k$ and index 1 in the complex projective space ${\mathbb P}^{M+k}$ for $k\geqslant 20$ and $M\geqslant 8k\log k$ with at most multi-quadratic singularities is birationally superrigid. The codimension of the complement to the set of birationally superrigid complete intersections in the natural parameter space is shown to be at least $\frac12 (M-5k)(M-6k)$. The proof is based on the techniques of hypertangent divisors combined with the recently discovered $4n^2$-inequality for complete intersection singularities.
We prove that in the parameter space of $M$-dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $\frac12 (M-9)(M-10)-1$.
We prove that a general Fano fibration $π\colon V\to {\mathbb P}^1$, the fiber of which is a double Fano hypersurface of index 1, is birationally superrigid provided it is sufficiently twisted over the base. In particular, on $V$ there are no other structures of a rationally connected fibration. The proof is based on the method of maximal singularities.
We prove that a smooth Fano hypersurface $V=V_M\subset{\Bbb P}^M$, $M\geq 6$, is birationally superrigid. In particular, it cannot be fibered into uniruled varieties by a non-trivial rational map and each birational map onto a minimal Fano variety of the same dimension is a biregular isomorphism. The proof is based on the method of maximal singularities combined with the connectedness principle of Shokurov and Koll\' ar.
We prove birational superrigidity of generic Fano complete intersections $V$ of type $2^{k_1}\cdot 3^{k_2}$ in the projective space ${\mathbb P}^{2k_1+3k_2}$, under the condition that $k_2\geq 2$ and $k_1+2k_2=\mathop{\rm dim} V\geq 12$, and of a few families of Fano complete intersections of dimension 10 and 11. This is the third version: minor corrections were made, including a few typos.
We prove birational superrigidity of every hypersurface of degree N in P^N with singular locus of dimension s, under the assumption that N is at least 2s+8 and it has only quadratic singularities of rank at least N-s. Combined with the results of I. A. Chel'tsov and T. de Fernex, this completes the list of birationally superrigid singular hypersurfaces with only ordinary double points except in dimension 4 and 6. Further we impose an additional condition on the base locus of a birational map to a Mori fiber space. Then we prove conditional birational superrigidity of certain smooth Fano hypers…
Iterating the procedure of making a double cover over a given variety, we construct large families of smooth higher-dimensional Fano varieties of index 1. These varieties can be realized as complete intersections in various weighted projective spaces. A generic variety in these families is proved to be birationally superrigid; in particular, it admits no non-trivial structures of a fibration into rationally connected (or uniruled) varieties, it is non-rational and its groups of birational and biregular self-maps coincide.
In this paper we prove birational superrigidity of finite covers of degree $d$ of the $M$-dimensional projective space of index 1, where $d\geqslant 5$ and $M\geqslant 10$, with at most quadratic singularities of rank $\geqslant 7$, satisfying certain regularity conditions. Up to now, only cyclic covers were studied in this respect. The set of varieties with worse singularities or not satisfying the regularity conditions is of codimension $\geqslant\frac12(M-4)(M-5)+1$ in the natural parameter space of the family.
We prove that for N greater than or equal to 4, all smooth hypersurfaces of degree N in P^N are birationally superrigid. First discovered in the case N = 4 by Iskovskikh and Manin in a work that started this whole direction of research, this property was later conjectured to hold in general by Pukhlikov. The proof relies on the method of maximal singularities in combination with a delicate formula on restrictions of multiplier ideals.
We prove that every projectively normal Fano manifold in $\mathbb{P}^{n+r}$ of index $1$, codimension $r$ and dimension $n\geq 10r$ is birationally superrigid and K-stable. This result was previously proved by Zhuang under the complete intersection assumption.
We prove that a generic (in the sense of Zariski topology) Fano complete intersection $V$ of the type $(d_1,...,d_k)$ in ${\mathbb P}^{M+k}$, where $d_1+...+d_k=M+k$, is birationally superrigid if $M\geq 7$, $M\geq k+3$ and $\mathop{\rm max} \{d_i\}\geq 4$. In particular, on the variety $V$ there is exactly one structure of a Mori fibre space (or a rationally connected fibre space), the groups of birational and biregular self-maps coincide, $\mathop{\rm Bir} V= \mathop{\rm Aut} V$, and the variety $V$ is non-rational. This fact covers a considerably larger range of complete intersections than …
We prove that every smooth complete intersection X defined by s hypersurfaces of degree d_1, ... , d_s in a projective space of dimension d_1 + ... + d_s is birationally superrigid if 5s +1 is at most 2(d_1 + ... + d_s + 1)/sqrt{d_1...d_s}. In particular, X is non-rational and Bir(X)=Aut(X). We also prove birational superrigidity of singular complete intersections with similar numerical condition. These extend the results proved by Tommaso de Fernex.
We prove that every smooth Fano complete intersection of index $1$ and codimension $r$ in $\mathbb{P}^{n+r}$ is birationally superrigid and K-stable if $n\ge 10r$. We also propose a generalization of Tian's criterion of K-stability and, as an application, prove the K-stability of the complete intersection of a quadric and a cubic in $\mathbb{P}^5$. In the appendix (written jointly with C. Stibitz), we prove the conditional birational superrigidity of Fano complete intersections of higher index in large dimension.
We introduce an inductive argument for proving birational superrigidity and K-stability of singular Fano complete intersections of index one, using the same types of information from lower dimensions. In particular, we prove that a hypersurface in $\mathbb{P}^{n+1}$ of degree $n+1$ with only ordinary singularities of multiplicity at most $n-5$ is birationally superrigid and K-stable if $n\gg0$. As part of the argument, we also establish an adjunction type result for local volumes of singularities.
University of Edinburgh(爱丁堡大学);Aix Marseille University, CNRS, I2M(艾克斯-马赛大学,法国国家科学研究中心,I2M);Steklov Mathematical Institute(斯捷克洛夫数学研究所);Laboratory of Algebraic Geometry, HSE University(高等经济学院代数几何实验室)
We show that the moduli spaces of non-triple cyclic coverings of genus 2 curves and that of even spin curves of genus 2 are birationally isomorphic via the Prym map. We describe the log canonical models of the moduli space of even spin curves of genus 2 and use this to extend the above birational map.