[see also: information, data, fact, detail
Basic material on semigroups of operators can be found in [4].
For relevant background material concerning random walks, see [2].
Section 2 contains some specific preparatory material, notably a brief discussion of the category of virtual vector bundles.