Subelliptic operations on weighted Folland-Stein spaces

In this paper, we show that the sub-Laplacian of an asymptotically flat pseudo-hermitian manifold defined on a suitable weighted Folland-Stein spaces is an isomorphism. It turns out that the CR positive mass problem is resolved, and hence CR Yamabe problem.