Pullback Theorem of Sobolev Mappings

• The pullback theorem of Sobolev mappings establishes when the natural pullback operator commutes with the exterior differential in degenerate, non-smooth contexts such as Carnot groups.
• It leverages Pansu differentiability and weight-based analysis to extend classical chain rule and functoriality properties to sub-Riemannian and metric space settings.
• The theorem underpins rigidity results and cohomological invariants, offering new analytic criteria and insights into quasiconformality and mapping regularity.

The pullback theorem of Sobolev mappings is a central result in the analysis and geometry of mappings between Carnot groups, sub-Riemannian manifolds, and metric measure spaces, especially in the context of forms, cohomology, and geometric rigidity. The theorem establishes the precise circumstances under which the natural pullback operator associated with a Sobolev mapping commutes with the exterior differential, extending the classical chain rule and functoriality properties to degenerate, non-smooth settings typical in sub-Riemannian and metric geometry.

1. Background and Notation

Let $G, G'$ be Carnot groups of step $s, s'$ and homogeneous dimensions $\nu, \nu'$, with graded Lie algebras $\mathfrak g = \bigoplus_{j=1}^s V_j$ and $\mathfrak g' = \bigoplus_{j=1}^{s'} V_j'$ (Kleiner et al., 2021). The central analytic objects are Sobolev mappings $f: U \subset G \to G'$ belonging to $W^{1,p}_{\rm loc}(U, G')$, defined via the metric and Haar measures intrinsic to the Carnot–Carathéodory (CC) structure (Kleiner et al., 2020, Kleiner et al., 2020).

For such $f$, the notion of differentiability is replaced by almost-everywhere Pansu differentiability, yielding a graded group homomorphism at a.e. $x$, $D_P f(x) : G \to G'$, with the property: $$D_P f(x)(y) = \lim_{t \to 0} \delta_{1/t}\bigl(f(x)^{-1} f(x \delta_t y)\bigr)$$ where $\delta_t$ denotes the group dilation (Kleiner et al., 2021).

The pullback (Pansu pullback) of a form $\alpha$ on $G'$ by $f$ is

$(f_P^* \alpha)(x) = (D_P f(x))^* (\alpha(f(x)))$

where the dual map $(D_P f(x))^*$ acts on covectors (Kleiner et al., 2021).

The distributional framework is required because the coefficients of $f_P^*\alpha$ may only be locally integrable, so the mapping must be understood in the sense of currents (Kleiner et al., 2022).

2. Statement of the Pullback Theorem

The Pullback Theorem provides sufficient conditions under which the Pansu pullback commutes (in the distributional sense) with the exterior derivative on specific complexes of forms:

• General Carnot Group Setting:

If $f \in W^{1,p}_{\rm loc}(U, G')$ with $p > \nu$, and $\alpha \in J^*G'$ (where $J^*$ is the differential ideal generated by forms vanishing on the horizontal layer $V_1'$), then for all degrees,

$d(f_P^* \alpha) = f_P^* (d\alpha)$

holds in the sense of distributions (Kleiner et al., 2021).

• Contact/Rumin Case:

For the Heisenberg group $H_n$, if $f \in W^{1,p}_{\rm loc}(U, H_n)$ with $p > 2n+2 = \nu$,

$$f_P^*: (R^* H_n, d) \longrightarrow (R^*_{D'} U, d)$$

is a chain map between the smooth and distributional Rumin complexes (Kleiner et al., 2021).

• Refinements and Weaker Regularity:

In (Kleiner et al., 2020) and (Cui, 31 Jan 2026), the required Sobolev exponent is relaxed to $p \geq -\mathrm{wt}(\omega)$ (with $\mathrm{wt}(\omega)$ the weight of the form), and $1/p \leq 1/m + 1/\nu$ for step-$m$ targets. This enables definition and chain-rule properties of the pullback even for $p < \nu$ provided the form's weight is sufficiently negative.

3. Underlying Geometric and Algebraic Structures

3.1 Pansu Differential and Graded Structures

The Carnot group structure induces a stratification on the Lie algebra, with the horizontal layer $V_1$ generating the geometry (Kleiner et al., 2020). Forms and their weights are defined via the action of the group dilations: $\delta_r^* \alpha = r^w \alpha$ where $w = \mathrm{wt}(\alpha)$. Forms decompose into homogeneous weight components.

The Pansu differential $D_P f(x)$ is a graded homomorphism, ensuring that pullbacks by Sobolev maps respect the filtration of the de Rham complex by weight (Kleiner et al., 2021, Kleiner et al., 2022).

3.2 Rumin Complex and Differential Ideals

On contact manifolds such as the Heisenberg group, the Rumin complex replaces the de Rham complex to accommodate degeneracies in the sub-Riemannian structure (Kleiner et al., 2021). Two distinguished ideals $I^*$ and $J^*$ arise, corresponding, respectively, to forms wedged to zero by the contact form, and its annihilator.

The Rumin complex is: $$R^k U = \begin{cases} \Omega^k U / I^k U, & 0 \leq k \leq n \ J^k U, & n+1 \leq k \leq 2n+1 \end{cases}$$ with differential $d_R$ induced by $d$ except at degree $n$, where a second-order operator is used.

For Carnot groups in general, the filtration by weight yields a spectral sequence structure on the de Rham complex, whose pages encode the algebraic and geometric data of the weight stratification (Kleiner et al., 2022).

4. Proof Strategies and Technical Ingredients

The main proof combines geometric measure theory, differential geometry, and functional analysis (Kleiner et al., 2021, Kleiner et al., 2020, Kleiner et al., 2020, Cui, 31 Jan 2026):

• Pansu Differentiability:

Almost-everywhere differentiability in the Pansu sense, valid for $p > \nu$, via results of Vodopyanov, Margulis, and Mostow (Kleiner et al., 2020).

• Weight Calculations:

For forms $\omega$ and test forms $\eta$, the theorem applies provided $\mathrm{wt}(\omega)+\mathrm{wt}(\eta)\le -\nu$, ensuring integrability and commutation with $d$ at the distributional level (Kleiner et al., 2020, Cui, 31 Jan 2026).

• Approximation by Mollification:

Mollification via group convolutions (ordinary or center-of-mass/Buser-Karcher (Kleiner et al., 2020)) produces smooth approximants $f_\varepsilon$ converging to $f$ in an appropriate sense. Stokes' theorem is applied to the smoothed maps, and limits are controlled via weight and integrability estimates.

• Spectral Sequence Arguments:

The filtered structure of the de Rham complex is leveraged: the pullback operator is filtration preserving and induces a well-defined mapping on the pages of the associated spectral sequence, though not generally a chain map on the full complex (Kleiner et al., 2022).

5. Rigidity, Regularity, and Cohomological Consequences

The pullback theorem provides the basis for several geometric and analytic results:

• Rigidity:

If $f$ has invertible Pansu differential a.e., pullback of forms imposes algebraic constraints enforcing factorization or rigidity properties, including product rigidity and regularity of maps between Carnot group products (Kleiner et al., 2020, Cui, 31 Jan 2026).

• Invariance of the Rumin Flat Complex:

For bilipschitz homeomorphisms of contact manifolds, the Rumin flat complex is isomorphic up to operator norm bounds, yielding bilipschitz invariance of associated cohomology and enabling invariants under coarse geometric transformations (Kleiner et al., 2021).

• Cohomological Invariants:

The functoriality properties of the pullback in the Rumin and filtered de Rham complex context allow one to define cohomological invariants for Sobolev and bilipschitz maps, crucial for sub-Riemannian mapping theory (Kleiner et al., 2021).

• Quasiconformal Regularity and Low-Integrability QC Criterion:

The theorem underpins new analytic criteria for quasiconformality based on lower $L^p$-integrability of the horizontal gradient, replacing the previous critical Sobolev exponent constraints (Cui, 31 Jan 2026).

6. Extensions: Metric Measure Spaces and Functoriality

The pullback theorem generalizes to metric measure spaces equipped with structures such as Gigli's $L^p$-cotangent modules (Ikonen et al., 2021). For continuous mappings with bounded outer dilatation between such spaces, a well-defined pullback operator is constructed, satisfying functoriality $(\psi \circ \varphi)^* = \varphi^* \circ \psi^*$, norm bounds, and isomorphism properties under quasiconformality. This result aligns with classical results in Euclidean and Carnot settings but requires additional regularity of inverses in the metric space context.

7. Spectral Sequence Interpretation and Further Directions

Although Pansu pullback is not always a chain map on the full de Rham complex, it induces a morphism of the spectral sequences associated with the weight filtration (Rumin filtration) on Carnot groups. This provides an alternative and structurally richer formulation of the pullback theorem, enabling cohomological invariance results with relaxed regularity assumptions and suggesting further applications in the study of mapping rigidity, regularity, and geometric group theory (Kleiner et al., 2022).

The continued development of the pullback theorem—including relaxations of integrability requirements, invariance results for new differential complexes, and its interpretation within filtered and spectral sequence formalism—forms a foundational component of modern sub-Riemannian, contact, and metric geometric analysis.