arXiv subjects
Publications and source records attributed to Jongbaek Song.
Let $X(P,λ)$ be a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $λ$. Assuming that $X(P,λ)$ is locally smooth over a vertex of $P$, we determine the integral cohomology ring $H^*(X(P,λ);\Z)$ by constructing an explicit basis and expressing the cup products of the basis elements in terms of $P$ and $λ$.
We study toric orbifolds of real dimension four with vanishing odd-degree cohomology and obtain a basis for its degree-two equivariant cohomology with integral coefficients by identifying it with the intersection of certain lattices. As applications, we provide an alternative construction of the \emph{algebraic cellular basis} for integral ordinary cohomology \cite{FSS2}. In addition, when the toric orbifold is an algebraic variety, we determine its Cartier divisor group and Picard group.
We determine that $γ$-vectors of partitioned permutohedra, thereby generalizing a result of Foata and Schützenberger. Our result is closely related to a result of Athanasiadis on the representation of the symmetric group on the cohomology of the permutohedral variety. We explain how to derive Athanasiadis' result from ours and vice versa.
Given a compact toric surface, the multiplication of its rational cohomology can be described in terms of the intersection products of Weil divisors, or in terms of the cup products of cohomology classes representing specific cells. In this paper, we aim to compare these two descriptions. More precisely, we define two different cohomology bases, the \emph{Poincaré dual basis} and the \emph{cellular basis}, which give rise to matrices representing the intersection product and the cup product. We prove that these representing matrices are inverse of each other.
For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic.
We put a cochain complex structure ${CH}^*(\mathcal Z_K)$ on the cohomology of a moment-angle complex $\mathcal Z_K$ and call the resulting cohomology the double cohomology, ${HH}^*(\mathcal Z_K)$. We give three equivalent definitions for the differential, and compute ${HH}^*(\mathcal Z_K)$ for a family of simplicial complexes containing clique complexes of chordal graphs.
We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes.
Let $W$ be a reflection group in a plane and $P$ a rational polygon that is invariant under the $W$-action. The action of $W$ on $P$ induces a $W$-action on the toric variety $X_P$ associated with $P$. In this paper, we study the $W$-representation on the cohomology $H^\ast(X_P)$ and show that the invariant subring $H^\ast(X_P)^W$ is isomorphic to the cohomology ring of the toric variety associated with the \emph{fundamental region}~$P/W$. As an example, we provide an explicit description of the main result for the case of the toric variety associated with the fan of Weyl chambers of type $G_2$.
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.
Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
We introduce the category of {\it locally $k$-standard $T$-manifolds} which includes well-known classes of manifolds such as toric and quasitoric manifolds, good contact toric manifolds and moment-angle manifolds. They are smooth manifolds with well-behaved actions of tori. We study their topological properties, such as fundamental groups and equivariant cohomology algebras. Then, we discuss when the torus equivariant cohomology algebra distinguishes them up to weakly equivariant homeomorphism.
We calculate the integral equivariant cohomology, in terms of generators and relations, of locally standard torus orbifolds whose odd degree ordinary cohomology vanishes. We begin by studying GKM-orbifolds, which are more general, before specialising to half-dimensional torus actions.
We study the GKM theory for a equivariant stratified space having orbifold structures in tis successive quotients. Then, we introduce the notion of an \emph{almost simple polytope}, as well as a \emph{divisive toric variety} generalizing the concept of a divisive weighted projective space. We employ the GKM theory to compute the generalized equivariant cohomology theories of toric varieties associated to almost simple polytopes and divisive toric varieties.
To a direct sum of holomorphic line bundles, we can associate two fibrations, whose fibers are, respectively, the corresponding full flag manifold and the corresponding projective space. Iterating these procedures gives, respectively, a flag Bott tower and a generalized Bott tower. It is known that a generalized Bott tower is a toric manifold. However a flag Bott tower is not toric in general but we show that it is a GKM manifold, and we also show that for a given generalized Bott tower we can find the associated flag Bott tower so that the closure of a generic torus orbit in the latter is a blow-up of the former along certain invariant submanifolds. We use GKM theory together with toric geometric arguments.
The closure of a generic torus orbit in the flag variety $G/B$ of type $A$ is known to be a permutohedral variety and its Poincare polynomial agrees with the Eulerian polynomial. In this paper, we study the Poincare polynomial of a generic torus orbit closure in a Schubert variety in $G/B$. When the generic torus orbit closure in a Schubert variety is smooth, its Poincare polynomial is known to agree with a certain generalization of the Eulerian polynomial. We extend this result to an arbitrary generic torus orbit closure which is not necessarily smooth.
The main objects of this paper are torus orbifolds that have exactly two fixed points. We study the equivariant topological type of these orbifolds and consider when we can use the results of the paper [DKS] (arXiv:1809.03678) to compute its integral equivariant cohomology, in terms of generators and relations, coming from the corresponding orbifold torus graph.
The simplicial wedge construction on simplicial complexes and simple polytopes has been used by a variety of authors to study toric and related spaces, including non-singular toric varieties, toric manifolds, intersections of quadrics and more generally, polyhedral products. In this paper we extend the analysis to include toric orbifolds. Our main results yield infinite families of toric orbifolds, derived from a given one, whose integral cohomology is free of torsion and is concentrated in even degrees, a property which might be termed \emph{integrally equivariantly formal}. In all cases, it is possible to give a description of the cohomology ring and to relate it to the cohomology of the original orbifold.