arXiv++ Combinatorics

We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.

We prove new bounds on the Betti numbers of real varieties and semi-algebraic sets that have a more refined dependence on the degrees of the polynomials defining them than results known before. Our method also unifies several different types of results under a single framework, such as bounds depending on the total degrees, on multi-degrees, as well as in the case of quadratic and partially quadratic polynomials. The bounds we present in the case of partially quadratic polynomials offer a significant improvement over what was previously known. Finally, we extend a result of Barone and Basu on bounding the number of connected components of real varieties defined by two polynomials of differing degrees to the sum of all Betti numbers, thus making progress on an open problem posed in that paper.

In this paper we find some exponential formulas for the Betti numbers of the De Concini-Procesi minimal wonderful models Y_{G(r,p,n)} associated to the complex reflection groups G(r,p,n). Our formulas are different from the ones already known in the literature: they are obtained by a new combinatorial encoding of the elements of a basis of the cohomology by means of set partitions with weights and exponents. We also point out that a similar combinatorial encoding can be used to describe the faces of the real spherical wonderful models of type A_{n-1}=G(1,1,n), B_n=G(2,1,n) and D_n=G(2,2,n). This provides exponential formulas for the f-vectors of the associated nestohedra: the Stasheff's associahedra (in this case closed formulas are well known) and the graph associahedra of type D_n.

We determine the minimum number of vertices needed to provide balanced triangulations of $\mathbb S^{d-2}$-bundles over $\mathbb S^1$. If $d$ is odd and the bundle is orientable, or $d$ is even and the bundle is non-orientable, the minimum number of vertices is $3d$; otherwise, it is $3d+2$. Similar results apply to all balanced simplicial complexes that triangulate homology manifolds with $β_1\neq 0$ and $β_2=0$, where $β_i$'s are the Betti numbers, computed with coefficients in $\mathbb Q$.

We give a bijective proof that the Betti numbers of a minimal free resolution of the Stanley-Reisner ring of a cycle graph (viewed as a one-dimensional simplicial complex) are given by the number of standard Young tableaux of a given shape.

The deviations of a graded algebra are a sequence of integers that determine the Poincare series of its residue field and arise as the number of generators of certain DG algebras. In a sense, deviations measure how far a ring is from being a complete intersection. In this paper we study extremal deviations among those of algebras with a fixed Hilbert series. In this setting, we prove that, like the Betti numbers, deviations do not decrease when passing to an initial ideal and are maximized by the Lex-segment ideal. We also prove that deviations grow exponentially for Golod rings and for certain quadratic monomial algebras.

We show that J_n, the Stanley-Reisner ideal of the n-cycle, has a free resolution supported on the (n-3)-dimensional simplicial associahedron A_n. This resolution is not minimal for n > 5; in this case the Betti numbers of J_n are strictly smaller than the f-vector of A_n. We show that in fact the Betti numbers of J_n are in bijection with the number of standard Young tableaux of shape (d+1, 2, 1^{n-d-3}). This complements the fact that the number of (d-1)-dimensional faces of A_n are given by the number of standard Young tableaux of (super)shape (d+1, d+1, 1^{n-d-3}); a bijective proof of this result was first provided by Stanley. An application of discrete Morse theory yields a cellular resolution of J_n that we show is minimal at the first syzygy. We furthermore exhibit a simple involution on the set of associahedron tableaux with fixed points given by the Betti tableaux, suggesting a Morse matching and in particular a poset structure on these objects.

A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring $R/I_Λ$ and the inverse system algebra $R/I_Δ$. We give a careful study of both of these algebras. Our main results are a full description of the graded Betti numbers of both algebras in the more general setting of linear spaces (giving the result for the projective planes as a special case), and a classification of the characteristics in which the inverse system algebra associated to a finite projective plane has the Weak or Strong Lefschetz Property.

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the above mentioned cohomology modules. We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov and Zell.

We demonstrate that the Betti numbers associated to an N-graded minimal free resolution of the Stanley-Reisner ring of the (d-1)-skeleton of a simplicial complex of dimension d can be expressed as a Z-linear combination of the corresponding Betti numbers of the complex itself. An immediate implication of our main result is that the projective dimension of the Stanley-Reisner ring of the (d-1)-skeleton is at most one greater than the projective dimension of the Stanley-Reisner ring of the original complex, and it thus provides a new and direct proof of this. Our result extends immediately to matroids and their truncations. A similar result for matroid elongations can not be hoped for, but we do obtain a weaker result for these.

A numerical characterization is given of the so-called h-triangles of sequentially Cohen-Macaulay simplicial complexes. This result characterizes the number of faces of various dimensions and codimensions in such a complex, generalizing the classical Macaulay-Stanley theorem to the nonpure case. Moreover, we characterize the possible Betti tables of componentwise linear ideals. A key tool in our investigation is a bijection between shifted multicomplexes of degree at most d and shifted pure (d-1)-dimensional simplicial complexes.

We consider the orbit type filtration on a manifold $X$ with locally standard action of a compact torus and the corresponding homological spectral sequence $(E_X)^r_{*,*}$. If all proper faces of the orbit space $Q=X/T$ are acyclic, and the free part of the action is trivial, this spectral sequence can be described in full. The ranks of diagonal terms are equal to the $h'$-numbers of the Buchsbaum simplicial poset $S_Q$ dual to $Q$. Betti numbers of $X$ depend only on the orbit space $Q$ but not on the characteristic function. If $X$ is a slightly different object, namely the model space $X=(P\times T^n)/\sim$ where $P$ is a cone over Buchsbaum simplicial poset $S$, we prove that $\dim (E_X)^{\infty}_{p,p} = h''_p(S)$. This gives a topological evidence for the fact that $h''$-numbers of Buchsbaum simplicial posets are nonnegative.

We correct the proofs of the main theorems in our paper "Limit theorems for Betti numbers of random simplicial complexes".

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

A tableau inversion is a pair of entries in row-standard tableau $T$ that lie in the same column of $T$ yet lack the appropriate relative ordering to make $T$ column-standard. An $i$-inverted Young tableau is a row-standard tableau along with a precisely $i$ inversion pairs. Tableau inversions were originally introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, with the number of $i$-inverted tableaux that standardize to a fixed standard Young tableau corresponding to a specific Betti number of the associated fiber. In this paper we approach the topic of tableau inversions from a completely combinatorial perspective. We develop formulas enumerating the number of $i$-inverted Young tableaux for a variety of tableaux shapes, not restricting ourselves to inverted tableaux that standardize a specific standard Young tableau, and construct bijections between $i$-inverted Young tableaux of a certain shape with $j$-inverted Young tableaux of different shapes. Finally, we share some the results of a computer program developed to calculate tableaux inversions.

It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation of a closed 3-manifold is tight with respect to a field of odd characteristic if and only if it is neighbourly, orientable and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension three for fields of odd characteristic. Next let $\mathbb{F}$ be a field of characteristic two. It is known that, in this case, any neighbourly and stacked triangulation of a closed 3-manifold is $\mathbb{F}$-tight. For triangulated closed 3-manifolds with at most 71 vertices or with first Betti number at most 188, we show that the converse is true. But the possibility of an $\mathbb{F}$-tight non-stacked triangulation on a larger number of vertices remains open. We prove the following upper bound theorem on such triangulations. If an $\mathbb{F}$-tight triangulation of a closed 3-manifold has $n$ vertices and first Betti number $β_1$, then $(n-4)(617n- 3861) \leq 15444β_1$. Equality holds here if and only if all the vertex links of the triangulation are connected sums of boundary complexes of icosahedra.

Inspired by recent results of Ein, Lazarsfeld, Erman and Zhou on the non-vanishing of Betti numbers of high Veronese subrings, we describe the behaviour of the Betti numbers of Stanley-Reisner rings associated with iterated barycentric or edgewise subdivisions of a given simplicial complex. Our results show that for a simplicial complex $Δ$ of dimension $d-1$ and for $1\leq j\leq d-1$ the number of $0$'s the j-th linear strand of the minimal free resolution of the r-th barycentric or edgewise subdivision is bounded above only in terms of $d$ and $j$ (and independently of $r$).

We determine (multi)graded Betti numbers of path ideals of lines and star graphs.

A monomial ideal $I$ admits a Betti splitting $I=J+K$ if the Betti numbers of $I$ can be determined in terms of the Betti numbers of the ideals $J,K$ and $J \cap K$. Given a monomial ideal $I$, we prove that $I=J+K$ is a Betti splitting of $I$, provided $J$ and $K$ are componentwise linear, generalizing a result of Francisco, Hà and Van Tuyl. If $I$ has a linear resolution, the converse also holds. We apply this result recursively to the Alexander dual of vertex-decomposable, shellable and constructible simplicial complexes and to determine the graded Betti numbers of the defining ideal of three general fat points in the projective space.

We describe here two simple polytopes that have different Betti numbers and whose moment-angle manifolds are diffeomorphic.