Pansu Derivative¶

The homogeneous group-homomorphism limit of a Carnot-group map's translated and dilated increments at a point, when that limit exists.

Version: v1 · 2026-10-07 · History
Domain-specific #: 13972
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Geometric Analysis, Subriemannian Geometry → Mathematics
Aliases: Pansu differential, P-differential

Core Idea¶

The Pansu derivative describes a map's first-order behavior at a point in Carnot-group geometry. Move the source point and its image to their respective group identities, magnify a small source displacement using the source dilation, and undo the corresponding target scale using the target dilation. If those translated and rescaled increments converge to a homogeneous group homomorphism, that limit is the Pansu derivative at the point. The group operations and dilations carry geometric information that an ordinary coordinate difference quotient can miss.^[1]^[2]

For a map \(f:G\to K\), a base point \(p\in G\), and Carnot dilations \(\delta^G_s\) and \(\delta^K_s\), the defining comparison is \(\delta^K_{1/s}\!\left(f(p)^{-1}f\bigl(p\,\delta^G_s(q)\bigr)\right)\) as \(s\) tends to zero. When the requisite limit exists, it assigns \(q\) a group-homomorphic, dilation-compatible output. Balogh, Lang and Pansu give this form for Heisenberg self-maps. Pinamonti and Speight give an equivalent first-order error condition for real-valued maps on a Heisenberg group.^[1]^[2]

The derivative is a pointwise object. Pansu's theorem that Lipschitz maps between Carnot groups are differentiable almost everywhere is an existence statement under those hypotheses; it does not supply a derivative at every named point. Rigidity and Lipschitz-extension results use this local object, but those consequences do not define it.^[1]^[2]

Structural Signature¶

Sig role-phrases:

Carnot source and target. Their group operations and compatible dilations set the local geometry. A Heisenberg group can map to an abelian real target or another nonabelian Heisenberg group; the target changes without changing the construction.^[1]^[2]
Map and base point. The derivative belongs to a specified map \(f\) at a specified point \(p\); an almost-everywhere theorem cannot stand in for this local choice.^[1]
Translated, rescaled increment. The source displacement is formed with its group product and dilation; the output is translated by \(f(p)^{-1}\) and rescaled with the target dilation. This is the operation whose limit must be tested.^[1]
Homogeneous homomorphism limit. The resulting derivative preserves the group law and commutes with dilations. If the required limit fails at \(p\), there is no Pansu derivative there.^[1]^[2]
Existence scope. Regularity assumptions can establish differentiability on a set of points, such as almost everywhere for Lipschitz maps. This scope qualifies where a derivative exists; it is not an additional component of one derivative's value.^[1]^[2]

What It Is Not¶

An ordinary real derivative takes a limit of additive difference quotients. A Pansu derivative on a nonabelian Carnot group uses translations and anisotropic group dilations. In the Heisenberg group, horizontal coordinates scale by \(s\), while the central coordinate scales by \(s^2\). Scaling every coordinate alike would change the local comparison. The live domain-specific Derivative entry explains the ordinary quotient and local-linear approximation; its stated real-variable definition is not a universal parent definition for this group-homomorphic derivative.^[1]^[2]

Pansu differentiability is also not the claim that every Lipschitz map has a derivative at every point. Nor does finding a derivative by itself prove a rigidity theorem, a nonembedding result, or a Lipschitz-extension obstruction. Such arguments require their own hypotheses. In particular, Balogh, Lang and Pansu's mapping-degree proposition for certain Heisenberg self-maps restricts target values outside images of specified singular and boundary sets; its conclusion is a downstream use of the local derivative.^[1]

Scope of Application¶

The construction is literal for maps between Carnot groups, including scalar-valued Lipschitz functions on a Heisenberg group and group-valued Lipschitz maps between Heisenberg groups. The scalar case produces a real-valued homogeneous homomorphism; the group-valued case retains a nonabelian target law. Both require the local group-scaled comparison. Pinamonti and Speight study differentiability points of scalar-valued functions, while Balogh, Lang and Pansu use derivatives in the analysis of Heisenberg self-maps and mapping degree.^[2]^[1]

The original 1989 work introduced the Carnot–Carathéodory geometric setting in rank-one symmetric-space rigidity. Its publisher abstract states the quaternionic and Cayley hyperbolic rigidity cases. Those applications motivate the construction's history but do not turn a particular rigidity conclusion into a required role of every Pansu derivative.^[3]

Clarity¶

To evaluate a claim of Pansu differentiability, ask for the source group, target group, their dilations, the map, the base point, and the candidate limiting homomorphism. A theorem saying “almost everywhere” gives a measure-qualified population of points; a pointwise calculation supplies a derivative for one point. These are different answers to different questions. Pinamonti and Speight even find a measure-zero set containing at least one differentiability point for every real-valued Lipschitz function on a Heisenberg group; that result does not turn every point of the set into a common differentiability point.^[2]

The distinction also separates a derivative from the result for which it is used. In Balogh, Lang and Pansu, the derivative supports a mapping-degree argument for a specified class of group-valued maps. The derivative is the local group-homomorphic approximation; the degree inequality follows only after additional dimensional and regular-value conditions.^[1]

Manages Complexity¶

A Heisenberg map may look like a function on ordinary coordinate space, but its third coordinate interacts with the horizontal coordinates through a noncommutative group law. The Pansu construction packages local behavior into one map that respects this group law and the distinct horizontal and central scaling. That replaces a collection of coordinate increments with a coherent first-order approximation in the geometry in which the Lipschitz condition is posed.^[1]^[2]

This compression has a boundary: the output homomorphism need not be injective, and differentiability alone does not establish the stronger regularity needed by a particular mapping-degree argument. The singular set in Balogh, Lang and Pansu includes both nondifferentiability points and points where the derivative is not injective.^[1]

Abstract Reasoning¶

Begin with \(f:G\to K\) and \(p\in G\). For a fixed group element \(q\), approach \(p\) along \(p\,\delta^G_s(q)\). Translate the resulting target value back by \(f(p)^{-1}\), enlarge it using \(\delta^K_{1/s}\), and test whether one limit map emerges as \(s\to0\). Check that the limit is a homogeneous group homomorphism, then state where the convergence is known to hold. The definitions in the two original studies support this construction in the Heisenberg settings they analyze.^[1]^[2]

For an explicit homomorphism, the calculation can be immediate. If \(f(a,b,c)=a_1\) projects to one horizontal real coordinate, group translation cancels \(f(p)\), and rescaling leaves \(a_1(q)\). If \(g=\delta_a\) is a Heisenberg dilation with \(a>0\), its group-homomorphism and dilation properties make the same operation return \(\delta_a(q)\). These are direct derivations from the cited definitions, not a proof of the almost-everywhere theorem for arbitrary Lipschitz maps.^[2]^[1]

Knowledge Transfer¶

The literal transfer within geometric analysis is from a scalar target to a group target: keep the translated and dilated increment, but let the codomain's own group law and dilation determine the type of the resulting homomorphism. The horizontal projection and the Heisenberg dilation below demonstrate that change of target without changing the defining operation. For a general Lipschitz map, the same definition asks where a derivative exists, but the two elementary calculations alone do not establish its almost-everywhere existence.^[2]^[1]

“Local linearization” is a useful comparison with ordinary calculus, yet literal Pansu differentiation requires Carnot translations, dilations and a homogeneous homomorphism. Calling a Euclidean Jacobian a Pansu derivative solely by analogy would omit the defining group structure.

Examples¶

Canonical: horizontal-coordinate projection¶

Use the Heisenberg group \(H^n\) with a real target and define \(f(a,b,c)=a_1\), projection to the first horizontal coordinate. The horizontal-coordinate projection is a group homomorphism, and its output scales by \(s\) under the Heisenberg dilation. Consequently \(f(p\,\delta_s q)-f(p)=s a_1(q)\); after target rescaling, the limit is \(D_Pf(p)(q)=a_1(q)\) at every point. This is a worked derivation from Pinamonti and Speight's group and linear-map definitions.^[2]

Mapped back: Carnot groups → \(H^n\) and the abelian group \(\mathbb R\); map and point → \(f\) at any \(p\); increment → translated projection divided by \(s\); limiting homomorphism → \(q\mapsto a_1(q)\); existence scope → all points for this explicit map.

Applied: Heisenberg dilation self-map¶

Fix \(a>0\) and define \(g=\delta_a:H^n\to H^n\), where \(\delta_a(x,y,t)=(ax,ay,a^2t)\). Since \(\delta_a\) preserves the group law and commutes with every \(\delta_s\), the translated and rescaled increment is \(\delta_a(q)\) for every \(s>0\). Therefore \(D_Pg(p)=\delta_a\) at every point. Here the target is nonabelian, unlike the real-valued projection. This is again an algebraic example derived from the cited group operations, not a reported case in the mapping-degree theorem.^[2]^[1]

Mapped back: Carnot groups → \(H^n\) as both source and target; map and point → \(g\) at any \(p\); increment → \(\delta_{1/s}(g(p)^{-1}g(p\,\delta_s q))\); limiting homomorphism → \(\delta_a\); existence scope → all points for this explicit dilation.

Structural Tensions¶

No intrinsic optimization trade-off is required to define this derivative. Two distinctions constrain its use: group dilation versus ordinary coordinate scaling, and an almost-everywhere theorem versus a derivative at a selected point. The former is a choice of mathematical object; the latter is a difference in quantifier. Treating either as a pair of competing goals would invent a tension that the cited definitions do not establish.^[1]^[2]

Structural–Framed Character¶

Pansu derivative is structural within Carnot-group mathematics. Evaluative weight: existence or nonexistence of the derivative is a mathematical claim, not a judgment of desirability. Human-practice dependence: the definition is a formal choice of group-scaled local comparison, while whether a specified map satisfies it follows from the map and geometry. Institutional origin: it is a mathematical construction rather than an institution or policy. Vocabulary travel: “derivative” is broad, but the name Pansu derivative remains tied to Carnot translations and dilations. Import versus recognition: one recognizes it by checking the actual group-scaled limit; importing the name to an unrelated local approximation does not make another instance. The portable limiting relation belongs to live Prime Convergence, and the derivative output is an instance of Prime Function Mapping. Its character: a rigorous but domain-specific first-order map whose Carnot operations do essential work.^[1]^[2]

Structural Core vs. Domain Accent¶

The core is the translated and rescaled increment yielding a homogeneous group homomorphism at a point. The horizontal projection, the dilation self-map, the value of \(a\), the choice of Heisenberg dimension, and the application to mapping degree are accents: changing those yields other instances without replacing the group-scaled limit. Remove the Carnot operations or the homomorphism limit, and the entry changes identity.^[1]^[2]

The skeletal ideas of a convergent local approximation and a map are portable; they are already represented by Convergence and Function Mapping. The noncommutative source/target group structure and compatible anisotropic dilations are not demonstrated across independent non-Carnot domains as the same named Pansu construction. Thus the named entry does not clear the Prime bar. The ordinary Derivative entry is a close mathematical neighbor, but its real-variable quotient is not a strict genus for this group-scaled output.

This entry presupposes Convergence and is a kind of Function (Mapping).

The graph has a strict composition/presupposes edge to Convergence because a derivative at \(p\) requires the translated and dilated increments to settle to one limit. Without that limit, the derivative is undefined there. It has a strict subsumption edge to Function Mapping because the derivative output is itself a single-valued homogeneous group homomorphism from source to target. These edges describe different relationships; neither claims the input map and its derivative are the same object.^[1]

Scale Invariance is related through the derivative's compatibility with dilations, but that property alone does not supply the Carnot group law or pointwise construction. Approximation is a broad neighboring idea. The live domain-specific Derivative entry provides the familiar additive real quotient, not an asserted strict parent for Pansu differentiation.

Relationships to Other Abstractions¶

Current abstraction Pansu Derivative Domain-specific

Parents (2) — more general patterns this builds on

Pansu Derivative is a kind of Function (Mapping) Prime

A Pansu derivative is a homogeneous group homomorphism and therefore a function mapping.
Pansu Derivative presupposes Convergence Prime

The Pansu derivative requires a limit of translated and dilated map increments.

Hierarchy paths (2) — routes to 2 parentless roots

Pansu Derivative → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Pansu Derivative sits in a sparse region of the domain-specific corpus (72^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Dynamical Systems & Differential Structures (37 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Ordinary real or Fréchet differentiation: an additive local linear map under ordinary vector-space scaling; the Carnot-group construction tests different operations on a nonabelian carrier. Pansu differentiability theorem: an almost-everywhere existence result under Lipschitz hypotheses, not one derivative value. Horizontal directional derivative: a derivative along one privileged direction, which alone does not automatically supply the full homogeneous group homomorphism. Rigidity or extension obstruction: downstream conclusions with extra hypotheses, not the definition. A group homomorphism without a limiting construction: a candidate output type, but a claim that it is the derivative of \(f\) at \(p\) still requires the limit or an equivalent first-order test.^[1]^[2]

References¶

[1] Z. M. Balogh, U. Lang and P. Pansu, “Lipschitz Extensions of Maps between Heisenberg Groups”, Annales de l'Institut Fourier 66 (2016): 1653–1665, DOI 10.5802/aif.3046, §2 equation (1), §3 Proposition 2. Original author manuscript; defines the group-valued Pansu limit and uses it in mapping-degree and extension analysis. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w

[2] A. Pinamonti and G. Speight, “A Measure Zero Universal Differentiability Set in the Heisenberg Group”, Mathematische Annalen 368 (2017): 233–278, DOI 10.1007/s00208-016-1434-x, §2 Definitions 2.1–2.2 and 2.10, Theorems 2.11–2.12. Original full author manuscript; scalar-valued Pansu differentiability, group projection and dilation identities, and qualified existence results. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s

[3] P. Pansu, “Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un”, Annals of Mathematics 129 (1989): 1–60, DOI 10.2307/1971484, publisher abstract. Original paper's bibliographic and abstract record; cited only for the stated quaternionic/Cayley rigidity scope, not for uninspected theorem details. registry ↩