A note on lifting of Carnot groups (Q2493582)

The lifting theorem the authors are concerned with can be summarized as follows. Let \(G\) be a homogeneous Carnot group on \(\mathbb{R}^N\). Then, there exists a free homogeneous Carnot group \(\widetilde G\) on \(\mathbb{R}^H\) (with \(H\geq N)\) such that, denoting by \(\pi:\mathbb{R}^H\to\mathbb{R}^N\) the projection on the first \(N\) coordinates (up to a permutation of the coordinates of \(\mathbb{R}^H)\), we have \[ \widetilde X_i(u\circ\pi)=(x_iu)\circ\pi,\quad v\mu\in{\mathcal C}^\infty(\mathbb{R}^N), \] where \(\sum_{1\leq i\leq m}X_i^2\) and \(\sum_{1\leq i\leq m}\widetilde X_i^2\) are the canonical sub-Laplacians \(\Delta_G\) and \(\Delta_{\widetilde G}\), respectively. Moreover \(\pi:\widetilde G\to G\) is a Lie group morphism. The proof is simple, self-contained and constructive. The authors also give a direct example of application of this theorem to PDE's: an explicit formula for the fundamental solutions for all the sub-Laplacians on Carnot groups of step two.