Abstract
Following on from the paper (Pukhlikov in Proc Edinb Math Soc 62(1):221–239, 2019), we prove birational superrigidity for a general Fano cyclic cover of a hypersurface containing a single isolated singular point on the base hypersurface lying off the ramification divisor, where the multiplicity of the point can be close to the degree. In particular, such a variety is not rational.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Statement of the main result
The aim of this paper is to prove birational superrigidity for a general Fano cyclic cover of a hypersurface with an isolated singular point of index one where the singular point does not lie on the ramification divisor and whose multiplicity can be close to the degree—we use the terminology “high multiplicity” to distinguish from the case where we only consider quadratic singularities with bounded rank. Let \(M \hbox {\,\,\char 062\,\,}6\), and let be a hypersurface of degree m containing a single isolated singular point \(o'\) with multiplicity \(\mu \), where \(\mu <M-4\). We then let
be a cyclic cover branched over a divisor \(W \cap G\) where \(W=W_{\mathrm{Kl}} \subset \mathbb {P}\) is a hypersurface of degree \(\mathrm{Kl}\) and . Introducing a new coordinate u of weight l, we can realise F as a complete intersection of type in the weighted projective space
Namely, F is given by the system of equations
where f and g are homogeneous polynomials of degrees m and \(\mathrm{Kl}\) respectively. We further require that the polynomials f and g satisfy some regularity conditions at every point \(p \in F\), stated in Sect. 2. Since \(o'\) is a singular point and \(M \hbox {\,\,\char 062\,\,}6\), the variety remains factorial by [1]. Therefore, by [4], if the integers m, l and K satisfy the relation , then F is a primitive Fano variety of dimension M, that is, \({{\,\mathrm{Pic}\,}}F=\mathbb {Z}K_F\) and \((-K_F)\) is ample.
We also assume that
The proof that the codimension of the subspace of the defining parameter space where the regularity conditions fail is positive requires this inequality.
The result of this paper is then:
Theorem 1.1
A general variety F of the type described above is birationally superrigid. In particular, F admits no non-trivial structures of a rationally connected fibration, any birational map \(F \dashrightarrow F^{\#}\) onto a Fano variety with \(\mathbb {Q}\)-factorial terminal singularities and \({{\,\mathrm{rk}\,}}{{\,\mathrm{Pic}\,}}F^{\#}=1\) is an isomorphism and the groups of birational and biregular self-maps coincide:
1.2 Method of the proof
We prove birational superrigidity of a given variety F using the method of maximal singularities together with the technique of hypertangent divisors. We begin by letting \(\Sigma \) be a mobile linear system on F with a maximal singularity E satisfying the Noether–Fano inequality, i.e., we suppose F is not birationally superrigid. We can easily exclude cases where the centre B of E has codimension less than M, and so we reduce to the case of a point. The case where the point is non-singular has already been covered in the paper [9] and so we must consider the case where it is singular. At this point, we can apply the generalised \(4n^2\) inequality to finish the proof.
We then finally need to check whether the set of polynomials which fail the regularity conditions is of positive codimension in the parameter space of defining polynomials.
1.3 Historical remarks
The notion of birational superrigidity goes back to the paper [5] where Iskovskikh and Manin proved the non-rationality of the smooth quartic threefold using the method of maximal singularities. This method was refined in the ’90s and was used successfully for many classes of index 1 Fano varieties. Related to our paper, we have the following: double covers were studied in the paper [6], followed by the study of iterated double covers in the paper [7]. Birational superrigidity of singular hypersurfaces were considered in the paper [8]. Later on the superrigidity of a double cover over a cubic or a quartic and a triple cover with at worst ordinary double points was proved in the papers [3] and [2] respectively. Most recently, we have the paper [12], on whose result the main theorem of this paper is based.
2 The regularity conditions
We describe the conditions for generality of the variety F. Since F is determined by two polynomials f and g of degrees m and \(\mathrm{Kl}\) respectively, we can view F as a point \({\underline{f}}\) in the parameter space \(\mathscr {F}\)
under the following conditions:
-
For a pair of polynomials \((f,g)={\underline{f}} \in \mathscr {F}\), the corresponding Fano cyclic cover \(F=\mathbb {V}(f,g)\subset \mathbb {P}^*\) is irreducible and reduced.
-
Deconstructing the local equation for f at the point \(o'\) (here we view f as defining a variety on the base) into homogeneous components, the initial \(\mu -1\) components all vanish, that is to say locally
$$\begin{aligned} f=q_\mu +q_{\mu +1}+\dots +q_m, \end{aligned}$$where \(q_i\) is the ith homogeneous component of f and \(q_{\mu }\) is not identically zero, whilst at every other point o, the equation is locally given in homogeneous components as
$$\begin{aligned} f=q_1'+q_2'+\cdots +q_m', \end{aligned}$$where again \(q_1\) is not identically zero.
-
The variety defined by the vanishing of the polynomial is non-singular.
This set \(\mathscr {F}\) makes a natural parameter space for the Fano cyclic covers under study, and is clearly open in the projective subspace of the total parameter space.
We also need a condition on the blow-up of the singular point on the base hypersurface:
(R0.1) Condition on the singularity on the base. Let be the blow-up of the point \(o'\) on G, \(E_{\mathbb {P}}=\varphi _{\,\mathbb {P}}^{-1}(o') \cong \mathbb {P}^{M}\) the exceptional divisor, the strict transform of the hypersurface G, so that is the blow-up of the point \(o'\) on G and is the exceptional divisor. We require that the subvariety
is a non-singular hypersurface in its linear span, i.e.,
In other words, supposing \((z_0,z_1,\ldots ,z_{M+1})\) is a set of affine coordinates at the point \(o'\), with the local equation again decomposed into homogeneous coordinates as
then we ask that forms a set of affine coordinates on \(E_{\mathbb {P}}\) and the hypersurface E is given by the equation . This condition is to ensure that at singular points on the cover in question, we can apply the generalised \(4n^2\)-inequality, Theorem 3.4.
Now let \({\underline{f}} = (f,g) \in \mathscr {F}\) be a defining pair for a Fano cyclic cover F, \(p \in F\) an arbitrary point, and let . We choose a system of affine coordinates \(z_1,\ldots ,z_{M+1}\) with the origin at the point \(p'\). Without loss of generality we can assume that \(z_1=x_i/x_0\). We set \(y=u/x_0^l\).
Then the standard affine set
is a chart for \(\mathbb {P}(1,\ldots ,1,l)\). Abusing notation, we use the same symbols corresponding to the homogeneous polynomials f and g, namely \( f=q_1'+q_2'+\dots +q_m'\) at smooth points of the intersection, \(f=q_{\mu }+q_{\mu +1}+\dots +q_m\) at singular points, and \(g=w_0+w_1+\dots +w_{\mathrm{Kl}}\), where the polynomials and \(w_k\) are homogeneous components of degree i, j and k respectively in the variables \(z_*\), so that in the affine chart \(\mathbb {A}\), the variety F is given by the pair of equations , replacing our original system. If the point \(p \in F\) does not lie on the ramification divisor, then we assume that \(w_0=1\). If it does, the point is non-singular, and so without loss of generality, we assume that \(q_1 \equiv z_{M+1}\).
We now formulate the regularity condition for any point \(o \in F\).
(R1.1) The regularity condition for a point p outside the ramification divisor. Let the singularities of F be given by the set
where the points \(o_1',\ldots ,o_K'\) are the K points in the preimage of the singular point . Let p be one of the points \(o_i' \in \mathrm{Sing}\,F\). We assume locally \(w_0=1\) and we may also assume that \(y(p)=1\). Set
where \( \gamma _i \in \mathbb {Q}\) are the coefficients in the Taylor expansion of \((1+s)^{1/K}\) at zero and \(\Phi _i(w_1(z_*),\ldots ,w_{\mathrm{Kl}}(z_*))\) are homogeneous polynomials of degree \(i \hbox {\,\,\char 062\,\,}1\) in the variables \(z_*\). It is easy to see that for \(i \in \{1,\ldots ,\mathrm{Kl}\}\) we get
for some polynomials \(\Phi ^{\#}_i\), only depending on the polynomials \((w_1,\ldots ,w_{i-1})\). In these notations we formulate the regularity condition in the following way: We say a sequence satisfies the regularity condition (R1.1) if the set of polynomials
forms a regular sequence in \(\mathscr {O}_{p,\mathbb {C}^{M+1}}\), where
In other words, the set of homogeneous equations
defines a closed set of codimension \(\nu +m-\mu -l+1\) in \(\mathbb {C}^{M+1}\).
Considering now a non-singular point \(p \ne o_i'\), \(i \in \{1,\ldots ,K\}\), lying off the ramification divisor, the conditions are identical to those in the paper [9]. Let \(u_1,\ldots ,u_{M+1}\) be a system of affine coordinates with the origin at p. We perform the same decomposition as before, finishing with local equations
at the point p. We then require the regularity of the sequence
if \(m \hbox {\,\,\char 054\,\,}\mathrm{Kl}\), whilst if \(m > \mathrm{Kl}\), we require the regularity of the sequence
Note that we also call this condition (R1.1).
(R1.2) The regularity condition for a point p on the ramification divisor. Here \(w_0=0\). We require that the set of polynomials
forms a regular sequence in \(\mathscr {O}_{p,\mathbb {C}^{M+1}}\), where \(q_i''\) and \(w_i''\) are the local defining equations at the point p.
Definition 2.1
A Fano cyclic cover defined by \({\underline{f}} \in \mathscr {F}\) is said to be regular, if every point p in the corresponding variety F satisfies the regularity conditions, namely the conditions (R1.1) and (R1.2), and the singularity on the base satisfies the condition (R0.1).
We denote the set of regular cyclic covers by the symbol \(\mathscr {F}_{{{\,\mathrm{reg}\,}}}\). This is clearly open in \(\mathscr {F}\).
Theorem 2.2
The set \(\mathscr {F}_\text {reg}\) is non-empty and the following inequality holds:
We postpone the proof of this for now, and first of all show the proof of Theorem 1.1.
3 Proof of Theorem 1.1
Assuming Proposition 2.2, we can now prove Theorem 1.1; we show that any regular cyclic cover F corresponding to a point \({\underline{f}} \in \mathscr {F}_{{{\,\mathrm{reg}\,}}}\) is birationally superrigid.
3.1 The maximal singularity
We fix a pair of polynomials \({\underline{f}}=(f,g) \in \mathscr {F}_{{{\,\mathrm{reg}\,}}}\). Let \(F= \mathbb {V}(f,g)\) be the corresponding cyclic cover. We repeat that by our choices of \(m,\mu ,K\) and l, we have that
where H is the \(\sigma \)-pull-back of a hyperplane section of G.
Assume that F is not birationally superrigid. By what was said before, this implies that on F there is a mobile linear system \(\Sigma \subset \left| nH \right| \), \(n \hbox {\,\,\char 062\,\,}1\), with a maximal singularity E: for some non-singular projective variety \({\widetilde{F}}\) with a birational morphism \(\varphi :{\widetilde{F}} \rightarrow F\) there exists a \(\varphi \)-exceptional prime divisor \(E \subset {\widetilde{F}}\) satisfying the Noether–Fano inequality
Let \(B=\varphi (E) \subset F\) be the centre of the divisor E on F. This is an irreducible subvariety satisfying the inequality \({{\,\mathrm{mult}\,}}_B \Sigma >n\). By the Lefschetz theorem for numerical Chow groups of algebraic cycles on V, we have the equality \(A^2 V=\mathbb {Z}H^2\). We can now exclude the simplest case where .
If , then we begin by intersecting with a general six dimensional linear subvariety \(V \subset \mathbb {P}^*\), so that we have a five dimensional smooth variety \(F_V=F \cap V\). Further set \(H_V=H \cap V\). Then by the Lefschetz theorem,
If we also set \(B_V=B \cap V\), then \(B_V \sim mH_V^2\) for some \(m \hbox {\,\,\char 062\,\,}1\). Consider the self-intersection of the linear system \(\Sigma _V=\Sigma \cap V\). Clearly \(Z \sim n^2 H_V^2\). On the other hand, \(Z=\gamma B_V+Z_1\) where \(\gamma > n^2\) and \(Z_1\) is an effective cycle of codimension 2 that does not contain \(B_V\) as a component (here we are using the Noether–Fano inequality together with, for example, [10, Chapter 2, Lemma 2.2]). Taking the classes of the cycles in \(A^2 F_V\) then yields the inequality \(n^2 \hbox {\,\,\char 062\,\,}\gamma m >mn^2\). This is the required contradiction.
If and \(B \not \subset \mathrm{Sing}\,F\), then the inequality \({{\,\mathrm{mult}\,}}_B Z > 4n^2\) holds. This is the classical \(4n^2\)-inequality going back to [5] (see [10, Chapter 2] for a modern exposition). At this point, we use the arguments of [10, Chapter 3, Section 2, Theorem 2.1] to cover this case. We can do this because it relies only on the regularity conditions at non-singular points.
We are therefore left with the only option: B is a singular point lying off the ramification divisor, specifically \(B=o \in \{o_1',\ldots ,o_K'\}.\) To do this, we use the method of hypertangent linear systems.
3.2 Hypertangent linear systems
Definition 3.1
Let X be a variety, and let be the blow-up of an arbitrary point \(o \in X\). Assume that the exceptional divisor \(E=\pi ^{-1}(o)\) is reduced and irreducible. An effective divisor on X is said to be hypertangent to X (with respect to a point o) if the strict transform of the divisor D, denoted \(D^+\), belongs to the linear system \(\left| kH-lE \right| \), where \(l \hbox {\,\,\char 062\,\,}k+1\). The number \(\beta (D)={l}/{k}\) is then called the slope of the divisor.
Following from this definition, returning to our original cover
set
where \(i=\mu ,\ldots ,m-1\) and where we are taking the closure in \(\mathbb {P}^*\). Similarly, let
where \(j=l,\ldots ,\nu -1\). These sets are clearly both of hypertangent divisors with multiplicities at the point o of
and hence with slopes
respectively. To see this note that \((q_\mu +\dots +q_i)|_{G}=(-q_{i+1}-\cdots -q_m)|_{G}\) and similarly for the divisors . Define the set
to be the collection of these hypertangent divisors. Let
Further let H as before. Note that as H is ample, \(\left| H \right| \) is free and hence defines a finite morphism
Definition 3.2
Let be the blow-up of X at the point o. A non-empty linear system \(\Sigma \) on X is said to be hypertangent (with respect to the point o) if \(\Sigma ^+ \subset \left| kH-lE \right| \), where E is the exceptional divisor, \(l \hbox {\,\,\char 062\,\,}k+1\), and \(\Sigma ^+\) is the strict transform of the system \(\Sigma \) on \(X^+\). The number \(\beta (\Sigma )={l}/{k}>1\) is called the slope of the system \(\Sigma \).
The point is that our set of hypertangent divisors \({\mathscr {D}}\) generates a hypertangent linear system \(\Sigma _k=\Sigma _k({\mathscr {D}})\) in the following way: for each \(D \in {\mathscr {D}}\), define \(k_D\) and \(l_D\) to be the coefficients in the expression of the strict transform \(D^+ \in \left| k_DH-l_DE \right| \). Let
be a section defining the divisor D. Set
where the summation is taken over all hypertangent divisors \(D \in {\mathscr {D}}\) such that \(k_D \hbox {\,\,\char 054\,\,}k\), and \(s_D \in \alpha ^*\!H^0(\mathbb {P}^{\,\dim \left| H \right| },\mathscr {O}(k-k_D))\) is the pull-back of an arbitrary polynomial of degree \(k-k_D\) with a zero of order \(k-k_D\) at the point \(\alpha (o)\). Clearly
In fact, in our case, for every \(D \in {\mathscr {D}}\) we have that \(l_D=k_D+1\), so that all the slopes are of the form
Since \(\alpha \) is finite, we get the equality
where \({{\,\mathrm{Bs}\,}}\) denotes the base locus of the linear system in question. From this equality, we see that the integer-valued function \({{\,\mathrm{codim}\,}}_o {{\,\mathrm{Bs}\,}}\Sigma _k\) is increasing when \(k=k_D\) for some \(D \in {\mathscr {D}}\), and only for those values.
Define the ordering function by the relation
For example,
By construction, we finally obtain
From this, pick a general set of hypertangent divisors
and an arbitrary subvariety Y of codimension d containing the point o; we get \(Y \not \subset \mathrm{Supp}(D_i)\) for \(i \hbox {\,\,\char 062\,\,}d+1\). In particular, let us take Y to be an irreducible component of the self-intersection Z with the highest ratio \({{{\,\mathrm{mult}\,}}}_o/{\deg }\) of the multiplicity at the point o to the degree d; this is clearly bounded above by 1. We can now construct in the usual way (see [10, Chapter 3]) a sequence of irreducible subvarieties \(Y_2=Y,Y_3,\ldots ,Y_N\) satisfying the following properties:
-
,
-
\(Y_i \not \subset D_{\chi (i+1)}\), so that is an effective cycle on V and \(Y_{i+1}\) is one of its irreducible components,
-
\(Y_{i+1}\) is an irreducible component of the algebraic cycle of the scheme-theoretic intersection with the maximal possible value of \({{{\,\mathrm{mult}\,}}}_o{Y_{i+1}}/{\deg {Y_{i+1}}}\).
In particular, the inequality
holds, again using [10, Chapter 2, Lemma 2.2], which immediately implies the following proposition.
Proposition 3.3
The following inequality holds:
We now use the following theorem, a generalisation of the \(4n^2\)-inequality proved by Pukhlikov in [11].
Theorem 3.4
Let X be a degree m complete intersection with a generic singularity o (i.e., X satisfies the condition (R0.1)) where \({{\,\mathrm{mult}\,}}_o X= \mu \hbox {\,\,\char 054\,\,}m\) and
Let \(\Sigma \) be a mobile linear system on X. Assume that for some positive \(n \in \mathbb {Q}\) the pair is not canonical at the point o but canonical outside this point. Then the self-intersection of the system \(\Sigma \) satisfies the inequality
Returning to our variety \(Y \subset F\), we apply Theorem 3.4 to get the following inequality, supposing that F is birationally superrigid:
which holds at every singular point \(o \in F\), where the degree is defined by the formula: .
Theorem 1.1 then follows if this holds true; to see this, note that F being birationally superrigid would imply that \(\deg Z=mKn^2\) and \({{\,\mathrm{mult}\,}}_oZ >4\mu n^2\). This contradicts the above.
If we now apply Proposition 3.3 to the subvariety Y, we can hence deduce the following:
which proves the inequality (3).
4 Proof of Theorem 2.2
Let us prove Theorem 2.2. This follows from the following: \(\mathscr {F}\) is non-empty—we show this in the proof of Theorem 5.1. Now let \(p \in \mathbb {P}^*\) be an arbitrary fixed point, and let . Consider the set . Since the cover \(\sigma \) is cyclic, either all the points \(\sigma ^{-1}(p')\) satisfy the regularity conditions, or none of them do. Set
to be the set of coverings such that each point satisfies the regularity conditions defined previously.
Proposition 4.1
The following inequality holds:
Since \(p \in \mathbb {P}^{M+1}\) is an arbitrary point, and \(\mathscr {F}(p)\subset \mathscr {F}\) is a divisor, we can use the same argument as in the case of a Fano complete intersection (see [10, Chapter 3, Section 3, 3.2]) to complete the proof of Proposition 2.2.
First of all, the case where p is non-singular has been covered in [9, Proposition 5.1]. Therefore, we assume that p is singular (and hence has multiplicity \(\mu \)).
We need the following lemma. We construct a sequence of polynomials \(\Phi _i^+(w_1,\ldots ,w_l)\), setting
and then subsequently
for \(i \hbox {\,\,\char 062\,\,}l+2\).
Lemma 4.2
The sequence (2) is regular if and only if the set of polynomials
forms a regular sequence.
Proof
The sets of zeros for both sequences are the same: this can be shown by induction using the equality
for an arbitrary closed irreducible set B.\(\square \)
Note that the sequence (4) has the polynomials \(w_i(z_*)\) shifted by polynomials \(\Phi _i^+\) which depend only on \(w_1, \ldots ,w_l\). The set of polynomials \(w_i\), \(i \in \{1,\ldots ,l\}\), can be assumed to be a fixed set of general position. Therefore in (4) each of the homogeneous polynomials \(w_i\), \(i \in \{l+1,\nu \}\), is shifted by a fixed homogeneous polynomial of degree i.
Let \(\Pi \) be the space of polynomials \(q_\mu ,\ldots ,q_m,\,w_1,\ldots ,w_{\nu }\). Consider an irreducible component \(X \subset \Pi \) corresponding to non-regular sequences (2) or (4). For a fixed set of homogeneous polynomials \(u_1,\ldots ,u_l,\) where \(\deg u_i=i\), let \(\Pi (u_1,\ldots ,u_l)=\{w_i=u_i|\,i=1,\ldots ,l\}\subset \Pi \) be the corresponding affine subspace with fixed polynomials \(w_1,\ldots ,w_l\), and set \(X(u_1,\ldots ,u_l)=X \cap \Pi (u_1,\ldots ,u_l)\) . \(\Pi (u_1,\ldots ,u_l)\) is identified with the space of polynomials \(q_\mu ,\ldots ,q_m,\,w_{l+1},\ldots ,w_{\nu }\), which we denote by \(\Pi ^+\). Thus we consider \(X(u_1,\ldots ,u_l)\) to be embedded in the linear space \(\Pi ^+\). For a general tuple \((u_1,\ldots ,u_l)\) we have
Lemma 4.3
\(X(0,\ldots ,0)\ne \varnothing \).
Proof
\(\Phi _i,\Phi _i^{\#}\) and \(\Phi _i^+\) are quasi-homogeneous in \(w_*\), where \({{\,\mathrm{wt}\,}}w_i=i\). Therefore, for \(\lambda \ne 0\),
if and only if
Setting \(\lambda =0\) gives us the statement, using closure of the component.\(\square \)
Remark 4.4
If we then notice that
this allows us to calculate the codimension of the space where the regularity conditions fail, essentially by ignoring the polynomials \(\Phi _i^+\), and so we only need to estimate the codimension of the closed set of non-regular sequences \(q_\mu ,\ldots ,q_m,\,w_{l+1},\ldots ,w_{\nu }\), taking into account the effect that introducing the singularity will affect the proof of regularity of non-singular points in the same neighbourhood. In fact, we consider the larger set of non-regular sequences \(q_\mu ,\ldots ,q_m,\,w_{l+1},\ldots ,w_{\mathrm{Kl}}\), as the bound is good enough for our purposes.
5 Codimension estimate
Begin first of all by noting that the codimension estimate is trivial at the point o, and follows from the usual argument for a codimension count in the smooth case. However, as we will see, it is possible the singular point will have an effect on the codimension of the set of non-regular sequences at nearby smooth points, so we have to check that the regularity conditions hold here as well.
Recall that we are working in the chart \(\mathbb {A}\) where the y coordinate is fixed to be equal to 1, and by abuse of notation whenever we talk about the variety F, we are referring to its restriction to the chart \(\mathbb {A}|_{\{y=1\}}\). We let \(\mathscr {P}_{d,M+1}\) stand for the linear space of homogeneous polynomials of degree d in \(M+1\) variables \((z_*)\). Set
to be the space of tuples of polynomials of the form \((q_a,q_{a+1},\ldots ,q_b)\), where \(q_d \in \mathscr {P}_{d,M+1}\). We then let
to be the space of pairs \({\underline{f}}\) of defining polynomials of the type discussed above. In the following, F always refers to the corresponding variety. Note that for a general pair the condition (R0.1) is satisfied.
Let \(o \in F\) be a singular point lying at the origin in \(\mathbb {A}\) and let \(p \in \mathbb {A}\), \(p \notin \{o_1,\ldots ,o_K\}\), be an arbitrary point. We assume that p has coordinates \((1,0,\ldots ,0)\). We let
be a system of affine coordinates with origin at the point p. Set and where and are homogeneous polynomials of degree \(k \hbox {\,\,\char 054\,\,}j\) in the variables \(z_2,\ldots ,z_{M+1}\). In the alternate coordinates \(u_*\), we can see that the polynomial takes the form
Similarly, takes the form
Therefore, the change of coordinates \((z_*) \rightarrow (u_*)\) defines a linear map
Theorem 5.1
The set of pairs \({\underline{f}}\) in \(\mathscr {P}\) such that
where the second polynomial has constant term equal to 1 and \(\tau ({\underline{f}})\) fails the regularity condition (R1.1) is of codimension at least \(M+2\) in the space \(\mathscr {P}\).
Proof
We begin by noting that \(q'_{0}=q_{\mu ,0}+\cdots +q_{m,0}\), \(w'_0=w_{0,0}+\cdots +w_{\mathrm{Kl},0}\) and the equalities \(q'_{0}=0\), \(w'_{0}=1\), expressing the fact that p lies on the vanishing set of f and \(g-1\), give two independent conditions for the polynomials f and g; we then have remaining \(M+1+l\) degrees of freedom for the non-linear defining polynomials \(q_i'\) and \(w_i'\). This immediately gives us non-emptiness of the set \(\mathscr {F}\).
For a fixed linear form L in the variables \(u_*\) we denote by the symbol
the affine subspace of pairs \({\underline{f}}\) such that \(q'_{0}=0\), \(w'_{0}=1\) and \(q'_{1}=L\).
5.1 The line connecting the points o and p
Let us denote this line by the symbol [o, p]. We say we are in the non-special case if \([o,p]\not \subset T_pF\), and in the special case if \([o,p] \subset T_pF\). First of all we note that in the coordinates \(u_*\), the line is given by the equations
on the space \(T_p \mathbb {P}^*\). Supposing \([o,p] \not \subset T_pF\), we then have
so that for every \(j \hbox {\,\,\char 062\,\,}1\) the space
(where uses the M variables not equal to \(z_1\)) is the whole space of homogeneous polynomials of degree j on \(T_pF\). Note that it follows from (5) that \(q'_{\delta }=q_{m,\delta }+(*)\), where \((*)\) is a linear combination of terms where either \(j<m\) or \(j=m\) and \(k<\delta \).
As the polynomials are arbitrary of degree k in the variables \(u_2,\ldots ,u_{M+1}\), we conclude that when we consider the pairs \({\underline{f}}\) in the space \(\mathscr {P}_{[p;\,L]}\), there is no dependence between any of the polynomials \(q'_{\delta }\,|_{T_pV}\) (and indeed the polynomials \(w'_{\delta })\) where \(\delta \hbox {\,\,\char 062\,\,}2\) and so we can use the result on non-singular cyclic covers from [9, Proposition 5.1] (noting that the slight difference in regularity conditions—we go up to \(w_{\mathrm{Kl}}\) instead of \(w_{\mathrm{Kl}-1}\)—has no bearing on the final estimate) to get the desired inequality, that the set of pairs \({\underline{f}}\) in \(\mathscr {P}\) which fail the regularity condition (R1.1) has codimension at least \(M+1\) in the space \(\mathscr {P}[p;L]\). Since for different linear forms \(L \ne L'\) the spaces \(\mathscr {P}_{[p;\,L]}\) and \(\mathscr {P}_{[p;\,L']}\) are disjoint, we essentially reduce to the case where the cyclic cover is smooth where the codimension is as required.
Therefore, we assume we are in the special case, that is, \(L|_{[o,p]}\equiv 0\). Explicitly, this means that the equality
holds, so we can no longer directly use the previous result. Now note if \(\mu \hbox {\,\,\char 054\,\,}m-1\) we obtain a new independent condition on \({\underline{f}}\). We then finish off by using the following proposition.
We set \(\mathbb {T}=\mathbb {P}(T_pF) \cong \mathbb {P}^{M-1}\).
Proposition 5.2
Suppose we are in the special case. Then the set of pairs \({\underline{f}} \in \mathbb {P}\) such that the system of equations
has in \(\mathbb {T}\) a positive-dimensional set of solutions, is of codimension at least
in the space \(\mathscr {P}[p;L]\).
Since the regularity conditions would impose that this system would have a zero-dimensional set of equations, this inequality is what we require to finish the proof. This is proved in [12, Proposition 3.2], where we are in the case of an arbitrary complete intersection, and unfortunately requires the inequality (1) given in the introduction.\(\square \)
References
Call, F., Lyubeznik, G.: A simple proof of Grothendieck’s theorem on the parafactoriality of local rings. In: Heinzer, W.J., et al. (eds.) Commutative Algebra. Contemporary Mathematics, vol. 159, pp. 15–18. American Mathematical Society, Providence (1994)
Cheltsov, I.A.: Birationally super-rigid cyclic triple spaces. Izv. Math. 68(6), 1229–1275 (2004)
Cheltsov, I.: Double cubics and double quartics. Math. Z. 253(1), 75–86 (2006)
Dolgachev, I.: Weighted projective varieties. In: Carrell, J.B. (ed.) Group Actions and Vector Fields. Lecture Notes in Mathematics, vol. 956, pp. 34–71. Springer, Berlin (1982)
Iskovskih, V.A., Manin, Ju.I.: Three-dimensional quartics and counterexamples to the Lüroth problem. Mat. Sb. (N.S.) 86(128), 140–166 (1971)
Pukhlikov, A.V.: Birationally rigid double Fano hypersurfaces. Sb. Math. 191(5–6), 883–908 (2000)
Pukhlikov, A.V.: Birationally rigid Fano iterated double coverings. Izv. Math. 67(3), 555–596 (2003)
Pukhlikov, A.V.: Birationally rigid singular Fano hypersurfaces. J. Math. Sci. (N.Y.) 115(3), 2428–2436 (2003)
Pukhlikov, A.V.: Birational geometry of algebraic varieties with a pencil of Fano cyclic covers. Pure Appl. Math. Q. 5(2), 641–700 (2009)
Pukhlikov, A.: Birationally Rigid Varieties. Mathematical Surveys and Monographs, vol. 190. American Mathematical Society, Providence (2013)
Pukhlikov, A.V.: The \(4n^2\)-inequality for complete intersection singularities. Arnold Math. J. 3(2), 187–196 (2017)
Pukhlikov, A.V.: Birationally rigid complete intersections with a singular point of high multiplicity. Proc. Edinburgh Math. Soc. 62(1), 221–239 (2019)
Acknowledgements
The author would like to thank Aleksander V. Pukhlikov, who suggested the problem to him and whose support and advice was greatly appreciated, as well as the referee for their various recommendations to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Foord, D. Birationally rigid Fano cyclic covers over a hypersurface containing a singular point. European Journal of Mathematics 8, 893–908 (2022). https://doi.org/10.1007/s40879-020-00411-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-020-00411-2
Keywords
- Birational rigidity
- Maximal singularity
- Multiplicity
- Hypertangent divisor
- Complete intersection singularity
- Cyclic cover