arXiv subjects
Publications and source records attributed to Suyoung Choi.
A simplicial polytope is combinatorially rigid if its combinatorial structure is determined by its graded Betti numbers which are important invariant coming from combinatorial commutative algebra. We find a necessary condition to be combinatorially rigid for 3-dimensional reducible simplicial polytopes and provide some rigid reducible simplicial polytopes.
A Bott manifold is a closed smooth manifold obtained as the total space of an iterated $\C P^1$-bundle starting with a point, where each $\C P^1$-bundle is the projectivization of a Whitney sum of two complex line bundles. A \emph{$\Q$-trivial Bott manifold} of dimension $2n$ is a Bott manifold whose cohomology ring is isomorphic to that of $(\CP^1)^n$ with $\Q$-coefficients. We find all diffeomorphism types of $\Q$-trivial Bott manifolds and show that they are distinguished by their cohomology rings with $\Z$-coefficients. As a consequence, we see that the number of diffeomorphism classes in $\Q$-trivial Bott manifolds of dimension $2n$ is equal to the number of partitions of $n$. We even show that any cohomology ring isomorphism between two $\Q$-trivial Bott manifolds is induced by a diffeomorphism.
We prove that for a toric manifold $M$, any graded ring isomorphism $H^\ast(M) \to H^\ast(\prod_{i=1}^{m}\CP^{n_i})$ is induced by a diffeomorphism $\prod_{i=1}^m \CP^{n_i} \to M$.
The cohomological rigidity problem for toric manifolds asks whether the cohomology ring of a toric manifold determines the topological type of the manifold. In this paper, we consider the problem with the class of one-twist Bott manifolds to get an affirmative answer to the problem. We also generalize the result to quasitoric manifolds. In doing so, we show that the twist number of a Bott manifold is well-defined and is equal to the cohomological complexity of the cohomology ring of the manifold. We also show that any cohomology Bott manifold is homeomorphic to a Bott manifold. All these results are also generalized to the case with $\mathbb Z_{(2)}$-coefficients, where $\mathbb Z_{(2)}$ is the localized ring at 2.
A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as simplices or cubes are known to be cohomologically rigid. In this article we investigate the cohomological rigidity of polytopes and establish it for several new classes of polytopes including products of simplices. Cohomological rigidity of $P$ is related to the \emph{bigraded Betti numbers} of its \emph{Stanley--Reisner ring}, another important invariants coming from combinatorial commutative algebra.
For a simplicial complex $Δ$, the graded Betti number $β_{i,j}(k[Δ])$ of the Stanley-Reisner ring $k[Δ]$ over a field $k$ has a combinatorial interpretation due to Hochster. Terai and Hibi showed that if $Δ$ is the boundary complex of a $d$-dimensional stacked polytope with $n$ vertices for $d\geq3$, then $β_{k-1,k}(k[Δ])=(k-1)\binom{n-d}{k}$. We prove this combinatorially.
A quasitoric manifold (resp. a small cover) is a $2n$-dimensional (resp. an $n$-dimensional) smooth closed manifold with an effective locally standard action of $(S^1)^n$ (resp. $(\mathbb Z_2)^n$) whose orbit space is combinatorially an $n$-dimensional simple convex polytope $P$. In this paper we study them when $P$ is a product of simplices. A generalized Bott tower over $\F$, where $\F=\C$ or $\R$, is a sequence of projective bundles of the Whitney sum of $\F$-line bundles starting with a point. Each stage of the tower over $\F$, which we call a generalized Bott manifold, provides an example of quasitoric manifolds (when $\F=\C$) and small covers (when $\F=\R$) over a product of simplices. It turns out that every small cover over a product of simplices is equivalent (in the sense of Davis and Januszkiewicz \cite{DJ}) to a generalized Bott manifold. But this is not the case for quasitoric manifolds and we show that a quasitoric manifold over a product of simplices is equivalent to a generalized Bott manifold if and only if it admits an almost complex structure left invariant under the action. Finally, we show that a quasitoric manifold $M$ over a product of simplices is homeomorphic to a generalized Bott manifold if $M$ has the same cohomology ring as a product of complex projective spaces with $\Q$ coefficients.
If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.
In the present paper we find a bijection between the set of small covers over an $n$-cube and the set of acyclic digraphs with $n$ labeled nodes. Using this, we give a formula of the number of small covers over an $n$-cube (generally, a product of simplices) up to Davis-Januszkiewicz equivalence classes and $\mathbf{Z}^n$-equivariant diffeomorphism classes. Moreover we prove that the number of acyclic digraphs with $n$ unlabeled nodes is an upper bound of the number of small covers over an $n$-cube up to diffeomorphism.