A discrete analogue of the harmonic morphism and green kernel comparison theorems

We give a discrete analogue of the harmonic morphism between two Riemannian manifolds. Roughly speaking, this is a mapping between two graphs preserving local harmonic functions. We characterize harmonic morphisms in terms of horizontal conformality. Many examples including coverings, non-complete extended p-sums and collapsings are given. Introducing the horizontal and vertical Laplacians, the Green kernel estimates are obtained for the harmonic morphism. As applications, a general and sharp estimate of the Green kernel for an infinite tree is obtained.