arXiv++ Combinatorics

For a graph $G$, a graph cubeahedron $\square_G$ and a graph associahedron $\triangle_G$ are simple convex polytopes which admit (real) toric manifolds. In this paper, we introduce a graph invariant, called the $b$-number, and we show that the $b$-numbers compute the Betti numbers of the real toric manifold $X^\mathbb{R}(\square_G)$ corresponding to a graph cubeahedron. The $b$-number is a counterpart of the notion of $a$-number, introduced by S. Choi and the second named author, which computes the Betti numbers of the real toric manifold $X^\mathbb{R}(\triangle_G)$ corresponding to a graph associahedron. We also study various relationships between $a$-numbers and $b$-numbers from a toric topological view. Interestingly, for a forest $G$ and its line graph $L(G)$, the real toric manifolds $X^\mathbb{R}(\triangle_G)$ and $X^\mathbb{R}(\square_{L(G)})$ have the same Betti numbers.

A small cover is a closed smooth manifold of dimension $n$ having a locally standard $\mathbb{Z}_2^n$-action whose orbit space is isomorphic to a simple polytope. A typical example of small covers is a real projective toric manifold (or, simply, a real toric manifold), that is, a real locus of projective toric manifold. In the paper, we classify small covers and real toric manifolds whose orbit space is isomorphic to the dual of the simplicial complex obtainable by a sequence of wedgings from a polygon, using a systematic combinatorial method finding toric spaces called puzzles.

A fundamental result of toric geometry is that there is a bijection between toric varieties and fans. More generally, it is known that some class of manifolds having well-behaved torus actions, called topological toric manifolds $M^{2n}$, can be classified in terms of combinatorial data containing simplicial complexes with $m$ vertices. We remark that topological toric manifolds are a generalization of smooth toric varieties. The number $m-n$ is known as the Picard number when $M^{2n}$ is a {compact smooth} toric variety. In this paper, we investigate the relationship between the topological toric manifolds over a simplicial complex $K$ and those over the complex obtained by simplicial wedge operations from $K$. As applications, we do the following. 1. We classify smooth toric varieties of Picard number 3. This is a reproving of a result of Batyrev. 2. We give a new and complete proof of projectivity of smooth toric varieties of Picard number 3 originally proved by Kleinschmidt and Sturmfels. 3. We find a criterion for a toric variety over the join of boundaries of simplices to be projective. When the toric variety is smooth, it is known as a generalized Bott manifold which is always projective. 4. We classify and enumerate real topological toric manifolds when $m-n=3$. 5. When $m-n \leq 3$, any real topological toric manifold is realizable as fixed points of the conjugation of a topological toric manifold.

In this paper, we introduce new combinatorial invariants of any finite simple graph, which arise in toric topology. We compute the $i$-th (rational) Betti number and Euler characteristic of the real toric variety associated to a graph associahedron $P_{\B(G)}$. They can be calculated by a purely combinatorial method (in terms of graphs) and are named $a_i(G)$ and $b(G)$, respectively. To our surprise, for specific families of the graph $G$, our invariants are deeply related to well-known combinatorial sequences such as the Catalan numbers and Euler zigzag numbers.