TITLE

Intrinsic reconstruction of the algebraic tangent structure of regular equiregular Carnot–Carathéodory spaces: a dependency audit of the classical theory and the dilatation-structure approach

ROLE

Act as a research-level mathematician with expertise in:

• metric geometry;
• sub-Riemannian/Carnot–Carathéodory geometry;
• Carnot groups and nilpotent Lie groups;
• geometric group theory;
• Lie theory;
• dilatation structures;
• tangent cones and tangent groupoids;
• Gromov–Hausdorff convergence;
• differential geometry.

The task is not to produce a survey or a conventional exposition.

The task is to perform a rigorous mathematical audit of a specific logical question and, if possible, either prove the desired intrinsic theorem or produce a counterexample/obstruction.

Be adversarial rather than confirmatory. Do not assume that the suspected circularity described below exists. Do not assume that it does not exist. Determine which is correct.

---

1. THE BASIC MATHEMATICAL QUESTION

---

Let (M,d) be a locally compact, locally geodesic metric space which is known abstractly to be locally isometric to the Carnot–Carathéodory metric of a regular equiregular sub-Riemannian manifold.

The metric d is the only geometric structure regarded as part of the input.

Classical sub-Riemannian differential geometry associates to each point x a nilpotent approximation, which is a Carnot group G_x equipped with a homogeneous Carnot–Carathéodory metric and dilations.

The classical construction uses differential-geometric information such as:

• a horizontal distribution;
• vector fields;
• Lie brackets;
• the bracket-generating filtration;
• adapted/privileged coordinates;
• normal frames;
• nilpotent approximation;
• differential operators;
• asymptotic estimates proved using these structures.

The fundamental question is:

Is the algebraic structure of the infinitesimal tangent
canonically determined by the metric d alone?

More precisely, can one derive, from d alone and without using an underlying differential-geometric realization during the construction,

(a) an appropriate infinitesimal dilation structure;
(b) the coherent relations between the infinitesimal structures at
    different base points;
(c) the limiting approximate algebraic operations;
(d) the tangent group;
(e) and finally the fact that this tangent group is the classical
    Carnot group?

The question must be treated as a logical reconstruction problem, not merely as a question of whether classical tangent cones happen to be isometric to Carnot groups.

---

2. AN ESSENTIAL REQUIREMENT: UNIFORMITY IN THE BASE POINT

---

A pointwise construction at a fixed p is NOT sufficient.

The desired intrinsic structure, if it exists, should be a coherent family over an open subset U of M:

    {delta^x_epsilon : x in U, epsilon > 0}

together with any additional structure needed to compare the infinitesimal objects based at different x.

All relevant convergence statements must be examined with their exact quantifiers.

In particular, distinguish carefully between:

for every x,
lim_{epsilon -> 0} F(epsilon,x) = 0,

and

for every compact K contained in U,

lim_{epsilon -> 0}
    sup_{x in K} |F(epsilon,x)| = 0.

Likewise distinguish pointwise convergence in (x,u,v) from locally uniform convergence simultaneously in all variables.

A collection of independently constructed tangent cones

    {T_x M}_{x in M}

does not by itself solve the problem.

The problem concerns the existence of a coherent infinitesimal structure varying over x, with the uniformity required to define and control the approximate algebraic operations.

---

3. THREE DISTINCT RECONSTRUCTION QUESTIONS

---

Keep the following questions logically separate.

QUESTION A:

Can the metric d_CC alone determine a suitable family of dilations
delta^x_epsilon?

QUESTION B:

Assuming a suitable dilation structure has been obtained, can the
coherent-projection structure required in Buliga's intrinsic
characterization be reconstructed from d_CC and the dilation structure?

QUESTION C:

Assuming the relevant dilation/coherent-projection axioms, does the
intrinsic algebraic machinery produce a tangent group, and under what
additional assumptions can one prove that it is a Carnot group?

Do not use a positive answer to B or C as evidence that A is true.

In particular, an axiomatic characterization of sub-Riemannian spaces by dilatation structures is not automatically a theorem saying that the dilatation structure itself is reconstructible from the CC metric.

---

4. PRIMARY REFERENCE: BULIGA

---

Read and analyze in detail:

Marius Buliga, “Sub-riemannian geometry from intrinsic viewpoint”, arXiv:1206.3093.

URL: https://arxiv.org/abs/1206.3093

Also read:

Marius Buliga, “A characterization of sub-riemannian spaces as length dilatation structures constructed via coherent projections”, arXiv:0810.5042.

URL: https://arxiv.org/abs/0810.5042

The second paper was published in: Communications in Mathematical Analysis 11 (2011), 70–111.

Do not rely on secondary descriptions of these papers.

Reconstruct their definitions, axioms, propositions, and logical dependencies as accurately as possible.

In particular, analyze:

• dilatation structures;
• length dilatation structures;
• tempered dilatation structures;
• coherent projections;
• approximate difference;
• approximate sum;
• approximate inverse;
• the uniformity requirements;
• the limiting algebraic operations;
• the relation between the two dilation structures in the intrinsic characterization;
• the precise role of the CC metric;
• the precise role of the additional dilation data.

---

5. IMPORTANT DISTINCTION IN BULIGA’S PROGRAM

---

Do not conflate the following two assertions:

(A)

Sub-Riemannian geometry can be axiomatized intrinsically using
dilatation structures and coherent projections.

(B)

Given only the CC metric d_CC, one can intrinsically reconstruct the
required dilatation structures and coherent projections.

Determine independently whether (A) and (B) are true.

The existence of an intrinsic axiomatization does not logically imply that the extra axiomatic structure is uniquely or canonically reconstructible from the metric alone.

In particular, investigate whether the actual intrinsic object should be regarded as:

(M,d)

or

(M,d,delta)

or

(M,d,delta,Q)

where Q denotes the coherent-projection structure.

This distinction is central to the investigation.

---

6. THE CLASSICAL DIFFERENTIAL-GEOMETRIC ROUTE

---

Reconstruct the classical proof architecture as accurately as possible.

The rough schematic route is:

(M,D,g)
   |
   v
vector fields / brackets
   |
   v
bracket filtration
   |
   v
adapted or privileged coordinates / normal frames
   |
   v
nilpotent approximation
   |
   v
infinitesimal dilations
   |
   v
tangent Carnot group
   |
   v
metric tangent theorem

Determine the actual logical order in the relevant literature.

Do not accept the schematic diagram as a fact; verify it.

For every important theorem, state:

1. its hypotheses;
2. its exact conclusion;
3. which parts of the conclusion are metric;
4. which parts are differential-geometric;
5. whether its proof uses the algebraic structure that the intrinsic approach is trying to derive;
6. whether the theorem can be reformulated using only metric data;
7. whether such a reformulation has actually been proved.

---

7. AUTHORS AND RESULTS TO AUDIT

---

At minimum investigate the roles of:

• Bellaïche;
• Gromov;
• Mitchell;
• Margulis and Mostow;
• Siebert;
• Montgomery and Zippin;
• Buliga.

Do not assume that these authors are all proving the same statement.

Separate carefully:

metric tangent-cone existence;

identification of a metric tangent with a nilpotent approximation;

construction of a tangent bundle;

construction of a tangent group bundle;

construction of a tangent groupoid;

existence of dilations;

existence of a contractive group;

existence of a graded Lie group;

existence of a stratified/Carnot Lie group.

These are different conclusions.

---

8. MARGULIS–MOSTOW AND THE TANGENT-GROUPOID ISSUE

---

Investigate in particular:

G. A. Margulis and G. D. Mostow, “Some remarks on the definition of tangent cones in a Carnot-Carathéodory space”, Journal d’Analyse Mathématique 80 (2000), 299–317.

DOI: 10.1007/BF02791539

Determine exactly:

1. what tangent object they define;
2. what structure is used in its construction;
3. whether the construction is metric, differential-geometric, or mixed;
4. what uniformity in the base point is established;
5. what algebraic structure is obtained;
6. what is assumed rather than derived;
7. whether the construction yields a group structure;
8. whether the result is a tangent bundle, a tangent group bundle, a tangent groupoid, or some combination;
9. what logical gap, if any, was being addressed;
10. whether the result actually settles the intrinsic metric question.

Do not infer a logical gap merely because the proof uses differential geometry. A proof can be non-intrinsic without being circular.

Conversely, do not infer absence of circularity merely because the final statement is phrased intrinsically.

Locate exact dependencies.

---

9. THE CENTRAL CIRCULARITY HYPOTHESIS

---

Investigate the following possible circularity.

The desired intrinsic theorem would begin with:

metric CC data

and end with:

a canonical Carnot algebraic tangent.

But classical proofs may proceed through:

differential structure
    ->
filtration / privileged coordinates
    ->
nilpotent structure
    ->
tangent algebra.

The suspicion is that some theorem used in proving the metric tangent theorem already relies, directly or indirectly, on essentially the same nilpotent/differential-geometric structure that the intrinsic theorem is supposed to recover.

This should NOT be accepted as established.

Instead, formulate it as a falsifiable hypothesis:

H:
Every known proof of the implication
    CC metric -> Carnot tangent algebra
contains an essential dependency on differential-geometric structure
which cannot currently be reconstructed from the metric data alone.

Attempt both to prove and to refute H.

---

10. DEPENDENCY-GRAPH AUDIT

---

Construct an explicit dependency graph.

Every significant proposition should be a node.

Every logical dependence should be an arrow.

Label each node or edge using the following categories:

M  = purely metric
L  = limiting / compactness argument
U  = uniformity argument
A  = algebraic consequence
D  = differential-geometric input
N  = nilpotent/Carnot input
Q  = coherent-projection input
G  = group-theoretic input
C  = imported classical theorem

The graph should distinguish:

theorem uses another theorem

from:

theorem merely has a stronger hypothesis than necessary.

Search explicitly for cycles such as:

N -> P1 -> P2 -> ... -> N

or

D -> P1 -> P2 -> ... -> D.

If such a cycle exists, determine whether it is:

(i) a genuine logical circularity;
(ii) merely an inefficient proof;
(iii) a circularity only in a proposed intrinsic proof;
(iv) a harmless use of an independently established theorem;
(v) not a circularity at all.

---

11. THE UNIFORMITY AUDIT

---

For every asymptotic statement in the relevant proofs, write its quantifiers explicitly.

In particular identify all statements of the form

F_epsilon(x,u,v) -> 0

and determine whether the convergence is:

pointwise in x;

locally uniform in x;

locally uniform in (x,u,v);

uniform only after choosing privileged coordinates;

uniform only after choosing a normal frame;

uniform with constants depending on the underlying differential
structure.

Pay special attention to any argument that establishes a tangent at each point separately and then asserts or implicitly uses a tangent bundle or coherent family.

Determine whether the passage

pointwise tangents
    ->
coherent tangent structure over U

is genuinely justified by metric arguments or is supplied by differential geometry.

---

12. APPROXIMATE ALGEBRA

---

Analyze the construction of approximate operations from dilations.

Investigate expressions of the schematic form

Delta^x_epsilon(u,v),
Sigma^x_epsilon(u,v),
inv^x_epsilon(u).

Determine exactly which convergence hypotheses imply limits

Delta^x_epsilon -> Delta^x,
Sigma^x_epsilon -> Sigma^x,
inv^x_epsilon -> inv^x.

Determine whether the group axioms follow formally from those limits.

In particular, identify which steps are genuinely algebraic and which steps require geometric input.

If the algebraic extraction is completely intrinsic once the dilation structure and uniformity axioms are assumed, state this as a positive result.

Do not continue to invoke differential geometry after the intrinsic axioms have already supplied what is needed.

---

13. THE “CONICAL -> CARNOT” PROBLEM

---

Separate the following implications:

metric tangent
    ->
contractive/conical group
    ->
homogeneous/graded Lie group
    ->
stratified/Carnot group.

Do not identify these automatically.

Analyze precisely what is supplied by Siebert’s theorem concerning locally compact groups admitting contracting automorphisms.

Determine whether Siebert’s result gives exactly the structure needed for a Carnot group, or only part of it.

If additional hypotheses are required, identify them.

In particular investigate whether the CC/length structure supplies those additional hypotheses intrinsically.

Do not use the existence of a known classical Carnot structure to prove that the abstract tangent group is Carnot.

---

14. POSSIBLE COUNTEREXAMPLES

---

Actively search for counterexamples to each implication.

Counterexample type A:

Two metric realizations with the same local metric structure but
different auxiliary dilation structures.

Question: Is the dilation structure canonical, or only one possible enhancement?

Counterexample type B:

A dilation structure satisfying the relevant abstract axioms whose
tangent group is contractive/homogeneous but not Carnot.

Question: Does the abstract dilation theory force the Carnot property?

Counterexample type C:

A metric space in which every point has a Carnot metric tangent,
but no locally uniform coherent family of tangent structures exists.

Question: Is pointwise Carnot tangency insufficient?

Counterexample type D:

Two non-isomorphic algebraic tangent structures compatible with the
same metric tangent.

Question: Is the algebraic tangent uniquely determined by the metric?

Counterexample type E:

A construction in which the algebraic structure is canonical but
the dilations or coherent projections are not.

Question: Is (delta,Q) auxiliary even if the tangent group itself is intrinsic?

---

15. NATURALITY / ISOMETRY INVARIANCE

---

Investigate the following stronger formulation.

Let

F : (M,d_M) -> (N,d_N)

be a local isometry between regular equiregular CC metric spaces.

Does F necessarily induce, from metric data alone, a canonical isomorphism

T_x M -> T_{F(x)} N

of the algebraic tangent objects?

If yes, determine exactly what is preserved:

metric;
dilations;
group operation;
inverse;
grading;
stratification;
horizontal norm.

If this naturality theorem can be proved independently of differential geometry, it would be strong evidence that the tangent algebra is genuinely metric-intrinsic.

---

16. GAUGE / NONUNIQUENESS ISSUE

---

Do not assume that failure to reconstruct a particular family of dilations means failure to reconstruct the tangent algebra.

Investigate separately:

uniqueness of delta;

uniqueness of Q;

uniqueness of the pair (delta,Q);

uniqueness up to natural equivalence;

uniqueness of the tangent metric;

uniqueness of the tangent group;

uniqueness of the stratification.

It is possible in principle that

d_CC

determines the tangent Carnot group canonically while admitting several noncanonical choices of auxiliary dilation structures.

Determine whether this occurs.

---

17. STRICT NOTION OF “INTRINSIC”

---

Define at least three notions:

LEVEL 1: Metric-intrinsic: constructed from (M,d) alone.

LEVEL 2: Dilatationally intrinsic: constructed from (M,d,delta) or an equivalent metric+dilation structure.

LEVEL 3: Differential-geometrically intrinsic: canonical relative to the underlying sub-Riemannian manifold but allowed to use D, brackets, vector fields, etc.

Do not use the word “intrinsic” without specifying which level is meant.

Determine which results in the literature belong to which level.

---

18. DO NOT CONFUSE AXIOMATIZATION WITH RECONSTRUCTION

---

This distinction is mandatory.

An assertion of the form

"If a metric space is equipped with a dilation structure satisfying
 axioms A1,...,An, then it has property P"

does NOT establish

"Every CC metric canonically determines such a dilation structure."

The latter requires a separate reconstruction theorem.

Explicitly identify this logical distinction whenever relevant.

---

19. DO NOT ASSUME THE CLASSICAL MODEL IS THE ONLY MODEL

---

If Buliga’s axioms admit more structures than classical regular equiregular CC spaces, identify them.

If they do not, prove or cite the precise characterization.

Determine whether the axioms characterize:

CC metric spaces;

sub-Riemannian spaces with extra data;

a larger class of metric spaces;

or something else.

If the axioms characterize a larger class, determine whether the additional hypothesis needed to recover classical Carnot tangents is itself intrinsically expressible.

---

20. RELATION TO TANGENT GROUPOIDS

---

Investigate the distinction between:

metric tangent cone;

tangent bundle;

tangent group bundle;

tangent groupoid.

Determine whether the existence of a tangent groupoid is:

stronger than;

equivalent to;

weaker than;

or logically independent of

the existence of a canonical algebraic metric tangent.

Pay particular attention to constructions based on differential-geometric Carnot filtrations and determine whether they establish an intrinsic metric theorem or instead provide a differential-geometric realization of a structure already known by other means.

Do not treat “tangent groupoid” as automatically synonymous with “metric tangent group.”

---

21. REQUIRED OUTCOMES

---

The final investigation must produce one of the following types of result.

OUTCOME I — POSITIVE INTRINSIC THEOREM

Prove that the tangent algebra can be reconstructed from the CC metric alone, with all necessary uniformity in the base point.

Then provide a completely metric/algebraic proof up to the final identification with the classical tangent.

OUTCOME II — CONDITIONAL POSITIVE THEOREM

Show that the reconstruction follows from an explicitly stated additional metric/dilatational hypothesis H.

Prove:

(M,d_CC) + H -> tangent Carnot algebra.

Then determine whether H is already known to follow from d_CC.

OUTCOME III — NONUNIQUENESS

Show that the metric determines a tangent object but does not canonically determine the auxiliary dilation/coherent-projection structure.

Determine whether the algebraic tangent remains canonical.

OUTCOME IV — OBSTRUCTION

Prove that some necessary step cannot follow from metric data alone, or construct a counterexample.

State exactly what fails.

OUTCOME V — OPEN PROBLEM

If the question remains unresolved, identify the precise unresolved proposition rather than merely stating that “the literature is unclear.”

Give the weakest clearly formulated conjecture which would settle it.

---

22. REQUIRED FINAL STRUCTURE OF THE REPORT

---

The final report must contain:

PART A — Executive conclusion

State in no more than two pages:

What is known?
What is not known?
Where is the strongest genuine logical gap?
Is there evidence for circularity?
Is there evidence against it?
What would settle the issue?

PART B — Definitions

Give exact definitions of every relevant intrinsic object.

PART C — Classical dependency graph

Give the differential-geometric route and its dependencies.

PART D — Buliga dependency graph

Give the dilation-structure/coherent-projection route.

PART E — Metric reconstruction audit

Analyze whether

d_CC -> delta

is proved.

PART F — Coherent-projection audit

Analyze whether

(d_CC,delta) -> Q

is proved.

PART G — Algebra audit

Analyze whether

(d,delta,Q) -> tangent group

is formally/algebraically valid.

PART H — Carnot audit

Analyze whether

tangent group -> Carnot group

requires additional input.

PART I — Counterexamples

Report every serious candidate and whether it succeeds.

PART J — Dependency DAG

Provide a machine-readable and human-readable dependency graph.

PART K — Minimal theorem

State the weakest theorem that would resolve the main question.

PART L — Research agenda

List the smallest number of concrete mathematical lemmas which, if proved, would settle the remaining uncertainty.

---

23. STRICT EVIDENCE POLICY

---

For every important claim, classify it as exactly one of:

ESTABLISHED THEOREM
DIRECT CONSEQUENCE
PLAUSIBLE BUT UNPROVED
HEURISTIC
CONJECTURE
OPEN / UNKNOWN
FALSE
COUNTEREXAMPLE

Never convert a plausible argument into a theorem by prose.

If citing a theorem, give:

author;
paper/book;
theorem/proposition number if available;
exact hypotheses;
exact conclusion;
relevance to the present problem.

If the theorem is being used in a way stronger than its published statement, say so explicitly.

If the source is inaccessible, say that rather than reconstructing a possibly inaccurate theorem from memory.

---

24. IMPORTANT ADVERSARIAL INSTRUCTIONS

---

Do NOT:

• agree with the premise merely because it sounds plausible;
• assume that classical proofs are circular merely because they use differential geometry;
• assume that the metric tangent is algebraically structured merely because a classical realization of it is;
• assume that a dilation structure is uniquely determined by a metric;
• assume that pointwise convergence implies uniform convergence;
• assume that Siebert’s theorem gives the full Carnot property;
• assume that an intrinsic axiomatization is a reconstruction theorem;
• use privileged coordinates secretly under another name;
• invoke “standard arguments” at precisely the points where the logical issue is located;
• cite a theorem whose conclusion already contains the desired result without identifying that fact.

Do:

• attempt to break every proposed proof;
• distinguish logical implication from mathematical equivalence;
• distinguish existence from canonicality;
• distinguish pointwise from uniform statements;
• distinguish metric structure from auxiliary dilation structure;
• distinguish contractive groups from Carnot groups;
• distinguish tangent cones from tangent group bundles;
• distinguish differential-geometric realizations from metric reconstruction.

---

25. A PARTICULARLY IMPORTANT QUESTION

---

Determine whether the following diagram can be made into a rigorous theorem:

                metric data
                    |
                    v
             d_CC on M
                    |
                    ?
                    v
          coherent infinitesimal
             dilation structure
                (delta,Q)
                    |
                    v
          approximate operations
                    |
                    v
             tangent group
                    |
                    ?
                    v
              Carnot group

For each question mark, determine whether the implication is:

proved;
false;
conditionally true;
true only after adding an axiom;
or currently unresolved.

The two question marks must be treated independently.

---

26. THE STRONGEST POSSIBLE FORMULATION

---

Investigate the following conjecture.

INTRINSIC CARNOT TANGENT CONJECTURE.

For every regular equiregular CC metric space (M,d), the metric d canonically determines, at every x, a pointed metric tangent equipped with a canonical group operation and canonical homogeneous dilations, and these structures vary locally uniformly with x.

Moreover, the resulting tangent group is canonically isomorphic to the nilpotent approximation of any differential-geometric realization of (M,d) as a regular equiregular sub-Riemannian manifold.

Determine whether this conjecture is true, false, or open.

If it is too strong, find the weakest natural modification.

---

27. A POSSIBLE “PARALLEL POSTULATE” PHENOMENON

---

Investigate, without assuming that the analogy is correct, the following possibility.

Perhaps classical sub-Riemannian differential geometry provides a particularly convenient realization (“model”) of a more primitive metric/dilatational geometry, just as a particular model of a geometric axiom system may provide a realization without proving that the corresponding axiom is intrinsically forced.

The mathematical question is not whether this analogy is philosophically interesting.

The question is whether there exists a genuine logical gap of the form:

CC metric
    -> ?
    -> Carnot tangent.

If such a gap exists, identify its exact mathematical content.

If it does not exist, give the intrinsic proof that closes it.

---

28. FINAL TEST

---

At the end, answer the following five questions separately.

1. Does the CC metric alone canonically determine the tangent algebra?

2. Does it canonically determine a Buliga-type dilation structure?

3. Does it canonically determine the coherent projection structure?

4. Does the intrinsic algebraic machinery require any differential-geometric input once the relevant dilation/coherent-projection axioms are assumed?

5. Does a contractive/homogeneous tangent group obtained intrinsically have to be a Carnot group?

For each answer give exactly one of:

YES
NO
YES, UNDER EXPLICIT HYPOTHESIS
UNKNOWN

and then justify the answer rigorously.

---

29. STANDARD OF SUCCESS

---

A successful answer is NOT one that gives a convincing narrative.

A successful answer must either:

(a) produce a complete proof with audited dependencies;

or

(b) identify a precise missing theorem/lemma and explain why existing
    results do not supply it;

or

(c) produce a rigorous counterexample;

or

(d) prove an obstruction/non-reconstructibility theorem.

If the investigation does not reach one of these outcomes, state precisely where it stops and why.

---

30. REFERENCES TO BEGIN WITH

---

[1] M. Buliga, “Sub-riemannian geometry from intrinsic viewpoint,” arXiv:1206.3093. https://arxiv.org/abs/1206.3093

[2] M. Buliga, “A characterization of sub-riemannian spaces as length dilatation structures constructed via coherent projections,” arXiv:0810.5042. https://arxiv.org/abs/0810.5042

[3] G. A. Margulis and G. D. Mostow, “Some remarks on the definition of tangent cones in a Carnot-Carathéodory space,” Journal d’Analyse Mathématique 80 (2000), 299–317. DOI:10.1007/BF02791539

Also investigate the relevant primary sources of:

Bellaïche;
Gromov;
Mitchell;
Siebert;
Montgomery–Zippin;

and any later work which materially changes the status of the problem.

Do not limit the investigation to the references above if subsequent work has resolved, weakened, or refuted any of the questions.

END OF RESEARCH PROMPT