Reshetnyak-Class Homeomorphisms in Carnot Groups

• Reshetnyak-class homeomorphisms are mappings on Carnot groups that convert Lipschitz functions into Sobolev functions using a metric-Sobolev framework.
• They are precisely characterized by the boundedness of the pullback operator, which yields exact equalities between operator norms and upper gradients.
• This approach refines traditional Sobolev theory by linking finite distortion, quasi-additive set functions, and sharp composition operator identities.

Searching arXiv for recent and foundational papers on Reshetnyak-class mappings, Carnot groups, and composition operators. Reshetnyak-class homeomorphisms are homeomorphisms $\varphi:\Omega\to Y$, with $\Omega$ a domain in a Carnot group and $Y$ a metric space, that admit a metric-Sobolev description through pullback of Lipschitz functions. In the formulation developed in "Reshetnyak-class mappings and composition operators" (V. et al., 14 Jul 2025), such a map belongs to the Reshetnyak class $L_q^1(\Omega;Y)$ precisely when every $u\in{\rm Lip}(Y)$ satisfies $u\circ\varphi\in L_q^1(\Omega)$ and there is $g\in L_q(\Omega)$ with

$$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$

For homeomorphisms, this nonlinear condition is equivalent to boundedness of the composition operator

$$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$

and, when both source and target are Carnot-group domains, it yields a sharp characterization of Sobolev composition operators in terms of finite distortion and the outer distortion function $K_p(\cdot,\varphi)$ (V. et al., 14 Jul 2025).

1. Ambient framework and defining structures

The ambient space is a Carnot group $\Omega$0, a simply connected nilpotent Lie group whose Lie algebra admits a stratification

$\Omega$1

with

$\Omega$2

and

$\Omega$3

The first layer $\Omega$4 is the horizontal space. If $\Omega$5 is an orthonormal basis of $\Omega$6, these left-invariant vector fields generate the horizontal calculus underlying the Sobolev theory. The Carnot–Carathéodory metric $\Omega$7, Haar measure $\Omega$8, and homogeneous dimension

$\Omega$9

form the basic geometric data. Euclidean space $Y$0 is included as a special case of a Carnot group (V. et al., 14 Jul 2025).

For scalar-valued functions on $Y$1, the homogeneous Sobolev space $Y$2 consists of $Y$3 such that the horizontal derivatives $Y$4 belong to $Y$5. Its seminorm is

$Y$6

The inhomogeneous space is

$Y$7

with norm

$Y$8

For a metric space $Y$9, $L_q^1(\Omega;Y)$0 denotes the space of Lipschitz functions $L_q^1(\Omega;Y)$1 with seminorm

$L_q^1(\Omega;Y)$2

In this setting, a measurable mapping $L_q^1(\Omega;Y)$3 is of Reshetnyak class $L_q^1(\Omega;Y)$4 if two requirements hold: first, $L_q^1(\Omega;Y)$5 for all $L_q^1(\Omega;Y)$6; second, there exists $L_q^1(\Omega;Y)$7 such that

$L_q^1(\Omega;Y)$8

almost everywhere for every $L_q^1(\Omega;Y)$9. Among all such $u\in{\rm Lip}(Y)$0, there is a minimal one, denoted $u\in{\rm Lip}(Y)$1, called the upper gradient of $u\in{\rm Lip}(Y)$2 (V. et al., 14 Jul 2025).

A complementary description uses the Carnot-group version of ACL regularity. For $u\in{\rm Lip}(Y)$3, the metric partial derivatives exist almost everywhere: $u\in{\rm Lip}(Y)$4 If $u\in{\rm Lip}(Y)$5 is complete and separable, $u\in{\rm Lip}(Y)$6 is equivalent to $u\in{\rm Lip}(Y)$7 together with $u\in{\rm Lip}(Y)$8. Moreover,

$u\in{\rm Lip}(Y)$9

When the target is also a Carnot group, these conditions are equivalent to $u\circ\varphi\in L_q^1(\Omega)$0, and $u\circ\varphi\in L_q^1(\Omega)$1 almost everywhere (V. et al., 14 Jul 2025).

2. Composition-operator characterization

The central characterization concerns the pullback operator

$u\circ\varphi\in L_q^1(\Omega)$2

Boundedness here means that there exists $u\circ\varphi\in L_q^1(\Omega)$3 such that

$u\circ\varphi\in L_q^1(\Omega)$4

for all $u\circ\varphi\in L_q^1(\Omega)$5, equivalently

$u\circ\varphi\in L_q^1(\Omega)$6

The operator norm is therefore

$u\circ\varphi\in L_q^1(\Omega)$7

For a homeomorphism $u\circ\varphi\in L_q^1(\Omega)$8 with $u\circ\varphi\in L_q^1(\Omega)$9, the main theorem establishes that, for $g\in L_q(\Omega)$0,

$g\in L_q(\Omega)$1

For $g\in L_q(\Omega)$2, the same equivalence is stated separately. This converts a metric-Sobolev property of $g\in L_q(\Omega)$3 into an operator-theoretic property of its pullback on Lipschitz test functions (V. et al., 14 Jul 2025).

The easy implication is immediate from the defining inequality of the Reshetnyak class: $g\in L_q(\Omega)$4 hence

$g\in L_q(\Omega)$5

The converse is the substantive content: boundedness of $g\in L_q(\Omega)$6 forces $g\in L_q(\Omega)$7 itself to belong to $g\in L_q(\Omega)$8.

A further structural point is that boundedness is automatic once pullbacks exist in the Sobolev class. If $g\in L_q(\Omega)$9 for every $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$0, then the composition operator $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$1 is automatically bounded by a closed graph argument for $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$2-spaces. Thus, in practice, testing the composition property reduces to verifying Sobolev membership of all Lipschitz pullbacks (V. et al., 14 Jul 2025).

3. Exact identities and quasi-additive energy

A distinctive feature of the theory is that the composition operator determines the Sobolev energy of the homeomorphism exactly. For open $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$3, the paper introduces the quasi-additive set function

$$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$4

For $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$5,

$$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$6

The local inequality

$$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$7

is the basic technical mechanism from which the pointwise majorants are derived (V. et al., 14 Jul 2025).

The quasi-additivity of $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$8 admits differentiation. If $$|\nabla_h(u\circ\varphi)|\le {\rm Lip}(u)\,g \quad\text{a.e. in }\Omega.$$9 denotes the derivative of the pullback set function in the sense of quasi-additive differentiation, then

$$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$0

This furnishes the upper-gradient control required in the definition of $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$1, with

$$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$2

For homeomorphisms, the identification is exact: $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$3 for every open set $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$4, and consequently

$$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$5

The operator norm is therefore given by the sharp identity

$$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$6

This is stronger than mere boundedness or two-sided comparison: the composition operator encodes the exact $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$7-size of the minimal upper gradient (V. et al., 14 Jul 2025).

A common misunderstanding is to treat this result as an abstract reformulation with no new analytic content. The exact identities show otherwise. The local metric-Sobolev energy and the global operator norm are both recovered from the same quasi-additive set function, so the operator viewpoint is not only equivalent to the Reshetnyak definition but also quantitatively sharper in the homeomorphic case.

4. Carnot-group targets, finite distortion, and Sobolev composition

When both source and target are domains in a Carnot group $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$8, the operator characterization becomes a distortion theorem for Sobolev pullbacks. For $$\varphi^*:{\rm Lip}(Y)\to L_q^1(\Omega),\qquad \varphi^*u=u\circ\varphi,$$9, the horizontal differential is

$K_p(\cdot,\varphi)$0

and it extends almost everywhere to a Lie algebra homomorphism

$K_p(\cdot,\varphi)$1

hence to the Pansu differential

$K_p(\cdot,\varphi)$2

Its Jacobian is given by

$K_p(\cdot,\varphi)$3

and if $K_p(\cdot,\varphi)$4, then

$K_p(\cdot,\varphi)$5

The operator norms satisfy

$K_p(\cdot,\varphi)$6

Finite distortion is defined by the condition

$K_p(\cdot,\varphi)$7

For $K_p(\cdot,\varphi)$8, the outer distortion function is

$K_p(\cdot,\varphi)$9

This is the distortion quantity that governs Sobolev composition operators (V. et al., 14 Jul 2025).

The characterization theorem states that a homeomorphism $\Omega$00 induces the bounded composition operator

$\Omega$01

if and only if three conditions hold: $\Omega$02, $\Omega$03 has finite distortion, and

$\Omega$04

with $\Omega$05 when $\Omega$06. Furthermore,

$\Omega$07

The paper explicitly states that this improves earlier two-sided estimates by proving exact equality (V. et al., 14 Jul 2025).

The relation to the metric-space theorem is structural rather than incidental. The proof first tests $\Omega$08 against Lipschitz functions, thereby identifying $\Omega$09 as a metric-space-valued Sobolev map in the Reshetnyak sense. Once $\Omega$10 is available, Carnot-group differential structure, Jacobians, and distortion enter naturally. This suggests that the metric-target theorem is the abstract layer underlying the distortion characterization in the Carnot-group case.

5. Proof architecture and technical innovations

The shorter proof announced in the abstract is based on quasi-additive set functions, upper-gradient inequalities, and minimal reliance on additional geometric machinery. Its central device is a new lemma that removes the support restriction built into the definition of $\Omega$11. In the original definition, one controls only Lipschitz functions whose support stays a positive distance from $\Omega$12. The lemma shows that the same bound remains valid on $\Omega$13 without that support restriction (V. et al., 14 Jul 2025).

The argument proceeds in three stages. First, a bounded Lipschitz function $\Omega$14 is replaced by another $\Omega$15-Lipschitz function $\Omega$16 with the same pullback gradient almost everywhere but arbitrarily small amplitude on $\Omega$17. Second, $\Omega$18 is cut off between the sets

$\Omega$19

and then extended by Kirszbraun’s theorem to a global Lipschitz function whose support lies positively inside $\Omega$20. Third, the bounded case is transferred to unbounded $\Omega$21 by truncations $\Omega$22 and passage to the limit. The paper emphasizes this lemma as the key simplification enabling the new quasi-additive method (V. et al., 14 Jul 2025).

The remainder of the proof uses the differentiation of quasi-additive set functions, the Lebesgue differentiation theorem, ACL properties, and metric partial derivatives. For Carnot-group-valued targets, the Jacobian identity

$\Omega$23

and the pointwise estimate

$\Omega$24

bring the distortion function into the argument. The paper presents this as an approach that is “much shorter” and “requires a minimum of tools,” while still yielding new properties such as exact norm identities and pointwise distortion density formulas (V. et al., 14 Jul 2025).

A further consequence is a local identification of distortion density. For $\Omega$25,

$\Omega$26

for all open $\Omega$27, hence

$\Omega$28

Thus the operator-generated quasi-additive derivative recovers not only the upper gradient of a metric-space-valued homeomorphism but also the precise distortion density in the Carnot-group setting (V. et al., 14 Jul 2025).

6. Position within Reshetnyak theory on Carnot groups

Within the literature described by the paper, the new results sharpen previous work of Vodopyanov–Ukhlov and Vodopyanov–Evseev on composition operators between Sobolev spaces on Carnot groups. The advances explicitly singled out are the metric-space target theorem, the $\Omega$29 endpoint for the metric-target composition operator, the shorter proof based on the new lemma, and the replacement of earlier two-sided norm bounds by exact equalities. Since $\Omega$30 is a Carnot group, the Euclidean setting is recovered as a special case (V. et al., 14 Jul 2025).

A related but distinct development is "A Reshetnyak type theorem for quasiregular values on Carnot groups of $\Omega$31-type" (Zhong, 25 Sep 2025). That paper is not a homeomorphism classification theorem. Instead, it studies a nonconstant mapping $\Omega$32 of class $\Omega$33 satisfying the one-point distortion inequality

$\Omega$34

for almost every $\Omega$35, with $\Omega$36 for some $\Omega$37. It proves that $\Omega$38 is discrete, that the local index $\Omega$39 is positive for every $\Omega$40, and that every neighborhood of such a preimage point maps onto a neighborhood of $\Omega$41 (Zhong, 25 Sep 2025).

The connection to Reshetnyak-class homeomorphisms is methodological and topological. Homeomorphisms are a special case of maps with positive local index and no branching, and the one-point theorem develops the continuity and degree machinery that underlies bounded-distortion mapping theory in Carnot groups. At the same time, its limitations are explicit: it is restricted to Carnot groups of $\Omega$42-type and concerns a single target value $\Omega$43, not a full theorem for all values. The paper therefore does not replace the composition-operator characterization of Reshetnyak-class homeomorphisms, but it clarifies how core Reshetnyak conclusions—discreteness, positivity of local degree, and local openness—persist in a weaker one-point framework (Zhong, 25 Sep 2025).

Taken together, these works locate Reshetnyak-class homeomorphisms at the intersection of metric Sobolev theory, operator theory, and finite-distortion analysis on Carnot groups. The defining modern insight is that, for homeomorphisms, the Reshetnyak condition can be read entirely through the action of pullback on Lipschitz test functions, while the same mechanism leads, in Carnot-group domains, to exact formulas for Sobolev composition norms and distortion densities (V. et al., 14 Jul 2025).