arxiv: 2604.16618 · v1 · submitted 2026-04-17 · 🧮 math.MG

Recognition: unknown

A Lipschitz curve in a Carnot group that is purely unrectifiable by smooth horizontal curves

Gareth Speight, Scott Zimmerman

Pith reviewed 2026-05-10 06:34 UTC · model grok-4.3

classification 🧮 math.MG

keywords Carnot groupsLipschitz curvesrectifiabilityhorizontal curvesLusin propertyunrectifiable setsnilpotent groupsHaar measure

0 comments

The pith

A Lipschitz curve in the free Carnot group of step 3 with 2 generators intersects every C^1 horizontal curve in a set of measure zero.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a Lipschitz curve inside the free Carnot group of step 3 on two generators. This curve is built so that its intersection with any C^1 horizontal curve has Haar measure zero. The construction demonstrates that the C^1_H-Lusin property fails strongly in this setting. As a direct consequence the same curve is purely C^1_H 1-unrectifiable. The result highlights that 1-rectifiability in Carnot groups behaves differently from its Euclidean counterpart, where the Whitney extension theorem equates Lipschitz and C^1 rectifiability.

Core claim

In the free Carnot group of step 3 with two generators there exists a Lipschitz curve that meets every C^1 horizontal curve in a set of Haar measure zero; this implies the curve is purely C^1_H 1-unrectifiable and that the C^1_H-Lusin property fails in a strong sense.

What carries the argument

The constructed Lipschitz curve, whose graph is arranged using the nilpotent group law and Haar measure of the free step-3 Carnot group on two generators so that it separates from all C^1 horizontal curves up to measure zero.

If this is right

The C^1_H-Lusin property does not hold in this Carnot group.
Lipschitz curves can be purely C^1_H 1-unrectifiable.
1-rectifiability notions in Carnot groups are not equivalent to their Euclidean versions.
Whitney-type extension theorems do not bridge Lipschitz and C^1 horizontal rectifiability here.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar constructions may exist in other free or stratified Carnot groups of higher step.
The distinction between Lipschitz and C^1 rectifiability could affect the formulation of currents and minimal surfaces in sub-Riemannian settings.
New definitions of rectifiability adapted to the horizontal distribution may be needed for geometric measure theory in these groups.

Load-bearing premise

The algebraic structure and Haar measure of the free step-3 Carnot group on two generators permit a Lipschitz curve that stays measure-theoretically separated from every C^1 horizontal curve.

What would settle it

Exhibit a single C^1 horizontal curve whose intersection with the constructed Lipschitz curve has positive Haar measure.

read the original abstract

We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^{1}$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{H}$-Lusin property fails in a strong sense in this group, and we deduce that such a curve must be purely $C^1_H$ 1-unrectifiable. Hence 1-rectifiability in Carnot groups is wildly different to its counterpart in Euclidean spaces, wherein the Whitney Extension Theorem guarantees that Lipschitz rectifiability and $C^1$ rectifiability are equivalent.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an explicit Lipschitz curve in the free step-3 Carnot group on two generators that intersects every C^1 horizontal curve in a null set, proving the C^1_H-Lusin property fails and yielding pure unrectifiability unlike the Euclidean case.

read the letter

The main point is that the authors construct a Lipschitz curve in the free Carnot group of step 3 with two generators whose intersection with any C^1 horizontal curve has 1-Hausdorff measure zero. From this they conclude the curve is purely C^1_H 1-unrectifiable and that the C^1_H-Lusin property fails in a strong sense here, in contrast to Euclidean space where the Whitney extension theorem equates Lipschitz and C^1 rectifiability for curves.

Referee Report

2 major / 2 minor

Summary. The paper constructs a Lipschitz curve in the free Carnot group of step 3 with 2 generators that intersects every C^1 horizontal curve in a set of 1-Hausdorff measure zero. This shows that the C^1_H-Lusin property fails in a strong sense in this group, and deduces that such a curve must be purely C^1_H 1-unrectifiable. The result contrasts with Euclidean spaces, where the Whitney Extension Theorem guarantees equivalence of Lipschitz rectifiability and C^1 rectifiability.

Significance. If the construction holds, this provides an explicit counterexample showing that 1-rectifiability in Carnot groups differs substantially from the Euclidean case. The explicit, parameter-free construction (rather than a reduction to fitted parameters or prior self-citations) is a strength, as is the direct deduction from the measure-zero intersection property to pure unrectifiability. This advances geometric measure theory in sub-Riemannian settings by exhibiting a strong failure of approximation by smooth horizontal curves.

major comments (2)

§3 (Construction of the curve): the verification that the intersection with an arbitrary C^1 horizontal curve has 1-Hausdorff measure zero relies on the specific nilpotent group law and Haar measure in the free step-3 group on 2 generators; without an explicit computation of the measure on the intersection set, it is difficult to confirm that the property holds independently of the choice of horizontal curve.
§4 (Deduction of pure unrectifiability): the step from the measure-zero intersection to the conclusion that the curve is purely C^1_H 1-unrectifiable assumes that any positive-measure intersection would imply rectifiability, but the argument does not address whether the Lipschitz curve could still admit a C^1_H rectifiable subset of positive measure outside the constructed intersections.

minor comments (2)

The abstract uses C^{1}_{H} without prior definition; a brief reminder of the horizontal C^1 notion in the introduction would improve readability.
Notation for the free Carnot group (e.g., the generators and step) is introduced late; moving the group definition to the beginning of §2 would aid navigation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major comment in turn, providing clarifications on the arguments and indicating revisions where appropriate.

read point-by-point responses

Referee: §3 (Construction of the curve): the verification that the intersection with an arbitrary C^1 horizontal curve has 1-Hausdorff measure zero relies on the specific nilpotent group law and Haar measure in the free step-3 group on 2 generators; without an explicit computation of the measure on the intersection set, it is difficult to confirm that the property holds independently of the choice of horizontal curve.

Authors: The construction in §3 proceeds by concatenating horizontal line segments in directions chosen according to the free nilpotent group law on two generators of step 3, ensuring that at any potential intersection point with a C^1 horizontal curve σ the horizontal derivatives cannot agree on a positive-measure set. Using the explicit Baker-Campbell-Hausdorff formula, the coordinates of intersection points satisfy a system of polynomial equations derived from the group operation; the solution set is at most countable or lies in a lower-dimensional subvariety whose 1-Hausdorff measure vanishes with respect to the Haar measure on the group. This computation is independent of the particular choice of σ because it relies only on σ being C^1 (hence having a well-defined horizontal derivative) and on the fixed, parameter-free choice of directions in the construction, which are dense in the horizontal space in the appropriate sense. We will expand the exposition in §3 with a more detailed step-by-step computation of the measure of the intersection to address the concern. revision: yes
Referee: §4 (Deduction of pure unrectifiability): the step from the measure-zero intersection to the conclusion that the curve is purely C^1_H 1-unrectifiable assumes that any positive-measure intersection would imply rectifiability, but the argument does not address whether the Lipschitz curve could still admit a C^1_H rectifiable subset of positive measure outside the constructed intersections.

Authors: The argument in §4 is by contradiction and applies to every possible C^1_H rectifiable subset, not merely to intersections with particular curves. Let γ be the constructed Lipschitz curve. Suppose E ⊂ γ has positive 1-Hausdorff measure and is C^1_H 1-rectifiable. Then, up to a null set, E is contained in the union of countably many C^1 horizontal curves σ_i. By the property established in §3, γ ∩ σ_i has 1-Hausdorff measure zero for each i. Countable subadditivity then implies that γ ∩ (∪ σ_i) has measure zero, so E has measure zero, a contradiction. The argument therefore rules out any positive-measure C^1_H rectifiable subset whatsoever; there are no 'outside' subsets that escape the covering by the σ_i. We will add a short clarifying paragraph in §4 spelling out this countable-union step. revision: partial

Circularity Check

0 steps flagged

No significant circularity; explicit construction is self-contained

full rationale

The paper's central result is an explicit construction of a Lipschitz curve in the free Carnot group of step 3 on 2 generators whose intersection with every C¹ horizontal curve has 1-Hausdorff measure zero. This property directly implies failure of the C¹_H-Lusin property and, by standard definitions in geometric measure theory, that the curve is purely C¹_H 1-unrectifiable. No load-bearing step reduces to a fitted parameter, self-citation chain, or definitional tautology; the algebraic and measure-theoretic arguments rely on the group's structure without importing uniqueness theorems or ansatzes from prior self-work. The deduction from intersection property to pure unrectifiability follows from the definition of pure unrectifiability rather than any circular renaming or smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions of Carnot groups, horizontal curves, and Haar measure; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)

domain assumption The free Carnot group of step 3 with 2 generators admits a well-defined horizontal distribution and Haar measure compatible with the group law.
Invoked to define C^1 horizontal curves and to measure intersections.

pith-pipeline@v0.9.0 · 5399 in / 1271 out tokens · 43508 ms · 2026-05-10T06:34:16.443025+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

37 extracted references

[1]

Andrei Agrachev, Davide Barilari, and Ugo Boscain.A comprehensive introduction to sub-Riemannian geometry. Vol. 181. Cambridge Studies in Advanced Mathematics. From the Hamiltonian viewpoint, With an appendix by Igor Zelenko. Cambridge University Press, Cambridge, 2020, pp. xviii+745

2020
[2]

Luigi Ambrosio and Paolo Tilli.Topics on analysis in metric spaces. Vol. 25. Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford, 2004, pp. viii+133

2004
[3]

On rectifiable measures in Carnot groups: existence of density

Gioacchino Antonelli and Andrea Merlo. “On rectifiable measures in Carnot groups: existence of density”. In:J. Geom. Anal.32.9 (2022), Paper No. 239, 67

2022
[4]

Characterization ofn-rectifiability in terms of Jones’ square function: Part II

Jonas Azzam and Xavier Tolsa. “Characterization ofn-rectifiability in terms of Jones’ square function: Part II”. In:Geom. Funct. Anal.25.5 (2015), pp. 1371– 1412

2015
[5]

G 2 and the rolling ball

John C. Baez and John Huerta. “G 2 and the rolling ball”. In:Trans. Amer. Math. Soc.366.10 (2014), pp. 5257–5293

2014
[6]

Sets with constant normal in Carnot groups: properties and examples

Costante Bellettini and Enrico Le Donne. “Sets with constant normal in Carnot groups: properties and examples”. In:Comment. Math. Helv.96.1 (2021), pp. 149– 198

2021
[7]

On fundamental geometric properties of plane line-sets

A. S. Besicovitch. “On fundamental geometric properties of plane line-sets”. In:J. London Math. Soc.39 (1964), pp. 441–448

1964
[8]

Bonfiglioli, E

A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni.Stratified Lie groups and potential the- ory for their sub-Laplacians. Springer Monographs in Mathematics. Springer, Berlin, 2007, pp. xxvi+800

2007
[9]

AC k Lusin approximation theorem for real-valued functions on Carnot groups

Marco Capolli, Andrea Pinamonti, and Gareth Speight. “AC k Lusin approximation theorem for real-valued functions on Carnot groups”. In:Indiana Univ. Math. J. 72.4 (2023), pp. 1327–1365

2023
[10]

AC m Lusin approxima- tion theorem for horizontal curves in the Heisenberg group

Marco Capolli, Andrea Pinamonti, and Gareth Speight. “AC m Lusin approxima- tion theorem for horizontal curves in the Heisenberg group”. In:Calc. Var. Partial Differential Equations60.1 (2021), Paper No. 49, 22

2021
[11]

A rectifiability result for finite-perimeter sets in Carnot groups

Sebastiano Don et al. “A rectifiability result for finite-perimeter sets in Carnot groups”. In:Indiana Univ. Math. J.71.5 (2022), pp. 2233–2258

2022
[12]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy.Measure theory and fine properties of functions. Revised. Textbooks in Mathematics. CRC Press, Boca Raton, FL, 2015, pp. xiv+299

2015
[13]

Herbert Federer.Geometric measure theory. Vol. Band 153. Die Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York, Inc., New York, 1969, pp. xiv+676

1969
[14]

G. B. Folland and Elias M. Stein.Hardy spaces on homogeneous groups. Vol. 28. Mathematical Notes. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982, pp. xii+285. REFERENCES 25

1982
[15]

Rectifiability and perimeter in the Heisenberg group

Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano. “Rectifiability and perimeter in the Heisenberg group”. In:Math. Ann.321.3 (2001), pp. 479–531

2001
[16]

Positive length but zero analytic capacity

John Garnett. “Positive length but zero analytic capacity”. In:Proc. Amer. Math. Soc.24 (1970), 696–699, errata, ibid. 26 (1970), 701

1970
[17]

On conditions for unrectifiability of a metric space

Piotr Haj lasz and Soheil Malekzadeh. “On conditions for unrectifiability of a metric space”. In:Anal. Geom. Metr. Spaces3.1 (2015), pp. 1–14

2015
[18]

Geodesics in the Heisenberg group

Piotr Haj lasz and Scott Zimmerman. “Geodesics in the Heisenberg group”. In:Anal. Geom. Metr. Spaces3.1 (2015), pp. 325–337

2015
[19]

Pliability, or the Whitney extension theorem for curves in Carnot groups

Nicolas Juillet and Mario Sigalotti. “Pliability, or the Whitney extension theorem for curves in Carnot groups”. In:Anal. PDE10.7 (2017), pp. 1637–1661

2017
[20]

Rectifiable metric spaces: local structure and regularity of the Hausdorff measure

Bernd Kirchheim. “Rectifiable metric spaces: local structure and regularity of the Hausdorff measure”. In:Proc. Amer. Math. Soc.121.1 (1994), pp. 113–123

1994
[21]

Characteristic points, rectifiability and perimeter measure on stratified groups

Valentino Magnani. “Characteristic points, rectifiability and perimeter measure on stratified groups”. In:J. Eur. Math. Soc. (JEMS)8.4 (2006), pp. 585–609

2006
[22]

Towards differential calculus in stratified groups

Valentino Magnani. “Towards differential calculus in stratified groups”. In:J. Aust. Math. Soc.95.1 (2013), pp. 76–128

2013
[23]

Richard Montgomery.A tour of subriemannian geometries, their geodesics and ap- plications. Vol. 91. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2002, pp. xx+259

2002
[24]

Distances, boundaries and surface measures in Carnot-Carath´ eodory spaces

Roberto Monti. “Distances, boundaries and surface measures in Carnot-Carath´ eodory spaces”. PhD Thesis. PhD thesis. Trento, Italy: University of Trento, 2001

2001
[25]

M´ etriques de Carnot-Carath´ eodory et quasiisom´ etries des espaces sym´ etriques de rang un

Pierre Pansu. “M´ etriques de Carnot-Carath´ eodory et quasiisom´ etries des espaces sym´ etriques de rang un”. In:Ann. of Math. (2)129.1 (1989), pp. 1–60

1989
[26]

A notion of rectifiability modeled on Carnot groups

Scott D. Pauls. “A notion of rectifiability modeled on Carnot groups”. In:Indiana Univ. Math. J.53.1 (2004), pp. 49–81

2004
[27]

AC m Whitney exten- sion theorem for horizontal curves in the Heisenberg group

Andrea Pinamonti, Gareth Speight, and Scott Zimmerman. “AC m Whitney exten- sion theorem for horizontal curves in the Heisenberg group”. In:Trans. Amer. Math. Soc.371.12 (2019), pp. 8971–8992

2019
[28]

Higher order Whitney extension and Lusin approximation for horizontal curves in the Heisenberg group

Andrea Pinamonti, Gareth Speight, and Scott Zimmerman. “Higher order Whitney extension and Lusin approximation for horizontal curves in the Heisenberg group”. In:J. Math. Pures Appl. (9)188 (2024), pp. 320–344

2024
[29]

Geometry of measures inR n: distribution, rectifiability, and densi- ties

David Preiss. “Geometry of measures inR n: distribution, rectifiability, and densi- ties”. In:Ann. of Math. (2)125.3 (1987), pp. 537–643

1987
[30]

Lusin approximation and horizontal curves in Carnot groups

Gareth Speight. “Lusin approximation and horizontal curves in Carnot groups”. In: Rev. Mat. Iberoam.32.4 (2016), pp. 1423–1444

2016
[31]

AC m,ω Whitney extension theorem for horizontal curves in the Heisenberg group

Gareth Speight and Scott Zimmerman. “AC m,ω Whitney extension theorem for horizontal curves in the Heisenberg group”. In:J. Geom. Anal.33.6 (2023), Paper No. 182, 24

2023
[32]

Directional pliability, Whitney extension, and Lusin approximation for curves in Carnot groups

Gareth Speight and Scott Zimmerman. “Directional pliability, Whitney extension, and Lusin approximation for curves in Carnot groups”. In:Ann. Fenn. Math.50.2 (2025), pp. 665–684. 26 REFERENCES

2025
[33]

Analytic extensions of differentiable functions defined in closed sets

Hassler Whitney. “Analytic extensions of differentiable functions defined in closed sets”. In:Trans. Amer. Math. Soc.36.1 (1934), pp. 63–89

1934
[34]

On variational approach to differential invariants of rank two distri- butions

Igor Zelenko. “On variational approach to differential invariants of rank two distri- butions”. In:Differential Geom. Appl.24.3 (2006), pp. 235–259

2006
[35]

On the equivalence of derivatives for maps between Carnot groups

Scott Zimmerman. “On the equivalence of derivatives for maps between Carnot groups”. In:Commun. Pure Appl. Anal.24.10 (2025), pp. 1962–1972

2025
[36]

The Whitney extension theorem forC 1, horizontal curves in the Heisenberg group

Scott Zimmerman. “The Whitney extension theorem forC 1, horizontal curves in the Heisenberg group”. In:J. Geom. Anal.28.1 (2018), pp. 61–83

2018
[37]

Whitney’s extension theorem and the finiteness principle for curves in the Heisenberg group

Scott Zimmerman. “Whitney’s extension theorem and the finiteness principle for curves in the Heisenberg group”. In:Rev. Mat. Iberoam.39.2 (2023), pp. 539–562. Department of Mathematical Sciences, University of Cincinnati, 2815 Commons W ay, Cincinnati, OH 45221, United States Email address:Gareth.Speight@uc.edu Department of Mathematics, The Ohio State Un...

2023