On the smoothness of $C^1$-contact maps in $C^{\infty }$-rigid Carnot groups

Abstract

We show that in any $C^{\infty }$-rigid Carnot group in the sense of Ottazzi - Warhurst, $C^1$-contact maps are automatically smooth.