 Solvability condition for the Hodge Poisson equation

The Poisson equation for differential forms on a closed oriented Riemannian manifold is solvable exactly when its source is $L^2$-orthogonal to every harmonic differential form of the same degree. Necessity follows from the formal adjoint identity $⟨\Delta \alpha ,h⟩=⟨\alpha ,\Delta h⟩=0$. For sufficiency, the Green operator of the Hodge Laplacian gives $\alpha =G\beta$, since $\Delta G=I-P_{\mathcal{H}}$.