arXiv++ Combinatorics

The socle of a graded Buchsbaum module is studied and is related to its local cohomology modules. This algebraic result is then applied to face enumeration of Buchsbaum simplicial complexes and posets. In particular, new necessary conditions on face numbers and Betti numbers of such complexes and posets are established. These conditions are used to settle in the affirmative Kühnel's conjecture for the maximum value of the Euler characteristic of a $2k$-dimensional simplicial manifold on $n$ vertices as well as Kalai's conjecture providing a lower bound on the number of edges of a simplicial manifold in terms of its dimension, number of vertices, and the first Betti number.

We define a centrally symmetric analogue of the cyclic polytope and study its facial structure. We conjecture that our polytopes provide asymptotically the largest number of faces in all dimensions among all centrally symmetric polytopes with n vertices of a given even dimension d=2k when d is fixed and n grows. For a fixed even dimension d=2k and an integer 0< j <k we prove that the maximum possible number of j-dimensional faces of a centrally symmetric d-dimensional polytope with n vertices is at least (c_j(d)+o(1)) {n \choose j+1} for some c_j(d)>0 and at most (1-2^{-d}+o(1)){n \choose j+1} as n grows. We show that c_1(d) \geq (d-2)/(d-1).

The multiplicity conjecture of Herzog, Huneke, and Srinivasan is verified for the face rings of the following classes of simplicial complexes: matroid complexes, complexes of dimension one and two, and Gorenstein complexes of dimension at most four. The lower bound part of this conjecture is also established for the face rings of all doubly Cohen-Macaulay complexes whose 1-skeleton's connectivity does not exceed the codimension plus one as well as for all (d-1)-dimensional d-Cohen-Macaulay complexes. The main ingredient of the proofs is a new interpretation of the minimal shifts in the resolution of the face ring via the Cohen-Macaulay connectivity of the skeletons of the complex.

A short new proof of the fact that all shifted complexes are fixed by reverse lexicographic shifting is given. A notion of lexicographic shifting, $Δ_{\lex}$ -- an operation that transforms a monomial ideal of $S=\field[x_i: i\in\N]$ that is finitely generated in each degree into a squarefree strongly stable ideal -- is defined and studied. It is proved that (in contrast to the reverse lexicographic case) a squarefree strongly stable ideal $I\subset S$ is fixed by lexicographic shifting if and only if $I$ is a universal squarefree lexsegment ideal (abbreviated USLI) of $S$. Moreover, in the case when $I$ is finitely generated and is not a USLI, it is verified that all the ideals in the sequence $\{Δ_{\lex}^i(I)\}_{i=0}^{\infty}$ are distinct. The limit ideal $\barΔ(I)=\lim_{i\to\infty}Δ_{\lex}^i(I)$ is well defined and is a USLI that depends only on a certain analog of the Hilbert function of $I$.

We show that there exist k-neighborly centrally symmetric d-dimensional polytopes with 2(n+d) vertices, where k(d,n)=Theta(d/(1+log ((d+n)/d))). We also show that this bound is tight.

We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_Γ$, the Stanley-Reisner ideal of a simplicial complex $Γ$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $Γ$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_Γ$ the extremal Betti numbers of $I_Γ$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $Γ$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.

We verify the Upper Bound Conjecture (UBC) for a class of odd-dimensional simplicial complexes that in particular includes all Eulerian simplicial complexes with isolated singularities. The proof relies on a new invariant of simplicial complexes -- a short simplicial h-vector.