arXiv++ Combinatorics

We find identities involving differential operators in the generic artinian reduction of the Stanley-Reisner ring of a simplicial sphere in any positive characteristic. These identities generalize the characteristic 2 identities used by Papadakis and Petrotou to give a proof of the algebraic g-conjecture. We show that these identities are a shadow of an identity on the degree map, and we use them to prove the anisotropy of certain forms on the generic artinian reduction of the Stanley--Reisner ring and to prove weak Lefschetz results.

Our aim in this article is to compute the mixed volume of a matroid. We give two computations. The first one is based on the integration formula for complete fans given by Brion. The second computation is a step-by-step method using deletion of elements in the matroid as in Braden-Huh-Matherne-Proudfoot-Wang.

We study the anisotropy theorem for Stanley-Reisner rings of simplicial homology spheres in characteristic 2 by Papadakis and Petrotou. This theorem implies the Hard Lefschetz theorem as well as McMullen's g-conjecture for such spheres. Our first result is an explicit description of the quadratic form. We use this description to prove a conjecture stated by Papadakis and Petrotou. All anisotropy theorems for homology spheres and pseudo-manifolds in characteristic 2 follow from this conjecture. Using a specialization argument, we prove anisotropy for certain homology spheres over the field $\mathbb{Q}$. These results provide another self-contained proof of the g-conjecture for homology spheres in characteristic 2.

We prove the Weak Lefschetz theorem for simplicial PL-spheres. This result is weaker than the Hard Lefschetz theorem for more general spheres proved by Adiprasito (arXiv:1812.10454), but the proof here involves simple algebra and avoids the more complicated combinatorics.

We prove the Relative Hard Lefschetz theorem and the Relative Hodge-Riemann bilinear relations for combinatorial intersection cohomology sheaves on fans.

A well-known conjecture of McMullen, proved by Billera, Lee and Stanley, describes the face numbers of simple polytopes. The necessary and sufficient condition is that the toric g-vector of the polytope is an M-vector, that is, the vector of dimensions of graded pieces of a standard graded algebra A. Recent work by Murai, Nevo and Yanagawa suggests a similar condition for the coefficients of the cd-index of a poset P. The coefficients of the cd-index are conjectured to be the dimensions of graded pieces in a standard multigraded algebra A. We prove the conjecture for simplicial spheres and we give numerical evidence for general shellable spheres. In the simplicial case we construct the multi-graded algebra A explicitly using lattice paths.

We study the non-negativity conjecture of the complete cd-index of a Bruhat interval defined by Billera and Brenti. For each cd-monomial M we construct a set of paths, such that if a "flip condition" is satisfied, then the number of these paths is the coefficient of the monomial M in the complete cd-index. When the monomial contains at most one d, then the condition follows from Dyer's proof of Cellini's conjecture. Hence the coefficients of these monomials are non-negative. We also relate the flip condition to shelling of Bruhat intervals.

The Oda's Strong Factorization Conjecture states that a proper birational map between smooth toric varieties can be decomposed as a sequence of smooth toric blowups followed by a sequence of smooth toric blowdowns. This article describes an algorithm that conjecturally constructs such a decomposition. Several reductions and simplifications of the algorithm are presented and some special cases of the conjecture are proved.

We prove a decomposition theorem for the cd-index of a Gorenstein* poset analogous to the decomposition theorem for the intersection cohomology of a toric variety. From this we settle a conjecture of Stanley that the cd-index of Gorenstein* lattices is minimized on Boolean algebras.

We consider a formula of Stanley that expresses the Ehrhart generating polynomial of a polyhedral complex in terms of the h-polynomials of toric varieties. We prove that the coefficients in this expression are all non-negative and show that these coefficients can be found using the decomposition theorem in intersection cohomology.

The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan. To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology. In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-negativity of the cd-index for complete fans.

The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.

The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well defined even for nonrational polytopes when there is no variety associated to it. We prove the Hard Lefschetz theorem for the intersection cohomology of a general polytope.