Skip to content

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 is a way to describe the local change of a map between Carnot groups, such as Heisenberg groups. Near a chosen point, it compares small input and output changes using the groups' own multiplication and dilations. If the scaled changes approach a homogeneous group homomorphism, that limit is the Pansu derivative at the point. A Heisenberg dilation scales horizontal directions by one factor and its central direction by the square of that factor; an ordinary coordinate difference quotient would miss this geometry.[ref-57fbac99379d][ref-3e6ae80e6e43]

This is a derivative of one specified map at one specified point. Pansu's almost-everywhere differentiability theorem for Lipschitz Carnot-group maps does not say that a derivative exists at every point. The derivative can be used in later rigidity or extension arguments, but those conclusions need additional conditions.[ref-57fbac99379d][ref-3e6ae80e6e43]

Scope of Application

Researchers use Pansu derivatives for real-valued Lipschitz functions on Heisenberg groups and for maps whose outputs lie in another Heisenberg group. The first setting has an abelian real target; the second keeps a nonabelian target. Both use group translation and compatible dilations to form a local limit. Pinamonti and Speight study real-valued functions and differentiability points; Balogh, Lang and Pansu use group-valued derivatives in mapping-degree analysis.[ref-3e6ae80e6e43][ref-57fbac99379d]

Pansu's 1989 work concerns Carnot–Carathéodory geometry and rank-one symmetric-space rigidity. Its publisher abstract names quaternionic and Cayley hyperbolic rigidity cases. Those historical applications are not required parts of every derivative.[^ref-0c03b14ee7aa]

Clarity

A claim of Pansu differentiability needs the source and target groups, their dilations, the map and the point being tested. It also needs a group-homomorphic limit, rather than simply a coordinate slope. Saying a map is differentiable almost everywhere identifies a large set of points under a theorem's hypotheses; it does not calculate the derivative at a particular point.[ref-57fbac99379d][ref-3e6ae80e6e43]

Manages Complexity

The Heisenberg group can be written with familiar coordinates, but its multiplication and scaling are different from ordinary vector addition and uniform scaling. The Pansu derivative compresses the map's local behavior into one structure-preserving first-order map. That makes it possible to reason in the same geometry used to define distances and Lipschitz maps. The output need not be injective, and the existence of a derivative alone does not prove a mapping-degree result.[^ref-57fbac99379d]

Abstract Reasoning

Start with a map \(f:G\to K\) and a point \(p\). Move a small source displacement toward \(p\) using the source group's dilation. Translate the corresponding output back to the target identity, rescale it with the target dilation, and look for a limit. If one homogeneous group homomorphism emerges, it is the derivative at \(p\). If the limit does not exist there, this derivative is undefined there.[ref-57fbac99379d][ref-3e6ae80e6e43]

Knowledge Transfer

The same test works for a scalar target and a group target: the target's own law and dilation determine the type of the result. This transfer stays inside Carnot-group geometry. The live Convergence Prime supplies the required limiting relation; Function Mapping is the broader type of the derivative output. The familiar real-variable Derivative entry is a neighbor, but its ordinary quotient is not the defining group-scaled construction.

Example

Horizontal projection. On a Heisenberg group, let \(f(a,b,c)=a_1\), one horizontal coordinate. The group's translation and dilation properties make the scaled increment equal to \(a_1(q)\) at every scale, so \(D_Pf(p)(q)=a_1(q)\) at every point. Source → Heisenberg group; target → real numbers; map → coordinate projection; limit → real-valued homogeneous homomorphism. This is an explicit calculation from the cited definitions.[^ref-3e6ae80e6e43]

Heisenberg dilation. Let \(g=\delta_a\) multiply horizontal coordinates by \(a>0\) and the central coordinate by \(a^2\). Its translated and rescaled increment is \(\delta_a(q)\), so \(D_Pg(p)=\delta_a\) everywhere. Source and target are now both nonabelian Heisenberg groups. These simple worked maps show the construction; they do not prove the almost-everywhere theorem for arbitrary Lipschitz maps.[ref-3e6ae80e6e43][ref-57fbac99379d]

Relationships to Other Abstractions

Local relationship map for Pansu DerivativeParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Pansu DerivativeDOMAINPrime abstraction: Convergence — presupposesConvergencePRIMEPrime abstraction: Function (Mapping) — is a kind ofFunction(Mapping)PRIME

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

Neighborhood in Abstraction Space

Pansu Derivative sits in a sparse region of the domain-specific corpus (72nd 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 derivative: an additive difference quotient using ordinary scaling. Horizontal directional derivative: change along one privileged direction, which need not provide the full group-homomorphic approximation. Almost-everywhere theorem: a result about where derivatives exist under conditions, not an individual derivative value. Rigidity or extension theorem: a later argument using derivative information plus extra hypotheses. Any group homomorphism: it is the right output type only when it is the local limit of the specified map at the specified point.[ref-57fbac99379d][ref-3e6ae80e6e43]

References

[^ref-57fbac99379d]: 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.

[^ref-3e6ae80e6e43]: 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.

[^ref-0c03b14ee7aa]: 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.