September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 1 FULLERENES, POLYTOPES AND TORIC TOPOLOGY arxiv:1609.02949v1 [math.at] 9 Sep 2016 Victor M. Buchstaber Steklov Mathematical Institute of Russian Academy of Sciences Gubkina str. 8, 119991, Moscow, Russia Department of Geometry and Topology Faculty of Mechanics and Mathematics Lomonosov Moscow State University Leninskie Gory 1, 119991, Moscow, Russia e-mail: buchstab@mi.ras.ru Nikolay Yu. Erokhovets Department of Geometry and Topology Faculty of Mechanics and Mathematics Lomonosov Moscow State University Leninskie Gory 1, 119991, Moscow, Russia e-mail: erochovetsn@hotmail.com The lectures are devoted to a remarkable class of 3-dimensional polytopes, which are mathematical models of the important object of quantum physics, quantum chemistry and nanotechnology fullerenes. The main goal is to show how results of toric topology help to build combinatorial invariants of fullerenes. Main notions are introduced during the lectures. The lecture notes are addressed to a wide audience. Contents Introduction 3 1 Lecture 1. Basic notions 5 1.1 Convex polytopes 5 1.2 Schlegel diagrams 6 1.3 Euler s formula 6 1.4 Platonic solids 7 1.5 Archimedean solids 8 1
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 2 2 V.M. Buchstaber, N.Yu. Erokhovets 1.6 Simple polytopes 8 1.7 Realization of f-vector 10 1.8 Dual polytopes 11 1.9 k-belts 11 1.10 Simple paths and cycles 12 1.11 The Steinitz theorem 14 2 Lecture 2. Combinatorics of simple polytopes 17 2.1 Flag polytopes 17 2.2 Non-flag 3-polytopes as connected sums 19 2.3 Consequence of Euler s formula for simple 3-polytopes 19 2.4 Realization theorems 20 2.5 Graph-truncation of simple 3-polytopes 22 2.6 Analog of Eberhard s theorem for flag polytopes 23 3 Lecture 3. Combinatorial fullerenes 24 3.1 Fullerenes 24 3.2 Icosahedral fullerenes 25 3.3 Cyclic k-edge cuts 26 3.4 Fullerenes as flag polytopes 27 3.5 4-belts and 5-belts of fullerenes 29 4 Lecture 4. Moment-angle complexes and moment-angle manifolds 35 4.1 Toric topology 35 4.2 Moment-angle complex of a simple polytope 35 4.3 Admissible mappings 36 4.4 Barycentric embedding and cubical subdivision of a simple polytope 38 4.5 Pair of spaces in the power of a simple polytope 41 4.6 Davis-Januszkiewicz construction 42 4.7 Moment-angle manifold of a simple polytope 42 4.8 Mappings of the moment-angle manifold into spheres 45 4.9 Projective moment-angle manifold 46 5 Lecture 5. Cohomology of a moment-angle manifold 48 5.1 Cellular structure 48 5.2 Multiplication 49 5.3 Description in terms of the Stanley-Reisner ring 51 5.4 Description in terms of unions of facets 53 5.5 Multigraded Betti numbers and the Poincare duality 55 5.6 Multiplication in terms of unions of facets 56 5.7 Description in terms of related simplicial complexes 58 5.8 Description in terms of unions of facets modulo boundary 60 5.9 Geometrical interpretation of the cohomological groups 62 6 Lecture 6. Moment-angle manifolds of 3-polytopes 65 6.1 Corollaries of general results 65 6.2 k-belts and Betti numbers 67 6.3 Relations between Betti numbers 69 7 Lecture 7. Rigidity for 3-polytopes 71 7.1 Notions of cohomological rigidity 71 7.2 Straightening along an edge 71
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 3 Fullerenes, Polytopes and Toric Topology 3 7.3 Rigidity of the property to be a flag polytope 73 7.4 Rigidity of the property to have a 4-belt 76 7.5 Rigidity of flag 3-polytopes without 4-belts 77 8 Lecture 8. Quasitoric manifolds 89 8.1 Finely ordered polytope 89 8.2 Canonical orientation 89 8.3 Freely acting subgroups 89 8.4 Characteristic mapping 90 8.5 Combinatorial data 91 8.6 Quasitoric manifold with the (A, Λ)-structure 91 8.7 A partition of a quasitoric manifold 93 8.8 Stably complex structure and characteristic classes 93 8.9 Cohomology ring of the quasitoric manifold 94 8.10 Geometrical realization of cycles of quasitoric manifolds 95 8.11 Four colors problem 96 8.12 Quasitoric manifolds of 3-dimensional polytopes 97 9 Lecture 9. Construction of fullerenes 99 9.1 Number of combinatorial types of fullerenes 99 9.2 Growth operations 99 9.3 (s, k)-truncations 99 9.4 Construction of fullerenes by truncations 103 References 112 Introduction These lecture notes are devoted to results on crossroads of the classical polytope theory, toric topology, and mathematical theory of fullerenes. Toric topology is a new area of mathematics that emerged at the end of the 1990th on the border of equivariant topology, algebraic and symplectic geometry, combinatorics, and commutative algebra. Mathematical theory of fullerenes is a new area of mathematics focused on problems formulated on the base of outstanding achievements of quantum physics, quantum chemistry and nanotechnology. The text is based on the lectures delivered by the first author on the Young Topologist Seminar during the program on Combinatorial and Toric Homotopy (1-31 August 2015) organized jointly by the Institute for Mathematical Sciences and the Department of Mathematics of National University of Singapore. The lectures are oriented to a wide auditorium. We give all necessary notions and constructions. For key results, including new results, we either give a full prove, or a sketch of a proof with an appropriate reference. These results are oriented for the applications to the combinatorial study and classification of fullerenes.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 4 4 V.M. Buchstaber, N.Yu. Erokhovets Lecture guide One of the main objects of the toric topology is the moment-angle functor P Z P. It assigns to each simple n-polytope P with m facets an (n + m)-dimensional moment-angle complex Z P with an action of a compact torus T m, whose orbit space Z P /T m can be identified with P. The space Z P has the structure of a smooth manifold with a smooth action of T m. A mathematical fullerene is a three dimensional convex simple polytope with all 2-faces being pentagons and hexagons. In this case the number p 5 of pentagons is 12. The number p 6 of hexagons can be arbitrary except for 1. Two combinatorially nonequivalent fullerenes with the same number p 6 are called combinatorial isomers. The number of combinatorial isomers of fullerenes grows fast as a function of p 6. At that moment the problem of classification of fullerenes is well-known and is vital due to the applications in chemistry, physics, biology and nanotechnology. Our main goal is to apply methods of toric topology to build combinatorial invariants distinguishing isomers. Thanks to the toric topology, we can assign to each fullerene P its momentangle manifold Z P. The cohomology ring H (Z P ) is a combinatorial invariant of the fullerene P. We shall focus upon results on the rings H (Z P ) and their applications based on geometric interpretation of cohomology classes and their products. The multigrading in the ring H (Z P ), coming from the construction of Z P, and the multigraded Poincare duality play an important role here. There exist 7 truncation operations on simple 3-polytopes such that any fullerene is combinatorially equivalent to a polytope obtained from the dodecahedron by a sequence of these operations.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 5 Fullerenes, Polytopes and Toric Topology 5 1. Lecture 1. Basic notions 1.1. Convex polytopes Definition 1.1: A convex polytope P is a bounded set of the form P = {x R n : a i x + b i 0, i = 1,..., m}, where a i R n, b i R, and xy = x 1 y 1 + + x n y n is the standard scalar product in R n. Let this representation be irredundant, that is a deletion of any inequality changes the set. Then each hyperplane H i = {x R n : a i x + b i = 0} defines a facet F i = P H i. Denote by F P = {F 1,..., F m } the ordered set of facets of P. For a subset S F P denote S = i S F i. We have F P = P is the boundary of P. A face is a subset of a polytope that is an intersection of facets. Two convex polytopes P and Q are combinatorially equivalent (P Q) if there is an inclusion-preserving bijection between their sets of faces. A combinatorial polytope is an equivalence class of combinatorially equivalent convex polytopes. In most cases we consider combinatorial polytopes and write P = Q instead of P Q. Example 1.2: An n-simplex n in R n is the convex hull of n + 1 affinely independent points. Let {e 1,..., e n } be the standard basis in R n. The n-simplex conv{0, e 1,..., e n } is called standard. It is defined in R n by n + 1 inequalities: x i 0 for i = 1,..., n, and x 1 x n + 1 0. The standard n-cube I n is defined in R n by 2n inequalities x i 0, x i + 1 0, for i = 1,..., n. Definition 1.3: An orientation of a combinatorial convex 3-polytope is a choice of the cyclic order of vertices of each facet such that for any two facets with a common edge the orders of vertices induced from facets to this edge are opposite. A combinatorial convex 3-polytope with given orientation is called oriented. Exercise: Any geometrical realization of a combinatorial 3-polytope P in R 3 with standard orientation induces an orientation of P. Any combinatorial 3-polytope has exactly two orientations. Define an oriented combinatorial convex n-polytope. Definition 1.4: A polytope is called combinatorially chiral if any it s combinatorial equivalence to itself preserves the orientation.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 6 6 V.M. Buchstaber, N.Yu. Erokhovets Simplex 3 and cube I 3 are not combinatorially chiral. Exercise: Give an example of a combinatorially chiral 3-polytope. There is a classical notion of a (geometrically) chiral polytope (connected with the right-hand and the left-hand rules). Definition 1.5: A convex 3-polytope P R 3 is called (geometrically) chiral if there is no orientation preserving isometry of R 3 that maps P to its mirror image. Proposition 1.6: A combinatorially chiral polytope is geometrically chiral, while a geometrically chiral polytope can be not combinatorially chiral. Proof: The orientation-preserving isometry of R 3 that maps P to its mirror image defines the combinatorial equivalence that changes the orientation. On the other hand, the simplex 3 realized with all angles of all facets different can not be mapped to itself by an isometry of R 3 different from the identity. Hence it is chiral. The odd permutation of vertices defines the combinatorial equivalence that changes the orientation; hence 3 is not combinatorially chiral. 1.2. Schlegel diagrams Schlegel diagrams were introduced by Victor Schlegel (1843-1905) in 1886. Definition 1.7: A Schlegel diagram of a convex polytope P in R 3 is a projection of P from R 3 into R 2 through a point beyond one of its facets. The resulting entity is a subdivision of the projection of this facet that is combinatorial invariant of the original polytope. It is clear that a Schlegel diagram depends on the choice of the facet. Exercise: Describe the Schlegel diagram of the cube and the octahedron. Example 1.8: 1.3. Euler s formula Let f 0, f 1, and f 2 be numbers of vertices, edges, and 2-faces of a 3-polytope. Leonard Euler (1707-1783) proved the following fundamental relation: f 0 f 1 + f 2 = 2
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 7 Fullerenes, Polytopes and Toric Topology 7 Fig. 1. Cube and octahedron (www.wikipedia.org) Fig. 2. Dodecahedron and its Schlegel digram (www.wikipedia.org) By a fragment we mean a subset W P that is a union of faces of P. Define an Euler characteristics of W by χ(w ) = f 0 (W ) f 1 (W ) + f 2 (W ). If W 1 and W 2 are fragments, then W 1 W 2 and W 1 W 2 are fragments. Exercise: Proof the inclusion-exclusion formula χ(w 1 W 2 ) = χ(w 1 ) + χ(w 2 ) χ(w 1 W 2 ), 1.4. Platonic solids Definition 1.9: A regular polytope (Platonic solid) [13] is a convex 3-polytope with all facets being congruent regular polygons that are assembled in the same way around each vertex. There are only 5 Platonic solids, see Fig. 3. All Platonic solids are vertex-, edge-, and facet-transitive. They are not combinatorially chiral.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 8 8 V.M. Buchstaber, N.Yu. Erokhovets Cube (8, 12, 6) Octahedron (6, 12, 8) Tetrahedron (4, 6, 4) Dodecahedron (20, 30, 12) Icosahedron (12, 30, 20) Fig. 3. Platonic solids with f-vectors (f 0, f 1, f 2 ) (www.wikipedia.org) 1.5. Archimedean solids Definition 1.10: An Archimedean solid [13] is a convex 3-polytope with all facets regular polygons of two or more types, such that for any pair of vertices there is a symmetry of the polytope that moves one vertex to another. There are only 13 solids with this properties: 10 with facets of two types, and 3 with facets of three types. On the following figures we present Archimedean solids. For any polytope we give vectors (f 0, f 1, f 2 ) and (k 1,..., k p ; q), where q is the valency of any vertex and a tuple (k 1,... k p ) show which k-gons are present. Snub cube and snub dodecahedron are combinatorially chiral, while other 11 Archimedean solids are not combinatorially chiral. 1.6. Simple polytopes An n-polytope is simple if any its vertex is contained in exactly n facets. Example 1.11: 3 of 5 Platonic solids are simple. 7 of 13 Archimedean solids are simple. Exercise: A simple n-polytope with all 2-faces triangles is combinatorially equivalent to the n-simplex.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 9 Fullerenes, Polytopes and Toric Topology 9 Cuboctahedron Icosidodecahedron (12, 24, 14), (3, 4; 4) (30, 60, 32), (3, 5; 4) Truncated tetrahedron Truncated octahedron Truncated icosahedron (12, 18, 8), (3, 6; 3) (24, 36, 14), (4, 6; 3) (60, 90, 32), (5, 6; 3) Truncated cube Truncated dodecahedron (24, 36, 14), (3, 8; 3) (60, 90, 32), (3, 10; 3) Rhombicuboctahedron Rhombicosidodecahedron (24, 48, 26), (3, 4; 4) (60, 120, 62), (3, 4, 5; 4) Truncated Truncated cuboctahedron icosidodecahedron (48, 72, 26), (4, 6, 8; 3) (120, 180, 62), (4, 6, 10; 3) Snub cube Snub dodecahedron (24, 60, 38), (3, 4; 5) (60, 150, 92), (3, 5; 5) Fig. 4. Archimedean solids with f-vectors and facet-vertex types (www.wikipedia.org)
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 10 10 V.M. Buchstaber, N.Yu. Erokhovets Fig. 5. Left and right snub cube. Fix the orientations induced from ambient space. There is no combinatorial equivalence preserving this orientation. (www.wikipedia.org) Fig. 6. Simple polytopes: cube, dodecahedron and truncated icosahedron (www.wikipedia.org) A simple n-polytope with all 2-faces quadrangles is combinatorially equivalent to the n-cube. A simple 3-polytope with all 2-faces pentagons is combinatorially equivalent to the dodecahedron. 1.7. Realization of f-vector Theorem 1.12: [41] (Ernst Steinitz (1871-1928)) An integer vector (f 0, f 1, f 2 ) is a face vector of a three-dimensional polytope if and only if f 0 f 1 + f 2 = 2, f 2 2f 0 4, f 0 2f 2 4. Corollary 1.13: f 2 + 4 2f 0 4f 2 8 Well-known g-theorem [40, 1] gives the criterion when an integer vector (f 0,..., f n 1 ) is an f-vector of a simple n-polytope (see also [7]). For general polytopes the are only partial results about f-vectors. Classical problem: For four-dimensional polytopes the conditions characterizing the face vector (f 0, f 1, f 2, f 3 ) are still not known [46].
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 11 Fullerenes, Polytopes and Toric Topology 11 1.8. Dual polytopes For an n-polytope P R n with 0 int P the dual polytope P is P = {y (R n ) : yx + 1 0} i-faces of P are in an inclusion reversing bijection with (n i 1)-faces of P. (P ) = P. An n-polytope is simplicial if any its facet is a simplex. Lemma 1.14: A polytope dual to a simple polytope is simplicial. A polytope dual to a simplicial polytope is simple. Lemma 1.15: Let a polytope P n, n 2, be simple and simplicial. Then either n = 2, or P n is combinatorially equivalent to a simplex n, n > 2. Example 1.16: Among 5 Platonic solids the tetrahedron is self-dual, the cube is dual to the octahedron, and the dodecahedron is dual to the icosahedron. There are no simplicial polytope among Archimedean solids. Polytopes dual to Archimedean solids are called Catalan solids, since they where first described by E.C. Catalan (1814-1894). For example, the polytope dual to truncated icosahedron is called pentakis dodecahedron. Fig. 7. Truncated icosahedron and pentakis dodecahedron (www.wikipedia.org) On Fig. 8 the point (4, 4) corresponds to the tetrahedron. The bottom ray corresponds to simple polytopes, the upper ray to simplicial. For k 3 self-dual pyramids over k-gons give points on the diagonal. 1.9. k-belts Definition 1.17: Let P be a simple convex 3-polytope. A thick path is a sequence of facets (F i1,..., F ik ) with F ij F ij+1 for j = 1,..., k 1. A k-loop is
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 12 12 V.M. Buchstaber, N.Yu. Erokhovets f 2 Simplicial polytopes f 2 =2f 0-4 Convex polytopes f 0 =2f 2-4 4 Simple polytopes 0 4 f 0 Fig. 8. By Steinitz s theorem and Euler s formula integer points inside the cone are in the one-to-one correspondence with f-vectors of convex 3-polytopes a cyclic sequence (F i1,..., F ik ) of facets, such that F i1 F i2,..., F ik 1 F ik, F ik F i1 are edges. A k-loop is called simple, if facets (F i1,..., F ik ) are pairwise different. Example 1.18: Any vertex of P is surrounded by a simple 3-loop. Any edge is surrounded by a simple 4-loop. Any k-gonal facet is surrounded by a simple k-loop. Definition 1.19: A k-belt is a k-loop, such that F i1 F ik = and F ip F iq if and only if {p, q} {{1, 2},..., {k 1, k}, {k, 1}}. 1.10. Simple paths and cycles By G(P ) we denote a vertex-edge graph of a simple 3-polytope P. We call it the graph of a polytope. Let G be a graph. Definition 1.20: An edge path is a sequence of vertices (v 1,..., v k ), k > 1 such that v i and v i+1 are connected by some edge E i for all i < k. An edge path is simple if it passes any vertex of G at most once. A cycle is a simple edge path, such that v k = v 1, where k > 2. We denote a cycle by (v 1,..., v k 1 ).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 13 Fullerenes, Polytopes and Toric Topology 13 W 2 F i2 F i1 W 1 F i3 F i4 Fig. 9. 4-belt of a simple 3-polytope A cycle (v 1,..., v k ) in the graph of a simplicial 3-polytope P is dual to a k-belt in a simple 3-polytope P if all it s vertices do not lie in the same face, and v i and v j, are connected by an edge if and only if {i, j} {{1, 2},..., {k 1, k}, {k, 1}}. F k v k F i F j v j v i Fig. 10. (F i, F j, F k ) is a 3-belt (v i, v j, v k ) is a cycle dual to the 3-belt Definition 1.21: A zigzag path on a simple 3-polytope is an edge path with no 3 successive edges lying in the same facet. Starting with one edge an choosing the second edge having with it a common vertex, we obtain a unique way to construct a zigzag.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 14 14 V.M. Buchstaber, N.Yu. Erokhovets Definition 1.22: A zigzag cycle on a simple 3-polytope is a cycle with no 3 successive edges lying in the same facet. Fig. 11. A zigzag cycle on the Schlegel diagram of the dodecahedron 1.11. The Steinitz theorem Definition 1.23: A graph G is called simple if it has no loops and multiple edges. A connected graph G is called 3-connected, if it has at least 6 edges and deletion of any one or two vertices with all incident edges leaves G connected. Theorem 1.24: (The Steinitz theorem, see [47]) A graph G is a graph of a 3-polytope if and only if it is simple, planar and 3- connected. Remark 1.25: Moreover, the cycles in G corresponding to facets are exactly chordless simple edge cycles C with G \ C disconnected; hence the combinatorics of the embedding G S 2 is uniquely defined. We will need the following version of the Jordan curve theorem. It can be proved rather directly similarly to the piecewise-linear version of this theorem on the plane. Theorem 1.26: Let γ be a simple piecewise-linear (in respect to some homeomorphism S 2 P for a 3-polytope P ) closed curve on the sphere S 2. Then (1) S 2 \ γ consists of two connected components C 1 and C 2. (2) Closure C α is homeomorphic to a disk for each α = 1, 2. We will also need the following result. Lemma 1.27: Let G S 2 be a finite simple graph with at least 6 edges. Then G is 3-connected if and only if all connected components of S 2 \ G are bounded by
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 15 Fullerenes, Polytopes and Toric Topology 15 simple edge cycles and closures of any two areas («facets») either do not intersect, or intersect by a single common vertex, or intersect by a single common edge. Proof: Let G satisfy the condition of the lemma. We will prove that G is 3- connected. Let v 1 v 2, u 1, u 2 / {v 1, v 2 }, be vertices of G, perhaps u 1 = u 2. We need to prove that there is an edge-path from v 1 to v 2 in G \ {u 1, u 2 }. Since G is connected, there is an edge-path γ connecting v 1 and v 2. Consider the vertex u α, α {1, 2}, and all facets F i1,..., F ip containing it. From the hypothesis of the lemma p 3. Since the graph is embedded to the sphere, after relabeling we obtain a simple p-loop (F i1,..., F ip ). For j = {1,..., p} denote by w j the end of the edge F ij F ij+1 different from u α, where F ip+1 = F i1. Let g j be the simple edge-path connecting w j 1 and w j in F ij \ u α (See Fig. 12). Then g 1 g 2 F i1 u α F i2 w p w 1 w 2 g p F ip F i3 g 3 w 5 F i5 F i4 w 3 g5 w 4 g 4 Fig. 12. Star of the vertex u α η α = (g 1, g 2,..., g p ) is a simple edge-cycle. Indeed, if g s and g t have common vertex, then this vertex belongs to F is F it together with u α ; hence it is connected with u α by an edge; therefore {s, t} = {k, k + 1 mod p} for some k, and the vertex is w k. If u 1 and u 2 are different and are connected by an edge E, then E = F is F it for some s, t {1,..., p}, s t = ±1 mod p, and we can change γ not to contain E substituting the simple edge-path in F is \ E for E. Now for the new path γ 1 consider all times it passes u α. We can remove all the fragments (w i, u α, w j ) and substitute the simple edge path in η α \ u β connecting w i and w j for each fragment (w i, u α, w j ). The same can be done for u β, {α, β} = {1, 2}. Thus we obtain the edge-path γ 2 connecting v 1 and v 2 in G \ {u 1, u 2 }. Now let G be 3-connected. Consider the connected component D of S 2 \ G and it s boundary D. If there is a hanging vertex v D of G, then deletion of the other end of the edge containing v makes the graph disconnected. Hence any vertex v D of G gas valency at least 2, and D is surrounded by an edge-cycle
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 16 16 V.M. Buchstaber, N.Yu. Erokhovets η. If η is not simple, then there is a vertex v η passed several times. Then the area D appears several times when we walk around the vertex v. Since D is connected, there is a simple piecewise-linear (in respect to some homeomorphism S 2 P for a 3-polytope P ) closed curve η in the closure D of D with the only point v on the boundary. Walking round v, we pass edges in both connected component of S 2 \ η; hence the deletion of v divides G into several connected components. Thus the cycle η is simple. Let facets F 1 = D 1, F 2 = D 2 have two common vertices v 1, v 2. Consider piecewise linear simple curves η 1 F 1, η 2 F 2, with ends v 1 and v 2 and all other points lying in D 1 and D 2 respectively. Then η 1 η 2 is a simple piecewise-linear closed curve; hence it separates the sphere S 2 into two connected components. If v 1 and v 2 are not adjacent in F 1 or F 2, then both connected components contain vertices of G; hence deletion of v 1 and v 2 makes the graph disconnected. Thus any two common vertices are adjacent in both facets. Moreover, since there are no multiple edges, the corresponding edges belong to both facets. Then either both facets are surrounded by a common 3-cycle, and in this case G has only 3 edges, or any two facets either do not intersect, or intersect by a common vertex, or intersect by a common edge. This finishes the proof. Let L k = (F i1,..., F ik ) be a simple k-loop for k 3. Consider midpoints w j of edges F ij F ij+1, F ik+1 = F i1 and segments E j connecting w j and w j+1 in F j+1. Then (E 1,..., E k ) is a simple piecewise-linear curve η on P. It separates P S 2 into two areas homeomorphic to discs D 1 and D 2 with D 1 = D 2 = η. Consider two graphs G 1 and G 2 obtained from the graph G(P ) of P by addition of vertices {w j } k j=1 and edges {E j} k j=1, and deletion of all vertices and edges with interior points inside D 1 or D 2 respectively. Lemma 1.28: There exist simple polytopes P 1 and P 2 with graphs G 1 = G(P 1 ) and G 2 = G(P 2 ). Proof: The proof is similar for both graphs; hence we consider the graph G 1. It has at least 6 edges, is connected and planar. Now it is sufficient to prove that the hypothesis of Lemma 1.27 is valid. For this we see each facet of G 1 is either a facet of P, or it is a part of a facet F ij for some j, or it is bounded by the cycle η. In particular, all facets are bounded by simple edge-cycles. If the facets F i and F j are both of the first two types they either do not intersect or intersect by common edge as it is in P. If F is the facet bounded by η, then it intersects only facets (F i1,..., F ik ), and each intersection is an edge F F ij, j = 1,..., k. Definition 1.29: We will call polytopes P 1 and P 2 loop-cuts (or, more precisely, L k -cuts) of P.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 17 Fullerenes, Polytopes and Toric Topology 17 2. Lecture 2. Combinatorics of simple polytopes 2.1. Flag polytopes Definition 2.1: A simple polytope is called flag if any set of pairwise intersecting facets F i1,..., F ik : F is F it, s, t = 1,..., k, has a nonempty intersection F i1 F ik. a) b) Fig. 13. a) flag polytope; b) non-flag polytope (www.wikipedia.org) Example 2.2: n-simplex n is not a flag polytope for n 2. Proposition 2.3: Simple 3-polytope P is not flag if and only if either P = 3, or P contains a 3-belt. Corollary 2.4: Simple 3-polytope P 3 is flag if and only any 3-loop corresponds to a vertex. Proposition 2.5: Simple 3-polytope P is flag if and only if any facet is surrounded by a k-belt, where k is the number of it s edges. Proof: A simplex is not flag and has no 3-belts. By Proposition 2.3 a simple 3-polytope P 3 is not flag if and only if it has a 3-belt. The facet F P is not surrounded by a belt if and only if it belongs to a 3-belt. Corollary 2.6: For any flag simple 3-polytope P we have p 3 = 0. Later (see Lecture 9) we will need the following result. Proposition 2.7: A flag 3-polytope P has no 4-belts if and only if any pair of adjacent facets is surrounded by a belt.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 18 18 V.M. Buchstaber, N.Yu. Erokhovets Proof: The pair (F i, F j ) of adjacent facets is a 2-loop and is surrounded by a simple edge-cycle. Let L = (F i1,..., F ik ) be the k-loop that borders it. If L is not simple, then F ia = F ib for a b. Then F ia and F ib are not adjacent to the same facet F i or F j. Let F ia be adjacent to F i, and F ib to F j. Then (F i, F j, F ia ) is a 3-belt. A contradiction. Hence L is a simple loop. If it is not a belt, then F ia F ib for non-successive facets F ia and F ib. From Proposition 2.5 we obtain that F ia and F ib are not adjacent to the same facet F i or F j. Let F ia be adjacent to F i, and F ib to F j. Then (F ia, F i, F j, F ib ) is a 4-belt. On the other hand, if there is a 4-belt (F i, F j, F k, F l ), then facets F k and F l belong to the loop surrounding the pair (F i, F j ). Since F i F k = = F j F l, they are not successive facets of this loop; hence the loop is not a belt. This finishes the proof. In the combinatorial study of fullerenes the following version of the Jordan curve theorem gives the important tool. It follows from the Theorem 1.26. Theorem 2.8: Let γ be a simple edge-cycle on a simple 3-polytope P. Then (1) P \ γ consists of two connected components C 1 and C 2. (2) Let D α = {F j F P : int F j C α }, α = 1, 2. Then D 1 D 2 = F P. (3) The closure C α is homeomorphic to a disk. We have C α = D α. Corollary 2.9: If we remove the 3-belt from the surface of a simple 3-polytope, we obtain two parts W 1 and W 2, homeomorphic to disks. W 2 F j F i W 1 F k Fig. 14. 3-belt on the surface of a simple 3-polytope Proposition 2.10: Let P be a flag simple 3-polytope. Then m 6, and m = 6 if and only if P is combinatorially equivalent to the cube I 3.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 19 Fullerenes, Polytopes and Toric Topology 19 Proof: Take a facet F 1. By Proposition 2.5 it is surrounded by a k-belt B = (F i1,..., F ik ), k 4. Since there is at least one facet in the connected component W α of P \ B, int F 1 / W α, we obtain m 2 + k 6. If m = 6, then k = 4, F 1 is a quadrangle, and W α = int F j for some facet F j Then F j F i1 F i2, F j F i2 F i3, F j F i3 F i4, F j F i4 F i1 are vertices, and P is combinatorially equivalent to I 3. Lemma 2.11: Let P be a flag polytope, L k be a simple k-loop, and P 1 and P 2 be L k -cuts of P. Then the following conditions are equivalent: (1) both polytopes P 1 and P 2 are flag; (2) L k is a k-belt. Proof: Since P has no 3-belts, for k = 3 the loop L k surrounds a vertex; hence one of the polytopes P 1 and P 2 is a simplex, and it is not flag. Let k 4. Then P 1 and P 2 are not simplices. There are three types of facets in P : lying only in P 1, lying only in P 2, and lying in L k. Let B 3 = (F i, F j, F k ) be a 3-loop in P α, α {1, 2}. Let F i, F j, F k correspond to facets of P. Since intersecting facets in P α also intersect in P, (F i, F j, F k ) is also a 3-loop in P, and F i F j F k P is a vertex. Since F i F j in P α, either the corresponding edge of P lies in P α, or it intersects the new facet, and F i and F j are consequent facets of L k. Since k 4, at least one edge of F i F j, F j F k, and F k F i of P lies in P α ; hence F i F j F k P α, and B 3 is not a 3-belt in P α. If one of the facets, say F i, is a new facet of P α, then F j, F k L k, since F i F j, F i F k. Consider the edge F j F k of P. It intersects F i in P α if and only if F j and F k are consequent facets in L k. Thus if B 3 is a 3-belt, then L k is not a k-belt, and vice versa, if L k is not a k-belt, then F j F k for some non-consequent facets of L k, and the corresponding 3-loop B 3 is a 3-belt in the polytope P 1 or P 2 containing F j F k. This finishes the proof. 2.2. Non-flag 3-polytopes as connected sums The existence of a 3-belt is equivalent to the fact that P is combinatorially equivalent to a connected sum P = Q 1 # v1,v 2 Q 2 of two simple 3-polytopes Q 1 and Q 2 along vertices v 1 and v 2. The part W i appears if we remove from the surface of the polytope Q i the facets containing the vertex v i, i = 1, 2. 2.3. Consequence of Euler s formula for simple 3-polytopes Let p k be a number of k-gonal facets of a 3-polytope.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 20 20 V.M. Buchstaber, N.Yu. Erokhovets v 1 v 2 Q 1 Q 2 P Fig. 15. Connected sum of two simple polytopes along vertices Theorem 2.12: (See [27]) For any simple 3-polytope P 3p 3 + 2p 4 + p 5 = 12 + k 7(k 6)p k, (2.1) Proof: The number of pairs (edge, vertex of this edge) is equal, on the one hand, to 2f 1 and, on the other hand (since the polytope is simple), to 3f 0. Then f 0 = 2f1 3, and from the Euler formula we obtain 2f 1 = 6f 2 12. Counting the pairs (facet, edge of this facet), we have kp k = 2f 1 = 6 p k 12, k 3 k 3 which implies formula (2.1). Corollary 2.13: There is no simple polytope P with all facets hexagons. Moreover, if p k = 0 for k 5, 6, then p 5 = 12. Exercise: The f-vector of a simple polytope is expressed in terms of the p-vector by the following formulas: f 0 = 2 (f 2 2) f 1 = 3 (f 2 2) f 2 = k p k 2.4. Realization theorems Definition 2.14: An integer sequence (p k k 3) is called 3-realizable is there is a simple 3-polytope P with p k (P ) = p k. Theorem 2.15: (Victor Eberhard [20], see [27]) For a sequence (p k 3 k 6) there exists p 6 such that the sequence (p k k 3) is 3-realizable if and only if it satisfies formula (2.1).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 21 Fullerenes, Polytopes and Toric Topology 21 There arise a natural question. Problem: For a given sequence (p k 3 k 6) find all p 6 such that the sequence (p k k 3) is 3-realizable. Notation: When we write a finite sequence (p 3, p 4,..., p k ) we mean that p l = 0 for l > k. Example 2.16: (see [27]) Sequences (0, 6, 0, p 6 ) and (0, 0, 12, p 6 ) are 3- realizable if and only if p 6 1. The sequence (4, 0, 0, p 6 ) is 3-realizable if and only if p 6 is an even integer different from 2. The sequence (3, 1, 1, p 6 ) is 3- realizable if and only if p 6 is an odd integer greater than 1. Let us mention also the following results. Theorem 2.17: For a given sequence (p k 3 k 6) satisfying formula (2.1) ( ) there exists p 6 3 p k such that the sequence (p k k 3) is 3-realizable k 6 [25]; if p 3 = p 4 = 0 then any sequence (p k k 3, p 6 8) is 3-realizable [26]. There are operations on simple 3-polytopes that do not effect p k except for p 6. We call them p 6 -operations. As we will see later they are important for applications. Operation I: The operation affects all edges of the polytope P. We present a fragment on Fig. 16. On the right picture the initial polytope P is drawn by dotted Fig. 16. Operation I
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 22 22 V.M. Buchstaber, N.Yu. Erokhovets lines, while the resulting polytope by solid lines. We have { p k (P pk (P ), k 6; ) = p 6 (P ) + f 1 (P ), k = 6. Operation II: The operation affects all edges of the polytope P. We present a fragment on Fig. 17. On the right picture the initial polytope P is drawn by dotted Fig. 17. Operation II lines, while the resulting polytope by solid lines. We have { p k (P pk (P ), k 6; ) = p 6 (P ) + f 0 (P ), k = 6. Operation I and Operation II are called iterative procedures (see [33]), since arbitrary compositions of them are well defined. Exercise: Operation I and Operation II commute; therefore they define an action of the semigroup Z 0 Z 0 on the set of all combinatorial simple 3-polytopes, where Z 0 is the additive semigroup of nonnegative integers. 2.5. Graph-truncation of simple 3-polytopes Consider a subgraph Γ G(P ) without isolated vertices. For each edge E i,j = F i F j = P {x R 3 : (a i + a j )x + (b i + b j ) = 0} consider the halfspace H + ij,ε = {x R3 : (a i + a j )x + (b i + b j ) ε}.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 23 Fullerenes, Polytopes and Toric Topology 23 Set P Γ,ε = P E i,j Γ H + ij,ε Exercise: For small enough values of ε the combinatorial type of P Γ,ε does not depend on ε. Definition 2.18: We will denote by P Γ the combinatorial type of P Γ,ε for small enough values of ε and call it a Γ-truncation of P. When it is clear what is Γ we call P Γ simply graph-truncation of P. Example 2.19: For Γ = G(P ) the polytope P = P Γ is obtained from P by a p 6 -operation I defined above. Proposition 2.20: Let P be a simple polytope with p 3 = 0. Then the polytope P G(P ) is flag. We leave the proof as an exercise. Corollary 2.21: For a given sequence (p k 3 k 6) satisfying formula (2.1) there are infinitely many values of p 6 such that the sequence (p k k 3) is 3- realizable. 2.6. Analog of Eberhard s theorem for flag polytopes Theorem 2.22: [9] For every sequence (p k 3 k 6, p 3 = 0) of nonnegative integers satisfying formula (2.1) there exists a value of p 6 such that there is a flag simple 3-polytope P 3 with p k = p k (P 3 ) for all k 3. Proof: For a given sequence (p k 3 k 6, p 3 = 0) satisfying formula (2.1) by Eberhard s theorem there exists a simple polytope P with p k = p k (P ), k 6. Then the polytope P = P G(P ) is flag by Proposition 2.20. We have p k (P ) = p k (P ), k 6, and p 6 (P ) = p 6 (P ) + f 1 (P ).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 24 24 V.M. Buchstaber, N.Yu. Erokhovets 3. Lecture 3. Combinatorial fullerenes 3.1. Fullerenes A fullerene is a molecule of carbon that is topologically sphere and any atom belongs to exactly three carbon rings, which are pentagons or hexagons. Buckminsterfullerene C 60 (f 0, f 1, f 2 ) = (60, 90, 32) (p 5, p 6 ) = (12, 20) Schlegel diagram Fig. 18. Buckminsterfullerene and it s Schlegel diagram (www.wikipedia.org) The first fullerene C 60 was generated by chemists-theorists Robert Curl, Harold Kroto, and Richard Smalley in 1985 (Nobel Prize in chemistry 1996, [14, 31, 39]). They called it Buckminsterfullerene. Definition 3.1: A combinatorial fullerene is a simple 3-polytope with all facets pentagons and hexagons. To be short by a fullerene below we mean a combinatorial fullerene. For any fullerene p 5 = 12, and expression of the f-vector in terms of the p-vector obtains the form f 0 = 2(10 + p 6 ), f 1 = 3(10 + p 6 ), f 2 = (10 + p 6 ) + 2 Remark 3.2: Since the combinatorially chiral polytope is geometrically chiral (see Proposition 1.6), the following problem is important for applications in the
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 25 Fullerenes, Polytopes and Toric Topology 25 Fullerenes were named after Richard Buckminster Fuller (1895-1983) a famous american architect, systems theorist, author, designer and inventor. In 1954 he patented an architectural construction in the form of polytopal spheres for roofing large areas. They are also called buckyballs. Fig. 19. Fuller s Biosphere, USA Pavillion on Expo-67 (Montreal, Canada) (www.wikipedia.org) Fig. 20. Fullerene C 60 and truncated icosahedron (www.wikipedia.org) physical theory of fullerenes: Problem: To find an algorithm to decide if the given fullerene is combinatorially chiral. 3.2. Icosahedral fullerenes Operations I and II (see page 21) transform fullerenes into fullerenes. The first procedure increases f 0 in 4 times, the second in 3 times. Applying operation I to the dodecahedron we obtain fullerene C 80 with p 6 = 30. In total there are 31924 fullerenes with p 6 = 30. Applying operation II to the dodecahedron we obtain the Buckminsterfullerene C 60 with p 6 = 20. In total there are 1812 fullerenes with p 6 = 20. Definition 3.3: Fullerene with a (combinatorial) group of symmetry of the icosahedron is called an icosahedral fullerene. The construction implies that starting from the dodecahedron any combination
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 26 26 V.M. Buchstaber, N.Yu. Erokhovets C 60 C 80 Fig. 21. Icosahedral fullerenes C 60 and C 80 (http://previews.123rf.com) of the first and the second iterative procedures gives an icosahedral fullerene. Exercise: Proof that the opposite is also true. Denote operation 1 by T 1 and operation 2 by T 2. Theses operations define the action of the semigroup Z 2 0 on the set of combinatorial fullerenes. Proposition 3.4: The operations T 1 and T 2 change the number of hexagons of the fullerene P by the following rule: p 6 (T 1 P ) = 30 + 4p 6 (P ); p 6 (T 2 P ) = 20 + 3p 6 (P ). The proof we leave as an exercise. Corollary 3.5: The f-vector of a fullerene is changed by the following rule: T 1 (f 0, f 1, f 2 ) = (4f 0, 4f 1, f 2 + f 1 ); T 2 (f 0, f 1, f 2 ) = (3f 0, 3f 1, f 2 + f 0 ). 3.3. Cyclic k-edge cuts Definition 3.6: Let Γ be a graph. A cyclic k-edge cut is a set E of k edges of Γ, such that Γ \ E consists of two connected component each containing a cycle, and for any subset E E the graph Γ \ E is connected. For any k-belt (F 1,..., F k ) of the simple 3-polytope P the set of edges {F 1 F 2,..., F k 1 F k, F k F 1 } is a cyclic k-edge cut of the graph G(P ). For k = 3 any cyclic k-edge cut in G(P ) is obtained from a 3-belt in this way. For larger k not any cyclic k-edge cut is obtained from a k-belt. In the paper [18] it was proved that for any fullerene P the graph G(P ) has no cyclic 3-edge cuts. In [19] it was proved that G(P ) has no cyclic 4-edge cuts. In [32] and [29] cyclic 5-edge cuts were classified. In [29] cyclic 6-edge cuts were classified. In [30] degenerated cyclic 7-edge cuts and fullerenes with nondegenerated cyclic 7-edge cuts were classified, where a cyclic k-edge cut is called
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 27 Fullerenes, Polytopes and Toric Topology 27 degenerated, if one of the connected components has less than 6 pentagonal facets, otherwise it is called non-degenerated. 3.4. Fullerenes as flag polytopes Let γ be a simple edge-cycle on a simple 3-polytope. We say that γ borders a k-loop L if L is a set of facets that appear when we walk along γ in one of the components C α. We say that an l 1 - loop L 1 = (F i1,..., F il1 ) borders an l 2 -loop L 2 = (F j1,..., F jl2 ) (along γ), if they border the same edge-cycle γ. If l 2 = 1, then we say that L 1 surrounds F j1. Let γ have a 1 p successive edges corresponding to F ip L 1, and a 2 q successive edges corresponding to F jq L 2. Lemma 3.7: Let a loop L 1 border a loop L 2 along γ. Then one of the following holds: (1) L α is a 1-loop, and L β is a a α 1 -loop, for {α, β} = {1, 2}; (2) l 1, l 2 2, l 1 + l 2 = l γ = l 1 r=1 a1 r = l 2 r=1 a2 r. Proof: If l 2 = 1, then γ is a boundary of the facet F j1, successive edges of γ belong to different facets in L 1, and l 1 = a 2 1. Similar argument works for l 1 = 1. Let l 1, l 2 2. Any edge of γ is an intersection of a facet from L 1 with a facet from L 2. Successive edges of γ belong to the same facet in L α if and only if they belong to successive facets in L β, {α, β} = {1, 2}; therefore l α = l β r=1 (aβ r 1) = l β r=1 aβ r l β. We have l γ = l β r=1 aβ r = l 1 + l 2. Lemma 3.8: Let B = (F i1,..., F ik ) be a k-belt. Then (1) B = F i1 F ik is homeomorphic to a cylinder; (2) B consists of two simple edge-cycles γ 1 and γ 2. (3) P \ B consists of two connected components P 1 and P 2. (4) Let W α = {F j F P : int F j P α } F P, α = 1, 2. Then W 1 W 2 B = F P. (5) P α = W α is homeomorphic to a disk, α = 1, 2. (6) P α = P α = γ α, α = 1, 2. The proof is straightforward using Theorem 2.8. Let a facet F ij B has α j edges in γ 1 and β j edges in γ 2. If F ij is an m ij -gon, then α j + β j = m ij 2. Lemma 3.9: Let P be a simple 3-polytope with p 3 = 0, p k = 0, k 8, p 7 1,
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 28 28 V.M. Buchstaber, N.Yu. Erokhovets and let B k be a k-belt, k 3, consisting of b i i-gons, 4 i 7. Then one of the following holds: (1) B k surrounds two k-gonal facets F s : {F s } = W 1, and F t : {F t } = W 2, and all facets of B k are quadrangles; (2) B k surrounds a k-gonal facet F s : {F s } = W α, and borders an l β -loop L β W β, {α, β} = {1, 2}, l β = b 5 + 2b 6 + 3b 7 2; (3) B k borders an l 1 -loop L 1 W 1 and an l 2 -loop L 2 W 2, where (a) l 1 = k j=1 (α j 1) 2, l 2 = k j=1 (β j 1) 2; (b) l 1 + l 2 = 2k 2b 4 b 5 + b 7 2k + 1. (c) min{l 1, l 2 } k b 4 b5 b7 2 k. (d) If b 7 = 0, l 1, l 2 k, then l 1 = l 2 = k, b 4 = b 5 = 0, b 6 = k. Proof: Walking round γ α in P α we obtain an l α -loop L α W α. If B k surrounds two k-gons F s : {F s } = W 1, and F t : {F t } = W 2, then all facets in B k are quadrangles. If B k surrounds a k-gon F s : {F s } = W α and borders an l β -loop L β W β, l β 2, then from Lemma 3.7 we have l β = k (m ij 3) k = j=1 k (m ij 3 1) = j=1 7 jb j 4 j=4 7 b j = b 5 +2b 6 +3b 7. If B k borders an l 1 -loop L 1 and an l 2 -loop L 2, l 1, l 2 2, then (a) follows from Lemma 3.7. l 1 + l 2 = k (α j + β j 2) = j=1 7 jb j 4 j=4 k (m ij 4) = i=1 j=4 7 b j = b 5 + 2b 6 + 3b 7 = 2k 2b 4 b 5 + b 7. j=4 We have min{l 1, l 2 } [ l 1+l 2 ] 2 = k b4 b5 b7 2 k, since b 7 1. If b 7 = 0 and l 1, l 2 k, then from (3b) we have l 1 = l 2 = k, b 4 = b 5 = 0, b 6 = k. Lemma 3.10: Let an l 1 -loop L 1 = (F i1,..., F il1 ) border an l 2 -loop L 2, l 2 2. (1) If l 1 = 2, then l 2 = m i1 + m i2 4; (2) If l 1 = 3 and L 1 is not a 3-belt, then F i1 F i2 F i3 is a vertex, and l 2 = m i1 + m i2 + m i3 9.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 29 Fullerenes, Polytopes and Toric Topology 29 The proof is straightforward from Lemma 3.7. Theorem 3.11: Let P be simple 3-polytope with p 3 = 0, p 4 2, p 7 1, and p k = 0, k 8. Then it has no 3-belts. In particular, it is a flag polytope. Proof: Let P has a 3-belt B 3. Since p 3 = 0, by Lemma 3.9 it borders an l 1 - loop L 1 and l 2 -loop L 2, where l 1, l 2 2, l 1 + l 2 7. By Lemma 3.10 (1) we have l 1, l 2 3; hence min{l 1, l 2 } = 3. If B 3 contains a heptagon, then W 1, W 2 contain no heptagons. If B 3 contains no heptagons, then from Lemma 3.9 (3d) l 1 = l 2 = 3, and one of the sets W 1 and W 2, say W α, contains no heptagons. In both cases we obtain a set W α without heptagons and a 3-loop L α W α. Then L α is a 3-belt, else by Lemma 3.10 (2) the belt B 3 should have at least 4 + 4 + 5 9 = 4 facets. Considering the other boundary component of L α we obtain again a 3-belt there. Thus we obtain an infinite series of different 3-belts inside W α. A contradiction. Corollary 3.12: Any fullerene is a flag polytope. This result follows directly from the results of paper [18] about cyclic k-edge cuts of fullerenes. We present a different approach from [9, 10] based on the notion of a k-belt. Corollary 3.13: Let P be a fullerene. Then any 3-loop surrounds a vertex. In what follows we will implicitly use the fact that for any flag polytope, in particular satisfying conditions of Theorem 3.11, if facets F i, F j, F k pairwise intersect, then F i F j F k is a vertex. 3.5. 4-belts and 5-belts of fullerenes Lemma 3.14: Let P be a flag 3-polytope, and let a 4-loop L 1 = (F i1, F i2, F i3, F i4 ) border an l 2 -loop L 2, l 2 2, where index j of i j lies in Z 4 = Z/(4). Then one of the following holds: (1) L 1 is a 4-belt (Fig. 22 a); (2) L 1 is a simple loop consisting of facets surrounding an edge (Fig. 22 b), and l 2 = m i1 + m i2 + m i3 + m i4 14; (3) L 1 is not a simple loop: F ij = F ij+2 for some j, F ij 1 F ij+1 = (Fig. 22 c), and l 2 = m ij 1 + m ij + m ij+1 8. Proof: Let L 1 be not a 4-belt. If L 1 is simple, then F ij F ij+2 for some j. Then F ij F jj+1 F ij+2 and F ij F jj 1 F ij+2 are vertices, L 1 surrounds the edge
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 30 30 V.M. Buchstaber, N.Yu. Erokhovets F i2 F ij+1 F ij+1 F i1 F i3 F ij F ij+2 F ij =F ij+2 F i4 F ij-1 F ij-1 a) b) c) Fig. 22. Possibilities for a 4-loop L 1 F ij F ij+2, and by Lemma 3.7 we have l 2 = (m ij 3)+(m ij+1 2)+(m ij+2 3) + (m ij 2 2) 4 = m i1 + m i2 + m i3 + m i4 14. If L 1 is not simple, then F ij = F ij+2 for some j. The successive facets of L 1 are different by definition. Let L 1 and L 2 border the edge cycle γ and L 1 D α in notations of Theorem 2.8. Since F ij intersects γ by two paths, int F ij 1 and int F ij+1 lie in different connected components of C α \ int F ij ; hence F ij 1 F ij+1 =. By Lemma 3.7 we have l 2 = (m ij 1 1)+(m ij 2)+(m ij+1 1) 4 = m jj 1 +m ij +m ij+1 8. Theorem 3.15: Let P be a simple polytope with all facets pentagons and hexagons with at most one exceptional facet F being a quadrangle or a heptagon. (1) If P has no quadrangles, then P has no 4-belts. (2) If P has a quadrangle F, then there is exactly one 4-belt. It surrounds F. Proof: By Theorem 3.11 the polytope P is flag. By Lemma 2.5 a quadrangular facet is surrounded by a 4-belt. Let B 4 be a 4-belt that does not surround a quadrangular facet. By Lemma 3.9 it borders an l 1 -loop L 1 and l 2 -loop L 2, where l 1, l 2 2, and l 1 + l 2 9. We have l 1, l 2 3, since by Lemma 3.10 (1) a 2-loop borders a k-loop with k 4 + 5 4 = 5. We have l 1, l 2 4 by Theorem 3.11 and Lemma 3.10 (2), since a 3-loop that is not a 3-belt borders a k-loop with k 4+5+5 9 = 5. Also min{l 1, l 2 } = 4. If B 4 contains a heptagon, then W 1, W 2 contain no heptagons. If B 4 contains no heptagons, then l 1 = l 2 = 4 by Lemma 3.9 (3d), and one of the sets W 1 and W 2, say W α, contains no heptagons. In both cases we obtain a set W α without heptagons and a 4-loop L α W α. Then L α is a 4-belt, else by Lemma 3.14 the belt B 4 should have at least 4 + 5 + 5 + 5 14 = 5 or 4 + 5 + 5 8 = 6 facets. Applying the same argument to L α instead of B k, we have that either L α surrounds on the opposite side a quadrangle, or it borders
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 31 Fullerenes, Polytopes and Toric Topology 31 a 4-belt and consists of hexagons. In the first case by Lemma 3.9 (2) the 4-belt L α consists of pentagons. Thus we can move inside W α until we finish with a quadrangle. If P has no quadrangles, then we obtain a contradiction. If P has a quadrangle F, then it has no heptagons; therefore moving inside W β we should meet some other quadrangle. A contradiction. Corollary 3.16: Fullerenes have no 4-belts. This result follows directly from [19]. Above we prove more general Theorems 3.11 and 3.15, since we will need them in Lecture 9. Corollary 3.17: Let P be a fullerene. Then any simple 4-loop surrounds an edge. Now consider 5-belts of fullerenes. Describe a special family of fullerenes. cap the first 5-belt a) b) Fig. 23. Construction of fullerenes D k Construction (Series of polytopes D k ): Denote by D 0 the dodecahedron. If we cut it s surface along the zigzag cycle (Fig. 11), we obtain two caps on Fig. 23a). Insert k successive 5-belts of hexagons with hexagons intersecting neighbors by opposite edges to obtain the combinatorial description of D k. We have p 6 (D k ) = 5k, f 0 (D k ) = 20 + 10k, k 0. Geometrical realization of the polytope D k can be obtained from the geometrical realization of D k 1 by the the following sequence of edge- and two-edges truncations, represented on Fig. 24. The polytopes D k for k 1 are exatly nanotubes of type (5, 0) [32, 29, 30]. Lemma 3.18: Let P be a flag 3-polytope without 4-belts, and let a 5-loop L 1 = (F i1, F i2, F i3, F i4, F i5 ) border an l 2 -loop L 2, l 2 2, where index j of i j lies in Z 5 = Z/(5). Then one of the following holds:
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 32 32 V.M. Buchstaber, N.Yu. Erokhovets Fig. 24. Geometrical construction of a 5-belt of hexagons Fig. 25. Fullerenes D 1 and D 2 (1) L 1 is a 5-belt (Fig. 26a); (2) L 1 is a simple loop consisting of facets surrounding two adjacent edges (Fig. 26b), and l 2 = m i1 + m i2 + m i3 + m i4 + m i5 19 6; (3) L 1 is not a simple loop: F ij = F ij+2 for some j, F ij 2 F ij 1 F ij is a vertex, F ij+1 does not intersect F ij 2 and F ij 1 (Fig. 26c), and l 2 = m ij 2 + m ij 1 + m ij + m ij+1 13 7. F i1 F i2 F ij-1 F ij F ij-1 F i5 Fi4 F i3 F ij-2 F ij+2 Fij+1 F ij-2 F ij =F ij+2 F ij+1 a) b) c) Fig. 26. Possibilities for a 5-loop L 1 Proof: Let L 1 be not a 5-belt. If L 1 is simple, then two non-successive facets F ij and F ij+2 intersect. Then F ij F ij+1 F ij+2 is a vertex. By Theorem 3.15 the 4-loop (F ij 2, F ij 1, F ij, F ij+2 ) is not a 4-belt; hence either F ij 2 F ij,
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 33 Fullerenes, Polytopes and Toric Topology 33 or F ij 1 F ij+2. Up to relabeling in the inverse order, we can assume that F ij 1 F ij+2. Then F ij 1 F ij F ij+2 and F ij 2 F ij 1 F ij+2 are vertices. Thus L 1 surrounds the adjacent edges F ij 1 F ij+2 and F ij F ij+2. By Lemma 3.7 we have l 2 = (m ij 2 2)+(m ij 1 3)+(m ij 3)+(m ij+1 2)+(m ij+2 4) 5 = m i1 +m i2 +m i3 +m i4 +m i5 19 6. The last inequality holds, since flag 3- polytope without 4-belts has no triangles and quadrangles. If L 1 is not simple, then F ij = F ij+2 for some j. The successive facets of L 1 are different by definition. Let L 1 and L 2 border the edge cycle γ and L 1 D α in notations of Theorem 2.8. Since F ij intersects γ by two paths, int F ij 2 int F ij 1 and int F ij+1 lie in different connected components of C α \ int F ij ; hence F ij 2 F ij+1 = = F ij 1 F ij+1. Since P is flag, F ij 2 F ij 1 F ij is a vertex, thus we obtain the configuration on Fig. 26c. By Lemma 3.7 we have l 2 = (m ij 2 2) + (m ij 1 2) + (m ij 3) + (m ij+1 1) 5 = m ij 2 + m jj 1 + m ij + m ij+1 13 7. The next result follows directly from [29] or [32]. We develop the approach from [10] based on the notion of a k-belt. Theorem 3.19: Let P be a fullerene. Then the following statements hold. I. Any pentagonal facet is surrounded by a 5-belt. There are 12 belts of this type. II. If there is a 5-belt not surrounding a pentagon, then (1) it consists only of hexagons; (2) the fullerene is combinatorially equivalent to the polytope D k, k 1. (3) the number of 5-belts is 12 + k. Proof: (1) Follows from Proposition 2.5 and Corollary 3.12. (2) Let the 5-belt B 5 do not surround a pentagon. By Lemma 3.9 it borders an l 1 -loop L 1 W 1 and an l 2 -loop L 2 W 2, l 1, l 2 2, l 1 + l 2 10. By Lemma 3.10 (1) we have l 1, l 2 3. From Corollary 3.12 and Lemma 3.10 (2) we obtain l 1, l 2 4. From Corollary 3.16 and Lemma 3.14 we obtain l 1, l 2 5. Then l 1 = l 2 = 5 and all facets in B 5 are hexagons by Lemma 3.9 (3d). From Lemma 3.18 we obtain that L 1 and L 2 are 5-belts. Moving inside W 1 we obtain a series of hexagonal 5-belts, and this series can stop only if the last 5-belt B l surrounds a pentagon. Since B l borders a 5-belt, Lemma 3.9 (2) implies that B l consists of pentagons, which have (2, 2, 2, 2, 2) edges on the common boundary with a 5-belt. We obtain the fragment on Fig. 23a). Moving from this fragment backward we obtain a series of hexagonal 5-belts including B 5 with facets having (2, 2, 2, 2, 2) edges on both boundaries. This series can finish only with fragment on Fig. 23a) again. Thus any belt not surrounding a pentagon belongs to this series and the number of 5-belts is equal to 12 + k.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 34 34 V.M. Buchstaber, N.Yu. Erokhovets Theorem 3.20: A fullerene P is combinatorially equivalent to a polytope D k for some k 0 if and only if it contains the fragment on Fig. 23a). Proof: By Proposition 2.5 the outer 5-loop of the fragment on Fig. 23a) is a 5- belt. By the outer boundary component it borders a 5-loop L. By Lemma 3.18 it is a 5-belt. If this belt surrounds a pentagon, then we obtain a combinatorial dodecahedron (case k = 0). If not, then P is combinatorially equivalent to D k, k 1, by Theorem 3.19. Corollary 3.21: Any simple 5-loop of a fullerene (1) either surrounds a pentagon; (2) or is a hexagonal 5-belt of a fullerene D k, k 1; (3) or surrounds a pair of adjacent edges (Fig. 26b). Proof: Let L = (F i1, F i2, F i3, F i4, F i5 ) be a simple 5-loop, where index j of i j lies in Z 5 = Z/(5). If L is a 5-belt, then by Theorem 3.19, we obtain cases (1) or (2). Otherwise some non-successive facets intersect: F ij F ij+2 for some j. Then F ij F ij+1 F ij+2 is a vertex. Since a fullerene has no 4-belts in a simple 4-loop (F ij 2, F ij 1, F ij, F ij+2 ) either F ij 2 F ij, or F ij 1 F ij+2. Up to relabeling in the inverse order, we can assume that F ij 1 F ij+2. Then F ij 1 F ij F ij+2 and F ij 2 F ij 1 F ij+2 are vertices. Thus L 1 surrounds the adjacent edges F ij 1 F ij+2 and F ij F ij+2.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 35 Fullerenes, Polytopes and Toric Topology 35 4. Lecture 4. Moment-angle complexes and moment-angle manifolds We discuss main notions, constructions and results of toric topology. Details can be found in the monograph [7], which we will follow. 4.1. Toric topology Nowadays toric topology is a large research area. Below we discuss applications of toric topology to the mathematical theory of fullerenes based on the following correspondence. Canonical correspondence Simple polytope P moment-angle manifold Z P number of facets = m canonical T m -action on Z P dim P = n dim Z P = m + n Characteristic function Quasitoric manifold {F 1,..., F m } Z n M 2n = Z P /T m n Algebraic-topological invariants of moment-angle manifolds Z P give combinatorial invariants of polytopes P. As an application we obtain combinatorial invariants of mathematical fullerenes. 4.2. Moment-angle complex of a simple polytope Set D 2 = {z C; z 1}, S 1 = {z D 2, z = 1}. The multiplication of complex numbers gives the canonical action of the circle S 1 on the disk D 2 which orbit space is the interval I = [0, 1]. We have the canonical projection π : (D 2, S 1 ) (I, 1) : z z 2. By definition a multigraded polydisk is D 2m = D 2 1... D 2 m. Define the standard torus T m = S 1 1... S 1 m. Proposition 4.1: There is a canonical action of the torus T m on the polydisk D 2m with the orbit space D 2m /T m I m = I 1 1... I 1 m. Consider a simple polytope P. Let {F 1,..., F m } be the set of facets and {v 1,..., v f0 } the set of vertices. We have the face lattice L(P ) of P.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 36 36 V.M. Buchstaber, N.Yu. Erokhovets Construction (moment-angle complex of a simple polytope [11, 7]): For P = pt set Z P = pt = {0} = D 0. Let dim P > 0. For any face F L(P ) set Z P,F = {(z 1,..., z m ) D 2m : z i D 2 i if F F i, z i S 1 i if F F i }; I P,F = {(y 1,..., y m ) I m : y i I 1 i if F F i, y i = 1 if F F i }. Proposition 4.2: (1) Z P,F D 2k T m k, I P,F I k, where k = n dim F. (2) Z P,P = T m, Z P, = D 2m. (3) If G 1 G 2, then Z P,G2 Z P,G1, and I P,G2 I P,G1. (4) Z P,F is invariant under the action of T m, and the mapping π m : D 2m I m defines the homeomorphism Z P,F /T m I P,F. The moment-angle complex of a simple polytope P is a subset in D 2m of the form Z P = Z P,F = Z P,v. F L(P )\{ } v vertex The cube I m has the canonical structure of a cubical complex. It is a cellular complex with all cells being cubes with an appropriate boundary condition. The cubical complex of a simple polytope P is a cubical subcomplex in I m of the form I P = I P,F = I P,v. F L(P )\{ } v vertex From the construction of the space Z P we obtain. Proposition 4.3: (1) The subset Z P D 2m is T m invariant; hence there is the canonical action of T m on Z P. (2) The mapping π m defines the homeomorphism Z P /T m I P. (3) For P 1 P 2 we have Z P1 Z P2. 4.3. Admissible mappings Definition 4.4: Let P 1, P 2 be two simple polytopes. A mapping of sets of facets ϕ: F P1 F P2 we call admissible, if ϕ(f i1 ) ϕ(f ik ) for any collection F i1,..., F ik F P1 with F i1 F ik.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 37 Fullerenes, Polytopes and Toric Topology 37 Any admissible mapping ϕ: F P1 F P2 induces the mapping ϕ: L(P 1 ) L(P 2 ) by the rule: ϕ(p 1 ) = P 2, ϕ(f i1 F ik ) = ϕ(f i1 ) ϕ(f ik ). This mapping preserves the inclusion relation. Proposition 4.5: Any admissible mapping ϕ: F P1 F P2 induces the mapping of triples : (D 2m1, Z P1, T m1 ) (D 2m2, Z P2, T m2 ) and the mapping I P1 I P2, which we will denote by the same letter ϕ: 1, if ϕ 1 (j) =, ϕ(x 1,..., x m1 ) = (y 1,..., y m2 ), y j = x i, else. i ϕ 1 (j) In particular, we have the homomorphism of tori T m1 T m2 such that the mapping Z P1 Z P2 is equivariant. We have the commutative diagram Z P1 ϕ Z P2 π π m m I P1 ϕ I P2 Example 4.6: Let P 1 = I 2 and P 2 = I. Then any admissible mapping F P1 F P2 is a constant mapping. Indeed, there are two facets G 1 and G 2 in I, which do not intersect. I 2 has four facets F 1, F 2, F 3, F 4, such that F 1 F 2, F 2 F 3, F 3 F 4, and F 4 F 1 are vertices. Let ϕ(f 1 ) = G i. Then ϕ(f 2 ) = G i, since ϕ(f 1 ) ϕ(f 2 ) =. By the same reason we have ϕ(f 3 ) = ϕ(f 4 ) = G i. Without loss of generality let i = 1 and G 1 = {0}. Then the mapping of the moment-angle complexes Z I 2 = {(z 1, z 2, z 3, z 4 ) D 8 : z 1 = 1 or z 3 = 1, and z 2 = 1 or z 4 = 1} = is = (S 1 1 D 2 3 D 2 1 S 1 3) (S 1 2 D 2 4 D 2 2 S 1 4) = S 3 S 3, Z I 1 = {(w 1, w 2 ) D 4 : w 1 = 1 or w 2 = 1} = = (S 1 1 D 2 2) (D 2 1 S 1 2) = S 3 ϕ: Z I 2 Z I 1, ϕ(z 1, z 2, z 3, z 4 ) = (z 1 z 2 z 3 z 4, 1). Example 4.7: Let P 1 = I 2, P 2 = 2. Then any mapping ϕ: F P1 F P2 is admissible. Let F P1 = {F 1, F 2, F 3, F 3 } as in previous example, and = {G 1, G 2, G 3 }. The admissible mapping F P2 ϕ(f 1 ) = G 1, ϕ(f 2 ) = G 2, ϕ(f 3 ) = ϕ(f 4 ) = G 3
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 38 38 V.M. Buchstaber, N.Yu. Erokhovets induces the mapping of face lattices ϕ(i 2 ) = 2, ϕ( ) =, ϕ(f 1 F 2 ) = G 1 G 2, ϕ(f 2 F 3 ) = G 2 G 3, ϕ(f 3 F 4 ) = G 3, ϕ(f 4 F 1 ) = G 3 G 1. The mapping of the moment-angle complexes Z I 2 = {(z 1, z 2, z 3, z 4 ) D 8 : z 1 = 1 or z 3 = 1, and z 2 = 1 or z 4 = 1} = is = (S 1 1 D 2 3 D 2 1 S 1 3) (S 1 2 D 2 4 D 2 2 S 1 4) = S 3 S 3, Z 2 = {(w 1, w 2, w 3 ) D 6 : w 1 = 1, or w 2 = 1, or w 3 = 1} = = (S 1 1 D 2 2 D 2 3) (D 2 1 S 1 2 D 2 3) (D 2 1 D 2 2 S 1 3) = S 5 ϕ: Z I 2 Z 2, ϕ(z 1, z 2, z 3, z 4 ) = (z 1, z 2, z 3 z 4 ). 4.4. Barycentric embedding and cubical subdivision of a simple polytope Construction (barycentric embedding of a simple polytope): Let P be a simple n-polytope with facets F 1,..., F m. For each face G P define a point x G as a barycenter of it s vertices. We have x G relint G. The points x G, G L(P )\{ }, define a barycentric simplicial subdivision (P ) of the polytope P. The simplices of (P ) correspond to flags of faces F a1 F a2 F a k, dim F i = i: F a 1 F a 2 F a k = conv{x F a 1, x F a 2,..., x F a k }, The maximal simplices are v F 1 F 2 F n 1 P, where v is a vertex. For any point x P the minimal simplex (x) containing x can be found by the following rule. Let G(x) = F i. If x = x G, then (x) = G. Else take a ray F i x starting in x G, passing through x and intersecting G in x 1. Iterating the argument we obtain either x 1 = x G1, and (x) = G1 G, or a new point x 2. In the end we will stop when x l = x Gl, and (x) = Gl G 1 G. Define a piecewise-linear mapping b P : P I m by the rule { 0, if G x G ε(g) = (ε 1,..., ε m ) I m Fi,, where ε i =, 1, if G F i on the vertices of (P ), and for any simplex continue the mapping to the cube I m via barycentric coordinates. In particular, b P (x P ) = (1, 1,..., 1), and b P (x v ) is a point with n zero coordinates. Theorem 4.8: The mapping b P defines a homeomorphism P I P I m.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 39 Fullerenes, Polytopes and Toric Topology 39 Proof: Let x P, and (x) = G1 G r. We have x = t 1 x G1 + + t r x Gr, where t i > 0, and t 1 + + t r = 1. The coordinates of the vector b P (x) = t 1 ε(g 1 ) + + t r ε(g r ) = (x 1,..., x m ) belong to the interval [0, 1]. Arrange them ascending: 0 = x i1 = = x ip1 < x ip1 +1 = = x i p1 +p 2 < < Then < x ip1 + +pr +1 = = x i m = 1. G 1 = F i1 F ip1 + +pr, G 2 = F i1 F ip1 + +p r 1,..., G r = F i1 F ip1, and t 1 = 1 x ip1 + +pr, t 2 = x ip1 + +pr x i p1 + +p r 1,..., t r = x ip1 +p 2. Thus the mapping b P is an embedding. Since P is compact and I m is Hausdorff, we have the homeomorphism P b P (P ). In the construction above we have x ij 1 only if F ij G 1 ; hence b P (x) I P,G1, and b P (P ) I P. On the other hand, the above formulas imply that I P b P (P ). This finishes the proof. Corollary 4.9: The homeomorphism b P : P I P Z P /T m defines a mapping π P : Z P P such that the following diagram is commutative: Z P D 2m π P P b P I m Corollary 4.10: Any admissible mapping ϕ: F P1 F P2 induces the mapping of polytopes ϕ: P 1 P 2 such that the following diagram is commutative: Z P1 ϕ Z P2 π P 1 π P2 P 1 ϕ P 2 Construction (canonical section): The mapping s : I D 2 : s(y) = y induces the section s m : I P Z P. Together with the homeomorphism P I P this gives the canonical section s P = s m b P : P Z P, such that π P s P = id.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 40 40 V.M. Buchstaber, N.Yu. Erokhovets Construction (cubical subdivision): The space I P has the canonical partition into cubes I P,v, one for each vertex v P n. The homeomorphism I P = Im b P (P ) P gives the cubical subdivision of the polytope P. Example 4.11: For P = I we have an embedding I I 2. Fig. 27. Barycentric embedding and cubical subdivision of the interval Example 4.12: For P = 2 we have an embedding 2 I 3 Fig. 28. Barycentric embedding and cubical subdivision of the triangle Construction (product over space): Let f : X Z and g : Y Z be maps of topological spaces. The product X Z Y over space Z is described by the general pullback diagram: X Z Y X f g Y Z where X Z Y = { (x, y) X Y : f(x) = g(y) }. Proposition 4.13: We have Z P = D 2m I m P.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 41 Fullerenes, Polytopes and Toric Topology 41 4.5. Pair of spaces in the power of a simple polytope Construction (raising to the power of a simple polytope): Let P be a simple polytope P with the face lattice L(P ) and the set of facets {F 1,..., F m }. For m pairs of topological spaces {(X i, W i ), i = 1,..., m} set (X, W ) = {(X i, W i ), i = 1,..., m}. For a face F L(P ) \ { } define (X, W ) P F = {(y 1,..., y m ) X 1 X m : y i X i if F F i, y i W i if F / F i }. The set of pairs (X, W ) in degree of a simple polytope P is (X, W ) P = (X, W ) P F F L(P )\{ } Example 4.14: (1) Let W i = X i for all i. Then (X, W ) P = X 1 X m for any P. (2) Let W i = i a fixed point in X i, i = 1, 2, and P = I. Then (X, W ) I = X 1 X 2 is the wedge of the spaces X 1 and X 2. Construction (pair of spaces in the power of a simple polytope): In the case W i = W, X i = X, i = 1,..., m, the space (X, W ) P is called a pair of spaces (X, W ) in the power of a simple polytope P and is denoted by (X, W ) P. Example 4.15: The space (D 2, S 1 ) P is the moment-angle complex Z P of the polytope P (see Subsection 4.2). Example 4.16: The space (I, 1) P is the image I P embedding of the polytope P (see Subsection 4.2). = b P (P ) of the barycentric Exercise: Describe the space (X, W ) P, where P is a 5-gon. Let us formulate properties of the construction. The proof we leave as an exercise. Proposition 4.17: (1) Let P 1 and P 2 be simple polytopes. Then (X, W ) P1 P2 = (X, W ) P1 (X, W ) P2 (2) Let {v 1,..., v f0 } be the set of vertices of P. There is a homeomorphism f 0 (X, W ) P = (X, W ) P v k k=1
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 42 42 V.M. Buchstaber, N.Yu. Erokhovets (3) Any mapping f : (X 1, W 1 ) (X 2, W 2 ) gives the commutative diagram (X 1, W 1 ) P f P (X 1, X 1 ) P = X m 1 f m X m 2 (X 2, W 2 ) P = (X 2, X 2 ) P (4) We have id P = id. For f 1 : (X 1, W 1 ) (X 2, W 2 ), f 2 : (X 2, W 2 ) (X 1, W 1 ) we have (f 2 f 1 ) P = f P 2 f P 1. 4.6. Davis-Januszkiewicz construction Davis-Januszkiewicz construction [15]: For x P we have the face G(x) = F i L(P ). For a face G L(P ) define the subgroup T G T m as Set F i x T G = (S 1, 1) P G = {(t 1,..., t m ) T m : t j = 1, if F j G} Z P = P T m /, where (x 1, t 1 ) (x 2, t 2 ) x 1 = x 2 = x, and t 1 t 1 2 T G(x). There is a canonical action of T m on Z P induced by the action of T m on the second factor. Theorem 4.18: The canonical section s P : P Z P induces the T m -equivariant homeomorphism Z P Z P defined by the formula (x, t) ts P (x). 4.7. Moment-angle manifold of a simple polytope Construction (moment-angle manifold of a simple polytope [12, 7]): Take a simple polytope P = {x R n : a i x + b i 0, i = 1,..., m}. We have rank A = n, where A is the m n-matrix with rows a i. Then there is an embedding j P : P R m : j P (x) = (y 1,..., y m ),
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 43 Fullerenes, Polytopes and Toric Topology 43 where y i = a i x + b i, and we will consider P as the subset in R m. A moment-angle manifold ẐP is the subset in C m defined as ρ 1 j P (P ), where ρ(z 1,..., z m ) = ( z 1 2,..., z m 2). The action of T m on C m induces the action of T m on ẐP. For the embeddings j Z : ẐP C m and j P : P R m we have the commutative diagram: Ẑ P ρ P P j Z C m ρ j P R m Proposition 4.19: We have ẐP C m \ {0}. Proof: If 0 ẐP, then 0 = ρ(0) j P (P ). This corresponds to a point x P such that a i x + b i = 0 for all i. This is impossible, since any point of a simple n-polytope lies in at most n facets. Definition 4.20: For the set of vectors (x 1,..., x m ) spanning R n, the set of vectors (y 1,..., y m ) spanning R m n is called Gale dual, if for the matrices X and Y with column vectors x i and y j we have XY T = 0. Take an ((m n) m)-matrix C such that CA = 0 and rank C = m n. Then the vectors a i and the column vectors c i of C are Gale dual to each other. Let c i = (c 1,i,..., c m n,i ). Proposition 4.21: We have Ẑ P = {z C m : c i,1 z 1 2 + + c i,m z m 2 = c i }, where c i = c i,1 b 1 + + c i,m b m. Denote Φ i (z) = c i,1 z 1 2 + + c i,m z m 2 c i. Consider the mapping Φ : C m R m n : Φ(z) = (Φ 1 (z),..., Φ m n (z)). It is the T m -equivariant quadratic mapping with respect to the trivial action of T m on R m n. Proposition 4.22: (1) Ẑ P is a complete intersection of real quadratic hypersurfaces in R 2m = C m : F k = {z C m : Φ k (z) = 0}, k = 1,..., m n.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 44 44 V.M. Buchstaber, N.Yu. Erokhovets (2) There is a canonical trivialisation of the normal bundle of the T m -equivariant embedding ẐP C m, that is ẐP has the canonical structure of a framed manifold. Proof: We have ẐP = Φ 1 (0), where Φ: R 2m = C m R m n. Next step is an exercise. Exercise: Differential dφ y : R 2m R m n is an epimorphism for any point of y Φ 1 (0). Corollary 4.23: For an appropriate choice of C Ẑ P = m n where any surface F k R 2m is a (2m 1)-dimensional smooth T m -manifold. k=1 Proof: We just need to find such C that the vector Cb has all coordinates nonzero. For any C above Cb has a nonzero coordinate since 0 / ẐP by Proposition 4.19. Then we can obtain from it the matrix we need by elementary transformations of rows. Exercise: Describe the orbit space F k /T m. Construction (canonical section): The projection ρ has the canonical section F k s: R m C m, s(x 1,..., x m ) = ( x 1,..., x m ), which gives a canonical section ŝ P : P ẐP by the formula ŝ P = s j P. Theorem 4.24: (Smooth structure on the moment-angle complex, [12]) The section ŝ P : P ẐP induces the T m -equivariant homeomorphism Z P ẐP defined by the formula (x, t) tŝ P (x). Together with the T m -equivariant homeomorphism Z P smooth structure on the moment-angle complex Z P. Z P this gives a Thus in what follows we identify ẐP and Z P. Exercise: Describe the manifold Z P for P = {x R 2 : Ax + b 0}, where ( ) 1 0 1 1 1. A =, b = (0, 0, 1, 1) 0 1 0 1 2. A = ( ) 1 0 1 1 1, b = (0, 0, 1, 1, 2) 0 1 0 1 1
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 45 Fullerenes, Polytopes and Toric Topology 45 Exercise: Let G P be a face of codimension k in a simple n-polytope P, let Z P be the corresponding moment-angle manifold with the quotient projection p: Z P P. Show that p 1 (G) is a smooth submanifold of Z P of codimension 2k. Furthermore, p 1 (G) is diffeomorphic to Z G T l, where Z G is the moment-angle manifold corresponding to G and l is the number of facets of P not intersecting G. 4.8. Mappings of the moment-angle manifold into spheres For any set ω = {j 1,..., j k } {1,..., m} define S 2m 2k 1 ω C m k ω = {(z 1,..., z m ) C m : z j = 0, j ω}; = {(z 1,..., z m ) C m : z j = 0, j ω, j / ω z j 2 = 1}; R m k ω = {(y 1,..., y m ) R m : y j = 0, j ω}. Exercise: For k 1 the sphere S 2k 1 [m]\ω S 2m 1 \ Sω 2m 2k 1. Proposition 4.25: is a deformation retract of (1) The embedding Z P C m induces the embedding Z P S 2m 1 via projection C m \ {0} S 2m 1. (2) For any set ω, ω = k, such that F j = the image of the embedding j ω Z P S 2m 1 lies in S 2m 1 \ Sω 2m 2k 1 ; hence the embedding is homotopic to the mapping ϕ ω : Z P S 2k 1 [m]\ω, induced by the projection Cm C k [m]\ω. Proof: (1) follows from Proposition 4.19. (2) follows from the fact that if F j =, then there is no x P such that a j x + b j = 0 for all j ω. j ω We have the commutative diagram Z P P C m \ Cω m k ρ Ax+b R m \ Rm k ω ξ ω S 2k 1 π ω [m]\ω Ck [m]\ω k 1 R k
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 46 46 V.M. Buchstaber, N.Yu. Erokhovets where ξ ω (z 1,..., z m ) = z ω z ω, z ω = (z j1,..., z jk ), z ω = z j1 2 + + z jk 2. π ω (y 1,..., y m ) = y ω d ω, y ω = (y j1,..., y jk ), d ω = y j1 + + y jk. Example 4.26: For any pair of facets F i, F j, such that F i F j =, there is a mapping Z P S 3 [m]\{i,j}. Definition 4.27: The class a H k (X, Z) is called cospherical if there is a mapping ϕ: X S k such that ϕ ([ S k]) = a. Corollary 4.28: For each ω [m], ω = k, such that F i = we have the ([ ]) i ω cospherical class ϕ ω in H 2k 1 (Z P ). S 2k 1 [m]\ω 4.9. Projective moment-angle manifold Construction (projective moment-angle manifold): Let S 1 be the diagonal subgroup in T m. We have the free action of S 1 on Z P and therefore the smooth manifold PZ P = Z P /S 1 is the projective version of the moment-angle manifold Z P. Definition 4.29: For actions of the commutative group G on spaces X and Y define: X G Y = X Y/ {gx, gy) (x, y) x X, y Y, g G}. Corollary 4.30: For any simple polytope P there exists the smooth manifold such that W = Z P. W = Z P S 1 D 2 We have the fibration W PZ P with the fibre D 2. Exercise: P = n Z P = S 2n+1 = PS 2n+1 = CP n. The constructions of the subsection 4.8 respect the diagonal action of S 1 ; hence we obtain the following results. For k 1 the set CP k 1 [m]\ω is a deformation retract of CP m 1 \ CPω m k 1. Proposition 4.31:
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 47 Fullerenes, Polytopes and Toric Topology 47 (1) The embedding Z P C m induces the embedding PZ P CP m 1. (2) For any set ω, ω = k, such that F j = the image of the embedding j ω PZ P CP m lies in CP m 1 \CPω m k 1 ; hence the embedding is homotopic to the mapping PZ P CP k 1 [m]\ω, induced by the projection Cm C k [m]\ω.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 48 48 V.M. Buchstaber, N.Yu. Erokhovets 5. Lecture 5. Cohomology of a moment-angle manifold When we deal with homology and cohomology, if it is not specified, the notation H (X) and H (X) means that we consider integer coefficients. 5.1. Cellular structure Define a cellular structure on D 2 consisting of 3 cells: p = {1}, U = S 1 \ {1}, V = D 2 \ S 1. Set on D 2 the standard orientation, with (1, 0) and (0, 1) being the positively oriented basis, and on S 1 the counterclockwise orientation induced from D 2. Then in the chain complex C (D 2 ) we have dp = 0, du = 0, dv = U. The coboundary operator : C i (X) C i+1 (X) is defined by the rule ϕ, a = ϕ, da. For a cell E let us denote by E the cochain such that E, E = δ(e, E ) for any cell E. Denote p = 1. Then the coboundary operator in C (D 2 ) has the form 1 = 0, U = V, V = 0. By definition the multigraded polydisk D 2m has the canonical multigraded cellular structure, which is a product of cellular structures of disks, with cells corresponding to pairs of sets σ, ω, σ ω [m] = {1, 2,..., m}. V j, j σ, C σ,ω = τ 1 τ m, τ j = U j, j ω \ σ,, mdeg C σ,ω = ( i, 2ω), p j, j [m] \ ω where i = ω \ σ. Then the cellular chain complex C (D 2m ) is the tensor product of m chain complexes C (Di 2 ), i = 1,..., m. The boundary operator d of the chain complex respects the multigraded structure and can be considered as a multigraded operator of mdeg d = ( 1, 0). It can be calculated on the elements of the tensor product by the the Leibnitz rule d(a b) = (da) b + ( 1) dim a a (db). For cochains the -operation C i (X) C j (Y ) C i+j (X Y ) is defined by the rule ϕ ψ, a b = ϕ, a ψ, b. Then ψ 1 ψ m, a 1 a m = ψ 1, a 1... ψ m, a m.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 49 Fullerenes, Polytopes and Toric Topology 49 The basis in C (D 2m ) is formed by the cochains C σ,ω = τ 1 τ m, where C σ,ω = τ 1 τ m. The coboubdary operator is also multigraded. It has multidegree mdeg = (1, 0). It can be calculated on the elements of the tensor algebra C (D 2m ) by the rule (ϕ ψ) = ( ϕ) ψ + ( 1) dim ϕ ϕ ( ψ). Proposition 5.1: The moment-angle complex Z P has the canonical structure of a multigraded subcomplex in the multigraded cellular structure of D 2m. The projection π m : Z P I P is cellular. Theorem 5.2: There is a multigraded structure in the cohomology group: H n (Z P, Z) H i,2ω (Z P, Z), 2 ω =n+i where for ω = {j 1,..., j k }, we have ω = k. Proof: The multigraded structure in cohomology is induced by the multigraded cellular structure described above. Example 5.3: Let P = n, then Z P = S 2n+1. In the case n = 1 the simplex 1 is an interval I, and we have the decomposition Z I = S 3 = S 1 D 2 D 2 S 1. The space Z I consists of 8 cells We have p 1 p 2 p 1 U 2, U 1 p 2 p 1 V 2, U 1 U 2, V 1 p 2, U 1 V 2, V 1 U 2 H (S 3 ) = H 0,2 (S 3 ) H 1,2{1,2} (S 3 ). 5.2. Multiplication Now following [7] we will describe the cohomology ring of a moment-angle complex in terms of the cellular structure defined above. This result is nontrivial, since the problem to define the multiplication in cohomology in terms of cellular cochains in general case is unsolvable. The reason is that the diagonal mapping used in the definition of the cohomology product is not cellular, and a cellular approximation can not be made functorial with respect to arbitrary cellular mappings. We construct a canonical cellular diagonal approximation
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 50 50 V.M. Buchstaber, N.Yu. Erokhovets : Z P Z P Z P, which is functorial with respect to mappings induced by admissible mapping of sets of facets of polytopes. Remind, that the product in the cohomology of a cell complex X is defined as follows. Consider the composite mapping of cellular cochain complexes C (X) C (X) C (X X) C (X). (5.1) Here the mapping sends a cellular cochain c 1 c 2 C q1 (X) C q2 (X) to the cochain c 1 c 2 C q1+q2 (X X), whose value on a cell e 1 e 2 C (X X) is c 1, e 1 c 2, e 2. The mapping is induced by a cellular mapping (a cellular diagonal approximation) homotopic to the diagonal : X X X. In cohomology, the mapping (5.1) induces a multiplication H (X) H (X) H (X) which does not depend on the choice of a cellular approximation and is functorial. However, the mapping (5.1) itself is not functorial because there is no choice of a cellular approximation compatible with arbitrary cellular mappings. Define polar coordinated in D 2 by z = ρe iϕ. Proposition 5.4: (1) The mapping t : I D 2 D 2 D 2 : ρe iϕ {( (1 ρ)t + ρe i(1+t)ϕ, (1 ρ)t + ρe i(1 t)ϕ), ϕ [0, π], ( (1 ρ)t + ρe i(1 t)ϕ+2πit, (1 ρ)t + ρe i(1+t)ϕ 2πit), ϕ [π, 2π] defines the homotopy of mappings of pairs (D 2, S 1 ) (D 2 D 2, S 1 S 1 ). (2) The mapping 0 is the diagonal mapping : D 2 D 2 D 2. (3) The mapping 1 is { ((1 ρ) + ρe ρe iϕ 2iϕ, 1), ϕ [0, π], (1, (1 ρ) + ρe 2iϕ ), ϕ [π, 2π] It is cellular and sends the pair (D 2, S 1 ) to the pair of wedges (D 2 1 1 D 2, S 1 1 1 S 1 ) in the point (1, 1). Hence it is a cellular approximation of. (4) We have ( 1 ) p = p p, ( 1 ) U = U p + p U, ( 1 ) V = V p + p V ; hence (U ) 2 = U U, ( 1 ) V V = U U, V p + p V V = 0, and the multiplication of cochains in C (D 2 ) induced by 1 is trivial: 1 X = X = X 1, (U ) 2 = U V = V U = (V ) 2 = 0.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 51 Fullerenes, Polytopes and Toric Topology 51 The proof we leave as an exercise. Using the properties of the construction of the moment-angle complex we obtain the following result. Corollary 5.5: (1) For any simple polytope P with m facets there is a homotopy m t : (D 2m, Z P ) (D 2m D 2m, Z P Z P ), where m 0 is the diagonal mapping and m 1 is a cellular mapping. (2) In the cellular cochain complex of D 2m = D 2 D 2 the multiplication defined by m 1 is the tensor product of multiplications of the factors defined by the rule (ϕ 1 ϕ 2 )(ψ 1 ψ 2 ) = ( 1) dim ϕ2 dim ψ1 ϕ 1 ψ 1 ϕ 2 ψ 2, and (ϕ 1 ϕ m )(ψ 1 ψ m ) = ( 1) i>j dim ϕ i dim ψ j ϕ1 ψ 1 ϕ m ψ m, and respects the multigrading. (3) The multiplication in C (Z P ) given by m 1 is defined from the inclusion Z P D 2m as a multigraded cellular subcomplex. 5.3. Description in terms of the Stanley-Reisner ring Definition 5.6: Let {F 1,..., F m } be the set of facets of a simple polytope P. Then a Stanley-Reisner ring of P over Z is defined as a monomial ring where is the Stanley-Reisner ideal. Z[P ] = Z[v 1,..., v m ]/J SR (P ), J SR (P ) = (v i1... v ik, if F i1 F ik = ) Example 5.7: Z[ 2 ] = Z[v 1, v 2, v 3 ]/(v 1 v 2 v 3 ) Theorem 5.8: (see [4]) Two polytopes are combinatorially equivalent if and only if their Stanley-Reisner rings are isomorphic. Corollary 5.9: Fullerenes P 1 and P 2 are combinatorially equivalent if and only if there is an isomorphism Z[P 1 ] = Z[P 2 ]. Theorem 5.10: The Stanley-Reisner ring of a flag polytope is a monomial quadratic ring: J SR (P ) = {v i v j : F i F j = }.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 52 52 V.M. Buchstaber, N.Yu. Erokhovets Fig. 29. Cube I 2. We have J SR (I 2 ) = {v 1 v 3, v 2 v 4 } Each fullerene is a simple flag polytope (Theorem 3.11). Corollary 5.11: The Stanley-Reisner ring of a fullerene is monomial quadratic. Construction (multigraded complex): For a set σ [m] define G(σ) = F i. Conversely, for a face G define σ(g) = {i: G F i } [m]. Then σ(g(σ)) = σ, and G(σ(G)) = G. Let R (P ) = Λ[u 1,..., u m ] Z[P ]/(u i v i, v 2 i ), mdeg u i = ( 1, 2{i}), mdeg v i = (0, 2{i}), du i = v i, dv i = 0 be a multigraded differential algebra. It is additively generated by monomials v σ u ω\σ, where v σ = v i, G(σ), and u ω\σ = u j1 u jl for ω \ σ = {j 1,..., j l }. i σ Theorem 5.12: [7] We have a mutigraded ring isomorphism H[R (P ), d] H (Z P, Z) i σ Proof: Define the mapping ζ : R (P ) C (Z P ) by the rule ζ(v σ u ω\σ ) = C σ,ω. It is a graded ring isomorphism from Proposition 5.4(4), and Corollary 5.5. The formula ζ(dv σ u ω\σ ) = C σ,ω follows from the Leibnitz rule. ([ ]) Exercise: Prove that for the cospherical class ϕ ω S 2k 1 [m]\ω, ω = {i 1,..., i k }, ([ ]) (see Corollary 4.28) we have ϕ ω = ±[u i1 v i2... v ik ] H[R (P ), d]. S 2k 1 [m]\ω
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 53 Fullerenes, Polytopes and Toric Topology 53 5.4. Description in terms of unions of facets Let P ω = F i for a subset ω [m]. By definition P =, and P [m] = P. i ω Definition 5.13: For two sets σ, τ [m] define l(σ, τ) to be the number of pairs {(i, j): i σ, j τ, i > j}. We write l(i, τ) and l(σ, j) for σ = {i} and τ = {j} respectively. Comment: The number ( 1) l(σ,ω) is used for definition of the multiplication of cubical chain complexes (see [38]). In the discrete mathematics the number l(σ, τ) is a characteristic of two subsets σ, τ of an ordered set. Proposition 5.14: We have (1) l(σ, τ) = l(i, τ) = l(σ, j) = l(i, j). i σ j τ i σ,j τ (2) l(σ, τ 1 τ 2 ) = l(σ, τ 1 ) + l(σ, τ 2 ), l(σ 1 σ 2, τ) = l(σ 1, τ) + l(σ 2, τ). (3) l(σ, τ) + l(τ, σ) = σ τ σ τ. In particular, if σ τ =, then l(σ, τ) + l(τ, σ) = τ σ. Definition 5.15: Set I P,ω = G : σ(g) ω I P,G = {(x 1,..., x m ) I P : x i = 1, i / ω}. Theorem 5.16: [7] For any ω [m] there is an isomorphism: H i,2ω (Z P, Z) = H ω i (P, P ω, Z), Proof: For subsets A I m and ω [m] define A ω = {(y 1,..., y m ) A: y i = 0 for some i ω}, A 0 = A [m]. We have A = A. There is a homeomorphism of pairs (P, P ω ) (I P, I ω P ). The homotopy rt ω : I m I m : { (1 rt ω (y 1,..., y m ) = (y 1,..., y m), y j t)yj + t, j / ω; = y j, j ω, gives a deformation retraction r ω = r1 ω : (I P, I ω P ) (I P,ω, I 0 P,ω ). There is a natural multigraded cell structure on the cube I m, induced by the cell structure on I consisting of 3 cells: 0 = {0}, 1 = {1} and J = (0, 1). All the sets I P, I P,G, I ω P, I P,ω, I 0 P,ω are cellular subcomplexes. There is a natural orientation in J such that 0 is the beginning, and 1 is the end. We have d0 = d1 = 0, dj = 1 0; 1 = 0 = J, J = 0.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 54 54 V.M. Buchstaber, N.Yu. Erokhovets The cells in I m has the form η 1 η m, η i {0 i, 1 i, J i }. There is natural cellular approximation for the diagonal mapping : I I I by the mapping 1 : { (2x, 1), x [0, 1 2 1 (x) = ], (1, 2x 1), x [ 1 2, 1], connected with by the homotopy t = (1 t) + t 1. Then ( 1 ) 0 = 0 0, ( 1 ) 1 = 1 1, ( 1 ) J = J 0 + 1 J, and for the induced multiplication we have (0 ) 2 = 0, (1 ) 2 = 1, 0 1 = 1 0 = 0, 0 J = J 1 = 0, J 0 = 1 J = J, (J ) 2 = 0. The cells in I P,ω \ I 0 P,ω have the form E σ = η 1 η m, η j = { Jj, j σ, 1, j / σ,, where σ ω, and G(σ). Then Eσ = η1 ηm. Now define the mapping ξ ω : R i,2ω C ω i (I P,ω, I 0 P,ω ) by the rule ξ ω (u ω\σ v σ ) = ( 1) l(σ,ω) E σ. By construction ξ ω is an additive isomorphism. For σ ω we have ( ) ξ ω (v σ u ω\σ ) = ( 1) l(σ,ω) Eσ = ( 1) l(σ,ω) ( 1) l(j,σ) Eσ {j}, On the other hand, ξ ω (dv σ u ω\σ ) = ξ ω = j ω\σ,g(σ {j}) j ω\σ,g(σ {j}) Now the proof follows from the formula j ω\σ,g(σ {j}) ( 1) l(j,ω\σ) v σ {j} u ω\(σ {j}) = ( 1) l(σ {j},ω) ( 1) l(j,ω\σ) E σ {j} l(σ {j}, ω)+l(j, ω\σ) = l(σ, ω)+l(j, ω)+l(j, ω\σ) = l(σ, ω)+l(j, σ)+2l(j, ω\σ) Corollary 5.17: [7] For any ω [m] there is an isomorphism: where by definition H 1 (, Z) = Z. H i,2ω (Z P, Z) = H ω i 1 (P ω, Z),
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 55 Fullerenes, Polytopes and Toric Topology 55 The proof follows from the long exact sequence in the reduced cohomology of the pair (P, P ω ), since P is contractible. 5.5. Multigraded Betti numbers and the Poincare duality Definition 5.18: Define multigraded Betti numbers β i,2ω = rank H i,2ω (Z P ). We have β i,2ω = rank H ω i (P, P ω ) = rank H ω i 1 (P ω, Z). From Proposition 4.22 the manifold ẐP is oriented. Proposition 5.19: We have β i,2ω = β (m n i),2([m]\ω). Proof: From the Poincare duality theorem the bilinear form H (Z P ) H (Z P ) Z defined by ϕ, ψ = ϕψ, [Z P ], where [Z P ] is a fundamental cycle, is non-degenerate if we factor out the torsion. This means that there is a basis for which the matrix of the bilinear form has determinant ±1. For mutligraded ring this means that the matrix consists of blocks corresponding to the forms H i,2ω (Z P ) H (m n i),2([m]\ω) (Z P ) Z. Hence all blocks are squares and have determinant ±1, which finishes the proof. Let the polytope P be given in the irredundant form {x R n : Ax + b 0}. For the vertex v = F i1 F in define the submatrix A v in A corresponding to the rows i 1,..., i n. Proposition 5.20: The fundamental cycle [Z P ] can be represented by the following element in C (m n),[m] (Z P ): Z = ( 1) l(σ(v),[m]) sign(det A v )C σ(v),[m]. Then the form v vertex is defined by the property C i,ω (Z P ) C (m n i),[m]\ω (Z P ) Z u [m]\σ(v) v σ(v), Z = ( 1) l(σ(v),m) sign(det A v ).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 56 56 V.M. Buchstaber, N.Yu. Erokhovets The idea of the proof is to use the Davis Januszkiewicz construction. The space P n T m has the orientation defined by orientations of P n and S 1. Then the mapping P n T m Z P : (x, t) ts P (x) defines the orientation of the cells C σ(v),[m]. 5.6. Multiplication in terms of unions of facets For pairs of spaces define the direct product as (X, A) (Y, B) = (X Y, A Y X B). There is a canonical multiplication in the cohomology of cellular pairs H k (X, A) H l (X, B) H k+l (X, A B) defined in the cellular cohomology by the rule H k (X, A) H l (X, B) H k+l ((X, A) (X, B)) H k+l (X, A B), where is a cellular approximation of the diagonal mapping : (X, A B) (X, A) (X, B). Thus for any simple polytope P and subsets ω 1, ω 2 [m], we have the canonical multiplication H k (P, P ω1 ) H l (P, P ω2 ) H k+l (P, P ω1 ω 2 ). Theorem 5.21: There is the ring isomorphism H (Z P ) H (P, P ω ) ω [m] where the multiplication on the right hand side H ω1 k (P, P ω1 ) H ω2 l (P, P ω2 ) H ω1 + ω2 k l (P, P ω1 ω 2 ) is trivial if ω 1 ω 2, and for the case ω 1 ω 2 = is given by the rule a b ( 1) l(ω2,ω1)+ ω1 l ab, where a b ab is the canonical multiplication.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 57 Fullerenes, Polytopes and Toric Topology 57 Comment: The statement of the theorem presented in [7] as Exercise 3.2.14 does not contain the specialization of the sign. Proof: We will identify (P, P ω ) with (I P, I ω P ) and H (Z P ) with H[R (P ), d]. If ω 1 ω 2, then the multiplication H k,2ω1 (Z P ) H l,2ω2 (Z P ) H (k+l),2(ω1 ω2) (Z P ) is trivial by Theorem 5.12. Let ω 1 ω 2 =. We have the commutative diagram of mappings i ω1,ω 2 (I P,ω1 ω 2, I 0 P,ω 1 ω 2 ) (IP,ω1, I 0 P,ω 1 ) (I P,ω2, I 0 P,ω 2 ) r ω 1 ω 2 r ω 1 r ω 2 (I P, I ω1 ω2 P ) which gives the commutative diagram (I P, I ω1 P ) (I P, I ω2 P ) H ( (I P,ω1, I 0 P,ω 1 ) (I P,ω2, I 0 P,ω 2 ) ) i ( ω 1,ω 2 ) H I P,ω1 ω 2, I 0 P,ω 1 ω 2 (r ω 1 r ω 2 ) (r ω 1 ω 2 ) H ((I P, I ω1 P ) (I P, I ω2 P )) H ( ) I P, I ω1 ω2 P where the vertical mappings are isomorphisms. Together with the functoriality of the -product in cohomology this proves the theorem provided the commutativity of the diagram C k,2ω 1 (Z P ) C l,2ω 2 (Z P ) C (k+l),2(ω 1 ω 2 ) (Z P ) ξω 1 ξω 2 ξω 1 ω 2 C ω 1 k ( I P,ω1, I 0 P,ω 1 ) C ω 2 l ( I P,ω2, I 0 P,ω 2 ) i ω 1,ω 2 C ω 1 + ω 2 k l ( I P,ω1 ω 2, I 0 P,ω 1 ω 2 ) where the lower arrow is the composition of two mappings: C ω 1 k ( I P,ω1, I 0 ) P,ω C ω 2 l ( I 1 P,ω2, I 0 ) P,ω ω C 1 + ω 2 k l ( (I 2 P,ω1, I 0 P,ω ) (I 1 P,ω2, I 0 ) P,ω ) 2 C ω 1 + ω 2 k l ( (I P,ω1, I 0 P,ω ) (I 1 P,ω2, I 0 ) i ω 1,ω 2 P,ω ) C ω 1 + ω 2 k l ( I 2 P,ω1 ω, I 0 ) 2 P,ω 1 ω 2 For this we have ξ ω1 ω 2 ((u ω1\σ 1 v σ1 )(u ω2\σ 2 v σ2 )) = = ( 1) l(ω1\σ1,ω2\σ2) ξ ω1 ω 2 (u (ω1 ω 2)\(σ 1 σ 2)v σ1 σ 2 ) = = ( 1) l(ω1\σ1,ω2\σ2) ( 1) l(σ1 σ2,ω1 ω2) Eσ 1 σ 2.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 58 58 V.M. Buchstaber, N.Yu. Erokhovets On the other hand i ω 1,ω 2 ( ξω1 (u ω1\σ 1 v σ1 ) ξ ω2 (u ω2\σ 2 v σ2 ) ) = = ( 1) l(σ1,ω1) ( 1) l(σ2,ω2) i ω 1,ω 2 (E σ 1 E σ 2 ) = = ( 1) l(σ1,ω1) ( 1) l(σ2,ω2) ( 1) l(σ1,σ2) E σ 1 σ 2, where the last equality follows from the the following calculation: (i ω1,ω 2 ) (E σ1 σ 2 ) = ( 1) l(σ1,σ2) E σ1 E σ2. Now let us calculate the difference of signs: (l(ω 1 \ σ 1, ω 2 \ σ 2 ) + l(σ 1 σ 2, ω 1 ω 2 )) (l(σ 1, ω 1 ) + l(σ 2, ω 2 ) + l(σ 1, σ 2 )) mod 2 = = l(ω 1 \ σ 1, ω 2 \ σ 2 ) + l(σ 1, ω 2 ) + l(σ 2, ω 1 ) + l(σ 1, σ 2 ) mod 2 = = l(ω 1 \ σ 1, ω 2 \ σ 2 ) + l(σ 1, ω 2 \ σ 2 ) + l(σ 2, ω 1 ) mod 2 = = l(ω 1, ω 2 \ σ 2 ) + l(σ 2, ω 1 ) mod 2 = = l(ω 1, ω 2 \σ 2 )+l(ω 1, σ 2 )+ σ 2 ω 1 mod 2 = l(ω 1, ω 2 )+ σ 2 ω 1 mod 2 = = l(ω 2, ω 1 ) + ω 1 ω 2 + ω 1 ( ω 2 l) mod 2 = l(ω 2, ω 1 ) + ω 1 l mod 2. 5.7. Description in terms of related simplicial complexes Definition 5.22: An (abstract) simplicial complex K on the vertex set [m] = {1,..., m} is the set of subsets K 2 [m] such that (1) K; (2) {i} K for i = 1,..., m; (3) If σ τ and τ K, then σ K. The sets σ K are called simplices. For an abstract simplicial complex K there is a geometric realization K as a subcomplex in the simplex m 1 with the vertex set [m]. For a simple polytope P define an abstract simplicial complex K on the vertex set [m] by the rule σ K if and only if σ = σ(g) = {i: G F i } for some G L(P ) \ { }. We have the combinatorial equivalence K P. For any subset ω [m] define the full subcomplex K ω = {σ K : σ ω}. Definition 5.23: For two simplicial complexes K 1 and K 2 on the vertex sets vert(k 1 ) and vert(k 2 ) join K 1 K 2 is the simplicial complex on the vertex
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 59 Fullerenes, Polytopes and Toric Topology 59 set vert(k 1 ) vert(k 2 ) with simplices σ 1 σ 2, σ 1 K 1, σ 2 K 2. A cone CK ω is by definition {0} K ω, where {0} is the simplicial complex with one vertex {0}. Proposition 5.24: For any ω [m] we have a homeomorphism of pairs (I P,ω, I 0 P,ω) (C K ω, K ω ). Proof: For any simplex σ K consider it s barycenter y σ K. Then we have a barycentric subdivision of K consisting of simplices Define the mapping c K : K I m as σ1 σ k = conv{y σ1,..., y σk }, k 1. c K (y σk ) = (y 1,..., y m ), y i = { 0, i σ, 1, i / σ on the vertices of the barycentric subdivision, c K ({0}) = (1,..., 1), and on the simplices and cones on simplices by linearity. This defines the piecewise linear homeomorphisms of pairs (C K, K ) (I P, I 0 P ), and (C K ω, K ω ) (I P,ω, I 0 P,ω). Corollary 5.25: We have the homotopy equivalence P ω K ω. For the simplicial complex K ω we have the simplicial chain complex with the free abelian groups of chains C i (K ω ), i 1, generated by simplices σ K ω, σ = i + 1, (including the empty simplex, = 0), and the boundary homomorphism d: C i (K ω ) C i 1 (K ω ), dσ = i σ( 1) l(i,σ) (σ \ {i}). There is the cochain complex of groups C i (K ω ) = Hom(C i (K ω ), Z). Define the cochain σ by the rule σ, τ = δ(σ, τ). The coboundary homomorphism = d can be calculated by the rule σ = j ω\σ,σ {j} K ω ( 1) l(j,σ) (σ {j}) The homology groups of the chain and cochain complexes are H i (K ω ) and H i (K ω ) respectively. The following result is proved similarly to Theorem 5.16 and Theorem 5.21.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 60 60 V.M. Buchstaber, N.Yu. Erokhovets Theorem 5.26: For any ω [m] the mapping ξ ω : R i,2ω C ω i 1 (K ω ), ξω (u ω\σ v σ ) = ( 1) l(σ,ω) σ is the isomorphism of cochain complexes {C i,2ω (Z P )} i 0 and {C ω i 1 (K ω )} i 0. It induces the isomorphism H i,2ω (Z P ) H ω i 1 (K ω ) and the isomorphism of rings H (Z P ) H (K ω ) ω [m] where the multiplication on the right hand side H p (K ω1 ) H q (K ω2 ) H p+q+1 (K ω1 ω 2 ) is trivial if ω 1 ω 2, and for the case ω 1 ω 2 = is given by the mapping of cochains defined by the rule σ 1 σ 2 ( 1) l(ω1,ω2)+l(σ1,σ2)+ ω1 σ2 (σ 1 σ 2 ). 5.8. Description in terms of unions of facets modulo boundary The embeddings b P : P I P and c K : K I 0 P define the simplicial isomorphism of barycentric subdivisions of P and K: the vertex y σ, σ, is mapped to the vertex x G(σ) and on simplices we have the linear isomorphism. Then K ω is embedded into P ω. For the set P ω considered in the space P the boundary P ω consists of all points x P ω such that x F j for some j / ω. Hence P ω consists of all faces G P such that σ(g) ω and σ(g) ω. Define on P the orientation induced from R n, and on P the orientation induced from P by the rule: a basis (e 1,..., e n 1 ) in P is positively oriented if and only if the basis (n, e 1,..., e n 1 ) is positively oriented, where n is the outer normal vector. We have the orientation of simplices in K ω defined by the canonical order of the vertices of the set ω [m]. We have the cellular structure on P ω defined by the faces of P. Fix some orientation of faces in P such that for facets the orientation coincides with P. For a cell E with fixed orientation in some cellular or simplicial structure it is convenient to consider the chain E as a cell with an opposite orientation. Then the boundary operator just sends the cell to the sum of cells on the boundary with induced orientations. Lemma 5.27: The orientation of the simplex σ = {i 1,..., i l } K ω coincides with the orientation of the simplex conv{y σ, y σ\{i1}, y σ\{i1,i 2},..., y {il }}
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 61 Fullerenes, Polytopes and Toric Topology 61 The proof we leave as an exercise. Now we establish the Poincare duality between the groups H i (K ω ) and H n i 1 (P ω, P ω ). Definition 5.28: For a face G P ω, G P ω, with a positively oriented basis (e 1,..., e k ) and a simplex σ K ω define the intersection index C (P ω, P ω ) C (K ω ) Z by the rule 0, if G(σ) G; G, σ = 1, if G(σ) = G, and the basis (e 1,..., e k, h 1,..., h l ) is positive; 1, if G(σ) = G, and the basis (e 1,..., e k, h 1,..., h l ) is negative, where l = n k 1, and (h 1,..., h l ) is any basis defining the orientation of any maximal simplex in the barycentric subdivision of σ P ω consistent with the orientation of σ, for example (h 1,..., h l ) = (y σ\{i1} y σ, y σ\{i1,i 2} y σ,..., y {il } y σ ) Proposition 5.29: We have dg, τ = ( 1) dim G G, dτ. Proof: Both left and right sides are equal to zero, if τ σ(g) {j} for some j ω \σ. Let τ = σ(g) {j}. Then τ = σ(g j ) for G j = G F j. Let σ = σ(g). The vector corresponding to u j = y σ {j} y σ and the outer normal vector to the facet σ of the simplex σ {j} look to opposite sides of affσ in aff(σ {j}) in the geometric realization of K; hence the orientation of the basis (u j, h 1,..., h l ) is negative in σ {j}. On the other hand, u j = x G(σ {j}) x G(σ) ; hence this vector looks to the same side of aff(g j ) in aff(g) with the outer normal vector to G j, the orientation of the basis (u j, g 1,..., g k 1 ) is positive for the basis (g 1,..., g k 1 ) defining the induced orientation of G j. Hence for the induced orientations of G j and σ we have G F j, σ {j} is opposite to the sign of the orientation of (g 1,..., g k 1, u j, h 1,..., h l ); G, σ {j} coinsides with the sign of the orientation of (u j, g 1,..., g k 1, h 1,..., h l ); Hence these numbers differ by the sign ( 1) k.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 62 62 V.M. Buchstaber, N.Yu. Erokhovets Definition 5.30: Set H i (P ω, P ω ), 0 i n 2; Ĥ i (P ω, P ω ) = H n 1 (P ω, P ω )/([. F i ]), i = n 1. Theorem 5.31: The mapping G G, σ(g) σ(g) induces the isomorphism i ω Ĥ n i 1 (P ω, P ω ) H i (K ω ), 0 i n 1, ω. Moreover, for ω 1 ω 2 = the multiplication Ĥ n p 1 (P ω1, P ω1 ) Ĥn q 1(P ω2, P ω2 ) Ĥn (p+q) 2(P ω1 ω 2, P ω1 ω 2 ) induced by the isomorphism is defined by the rule G 1 G 2 G 1, σ(g 1 ) G 2, σ(g 2 ) G 1 G 2, σ(g 1 G 2 ) ( 1)l(ω1,ω2)+ ω1 (n dim G2)+l(σ(G1),σ(G2)) G 1 G 2 The proof follows directly from Proposition 5.29. 5.9. Geometrical interpretation of the cohomological groups Let P be a simple polytope. From Corollary 5.25 we obtain the following results Proposition 5.32: (1) If ω =, then P ω = ; hence H i,2 (Z P ) = H i 1 (P ω ) = (2) If G(ω), then P ω is contractible; hence { Z, i = 0, 0, otherwise. H i,2ω (Z P ) = H ω i 1 (P ω ) = 0 for all i. In particular, this is the case for ω = 1. (3) If ω = {p, q}, then either P ω is contractible, if F p F q, or P ω = F p F q, where both F p and F q are contractible, if F p F q =. Hence { H i,2{p,q} (Z P ) = H Z, i = 1, 1 i Fp F q, (P ω ) 0, otherwise. (4) If G(ω) = and ω, then dim K ω min{n 1, ω 2}; hence H i,2ω (Z P ) = H ω i 1 (P ω ) = 0 for ω i 1 > min{n 1, ω 2}.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 63 Fullerenes, Polytopes and Toric Topology 63 (5) If ω = [m], then P [m] = P S n 1 ; hence { H i,2[m] (Z P ) = H Z, i = m n, m i 1 (P ω ) = 0, otherwise. (6) P ω is a subcomplex in P S n 1 ; hence { Z, ω = [m], H n 1 (P ω ) = 0, otherwise. { (7) H 0,2ω (Z P ) = H Z, ω =, ω 1 (K ω ) = 0, otherwise. Corollary 5.33: For k 0 we have H k (Z P ) = ω H k 1 ω (P ω ). More precisely, H 0 (Z P ) = H 1 ( ) = Z = H n 1 (P [m] ) = H m+n (Z P ), and for 0 < k < m + n we have H k (Z P ) = In particular, max{ k+1 2,k n+1} ω min{k 1,m 1},G(ω)= H k 1 ω (P ω ). H 1 (Z P ) = H 2 (Z P ) = 0 = H m+n 2 (Z P ) = H m+n 1 (Z P ); H 3 (Z P ) H 0 (P ω ) = Z H m+n 3 (Z P ); ω =2 H 5 (Z P ) H 4 (Z P ) ω =3 H 7 (Z P ) ω =3 H 6 (Z P ) ω =4 H 1 (P ω ) + ω =4 F i F j= H 0 (P ω ) H m+n 4 (Z P ); ω =4 H 2 (P ω ) + H 1 (P ω ) + ω =5 H 0 (P ω ) H m+n 5 (Z P ); ω =5 H 0 (P ω ); H 1 (P ω ) + ω =6 H 0 (P ω ). Proof: From Proposition 5.17 we obtain H k (Z P ) = H i,2ω (Z P ) 2 ω i=k 2 ω i=k H ω i 1 (P ω ) = ω k H k ω 1 (P ω ).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 64 64 V.M. Buchstaber, N.Yu. Erokhovets { If ω = 0, then H k ω 1 (P ω ) = H Z, k = 0, k 1 ( ) = 0, otherwise. { If ω = k, then H k ω 1 (P ω ) = H Z, k = 0, 1 (P ω ) = 0, otherwise. Thus we have H 0 (Z P ) = H 1 ( ) = Z, and for k > 0 nontrivial summands appear only for 0 < ω < k, and k 1 ω dim K ω min{n 1, ω 2}. Hence ω max{k n, k+1 2 }. { If ω = k n, then H k ω 1 (P ω ) = H Z, ω = m, k = m + n, n 1 (P ω ) = 0, otherwise. If k = m + n, then ω m; hence ω = m, H m+n (Z { P ) = H n 1 ( P ) = Z. If ω = m, then H k ω 1 (P ω ) = H Z, k = m + n, k m 1 ( P ) = 0, otherwise. Thus, for 0 < k < m + n nontrivial summands appear only for { } k + 1 max k n + 1, ω min{k 1, m 1}. 2 If ω = 1, then H k ω 1 (P ω ) = { 0 for all k. If ω = 2, then H Z, k = 3 and G(ω) =, k ω 1 (P ω ) = 0, otherwise. Thus, for k = 3, 4, 5, 6, 7 we have the left parts of formulas above; in particular the corresponding cohomology groups have no torsion. From the universal coefficients formula the homology groups H k (Z P ), k 5, have no torsion. Then the right parts follow from the Poincare duality. Corollary 5.34: If the group H k (Z P ) has torsion, then 7 k m + n 6.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 65 Fullerenes, Polytopes and Toric Topology 65 6. Lecture 6. Moment-angle manifolds of 3-polytopes 6.1. Corollaries of general results From Corollary 5.33 for a 3-polytope P we have Proposition 6.1: H 0 (Z P ) = H 1 ( ) = Z = H 2 (P [m] ) = H m+3 (Z P ); H 1 (Z P ) = H 2 (Z P ) = 0 = H m+1 (Z P ) = H m+2 (Z P ); H 3 (Z P ) H 0 (P ω ) = Z H m (Z P ); H k (Z P ) H 4 (Z P ) ω =2 ω =k 2 ω =3,G(ω)= H 1 (P ω ) F i F j= H 0 (P ω ) H m 1 (Z P ); ω =k 1 H 0 (P ω ), 5 k m 2. In particular, H (Z P ) has no torsion, and so H k (Z P ) H m+3 k (Z P ). Proposition 6.2: For a 3-polytope P nonzero Betti numbers could be rank H 1 ( ) = β 0,2 = 1 = β (m 3),2[m] = rank H 2 ( P ); = rank H 0 (P ω ) = β i,2ω = β (m 3 i),2([m]\ω) = rank H 1 (P [m]\ω ), ω = i + 1, i = 1,..., m 4. The proof we leave as an exercise. For ω = i + 1 the number β i,2ω + 1 is equal to the number of connected components of the set P ω P. Definition 6.3: Bigraded Betti numbers are defined as β i,2j = rank H i,2j (Z P ) = Exercise: β 1,4 = m(m 1) 2 f 1 = (m 3)(m 4) 2. ω =j β i,2ω. Proposition 6.4: Let ω [m] and P ω be connected. Then topologically P ω is a sphere with k holes bounded by connected components η i of P ω, which are simple edge cycles. Proof: It is easy to prove that P ω is an orientable 2-manifold with boundary, which proves the statement.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 66 66 V.M. Buchstaber, N.Yu. Erokhovets Let the 3-polytope P have the standard orientation induced from R 3, and the boundary P have the orientation induced from P by the rule: the basis (e 1, e 2 ) in P is positively oriented if and only if the basis (n, e 1, e 2 ) is positively oriented in P, where n is the outer normal vector. Then any set P ω is an oriented surface with the boundary P ω consisting of simple edge cycles. Describe the Poincare duality given by Theorem 5.31. We have the orientation of simplices in K ω defined by the canonical order of the vertices induced from the set ω [m]. We have the cellular structure on P ω defined by vertices, edges and facets of P. Orient the faces of P by the following rule: facets F i orient similarly to P ; for i < j orient the edge F i F j in such a way that the pair of vectors (F i F j, y {j} y {i,j} ) has positive orientation in F j ; for i < j < k assign «+» to the vertex F i F j F k, if the pair of vectors (y {j,k} y {i,j,k}, y {k} y {i,j,k} ) has positive orientation in F k, and otherwise. Corollary 6.5: The mapping defines an isomorphism C i (K ω ) C 2 i (P ω, P ω ), H i (K ω ) Ĥ2 i(p ω, P ω ). We have the following computations. σ G(σ) Proposition 6.6: For the set ω let P ω = P ω 1 P ω s be the decomposition into connected components. Then (1) H 0 (P ω, P ω ) = 0 for ω [m], and H 0 ( P, ) = Z for ω = [m] with the basis [v], where v P is any vertex with the orientation «+». (2) H 1 (P ω, P ω ) = s H 1 (P ω i, P ω i), and H 1 (P ω i, P ω i) Z qi 1, where q i i=1 is the number of cycles in P ω i. The basis is given by any set of edge paths in P ω i connecting one fixed boundary cycle with other boundary cycles. (3) H 2 (P ω, P ω )/( [F i ]) Z s /(1, 1,..., 1), where Z s has the basis i ω e ω j = [ F i ]. i ω j The nontrivial multiplication is defined by the following rule. Each set P ω j is a sphere with holes. If ω 1 ω 2 =, then P ω i 1 P ω j is the intersection of a boundary 2 cycle in P ω i 1 with a boundary cycle in P ω j, which is the union γ 1 γ l of 2 edge-paths.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 67 Fullerenes, Polytopes and Toric Topology 67 Proposition 6.7: We have e ω i 1 e ω j = 0, if P 2 ω i 1 P ω j =. Else up to the sign 2 ( 1) l(ω1,ω2)+ ω1 it is the sum of the elements [γ i ] given by the paths with the orientations such that an edge on the path and the transversal edge lying in one facet and oriented from P ω i 1 to P ω j form positively oriented pair of vectors. 2 Proof: For the facets F i P ω1 and F j P ω2 we have F i F j ( 1) l(ω1,ω2)+ ω1 ( 1) l(i,j) F i F j, ) where the pair of vectors (( 1) l(i,j) F i F j, y j y {i,j} is positively oriented in F j. Proposition 6.8: Let ω 1 ω 2 = [m], and let the element [γ] correspond to the oriented edge path γ, connecting two boundary cycles of P ω j. Then e 2 ω i 1 [γ] = 0, if P ω i 1 γ =, and up to the sign ( 1) l(ω1,ω2) it is +1, if γ starts at P ω i 1, and 1, if γ ends at P ω i 1. Proof: F i (F j F k ) ( 1) l(ω1,ω2) ( 1) l(i,{j,k}) F i F j F k, where ( 1) l(i,{j,k}) F i F j F k is the vertex F i F j F k with the sign +, if F j F k starts at F i, and, if F j F k ends at F i. 6.2. k-belts and Betti numbers Definition 6.9: For any k-belt B k = {F i1,..., F ik } define ω(b k ) = {i 1,..., i k }, and B k to be the generator in the group Z H (k 2),2ω (Z P ) H 1 (P ω ) H 1 (K ω ) H 1 (P ω, P ω ), where ω = ω(b k ). Remark 6.10: It is easy to prove that B k is a k-belt if and only if K ω(bk ) is combinatorially equivalent to the boundary of a k-gon. Let P be a simple 3-polytope with m facets. Proposition 6.11: Let ω = {i, j, k} [m]. Then { Z, H 1,2ω (Fi, F j, F k ) is a 3-belt, (Z P ) = 0, otherwise. In particular, β 1,6 is equal to the number of 3-belts, and the set of elements { B 3 } is a basis in H 1,6 (Z P ).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 68 68 V.M. Buchstaber, N.Yu. Erokhovets Proof: We have H 1,2ω (Z P ) H 1 (K ω ). Consider all possibilities for the simplicial complex K ω on 3 vertices. If {i, j, k} K ω, then K ω is a 3-simplex, and it is contractible. Else K ω is a graph. If K ω has no cycles, then each connected component is a tree, else K ω is a cycle with 3 vertices. This proves the statement. Proposition 6.12: Let P be a simple 3-polytope without 3-belts, and ω [m], ω = 4. Then { Z, ω = ω(b) for some 4-belt B, H 2,2ω (Z P ) = 0, otherwise, where the belt B is defined in a unique way (we will denote it B(ω)). In particular, β 2,8 is equal to the number of 4-belts, and the set of elements { B 4 } is a basis in H 2,8 (Z P ). Proof: We have H 2,2ω (Z P ) H 1 (K ω ). Consider the 1-skeleton Kω. 1 If it has no cycles, then K ω = Kω 1 is a disjoint union of trees. If Kω 1 has a 3-cycle on vertices {i, j, k}, then {i, j, k} K ω. Let l = ω\{i, j, k}. l is either disconnected from {i, j, k}, or connected to it by one edge, or connected to it by two edges, say {i, l} and {j, l}, with {i, j, l} K ω, or connected to it by three edges with K ω 3. In all these cases H 1 (K ω ) = 0. If Kω 1 has no 3-cycles, but has a 4-cycle {i, j}, {j, k}, {k, l}, {l, i}, then K ω coincides with this cycle and (F i, F j, F k, F l ) is a 4-belt. This proves the statement. Theorem 6.13: Let P be a simple 3-polytope without 3-belts and 4-belts, and ω [m], ω = 5. Then { Z, ω = ω(b) for some 5-belt B, H 3,2ω (Z P ) = 0, otherwise, where the belt B is defined in a unique way (we will denote it B(ω)). In particular, β 3,10 is equal to the number of 5-belts, and the set of elements { B 5 } is a basis in H 3,10 (Z P ). Proof: We have H 3,2ω (Z P ) H 1 (K ω ). Since H 1 (K ω ) = 0 for ω 2, from Propositions 6.11 and 6.12 we have H 1 (K ω ) = 0, if K ω is disconnected. Let it be connected. Consider the sphere with holes P ω. If H 1 (P ω ) 0, then there are at least two holes. Consider a simple edge cycle γ bounding one of the holes. Walking round γ we obtain a k-loop L k = (F i1,..., F ik ), k 3 in P ω. If k = 3, then the absence of 3-belts implies that F i1 F i2 F i3 is a vertex; hence
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 69 Fullerenes, Polytopes and Toric Topology 69 P ω = {F i1, F i2, F i3 }, which is a contradiction. If k = 4, then the absence of 4- belts implies that F i1 F i3, or F i2 F i4. Without loss of generality let F i1 F i3. Then F i1 F i2 F i3 and F i3 F i4 F i1 are vertices; hence P ω = {F i1, F i2, F i3, F i4 }, which is a contradiction. Let k = 5. If L 5 is not a 5-belt, then some two nonsuccessive facets intersect. They are adjacent to some facet of L 5. Without loss of generality let it be F i2, and F i1 F i3. Then F i1 F i2 F i3 is a vertex. The absence of 4-belts implies that F i3 F i5, or F i4 F i1. Without loss of generality let F i3 F i5. Then F i3 F i4 F i5 and F i1 F i3 F i5 are vertices, and P ω is a disc bounded by γ. A contradiction.thus L 5 is a 5-belt, and H 1 (P ω ) Z generated by L 5. This proves the statement. Proposition 6.14: Any simple 3-polytope P 3 has either a 3-belt, or a 4-belt, or a 5-belt. Proof: If P 3 has no 3-belts, then it is a flag polytope and any facet of P is surrounded by a belt. Theorem 2.12 implies that any flag simple 3-polytope has a quadrangular or pentagonal facet. This finishes the proof. Corollary 6.15: For a fullerene P β 1,6 = 0 the number of 3-belts; β 2,8 = 0 the number of 4-belts; β 3,10 = 12 + k, k 0, the number of 5-belts. If k > 0, then p 6 = 5k; the product mapping H 3 (Z P ) H 3 (Z P ) H 6 (Z P ) is trivial. 6.3. Relations between Betti numbers Theorem 6.16: (Theorem 4.6.2, [7]) For any simple polytope P with m facets (1 t 2 ) m n (h 0 + h 1 t 2 + + h n t 2n ) = i,2j( 1) i β i,2j t 2j, where h 0 + h 1 t + + h n t n = (t 1) n + f n 1 (t 1) n 1 + + f 0. Corollary 6.17: Set h = m 3. For a simple 3-polytope P 3 with m facets (1 t 2 ) h (1 + ht 2 + ht 4 + t 6 ) = h 1 β 1,4 t 4 + ( 1) j 1 (β (j 1),2j β (j 2),2j )t 2j + j=3 ( 1) h 1 β (h 1),2(h+1) t 2(h+1) + ( 1) h t 2(h+3).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 70 70 V.M. Buchstaber, N.Yu. Erokhovets Exercise: For any simple 3-polytope P we have: β 1,4 the number of pairs (F i, F j ), F i F j = ; β 1,6 the number of 3-belts; β 2,6 = s i,j,k, where s i,j,k + 1 is equal to the number of connected i<j<k components of the set F i F j F k ; β 3,8 = s i,j,k,r, where s i,j,k,r +1 is equal to the number of connected i<j<k<r components of the set F i F j F k F r. Corollary 6.18: For any simple 3-polytope P β 1,4 = h(h 1) 2 ; β 2,6 β 1,6 = (h2 1)(h 3) 3 ; β 3,8 β 2,8 = (h+1)h(h 2)(h 5) 8. Corollary 6.19: For any fullerene β 1,4 = (8+p6)(9+p6) 2 ; β 2,6 = (6+p6)(8+p6)(10+p6) 3 ; β 3,8 = (4+p6)(7+p6)(9+p6)(10+p6) 8.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 71 Fullerenes, Polytopes and Toric Topology 71 7. Lecture 7. Rigidity for 3-polytopes 7.1. Notions of cohomological rigidity Definition 7.1: Let P be some set of polytopes. We call a property of simple polytopes rigid in P if for any polytope P P with this property the isomorphism of graded rings H (Z P ) H (Z Q ), Q P implies that Q also has this property. We call a set S P H (Z P ) defined for any polytope P P of polytopes rigid in P if for any isomorphism ϕ of graded rings H (Z P ) H (Z Q ), P, Q P we have ϕ(s P ) = S Q. We call a polytope rigid (or B-rigid) in P, if any isomorphism of graded rings H (Z P ) H (Z Q ), Q P, implies that Q is combinatorially equivalent to P. In this lecture we follow mainly the works [24] and [23]. Some results we mention without proof with the appropriate reference, for some results we give new proofs, and some results we prove in strengthened form. 7.2. Straightening along an edge For any edge F p F q of a simple 3-polytope P there is an operation of straightening along the edge (see Fig. 30). In this subsection we discuss its properties we will need below. E 1 E 3 v 3 E 1 v 3 F'' E F' F E 2 E 4 v 4 E 2 v 4 Fig. 30. Straightening along the edge Lemma 7.2: [9] For P 3 no straightening operations are defined. Let P 3 be a simple polytope. The operation of straightening along E = F i F j is not defined if and only if there is a 3-belt (F i, F j, F k ) for some F k.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 72 72 V.M. Buchstaber, N.Yu. Erokhovets Proof: For P = 3 straightening along any edge transforms triangle into double edge; hence it is not allowed. Let P 3 be a simple polytope. We have 2f 1 = 3f 0 ; hence from the Euler formula we have 2f1 3 f 1 + f 2 = 2, and f 1 = 3(f 2 2). In particular f 1 9 for P 3, and the graph G S 2 arising from the graph G(P ) under straightening along the edge has at least 6 edges. We will use Lemma 1.27 to establish whether G corresponds to a polytope (which will be simple by construction). Let F i F j be an edge we want to straighten along. Let F i F j F p and F i F j F q be it s vertices (see Fig. 31). Then after straightening the number of edges of F p and F q F p F b F i Fj F b F q Fig. 31. Neighborhood of the edge F i F j decreases; hence F p and F q should have at least 4 edges. From construction any facet of G, except for F, is surrounded by a simple edge-cycle. Since F i and F j intersect by a single edge, F also is surrounded by a simple edge cycle. Let F a and F b be facets of G. If F a, F b F, then we have F a F b = F a F b, where F a, F b are the corresponding facets of P. Hence this is either an empty set, or an edge. If F a = F, then we have F a F b consists of more than one edge if and only if the corresponding facet F b of P intersects both F i and F j, and F b F p, F q. This is equivalent to the fact that (F i, F j, F b ) is a 3-belt. Lemma 7.3: [9] The polytope Q obtained by straightening a flag polytope P along the edge F i F j is not flag if and only if there is a 4-belt (F i, F j, F k, F l ). Proof: Since P is flag, it has no triangles. Hence Q 3. Then Q is not flag if and only if it contains a 3-belt (F a, F b, F c). If F / {F a, F b, F c}, then (F a, F b, F c ) is a 3-loop of P ; hence F a F b F c is a vertex. Then F a F b F c is also a vertex. A contradiction. Let F a = F. Then both F b, F c intersect F i F j, and F b F c in P. If (F α, F b, F c ) is a 3-loop in P for α {i, j}, then F α F b F c is a vertex
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 73 Fullerenes, Polytopes and Toric Topology 73 different from the ends of F i F j. This vertex is also a vertex in G and is the intersection F a F b F c. A contradiction. Thus each of the facets F i and F j intersects only one facet among F b and F c, and these facets are different. This is possible if and only if (F i, F j, F b, F c ) or (F i, F j, F c, F b ) is a 4-belt. Remark 7.4: Straightenings along opposite edges of the quadrangle give the same combinatorial polytope. Lemma 7.5: [9] Let P be a flag simple 3-polytope and F be its quadrangular facet. If P I 3, then one of the 2 combinatorial polytopes obtained by straightening along edges of F is flag. Proof: Let F be surrounded by a 4-belt (F i1, F i2, F i3, F i4 ). If straightening along any edge of F gives non-flag polytopes, then by Lemma 7.3 there are some 4-belts B 1 = (F i1, F, F i3, F i5 ) and B 2 = (F i2, F, F i4, F i6 ). Since P \ B 1 consists of two connected components, one of them containing F i2 and the other containing F i4, the belt B 2 should intersect the belt B 1 by one more facet except for F. Hence F i5 = F i6. Since P is flag, we obtain vertices F i1 F i2 F i5, F i2 F i3 F i5, F i3 F i4 F i5, and F i4 F i1 F i5 ; hence all facets are quadrangles, and P I 3 7.3. Rigidity of the property to be a flag polytope Proposition 7.6: (Lemma 5.2, [24]) Let P be a flag simple 3-polytope. Then for any three different facets {F i, F j, F k } with F i F j = there exist l 4 and an l-belt B l such that F i, F j B l and F k / B l. Proof: We will prove this statement by induction on the number of facets of P. By Proposition 2.10 for flag 3-polytopes we have m 6, and m = 6 if and only if P I 3. In this case F i F j = means that F i and F j are opposite facets. Then one of the two 4-belts passing through F i and F j does not pass F k. Now let the statement be true for all flag 3-polytopes with less than m facets and let P be a flag simple polytope with m facets. If F k F i and F k F j, then we can take B l to be the belt surrounding F k. Now let at least one of the facets F i, F j do not intersect F k, say F i. Consider facets F p / {F i, F j } adjacent to F k. If for some p the facets (F p, F k ) do not belong to a 4-belt, then straighten along F p F k to obtain a flag polytope Q with m 1 facets. Then there is an l-belt B l, F i, F j B l F k in Q. This belt corresponds to the belt on P we need. Let for any p / {i, j} there is a 4-belt containing (F p, F k ). Since F k 2, there are at least 3 values of p; hence there are at least two 4-belts. If any of these belts surrounds a quadrangle, then each
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 74 74 V.M. Buchstaber, N.Yu. Erokhovets quadrangle is adjacent to F k. Consider the quadrangle F q different from F i and F j (it exists, since F k F i = or F k F j = by assumption). By inductive hypothesis m > 6, P I 3 ; hence by Lemma 7.5 straightening along F q F k, or any of the adjacent to F q F k edges of F q gives a flag polytope. By assumption the first case is not allowed. Consider the edge F p F q adjacent to F q F k in F q with F p F i, F j. After straightening along F p F q we obtain a flag polytope Q, which has a k-belt containing F i, F j and not containing F k. This belt corresponds either to a k-belt, or to a (k + 1)-belt on P with the same properties. At last consider the case when there is a 4-belt B = (F p, F k, F q, F r ), p / {i, j}, not surrounding a quadrangle. By Lemma 2.11 B-cuts P 1 and P 2 are flag polytopes. Since B is not surrounding a quadrangle, they have less facets than P. If F i and F j belong to one of the polytopes, say P 1, then by the induction hypothesis there is an l-belt B l with F i, F j B l F k. Consider the new facet F of P 1. If F / B l, then B l is an l-belt on P and the Lemma is proved. Else since F k / B l, the l-belt B l contains the fragment (F p, F, F q ) and does not contain F r. By induction hypothesis there is an l -belt B l on P 2, F p, F q, B l F k. Then the segment of B l with ends F p and F q does not containing the new facet F and F r, and the segment B l \{F } together form a belt we need. If any of the polytopes P 1 and P 2 contains exactly one of the facets F i and F j, say F i P 1, F j P 2, then consider an l 1 -loop B 1 P 1, F, F i B 1 F k, and an l 2 -loop B 2 P 2, F, F j B 2 F k. Then F r / B 1, B 2 ; hence (B 1 \ (F p, F, F q )) (B 2 \ {F }) is a belt we need. This finishes the proof. Corollary 7.7: (Proposition 5.4, [24]) Let P be a flag simple 3-polytope. Then for any ω [m], ω, the mapping ω 1 ω 2=ω Ĥ 2 (P ω1, P ω1 ) Ĥ2(P ω2, P ω2 ) H 1 (P ω, P ω ) is an epimorphism. Proof: We will use notations of Lemma 3.8. Let P ω = P ω 1 P ω s be the decomposition into connected components. Consider P ω r, r {1,..., s}. Let P ω r = η 1 η t be the decomposition into boundary components. If t = 1, then P ω r is a disk and is contractible. Let t 2. Take a b, and facets F i1 and F i2 in P \ P ω r intersecting η a and η b respectively. By Proposition 7.6 there is an l-belt B l of the form (F j1,..., F jl ) with F j1 = F i1, and F jp = F i2 for some p,
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 75 Fullerenes, Polytopes and Toric Topology 75 3 p l 1. Set Π 1 = (F j1,..., F jp ). Take ω 1 = {j : F j B l P ω r}, ω 2 = ω \ ω 1, A = [ F j ] Ĥ2(P ω1, P ω1 ), B = [ F k ] Ĥ2(P ω2, P ω2 ). F j P ω r Π 1 F k P ω r W 1 Then A B = [γ 1 ]+ +[γ q ], where γ i is an edge path in P ω r that starts at η αi 1 A P r b a F i1 1 γ 3 F i2 1 γ 2 A B c γ 1 A a Fig. 32. The belt B l intersecting P ω r and ends at η αi, α j [s], j = 0,..., q, i = 1,..., q, and {α 0, α q } = {a, b}. This element corresponds to a path connecting η a and η b in P ω r. Thus we can realize any element from the basis given by Proposition 6.6. The following simple result is well-known. Lemma 7.8: Simplex 3 is rigid in the class of all simple 3-polytopes. Proof: This is equivalent to the fact that any two facets intersect, that is H 3 (Z P ) = 0. The following result follows from Theorem 5.7 in [24]. We will give another proof here.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 76 76 V.M. Buchstaber, N.Yu. Erokhovets Theorem 7.9: The polytope P 3 is flag if and only if H m 2 (Z P ) ( H (Z P )) 2. Proof: The polytope P 3 is not flag if and only if it has a 3-belt. This corresponds to an element of a basis in H 1,2ω (Z P ) H 1 (P ω, P ω ), ω = 3. By the Poincare duality this element corresponds to an element of a basis in H (m 4),2([m]\ω) (Z P ) Ĥ2(P ω, P ω ). The latter element belongs to H m 2 (Z P ) but does not belong to ( H (Z P )) 2. If the polytope is flag, then it has no 3-belts, and by Proposition 6.11 H 5 (Z P ) = H 3,2ω (Z P ) = Ĥ 2 (P ω, P ω ). ω =4 Hence by the Poincare duality H m 2 (Z P ) = ω =m 4 ω =4 H 1 (P ω, P ω ). By Corollary 7.7 we have H m 2 (Z P ) ( H (Z P )) 2. By Lemma 7.8 the simplex is a rigid polytope. This finishes the proof. Corollary 7.10: The property to be a flag polytope is rigid in the class of simple 3-polytopes. 7.4. Rigidity of the property to have a 4-belt Remind that for any set ω = {i, j} [m] we have { Z with generator H 1,2ω (Z P ) = Ĥ2(P [Fi ] = [F j ], F i F j =, ω, P ω ) = 0, F i F j, and H 3 (Z P ) = Z {i,j} : F i F j= Definition 7.11: The set {F i1,..., F ik } with F i1 F ik = is called a nonface of P, and the corresponding set {i 1,..., i k } a nonface of K P. A nonface minimal by inclusion is called a minimal nonface. Define N(K) to be the set of all minimal nonfaces of the simplicial complex K.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 77 Fullerenes, Polytopes and Toric Topology 77 For any nonface ω = {i, j} choose a generator ω H 1,2ω (Z P ). Proposition 7.12: The multiplication H 3 (Z P ) H 3 (Z P ) H 6 (Z P ) is trivial if and only if P has no 4-belts. Proof: For ω 1 = {i, j}, ω 2 = {p, q} N(K P ), ω 1 ω 2 =, the simplicial complex K ω1 ω 2 has no 2-simplices; hence it is at most 1-dimensional and can be considered as a graph. Moreover, this graph has no 3-cycles. If it has a 4-cycle, then K ω1 ω 2 is a boundary of a 4-gon, (F i, F p, F j, F q ) is a 4-belt, and ω 1 ω 2 is a generator of H 1 (P ω1 ω 2, P ω1 ω 2 ). If K ω1 ω 2 has no 4-cycles, then it has no cycles at all, H 1 (P ω1 ω 2, P ω1 ω 2 ) H 1 (K ω1 ω 2 ) = 0, and ω 1 ω 2 = 0. This proves the statement. Corollary 7.13: The property to have a 4-belt is rigid in the class of all simple 3-polytopes. 7.5. Rigidity of flag 3-polytopes without 4-belts First we prove the following technical result, which we will need below. Proposition 7.14: (Lemma 3.2, [23]) Let P be a flag 3-polytope without 4-belts. Then for any three different facets {F i, F j, F k } with F i F j = there exist l 5 and an l-belt B l such that F i, F j B l, F k / B l, and F k does not intersect at least one of the two connected components of B l \ {F i, F j }. Remark 7.15: In [23] only the sketch of the proof is given. It contains several additional assumptions. We give the full prove following the same idea. Proof: From Proposition 7.6 there is an s-belt B 1, with F i, F j B 1 F k. We have B 1 = (F i, F i1,..., F ip, F j, F j1,..., F jq ), s = p + q + 2, p, q 1. According to Lemma 3.8 the belt B 1 divides the surface P \ B 1 into two connected components P 1 and P 2, both homeomorphic to disks. Consider the component P α containing int F k. Set β = 3 α. Then either P α = F k, or P α F k consists of finite set of disjoint edge-segments γ 1,..., γ d. Consider the first case. Then B 1 surrounds F k, and F i and F j are adjacent to F k. Consider all facets {F w1,..., F wr } in W β (in the notations of Lemma 3.8), adjacent to facets in {F i1,..., F ip } (see Fig. 33), in the order we meet them while walking round B 1 from F i to F j. Then F wa F jb = for any a, b, else (F k, F jb, F wa, F ic ) is a 4-belt for any i c with F ic F wa, since F k F wa = (because int F wa P β ) and F jb F ic =. We have a thick path (F i, F w1,..., F wr, F j ). Consider the shortest thick path of
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 78 78 V.M. Buchstaber, N.Yu. Erokhovets F w3 F w2 F F i3 i2 F w1 F i1 F i F jq F jq-1 F k F wr-2 F ip-1 F wr-1 F ip F wr F j F j1 F j2 Fig. 33. Case 1 the form (F i, F ws1,..., F wst, F j ). If two facets of this path intersect, then they are successive, else there is a shorter thick path. Thus we have a belt (F i, F ws1,..., F wst, F j, F j1,..., F jq ) containing F i, F j, not containing F k, and the segment (F ws1,..., F wst ) does not intersect F k. Now consider the second case. We can assume that F i F k = or F j F k =, say F i F k, else consider the belt B 1 surrounding F k and apply the arguments of the first case. Let γ a = (F k F ua,1,..., F k F ua,la ). Set U a = (F ua,1,..., F ua,la ). The segment (F sa,1,..., F sa,ta ) of B 1 between U a and U a+1 denote S a. Then B 1 = (U 1, S 1, U 2,..., U d, S d ) for some d. Consider the thick path W a = (F wa,1,..., F wa,ra ) W β (see notation in Lemma 3.8) arising while walking round the facets in W β intersecting facets in U a (see Fig. 35). Then W a W b = for a b, else (F w, F ua,j1, F k, F ub,j2 ) is a 4-belt for any F w W a W b such that F w F ua,j1, F w F ub,j2. Also F wa,j1 F wa,j2 for j 1 j 2. This is true for facets adjacent to the same facet F ua,i. Let F wa,j1 = F wa,j2. If the facets are adjacent to the successive facets F ua,i and F ua,i+1, then the flagness condition implies that j 1 = j 2 and F wa,j1 is the facet in W β intersecting F ua,i F ua,i+1. If the facets are adjacent to nonsuccessive facets F ua,i and F ua,j, then (F wa,j1, F ua,i, F k, F ua,j ) is a 4-belt, which is a contradiction. Now consider the thick path V b = (F vb,1,..., F vb,cb ) arising while walking round the facets in W α intersecting facets in S b (see Fig. 35). Then V a V b = for a b, and W a V b = for any a, b, since interiors of the corresponding facets lie in different connected components of P \ (B 1 F k ), moreover by the same reason we have F va,j F vb,j = for any i, j, and a b. Now we will deform the segments I = (F i1,..., F ip ) and J = (F j1,..., F jq ) of the belt B 1 to obtain a new belt (F i, I, F j, J ) with I not
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 79 Fullerenes, Polytopes and Toric Topology 79 F w1,2 F w2,1 F s1,2 F s1,3 F s2,2 F F s2,1 F s2,3 s1,1 F s2,4 F s2,5 F s4,3 F w2,1 F s4,2 F z1 F s4,1 F w4,2 F w1,1 F s4,5 F i F v4,2 F v4,3 F v4,1 F u4,2 F w4,1 F u4,1 F F F v1,1 u2,1 u1,2 F u1,1 F v1,1 F v3,5 F s3,7 F s3,6 F v3,4 F s3,5 F s3,4 F v2,1 Fv2,2 F v2,3 F k F u3,1 F v3,3 F u3,3 F v3,1 F F s3,1 v3,2 F s3,3 F s3,2 F j F w3,4 F s2,6 F w3,1 F w3,3 F w3,2 Fig. 34. Case 2 intersecting F k. First substitute the thick path W a for each segment U a I and the thick path V b for each segment S b J. Since F sa,ta F wa+1,1, F wa,ra F sa,1, F va,ca F ua+1,1, and F ua,la F sa,1 for any a and a + 1 considered mod d, we obtain a loop L 1 = (F i, I 1, F j, J 1 ) instead of B 1. Since F i F k =, we have F i = F sai,f i for some a i, f i. If F j = F saj,f j for some a j, f j, then we can assume that a i a j, else the facets in I or J already do not intersect F k, and B 1 is the belt we need. If F j = F uaj,f j for some a j and some f j > 1, then substitute the thick path (F,..., F waj,1 w aj,g j ), where g j the first integer with F waj,g j F j (then F j F F uaj,f j 1 w aj,g j is a vertex), for the segment (F uaj,1,..., F ) to obtain a loop L uaj,f j 1 2 = (F i, I 2, F j, J 1 ) (else set L 2 = L 1 ) with facets in I 2 not intersecting F k. If f j < l aj, then F waj,g j F =, else (F uaj,f j +1 k, F, F uaj,f j 1 w aj,g j, F ) is a 4-belt. Then F uaj,f j +1 w a,l F = for any r {f uaj,r j + 1,..., l aj } and a, l, such that either a a j, or a = a j, and l {1,..., g j }. Hence facets of the segment (F,..., F uaj,f j +1 u aj ) do,la j not intersect facets in I 2.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 80 80 V.M. Buchstaber, N.Yu. Erokhovets Now a facet F i a of I 2 can intersect a facet F j b of J 1 only if F i a = F wc,h for some c, h, and F j b = F for l < f sai,l i, or F j b = F for F saj,l j = F saj,f j and l > f j. In the first case take the smallest l for all c, h, and the correspondent facet F wc,h. Consider the facet F ub,g = F ie I with F ub,g F wc,h. Then L = (F, F sai,l s,..., F ai,l+1 i, F i1,..., F ie, F wc,h ) is a simple loop. If f i < t ai, then consider the thick path Z 1 = (F z1,1,..., F z1,y1 ) arising while walking along the boundary of B 1 in W β from the facet F z1,1 intersecting F i F i1 by the vertex, to the facet F z1,y1 preceding F wai +1,1. Consider the thick path X 1 = (F,..., F vai,1 v ai,x 1 ) with x 1 being the first integer with F vai,x 1 F i. Consider the simple curve η P consisting of segments connecting the midpoints of the successive edges of intersection of the successive facets of L. It divides P into two connected components E 1 and E 2 with J 1 \(F,..., F sai,l s ai,f i ) lying in 1 one connected component E α, and Z 1 in E β F wc,h, β = 3 α. Now substitute X 1 for the segment (F,..., F sai,1 s ) of J ai,f i 1 1. If f i < t ai substitute Z 1 for the segment (F,..., F sai,f i +1 s ai ) of I,ta 2 to obtain a new loop (F i, I 3, F j, J 2 ) with i facets in I 3 not intersecting F k. A facet F i a in I 3 can intersect a facet F j b in J 2 only if F i = F a w c,h for some c, h, F j = F saj,f j, and F j = F s for l > f b aj,l j. The thick path Z 1 lies in E β F wc,h and the segment (F j = F saj,f j,..., F saj ),ta j lies in E α ; hence intersections of facets in I 3 with facets in J 2 are also intersections of the same facets in I 2 and J 1, and F wc,h is either F wc,h, or lies in E α. We can apply the same argument for S aj as for S ai to obtain a new loop L 4 = (F i, I 4, F j, J 3 ) with facets in I 4 not intersecting F k and facets in J 3. Then take the shortest thick path from F i to F j in F i I 4 F j and the shortest thick path from F j to F i in F j J 3 F i to obtain the belt we need. Definition 7.16: An annihilator of an element r in a ring R is defined as Ann R (r) = {s R: rs = 0} Proposition 7.17: The set of elements in H 3 (Z P ) corresponding to {[F i ], [F j ] Ĥ2(P {i,j}, P {i,j} )} {i,j} : F i F j= is rigid in the class of all simple flag 3-polytopes without 4-belts. Proof: Since the group H (Z P ) has no torsion, we have the isomorphism H (Z P, Q) H (Z P ) Q and the embedding H (Z P ) H (Z P ) Q. For polytopes P and Q the isomorphism H (Z P ) H (Z Q ) implies the isomorphism over Q. For the cohomology over Q all theorems about structure of H (Z P, Q) are still valid. In what follows we consider cohomology over Q. Set H = H (Z P, Q). We will need the following result.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 81 Fullerenes, Polytopes and Toric Topology 81 F w1,2 F w2,1 F s1,2 F s1,3 F s2,2 F F s2,1 F s2,3 s1,1 F s2,4 F s2,5 F s4,3 F w2,1 F s4,2 F z1 F w4,2 F w1,1 F s4,5 F i F s4,1 F v4,2 F v4,3 F v4,1 F u4,2 F w4,1 F u4,1 F F F v1,1 u2,1 u1,2 F u1,1 F v1,1 F v3,5 F s3,7 F s3,6 F v3,4 F s3,5 F s3,4 F v2,1 Fv2,2 F v2,3 F k F u3,1 F v3,3 F u3,3 F v3,1 F F s3,1 v3,2 F s3,3 F s3,2 F j F w3,4 F s2,6 F w3,1 F w3,3 F w3,2 Fig. 35. Modified belt Lemma 7.18: For an element α = we have ω N(K P ), ω =2 r ω ω with {ω : r ω 0} 2 dim Ann H (α) < dim Ann H ( ω), if r ω 0. Proof: Choose a complementary subspace C ω to Ann H ( ω) in H as a direct sum of complements C ω,τ to Ann H ( ω) Ĥ (P τ, P τ ) in Ĥ (P τ, P τ ) for all τ [m] \ ω. Then for any β C ω \ {0} we have β ω 0, which is equivalent to the fact that β = β τ, β τ C ω,τ, τ [m] \ ω, with β τβ ω 0 for some τ β [m] \ ω. Moreover for any ω ω with r ω 0 and τ [m] \ ω, τ τ β, we have τ β ω / {τ ω, τ β ω, τ ω}; hence (β α) τβ ω = r ω β τβ ω 0, and βα 0. Then C ω forms a direct sum with Ann(α). Now consider some ω ω, ω = 2, r ω 0. Let ω = {p, q}, ω = {s, t}, q / ω. By Proposition 7.14 there is an l-belt B l such that F s, F t B l, F q / B l, and F q does
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 82 82 V.M. Buchstaber, N.Yu. Erokhovets not intersect one of the two connected components B 1 and B 2 of B l \ {F s, F t }, say B 1. Take ξ = [ F i ] Ĥ2(P τ, P τ ), τ = {i: F i B l \ {F s, F t }}, i : F i B 1 and [F s ] Ĥ2(P ω, P ω ). Then ξ [F s ] is a generator in H 1 (B l, B l ) Z. On the other hand, take [F q ] Ĥ2(P ω, P ω ). Then either F p B l \ {F s, F t }, and ξ ω = 0, since τ ω, or F p / B l \ {F s, F t }, and ±ξ ω = ξ [F q ] = 0, since F q does not intersect B 1. In both cases ξ Ann( ω) and ξ ω 0. Then ξ α 0, since τ ω τ ω 1 for ω 1 ω. Consider any β = β τ C ω \ {0}. τ [m]\ω We have (β α) τβ ω 0. If (ξ α) τβ ω 0, then since ξ is a homogeneous element, (ξ α) τβ ω = r ω1 ξ ω 1 for ω 1 = (τ β ω) \ τ = {q, r}, r [m]. We have ξ ω 1 = ±ξ [F q ] = 0, since F q does not intersect B 1. A contradiction. Thus, ((ξ + β) α) τβ ω = (β α) τβ ω 0; hence (ξ + β) α 0, and the space ξ C ω forms a direct sum with Ann H (α). This finishes the proof. Now let us prove Proposition 7.17. Let ϕ: H (Z P, Z) H (Z Q, Z) be an isomorphism of graded rings for flag simple 3-polytopes P and Q without 4-belts. Let ω N(K P ), ω = 2, and ϕ( ω) = α = r ω ω with {ω : r ω 0} 2. ω N(K Q ), ω =2 Then is some ω such that r ω 0 and ϕ 1 ( ω ) = α = ω N(K P ), ω =2 there r ω ω with r ω 0. Now consider all the mappings in cohomology over Q. Since dimension of annihilator of an element is invariant under isomorphisms, Lemma 7.18 gives a contradiction: dim Ann( ω) = dim Ann(α) < dim Ann( ω ) = dim Ann(α ) < dim Ann( ω). Thus ϕ( ω) = r ω ω for some ω. Since the isomorphism is over Z, we have r ω = ±1. This finishes the proof. Definition 7.19: Following [24] and [23] for a graded algebra A = i 0 A i over the field k, and a nonzero element α A define a p-factorspace V to be a vector subspace in A p such that for any v V \ {0} there exists u v A with vu v = α. A p-factorindex ind p (α) is defined to be the maximal dimension of p-factorspaces of α. Definition 7.20: Define B k = H 1 (B k, B k ) to be the subgroup in B k k-belt H k+2 (Z P ) generated by all elements B k corresponding to k-belts.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 83 Fullerenes, Polytopes and Toric Topology 83 Definition 7.21: For the rest of the Section let {ω i } N(P ) i=1 be the set of all missing edges of the complex K P of the polytope P. Proposition 7.22: Let P be a simple 3-polytope. Then (1) for any element α H k+2 (Z P, Q), 4 k m 2, we have ind 3 (α) k(k 3) 2, and the equality ind 3 (α) = k(k 3) 2 implies α (B k Q) \ {0}. (2) for any k-belt B k, 4 k m 2, we have ind 3 ( B k ) = k(k 3) 2 ; In particular, the group B k H k+2 (Z P, Z), 4 k m 2, is B-rigid in the class of all simple 3-polytopes. Proof: (1) We have α = ω Let 0 β = γ = η N(P ) i=1 α ω H 1 (P ω, P ω, Q) γ η ω =k ω =k+1 λ i ω i be the divisor of α. Then there exists η =k 3 H 1 (P η, P η, Q) η =k 2 Ĥ 2 (P ω, P ω, Q), Ĥ 2 (P η, P η, Q), with β γ = α. Then α ω = 0, for all ω with ω = k + 1, γ η = 0 for all η with η = k 3, and α ω = ( ) ( λ i ω i γ ω\ωi = λ i ω i γ η ). ω i ω ω i ω η ω, η =k 2 Thus for any 3-factorspace V of α and any ω with α ω 0 the linear mapping ϕ ω : V H 3 (Z P, Q): β β ω = λ i ω i ω i ω is a monomorphism; hence it is a linear isomorphism of V to the factorspace ϕ ω (V ) of α ω. Let P ω = P ω 1 P ω s be the decomposition into the connected components. Then H 1 (P ω, P ω ) = s l=1 H 1 (P ω l, P ω l), and α ω = s l=1 α ω l. Let ω i = {p, q}, with p ω a, q ω b. If a b, then ω i γ ω\ωi = 0, since ω i = ±[F p ] = [F q ], and the cohomology class ω i γ ω\ωi should lie in H 1 (P ω a, P ω a) H 1 (P ω b, P ω b) = 0. Consider ω i = {p, q} ω a. Each connected component of P ω\ωi lies in some P ω l. We have γ ω\ωi = s γ ωl \ω i, where each summand corresponds to the connected components lying in ω l \ ω i. Since l=1
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 84 84 V.M. Buchstaber, N.Yu. Erokhovets ω i ω l \{a} ω i γ ωl \ω i = 0 for l a, we have ( ) s s α ω l = α ω = λ i ω i + λ i ω i γ ω\ωi = l=1 l=1 ω i ω l ω i ω l l ω i ω s s s λ i ω i γ ωl \ω j = λ i ω i γ ωl \ω j ; l=1 ω i ω l l=1 ω j ω l l=1 ω i ω l ω j ω l hence for any α ω l 0 the projection ψ l : λ i ω i λ i ω i sends the ω i ω ω i ω l space ϕ ω (V ) isomorphically to the 3-factorspace ψ l ϕ ω (V ) of α ω l. Now consider the connected space P ω l. Let the graph K 1 ω have a hanging vertex a. Then the facet F l a intersects only one facet among {F t } t ωl \{a}, say F b. Then for any ω i = {a, r} ω l we have ω i γ ωl \ω i = ±[F a ] γ ωl \ω i is equal up to a scalar to the class in H 1 (P ω l, P ω l, Q) of the single edge F a F b connecting two points on the same boundary cycle of P ω l. Hence ω i γ ωl \ω i = 0. Thus we have α ω l = λ i ω i γ ωl \ω j = λ i ω i γ ωl \ω j. ω i ω l ω j ω l ω i ω l \{a} ω j ω l \{a} Hence the mapping ξ a : λ i ω i λ i ω i sends any nonzero ω i ω l ω i ω l \{a} vector in ψ l ϕ ω (V ) to a nozero vector; therefore the 3-factorspace ψ l ϕ ω (V ) of α ω l is mapped isomorphically to the 3-factorspace ξ a ψ l ϕ ω (V ) Ĥ 2 (P ωi, P ωi ) of α ω l. This space has the dimension at most the number of missing edges in K 1 ω l \{a}. Let r = ωl \ {a}. Since α ω l 0, r 3. Since P ω l \{a} is connected, the graph K 1 ω l \{a} has at least r 1 edges. Then the number of missing edges is at most r(r 1) 2 (r 1) = (r 1)(r 2) 2. Thus we have dim V = dim ξ a ψ l ϕ ω (V ) (r 1)(r 2) 2 (k 2)(k 3) 2 < k(k 3) 2, since r k 1. Now let the graph K 1 ω have no hanging vertices. Set l to be the number of l its edges and r = ω l. We have r k. Then dim V r(r 1) 2 l. Since the graph is connected and has no hanging vertices, r 3 and l r. Therefore dim V r(r 1) 2 r = r(r 3) 2 k(k 3) 2. If the equality holds, then r = k = l, and ϕ ω (V ) = Q ω i : ω i ω. Then Kω 1 is connected, has no hanging vertices and l = k = ω edges. We have 2k is the sum of k vertex degrees of Kω, 1 each degree being at least 2. Then each degree is exactly 2; therefore K ω is a chordless cycle; hence P ω is a k-belt. This holds for any ω with α ω 0; hence α (B k Q)\{0}.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 85 Fullerenes, Polytopes and Toric Topology 85 (2) For a k-belt B j, k 4, the space Q ω i : ω i ω(b j ) is a k(k 3) 2 - dimensional 3-factorspace of B j. Indeed, for any ω i ω(b j ) take γ i,j to be the fundamental cycle in Ĥ2(P ω(bj)\ω i, P ω(bj)\ω i, Q). Then ω p γ q,j = ±δ p,q Bj for any ω p, ω q ω(b j ), and for a combination τ = ω i ω(b j) λ i ω i with λ p 0 we have τ (± 1 λ p γ p,j ) = B j. Now for any graded isomorphism ϕ: H (Z P, Z) H (Z Q, Z) we have the graded isomorphism ϕ: H (Z P, Q) H (Z Q, Q) with the embeddings H (Z P, Z) H (Z P, Q), and H (Z P, Z) H (Z P, Q). For any α H k+2 (Z P, Q) the isomorphism ϕ induces the bijection between the 3- factorspaces of α and ϕ(α); hence ind 3 (α) = ind 3 ( ϕ(α)). In particular, for any k-belt B k, 4 k m 2, we have k(k 3) 2 = ind 3 ( B k ) = ind 3 ( ϕ( B k )); hence (1) implies that ϕ( B k ) = j µ j B k,j for k-belts B k,j of Q. Since ϕ( B k ) = ϕ( B k ), we have µ j Z, ϕ( B k ) B k (Q); hence ϕ(b k (P )) B k (Q). The same argument for the inverse isomorphism implies that ϕ(b k (P )) = B k (Q). Proposition 7.23: For any k, 5 k m 2, the set {± B k : B k is a k-belt } H k+2 (Z P ) is B-rigid in the class of flag simple 3-polytopes without 4-belts. Proof: Let P and Q be flag 3-polytopes without 4-belts, and ϕ: H (Z P, Z) H (Z Q, Z) be a graded isomorphism. From Proposition 7.22 we have ϕ( B k ) = µ j B k,j for k-belts B k,j of Q. Then for any ω i ω(b k ) we have ω i γ ω(bk )\ω i = j B k for some γ ω(bk )\ω i. Then ϕ( ω i )ϕ(γ ω(bk )\ω i ) = j µ j B k,j. Lemma 7.24: Let α H k+2 (Z P, Z), 4 k m 2, α = α ω H 1 (P ω, P ω, Z) Ĥ 2 (P ω, P ω, Z). ω ω =k ω =k+1 If β Ĥ2(P τ, P τ, Z), τ, divides α, then condition α ω 0 implies that ω = k, τ ω, and β divides α ω. Proof: Let βγ = α, where γ = η γ η. Then from the multiplication rule we have α ω = 0 for ω = k + 1, and βγ ω\τ = α ω for each nonzero α ω. Proposition 7.17 implies that ϕ( ω i ) = ± ω j ; therefore by Lemma 7.24 the element ω j is a divisor of any B k,j with µ j 0. But for a k-belt B k,j the element ω j is a
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 86 86 V.M. Buchstaber, N.Yu. Erokhovets divisor if and only if ω j ω(b k,j ). We see that the isomorphism ϕ maps the set {± ω i : ω i ω(b k )} bijectively to the corresponding set of any B k,j with µ j 0. But such a set defines uniquely the k-belt; hence we have only one nonzero µ j, which should be equal to ±1. This finishes the proof. Proposition 7.25: For any k, 5 k m 2 the set {± B k : B k is a k-belt surrounding a facet} H k+2 (Z P ) is B-rigid in the class of flag simple 3-polytopes without 4-belts. Proof: Let the k-belt B k = (F i1,..., F ik ) surround a facet F j of a flag simple 3-polytope P without 4-belts. Consider any facet F l, l / {i 1,..., i k, j}. If F l F ip, and F l F iq, then F ip F iq, else (F j, F ip, F l, F iq ) is a 4-belt. Then F ip F iq F l is a vertex, since P is flag. Then p q = ±1 mod k, and F l F ir = for any r {p, q}. Thus either F l does not intersect facets in B k, or it intersects exactly one facet in B k, or it intersects two successive facets in B k by their common vertex. Consider all elements β H k+3 (Z P, Z) such that β is divided by any ω i with ω i ω(b k ). By Lemma 7.24 we have β = β ω. Moreover, since any ω i ω(b k ) lies in ω, we have ω(b k ) ω; ω =k+1 hence ω = ω(b k ) {s} for some s. Since P j ω(bk ) is contractible, we have s / j ω(b k ). Lemma 7.26: If F l either does not intersect facets in the k-belt B k, or intersects exactly one facet in B k, or intersects exactly two successive facets in B k by their common vertex, then the generator of the group H 1 (P ω(bk ) {l}, P ω(bk ) {l}, Z) Z is divisible by ω i for any ω i ω(b k ). Proof: Let ω i = {i p, i q }. Since the facets F ip and F iq are not successive in B k, one of the facets F ip and F iq does not intersect F l, say F ip. The facet F l can not intersect both connected components of P ω(bk )\{i p,i q}; hence P ω(bk ) {l}\{i p,i q} is disconnected. Let γ be the fundamental cycle of the connected component intersecting F ip. Then ω i γ = ±[F ip ]γ is a single-edge path connecting two boundary components of P ω(bk ) {l}; hence it is a generator of H 1 (P ω(bk ) {l}, P ω(bk ) {l}, Z). This finishes the proof. From Lemma 7.26 we obtain that the are exactly m k 1 linearly independent elements in H k+3 (Z P, Z) divisible by all ω i, ω i ω(b k ). Now let ϕ: H (Z P, Z) H (Z Q, Z) be the isomorphims of graded rings for a flag 3-polytope Q without 4-belts, and let ϕ( B k ) = ± B k for B k =
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 87 Fullerenes, Polytopes and Toric Topology 87 (F j 1,..., F j k ). Assume that B k does not surround any facet. If there is a facet F l, l / ω(b k ) such that F l F j p, F l F j q, and F j p F j q = for some p, q, then without loss of generality assume that p < q, and F l F j t = for all t {p + 1,..., q 1}. Then B r = (F l, F j p, F j p+1,..., F j q ) is an r-belt for r = q p + 2 k, and there are r(r 3) 2 (r 3) = (r 2)(r 3) 2 common divisors of B r and B k of the form ω i. We have ϕ 1 ( B r) = ± B r for some r-belt B r with B r having (r 2)(r 3) 2 common divisors of the form ω i with B k. Since B k B r, there is F u B r \ B k ; hence B k and B r have at most (r 2)(r 3) 2 common divisors of the form ω i, and the equality holds if and only if B r \ {F u } B k. Then F u F j. Let F u follows F v = F is and is followed by F w = F it in B r. Then F u F is, F u F it, and F is F it =. We have the 4-belt (F j, F is, F u, F it ). A contradiction. Hence any facet F l, l [m] \ ω(b k ) does not intersect two non-successive facets of B k ; hence either it does not intersect B k, or intersects in exactly one facet, or intersects exactly two successive facets by their common vertex. Then by Lemma 7.26 we obtain m k linearly independent elements in H k+3 (Z Q, Z) divisible by all ω i, ω i ω(b k ). A contradiction. This proves that B k surrounds a facet. Proposition 7.27: Let ϕ: H (Z P, Z) H (Z Q, Z) be an isomorphism of graded rings, where P and Q are flag simple 3-polytopes without 4-belts. If B 1 and B 2 are belts surrounding adjacent facets, and ϕ( B i ) = ± B i, i = 1, 2, then the belts B 1 and B 2 also surround adjacent facets. Proof: The proof follows directly from the following result. Lemma 7.28: Let P be a flag simple 3-polytope without 4-belts. Let a belt B 1 surround a facets F p, and a belt B 2 surrounds a facet F q F p. Then F p F q if and only if B 1 and B 2 have exactly one common divisor among ω i. Proof: If F p F q, then, since P is flag, B 1 B 2 consists of two facets which do not intersect. On the other hand, let F p F q =, and {u, v} ω(b 1 ) ω(b 2 ) with F u F v =. Then (F u, F p, F v, F q ) is a 4-belt, which is a contradiction. Now let us prove the main theorem. Theorem 7.29: Let P be a flag simple 3-polytope without 4-belts, and Q be a simple 3-polytope. Then the isomorphism of graded rings ϕ: H (Z P, Z) H (Z Q, Z) implies the combinatorial equivalence P Q. In other words, any flag simple 3-polytope without 4-belts is B-rigid in the class of all simple 3- polytopes.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 88 88 V.M. Buchstaber, N.Yu. Erokhovets Proof: By Corollaries 7.10 and 7.13 the polytope Q is also flag and has no 4- belts. Since P is flag, any it s facet is surrounded by a belt. By Proposition 7.25 for any belt B k surrounding a facet ϕ( B k ) = ± B k for a belt B k surrounding a facet. Lemma 7.30: Any belt B k surrounds at most one facet of a flag simple 3-polytope without 4-belts. Proof: If a belt B k = (F i1,..., F ik ) surrounds on both sides facets F p and F q, then (F i1, F p, F i3, F q ) is a 4-belt, which is a contradiction. From this lemma we obtain that the correspondence B k B k induces a bijection between the facets of P and the facets of Q. Then Proposition 7.27 implies that this bijection is a combinatorial equivalence.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 89 Fullerenes, Polytopes and Toric Topology 89 8. Lecture 8. Quasitoric manifolds 8.1. Finely ordered polytope Every face of codimension k may be written uniquely as G(ω) = F i1... F ik for some subset ω = {i 1,..., i k } [m]. Then faces G(ω) may be ordered lexicographically for each 1 k n. By permuting the facets of P if necessary, we may assume that the intersection F 1... F n is a vertex v. In this case we describe P as finely ordered, and refer to v as the initial vertex, since it is the first vertex of P with respect to the lexicographic ordering. Up to an affine transformation we can assume that a 1 = e 1,..., a n = e n. 8.2. Canonical orientation We consider R n as the standard real n-dimensional Euclidean space with the standard basis consisting of vectors e j = (0,..., 1,..., 0) with 1 on the j-th place, for 1 j n; and similarly for Z n and C n. The standard basis gives rise to the canonical orientation of R n. We identify C n with R 2n, sending e j to e 2j 1 and ie j to e 2j for 1 j n. This provides the canonical orientation for C n. Since C-linear maps from C n to C n preserve the canonical orientation, we may also regard an arbitrary complex vector space as canonically oriented. We consider T n as the standard n-dimensional torus R n /Z n which we identify with the product of n unit circles in C n : T n = {(e 2πiϕ1,..., e 2πiϕn ) C n }, where (ϕ 1,..., ϕ n ) R n. The torus T n is also canonically oriented. 8.3. Freely acting subgroups Let H T m be a subgroup of dimension r m n. Choosing a basis, we can write it in the form H = { (e 2πi(s11ϕ1+ +s1rϕr),..., e 2πi(sm1ϕ1+ +smrϕr) ) T m}, where ϕ i R, i = 1,..., r and S = (s ij ) is an integer (m r)-matrix which defines a monomorphism Z r Z m onto a direct summand. For any subset ω = {i 1,..., i n } [m] denote by S ω the ((m n) r)-submatrix of S obtained by deleting the rows i 1,..., i n.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 90 90 V.M. Buchstaber, N.Yu. Erokhovets Write each vertex v P n as v ω if v = F i1... F in. Exercise: The subgroup H acts freely on Z P if and only if for every vertex v ω the submatrix S ω defines a monomorphism Z r Z m n onto a direct summand. Corollary 8.1: The subgroup H of rank r = m n acts freely on Z P if and only if for any vertex v ω P we have: det S ω = ±1. 8.4. Characteristic mapping Definition 8.2: An (n m)-matrix Λ gives a characteristic mapping l: {F 1,..., F m } Z n for a given simple polytope P n with facets {F 1,..., F m } if the columns l(f j1 ) = λ j1,..., l(f jn ) = λ jn of Λ corresponding to any vertex v ω form a basis for Z n. Example: For a pentagon P5 2 we have a matrix Λ = ( ) 1 0 1 0 1 0 1 0 1 1 Fig. 36. Pentagon with normal vectors Problem: For any simple n-polytope P find all integral (n m)-matrices 1 0... 0 λ 1,n+1... λ 1,m 0 1... 0 λ 2,n+1... λ 2,m Λ =..........., 0 0... 1 λ n,n+1... λ n,m in which the column λ j = (λ 1,j,..., λ n,j ) corresponds to the facet F j, j = 1,..., m, and the columns λ j1,..., λ jn corresponding to any vertex v ω = F j1 F jn form a basis for Z n.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 91 Fullerenes, Polytopes and Toric Topology 91 Note that there are simple n-polytopes, n 4, admitting no characteristic functions. Exercise: Let C n (m) be a combinatorial type of a cyclic polytope built as follows: take real numbers t 1 < < t m and Prove that C n (t 1,..., t m ) = conv{(t i, t 2 i,..., t n i ), i = 1,..., m}. (1) the combinatorial type of C n (t 1,..., t m ) does not depend on t 1 < < t m ; (2) the polytope C n (m) is simplicial; (3) for n 4 any two vertices of C n (m) are connected by an edge; Conclude that for large m the dual simple polytope C n (m) admits no characteristic functions. 8.5. Combinatorial data Definition 8.3: The combinatorial quasitoric data (P, Λ) consists of an oriented combinatorial simple polytope P and an integer (n m)-matrix Λ with the properties above. The matrix Λ defines an epimorphism l: T m T n. The kernel of l (which we denote K(Λ)) is isomorphic to T m n. Exercise: The action of K(Λ) on Z P is free due to the condition on the minors of Λ. 8.6. Quasitoric manifold with the (A, Λ)-structure Construction: The quotient M = Z P /K(Λ) is a 2n-dimensional smooth manifold with an action of the n-dimensional torus T n = T m /K(Λ). We denote this action by α. It satisfies the Davis Januszkiewicz conditions: (1) α is locally isomorphic to the standard coordinatewise representation of T n in C n, (2) there is a projection π : M P whose fibres are orbits of α. We refer to M = M(P, Λ) as the quasitoric manifold associated with the combinatorial data (P, Λ). Let P = {x R n : Ax + b 0}.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 92 92 V.M. Buchstaber, N.Yu. Erokhovets Definition 8.4: The manifold M = M(P, Λ) is called the quasitoric manifold with (A, Λ)-structure. Exercise: Suppose the (n m)-matrix Λ = (I n, Λ ), where I n is the unit matrix, gives a characteristic mapping l: {F 1,..., F m } Z n ( ) Λ Then the matrix S = gives the (m n)-dimensional subgroup where ψ k = m j=n+1 acting freely on Z P. I m n H = { (e 2πiψ1,..., e 2πiψm ) T m}, λ k,j ϕ j n, k = 1,..., n; ψ k = ϕ k n, k = n + 1,..., m, Example 8.5: Take P = 2. Let us describe the matrices A and Λ: 1 0 ( ) A = 0 1 1 0 λ13, Λ =, a 31, a 32, λ 13, λ 23 Z. 0 1 λ a 31 a 23 32 Since the normal vectors are oriented inside the polytope, a 31 < 0, a 32 < 0. Thus, up to combinatorial equivalence, one can take a 31 = a 32 = 1. The conditions on the characteristic mapping give 0 λ 13 1 λ 23 = ± 1, 1 λ 13 0 λ 23 = ± 1, λ 13 = ± 1, λ 23 = ± 1. Therefore we have 4 structures (A, Λ). Exercise: Let P = 2 and CP 2 be the complex projective space with the canonical action of torus T 3 : (t 1, t 2, t 3 )(z 1 : z 2 : z 3 ) = (t 1 z 1 : t 2 z 2 : t 3 z 3 ). (1) describe CP 2 as (S 5 T 3 T 2 ); (2) describe the structure (A, Λ) such that M(A, Λ) is CP 2 ;
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 93 Fullerenes, Polytopes and Toric Topology 93 8.7. A partition of a quasitoric manifold We have the homeomorphism where Z P,vω Z P Exercise: Z P,vω /K(Λ) D 2n ω. v ω vertex = Dj 2 j ω Corollary 8.6: We have the partition: M(P, Λ) = j [m]\ω v ω vertex Z P,vω, S 1 j D 2m. D 2n ω. 8.8. Stably complex structure and characteristic classes Denote by C i the space of the 1-dimensional complex representation of the torus T m induced from the standard representation in C m by the projection C m C i onto the ith coordinate. Let Z P C i Z P be the trivial complex line bundle; we view it as an equivariant T m -bundle with the diagonal action of T m. By taking the quotient with respect to the diagonal action of K = K(Λ) we obtain a T n -equivariant complex line bundle ρ i : Z P K C i Z P /K = M(P, Λ) (8.1) over the quasitoric manifold M = M(P, Λ). Here Z P K C i = Z P C i / (tz, tw) (z, w) for any t K, z Z P, w C i. Theorem 8.7: (Theorem 6.6, [15]) There is an isomorphism of real T n -bundles over M = M(P, Λ): TM R 2(m n) = ρ1 ρ m ; (8.2) here R 2(m n) denotes the trivial real 2(m n)-dimensional T n -bundle over M. For the proof see (Theorem 7.3.15, [7]). Corollary 8.8: Let v i = c 1 (ρ i ) H 2 (M(P, Λ), Z). Then for the total Chern class we have C(M(P, Λ)) = 1 + c 1 + + c n = (1 + v 1 )... (1 + v m ), and for the total Pontryagin class we have P (M(P, Λ)) = 1 + p 1 + + p [ n 2 ] = (1 + v2 1)... (1 + v 2 m).
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 94 94 V.M. Buchstaber, N.Yu. Erokhovets 8.9. Cohomology ring of the quasitoric manifold Theorem 8.9: [15] We have H (M(P, Λ)) = Z[v 1,..., v m ]/(J SR (P ) + I P,Λ ), where v i = c 1 (ρ i ), J SR (P ) is the Stanley-Reisner ideal generated by monomials {v i1... v ik : F i1 F ik = }, and I P,Λ is the ideal generated by the linear forms λ i,1 v 1 + + λ i,m v m arising from the equality For the proof see (Theorem 7.3.28, [7]). Corollary 8.10: If Λ = (I n, Λ ), then with the generators v n+1,..., v m. Corollary 8.11: l(f 1 )v 1 + + l(f m )v m = 0. H 2 (M(P, Λ)) = Z m n (1) The group H k (M(P, Λ)) is nontrivial only for k even; (2) M(P, Λ) is even dimensional and orientable, hence the group H k (M(P, Λ)) is nontrivial only for k even; (3) from the universal coefficients formula the abelian groups H (M(P, Λ)) and H (M(P, Λ)) have no torsion. Corollary 8.12: Let P be a flag polytope and l be its characteristic function. Then H (M(P, Λ)) = Z[v 1,..., v m ]/(J SR + I P,Λ ), where the ideal J SR is generated by monomials v i v j, where F i F j =, and I P,Λ is generated by linear forms λ i,1 v 1 + + λ i,m v m. Corollary 8.13: For any l = 1,..., n, the cohomology group H 2l (M(P, Λ), Z) is generated by monomials v i1... v il, i 1 < < i l, corresponding to (n l)- faces F i1 F il. Proof: We will prove this by induction on characteristic δ = p p i>1 i of a monomial v p1 i 1... v ps i s with i 1 < < i s. Due to the relations from the ideal J SR nonzero monomials correspond to faces F i1 F is. If δ = 0, then we have the monomial we need. If δ > 0, then take a vertex v in F i1 F is. Let Λ v be the submatrix of Λ corresponding to the columns {j : v F j }. Then by
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 95 Fullerenes, Polytopes and Toric Topology 95 definition of a characteristic function det Λ v = ±1. By integer elementary transformations of rows of the matrix Λ (hence of linear relations in the ideal I P,Λ ) we can make Λ v = E. Let p k > 1. The variable v ik can be expressed as a linear combination v ik = a j v j. Then j / {i 1,...,i s} v p1 i 1... v ps i s = j / {i 1,...,i s} a j v p1 i 1... v p k 1 i k... v ps i s v j, where on the right side we have the sum of monomials with less value of δ. This finishes the proof. For any ξ = (i 1,..., i n 1 ) [m] set ξ i = (ξ, i), i / ξ. Exercise: 1. For any ξ = (i 1,..., i n 1 ) [m] there are the relations m ε(ξ j )v j = 0 (8.3) j=1 where ε(ξ j ) = det l(f i1 ),..., l(f in 1 ), l(f j ). 2. There is a graded ring isomorphism H (M(P, Λ)) = Z[P ]/J where J is the ideal generated by the relations (8.3). Exercise: For any vertex v ω = F i1 Fin, ω = (i 1,..., i n ), there are the relations v in = ε(ξ in ) j ε(ξ j ) v j where ξ = (i 1,..., i n 1 ), j [m\ξ in ]. Exercise: For any vertex v ω = F i1 Fin, ω = (i 1,..., i n ), there are the relations v 2 i n = ε(ξ in ) j ε(ξ j ) v in v j where j [m\ξ in ], but F in Fj. 8.10. Geometrical realization of cycles of quasitoric manifolds The fundamental notions of algebraic topology were introduced in the classical work by Poincare [37]. Among them there were notions of cycles and homology. Quasitoric manifolds give nice examples of manifolds such that original notions by Poincare obtain explicit geometric realization.
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 96 96 V.M. Buchstaber, N.Yu. Erokhovets Let M k be a smooth oriented manifold such that the groups H (M k, Z) have no torsion. There is the classical Poincare duality H i (M k, Z) H k i (M k, Z). Moreover, according to the Milnor-Novikov theorem [34, 35, 36] for any cycle a H l (M k, Z) there is a smooth oriented manifold N l and a continuous mapping f : N l M k such that f [N l ] = a. For the homology groups of any quasitoric manifold there is the following remarkable geometrical interpretation of this result. Note that odd homology groups of any quasitoric manifold are trivial. Theorem 8.14: (1) The homology group H 2n 2 (M(P, Λ), Z) of the quasitoric manifold M 2n (P, Λ) is generated by embedded quasitoric manifolds M 2n 2 i (P, Λ), i = 1,..., m, of facets of P. The embedding of the manifold M 2n 2 i (P, Λ) M(P, Λ) gives the geometric realization of the cycle Poincare dual to the cohomology class v i H 2 (M(P, Λ), Z) defined above. (2) For any i the homology group H 2i (M(P, Λ), Z) is generated by embedded quasitoric manifolds corresponding to all i-faces F j1 F jn i of the polytope P. These manifolds can be described as complete intersections of manifolds M 2n 2 j 1 (P, Λ),..., M 2n 2 j n i (P, Λ). The proof of the theorem follows directly from the above results on the cohomology of quasitoric manifolds and geometric interpretation of the Poincare duality in terms of Thom spaces [42]. 8.11. Four colors problem Classical formulation: Given any partition of a plane into contiguous regions, producing a figure called a map, two regions are called adjacent if they share a common boundary that is not a corner, where corners are the points shared by three or more regions. Problem: No more than four colors are required to color the regions of the map so that no two adjacent regions have the same color. The problem was first proposed on October 23, 1852, when Francis Guthrie, while trying to color the map of counties of England, noticed that only four different colors were needed. The four colors problem became well-known in 1878 as a hard problem when Arthur Cayley suggested it for discussion during the meeting of the London mathematical society. The four colors problem was solved in 1976 by Kenneth Appel and Wolfgang Haken. It became the first major problem solved using a computer. For the details
September 13, 2016 Lecture Note Series, IMS, NUS Review Vol. 9in x 6in Lectures-F page 97 Fullerenes, Polytopes and Toric Topology 97 and the history of the problem see [45]. One of the central topics of this monograph is «how the problem was solved». Example 8.15: Platonic solids. The octahedron can be colored in 2 colors. The cube and the icosahedron can be colored into 3 colors. The tetrahedron and the dodecahedron can be colored into 4 colors. Fig. 37. Coloring of the dodecahedron Exercise: Color all the Archimedean solids. 8.12. Quasitoric manifolds of 3-dimensional polytopes Let P be a simple 3-polytope. Then P is homeomorphic to the sphere S 2 partitioned into polygons F 1,..., F m. By the four colors theorem there is a coloring ϕ: {F 1,..., F m } {1, 2, 3, 4} such that adjacent facets have different colors. Let e 1, e 2, e 3 be the standard basis for Z 3, and e 4 = e 1 + e 2 + e 3. Proposition 8.16: The mapping l: {F 1,..., F m } Z 3 : l(f i ) = e ϕ(fi) is a characteristic function. Corollary 8.17: Any simple 3-polytope P has combinatorial data (P, Λ) and the quasitoric manifold M(P, Λ); Any fullerene has a quasitoric manifold.