[Math.AG] 13 Nov 2006 N Oti H Otgnrlfruain N Opeeproofs
Total Page:16
File Type:pdf, Size:1020Kb
PATCHWORKING REAL ALGEBRAIC VARIETIES OLEG VIRO Introduction This paper is a translation of the first chapter of my dissertation 1 which was defended in 1983. I do not take here an attempt of updating. The results of the dissertation were obtained in 1978-80, announced in [Vir79a, Vir79b, Vir80], a short fragment was published in detail in [Vir83a] and a con- siderable part was published in paper [Vir83b]. The later publication appeared, however, in almost inaccessible edition and has not been translated into English. In [Vir89] I presented almost all constructions of plane curves contained in the dissertation, but in a simplified version: without description of the main underlying patchwork construction of algebraic hypersurfaces. Now I regard the latter as the most important result of the dissertation with potential range of application much wider than topology of real algebraic varieties. It was the subject of the first chapter of the dissertation, and it is this chapter that is presented in this paper. In the dissertation the patchwork construction was applied only in the case of plane curves. It is developed in considerably higher generality. This is motivated not only by a hope on future applications, but mainly internal logic of the subject. In particular, the proof of Main Patchwork Theorem in the two-dimensional situation is based on results related to the three-dimensional situation and analogous to the two-dimensional results which are involved into formulation of the two-dimensional Patchwork Theorem. Thus, it is natural to formulate and prove these results once for all dimensions, but then it is not natural to confine Patchwork Theorem itself to the two-dimensional case. The exposition becomes heavier because of high degree of generality. Therefore the main text is prefaced with a section with visualizable presentation of results. The other sections formally are not based on the first one and contain the most general formulations and complete proofs. arXiv:math/0611382v1 [math.AG] 13 Nov 2006 In the last section another, more elementary, approach is expounded. It gives more detailed information about the constructed manifolds, having not only topo- logical but also metric character. There, in particular, Main Patchwork Theorem is proved once again. I am grateful to Julia Viro who translated this text. 1991 Mathematics Subject Classification. 14G30, 14H99; Secondary 14H20, 14N10. 1This is not a Ph D., but a dissertation for the degree of Doctor of Physico-Mathematical Sciences. In Russia there are two degrees in mathematics. The lower, degree corresponding approximately to Ph D., is called Candidate of Physico-Mathematical Sciences. The high degree dissertation is supposed to be devoted to a subject distinct from the subject of the Candidate dissertation. My Candidate dissertation was on interpretation of signature invariants of knots in terms of intersection form of branched covering spaces of the 4-ball. It was defended in 1974. i PATCHWORKING REAL ALGEBRAIC VARIETIES 1 Contents Introduction i 1. Patchworking plane real algebraic curves 2 1.1. The case of smallest patches 2 1.2. Logarithmic asymptotes of a curve 4 1.3. Charts of polynomials 7 1.4. Recovering the topology of a curve from a chart of the polynomial 10 1.5. Patchworking charts 13 1.6. Patchworking polynomials 13 1.7. The Main Patchwork Theorem 14 1.8. ConstructionofM-curvesofdegree6 14 1.9. Behavior of curve VRR2 (bt) as t → 0 15 1.10. Patchworking as smoothing of singularities 17 1.11. Evolvings of singularities 18 2. Toric varieties and their hypersurfaces 21 2.1. Algebraic tori KRn 21 2.2. Polyhedra and cones 22 2.3. Affine toric variety 23 2.4. Quasi-projective toric variety 25 2.5. Hypersurfaces of toric varieties 27 3. Charts 29 3.1. Space R+∆ 29 3.2. Charts of K∆ 29 3.3. Charts of L-polynomials 30 4. Patchworking 32 4.1. Patchworking L-polynomials 32 4.2. Patchworking charts 32 4.3. The Main Patchwork Theorem 32 5. Perturbations smoothing a singularity of hypersurface 35 5.1. Singularities of hypersurfaces 35 5.2. Evolving of a singularity 36 5.3. Charts of evolving 38 5.4. Construction of evolvings by patchworking 38 6. Approximation of hypersurfaces of KRn 39 6.1. Sufficient truncations 39 6.2. Domains of ε-sufficiencyofface-truncation 40 6.3. The main Theorem on logarithmic asymptotes of hypersurface 42 6.4. Proof of Theorem 6.3.A 42 6.5. Modification of Theorem 6.3.A 43 6.6. Charts of L-polynomials 44 6.7. Structure of VKRn (bt) with small t 44 6.8. Proof of Theorem 6.7.A 45 6.9. An alternative proof of Theorem 4.3.A 46 References 47 2 OLEG VIRO 1. Patchworking plane real algebraic curves This Section is introductory. I explain the character of results staying in the framework of plane curves. A real exposition begins in Section 2. It does not depend on Section 1. To a reader who is motivated enough and does not like informal texts without proofs, I would recommend to skip this Section. 1.1. The case of smallest patches. We start with the special case of the patch- working. In this case the patches are so simple that they do not demand a special care. It purifies the construction and makes it a straight bridge between combina- torial geometry and real algebraic geometry. 1.1.A (Initial Data). Let m be a positive integer number [it is the degree of the curve under construction]. Let ∆ be the triangle in R2 with vertices (0, 0), (m, 0), (0,m)[it is a would-be Newton diagram of the equation]. Let T be a triangulation of ∆ whose vertices have integer coordinates. Let the vertices of T be equipped with signs; the sign (plus or minus) at the vertex with coordinates (i, j) is denoted by σi,j . See Figure 1. + - + - + Figure 1. 2 2 For ε,δ = ±1 denote the reflection R → R : (x, y) 7→ (εx,δy) by Sε,δ. For a 2 set A ⊂ R , denote Sε,δ(A) by Aε,δ (see Figure 2). Denote a quadrant {(x, y) ∈ 2 R | εx > 0,δy > 0} by Qε,δ. Figure 2. PATCHWORKING REAL ALGEBRAIC VARIETIES 3 The following construction associates with Initial Data 1.1.A above a piecewise linear curve in the projective plane. 1.1.B (Combinatorial patchworking). Take the square ∆∗ made of ∆ and its mirror images ∆+−, ∆−+ and ∆−−. Extend the triangulation T of ∆ to a triangulation T∗ of ∆∗ symmetric with respect to the coordinate axes. Extend the distribution of signs σi,j to a distribution of signs on the vertices of the extended triangulation i j which satisfies the following condition: σi,j σεi,δj ε δ = 1 for any vertex (i, j) of T and ε,δ = ±1. (In other words, passing from a vertex to its mirror image with respect to an axis we preserve its sign if the distance from the vertex to the axis is even, and change the sign if the distance is odd.)2 If a triangle of the triangulation T∗ has vertices of different signs, draw the midline separating the vertices of different signs. Denote by L the union of these midlines. It is a collection of polygonal lines contained in ∆∗. Glue by S−− the opposite sides of ∆∗. The resulting space ∆¯ is homeomorphic to the projective plane RP 2. Denote by L¯ the image of L in ∆¯ . + - + + + - + + + Figure 3. Combinatorial patchworking of the initial data shown in Figure 1 Let us introduce a supplementary assumption: the triangulation T of ∆ is convex. It means that there exists a convex piecewise linear function ν : ∆ → R which is linear on each triangle of T and not linear on the union of any two triangles of T. A function ν with this property is said to convexify T. In fact, to stay in the frameworks of algebraic geometry we need to accept an additional assumption: a function ν convexifying T should take integer value on each vertex of T. Such a function is said to convexify T over Z. However this 2More sophisticated description: the new distribution should satisfy the modular property: ∗ i j i j g (σi,j x y ) = σg(i,j)x y for g = Sεδ (in other words, the sign at a vertex is the sign of the corresponding monomial in the quadrant containing the vertex). 4 OLEG VIRO additional restriction is easy to satisfy. A function ν : ∆ → R convexifying T is characterized by its values on vertices of T. It is easy to see that this provides a natural identification of the set of functions convexifying T with an open convex cone of RN where N is the number of vertices of T. Therefore if this set is not empty, then it contains a point with rational coordinates, and hence a point with integer coordinates. 1.1.C (Polynomial patchworking). Given Initial Data m, ∆, T and σi,j as above and a function ν convexifying T over Z. Take the polynomial i j ν(i,j) b(x,y,t)= σi,j x y t . (i, j) Xruns over vertices of T and consider it as a one-parameter family of polynomials: set bt(x, y) = b(x,y,t). Denote by Bt the corresponding homogeneous polynomials: m Bt(x0, x1, x2)= x0 bt(x1/x0, x2/x0). 1.1.D (Patchwork Theorem). Let m, ∆, T and σi,j be an initial data as above and ν a function convexifying T over Z. Denote by bt and Bt the non-homogeneous and homogeneous polynomials obtained by the polynomial patchworking of these initial data and by L and L¯ the piecewise linear curves in the square ∆∗ and its quo- tient space ∆¯ respectively obtained from the same initial data by the combinatorial patchworking.