Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




May 4, 2017  


Combinatorics of fullerenes and toric topology

V. M. Buchstaberab

a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b Lomonosov Moscow State University
Supplementary materials:
Adobe PDF 5.8 Mb
Adobe PDF 1.7 Mb

Number of views:
This page:289
Materials:65

Abstract: A fullerene is a spherical-shaped molecule of carbon such that any atom belongs to exactly three carbon rings, which are pentagons or hexagons. Fullerenes have been the subject of intense research, both for their unique quantum physics and chemistry, and for their technological applications, especially in nanotechnology.
A convex $3$-polytope is simple if every vertex of it is contained in exactly $3$ facets.
A (mathematical) fullerene is a simple convex $3$-polytope with all facets pentagons and hexagons. Each fullerene has exactly $12$ pentagons and the number $p_6$ of hexagons can be arbitrary except for $1$. The number of combinatorial types of fullerenes as a function of $p_6$ grows as $p^9_6$.
Toric topology [1] assigns to each fullerene $P$ a smooth $(p_6+15)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with a canonical action of a compact torus $T^m$, where $m=p_6+12$. The solution of the famous $4$-color problem provides the existence of an integer matrix $S$ of sizes $m\times (m-3)$ defining an $(m-3)$-dimensional toric subgroup in $T^m$ acting freely on $\mathcal{Z}_P$. The orbit space of this action is called a quasitoric manifold $M^6(P,S)$. We have $\mathcal{Z}_P/T^m=M^6/T^3=P$.
In the talk we focus on the following recent results.
Two fullerenes $P$ and $Q$ are combinatorially equivalent if and only if there is a graded isomorphism of cohomology rings $H^*(\mathcal{Z}_P,\mathbb Z)\simeq H^*(\mathcal{Z}_Q,\mathbb Z)$ (see [2] and [3]).
A graded isomorphism $H^*(M^6(P,S_P),\mathbb Z)\simeq H^*(M^6(Q,S_Q),\mathbb Z)$ implies a graded isomorphism $H^*(\mathcal{Z}_P,\mathbb Z)\simeq H^*(\mathcal{Z}_Q,\mathbb Z)$ (see [4]).
Using results formulated above, we obtain:
Manifolds $M^6(P,S_P)$ and $M^6(Q,S_Q)$ are diffeomorphic if and only if there is a graded isomorphism $H^*(M^6(P,S_P),\mathbb Z)\simeq H^*(M^6(Q,S_Q),\mathbb Z)$ (see [4]).
Corollary: Two fullerenes $P$ and $Q$ are combinatorially equivalent if and only if the manifolds $M^6(P,S_P)$ and $M^6(Q,S_Q)$ are diffeomorphic. Two manifolds $M^6(P,S_P)$ and $M^6(Q,S_Q)$ are diffeomorphic if and only if they are homotopy equivalent.
In the end of the talk we will describe operations of construction of fullerenes [5].

Supplementary materials: poster.pdf (5.8 Mb) , presentation.pdf (1.7 Mb)

Language: English

Website: https://math.sjtu.edu.cn/conference/Bannai/2017/talk.php?20170504A

References
  1. V. M. Buchstaber, T. E. Panov, Toric Topology, AMS Math. Surveys and Monographs, 204, 2015, 518 pp.
  2. F. Fan, J. Ma, X. Wang, “$B$-Rigidity of flag 2-spheres without 4-belt”, arXiv: 1511.03624
  3. V. M. Buchstaber, N. Yu. Erokhovets, “Construction of fullerenes”, 2015, arXiv: 1510.02948v1
  4. V. M. Buchstaber, N. Yu. Erokhovets, M. Masuda, T. E. Panov, S. Park, “Cohomological rigidity of manifolds defined by right-angled 3-dimensional polytopes”, Russ. Math. Surveys, 2017, no. 2, arXiv: 1610.07575v2
  5. V. M. Buchstaber, N. Yu. Erokhovets, “Construction of families of three-dimensional polytopes, characteristic patches of fullerenes, and Pogorelov polytopes”, Izvestiya: Mathematics, 81:5 (2017)
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024