Title:Configurations in abelian categories. II. Combinatorial identities

Abstract: This is the second paper in a series studying "configurations" in an abelian category A, such as the category of coherent sheaves on a complex projective variety. Given a finite partially ordered set (poset) (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a collection of objects \sigma(J) and morphisms \iota(J,K) or \pi(J,K) : \sigma(J) --> \sigma(K) satisfying some axioms, where J,K are subsets of I.
Configurations are a tool for describing how an object X in A decomposes into subobjects, and are especially useful for studying stability conditions on A. In particular, given a slope function Z on A, we can use configurations to study how the moduli spaces of Z-stable or Z-semistable objects depend upon Z, and wall-crossing phenomena.
We study moduli spaces of configurations in A, and natural maps between them. In good cases these moduli spaces may be complex quasi-projective varieties, the natural maps may be morphisms, and for a slope function Z the subspaces of Z-stable or Z-semistable configurations may be constructible subsets.
The first paper math.AG/0312190 defined configurations and developed their basic properties. This paper derives many identities between the characteristic functions of configuration moduli spaces and their Z-stable and Z-semistable subsets, and their push-forwards under natural maps. By taking the Euler characteristics of moduli spaces we define new invariants of a C-linear abelian category A with slope function Z satisfying conditions, and determine identities they satisfy, and transformation laws between different slope functions.