Cohomology groups for recurrence relations and contiguity relations of hypergeometric systems. (Q1396416)

The theory of cohomology group for recurrence relations is developed. This research is based on the asymptotic analysis of finite difference equations carried out in the author's previous paper [Trans. Am. Math. Soc. 349, 4107--4142 (1997; Zbl 0883.39006)]. This investigation is motivated by several examples, where recurrence relations appear as contiguity relations of hypergeometric systems. The main result of the paper shows, roughly speaking, that a cochain complex (called harmonic complex) can be associated with each contiguity relation and an explicit formula describing this harmonic complex is presented.