arXiv++ Combinatorics

Recently Brosnan and Chow have proven a conjecture of Shareshian and Wachs describing a representation of the symmetric group on the cohomology of regular semisimple Hessenberg varieties for $GL_n(\mathbb{C})$. A key component of their argument is that the Betti numbers of regular Hessenberg varieties for $GL_n(\mathbb{C})$ are palindromic. In this paper, we extend this result to all reductive algebraic groups, proving that the Betti numbers of regular Hessenberg varieties are palindromic.

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations given by a character polynomial, we compute $H^i(Y_n; W_n)$ for all $i$ and all $n$ in terms of double generating functions. One consequence of the computation is a new recurrence phenomenon: the stable twisted Betti numbers $\lim_{n\to\infty}\dim H^i(Y_n; W_n)$ are linearly recurrent in $i$. Our method is to compute twisted point-counts on the $F_q$-points of certain algebraic varieties, and then pass through the Grothendieck-Lefschetz fixed point formula to prove results in topology. We also generalize a result of Church-Ellenberg-Farb about the configuration spaces of the affine line to those of a general smooth variety.

Let $S$ be a polynomial ring in $n$ variables over a field $K$ of characteristic $0$. A numerical characterization of all possible extremal Betti numbers of any graded submodule of a finitely generated graded free $S$-module is given.

Chordal clutters in the sense of [14] and [3] are defined via simplicial orders. Their circuit ideal has a linear resolution, independent of the characteristic of the base field. We show that any Betti sequence of an ideal with linear resolution appears as the Betti sequence of the circuit ideal of such a chordal clutter. Associated with any simplicial order is a sequence of integers which we call the $λ$-sequence of the chordal clutter. All possible $λ$-sequences are characterized. They are intimately related to the Hilbert function of a suitable standard graded $K$-algebra attached to the chordal clutter. By the $λ$-sequence of a chordal clutter we determine other numerical invariants of the circuit ideal, such as the $\textbf{h}$-vector and the Betti numbers.

We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H. In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number over n-vertex graphs with no induced copy of H has a limit, as n tends to infinity, and, ranging over all H, exactly five different limits are attained. For the interesting case where H is the 4-cycle, the above limit is 1, and we prove a slightly superpolynomial upper bound.

We present measure theoretic rigidity for graphs of first Betti number b>1 in terms of measures on the boundary of a 2b-regular tree, that we make explicit in terms of the edge-adjacency and closed-walk structure of the graph. We prove that edge-reconstruction of the entire graph is equivalent to that of the "closed walk lengths".

We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is shellable for all $n$. Then, using the fact that a shellable simplicial complex is homotopy equivalent to a wedge of spheres, we compute the Betti numbers of $Δ(n)$ by counting (via a generating function) the number of facets of $Δ(n)$ of each dimension that attach along their entire boundary in the shelling order. In other words, Dixon's identity is re-established by using the Euler-Poincaré relation.

We apply the methods of algebraic reliability to the study of percolation on trees. To a complete $k$-ary tree $T_{k,n}$ of depth $n$ we assign a monomial ideal $I_{k,n}$ on $\sum_{i=1}^n k^i$ variables and $k^n$ minimal monomial generators. We give explicit recursive formulae for the Betti numbers of $I_{k,n}$ and their Hilbert series, which allow us to study explicitly percolation on $T_{k,n}$. We study bounds on this percolation and study its asymptotical behavior with the mentioned commutative algebra techniques.

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

Let $X$ be an $(m\times n)$-matrix of indeterminates, and let $J$ be the ideal generated by a set $\mathcal{S}$ of maximal minors of $X$. We construct the linear strand of the resolution of $J$. This linear strand is determined by the clique complex of the $m$-clutter corresponding to the set $\mathcal{S}$. As a consequence one obtains explicit formulas for the graded Betti numbers $β_{i,i+m}(J)$ for all $i\geq 0$. We also determine all sets $\mathcal{S}$ for which $J$ has a linear resolution.

A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableau. Inverted Young tableau that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.

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.