Related papers: Sobolev mappings and the Rumin complex

We consider Rumin's filtration on the de Rham complex of a Carnot group. Although Pansu pullback by a Sobolev map is filtration preserving, it need not be a chain mapping. Nonetheless, we show that Pansu pullback induces a mapping of the…

We consider the existence problem of lifting a smooth contact map between Carnot groups to a smooth contact map between central extensions of the original groups. Our main result is a necessary and sufficient criterion formulated using the…

In this paper, we prove the commutativity between the Pansu pullback of a smooth contact map between Carnot groups and the differentials appearing in the spectral complexes. As a direct application, we also present a way of "lifting" a…

We study the pullback theorem of Sobolev mappings on Carnot groups via mollification of mappings. With the pullback theorem we extend the classical result proved by Xiangdong Xie : Rigidity of Sobolev mappings $W^{1,p}(G_1;G_2)$ for…

This is the first in a series of papers on geometric mapping theory in Carnot groups -- and more generally equiregular manifolds -- in which we prove a number of new structural results for Sobolev (in particular quasisymmetric) mappings,…

We consider mappings between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of mappings between Carnot groups" (arXiv:2004.09271), we focus on Carnot groups which are nonrigid in the sense of…

We consider the existence problem of lift F of a map f between Carnot group with different smoothness, where we use central extension to define lifting. Our main result is the existence of the contact lifts of Lipschitz and Sobolev maps and…

We prove that the family of normal currents in the sense of Rumin in a Carnot group is compact in the flat topology. This result is obtained through a dual compactness argument for Rumin forms, using the pseudo-differential calculus in…

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…

These notes provide an exposition on obtaining the well-known standard results of quasiregular maps on Riemannian manifolds, given the corresponding theory in the Euclidean setting. We recall several different approaches to first-order…

Given a contact manifold $M_#$ together with a transversal infinitesimal automorphism $\xi$, we show that any local leaf space $M$ for the foliation determined by $\xi$ naturally carries a conformally symplectic (cs-) structure. Then we…

The study of Sobolev and Poincar\'e inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups,…

We characterize locally Lipschitz mappings and existence of Lipschitz extensions through a first order nonlinear system of PDEs. We extend this study to graded group-valued Lipschitz mappings defined on compact Riemannian manifolds. Through…

We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in $\rn$. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier…

We provide a suitable generalisation of Pansu's differentiability theorem to general Radon measures on Carnot groups and we show that if Lipschitz maps between Carnot groups are Pansu-differentiable almost everywhere for some Radon measures…

The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere $S^{2n+1}$ endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values…

We prove that every (geometrically) quasiconformal homeomorphism between metric measure spaces induces an isomorphism between the cotangent modules constructed by Gigli. We obtain this by first showing that every continuous mapping…

Let $1<p<\infty$. In this article we establish an $L^p$-Hodge decomposition theorem on sub-Riemannian compact contact manifolds without boundary, related to the Rumin complex of differential forms. Given an $L^p$- Rumin's form, we adopt an…

We give a new CR invariant treatment of the bigraded Rumin complex and related cohomology groups via differential forms. A key benefit is the identification of balanced $A_\infty$-structures on the Rumin and bigraded Rumin complexes. We…

We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by…