Paradan's wall crossing formula for partition functions and Khovanski-Pukhlikov differential operator (Q1041265): Difference between revisions

Let \(A\) be an \(r\times N\) integer matrix, denote by \(\Phi\) the set of all its column vectors. For any \(a\in \mathbb Z^r\) denote the convex polytope \(P(\Phi,a):= \{y\in \mathbb R^N_{\geq 0}\mid Ay=a\}\). The function \(a \mapsto |P(\Phi,a)\cap \mathbb Z^N|\) is called a partition function. It turns out that there is a decomposition of \(\mathbb R^r\) in closed chambers such that the partition function is quasi-polynomial in each chamber. P.-E.~Paradan introduced a formula for the jump of the partition function for a couple of neighboring chambers. In the current paper the authors give an algebraic proof of this formula. Furthermore they give a residue formula for the jump which enables to compute it.