arXiv++ Combinatorics

In his work on log-concavity of multiplicities, Okounkov showed in passing that one could associate a convex body to a linear series on a projective variety, and then use convex geometry to study such linear systems. Although Okounkov was essentially working in the classical setting of ample line bundles, it turns out that the construction goes through for an arbitrary big divisor. Moreover, this viewpoint renders transparent many basic facts about asymptotic invariants of linear series, and opens the door to a number of extensions. The purpose of this paper is to initiate a systematic development of the theory, and to give a number of applications and examples.

We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.

For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the form R/(X_{j_1},...,X_{j_i}) suitably shifted, the multiplicities being computed from the Betti numbers of B'. As a final application, we give a topological description for the associated primes of Ext^i(R/B,R).