simplicial complex
1299 papers tagged with this keyword
Cohomological Ramsey Theory
We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and developed a Hom complex theory. We generalize the Hom complexes to Ramsey complexes.
The main theorem states that if certain cohomology groups of the Ramsey complex Ram(dDelta_{p^k}, Sigma) are trivial, then the vertices of the simplicial complex Sigma cannot be n-colored such that every color correspond to a face of Sigma. In a corollary, we give an explicit description of the Ramsey complexes used for upper bounds on Ramsey numbers.
Face vectors of subdivided simplicial complexes
Published
• View Publication
• BIB
Brenti and Welker have shown that for any simplicial complex X, the face vectors of successive barycentric subdivisions of X have roots which converge to fixed values depending only on the dimension of X. We improve and generalize this result here. We begin with an alternative proof based on geometric intuition. We then prove an interesting symmetry of these roots about the real number -2. This symmetry can be seen via a nice algebraic realization of barycentric subdivision as a simple map on formal power series in two variables. Finally, we use this algebraic machinery with some geometric motivation to generalize the combinatorial statements to arbitrary subdivision methods: any subdivision method will exhibit similar limit behavior and symmetry. Our techniques allow us to compute explicit formulas for the values of the limit roots in the case of barycentric subdivision.
SimplicialDecomposability: a package for Macaulay 2
Published in The Journal of Software for Algebra and Geometry {\bf 2} (2010), 20--23
• Search Publication
We introduce a new Macaulay 2 package, SimplicialDecomposability, which works in conjunction with the extant package SimplicialComplexes in order to compute a shelling order, if one exists, of a specified simplicial complex. Further, methods for determining vertex-decomposability are implemented, along with methods for determining k-decomposability.
Spheres arising from multicomplexes
Published
• View Publication
• BIB
In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex $Δ$ on the vertex set $V$ with $Δ\ne 2^V$, the deleted join of $Δ$ with its Alexander dual $Δ^\vee$ is a combinatorial sphere. In this paper, we extend Bier's construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that these spheres are related to polarizations and Alexander duality for monomial ideals which appear in commutative algebra theory.
Lower Bounds for Buchsbaum* Complexes
Published
• View Publication
• BIB
The class of $(d-1)$-dimensional Buchsbaum* simplicial complexes is studied. It is shown that the rank-selected subcomplexes of a (completely) balanced Buchsbaum* simplicial complex are also Buchsbaum*. Using this result, lower bounds on the $h$-numbers of balanced Buchsbaum* simplicial complexes are established. In addition, sharp lower bounds on the $h$-numbers of flag $m$-Buchsbaum* simplicial complexes are derived, and the case of equality is treated.
Bipartite $S_2$ graphs are Cohen-Macaulay
In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$.
Some degenerations of Kazhdan-Lusztig ideals and multiplicities of Schubert varieties
Published in Advances in Mathematics, Volume 229, Issue 1, 15 (2012), 633--667
• View Publication
• BIB
We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassmannian Schubert varieties, providing alternative statements and proofs to formulae of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], [Krattenthaler '01], [Kreiman-Lakshmibai '04] and [Woo-Yong '09]. We suggest extensions of our methodology to the general case.
Face rings of simplicial complexes with singularities
Published
• View Publication
• BIB
The face ring of a simplicial complex modulo m generic linear forms is shown to have finite local cohomology if and only if the link of every face of dimension m or more is `nonsingular', i.e., has the homology of a wedge of spheres of the expected dimension. This is derived from an enumerative result for local cohomology of face rings modulo generic linear forms, as compared with local cohomology of the face ring itself. The enumerative result is generalized in slightly weaker form to squarefree modules. A concept of `Cohen-Macaulay in codimension c' is defined and characterized for arbitrary finitely generated modules and coherent sheaves. For the face ring of an r-dimensional complex Delta, it is equivalent to nonsingularity of Delta in dimension r-c; for a coherent sheaf on projective space, this condition is shown to be equivalent to the same condition on any single generic hyperplane section. The characterization of nonsingularity in dimension m via finite local cohomology thus generalizes from face rings to arbitrary graded modules.
Erdos-Ko-Rado theorems for simplicial complexes
Published in J. Combin. Theory Ser. A 118 (2011), no. 4, 1218-1227
• View Publication
• BIB
A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simplicial complexes is the availability of algebraic shifting, a powerful shifting (compression) technique, which we use to verify a conjecture of Holroyd and Talbot in the case of sequentially Cohen-Macaulay near-cones.
A generalization of $k$-Cohen-Macaulay complexes
Published
• View Publication
• BIB
For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${\rm CM}_t(=$1-${\rm CM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${\rm CM}_t$ if and only if the links of its nonempty faces are $k$-${\rm CM}_{t-1}$. We prove that for an integer $s\le d$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${\rm CM}_t$ complex is $(k+s)$-${\rm CM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.
Stellar subdivisions and Stanley-Reisner rings of Gorenstein complexes
Published in Australas. J. Combin. 55 (2013), 235-247
• Search Publication
Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial complexes correspond to unprojections of type Kustin-Miller. As an application, we inductively calculate the minimal graded free resolutions of Stanley-Reisner rings associated to stacked polytopes, recovering results of Terai, Hibi, Herzog and Li Marzi.
On the structure of Stanley-Reisner rings associated to cyclic polytopes
Published in Osaka J. Math. 49-1 (2012), 81-100
• Search Publication
We study the structure of Stanley-Reisner rings associated to cyclic polytopes, using ideas from unprojection theory. Consider the boundary simplicial complex Delta(d,m) of the d-dimensional cyclic polytope with m vertices. We show how to express the Stanley-Reisner ring of Delta(d,m+1) in terms of the Stanley-Reisner rings of Delta(d,m) and Delta(d-2,m-1). As an application, we use the Kustin-Miller complex construction to identify the minimal graded free resolutions of these rings. In particular, we recover results of Schenzel, Terai and Hibi about their graded Betti numbers.
H-vectors of simplicial complexes with Serre's conditions
Published
• View Publication
• BIB
We study $h$-vectors of simplicial complexes which satisfy Serre's condition ($S_r$). We say that a simplicial complex $Δ$ satisfies Serre's condition ($S_r$) if $\tilde H_i(\lk_Δ(F);K)=0$ for all faces $F \in Δ$ and for all $i < \min \{r-1,\dim \lk_Δ(F)\}$, where $\lk_Δ(F)$ is the link of $Δ$ with respect to $F$ and where $\tilde H_i(Δ;K)$ is the reduced homology groups of $Δ$ over a field $K$. The main result of this paper is that if $Δ$ satisfies Serre's condition ($S_r$) then (i) $h_k(Δ)$ is non-negative for $k =0,1,...,r$ and (ii) $\sum_{k\geq r}h_k(Δ)$ is non-negative.
Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees
Published in Journal of Algebraic Combinatorics, Volume 37, Issue 4 (2013), Page 667-682
• View Publication
• BIB
There are two seemingly unrelated ideals associated with a simplicial complex Δ. One is the Stanley-Reisner ideal I_Δ, the monomial ideal generated by minimal non-faces of Δ, well-known in combinatorial commutative algebra. The other is the toric ideal I_{M(Δ)} of the facet subring of Δ, whose generators give a Markov basis for the hierarchical model defined by Δ, playing a prominent role in algebraic statistics.
In this note we show that the complexity of the generators of I_{M(Δ)} is determined by the Betti numbers of I_Δ. The unexpected connection between the syzygies of the Stanley-Reisner ideal and degrees of minimal generators of the toric ideal provide a framework for further exploration of the connection between the model and its many relatives in algebra and combinatorics.
Buchsbaum* complexes
Published
• View Publication
• BIB
A class of simplicial complexes, which we call Buchsbaum* over a field, is introduced. Buchsbaum* complexes generalize triangulations of orientable homology manifolds as well as doubly Cohen-Macaulay complexes. By definition, the Buchsbaum* property depends only on the geometric realization and the field. Characterizations in terms of simplicial and local cohomology are given. It is proved that Buchsbaum* complexes are doubly Buchsbaum. Enumerative and graph theoretic properties of Buchsbaum* complexes are investigated. It is shown that various constructions, among them one which generalizes convex ear decompositions, yield Buchsbaum* simplicial complexes.
Face numbers of generalized balanced Cohen-Macaulay complexes
Published
• View Publication
• BIB
A common generalization of two theorems on the face numbers of Cohen-Macaulay (CM, for short) simplicial complexes is established: the first is the theorem of Stanley (necessity) and Bjorner-Frankl-Stanley (sufficiency) that characterizes all possible face numbers of a-balanced CM complexes, while the second is the theorem of Novik (necessity) and Browder (sufficiency) that characterizes the face numbers of CM subcomplexes of the join of the boundaries of simplices.
Oriented Interval Greedoids
Published
• View Publication
• BIB
We propose a definition of an "oriented interval greedoid" that simultaneously generalizes the notion of an oriented matroid and the construction on antimatroids introduced by L. J. Billera, S. K. Hsiao, and J. S. Provan in "Enumeration in convex geometries and associated polytopal subdivisions of spheres" [Discrete Comput. Geom. 39 (2008), no. 1-3, 123--137]. As for of oriented matroids, associated to each oriented interval greedoid is a spherical simplicial complex whose face enumeration depends only on the underlying interval greedoid.
On $γ$-vectors satisfying the Kruskal-Katona inequalities
Published in Discrete Comput. Geom. 45 (2011), no. 3, 503--521
• View Publication
• BIB
We present examples of flag homology spheres whose $γ$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit simplicial complexes whose $f$-vectors are the $γ$-vectors in question. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+2$ vertices its $γ$-vector satisfies the Kruskal-Katona inequalities. We conjecture that if $Δ$ is a flag homology sphere then $γ(Δ)$ satisfies the Kruskal-Katona inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $γ$-vectors are nonnegative.
Non-representability of finite projective planes by convex sets
Published
• View Publication
• BIB
We prove that there is no d such that all finite projective planes can be represented by convex sets in R^d, answering a question of Alon, Kalai, Matousek, and Meshulam. Here, if P is a projective plane with lines l_1,...,l_n, a representation of P by convex sets in R^d is a collection of convex sets C_1,...,C_n in R^d such that C_{i_1},...,C_{i_k} have a common point if and only if the corresponding lines l_{i_1},...,l_{i_k} have a common point in P. The proof combines a positive-fraction selection lemma of Pach with a result of Alon on "expansion" of finite projective planes. As a corollary, we show that for every $d$ there are 2-collapsible simplicial complexes that are not d-representable, strengthening a result of Matousek and the author.
Möbius transform, moment-angle complexes and Halperin-Carlsson conjecture
Published in J. Algebraic Combin. 35 (2012), 121-140
• View Publication
• BIB
In this paper, we give an algebra-combinatorics formula of the Möbius transform for an abstract simplicial complex $K$ on $[m]=\{1, ..., m\}$ in terms of the Betti numbers of the Stanley-Reisner face ring of $K$. Furthermore, we employ a way of compressing $K$ to estimate the lower bound of the sum of those Betti numbers by using this formula. As an application, associating with the moment-angle complex $\mathcal{Z}_K$ (resp. real moment-angle complex ${\Bbb R}\mathcal{Z}_K$) of $K$, we show that the Halperin-Carlsson conjecture holds for $\mathcal{Z}_K$ (resp. ${\Bbb R}\mathcal{Z}_K$) under the restriction of the natural $T^m$-action on $\mathcal{Z}_K$ (resp. $({\Bbb Z}_2)^m$-action on ${\Bbb R}\mathcal{Z}_K$).