Abstract
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an important application, we show that they have Kähler–Einstein metrics if they are general.
Similar content being viewed by others
References
Arezzo, C., Ghigi, A., Gian, P.: Symmetries, quotients and Kähler–Einstein metrics. J. Reine Angew. Math. 591, 177–200 (2006)
Carlini, E., Chiantini, L., Geramita, A.V.: Complete intersections on general hypersurfaces. Mich. Math. J. 57, 121–136 (2008)
Cheltsov, I.: Log canonical thresholds on hypersurfaces. Sb. Math. 192, 1241–1257 (2001)
Cheltsov, I.: Fano varieties with many selfmaps. Adv. Math. 217, 97–124 (2008)
Cheltsov, I.: Log canonical thresholds del Pezzo surfaces. Geom. Funct. Anal. 18, 1118–1144 (2008)
Cheltsov, I., Park, J.: Global log-canonical thresholds and generalized Eckardt points. Sb. Math. 193, 779–789 (2002)
Collino, A.: Lines on quartic threefolds. J. Lond. Math. Soc. 19, 257–267 (1979)
Corti, A.: Singularities of linear systems and 3-fold birational geometry. Lond. Math. Soc. Lect. Note Ser. 281, 259–312 (2000)
Demailly, J.-P., Kollár, J.: Semi-continuity of complex singularity exponents and Kähler–Einstein metrics on Fano orbifolds. Ann. Sci. Ecole Norm. Sup. 34, 525–556 (2001)
de Fernex, T., Ein, L., Mustaţă, M.: Multiplicities and log-canonical thresholds. J. Algebr. Geom. 13, 603–615 (2004)
de Fernex, T., Ein, L., Mustaţă, M.: Bounds for log canonical thresholds with applications to birational rigidity. Math. Res. Lett. 10, 219–236 (2003)
Howald, J.A.: Multiplier ideals of monomial ideals. Trans. Am. Math. Soc. 353, 2665–2671 (2001)
Hwang, J.-M.: Log canonical thresholds of divisors on Fano manifolds of Picard rank 1. Compos. Math. 143, 89–94 (2007)
Iano-Fletcher, A.R.: Working with weighted complete intersections. L.M.S. Lect. Note Ser. 281, 101–173 (2000)
Ishii, Sh: A characterization of hyperplane cuts of a smooth complete intersection. Proc. Japan Acad. Ser. A Math. Sci. 58, 309–311 (1982)
Johnson, J., Kollár, J.: Fano hypersurfaces in weighted projective 4-spaces. Exp. Math. 10, 151–158 (2001)
Kollár, J.: Singularities of pairs. Proc. Symp. Pure Math. 62, 221–287 (1997)
Kollár, J. et al.: Flips and abundance for algebraic threefolds. Astérisque 211 (1992)
Kuwata, T.: On log canonical thresholds of reducible plane curves. Am. J. Math. 121, 701–721 (1999)
Kuwata, T.: On log canonical thresholds of surfaces in \({\mathbb{C}}^3\). Tokyo. J. Math. 22, 245–251 (1999)
McKernan, J., Prokhorov, Yu.: Threefold thresholds. Manuscr. Math. 114, 281–304 (2004)
Nadel, A.: Multiplier ideal sheaves and Kähler–Einstein metrics of positive scalar curvature. Ann. Math. 132, 549–596 (1990)
Park, J.: Birational maps of del Pezzo fibrations. J. Reine Angew. Math. 538, 213–221 (2001)
Prokhorov, Yu.: On log canonical thresholds. Comm. Algeb. 29, 3961–3970 (2001)
Prokhorov, Yu.: On log canonical thresholds. II. Comm. Algeb. 30, 5809–5823 (2002)
Prokhorov, Yu.: Elliptic Gorenstein singularities, log canonical thresholds, and log Enriques surfaces. J. Math. Sci. 115, 2378–2394 (2003)
Pukhlikov, A.: A remark on the theorem of V. Iskovskikh and Yu. Manin on a three-dimensional quartic. Proc. Steklov Inst. Math. Interperiod. Trans. 208, 278–289 (1995)
Pukhlikov, A.: Birational automorphisms of Fano hypersurfaces. Invent. Math. 134, 401–426 (1998)
Pukhlikov, A.: Essentials of the method of maximal singularities. L.M.S. Lect. Note Ser. 281, 73–100 (2000)
Pukhlikov, A.: Birational geometry of Fano direct products. Izv. Math. 69, 1225–1255 (2005)
Shokurov, V.: Three-dimensional log perestroikas. Izv. Math. 56(1), 105–203 (1992)
Tian, G.: On Kähler–Einstein metrics on certain Kähler manifolds with \(c_{1}(M){\>}0\). Invent. Math. 89, 225–246 (1987)
Tian, G.: On Calabi’s conjecture for complex surfaces with positive first Chern class. Invent. Math. 101, 101–172 (1990)
Tian, G.: On a set of polarized Kähler metrics on algebraic manifolds. J. Differ. Geom. 32, 99–130 (1990)
Won, J.: Log canonical thresholds on Fano varieties. Thesis, POSTECH (2010)
Acknowledgments
The authors would like to express their sincere appreciation to the referee for the invaluable comments. The referee’s comments enable the authors to improve their results as well as their exposition. In particular, the referee pointed out a gap in the previous proof of Lemma 2.17. To fix the gap, the authors introduce new generality conditions to quintic fourfolds. This serious revision was done while the first two authors stay at Hausdorff Research Institute for Mathematics at Bonn, Germany for Research in Groups Program from 1st of August to 4th of September 2012. Ivan Cheltsov and Jihun Park would like to thank the institute for their support. Jihun Park has been supported by the Research Center Program (Grant No. CA1205-02) of Institute for Basic Science and SRC-GAIA(Grant No. 2011-0030795) of the National Research Foundation in Korea.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
Let \(X_F\) be a smooth quintic hypersurface in \(\mathbb{P }^{5}\) that is given by zeroes of a section \(F\in H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\). It follows from Proposition 2.4 that there exists a non-empty Zariski open subset \(U_{G1}\in H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) such that \(X_F\) is 4-regular whenever \(F\in U_{G1}\). Similarly, it follows from Lemma 2.14 that there exists a non-empty Zariski open subset \(U_{G2}\in H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) such that for every 3-dimensional linear space \(\Pi \) in \(\mathbb{P }^5\), the intersection \(X_F\cap \Pi \) is irreducible and reduced if \(F\in U_{G2}\).
The purpose of this Appendix is to prove Lemma 2.15, i.e., to prove the existence of a non-empty Zariski open subset \(U_{G3}\in H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) such that for each \(F\in U_{G3}\) the hypersurface \(X_F\) satisfies the condition G 3 (see Sect. 2.3). Indeed, we prove the statement as follows:
For each \(a (=0,1,2,3) \) and \(b (=1,2,\ldots ,6)\), there exists a non-empty Zariski open subset \(U\) in \(H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) such that if \(F\in U\), then for each point \(P\in X\) and each 3-dimensional linear space \(\Pi _3\) contained in the tangent hyperplane at \(P\) and containing the point \(P\), the surface \(Z:=X\cap \Pi _3\) satisfies the condition G 3.\(a\).\(b\).
Since we use the same method in order to prove the statement for each \(a\) and \(b\), we first explain how the proof goes and then show the required computations in each case G 3.\(a\).\(b\).
The proof goes as follows.
First we consider the space
with the natural projections \(p:\mathcal{S }\rightarrow H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) and \(q:\mathcal{S }\rightarrow \mathcal{F }\). Here, \(\mathcal{F }\) is a suitable flag variety in \(\mathbb{P }^5\). Depending on the case, the flag \(\mathcal{F }\) will be \(Flag(0,1,2,3,4),\,Flag(0,2,3,\) \(4),\,Flag(0,1,3,4)\) or \(Flag(0,3,4)\), where \(Flag(n_1,\ldots , n_k)\) is the flag variety that parametrizes \(k\)-tuples \((\Pi _{n_1},\ldots , \Pi _{n_k})\) of \(n_i\)-dimensional linear spaces with \(\Pi _{n_1}\subset \cdots \subset \Pi _{n_k}\subset \mathbb{P }^5\). A \(0\)-dimensional linear space will be denoted by \(P\) and a four dimensional linear space will be denoted by \(T\).
We then put
where the properties \(\mathcal{P }_{G3.a.b}\) will be specified in the individual proofs. Then in each case, we will see that it is easy to check that the morphism \(q |_\mathcal{I } :\mathcal{I }\rightarrow \mathcal{F }\) is surjective.
With this set up, we compute the codimension \(c\) of \(q |_\mathcal{I }^{-1}(P,\Pi _{n_2},\ldots ,\Pi _{n_{k-1}},T)\) in \( H^{0}(\mathbb{P }^5,\mathcal{O }_{\mathbb{P }^{5}}(5))\) for a point \((P,\Pi _{n_2},\ldots ,\Pi _{n_{k-1}},T)\in \mathcal{F }\). We may always assume that \(T\) is defined by \(x=0,\,\Pi _3\) is defined by \(x=y=0,\,\Pi _2\) by \(x=y=z=0,\,\Pi _1\) by \(x=y=z=u=0\) and \(P=[0:0:0:0:0:1]\). We write the quintic polynomial \(F\) as
where \(q_{i}\) is a homogeneous polynomial of degree \(i\).
The condition \(F(P)=0\) is equivalent to \(q_0=0\). The condition that \(T\) is the tangent hyperplane to \(X_F\) at \(P\) is equivalent to \(q_1=\lambda x\) for some \(\lambda \in \mathbb{C }^*\). These two conditions contribute to the codimension \(c\) by 5. For each \(a\) and \(b\), we will show that that the properties \(\mathcal{P }_{G3.a.b}\) makes another contribution to the codimension \(c\) by more than \(\dim \mathcal{F }-5\).
These altogether show that the codimension of \(q |_\mathcal{I }^{-1}(P,\Pi _{n_2},\ldots ,\Pi _{n_{k-1}}, T)\) in \( H^{0}(\mathbb{P }^5,\) \(\mathcal{O }_{\mathbb{P }^{5}}(5))\) is more than \(\dim \mathcal{F }\). These implies that the morphism \(p|_{\mathcal{I }}\) cannot be surjective. Taking the properties \(\mathcal{P }_{G3.a.b}\) into consideration, we can immediately notice that this non-surjectivity implies the statement.
Therefore, to prove the statement for each case, it is enough to
-
specify the flag \(\mathcal{F }\) with its dimension;
-
specify the property \(\mathcal{P }_{G3.a.b}\);
-
show that the properties \(\mathcal{P }_{G3.a.b}\) makes another contribution to the codimension \(c\) by more than \(\dim \mathcal{F }-5\).
Now we do these jobs for each case.
Lemma 1
The statement holds for G 3.0.1.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,3,4)\). It is of dimension 14. Put
The condition that \(X_F\cap \Pi _3\) contains the line \(\Pi _1\) is equivalent to the condition that for each \(i=2,3,4,5\), the polynomial \(q_i\) contains no \(v^i\). For \(X_F\cap \Pi _3\) in order to be singular along \(L\), for each \(i=2,3,4,5\), the polynomial \(q_i\) must not contain the monomials \(zu^rv^{i-r-1},\,r=0,1,\ldots , i-1\). These altogether show that the properties \(\mathcal{P }_{G3.0.1}\) is of codimension \(> 9\). \(\square \)
Lemma 2
The statement holds for G 3.0.2.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,3,4)\). It is of dimension 12. Put
Since we may assume that \(q_1, q_2, q_3, q_4\) forms a regular sequence, \(X_F\cap \Pi _3\) containing four lines is equivalent to \(q_5(x,y,z,u,v)\) vanishing at four given points in \(q_1(x,y,z,u,v)=q_2(x,y,z,u,v)=q_3(x,y,z,u,v)=q_4(x,y,z,u,v)=0\) in \(\mathbb{P }^4\) and \(q_4(0,0,z,u,v)\) vanishing at four given points in \(q_2(0,0,z,u,v)=q_3(0,0,z,u,v)=0\) in \(\mathbb{P }^2\). These altogether show that the properties \(\mathcal{P }_{G3.0.2}\) is of codimension 8. \(\square \)
Lemma 3
The statement holds for G 3.1.1.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,3,4)\). It is of dimension 14.
Put
We write
where \(A_{rst}\)’s are constants.
The condition that \(X_F\cap \Pi _3\) contains the line \(\Pi _1\) is equivalent to \(A_{00t}=0\) for \(t=2,\,3,\,4\) and 5 since the line \(\Pi _1\) is defined by \(x=y=z=u=0\).
The surface \(X_F\cap \Pi _3\) has singular points on the line \(\Pi _1\) exactly where the polynomials \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) and \(A_{011}vw^3+A_{012}v^2w^2+A_{013}v^3w+A_{014}v^4\) have common zeros in \(\mathbb{P }^1\). The zero given by \(v=0\) corresponds to the singular point \(P\). To see this, put \(\bar{F}(z,u,v,w)=F(0,0,z,u,v,w)\). Since \(A_{00t}=0\) for \(t=2,\,3,\,4\) and 5, we always have \(\frac{\partial \bar{F}}{\partial v}(0,0,v,w)=\frac{\partial \bar{F}}{\partial w}(0,0,v,w)=0\). The common zeros of
are the singular points of \(X_F\cap \Pi _3\) on the line \(\Pi _1\). Note that \(\Pi _1\) and its residual curve by a general hyperplane meet at every singular point of \(X_F\cap \Pi _3\) on the line \(\Pi _1\). Therefore, the second condition is equivalent to the condition that the polynomials \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) and \(A_{011}vw^3+A_{012}v^2w^2+A_{013}v^3w+A_{014}v^4\) have four common zeros in \(\mathbb{P }^1\) with counting multiplicity, i.e., these two polynomials are proportional. This imposes three additional independent conditions on the coefficients of \(F\).
The condition that the polynomial \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) has \(k\) zeros without counting multiplicity imposes \(4-k\) additional independent conditions on the coefficients of \(F\). Note that \(1\le k\le 4\).
We claim that the last condition imposes \(k-1\) independent conditions on the coefficients of \(F\). Here we verify the claim only for the case with \(k=4\). The other cases with \(k=3\) and 2 can be verified in the same way.
We write the homogenized Hessian matrix of the polynomial \(q_2(0,0,z,u,v)+q_3(0,0,z,u,v)+q_4(0,0,z,u,v)+q_5(0,0,z,u,v)\) along the line \(\Pi _1\) as follows:
Let \(H(v,w)\) be the determinant of the homogenized Hessian matrix. The condition that three of the four singular points on \(\Pi _1\) is not ordinary double points is equivalent to the condition that \(H(v,w)\) vanishes at three points out of the four points defined by \(A_{101}w^3v+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4=0\) and \(A_{011}vw^3+A_{012}v^2w^2+A_{013}v^3w+A_{014}v^4=0\) in \(\mathbb{P }^1\). We claim that it imposes three additional independent conditions on the coefficients of \(F\). To verify the claim, we put
Since \(A_{101}w^3v+A_{104}v^4=0\) and \(A_{011}vw^3+A_{014}v^4=0\) defines four points in \(\mathbb{P }^1\), we have \([\lambda :\mu ]\in \mathbb{P }^1\) with \(\lambda (A_{101}, A_{104})=\mu (A_{011}, A_{014})\). We then see that in our restricted situation, the condition is equivalent to the condition that \(A_{101}w^3v+A_{104}v^4=0\) has three common points with
in \(\mathbb{P }^1\). Since this is a condition of codimension 3 in the restricted situation, it verifies the claim.
These altogether show that the properties \(\mathcal{P }_{G3.1.1}\) is of codimension \(> 9\). \(\square \)
Lemma 4
The statement holds for G 3.2.1.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
The condition that \(X_F\) contains the line \(\Pi _1\) is equivalent to the condition that for each \(i=2,3,4,5\), the polynomial \(q_i\) contains no \(v^i\). The condition that \(X_F\cap \Pi _2\) contains a line other than \(\Pi _1\) passing through \(P\) is equivalent to the condition that \(q_3(0,0,0, u,v),\,q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) vanish at the point other than the point given by \(u=0\) in \(\mathbb{P }^1\) where \(q_2(0,0,0,u,v)\) vanishes. For \(X_F\cap \Pi _3\) in order to have four singular points other than \(P\) on the two lines on \(X_F\cap \Pi _2\) passing through the point \(P\) is a condition of codimension 4. These altogether show that the properties \(\mathcal{P }_{G3.2.1}\) is of codimension 11. \(\square \)
Lemma 5
The statement holds for G 3.2.2.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
The condition that \(\Pi _1\subset X_F\) is equivalent to the fact that each \(q_{i}(x,y,z,u,v)\) does not have \(v^i\) monomial, which is condition of codimension 4. The condition that \(X_F\cap \Pi _2\) contains another line passing through the point \(P\) is equivalent to the condition that either \(q_3(0,0,0,u,v),\,q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) vanish at the points in \(\mathbb{P }^1\) where \(q_2(0,0,0,u,v)/u\) vanishes, or \(q_2(0,0,0,u,v)\) is a zero polynomial and \(q_3(0,0,0,u,v),\,q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) have common root in \(\mathbb{P }^1\). Thus, the condition that \(X_F\cap \Pi _2\) contains another line passing through the point \(P\) is a condition of codimension 3. For the surface \(X_F\cap \Pi _3\) to have three singular points on \(\Pi _1\) other than \(P\) is a condition of codimension 3. Arguing as in the proof of Lemma 3, we can see that the condition that one of the singular points of \(X_F\cap \Pi _3\) on \(\Pi _1\) is not an ordinary double point is a condition of codimension 1. These altogether show that the properties \(\mathcal{P }_{G3.2.2}\) is of codimension \(> 10\). \(\square \)
Lemma 6
The statement holds for G 3.2.3.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
The condition that \(X_F\) contains the line \(\Pi _1\) is equivalent to the condition that for each \(i=2,3,4,5\), the polynomial \(q_i\) contains no \(v^i\). The condition that \(X_F\cap \Pi _2\) contains a line other than \(\Pi _1\) passing through \(P\) is equivalent to the condition that \(q_3(0,0,0, u,v),\,q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) vanish at the point other than the point given by \(u=0\) in \(\mathbb{P }^1\) where \(q_2(0,0,0,u,v)\) vanishes. As in the proof of Lemma 3, we can see that for \(X_F\cap \Pi _3\) to have two non-ordinary singular points on \(\Pi _1\) is a condition of codimension 4. These altogether show that the properties \(\mathcal{P }_{G3.2.3}\) is of codimension \(> 10\). \(\square \)
Lemma 7
The statement holds for G 3.2.4.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
We write
where \(A_{rst}\)’s are constants.
The condition that \(X_F\cap \Pi _3\) contains the line \(\Pi _1\) is equivalent to \(A_{00t}=0\) for \(t=2,\,3,\,4\) and 5. The condition that \(X_F\cap \Pi _2\) contains a line other than \(\Pi _1\) passing through \(P\) is equivalent to the condition that \(q_3(0,0,0, u,v),\,q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) vanish at the point other than the point given by \(u=0\) in \(\mathbb{P }^1\) where \(q_2(0,0,0,u,v)\) vanishes. For \(X_F\cap \Pi _3\) in order to have two singular points other than \(P\) on the line \(\Pi _1\) and for \(\Pi _1\) to meet its residual curve by a general hyperplane section of \(X_F\cap \Pi _3\) in \(\Pi _3\) only at three point are equivalent to the condition that the polynomials \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) and \(A_{011}vw^3+A_{012}v^2w^2+A_{013}v^3w+A_{014}v^4\) have four common zeros in \(\mathbb{P }^1\) with counting multiplicity and the polynomial \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) has three zeros without counting multiplicity. This condition is of codimention 4. These altogether show that the properties \(\mathcal{P }_{G3.2.4}\) is of codimension 11. \(\square \)
Lemma 8
The statement holds for G 3.2.5.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
The first two conditions imposes seven independent conditions on the coefficients of \(F\) as before. For the surface \(X_F\cap \Pi _3\) to have a singular point on \(\Pi _1\) other than \(P\) and plus for \(\Pi _1\) to meet its residual curve by a general hyperplane section in \(\Pi _3\) only at singular points impose at least four independent conditions on the coefficients of \(F\). Meanwhile, for the surface \(X_F\cap \Pi _3\) to have a singular point on \(\Pi _1\) other than \(P\) and plus for \(\Pi _1\) to meet its residual curve by a general hyperplane section in \(\Pi _3\) only at three points impose at least four independent conditions on the coefficients of \(F\). However, the condition that \(X_F\cap \Pi _3\) has a non-ordinary singular point \(P\) is of codimension 1. Therefore, the properties \(\mathcal{P }_{G3.2.5}\) is of codimension 11.
These altogether show that the properties \(\mathcal{P }_{G3.2.5}\) is of codimension 11. \(\square \)
Lemma 9
The statement holds for G 3.2.6.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,1,2,3,4)\). It is of dimension 15. Put
The first two conditions imposes seven independent conditions on the coefficients of \(F\) as before.
For the last condition, we write
where \(A_{rst}\)’s are constants.
The last condition is equivalent to the condition that either the polynomials \(A_{101}vw^3+A_{102}v^2w^2+A_{103}v^3w+A_{104}v^4\) and \(A_{011}vw^3+A_{012}v^2w^2+A_{013}v^3w+A_{014}v^4\) have a common zero at \(v=0\) with multiplicity at least 3 or they are proportional and have only two zeros (without counting multiplicities). The former and the latter are both a condition of codimension at least 4.
Therefore, the properties \(\mathcal{P }_{G3.2.6}\) is of codimension at least 11. \(\square \)
Lemma 10
The statement holds for G 3.3.1.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,2,3,4)\). It is of dimension 14. Put
The condition that \(X_F\cap \Pi _2\) contains three lines passing through the point \(P\) is equivalent to the condition that \(q_2(0,0,0,u,v)\) is identically zero; \(q_4(0,0,0,u,v)\) and \(q_5(0,0,0,u,v)\) vanish at the three points in \(\mathbb{P }^1\) where \(q_3(0,0,0,u,v)\) vanishes. For the surface \(X_F\cap \Pi _3\) to have a singular point on \(\Pi _2\) other than \(P\) is a condition of codimension 1. For one of the lines \(L_i\) to meet its residual curve by a general hyperplane section in \(\Pi _3\) at at most three points is also a condition of codimension 1. These altogether show that the properties \(\mathcal{P }_{G3.3.1}\) is of codimension \(> 9\). \(\square \)
Lemma 11
The statement holds for G 3.3.2.
Proof
The flag \(\mathcal{F }\) is \(Flag(0,3,4)\). It is of dimension 12. Put
The condition that \(X_F\cap \Pi _3\) contains three lines passing through the point \(P\) is equivalent to the condition that \(q_4(0,0,z,u,v)\) and \(q_5(0,0,z,u,v)\) vanish at three points in \(\mathbb{P }^2\) where both \(q_2(0,0,z,u,v)\) and \(q_3(0,0,z,u,v)\) vanish.
For one of the lines \(L_i\) to meet its residual curve by a general hyperplane section in \(\Pi _3\) at at most one smooth is also a condition of codimension at least 2. For one of the lines \(L_i\) to meet its residual curve by a general hyperplane section in \(\Pi _3\) at at most two smooth is also a condition of codimension at least 1. The condition that \(X_F\cap \Pi _3\) has a non-ordinary singular point at \(P\) is equivalent to the condition that the quadratic polynomial \(q_2(0,0,z,u,v)\) is singular in variables \(z,\,u,\,v\). This is a condition of codimension 1. These altogether show that the properties \(\mathcal{P }_{G3.3.2}\) is of codimension \(> 7\). \(\square \)
Rights and permissions
About this article
Cite this article
Cheltsov, I., Park, J. & Won, J. Log canonical thresholds of certain Fano hypersurfaces. Math. Z. 276, 51–79 (2014). https://doi.org/10.1007/s00209-013-1186-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-013-1186-1