A theorem of Roe and Strichartz on homogeneous trees

Let 𝔛 {\mathfrak{X}} be a homogeneous tree and let ℒ {\mathcal{L}} be the Laplace operator on 𝔛 {\mathfrak{X}} . In this paper, we address problems of the following form: Suppose that { f k } k ∈ ℤ {\{f_{k}\}_{k\in\mathbb{Z}}} is a doubly infinite sequence of functions in 𝔛 {\mathfrak{X}} such that for all k ∈ ℤ {k\in\mathbb{Z}} one has ℒ ⁢ f k = A ⁢ f k + 1 {\mathcal{L}f_{k}=Af_{k+1}} and ∥ f k ∥ ≤ M {\lVert f_{k}\rVert\leq M} for some constants A ∈ ℂ {A\in\mathbb{C}} , M > 0 {M>0} and a suitable norm ∥ ⋅ ∥ {\lVert\,\cdot\,\rVert} . From this hypothesis, we try to infer that f 0 {f_{0}} , and hence every f k {f_{k}} , is an eigenfunction of ℒ {\mathcal{L}} . Moreover, we express f 0 {f_{0}} as the Poisson transform of functions defined on the boundary of 𝔛 {\mathfrak{X}} .

A Poisson transform adapted to the Rumin complex

Let [Formula: see text] be a semisimple Lie group with finite center, [Formula: see text] a maximal compact subgroup, and [Formula: see text] a parabolic subgroup. Following ideas of P. Y. Gaillard, one may use [Formula: see text]-invariant differential forms on [Formula: see text] to construct [Formula: see text]-equivariant Poisson transforms mapping differential forms on [Formula: see text] to differential forms on [Formula: see text]. Such invariant forms can be constructed using finite-dimensional representation theory. In this general setting, we first prove that the transforms that always produce harmonic forms are exactly those that descend from the de Rham complex on [Formula: see text] to the associated Bernstein–Gelfand–Gelfand (or BGG) complex in a well defined sense. The main part of this paper is devoted to an explicit construction of such transforms with additional favorable properties in the case that [Formula: see text]. Thus, [Formula: see text] is [Formula: see text] with its natural CR structure and the relevant BGG complex is the Rumin complex, while [Formula: see text] is complex hyperbolic space of complex dimension [Formula: see text]. The construction is carried out both for complex and for real differential forms and the compatibility of the transforms with the natural operators that are available on their sources and targets are analyzed in detail.