Conformal harmonic forms, Branson-Gover operators and Dirichlet problem at infinity (Q550559)

From the authors' abstract: For odd-dimensional Poincaré-Einstein manifolds \((X^{n+1},g)\), we study the set of harmonic \(k\)-forms (for \(k<\frac n2\)) which are \(C^m\) (with \(m\in \mathbb N\)) on the conformal compactification \(\bar X\) of \(X\). This set is infinite-dimensional for small \(m\) but it becomes finite-dimensional if \(m\) is large enough, and in one-to-one correspondence with the direct sum of the relative cohomology \(H^k(\bar X, \partial \bar X)\) and the kernel of \textit{T. Branson} and \textit{A. R. Gover} [Commun. Partial Differ. Equations 30, No.~10--12, 1611--1669 (2005; Zbl 1226.58011)] differential operators \((L_k, G_k)\) on the conformal infinity \((\partial \bar X, \left[h_0\right])\). We also relate the set \(C^{n-2k+1}\left(\bigwedge^k\left(\bar X\right)\right)\) of forms in the kernel of \(d+\delta_g\) to the conformal harmonics on the boundary in the sense of the above paper by Branson and Gover, providing some sort of long exact sequence adapted to this setting. This study also provides a construction of Branson-Gover differential operators, including a parallel construction of a generalization of the \(Q\)-curvature for forms.