1: \begin{abstract}

2: We show that in an $m$-step Carnot group, a probability measure with finite $m^{th}$ moment has a well-defined Buser-Karcher center-of-mass, which is a polynomial in the moments of the measure, with respect to exponential coordinates.  Using this, we improve the main technical result of \cite{KMX1} concerning  Sobolev mappings between Carnot groups.  As a consequence, a number of rigidity and structural results from \cite{KMX1,KMX2,kmx_rumin,kmx_iwasawa}

3:   hold under weaker assumptions on the Sobolev exponent.  We also give applications to quasiregular mappings following \cite{reshetnyak_space_mappings_bounded_distortion,heinonen_holopainen,vodopyanov_foundations},  extending earlier work in the $2$-step case to general Carnot groups.

4: \end{abstract}

5: