Schauder estimates at the boundary for sub-laplacians in Carnot groups

In this paper we present a new approach to prove Schauder estimates at the boundary for sub-Laplacian type operators in Carnot groups. While internal Schauder estimates have been deeply studied, up to now subriemannian estimates at the boundary are known only in the Heisenberg groups. The proof of these estimates in the Heisenberg setting, due to Jerison (J Funct Anal 43:97-142, 1981), is based on the Fourier transform technique and cannot be repeated in general Lie groups. After the result of Jerison no new contribution to the boundary problem has been provided. In this paper we introduce a new method, which allows to build a Poisson kernel starting from the fundamental solution, from which we deduce the Schauder estimates at non characteristic boundary points.