arXiv++ Combinatorics

We demonstrate that the topological Helly theorem and the algebraic Auslander-Buchsbaum may be viewed as different versions of the same phenomenon. Using this correspondence we show how the colorful Helly theorem of I.Barany and its generalizations by G.Kalai and R.Meshulam translates to the algebraic side. Our main results are algebraic generalizations of these translations, which in particular gives a syzygetic version of Hellys theorem.

For a multidegree t in N^n, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the Auslander-Reiten translate, Na_t, on the (derived) category of such modules. A monomial ideal I is positively t-determined if every generator x^a has a \leq t. We compute the multigraded cohomology- and betti spaces of Na_t^k(S/I) for every iterate k, and also the S-module structure of these cohomology modules. This comprehensively generalizes results of Hochster and Gräbe on local cohomology of Stanley-Reisner rings.

We investigate monomial labellings on cell complexes, giving a minimal cellular resolution of the ideal generated by these monomials, and such that the associated quotient ring is Cohen-Macaulay. We introduce a notion of such a labelling being maximal. There is only a finite number of maximal labellings for each cell complex, and we classify these for trees, partly for subdivisions of polygons, and for some classes of selfdual polytopes.

We show that a finite regular cell complex with the intersection property is a Cohen-Macaulay space iff the top enriched cohomology module is the only nonvanishing one. We prove a comprehensive generalization of Balinski's theorem on convex polytopes. Also we show that for any Cohen-Macaulay cell complex as above, although there is no generalization of the Stanley-Reisner ring of simplicial complexes, there is a generalization of its canonical module.

For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c,d,n) and cyclic polytopes of even dimension.

Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual D* is Cohen-Macaulay there is only one such non-zero cohomology sheaf. We investigate when this sheaf can be an a'th syzygy sheaf in a locally free resolution and show that this corresponds exactly to the case of D* being a+1-Cohen-Macaulay as defined by K.Baclawski. By putting further conditions on the sheaves we get nice subclasses of a+1- Cohen-Macaulay simplicial complexes whose f-vector depends only on a and the invariants n,d, and c. When a=0 these are the bi-Cohen-Macaulay simplicial complexes, when a=1 and d=2c cyclic polytopes are examples, and when a=c we get Alexander duals of the Steiner systems S(c,d,n). We also show that D* is Gorenstein* iff the associated coherent sheaf of D is an ideal sheaf.

Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We then determine when both Delta and Delta^* are Cohen-Macaulay. This corresponds to F being a locally Cohen-Macaulay sheaf. Lastly we conjecture for which range of invariants of such Delta it must be a cone.