Source author record

Nickolai Erokhovets

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.AT math.MG

Catalog footprint

Research overview

5works

3topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Fullerenes, Polytopes and Toric Topology

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.

preprint2015arXiv

Construction of fullerenes

We present an infinite series of operations on fullerenes generalizing the Endo-Kroto operation, such that each combinatorial fullerene is obtained from the dodecahedron by a sequence of such operations. We prove that these operations are invertible in the proper sense, and are compositions of (1;4,5)-, (1;5,5)-, (2,6;4,5)-, (2,6;5,5)-, (2,6;5,6)-, (2,7;5,5)-, and (2,7;5,6)-truncations, where each truncation increases the number of hexagons by one.

preprint2012arXiv

Criterion for the Buchstaber invariant of simplicial complexes to be equal to two

In this paper we study the Buchstaber invariant of simplicial complexes, which comes from toric topology. With each simplicial complex $K$ on $m$ vertices we can associate a moment-angle complex $\mathcal Z_K$ with a canonical action of the compact torus $T^m$ . Then $s(K)$ is the maximal dimension of a toric subgroup that acts freely on $\mathcal Z_K$ . We develop the Buchstaber invariant theory from the viewpoint of the set of minimal non-simplices of $K$ . It is easy to show that $s(K)=1$ if and only if any two and any three minimal non-simplices intersect. For $K=\partial P^*$ , where $P$ is a simple polytope, this implies that $P$ is a simplex. The case $s(P)=2$ is such more complicated. For example, for any $k\geqslant 2$ there exists an $n$ -polytope with $n+k$ facets such that $s(P)=2$ . Our main result is the criterion for the Buchstaber invariant of a simplicial complex $K$ to be equal to two.

preprint2010arXiv

Polytopes, Hopf algebras and Quasi-symmetric functions

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product $\times$ and a join $\divideontimes$ of polytopes. $(\mathcal{P},\times)$ is a commutative associative bigraded ring of polynomials, and $\mathcal{RP}=(\mathbb Z\varnothing\oplus\mathcal{P},\divideontimes)$ is a commutative associative threegraded ring of polynomials. The ring $\mathcal{RP}$ has the structure of a graded Hopf algebra. It turns out that $\mathcal{P}$ has a natural Hopf comodule structure over $\mathcal{RP}$ . Faces operators $d_k$ that send a polytope to the sum of all its $(n-k)$ -dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra $\mathcal{Z}$ . This structure gives a ring homomorphism $\R\to\Qs\otimes\R$, where $\R$ is $\mathcal{P}$ or $\mathcal{RP}$ . Composing this homomorphism with the characters $P^n\toα^n$ of $\mathcal{P}$ , $P^n\toα^{n+1}$ of $\mathcal{RP}$ , and with the counit we obtain the ring homomorphisms $f\colon\mathcal{P}\to\Qs[α]$, $f_{\mathcal{RP}}\colon\mathcal{RP}\to\Qs[α]$, and $\F^*:\mathcal{RP}\to\Qs$, where $F$ is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over $\mathbb Q$ , and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism $f,\;f_{\mathcal{RP}}$ , and $\F$ the images of two polytopes coincide if and only if they have equal flag $f$ -vectors. Therefore algebraic structures on the images give the information about flag $f$ -vectors of polytopes.

preprint2010arXiv

Ring of Polytopes, Quasi-symmetric functions and Fibonacci numbers

In this paper we study the ring $\mathcal{P}$ of combinatorial convex polytopes. We introduce the algebra of operators $\mathcal{D}$ generated by the operators $d_k$ that send an $n$ -dimensional polytope $P^n$ to the sum of all its $(n-k)$ -dimensional faces. It turns out that $\mathcal{D}$ is isomorphic to the universal Leibnitz-Hopf algebra with the antipode $χ(d_k)=(-1)^kd_k$ . Using the operators $d_k$ we build the generalized $f$ -polynomial, which is a ring homomorphism from $\mathcal{P}$ to the ring $\Qsym[t_1,t_2,...][α]$ of quasi-symmetric functions with coefficients in $\mathbb Z[α]$ . The images of two polytopes coincide if and only if their flag $f$ -vectors are equal. We describe the image of this homomorphism over the integers and prove that over the rationals it is a free polynomial algebra with dimension of the $n$ -th graded component equal to the $n$ -th Fibonacci number. This gives a representation of the Fibonacci series as an infinite product. The homomorphism is an isomorphism on the graded group $BB$ generated by the polytopes introduced by Bayer and Billera to find the linear span of flag $f$ -vectors of convex polytopes. This gives the group $BB$ a structure of the ring isomorphic to $f(\mathcal{P})$ . We show that the ring of polytopes has a natural Hopf comodule structure over the Rota-Hopf algebra of posets. As a corollary we build a ring homomorphism $l_α\colon\mathcal{P}\to\mathcal{R}[α]$ such that $F(l_α(P))=f(P)^*$ , where $F$ is the Ehrenborg quasi-symmetric function.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.