arXiv++ Combinatorics

For a simplicial complex K on m vertices and simplicial complexes K1,...,Km a composed simplicial complex K(K1,...,Km) is introduced. This construction generalizes an iterated simplicial wedge construction studied by A. Bahri, M. Bendersky, F. R. Cohen and S. Gitler and allows to describe the combinatorics of generalized joins of polytopes P(P1,...,Pm) defined by G. Agnarsson. The composition defines a structure of an operad on a set of finite simplicial complexes. We prove the following: (1) a composed complex K(K1,...,Km) is a simplicial sphere iff K is a simplicial sphere and Ki are the boundaries of simplices; (2) a class of spherical nerve-complexes is closed under the operation of composition (3) finally, we express multigraded Betti numbers of K(K1,...,Km) in terms of multigraded Betti numbers of K, K1,...,Km using a composition of generating functions.

We prove sharper versions of theorems of Linial-Meshulam and Meshulam-Wallach which describe the behavior for (Z/2)-cohomology of a random k-dimensional simplicial complex within a narrow transition window. In particular, we show that within this window the (k-1)st Betti number is in the limit Poisson distributed. For k=2 we also prove that in an accompanying growth process, with high probability, first cohomology vanishes exactly at the moment when the last isolated (k-1)-simplex gets covered by a k-simplex.

Expander graphs in general, and Ramanujan graphs in particular, have been of great interest in the last three decades with many applications in computer science, combinatorics and even pure mathematics. In these notes we describe various efforts made in recent years to generalize these notions from graphs to higher dimensional simplicial complexes.

We give a bound for the Betti numbers of the Stanley-Reisner ring of a stellar subdivision of a Gorenstein* simplicial complex by applying unprojection theory. From this we derive a bound for the Betti numbers of iterated stellar subdivisions of the boundary complex of a simplex. The bound depends only on the number of subdivisions, and we construct examples which prove that it is sharp.

In this paper we study the Buchstaber invariant of simplicial complexes, which comes from toric topology. With each simplicial complex $K$ on $m$ vertices we can associate a moment-angle complex $\mathcal Z_K$ with a canonical action of the compact torus $T^m$. Then $s(K)$ is the maximal dimension of a toric subgroup that acts freely on $\mathcal Z_K$. We develop the Buchstaber invariant theory from the viewpoint of the set of minimal non-simplices of $K$. It is easy to show that $s(K)=1$ if and only if any two and any three minimal non-simplices intersect. For $K=\partial P^*$, where $P$ is a simple polytope, this implies that $P$ is a simplex. The case $s(P)=2$ is such more complicated. For example, for any $k\geqslant 2$ there exists an $n$-polytope with $n+k$ facets such that $s(P)=2$. Our main result is the criterion for the Buchstaber invariant of a simplicial complex $K$ to be equal to two.

We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes.

For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres.

We say that a binary linear code C has a geometric representation if there exists a two dimensional simplicial complex D such that C is a punctured code of the kernel ker D of the incidence matrix of D and dim C = dim ker D. We show that every binary linear code has a geometric representation that can be embedded into R^4. Moreover, we show that a binary linear code C has a geometric representation in R^3 if and only if there exists a graph G such that C equals the cut space of G. This is a polynomially testable property and hence we can conclude that there is a polynomial algorithm that decides the minimal dimension of a geometric representation of a binary linear code.

The problem of Maxflow is a widely developed subject in modern mathematics. Efficient algorithms exist to solve this problem, that is why a good generalization may permit these algorithms to be understood as a particular instance of solutions in a wider class of problems. In the last section we suggest a generalization in the context of simplicial complexes, that reduces to the problem of Maxflow in graphs, when we consider a graph as a simplicial complex of dimension 1.

We consider s-chromatic polynomials of simplicial complexes, higher dimensional analogues of chromatic polynomials for graphs.

In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-dimensional cycles which are orientable give rise to non-zero simplicical homology over any field.

Random walks on a graph reflect many of its topological and spectral properties, such as connectedness, bipartiteness and spectral gap magnitude. In the first part of this paper we define a stochastic process on simplicial complexes of arbitrary dimension, which reflects in an analogue way the existence of higher dimensional homology, and the magnitude of the high-dimensional spectral gap originating in the works of Eckmann and Garland. The second part of the paper is devoted to infinite complexes. We present a generalization of Kesten's result on the spectrum of regular trees, and of the connection between return probabilities and spectral radius. We study the analogue of the Alon-Boppana theorem on spectral gaps, and exhibit a counterexample for its high-dimensional counterpart. We show, however, that under some assumptions the theorem does hold - for example, if the codimension-one skeletons of the complexes in question form a family of expanders. Our study suggests natural generalizations of many concepts from graph theory, such as amenability, recurrence/transience, and bipartiteness. We present some observations regarding these ideas, and several open questions.

The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable problem, and its structure very irregular and complicated. The purpose of this note, where we combine a few different algebraic and combinatorial techniques, is to lend some further evidence to this fact. We first show that pure (in fact, Cohen-Macaulay) f-vectors can be nonunimodal with arbitrarily many peaks, thus improving the corresponding results known for level Hilbert functions and pure O-sequences. We provide both an algebraic and a combinatorial argument for this result. Then, answering negatively a question of the second author and collaborators posed in the recent AMS Memoir on pure O-sequences, we show that the Interval Property fails for the set of pure f-vectors, even in dimension 2.

A fundamental question for simplicial complexes is to find the lowest dimensional Euclidean space in which they can be embedded. We investigate this question for order complexes of posets. We show that order complexes of thick geometric lattices as well as several classes of finite buildings, all of which are order complexes, are hard to embed. That means that such d-dimensional complexes require (2d + 1)-dimensional Euclidean space for an embedding. (This dimension is in general always sufficient for any d-complex.) We develop a method to show non-embeddability for general order complexes of posets which builds on properties of the van Kampen obstruction.

There has been considerable recent interest, primarily motivated by problems in applied algebraic topology, in the homology of random simplicial complexes. We consider the scenario in which the vertices of the simplices are the points of a random point process in $\mathbb {R}^d$, and the edges and faces are determined according to some deterministic rule, typically leading to Čech and Vietoris-Rips complexes. In particular, we obtain results about homology, as measured via the growth of Betti numbers, when the vertices are the points of a general stationary point process. This significantly extends earlier results in which the points were either i.i.d. observations or the points of a Poisson process. In dealing with general point processes, in which the points exhibit dependence such as attraction or repulsion, we find phenomena quantitatively different from those observed in the i.i.d. and Poisson cases. From the point of view of topological data analysis, our results seriously impact considerations of model (non)robustness for statistical inference. Our proofs rely on analysis of subgraph and component counts of stationary point processes, which are of independent interest in stochastic geometry.

The emergence of Boij-Söderberg theory has given rise to new connections between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro recently showed that every Betti diagram of an ideal with a k-linear minimal resolution arises from that of the Stanley-Reisner ideal of a simplicial complex. In this paper, we extend their result for the special case of 2-linear resolutions using purely combinatorial methods. Specifically, we show bijective correspondences between Betti diagrams of ideals with 2-linear resolutions, threshold graphs, and anti-lecture hall compositions. Moreover, we prove that any Betti diagram of a module with a 2-linear resolution is realized by a direct sum of Stanley-Reisner rings associated to threshold graphs. Our key observation is that these objects are the lattice points in a normal reflexive lattice polytope.

Inspired by the work of Izakhian and Rhodes, a theory of representation of hereditary collections by boolean matrices is developed. This corresponds to representation by finite $\vee$-generated lattices. The lattice of flats, defined for hereditary collections, lattices and matrices, plays a central role in the theory. The representations constitute a lattice and the minimal and strictly join irreducible elements are studied, as well as various closure operators.

We define the Coxeter cochain complex of a Coxeter group (G,S) with coefficients in a Z[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.

Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon can be regarded as a higher order analogue of the metric distortion of embeddings of random graphs.

Let k be an algebraically closed field of characteristic p>2. By a result of Kumar and Thomsen, the standard Frobenius splitting of the affine plane induces a Frobenius splitting of the Hilbert scheme of n points in the plane. In this thesis, we investigate the question, "what is the stratification of the Hilbert scheme of points in the plane by all compatibly Frobenius split subvarieties?" We provide the answer to this question when n is at most 4 and we give a conjectural answer when n=5. We prove that this conjectural answer is correct up to the possible inclusion of one particular one-dimensional subvariety of the Hilbert scheme of 5 points, and we show that this particular one-dimensional subvariety is not compatibly split for at least those primes p between 3 and 23. Next, we restrict the splitting of the Hilbert scheme of n points in the plane (now for arbitrary n) to the affine open patch U_<x,y^n> and describe all compatibly split subvarieties of this patch and their defining ideals. We find degenerations of these subvarieties to Stanley-Reisner schemes, explicitly describe the associated simplicial complexes, and use these complexes to prove that certain compatibly split subvarieties of U_<x,y^n> are Cohen-Macaulay.