arXiv++ Combinatorics

We compute all the Chern, Milnor and Pontryagin numbers for canonical toric manifolds associated with abstract simplicial complexes and the Stiefel-Whitney numbers for their real counterparts. Applications include combinatorial characterizations of the unitary, oriented and unoriented bordism classes, new geometrical representatives of the unitary bordism ring generators, a combinatorial criterion for a canonical toric manifold to bound, as well as the dimension estimates for their immersions into euclidean spaces.

In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfies the deletion-contraction property which makes it similar to the chromatic polynomial. The Berge's classical result on the number of Hamiltonian paths in digraphs is a consequence of the reciprocity formula for the Redei-Berge polynomial.

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes.

A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$.

It is a classical fact that the number of vertices of the graphical zonotope $Z_Γ$ is equal to the number of acyclic orientations of a graph $Γ$. We show that the $f$-polynomial of $Z_Γ$ is obtained as the principal specialization of the $q$-analog of the chromatic symmetric function of $Γ$.

For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism invariant of graphs. The obtained invariant is quite natural as it is the generating function of ordered colorings of graphs and satisfies the recurrence relation with respect to deletions of vertices.

We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two.

The generalized Dehn-Sommerville relations determine the odd subalgebra of the combinatorial Hopf algebra. We introduce a class of eulerian hypergraphs that satisfy the generalized Dehn-Sommerville relations for the combinatorial Hopf algebra of hypergraphs. We characterize a wide class of eulerian hypergraphs according to the combinatorics of underlying clutters. The analogous results hold for simplicial complexes by the isomorphism which is induced from the correspondence of clutters and simplicial complexes.

The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\mathbf{c}\mathbf{d}-$index, the polynomial in two noncommutative variables associated to an eulerian building set. The complete characterization of eulerian building sets is given in terms of combinatorics of intersection posets of antichains of finite sets.

For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres.

This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics.

We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$.

Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups.