arXiv++ Combinatorics

Fullerenes are hollow carbon molecules where each atom is connected to exactly three other atoms, arranged in pentagonal and hexagonal rings. Mathematically, they can be combinatorially modeled as planar, 3-regular graphs with facets composed only of pentagons and hexagons. In this work, we outline a few of the many open questions about fullerenes, beginning with the problem of generating fullerenes randomly. We then introduce an infinite family of fullerenes on which the generalized Stone-Wales operation is inapplicable. Furthermore, we present numerical insights on a graph invariant, called \textit{character} of a fullerene, derived from its adjacency and degree matrices. This descriptor may lead to a new method for linear enumeration of all fullerenes.

In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.

In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(ΩX)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$.

The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.

An arrow matrix is a matrix with zeroes outside the main diagonal, first row, and first column. We consider the space $M_{St_n,λ}$ of Hermitian arrow $(n+1)\times (n+1)$-matrices with fixed simple spectrum $λ$. We prove that this space is a smooth $2n$-manifold, and its smooth structure is independent on the spectrum. Next, this manifold carries the locally standard torus action: we describe the topology and combinatorics of its orbit space. If $n\geqslant 3$, the orbit space $M_{St_n,λ}/T^n$ is not a polytope, hence this manifold is not quasitoric. However, there is a natural permutation action on $M_{St_n,λ}$ which induces the combined action of a semidirect product $T^n\rtimesΣ_n$. The orbit space of this large action is a simple polytope. The structure of this polytope is described in the paper. In case $n=3$, the space $M_{St_3,λ}/T^3$ is a solid torus with boundary subdivided into hexagons in a regular way. This description allows to compute the cohomology ring and equivariant cohomology ring of the 6-dimensional manifold $M_{St_3,λ}$ using the general theory developed by the first author. This theory is also applied to a certain $6$-dimensional manifold called the twin of $M_{St_3,λ}$. The twin carries a half-dimensional torus action and has nontrivial tangent and normal bundles.

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.

Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary links and applications, and continues to attract experts from different fields. The key players in toric topology are moment-angle manifolds, a family of manifolds with torus actions defined in combinatorial terms. Their construction links to combinatorial geometry and algebraic geometry of toric varieties via the related notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to seminal connections with the classical and modern areas of symplectic, Lagrangian and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and their generalisations, polyhedral products, provides a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate area of homotopy theory, with strong links to other areas of toric topology. A new perspective on torus action has also contributed to the development of classical areas of algebraic topology, such as complex cobordism. The book contains lots of open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter into a beautiful new area.

This is the third chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.

This is the first chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.

This is the second chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.