arXiv++ Combinatorics

Motivated by work of Gusein-Zade, Luengo, and Melle-Hernández, we study a specific generating series of arm and leg statistics on partitions, which is known to compute the Poincaré polynomials of Z_3-equivariant Hilbert schemes of points in the plane, where Z_3 acts diagonally. This generating series has a conjectural product formula, a proof of which has remained elusive over the last ten years. We introduce a new combinatorial correspondence between partitions of n and {1,2}-compositions of n, which behaves well with respect to the statistic in question. As an application, we use this correspondence to compute the highest Betti numbers of the Z_3 equivariant Hilbert schemes.

We construct a new class of maximal acyclic matchings on the Salvetti complex of a locally finite hyperplane arrangement. Using discrete Morse theory, we then obtain an explicit proof of the minimality of the complement. Our construction provides interesting insights also in the well-studied case of finite arrangements, and gives a nice geometric description of the Betti numbers of the complement. In particular, we solve a conjecture of Drton and Klivans on the characteristic polynomial of finite reflection arrangements. The minimal complex is compatible with restrictions, and this allows us to prove the isomorphism of Brieskorn's Lemma by a simple bijection of the critical cells. Finally, in the case of line arrangements, we describe the algebraic Morse complex which computes the homology with coefficients in an abelian local system.

We study a variation of Bagchi and Datta's $σ$-vector of a simplicial complex $C$, whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of $C$. We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of $C$. This interpretation implies, by a result of Adiprasito, that the Billera-Lee sphere maximizes these invariants among triangulated spheres with a given $f$-vector. For the first entry of $σ$, we extend this bound to the class of strongly connected pure complexes. As an application, we show how upper bounds on $σ$ can be used to obtain lower bounds on the $f$-vector of triangulated $4$-manifolds with transitive symmetry on vertices and prescribed vector of Betti numbers.

We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family.

Let $K$ be a finite simplicial complex. We prove that the normalized expected Betti numbers of a random subcomplex in its $d$-th barycentric subdivision $\text{Sd}^d (K)$ converge to universal limits as $d$ grows to $+ \infty$. In codimension one, we use canonical filtrations of $\text{Sd}^d (K)$ to upper estimate these limits and get a monotony theorem which makes it possible to improve these estimates given any packing of disjoint simplices in $\text{Sd}^d (K)$. We then introduce a notion of tiling of simplicial complexes having the property that skeletons and barycentric subdivisions of tileable simplicial complexes are tileable. This enables us to tackle the problem: How many disjoint simplices can be packed in $\text{Sd}^d (K)$, $d \gg 0$?

Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J).

We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the $t$-fold stretching operator. It is shown that $t$-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from $t$-spread principal Borel ideals.

A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.

We give a lower bound for the Castelnuovo-Mumford regularity of binomial edge ideals of block graphs by computing the two distinguished extremal Betti numbers of a new family of block graphs, called flower graphs. Moreover, we present a linear time algorithm to compute the Castelnuovo-Mumford regularity and Krull dimension of binomial edge ideals of block graphs.

We describe the typical homological properties of monomial ideals defined by random generating sets. We show that, under mild assumptions, random monomial ideals (RMI's) will almost always have resolutions of maximal length; that is, the projective dimension will almost always be $n$, where $n$ is the number of variables in the polynomial ring. We give a rigorous proof that Cohen-Macaulayness is a "rare" property. We characterize when an RMI is generic/strongly generic, and when it "is Scarf"---in other words, when the algebraic Scarf complex of $M\subset S=k[x_1,\ldots,x_n]$ gives a minimal free resolution of $S/M$. As a result we see that, outside of a very specific ratio of model parameters, RMI's are Scarf only when they are generic. We end with a discussion of the average magnitude of Betti numbers.

We compute one of the distinguished extremal Betti number of the binomial edge ideal of a block graph, and classify all block graphs admitting precisely one extremal Betti number.

We prove that the spectrum of the Kirchhoff Laplacian H0 of a finite simple Barycentric refined graph and the spectrum of the connection Laplacian L of G determine each other: we prove that L-L^(-1) is similar to the Hodge Laplacian H of G which is in one dimensions the direct sum of the Kirchhoff Laplacian H0 and its 1-form analog H1. The spectrum of a single choice of H0,H1 or H alone determines the Betti numbers b0,b1 of G as well as the spectrum of the other matrices. It follows that b0 is the number of eigenvalues 1 of L and that b1 is the number of eigenvalues -1 of L. For a general abstract finite simplicial complex G, we express the matrix entries g(x,y) = w(x) w(y) X( St(x) cap St(y) ) of the inverse of L using stars St(x)= { z in G | x subset of z } of x and w(x)=(-1)^dim(x) and Euler characteristic X. One can see W+(x)=St(x) and W-(x)={ z in G | z subset x } as stable and unstable manifolds of a simplex x in G and g(x,y) =w(x) w(y) X(W+(x) cap W+(y)) as heteroclinic intersection numbers or curvatures and the identity L g=1 as a collection of Gauss-Bonnet formulas. The homoclinic energy w(x)=X(W+(x) cap W-(x)) by definition adds up to X(G). The matrix M(x,y)=w(x) w(y) X(W-(x) cap W-(y)) is similar to L(x,y)=X(W-(x) cap W-(y)). The sum of the matrix entries of M is the definition of Wu characteristic. For dimension 2 and higher we don't know yet how to recover the Betti numbers from the eigenvalues of the matrix H or from L. So far, it can only be obtained from a collection of block matrices, via the Hodge relations b_k = dim(H_k). A natural conjecture is that for a Barycentric refinement of a complex G, the spectrum of L determines the Betti vector. We know this now in one dimensions.

We study the homological properties of random simplicial complexes. In particular, we obtain the asymptotic behavior of lifetime sums for a class of increasing random simplicial complexes; this result is a higher-dimensional counterpart of Frieze's $ζ(3)$-limit theorem for the Erdős-Rényi graph process. The main results include solutions to questions posed in an earlier study by Hiraoka and Shirai about the Linial-Meshulam complex process and the random clique complex process. One of the key elements of the arguments is a new upper bound on the Betti numbers of general simplicial complexes in terms of the number of small eigenvalues of Laplacians on links. This bound can be regarded as a quantitative version of the cohomology vanishing theorem.

For a graph $G$, a graph cubeahedron $\square_G$ and a graph associahedron $\triangle_G$ are simple convex polytopes which admit (real) toric manifolds. In this paper, we introduce a graph invariant, called the $b$-number, and we show that the $b$-numbers compute the Betti numbers of the real toric manifold $X^\mathbb{R}(\square_G)$ corresponding to a graph cubeahedron. The $b$-number is a counterpart of the notion of $a$-number, introduced by S. Choi and the second named author, which computes the Betti numbers of the real toric manifold $X^\mathbb{R}(\triangle_G)$ corresponding to a graph associahedron. We also study various relationships between $a$-numbers and $b$-numbers from a toric topological view. Interestingly, for a forest $G$ and its line graph $L(G)$, the real toric manifolds $X^\mathbb{R}(\triangle_G)$ and $X^\mathbb{R}(\square_{L(G)})$ have the same Betti numbers.

This paper examines the one-to-one-to-one correspondence between threshold graphs, Betti numbers of quotients of polynomial rings by $2$-linear ideals, and anti-lecture hall compositions. In particular, we establish new explicit combinatorial mappings between each of these classes of objects and calculate the expected values of the Betti numbers and anti-lecture hall composition corresponding to a random threshold graph.

For each graph on two vertices, and each divisor on the graph in the sense of Baker-Norine, we describe a sheaf of vector spaces on a finite category whose zeroth Betti number is the Baker-Norine "Graph Riemann-Roch" rank of the divisor plus one. We prove duality theorems that generalize the Baker-Norine "Graph Riemann-Roch" Theorem.

Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus are given in terms of Betti numbers and used to determine the trisection genus of all standard simply connected PL 4-manifolds. In addition, we construct trisections of small genus directly from the simplicial structure of triangulations using the Budney-Burton census of closed triangulated 4-manifolds. These experiments include the construction of minimal genus trisections of the non-orientable 4-manifolds $S^3 \tilde{\times} S^1$ and $\mathbb{R}P^4$.

Binomial-Eulerian polynomials were introduced by Postnikov, Reiner and Williams. In this paper, properties of the binomial-Eulerian polynomials, including recurrence relations and generating functions are studied. We present three constructive proofs of the recurrence relations for binomial-Eulerian polynomials. Moreover, we give a combinatorial interpretation of the Betti number of the complement of the k-equal real hyperplane arrangement.

In this work, we study the Betti numbers of pinched Veronese rings, by means of the reduced homology of squarefree divisor complexes. We characterize when these rings are Cohen-Macaulay and we the study the shape of the Betti tables for the pinched Veronese in the two variables. As a byproduct we obtain information on the linearity of such rings. Moreover, in the last section we compute the canonical modules of the Veronese modules.

The $b$-vector $(b_1,b_2\ldots,b_d)$ of a graph $G$ is defined in terms of its clique vector $(c_1,c_2\ldots,c_d)$ by the equation $\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$ where $d$ is the largest cardinality of a clique in $G$. We study the relation of the $b$-vector of a chordal graph $G$ with some structural properties of $G$. In particular, we show that the $b$-vector encodes different aspects of the connectivity and clique dominance of $G$. Furthermore, we relate the $b$-vector with the Betti numbers of the Stanley-Reisner ring associated to clique simplicial complex of $G$.