Birational geometry of Fano hypersurfaces of index two

We prove that every non-trivial structure of a rationally connected fibre space (and so every structure of a Mori-Fano fibre space) on a general (in the sense of Zariski topology) hypersurface of degree $M$ in the $(M+1)$-dimensional projective space for $M\geq 14$ is given by a pencil of hyperplane sections. In particular, the variety $V$ is non-rational and its group of birational self-maps coincide with the group of biregular automorphisms and is therefore trivial. The proof is based on the techniques of the method of maximal singularities and the inversion of adjunction.

where H is the class of a hyperplane section. On the variety V there are the following structures of a non-trivial rationally connected fibre space: let P ⊂ P be an arbitrary subspace of codimension two, α P : P P 1 the corresponding linear projection, then its restriction π P = α P | V : V P 1 fibres V into Fano hypersurfaces of index one and for that reason defines on V a structure of rationally connected fibre space. Recall [22], that a (non-trivial) rationally connected fibre space is a surjective morphism λ: Y → S of projective varieties, where dim S ≥ 1 and the variety S and the fibre of general position λ −1 (s), s ∈ S, are rationally connected (and the variety Y itself is automatically rationally connected by the theorem of Graber, Harris and Starr [7]).
Here is the main result of the present paper. Theorem 1. Assume that M ≥ 14 and the hypersurface V is sufficiently general (in the sense of Zariski topology on the space of coefficients of homogeneous polynomials of degree M on P). Let χ: V Y be a birational map onto the total space of a rationally connected fibre space λ: Y → S. Then S = P 1 and for some isomorphism β: P 1 → S and some subspace P ⊂ P of codimension two we have that is, the following diagram commutes: Corollary 1. For a generic hypersurface V of dimension dim V ≥ 14 the following claims hold.
(i) On the variety V there are no structures of a rationally connected fibre space with the base of dimension ≥ 2. In particular, on V there are no structures of a conic bundle and del Pezzo fibration, and the variety V itself is non-rational.
(ii) Assume that there is a birational map χ: V Y , where Y is a Fano variety of index r ≥ 2 with factorial terminal singularities, such that Pic Y = ZH Y , where K Y = −rH Y , and the linear system |H Y | is non-empty and free. Then r = 2 and the map χ is a biregular isomorphism.
(iii) The group of birational self-maps of the variety V coincides with the group of biregular automorphisms: Bir V = Aut V and for that reason is trivial.
Proof of the corollary. The claims (i-iii) follow from Theorem 1 in an obvious way. Q.E.D.
Conjecture 1. Assume that V d ⊂ P is a smooth hypersurface of degree d ≤ M, where d ≥ [(M + 5)/2] (in that case V d is a Fano variety of index r = M + 2 − d). Let χ: V Y be a birational map onto the total space of a rationally connected fibre space λ: Y → S. Then dim S ≤ r − 1 and if dim S = r − 1, then there is a linear subspace P ⊂ P of codimension r and a birational map β: P r−1 S such that λ • χ = β • π P , that is, the following diagram commutes Remark 1. For d ≤ M − 1 (that is, for r ≥ 3) one can certainly not expect that all structures of a rationally connected fibre space (or of a Fano-Mori fibre space) are linear projections. Already for a hypersurface of index 3 every pencil of quadrics defines a rational map onto P 1 , the fibre of which is a complete intersection of the type 2 · (M − 1) in P M +1 , that is, a Fano variety of index one.
The purpose of the present paper is to prove Theorem 1. As usual, its claim will be derived from a lot more technical and less visual description of maximal singularities of mobile linear systems on V . However, before explaining the structure of the proof of Theorem 1, let us give a precise meaning to the assumption of the hypersurface V being generic in the sense of Zariski topology. 0.2. The regularity conditions. Let F = P(H 0 (P, O P (M))) be the space parametrizing hypersurfaces of degree M in P. The local regularity conditions, given below, define an open subset F reg ⊂ F . A separate (but not difficult) problem is to show that for M ≥ 14 the set F reg is non-empty.
Let o ∈ P be an arbitrary point, (z 1 , . . . , z M +1 ) = (z * ) a system of affine coordinates with the origin at the point o and V ∋ o a non-singular hypersurface of degree M. It is given by an equation f = 0, where f = q 1 + q 2 + . . . + q M is a non-homogeneous polynomial in the variables z * , q i is its homogeneous component of degree i. Let Π ⊂ C M +1 be an arbitrary linear subspace of codimension c ∈ {0, 1, 2, 3}, on which q 1 does not vanish identically, that is, Π ⊂ T o V . We will need the following regularity conditions.
(R1) For any subspace Π the sequence of polynomials The last (forth) regularity condition is a global one.
(R4) The intersection of the hypersurface V with an arbitrary linear subspace P ⊂ P of codimension two has at most isolated quadratic singularities.
The following claim is true.
Theorem 2. For M ≥ 14 there exists a non-empty Zariski open subset F reg ⊂ F , such that every hypersurface V ∈ F reg is non-singular and satisfies the conditions (R1-R3) at every point, and also the condition (R4).
For the proof of Theorem 2 see Subsection 1.6.
0.3. Plan of the proof of Theorem 1. For an arbitrary subspace P ⊂ P of codimension two denote by the symbol V P the blow up of V along the subvariety V ∩ P . For a mobile linear system Σ on V its strict transform on V P denote by the symbol Σ P . Considering instead of Σ its symmetric square, we can alwasy assume that Σ ⊂ |2nH|. Recall that c virt (Σ) is the virtual threshold of canonical adjunction [22,Sec. 2.1]. Theorem 1 is an easy corollary from the technical fact formulated below.
Theorem 3. Assume that M ≥ 14 and V ∈ F reg . If the mobile system Σ ⊂ |2nH| satisfies the inequality c virt (Σ) < n, then there exists a unique linear subspace P ⊂ P of codimension two, such that the subvariety B = P ∩ V satisfies the inequality whereas for the strict transform Σ P the following equality holds: c virt (Σ) = c virt (Σ P ) = c(V P , Σ P ).
The system Σ and the integer n ≥ 1 are fixed throughout the paper. In its turn, Theorem 3 will be derived from the following two key facts.
Theorem 4. Assume that for some subvariety B ⊂ V of codimension two the inequality (2) holds. Then B = P ∩ V , where P ⊂ P is a linear subspace of codimension two.
Theorem 5. Assume that the inequality (1) holds. Then for some irreducible subvariety B of codimension two the inequality (2) holds.
Theorems 4 and 5 are given in the order in which they are shown. Theorem 5 (the exclusion of the infinitely near case) is the most difficult to prove. Further work is organized as follows.
In Sec. 1, assuming Theorem 3, we show Theorem 1, and after that, obtain Theorem 3, assuming Theorems 4 and 5. In Sec. 2 we show Theorem 4. In Sec. 3-5 we prove Theorem 5. 0.4. Historical remarks. The result, completely similar to Theorem 1, has been shown for Fano double spaces of index two in [21], see also Chapter 8 in [22]. Prior to the paper [21], the only result giving a complete description of the structures of a rationally connected fibre space on a Fano variety of index two, was Grinenko's theorem [8,9] on the Veronese double cone, a very special Fano three-fold.
A series of important results on birational geometry of Fano varieties of index two and higher was obtained by other methods: by the transcendent method of Clemens and Griffiths [3] and its subsequent generalizations (see [2]), and also by means of Kollár's technique [13,14]. For the details, see the introduction to the paper [21], where, in particular, the dramatic story of studying the birational geometry of the Veronese double cone and (not completed to this day) studying of the double space of index two is described.
Note that the problem of description of the birational type of Fano varieties of index higher than one was discussed already in the classical paper [11]; Fano himself also worked on the problem (for the cubic three-fold V 3 ⊂ P 4 ) [5].

Pencils of hyperplane sections
In this section, we prove Theorem 1, assuming the claim of Theorem 3. After Theorem 3 is obtained from Theorems 4 and 5. Finally, we discuss the (routine) proof of Theorem 2.
1.1. Fano fibre spaces over P 1 . Let us prove Theorem 1. Let Σ ⊂ |2nH| be the strict transform on V of a free linear system on W , which is the λ-pull back of a very ample linear system on the base S. Then the inequality (1) holds, because c virt (Σ) = 0. The system Σ ⊂ |2nH| is now fixed. Assuming the claim of Theorem 3, consider the subspace P ⊂ P of codimension two, such that for B = P ∩ V the inequality (2) holds. Let ϕ: V + → V be the blow up of the subvariety B and E B = ϕ −1 (B) ⊂ V + the exceptional divisor. Lemma 1.1. (i) The variety V + is factorial and has at most finitely many isolated double points (not necessarily non-degenerate).
(ii) The linear projection π P : P P 1 from the subspace P generates the regular projection π = π P • ϕ: V + → P 1 , the generic fibre of which F t = π −1 (t), t ∈ P 1 is a non-singular Fano variety of index one, and a finite number of singular fibres have isolated double points.
(iii) The following equalities hold: where H = ϕ * H for simplicity of notations, K + = K V + is the canonical class of the variety V + , F is the class of the fibre of the projection π, where Proof. These claims are obvious by the regularity conditions and the well known factoriality of an isolated hypersurface singularity in the dimension 4 and higher, see [1]. Q.E.D. for the lemma.
Let Σ + be the strict transform of the system Σ on V + . Lemma 1.2. The linear system Σ + is composed from the pencil |F |: Σ + ⊂ |2nH|.
By Theorem 3, c(Σ + , V + ) = c virt (Σ) = 0, so that m = 0 and l = 2n, as we claimed. Q.E.D. for the lemma. Therefore, the mobile linear system Σ is composed from the pencil of hyperplane sections, containing B, which completes the proof of Theorem 1.

1.2.
Mobile systems on the variety V . Assume the claims of Theorems 4 and 5. Let us prove Theorem 3. In the notations of Subsection 1.1 we have to show that for the mobile linear system holds. (This is precisely the claim of Theorem 3.) Assume the converse: then the pair (V + , 1 m Σ + is not canonical, that is, the linear system Σ + has a maximal singularity. Since every fibre of the fibre space π: V + → P 1 is a factorial birationally rigid variety, the centre of every maximal singularity is contained in some fibre F t = π −1 (t). Restricting the linear system Σ + onto such a fibre F = F t , we obtain an effective divisor D ∈ | − mK F |, such that the pair is not canonical (in fact, not log canonical, but we do not use that). For any curve C ⊂ F , C ∩ Sing F = ∅, it is known, see [22,Chapter 2], that mult C D ≤ m, which implies that the centre of every non canonical singularity of the pair (3) is either a point, or a curve, passing through a singularity of F . Furthermore, it is well known [22,Chapter 7], that a smooth point can not be the centre of a non canonical singularity, and the proof of that fact excludes also the case when the centre is a curve (since F has only isolated singularities). Therefore, we may assume that the centre of a maximal (non canonical) singularity of the pair (3) is a singular point o.
At this moment, and up to the end of this section, it is convenient to slightly change the notations. We denote the variety F by the symbol W . It is a hypersurface of degree M in P M with an isolated quadratic point o ∈ W . On W there is an effective divisor D ∼ mH, where H is the class of a hyperplane section of W , such that the pair (W, 1 m D) is not canonical at the point o. We have to show that this is impossible, that is, to obtain a contradiction. We do it in several steps, modifying the proof in [20].

1.3.
Step 1: effective divisors on quadrics. Let Q ⊂ P M −1 be an irreducible quadric hypersurface of rank ≥ 5, H Q ∈ Pic Q = ZH Q the class of a hyperplane section and B ⊂ Q an irreducible subvariety, which is not contained entirely in Sing Q. Definition 1.1. We say that the effective divisor D on Q satisfies the condition H(m) with respect to B, where m ≥ 1 is a fixed integer, if for any point of general position p ∈ B (in particular, p ∈ Sing Q) there exists a hyperplane F (p) ⊂ E p in the exceptional divisor E(p) = ϕ −1 p (p) of the blow up ϕ p : Q p → Q of the point p, such that the inequality Note that the divisor D is not assumed to be irreducible, and the integer m does not depend on the point p. It is assumed that the hyperplane F (p) depends algebraically on the point p. Let l ≥ 1 be the degree of the hypersurface in P M −1 , which cuts out D on Q, that is, D ∼ lH Q . Now, repeating the proof of Proposition 2.1 in [20] word for word, we obtain Proposition 1.1. Assume that the inequality holds. Assume, moreover, that an effective divisor D satisfies the condition H(m) with respect to B. Then the following alternative takes place: (1) either the inequality l > 2m holds (and we say that this is the simple case), (2) or there is a hyperplane section Z ⊂ Q, which contains entirely the subvariety B, such that for a point of general position p ∈ B in the notations above where Z ⊂ Q p is the strict transform of Z on Q p , and moreover, Z is contained in the divisor D with the multiplicity a > 2m − l (in other words, D = aZ + D * , where the effective divisor D * does not contain Z as a component; this case we say to be the hard one).
Remark 1.1. If the quadric E is non-degenerate, that is, rk E = M, then we obtain precisely Proposition 2.1 in [20]. Proof of the latter proposition works in our case without modifications.

1.4.
Step 2: the germ of a quadratic singularity. In this subsection we consider o ∈ W as a germ of a quadratic singularity where (z * ) = (z 1 , . . . , z M ) (that is, disregarding the embedding W ⊂ P M ), so that dim W = M − 1. Let ϕ: W + → W be the blow up of the point o and E = ϕ −1 (o) ⊂ W + the exceptional divisor, a quadric of rank rk q 2 in P M −1 . Consider an effective divisor D ∋ o and assume that for the pair (W, 1 m D) the point o is an isolated centre of a non-canonical singularity. Let D + ⊂ W + be the strict transform of the divisor D, so that D + = ϕ * D − lE for some l ≥ 1. Assume that l ≤ 2m, so that the pair (W + , 1 m D + ) is not log canonical. Finally, let S ⊂ E be the centre of a non log canonical singularity of that pair, which has the maximal dimension, in particular, S is not strictly contained in the centre of another non log canonical singularity, if they exist. Obviously, the inequality holds.
The following claim generalizes Proposition 2.2 in [20]: holds. Then one of the two cases takes place: (1) either S is a hyperplane section of the quadric E (the simple case), (2) or there exists a hyperplane section Z ⊃ S of the quadric E, satisfying the inequality Proof is obtained partially by repeating the proof of Proposition 2.2 in [20] word for word, partially by reduction to that proposition via restricting the divisor D onto a generic section of the singularity o ∈ W by a linear subspace of dimension rk q 2 .
More precisely, arguing as in [20], we obtain from the inequality (4), that if S ⊂ E is a prime divisor, then S ∼ H E is a hyperplane section of the quadric E, that is, the case (1) takes place. Therefore, we assume that codim(S ⊂ E) ≥ 2. Now, arguing as in [20] (replacing Proposition 2.1 in that paper by Proposition 1.1), we obtain that there exists a hyperplane section Z ⊃ S, which is uniquely determined by the log pair (W + , 1 m D + ), satisfying the description of the case (2) of Proposition 1.1. Now let us restrict the divisor D onto the section W Λ = W ∩ Λ of the variety W ⊂ C M by a generic linear subspace Λ of dimension rk q 2 . In this way we obtain the pair (W Λ , 1 m D Λ ) satisfying the assumptions of Proposition 2.2 in [20] (the germ o ∈ W Λ is a germ of a non-degenerate quadratic singularity), the subvariety S Λ = S ∩ W + Λ is the centre of a non log canonical singularity of the pair (W + Λ , 1 m D + Λ ), which has the maximal dimension, so that the hyperplane section Z Λ = Z ∩ W + Λ satisfies the inequality which by genericity of the linear subspace Λ implies the required inequality (5). Proposition 1.2 is shown. Q.E.D.

1.5.
Step 3: exclusion of the maximal singularity. Let us come back to the hypersurface W ⊂ P M of degree M with an isolated quadratic singularity o ∈ W of rank ≤ 5. Let ϕ: W + → W be its blow up, E = ϕ −1 (o) the exceptional quadric. Consider an effective divisor D ∼ mH, where H is the class of a hyperplane section of W , and let D + ∼ mH − νE be its strict transform on W + . Proposition 1.3. The inequality ν ≤ 3 2 m holds. Proof. Since the inequality to be shown is linear in D, without loss of generality we assume that D is a prime divisor. Assume the converse: ν > 3 2 m. To begin with, consider the first hypertangent divisor D 2 = {q 2 | W = 0}. Since by the regularity condition (R3) q 3 | E ≡ 0, we have D + 2 ∼ 2H − 3E, which implies that the divisor D 2 is reduced.
The contradiction proves the lemma. Q.E.D.
Therefore, D and D 2 are distinct prime divisors, so that the scheme-theoretic intersection Y = (D • D 2 ) is well defined and satisfies the inequality Now, repeating the proof of Proposition 3.1 in [20] word for word, we obtain a contradiction by means of the method of hypertangent divisors. Proposition 1.3 is shown. Q.E.D. Now let us complete the proof of Theorem 3. Assume that the point o is an isolated centre of a non-canonical singularity of the pair (W, 1 m D). By linearity of the Noether-Fano inequality we may assume that D is a prime divisor. Since ν ≤ 3 2 m, the pair (W + , 1 m D + ) is not log canonical and a certain irreducible subvariety S ⊂ E is the centre of a non log canonical singularity of that pair. We assume that S has the maximal dimension among all centres of non log canonical singularities of the pair (W + , 1 m D + ). Proposition 1.4. The subvariety S has codimension at least 2 in the exceptional quadric E.
Proof repeats the proof of Proposition 3.2 in [20] word for word. Following the scheme of arguments in Sec. 3.2 in [20], we conclude that the second case of Proposition 1.2 takes place: there is a hyperplane section Z ⊃ S of the exceptional quadric E, satisfying the inequality (5). Let P ⊂ P M be the (unique) hyperplane, cutting out Z on E, that is, W + P ∩ E = Z, where W P = W ∩ P . Obviously, the prime divisors W P and D are distinct, so that the effective cycle D P = (D • W P ) of codimension 2 satisfies the inequality Now consider the pair (W P , 1 m D P ). Its strict transform (W + P , 1 m D + P ) is not log canonical. We may assume that the inequality mult o D P ≤ 4m holds, otherwise we obtain a contradiction, repeating the proof of Proposition 1.3 word for word. The subvariety S is contained in the maximal centre S ′ of a non log canonical singularity of the pair (W + P , 1 m D + P ). It is easy to see that S ′ ⊂ E P = Z (otherwise, dim ϕ(S ′ ) ≥ 5, so that, as dim Sing W P ≤ 1, there is a curve C ⊂ ϕ(S ′ ), C ∩ Sing W P = ∅, satisfying the inequality mult C D P > m, which is impossible for D P ∼ mH P ). For simplicity of notations we assume that S ′ = S.
Applying Proposition 1.2 once again, we obtain that one of the following two cases takes place: (1) either S is a hyperplane section of the quadric E P , (2) or there is a hyperplane section Z * ⊃ S of the quadric E P , satisfying the inequality where D + P ∼ mH P −l * E P . By the inequality (6), the integer l * satisfies the inequality l * > 4 3 m. Now, repeating the arguments in the beginning of Sec. 3.3 in [20] word for word (using the regularity condition (R3) instead of the condition (R2.2) in [20]), we exclude the case (1). Now let us consider the hardest case (2). Since we can not use the strong regularity condition (R2.2) that was used in [20], we need to slightly modify the arguments of Sec. 3.3 in that paper; in particular, we have to assume that M ≥ 14. Let R ⊂ P = P M −1 be the unique hyperplane, cutting out Z * on the exceptional quadric E P , that is, so that by linearity of the inequality (6) and linearity of the condition of non log canonicity of the pair (W + P , 1 m D + P ) at S, we may assume that D P does not contain the hyperplane section W R as a component (in other words, removing that component, we only make the inequality (6) and the log Noether-Fano inequality stronger). Therefore, we can take the effective cycle D R = (D P • W R ) of codimension 2 on W P , which satisfies the inequality Since by the regularity condition (R3) the quadric q 2 | R = 0 is irreducible and q 3 | R∩{q 2 =0} ≡ 0, we may repeat the proof of Lemma 1.3 and conclude that the divisor D 2 | R is irreducible and has the multiplicity precisely 6 at the point o. Therefore, This is impossible for M ≥ 14. Proof of Theorem 3 is complete. Q.E.D.
1.6. Regular Fano hypersurfaces. Let us consider Theorem 2. The conditions (R2) and (R3) are checked by a routine dimension count, which we skip. The condition (R4) checks quite elementary (see Sec. 7.2 in [21]) and we leave this work to the reader. Let us consider the condition (R1) and outline the proof.
Let P be the linear space, consisting of tuples of homogeneous polynomials (p 1 , . . . , p N ) of degrees deg p i = i + 1 on the projective space P N . Consider the closed subset Proposition 1.5. The following equality holds: codim(P non−reg ⊂ P) = N(N + 1) 2 + 2.
Remark 1.2. The claim can be made more precise: the closed subset P non−reg is reducible and only one of its components has the codimension given above, namely, the component, consisting of such tuples (p * ) that the closed subset {p 1 = . . . = p N = 0} contains a line in P N . The codimensions of the other components of the set P non−reg are higher. However, we do not need this more precise claim.
Proof of Proposition 1.5 is obtained by means of the methods of the papers [15,16] (see also [22,Chapter 3]): it is completely similar to the arguments of [15,Section 1], when regularity of the sequence of polynomials p 1 , . . . , p N is violated for the first time at the i-th polynomial, i = 1, . . . , N − 1, and to the arguments of [16,Section 3] in the case when regularity is for the first time violated at the last step, that is, the set Proof. In the notations of the condition (R1) it is sufficient to consider the worst case c = 3. Taking into account the dimension of the Grassmanian of subspaces of codimension 3 in C M +1 and the fact that the point o ∈ V is arbitrary, by Proposition 1.5 we get that the hypersurface V satisfies the condition (R1), if the inequality holds. It is easy to check that the latter inequality is true for M ≥ 13. Proof is complete.
Proof of Theorem 2 is now complete.

Subvarieties of codimension two
In this section we prove Theorem 4: if B is a maximal subvariety of codimension two for the system Σ, then B is a section of the hypersurface V by a linear subspace of codimension two. The proof makes use of the cone technique, see [22,Chapter 2]. The main idea of our arguments is to consider two-dimensional cones, swept out by secant lines of the subvariety B.
2.1. The secant space of the subvariety B. Assume that the inequality (2) holds. We need to show that B = P ∩ V , where P ⊂ P is a linear subspace of codimension two. If B is contained in a hyperplane, B ⊂ Π, then the claim of the theorem is almost obvious: the hyperplane section V Π = V ∩ Π is a factorial variety, Pic V Π = ZH Π , where H Π is the class of a hyperplane section, so that B ∼ mH Π on V Π for some m ≥ 1. The restriction Σ Π of the linear system Σ V Π is a nonempty system of divisors, Σ Π ⊂ |2nH Π |, whereas mult B Σ Π > n, that is, B is a fixed component of the system Σ Π of multiplicity (mult B Σ Π ). This implies that m = 1, so that B ∈ |H Π | is a hyperplane section of the variety V Π ⊂ Π, which is what we need.
Starting from this moment, we assume that B is not contained in a hyperplane, that is, B = P. Let us show that the inequality (2) is impossible for the mobile linear system Σ ⊂ |2nH|. In order to do this, we assume that this inequality is true and show that this assumption leads to a contradiction.
Define the secant space as the closure of the set is the line, connecting the distinct points p, q. Let π B and π P be the projections of the irreducible variety Sec(B) onto B × B and P, respectively. Proposition 2.1. The projection π P is surjective.
Proof is given below in Subsection 2.3. Proposition 2.1 implies that the image of the restriction of the projection π P onto the set Sec * (B) contains an open subset in P. In the sequel, speaking about a point x of general position in P, we will always mean, in particular, that x ∈ V , so that the restriction of the projection from the point x onto V is a finite morphism V → P M . Let Sec(B, x) and Sec * (B, x) be the fibres of the projection π P and its restriction onto Sec * (B, x) over a point of general position x ∈ P.
Obviously, Sec(B, x) can be considered as a closed subset in B × B, invariant with respect to the involution τ : (p, q) → (q, p), and Sec * (B, x) as a closed subset in B × B\∆ B , where for a sufficiently general point x ∈ P) where π 1,2 : B × B → B are the projections onto the first and second direct factors, respectively. By construction, C − is contained in the cone with the vertex x and the base C + and the other way round. The properties of that cone (swept out by the lines [p, q] ∋ x, for p, q ∈ Γ) and of the curves C ± can be made more precise.
The following fact is true. Proposition 2.2. For some positive integers d C and d R there is an algebraic family where C is an effective 1-cycle of degree d C on P, R is an effective 1-cycle of degree d R on P and x ∈ P is a point, satisfying the following conditions: 1) the projection π P : A → P, 3) for the cone C(x) ⊂ P with the vertex x and the base C + we have: C ± are sections of the cone and the equality of the cone C(x) has at the point p a simple tangency with the hypersurface V : 7) the components of the curves R sweep out V : Proof, which makes use of the construction, immediately preceding the statement of Proposition 2.2, is given below in Subsection 2.2.
Let us complete the proof of Theorem 4. In the notations of Proposition 2.2, consider an arbitrary irreducible component of the residual curve R, which we for simplicity denote by the same symbol. Let D ∈ Σ be a generic divisor. By the property 7), we may assume that R ⊂ D. Since B ⊂ D and, moreover, mult B D > n, the inequality holds, where the last sum is taken over the usual and infinitely near points of intersection of the curve R and the subvariety B: the set of those points is denoted by the symbol R ∧ B (see [18]). Since C ± ⊂ B and, by the property 6), the curve R does not contain the points of the intersection C + ∩ C − , we have ⊔ means a disjoint union. By the property 5), the curve R meets C ± at non-singular points of those curves. The following lemma is a version of a very well known claim [18]. Lemma 2.1. The following equality holds: In the last formula we mean any choice of the sign + or −. Now from the inequality (9), taking into account (10), we obtain: 2n deg R > n(deg R + deg R), which is impossible. Q.E.D. for Theorem 4.
Remark 2.1. Repeating the previous arguments word for word, we exclude the possibility of two maximal subvarieties of codimension two for the system Σ. Therefore, the section B = V ∩ P is uniquely determined.

Proof of technical facts.
Let us show Lemma 2.1. By genericity of the curve C = C + + C − , each of the curves C ± is a section of the cone C(x). The normalizations C ± of these curves are naturally isomorphic. Let C + (x) be the blow up of the vertex of the cone C(x) and the non-singular ruled surface over C ± , where the smooth curves C + and C − are realized as its sections. Set R to be the strict transform of R on C(x). By the properties 4)-6) at each point p ∈ (R ∩ C + ) ⊔ (R ∩ C − ) the corresponding curve C + or C − is non-singular and transversal to the generator of the cone [p, x], so that where the subset R ∧ C ± (p) ⊂ R ∧ C ± consists of the point p and infinitely near points over it, where the point of the surface C(x), corresponding to the point p of intersection of the curves R and C + (or C − ), is denoted by the same symbol p. Therefore, but the last number is equal to deg R, see [18]. Q.E.D. for the lemma.
Proof of Proposition 2.2. The construction, immediately preceding the statement of Proposition 2.2, gives an algebraic family A, satisfying the property 1) by Proposition 2.1. Let us show that, somewhat shrinking the family A (that is, taking a Zariski open subset in that family), one can ensure that the remaining properties 2)-7) hold. Indeed, our construction yields in the general case distinct irreducible curves C ± = C − , so that the property 2) can be assumed. Proof of Proposition 2.1 implies easily that a generic secant line [p, q] of the variety B is not a 3-secant, that is, C ± are sections of the cone C(x), whereas C ± come into the 1-cycle (C(x) • V ) with multiplicity 1, which gives the property 3).
For any point p ∈ B we have B ⊂ T p V (since B is not contained in a hyperplane by assumption), and for that reason for a general point x ∈ P the direction of the line [p, x] defines a field of directions on a proper closed subset of the set Sec(B, x) (consisting of the points p ∈ B, at which [p, x] ⊂ T p B) and for that reason for a general curve Γ its projections C ± are nowhere tangent to the lines [p, x] (that is, at no point p ∈ C ± ), that is, the property 4) is satisfied (one should also take into account that for a general point p ∈ B the set The property 5) again follows from the fact that B is not contained in a hyperplane: obviously, so that the point (p, q) ∈ Γ is a singularity of that curve (for a general curve Γ) if and only if p or q belongs to Sing B. Since the pairs of points (p, q) ∈ B × B such that p ∈ Sing B and q ∈ T p V , form a subset of codimension al least 2, a general curve Γ does not contain such pairs. This proves the property 5).
Let us consider the property 6). The subset π −1 B (∆ B ) is a closed subset of codimension 1 in Sec(B), which may consist of several irreducible components of different codimensions. A general curve Γ does not intersect the components of codimension two, so we are only interested in the divisorial components.
It is easy to see that the closure of the set is a prime Weil divisor on Sec(B). For a non-singular point p ∈ B\ Sing B we have Let (z 1 , . . . , z M +1 ) be a system of affine coordinates with the origin at the point p ∈ P and f = q 1 + q 2 + . . . + q M the equation of the hypersurface V . By the condition on the rank of the quadratic form q 2 we have q 2 | TpB ≡ 0, so that the set of triples (p, p, x) ∈ Sec(B) such that has in Sec(B) codimension 2, which is what we need. Therefore, it is sufficient to prove the property 6) for singular points p ∈ Sing B, that is (p, p) ∈ Sing ∆ B . Let Y ⊂ Sing B be an irreducible subset of codimension ≥ 2 with respect to B. Since obviously for p ∈ Y π −1 B ((p, p)) ⊂ {(p, p)} × T p V and q 2 | TpV ≡ 0, we obtain once again, that the set of triples (p, p, x) ∈ Sec(B), such that the inequality (11) holds, is of codimension at least two in Sec(B), which is what we need. Therefore, it is sufficient to consider a divisorial component There exists a non-empty Zariski open subset U Q ⊂ Q such that for any point p ∈ U Q the set π P (π −1 B ((p, p))) ⊂ P is a union of finitely many linear subspaces of dimension M − 1, contained in T p V and containing T p Q.
Proof: straightforward local computations. Since Q is a divisorial component of the set of singular points Sing B, over a non-empty Zariski open subset U B ⊂ B with a non-empty intersection U Q = U B ∩ Q, the resolution of singularities of the variety B is just the normalization B → B, so that at every point p ∈ U Q the variety B admits a simple analytic parametrization and easy local computations, which we omit, give an explicit description of the limit set of secant lines [q, r] when q → p and r → p. Proof of the lemma is complete. Now for any point p ∈ U Q and some linear subspace Π ⊂ π P (π −1 B ((p, p))) we have q 2 | Π ≡ 0, so that the closed set Therefore, the set of triples (p, p, x) ∈ Sec(B), satisfying the inequality (11), where p ∈ U Q , has the dimension (M − 3) + (M − 2) = 2M − 5, that is, the codimension 2 in Sec(B). This completes the proof of the property 6).
Finally, the property 7) is obvious (for instance, follows immediately from the proof of Proposition 2.1, given below). Proposition 2.2 is shown. Q.E.D.

The secant variety. Set
and let us call Sec(B) the secant variety of the subvariety B ⊂ P (as opposed to the secant space, introduced in Subsection 2.1). We need to show that Sec(B) = P. Let α: C M +2 \{0} → P be the canonical projection. For a closed set Y ⊂ P the symbol Y aff stands for the affine cone Let σ: B aff × B aff × C 2 → C M +2 be the map of taking the linear combination Obviously, Sec(B) aff is the closure of the image of the map σ. Furthermore, it is obvious that for a non-singular point p ∈ B the tangent space T v B aff does not depend on the choice of a non-zero vector v ∈ α −1 (p) and for that reason we denote it by the symbol T p B aff . It is clear that the embedded tangent space T p B ⊂ P satisfies the equality Let p, q ∈ B be a pair of non-singular points. Obviously, the differential dσ at the point Assume now that Sec(B) = P is a proper irreducible subvariety. Since codim(B ⊂ P) = 3, this implies that codim(T p B aff ∩ T q B aff ) ≤ 5, and the latter holds for any non-singular points p, q ∈ B. Let us show that our assumption leads to a contradiction.
The symbol π p stands for the linear projection P P 2 from the tangent space T p B for a non-singular point p ∈ B. The projection π p is the projectivization of the linear map π aff The differential of the restriction of the latter map onto B aff is not surjective at a point of general position. Indeed, for any smooth point q ∈ B we have: Therefore, π p (B) = P 2 and for that reason π p (B) is either a point or some irreducible curve C ⊂ P 2 . If π p (B) is a point or C is a line, then the subvariety B is contained in a hyperplane, which contradicts the assumption. Therefore, π p (B) = C is a curve of degree d ≥ 2.
Let c ∈ C be a point of general position, the fibre of the projection π p | B . Obviously, B c is a closed subset of pure codimension two in the fibre π −1 p (c) ∼ = P M −1 . For that reason the secant variety Sec(B c ) coincides with its linear span B c (it is sufficient to check this almost obvious fact for a curve in P 3 ).
Therefore, we have three options: On the left we have an irreducible divisor in P, so that by our assumption that Sec(B) = P the equality Sec(B) = π −1 p (C) holds. However, it is obvious, that Sec(B) contains points outside the set π −1 p (C): let c 1 , c 2 ∈ C be a general pair of points, This contradiction excludes the case (1).
The case (3) is impossible, as V does not contain linear subspaces of dimension M − 3.
Therefore, the case (2) takes place. Again we take a general pair of points c 1 , c 2 ∈ C. Let L = [c 1 , c 2 ] ⊂ P 2 be the line through them, H = π −1 p (L) the corresponding hyperplane in P. Set also The linear space P = T p B is of codimension two in H and P 1 ∩P 2 = P . Furthermore, set these are hyperplanes in P i , i = 1, 2. Proposition 2.3. The following equality holds: It is clear that since the points c 1 , c 2 are general, Proposition 2.3 implies the equality Sec(B) = P, which contradicts the initial assumption and proves Proposition 2.1.
Proof of Proposition 2.3. None of the irreducible components of the sets B 1 , B 2 is a cone. Let Λ ⊂ H be a 5-dimensional subspace of general position, Q i = P i ∩ Λ and S i = B i ∩ Λ, i = 1, 2. Now S 1 , S 2 are (possibly reducible) surfaces in Λ ∼ = P 5 , the linear spans S i of which are 3-planes R i = Π i ∩ Λ. The components of the surfaces S 1 , S 2 are not cones and for that reason is a line, then we conclude that for a general pair of points (s 1 , s 2 ) ∈ S 1 × S 2 the planes T s 1 S 1 and T s 2 S 2 are disjoint. This implies, that Sec(S 1 ∪ S 2 ) = Λ, so that Proposition 2.3 is shown in this case.
Therefore we assume that R 12 is a plane, that is, By the genericity of the subspace Λ this means that and for that reason Π 12 = Π 1 ∩ P = Π 2 ∩ P . The points c 1 , c 2 are chosen independently of each other, so that we can conclude that there exists (a uniquely determined) hyperplane Q ⊂ P such that for a point of general position c ∈ C we have B c = Sec(B c ) ⊃ Q.
Let π Q : P P 3 be the projection from the linear subspace Q. By what we proved, π Q ( B c ) is a point and for that reason π Q (B c ) is a point, so that the image π Q (B) is a curve C + (the projection of which from the point π Q (P ) is the curve C ⊂ P 2 ). If C + is contained in some plane in P 3 , then B is contained in some hyperplane in P, either, which contradicts our assumption. Thus C + = Sec(C + ) = P 3 . Now let ξ 1 , ξ 2 ∈ C + be a general pair of points, Λ i = π −1 Q (ξ i ) ⊂ P the corresponding subspaces of codimension 3, B + i = π −1 Q (ξ i ) ∩ B the fibres of the projection π Q | B . We know that B + i ⊂ Λ i are hypersurfaces (possibly reducible) and Since B + i are not cones, we conclude that whence, finally, it follows that Sec(B) = P. Proof of Propositions 2.3 and 2.1 is complete.

Infinitely near case. I. Preparatory work
In this section we start the proof of Theorem 5, that is, the exclusion of the infinitely near case. Here we carry out preparatory work: we come over to a hyperplane section of the hypersurface V , in order to use the 8n 2 -, list all particular cases that need to be considered and obtain aprioric estimates for the multiplicity of the self-intersection. We use the following tools: the inversion of adjunction, the technique of counting multiplicities and the method of hypertangent divisors.
3.1. The method of hypertangent divisors. Let Σ ⊂ |2nH| be a mobile linear system with no maximal subvarieties of codimension two. Fix a maximal singularity E * ⊂ V of the system Σ with the centre B ⊂ V of maximal dimension.
Lemma 3.1. B is a point or a curve on V .
Proof. By the 4n 2 -inequality we have is the self-intersection of the system Σ. Since Z ∼ 4n 2 H 2 , by [17,Proposition 5] it follows that dim B ≤ 1. Q.E.D. for the lemma. The cases dim B = 1 and dim B = 0 are dealt with in word for word the same way, the assumption on the existence of a maximal singularity leads to a contradiction, excluding both cases. We will assume that B = o is a point. The following fact is true.
This contradiction proves our proposition. Q.E.D. Arguing in a similar way, we obtain the following fact. Proposition 3.2. For any irreducible subvariety Y ⊂ V of codimension two the following inequality holds: Proof. Set again This contradiction completes the proof of the proposition. .
(The somewhat strange writing of the right hand part of the inequality (ii) will become clear below.) Proof. (i) Repeating the arguments of the first part of the proof of Proposition 3.2 word for word and taking into account the regularity conditions for the hypersurface V Π , we obtain the inequality for codim(Π ⊂ P) = 1, and the inequality for codim(Π ⊂ P) = 2. It is easy to see that these inequalities are impossible. The contradiction proves the claim (i).
In the case (ii) we repeat the arguments of the second part of the proof of Proposition 3.2 word for word, once again taking into account that by the considerations of dimension we take codim(Π ⊂ P) = 1 or 2 hypertangent divisors less. Again we get a contradiction, which proves the claim (ii).
Proof of Proposition 3.3 is complete.
3.2. The restriction onto a hyperplane section. The next step in the proof of Theorem 5 is the restriction of the linear system Σ onto a suitable hyperplane section of the variety V , which allows us to make the estimate for the multiplicity of the self-intersection at the point o twice stronger. If the inequality mult o Z > 8n 2 holds, then this step can be skipped, considering below instead of the hyperplane section P ∋ o the hypersurface V itself: in that case, the dimension does not drop and all estimates become only stronger, so that the proof given below works without any modifications. Keeping this in mind, assume that mult o Z ≤ 8n 2 . The following fact is true.
Proposition 3.4 (the 8n 2 -inequality). There exists a subspace Π ⊂ E of codimension 2 (uniquely determined by the system Σ), satisfying the inequality Proof: this is [21, Proposition 4.1]. Now let us consider the linear system |H − Π|, consisting of hyperplane sections that cut out Π on E, that is, for a general divisor P ∈ |H − Π| we have: P ∈ |H| is a hyperplane section, smooth at the point o and P + ⊃ Π. Obviously, dim |H − Π| = 2 codim Bs |H − Π| = 3.
Therefore for a general divisor P ∈ |H − Π| the effective cycle Z P = (Z • P ) of codimension two is well defined and satisfies the inequality Let Σ P = Σ| P be the restriction of the linear system Σ onto P . Obviously, Σ P ⊂ |2nH P |, where H P = H| P is the positive generator of the group Pic P ∼ = Z, whereas the system Σ P is mobile (has no fixed components). The cycle Z P is the selfintersection of the system Σ P : where D 1 , D 2 ∈ Σ P are generic divisors. The variety P is a hypersurface of degree M in P M , which may have isolated singular points, but the point o ∈ P itself is non-singular. Proposition 3.5. The pair (P, 1 n Σ P ) is not log canonical at the point o, that is, it has a non log canonical singularity with the centre at that point. If the pair (P, 1 n Σ P ) has a non-canonical singularity with the centre B ∋ o, B = o, then either dim B ≤ 2, or B = ∆ = Bs |H − Π| (and in the latter case the inequality mult ∆ Σ > n) holds .
Proof. The first claim follows from the inversion of adjunction [12]. Let us consider the second one (it is not used in the subsequent proof). If B = ∆, then codim(B ⊂ P ) ≥ 3 (otherwise, by the genericity of P , the original system Σ has a maximal subvariety of codimension 2, which is not true by assumption). Therefore, the 4n 2 -inequality holds: mult B Z P > 4n 2 .
Let Q ∈ |H P | be a general (in particular, everywhere non-singular) hyperplane section of P and Z Q = (Z P • Q). Then on Q the cycle Z Q ∼ 4n 2 H Q of codimension two satisfies the inequality mult B∩Q Z Q > 4n 2 and dim B ∩ Q ≤ 1 by Proposition 5 in [17]. Proof is complete. Note that by the genericity of the hyperplane section P the linear system Σ P satisfies the inequality ν = mult o Σ P (= mult o Σ) ≤ 3n. Now let Π 1 ⊂ Π 2 be a generic pair of linear subspaces of dimensions 5 and 5 in P M = P , containing the point o, and X i = P ∩ Π i the corresponding sections of the hypersurface P . By the inversion of adjunction the pair (X i , 1 n Σ i ), where Σ i = Σ P | X i , has the point o as an isolated centre of a non log canonical singularity. Let X + i ⊂ P + be the strict transform of X i , so that is the blow up of the point o ∈ X i and E (i) = E ∩ X + i the exceptional divisor of the morphism ϕ i . The pairs and 2 = X + 2 , are not log canonical (recall that ν ≤ 3n) and satisfy the conditions of the connectedness principle with respect to the birational morphisms ϕ 1 and ϕ 2 , respectively (see [12,Section 17.4]). The centre of any non log canonical singularity of the pair i , intersecting E (i) , is contained in E (i) (Proposition 3.5), so that we conclude that the union LCS( ) i of centres of non log canonical singularities of the pair i , intersecting E (i) , is a connected closed subset in E (i) . Recall that E (1) ∼ = P 3 and E (2) ∼ = P 4 . For the pair 1 there are three options: is a union of curves and surfaces, and in this union there is is at least one surface.
For the pair 2 there are, respectively, four options, dim LCS( 2 ) ∈ {0, 1, 2, 3}, and if LCS( 2 ) is zero-dimensional, then this set consists of one point. Now looking at the pair we see that LCS( 12 ) is either a line in E (2) ∼ = P 4 , or a connected union of surfaces (every hyperplane section of which is connected), or a union of surfaces and divisors in E (2) . Since the pair 12 is obviously "more effective" than the pair 2 , we have the inclusion LCS( 2 ) ⊂ LCS( 12 ), in particular, (LCS( 2 ) ∩ X + 1 ) ⊂ LCS( 1 ). Now let us come back to the hypersurface P and its blow up ϕ P : P + → P at the point o. From what was said, it follows that the pairs are not log canonical, and moreover, one of the following six cases takes place. Case 1.1. There are non log canonical singularities of the pairs * and , the centres of which on P + are linear subspaces Θ ⊂ Λ ⊂ E P of codimension 4 and 5, respectively. Case 1.2. There exists a non log canonical singularity of the pair * , the centre of which on P + is a linear subspace Λ ⊂ E P of codimension 3. Case 2.1. There exist non log canonical singularities of the pairs * and , the centres of which on P + are a linear subspace Θ ⊂ E P of codimension 4 and an irreducible subvariety B ⊂ E P of codimension 2, respectively, where Θ ⊂ B.
Case 2.2. There are non log canonical singularities of the pairs * and , the centres of which on P + are irreducible subvarieties B * ⊂ B ⊂ E P of codimension 3 and 2, respectively. Case 2.3. There is a non log canonical singularity of the pair * , the centre of which on P + is an irreducible subvariety B ⊂ E P of codimension 2.
Case 3. There is a non log canonical singularity of the pair , the centre of which on P + is an irreducible subvariety B ⊂ E P of codimension 1.
The six cases listed above correspond to three possible values of the integer dim LCS( 1 ), taking into account the type of the set LCS( 2 ).
The last case is the simplest one. Proposition 3.6. The case 3 does not realize: codim(B ⊂ E P ) ≥ 2.
Proof. Assume the converse: B ⊂ E P is a prime divisor. We argue as in the proof of Proposition 4.1 in [21] or in [4]: for the self-intersection Z P of the system Σ P , taking into account that the pair is not log canonical at B, we obtain the estimate Therefore, there is an irreducible subvariety Y ⊂ P of codimension two, satisfying the inequality However, this contradicts Proposition 3.3. Proposition 3.6 is shown. Q.E.D. Remark 3.2. Once again, we emphasize that Proposition 3.3 implies the inequality mult o Z P ≤ 12n 2 , which we will use in the sequel without special references.
3.3. The techniques of counting multiplicities: the aprioric estimates. Following the standard procedure of the method of maximal singularities, let us obtain now bounds from below for the multiplicities of the cycle Z P , improving the 8n 2 -inequality. We call these estimates aprioric, because they do not make use the additional geometric information available in the cases 1.1-2.3. To exclude those cases, the aprioric estimates are not sufficient and we will need some additional work, which will be carried out in Sections 4,5.
Proposition 3.7. (i) If the case 1.1 takes place, then the following inequalities hold: mult o Z P + mult Λ Z + P > 12n 2 (16) and mult Θ Z P > 4n 2 . If the case 1.2 takes place, then the following estimate holds: (ii) If either of the cases 2.1 or 2.2 takes place, then the following inequality holds in addition in the case 2.1 the estimate mult Θ Z + P > 4n 2 and in the case 2.2 the estimate mult B * Z + P > 4n 2 hold. (iii) If the case 2.3 takes place, then the following inequality holds: Proof. All the inequalities, listed above, belong to one of the two types: the type (16) for a non log canonical singularity of the pair and the type (17) for a singularity of the pair * . The proofs for each of the two types are completely identical, and for this reason we will show only these two inequalities.
Let us prove the inequality (16). It is true under a weaker assumption that the pair has a non canonical singularity, the centre of which is the subspace Λ. This is what we will assume. Let be the resolution of the non canonical singularity of the pair , where P 1 = P + , σ 1,0 = ϕ P , E 1 = E P , σ 2,1 is the blow up of the subvariety Λ = B 1 , and in general, B i−1 is the centre of the fixed non canonical singularity of the pair on P i−1 , is the exceptional divisor, finally, i = 1, . . . , K and E K realizes the fixed non canonical singularity. Let Γ be the oriented graph of that resolution, that is, its set of vertices is the set of exceptional divisors E 1 , . . . , E K , and the vertices E i and E j are joined by an oriented edge (an arrow; notation: i → j), if and only if i > j and B i−1 is contained in the strict transform E i−1 j of the exceptional divisor E j on P i−1 , see [15] or [19,Chapter 2], also [22,Chapter 2] for the details. By the symbol p ij we denote the number of paths from the vertex E i to the vertex E j , if i = j; we set p ii = 1. The fact that E K realizes a non canonical singularity of the pair , means that the inequality of the Noether-Fano type holds: where ν i = mult B i−1 Σ i−1 , and δ i = codim B i−1 − 1 is the discrepancy of E i with respect to P i−1 . By linearity of the inequality (19) we may assume that ν K > n (if ν K ≤ n, then E K−1 is a non canonical singularity of the pair and K can be replaced by K − 1). Set The graph Γ breaks into the lower part with the vertices E 1 , . . . , E L and the upper part with the vertices E L+1 , . . . , E K . Now let us the well known trick of removing arrows (see, for instance, [21, §4] or [22,Chapter 2] for the details): let us remove all arrows that go from the vertices of the upper part to the vertex E 1 , if such arrows exist. This operation does not change the numbers p K2 , . . . , p KK , but, generally speaking, decreases the number of paths from E K to E 1 . Set p i = p Ki for i = 2, . . . , K and let p 1 be the number of paths from E K to E 1 in the modified graph. Since ν 1 ≤ 3n, the inequality (19) remains true: in addition, the modification of the graph Γ yields the estimate Set Z i P to be the strict transform of the cycle Z P on P i , i = 1, . . . , L; in particular, Applying the technique of counting multiplicities (see, for example [19,Proposition 2.11] or [22,Chapter 2]), we obtain the inequality whence in the standard way (computing the minimum of the quadratic form p i ν 2 i on the hyperplane, which we obtain, replacing the inequality sign in (20) by the equality sign) we deduce the estimate so that, in particular, p 1 ≤ Σ 0 + Σ 1 . Taking into account that the multiplicities m i do not increase, we obtain the inequality Recall that m 1 = mult o Z P and m 2 = mult Λ Z + P are precisely the multiplicities, which we are interested in, and we prove the inequality m 1 + m 2 > 12n 2 . By linearity in m 1 , m 2 and the last inequality (that is, the inequality (16)) and the inequality (22), it is sufficient to check that the estimate (22) does not hold for m 1 = 8n 2 , m 2 = 4n 2 and for m 1 = 12n 2 , m 2 = 0. Since p 1 ≤ Σ 0 + Σ 1 , it is sufficient to consider the first case. Setting in (22) m 1 = 8n 2 and m 2 = 4n 2 , cancelling n 2 and moving everything to the right hand side, we obtain the inequality We obtained a contradiction, which proves the inequality (16). Now let us show the inequality (17). The arguments are completely similar to those above, with the only difference that the coefficient at p 1 in the Noether-Fano inequality is 4, the elementary discrepancies can take four, not three values, that is, δ i ∈ {1, 2, 3, 4}, so that there are, generally speaking, four groups of vertices of the graph Γ and we must set and the inequality p 1 ≤ Σ 0 + Σ 1 + Σ 2 holds. The technique of counting multiplicities gives the following estimate, which is similar to the inequality (22): Since m 1 ≤ 12n 2 , to prove the inequality (17) (which in the notations of the resolution of singularities takes the form of the inequality m 2 > 4n 2 ), it is sufficient to check that the inequality (23) can not be true for m 1 = 12n 2 and m 2 = 4n 2 . Substituting these values into (23), cancelling n 2 and moving everything to the right hand side, we get the inequality where in the brackets we have a quadratic form in s, t 0 , t 1 , t 2 , t 3 with nonnegative coefficients. We obtained a contradiction, proving the inequality (17). The remaining inequalities of Proposition 3.7 are shown word for word in the same way as the inequality (16) or (17), depending on the type of the inequality.
Proof of Proposition 3.7 is complete. The further work, completing the proof of Theorem 5, is organized in the following way: we exclude the cases 1.1-2.3, inspecting all geometric possibilities.

Infinitely near case. II. Exclusion of the linear case
In this section we prove that the cases 1.1 and 1.2 do not realize: it is sufficient to exclude the first one, which immediately implies that the second one is impossible.
4.1. Decomposition of an effective cycle. Let us forget for a moment about the proof of Theorem 5 and consider one very simple construction which will be used below many times. Let X be an arbitrary algebraic variety, Y ⊂ X an irreducible subvariety and Z an effective cycle of codimension two on X. Assume first that codim(Y ⊂ X) ≤ 2, that is, Y is a prime Weil divisor on X or an irreducible subvariety of codimension two.
Definition 4.1. We say that the presentation Proof. Assume the converse: the case 1.1 takes place. Our purpose is to get a contradiction. We will do it in several steps, since the case under consideration is the hardest of the six ones. We use both inequalities of Proposition 3.7 for the case 1.1 without special comments.
First of all, let us repeat the operation of restricting onto a hyperplane section that was used in Sec. 3.
Let R ⊂ P be a general hyperplane section, such that : • o ∈ R, the variety R is non-singular at that point, • the hyperplane E R = R + ∩ E P in E P contains the subspace Λ.
Let us restrict the system Σ P onto R and obtain a mobile linear system Σ R on the hypersurface R ⊂ R ∼ = P M −1 with the self-intersection Z R = Z P | R , satisfying the estimates The advantage of this situation is that the subspaces Θ ⊂ Λ ⊂ E R are of codimension 3 and 2, respectively. Let and the inequality µ 0 + µ 1 > 8.
Furthermore, set λ 1 = 1 n 2 mult Λ Z + 1 , where Z + 1 is the strict transform of the cycle Z 1 on R + , so that the following inequality holds: (26) Proposition 3.3 implies that the multiplicities µ i can be estimated in terms of the degrees d i in the following way: for M ≥ 18 the inequality holds, for M ≤ 17 a weaker estimate is true: Since none of the components of the cycle Z 1 is contained in the tangent section holds. Finally, it is obvious that the following estimate holds: The system of six equations and inequalities (24-30) (it is six, because depending on whether M ≥ 18 or M ≤ 17, we choose the inequality (27) or (28)) forms the first system of relations for the five parameters introduced above.
Since q 2 | Θ ≡ 0, the components of the cycle Z R , the strict transforms of which contain the linear subspace Θ, can not be contained in T R . For that reason, mult o Z 1 ≥ mult Θ Z + 1 > 4n 2 , so that the following inequality holds: 4.3. Additional estimates for the cycle Z 1 . Now let us consider the cycle Z 1 , the most important part of the self-intersection Z R , since it contains the linear subspace Λ. First of all, none of the components of the cycle Z 1 is contained in the tangent section T R = R ∩ T o R and for that reason (Z 1 • T R ) is an effective cycle of codimension 2 on the hypersurface T R . The latter has a quadratic singularity at the point o, so that is its tangent cone at that point. Its projectivization will be denoted by the symbol Q R . Obviously, Q R = T + R ∩ E. By the condition (R2) the intersection [Q R ∩ Λ] is an irreducible quadric; it is subvariety of codimension two on Q R . Now let us compute the multiplicity mult o (Z 1 • T R ). By the rules of the intersection theory (see [6] or [22,Chapter 2]), write where Z Q is an effective divisor on the quadric Q R (outside Q R the effective cycles (Z + 1 • T + R ) and (Z 1 • T R ) + obviously coincide). Now we have Setting µ 2 = 1 n 2 mult o (Z 1 • T R ), and deg Z Q = 2δn 2 , we obtain the equality Obviously, deg(Z 1 • T R ) = deg Z 1 . Furthermore, set Since the following inequality is obviously true: by Corollary 4.1, which is shown below, we get the estimate Now we have to take into account the input of the infinitely near subvariety [Q R ∩Λ]. Proposition 4.2. The following estimate holds: Proof. Let H R be the class of a hyperplane section of the hypersurface R ⊂ R ∼ = P M −1 . Consider the pencil |H R − Λ| of hyperplane sections of R, defined by the condition: for S ∈ |H R − Λ| we have S + ⊃ Λ. The base set ∆ R of the pencil |H R − Λ| is an irreducible subvariety of codimension two in T R , of codimension 3 in R; more precisely, ∆ R ⊂ ∆ R ∼ = P M −3 is a hypersurface of degree M, where the linear span ∆ R is determined by the condition Now let Y be an arbitrary subvariety of codimension 2 in R. For a general divisor S ∈ |H R − ∆| we have Y ⊂ S, so that (Y • S) is an effective cycle of codimension 3 on R. By construction, . However, S is a section of the singular hypersurface V ∩T o V by a linear subspace of codimension 3, so that, applying the regularity condition (R1) and arguing in word for word the same way as in the proof of Proposition 3.3, by means of the technique of hypertangent divisors, applied to the cycle (Y • S), we obtain the estimate (recall that on S the cycle (Y • S) has codimension 2, so that this cycle can be considered as an effective cycle of codimension 3 on a section of the hypersurface V by a linear subspace of codimension 3, which by the condition (R1) satisfies the regularity condition). The inequality (35) follows from (36) in a trivial way. Proof of Proposition 4.2 is complete.

4.4.
On the multiplicities of subvarieties on a quadric. Let us put off the proof of Theorem 5 and show the fact about multiplicities of subvarieties on a quadric hypersurface that was used in Subsection 4.3. Let Q ⊂ P N be an irreducible quadric, dim Sing Q = s Q , and Y ⊂ X ⊂ Q irreducible subvarieties. Proposition 4.3. Assume that the inequality holds. The then following estimate is true: Proof. Assume the converse: By the assumption on the dimensions Y ⊂ Sing Q. Take an arbitrary point p ∈ Y \ Sing Q. Lemma 4.1. The variety X is contained in the tangent hyperplane T p Q.
Proof. Assume the converse: X ⊂ T p Q. Then the effective cycle (X •(T p Q∩Q)) is well defined. Its degree is equal to deg X and its multiplicity at the point p is at least 2 mult p X > deg X, which is impossible. Q.E.D. for the lemma.
Therefore, the following inclusion takes place Proof of the proposition will be complete, if we show that the dimension of the right hand side of the inclusion is strictly smaller than dim X. Note that Sing Q ⊂ P N is a linear subspace and for any non-singular point p ∈ Q we have Sing Q ⊂ T p Q. Consider the section Q * of the quadric Q by a general linear subspace of codimension s Q + 1 (in particular, not meeting Sing Q). The quadric Q * is non-singular. Let Y * ⊂ X * be the corresponding sections of the varieties Y and X.
Obviously, Y * contains at least linearly independent points, so that the linear space p∈Y * T p Q * has the dimension not higher than the number Proof. By the regularity condition (R2) for the quadric Q we have the estimate s Q ≤ [ √ M ] + 1. Now by easy computations we see that the inequality (37) holds. Applying Proposition 4.3, we complete the proof.
Corollary 4.2. The case 1.2 does not take place.
Proof. Since a non log canonical singularity of the pair * is automatically a non log canonical singularity of the pair , the case 1.2 is a version of the case 1.1 (for Θ one can take any hyperplane in Λ). Q.E.D. for the corollary.

Infinitely near case. III. Exclusion of the non-linear case
In this section we exclude the case 2, which completes the exclusion of the infinitely near case (and so the proof of Theorem 5).
5.1. The case 2.1, B is not contained in a quadric. Let us consider first the 2.1 and assume that the subvariety B is not contained in any quadric hypersurface in E P . (Note, that in the case 2.1 the subvariety B is certainly not contained in the quadric Q P , since B ⊃ Θ and Θ ⊂ Q P .) Proposition 5.1 The following inequality holds: Proof. Recall that the multiplicity mult o Σ P is denoted by the letter ν and set ν B = mult B Σ + P . In terms of the resolution of the maximal singularity of the system Σ P we have ν = ν 1 and ν B = ν 2 . Assume that the opposite inequality holds: 5ν B > 2ν. Let us show that this implies that the linear system Σ + P can not be mobile, more precisely, the following inclusion takes place: This contradiction implies the claim of our proposition.
Since the subvariety B is not contained in any quadric hypersurface, its degree deg B (as a subvariety of the projective space E P ) is at least 5.
Indeed, d B = deg B ≥ 3. Furthermore, B is not a cone over a curve: otherwise, B contains a linear subspace of codimension 3 in E P , which is excluded by the proof of Proposition 4.1. Now, projecting from a point of general position p ∈ B, we exclude the option d B = 3. If d B = 4 and B has at least one singular point of multiplicity 2 or 3, then B is contained in a hyperplane or an irreducible quadric, contrary to the assumption. Since a non-singular projective subvariety of codimension 2 and degree 4 in P k , k ≥ 4, is a complete intersection of two quadrics (this is a well known fact; see also [10]), then B is a complete intersection of two quadrics, either, if B is non-singular or is a cone over a subvariety of degree 4 and dimension ≥ 2. We have inspected all options. Therefore, d B ≥ 5.
Let Π ⊂ E P be a 2-plane of general position, so that B Π = B ∩ Π is a finite set, consisting of d B ≥ 5 distinct points. Let R 1 , . . . , R m be all irreducible hypersurfaces in E P , containing B and contained in Bs Σ P , if there are any. Then deg R i ≥ 3 and the irreducible curves R i ∩ Π are all irreducible curves in the plane Π, contained in Bs Σ P and containing at least one point of the finite set B Π .
Lemma 5.1. Neither three points of the set B Π are collinear.
Proof. Assume the converse: there are three distinct points p 1 , p 2 , p 3 ∈ B Π , lying on the line L. Since ν B > n and ν ≤ 3n, we obtain, that L ⊂ Bs Σ P . As we noted above, this is impossible. Q.E.D. for the lemma. Now let us consider any 5 distinct points p 1 , . . . , p 5 ∈ B Π and the unique conic C ⊂ Π, containing those points. The restriction Σ C = Σ + P | C is a linear series of degree 2ν with 5 base points of multiplicity ν B . Since 5ν B > 2ν, we have C ⊂ Bs Σ P , which is impossible. Proof of Proposition 10.09.1 is complete. Now we can apply the technique of counting multiplicities and estimate the multiplicity of the self-intersection Z P at the point o and its strict transform Z + P along the subvariety B.
Set µ = mult o Z P , µ B = mult B Z + P . Proposition 5.2. The following inequality holds: Proof. As in the proof of Proposition 3.7, fix a maximal singularity, the centre of which on P + is a subvariety B and take its resolution. We use the standard notations, associated with the resolution. The graph Γ is assumed to be modified, so that the inequality where Σ 1 = K i=L+1 p i , and, besides, we know that ν 1 ≤ 3n and 5ν 2 ≤ 2ν 1 ; the multiplicities ν i do not increase, By the technique of counting multiplicities, taking into account the inequalities we obtain the estimate For ν 1 = ν fixed, the minimum of the right hand side of the latter inequality on the hyperplane K i=1 p i ν i = (3p 1 + 2Σ 0 + Σ 1 )n is attained at ν 2 = . . . = ν K = θ, where the value θ is computed from the equation Therefore, the inequality holds. On the other hand, the equality (41) can be re-written in the following way: Recall that ν and θ are connected by the inequality 5θ ≤ 2ν. As a result, we obtain that the sum µ + µ B is strictly higher than the minimum of the function x + y on the interval, cut out by the inequalities The more so, this minimum is strictly higher than the number It is easy to check that the minimum of the function (43) on the triangle {θ > n, ν ≤ 3n, 5θ ≤ 2ν} ⊂ R 2 ν,θ is attained for ν = 3n, θ = 6 5 n and is equal to 81 5 n 2 . This completes the proof of Proposition 5.2.
The inequality (39) is so strong that it makes it possible to easily complete the exclusion of the case 2.1 (under the assumption that B is not contained in any quadric hypersurface in E P ). Indeed, since d B ≥ 5, we have the inequality It is easy to check that it is incompatible with the inequalities (39) and µ ≤ 12n 2 . This excludes the case under consideration (that is, the case 2.1 under the assumption that B is not contained in any quadric in E P ).
5.2. Case 2.1, B is contained in a quadric, but not in a hyperplane. Now let us consider the case 2.1 under the assumption that B is contained in some quadric in E P , but B = E P , that is, B is not contained in any hyperplane in E P .
Proposition 5.3. The following inequality holds: Proof. Again we write ν B = mult B Σ + P and ν = mult o Σ P . Since B is not contained in a hyperplane, Sec(B) = E P . Let L be a general secant line of the variety B. Since the system Σ + P has no fixed components, for a general divisor D ∈ Σ P we have L ⊂ D + . Therefore, as we claimed. The proposition is shown.
Corollary 5.1. The following estimate is true: ν B ≤ 3 2 n. The following claim is an analog of Proposition 5.2 in the situation under consideration Proposition 5.4. The following inequality holds: Proof is completely similar to the proof of Proposition 5.2 given above: we argue in word for word the same way and, recalling that µ > 8n 2 , we get that the value µ + µ B is strictly higher than the minimum of the function max(ν 2 , 8n 2 ) + nθ 2 θ − n on the triangle {θ > n, ν ≤ 3n, 2θ ≤ ν} ⊂ R 2 ν,θ . This minimum is attained for ν = 2 √ 2n, θ = √ 2n and is equal to (10 + 2 √ 2)n 2 , which is what we need. Q.E.D.
The estimate (44) is essentially weaker than (39), however, this is compensated by the additional geometric information about the subvariety B: we know that B ⊂ Q * , where Q * = Q P is some irreducible quadric, and moreover by assumption B is not a hyperplane section of the quadric Q * .
Lemma 5.2. The degree of the subvariety B is at least 4. Proof. We must exclude the option d B = deg B = 3. Assume that this is the case. Then the rank of the quadratic form, defining Q * , is equal to 3 or 4, so that B is swept out by a one-dimensional family of linear subspaces of codimension 3 in E P . Proposition 4.1 excludes this situation. Q.E.D. for the lemma.
Corollary 5.2. The following inequality holds: Now we exclude the case under consideration in the same way as we used to exclude the case 1.1, with some simplifications. Let Z P = Z 0 + Z 1 be the T Pdecomposition of the cycle Z P . Since B ⊂ Q P = T + P ∩ E P , we have mult B Z + 1 = µ B . Now, introducing the normalized parameters d i , µ i , i = 0, 1, and λ 1 , we obtain for them the system of the following inequalities: (24), (25), instead of (27) and (28) we have the estimate instead of (29) we have the estimate finally, instead of (26) we have the estimate and instead of (30) the stronger estimate Using MAPLE, it is easy to check that this system of linear equations and inequalities has no solutions already for M ≥ 5. This completes the exclusion of the case 2.1 under the assumption that B = E P .
5.3. The case 2.1, B is contained in a hyperplane. Assume that B is contained in some hyperplane Π ⊂ E P . By Proposition 4.1, B is a hypersurface of degree d B ≥ 2 in Π. Consider the linear system |H P − Π|, that is, the pencil of hyperplane sections, the base set of which is the intersection ∆ of the tangent section T P with the hyperplane in P that has Π as the tangent cone. Let Z P = Z 0 + Z 1 be such a decomposition of the cycle Z P , that Z + P = Z + 0 + Z + 1 is the B-decomposition of the effective cycle Z + P . Let R ∈ |H P − Π| be a general divisor. For the effective cycle (Z 1 • R) we have: However, in the case under consideration (Z 1 • R) is an effective cycle of codimension two on the hyperplane section R, which itself satisfies the regularity conditions, and for that reason the inequality holds; the right hand side for M ≥ 18 does not exceed 3/M. Taking into account that mult o Z 0 ≤ 3 M deg Z 0 , we obtain a contradiction with the aprioric inequality (18). This excludes the case under consideration for M ≥ 18. Remark 5.3. In the argument given above we used the fact that B ⊂ Q P : it is for that reason that the scheme-theoretic intersection (Z 1 • R) is well defined. However, if B ⊂ Q P , then B = Π∩Q P . Set ∆ = Bs |H P −Π| (see above). Obviously, deg ∆ = M, mult o ∆ = 2 (because ∆ + ∩ E P = B), so that writing where a ∈ Z + and Z * does not contain ∆ as a component, we repeat the previous argument and come to a contradiction for M ≥ 18.
If we use all the information available, we can exclude the case under consideration for smaller values of M as well. Namely, write Z P = Z 0 + Z 1 , where Z + P = Z + 0 + Z + 1 is the Θ-decomposition of the effective cycle Z + P . The cycle (Z 1 • R) is well defined for a general divisor R ∈ |H P − Π|. Furthermore, write where the strict transform of this equality on P + is the Θ-decomposition of the cycle (Z 1 • R) + . The cycle Z 10 satisfies the estimate but for Z 11 a much stronger inequality holds: since none of the components of the cycle Z 11 is contained in the tangent section T R = R ∩ T o R, so that we can form the effective cycle (Z 11 • T R ) and then apply to this cycle of codimension two on T R the technique of hypertangent divisors. Finally, setting , we get the following system of linear equations and inequalities: (24), (25), (26), (27), and also µ 10 + µ 11 = µ 1 + 2λ 1 + δ 1 , ξ 1 > 4, Applying MAPLE we see that this system is incompatible (even when we replace all strict inequalities by the non-strict ones) already for M ≥ 11. This completes the exclusion of the case 2.1.

The case 2.2, B
is not contained in Q P . Now assume that the case 2.2 takes place, where B ⊂ Q P . Now, if B is not contained in a quadric, we obtain a contradiction, arguing as in Subsection 5.1. If B is contained in a quadric, but not contained in a hyperplane, then we obtain a contradiction, arguing as in Subsection 5.2. Therefore we assume that B ⊂ Π, where Π ⊂ E P is some hyperplane. Now, if M ≥ 18 or if B * ⊂ Q P , then we obtain a contradiction in word for word the same way as in Subsection 5.3. Therefore we assume that M ≤ 17 and B * ⊂ Q P is a subvariety of codimension 2.
Let us consider the pencil of hyperplane sections |H P − Π|. Its base set ∆ = Bs |H P − Π| is a hyperplane section of the tangent section T P . Write Now let R ∈ |H P − Π| be a general divisor. By construction, R does not contain irreducible components of the cycle Z * and for that reason the effective cycle (Z * • R) of codimension 2on R is well defined. Let Z R = (Z * • R) = Z 0 + Z 1 be the T R -decomposition of the cycle Z R .
Let Q R = Q P ∩ Π = T + R ∩ E P be the (projectivized) tangent cone to T R , a quadric in E R = R + ∩ E P = Π. The subvariety B * is a prime divisor on Q R and for that reason is cut out on Q R by a hypersurface in E R of degree δ * ≥ 1, so that 2δ * = d * = deg B * .
Proposition 5.5. The equality δ * = 1 holds, that is, B * is a hyperplane section of Q R .
Proof. Assume the converse: δ * ≥ 2. In that case d * ≥ 4. Therefore, the inequality holds. To compute the left hand part, write where N is an effective divisor on Π, not containing B as a component and β ≥ µ B . By the intersection theory, where d N = deg N. On the other hand, by assumption B * is not contained in a hyperplane Π, that is, B * = Π and for that reason the inequalities hold. Therefore, we have the estimate Besides, we remember that the inequalities hold, and also the inequalities µ > 8n 2 and µ + µ B > 12n 2 . Using MAPLE, it is easy to check (replacing, as usual, strict inequalities by non-strict ones), that the system of linear equations and inequalities, obtained above, has no solutions for M ≥ 13. Proof of proposition 5.5 is complete.
Therefore, B * = Θ ∩ Q R , where Θ ⊂ Π = E R is a hyperplane. Instead of the inequality (45) we have a weaker estimate and it is no longer sufficient to obtain a contradiction. Let us consider the linear system |H R − Θ| on R and set ∆ * = Bs |H R − Θ| to be its base set (a divisor on the tangent section). By the regularity conditions we have mult B * (∆ * ) + = 1. Write down Z 0 = c∆ * + Z ♯ , where c ∈ Z + and Z ♯ does not contain ∆ * as a component. For a general divisor D ∈ |H R − Θ| the effective cycle (D • Z ♯ ) of codimension two on T R is well defined and satisfies the inequalities Adding the corresponding normalized inequalities to the previous ones and using MAPLE, we see that for M ≥ 13 the case under consideration is impossible. This completes the exclusion of the case 2.2 under the assumption that B ⊂ Q P .
5.5. The case 2.2, B is contained in Q P . Assume that B ⊂ Q P . Note, first of all, that B is not contained in a hyperplane (that is, it is not a hyperplane section of Q P ): such an option is excluded by word for word the same arguments as those that were used in the case B ⊂ Q P , B ⊂ Π, where Π ⊂ E P is a hyperplane. In particular, d B ≥ 4 and the estimate (44) holds .
Proposition 5.6. The subvariety B * ⊂ Q P of codimension two is contained in a hyperplane Π ⊂ E P .
Proof. Assume the converse. Let Λ ⊂ Q P be a general linear subspace of maximal dimension, B * Λ = B * ∩ Λ ⊂ Λ an irreducible subvariety of codimension two. For the linear span B * Λ there are three options: Λ is a subspace of codimension two in Λ. Note at once, that the third option does not realize: 3) implies that deg B * = 2 and then B * is contained in a hyperplane, contrary to our assumption.
It follows from what was said that either W is an irreducible divisor on Q P , or W = Q P . However, in the first case W ∩ Λ is an irreducible hypersurface in Λ (for a general Λ) and for that reason W ∩ Λ = B * Λ is a hyperplane in Λ, and then W is a hyperplane section of the quadric Q P , where B * ⊂ W , contrary to our assumption. Therefore, W = Q P . From here we get the following fact.
Lemma 5.3. For any effective divisor Y on the quadric Q P the inequality holds (the degree deg Y is understood as the degree of an effective cycle of codimension 2 on E P ). Proof. Denote by the symbol H Q the class of a hyperplane section of the quadric Q P , so that Y ∼ γH Q for some γ ≥ 1, where deg Y = 2γ. Let Λ be a general linear subspace of maximal dimension on Q P and L ⊂ Λ a general secant line of the variety B * Λ . Since the lines L sweep out Q P , we may assume that L ⊂ |Y |. Let x, y ∈ B * Λ be general points, where L = [x, y]. We have when the claim of the lemma follows. Q.E.D. Now let Z P = Z 0 +Z 1 be, as usual, the T P -decomposition of the cycle Z P . Setting λ i = 1 n 2 mult B Z i , i = 0, 1, we obtain the following system of linear equations and inequalities: (24,25,27), and also the estimate instead of (26), and also the estimates Now set ξ i = 1 n 2 mult B * Z + i , i = 0, 1. By the lemma shown above, the estimate µ 0 ≥ 4ξ 0 holds, besides, µ 1 ≥ ξ 1 and, as we know, ξ 0 + ξ 1 > 4. The inequality (47) can be sharpened. Write down where N is an effective divisor on the quadric Q P . Set d N = 1 n 2 deg N, then we get d N ≥ d B λ 1 and the estimate holds. Setting ξ N = 1 n 2 mult B * N and applying Lemma 5.3, we obtain the inequality Obviously, 1 n 2 mult B * (Z 1 • T P ) + ≥ ξ 1 − ξ N , so that, applying Lemma 5.3 once again, we get the inequality Using MAPLE, we check that the system of linear equations and inequalities, obtained above, is incompatible. Q.E.D. for Proposition 5.6. 5.6. Exclusion of the case 2.2. Now let us assume that the hyperplane Π ⊃ B * is the only hyperplane in E P with that property, that is, B * is not the intersection of Q P with a linear subspace Θ ⊂ E P of codimension two. In particular, d * = deg B * ≥ 4. Let R ∈ |H P − Π| be a general divisor of the pencil. Write down Z P = a∆ + Z * , where ∆ = Bs |H P − Π|, a ∈ Z + and Z * does not contain ∆ as a component. To simplify the formulas, we will assume that a = 0 and Z * = Z P : if a ≥ 1, then the system of linear equations and inequalities, obtained below, remains incompatible, which is easy to check.
So Z P = Z 0 + Z 1 is the T P -decomposition of the cycle Z P and ∆ is not an irreducible component of the cycle Z 0 . Setting, as usual, Set ξ i = 1 n 2 mult B * Z + i , i = 0, 1. In our case ξ 0 + ξ 1 > 4.
Proof. Z + 0 is an effective divisor on T + P , and its projectivized tangent cone Z + 0 ∩ E P is an effective divisor on the quadric Q P . Let Λ ⊂ Q P be a general linear subspace. Let p ∈ B * ∩ Λ and q ∈ B ∩ Λ be points of general position. The lines L = [pq] sweep out Λ and for that reason we may assume that L ⊂ Z + 0 . Therefore, for the intersection numbers on Q P we have: which is what we claimed. Q.E.D. for the lemma. Now write down (Z + i • R + ) = (Z i • R) + + N i , where N 1 is an effective divisor on Π, and N 0 = c(Π ∩ Q P ), c ∈ Z + . Since B * = Π, the inequality deg N i ≥ 2 mult B * N i holds (for i = 0 it is the equality, since obviously mult B * N 0 = 1). Setting we obtain inequalities where n i = 1 n 2 deg N i . Setting α i = 1 n 2 mult o (Z i • R), i = 0, 1, we obtain the set of standard estimates α i ≥ µ i + n i , α 0 ≤ max 3, 8M 3(M − 2) · d 0 , α i ≥ 4ζ i , i = 0, 1 (the last is true by the inequality deg B * ≥ 4, as B * = Π). Besides, one more important inequality holds. Lemma 5.5. The following estimate holds: Proof. Once again, let Λ ⊂ Q P be a general linear subspace of the maximal dimension and L a general secant line of the variety B * ∩ Λ. The lines L sweep out the hyperplane section Π ∩ Q P and for that reason it is sufficient to show the inequality Since n 0 ≥ 2β, the inequality (50) implies the claim of our lemma.
Consider a general line L * ⊂ Λ, intersecting L, and let S ∋ o be a generic twodimensional germ of an isolated quadratic singularity at the point o, S ⊂ T P , such that S + ∩ E P = L + L * , and S + is a non-singular surface. Obviously, whereas the effective 1-cycle Z + 0 | S + has the line L as a component of the multiplicity βn 2 . Taking this component out, we obtain that the effective 1-cycle does not have L as a component, and its multiplicity at two distinct points p, q ∈ L is at least (ξ 0 − β)n 2 .
Computing the intersection (C · L), we obtain the inequality which is what we need. Q.E.D. for the lemma. Finally, adding the inequality of Lemma 5.5 to the previous estimates, we obtain an incompatible system of linear equations and inequalities (checked using MAPLE), which completes the exclusion of the case under consideration.
Therefore, the only remaining possibility is when B * = Θ ∩ Q P , where Θ ⊂ E P is a linear subspace of codimension two. The claim of Lemma 5.4 is valid. Let R ∈ |H P − Θ| be a general divisor, Z R = (Z P • R) an effective cycle of codimension two on R, Z P = Z 0 + Z 1 is, as usual, the T P -decomposition of the cycle Z P . We get the standard set of linear equalities and inequalities for that decomposition: (24,25,27,46, 48) and (47) with d B = 4. Now let us consider the cycle Z R more carefully. Set (Z i • R) = Z ♯ i + c i n 2 ∆, where ∆ = Bs |H P − Θ| is a hyperplane section of the hypersurface T R ; note that none of the components of the cycle Z ♯ 1 is not contained in T R . The support of the cycle Z ♯ 2 is contained in T R . For the subvariety ∆ we obviously have: deg ∆ = M, mult o ∆ = 2 and mult B * ∆ + = 1. Obviously, Setting µ ♯ i = 1 n 2 mult o Z ♯ i for i = 0, 1, we obtain the inequality Furthermore, the following equalities mult o (Z 0 • R) = mult o Z 0 , mult B * (Z 0 • R) + = mult B * Z + 0 hold. The cycle Z ♯ 0 is an effective divisor on T R , which does not contain ∆ as a component. Let R * ∈ |H P − Θ| be another general divisor. Obviously, R * ∩ T R = R ∩ R * ∩ T P = ∆, so that none of the components of the cycle Z ♯ 0 is not contained in R * and therefore the cycle Z * 0 = (Z ♯ 0 • R * ) of codimension two on T R is well defined. The cycle Z * 0 is an effective divisor on ∆. Setting µ * 0 = mult o Z * 0 , we obtain the inequality By the regularity conditions on the hypersurface R the inequality holds. But it is not hard to obtain a stronger estimate. By the regularity conditions and the Lefschetz theorem we have: is an irreducible reduced divisor on ∆, which has the degree 2M and the multiplicity is true. From this it follows, that the inequality holds. Using MAPLE, it is easy to check that the system of linear equations and inequalities for µ * , d * , c * , µ ♯ * and µ * 0 , obtained above, has no solutions. The case 2.2 is completely excluded. 5.7. Exclusion of the case 2.3. Assume that the case 2.3 takes place. We have µ B = mult B Z + P > 4n 2 , so that we get the following sequence of inequalities: where d B = deg B ≥ 2 (the case of a linear subspace was excluded by Proposition 4.1), whence we conclude that d B = 2, that is, B is a quadric in some hyperplane Π ⊂ E P .
If B ⊂ Q P , then we argue as in Subsection 5.3: we write down Z P = Z 0 + Z 1 and intersect Z 1 with a general divisor R ∈ |H P − Π|. Since µ B > 4n 2 , we obtain the linear inequalities which hold for M ≥ 6. Putting together and recalling that mult o Z P > 8n 2 , we obtain a contradiction, excluding the possibility B ⊂ Q P . So let us assume that B = Π ∩ Q P is a hyperplane section of the quadric Q P . Consider ∆ = Bs |H P − Π|, which is a hyperplane section of the variety T P . Write down where a ∈ Z + and Z * does not contain ∆ as a component. For ∆ we have: deg ∆ = M, mult o ∆ = 2 and mult B ∆ + = 1. Therefore, deg Z * = (4n 2 − a)M, and for the multiplicities we have the equalities Now, arguing in word for word the same way as above in the case B ⊂ Q P , where Z P is replaced by Z * , we obtain a contradiction. The case 2.3 is excluded. Proof of Theorem 5 is complete.