arXiv++ Combinatorics

The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.

In a previous article, we proved tight lower bounds for the coefficients of the generalized $h$-vector of a centrally symmetric rational polytope using intersection cohomology of the associated projective toric variety. Here we present a new proof based on the theory of combinatorial intersection cohomology developed by Barthel, Brasselet, Fieseler and Kaup. This theory is also valid for nonrational polytopes when there are no corresponding toric varieties. So we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational.

A survey of three recent developments in algebraic combinatorics: (1) the Laurent phenomenon, (2) Gromov-Witten invariants and toric Schur functions, and (3) toric h-vectors and intersection cohomology. This paper is a continuation of "Recent progress in algebraic combinatorics" (math.CO/0010218), which dealt with three other topics.

We give a lower bound for the value at q=1 of a Kazhdan-Lustig polynomial in a Weyl group W in terms of "patterns''. This is expressed by a "pattern map" from W to W' for any parabloic subgroup W'. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is a "hyperbolic localization" on intersection cohomology; see the related paper http://front.math.ucdavis.edu/math.AG/0202251

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.

We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These sheaves are models for the "pure" objects of a "perverse category"; a "Decomposition Theorem" is shown to hold. -- Formalizing those fans that define "equivariantly formal" toric varieties (where equivariant and non-equivariant intersection cohomology determine each other by Kunneth type formulae), we study "quasi-convex" fans (including fans with convex or with "co-convex" support). For these, there is a meaningful "virtual intersection cohomology". We characterize quasi-convex fans by a topological condition on the support of their boundary fan and prove a generalization of Stanley's "Local-Global" formula realizing the intersection Poincare polynomial of a complete toric variety in terms of local data. Virtual intersection cohomology of quasi-convex fans is shown to satify Poincare duality. To describe the local data in terms of virtual intersection cohomology of lower-dimensional complete polytopal fans, one needs a "Hard Lefschetz" type theorem. It requires a vanishing condition that is known to hold for rational cones, but yet remains to be proven in the general case.

Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an object which corresponds to the equivariant intersection cohomology complex. Our first main result is the ``elementary'' decomposition theorem for the direct image under subdivision of fans We also develop the Borel-Moore- Verdier duality in the derived category of sheaves on the fan.

We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the "toric" topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that "fan space". We prove that this sheaf is a "minimal extension sheaf", i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second of these axioms, a key role is played by "equivariantly formal" toric varieties, where equivariant and "usual" (non-equivariant) intersection cohomology determine each other by Kunneth type formulae. Minimal extension sheaves can be constructed in a purely formal way and thus also exist for non-rational fans. As a consequence, we can extend the notion of an equivariantly formal fan even to this general setup. In this way, it will be possible to introduce "virtual" intersection cohomology for equivariantly formal non-rational fans.