A note on flatness of non separable tangent cone

Thibaut Le Gouic

arxiv: 1906.11536 · v1 · pith:TAKNTPYCnew · submitted 2019-06-27 · 🧮 math.MG

A note on flatness of non separable tangent cone

Thibaut Le Gouic This is my paper

Pith reviewed 2026-05-25 14:01 UTC · model grok-4.3

classification 🧮 math.MG

keywords Alexandrov spacestangent conesexponential barycenterHilbert spacecurvature boundsprobability measuresmetric geometry

0 comments

The pith

The support of the pushforward of a probability measure onto the tangent cone at its exponential barycenter lies inside a Hilbert space, without any separability assumption on the cone.

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

The paper establishes that for a probability measure on an Alexandrov space with curvature bounded from below, the image of the measure under the exponential map to the tangent cone at the barycenter has its support contained in a Hilbert subspace. This conclusion is reached without assuming the tangent cone itself is separable. The result matters because many natural tangent cones in metric geometry are non-separable, and the flatness property lets one treat the measure's local behavior as if it lived in a linear Hilbert space. It directly addresses the geometry of barycenters and their tangent structures under lower curvature bounds.

Core claim

Given a probability measure P on an Alexandrov space S with curvature bounded below, the support of the pushforward of P on the tangent cone at its exponential barycenter is a subset of a Hilbert space, without requiring separability of the tangent cone.

What carries the argument

The tangent cone at the exponential barycenter of P, together with the pushforward measure whose support is shown to lie inside a Hilbert subspace.

If this is right

Analysis of the measure near the barycenter reduces to the Hilbert-space case on the relevant support.
Results on barycenters and tangent cones in curvature-bounded spaces extend to non-separable cones without extra hypotheses.
The pushforward measure inherits linearity properties from the Hilbert subspace containing its support.
Geometric measure theory statements that previously required separability now apply more broadly.

Where Pith is reading between the lines

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

The flatness may allow reduction of certain variational problems or gradient flows on the tangent cone to their Hilbert-space versions.
Similar support-flatness statements could be tested for other notions of barycenter or for different curvature bounds.
The result suggests examining whether the entire tangent cone, rather than just the measure support, admits a Hilbertian structure in special cases.

Load-bearing premise

The space is an Alexandrov space with curvature bounded from below and the exponential barycenter of the given probability measure exists.

What would settle it

Construct an Alexandrov space with curvature bounded below, a probability measure whose exponential barycenter exists, and show that the support of the pushforward on the tangent cone is not contained in any Hilbert subspace.

read the original abstract

Given a probability measure P on an Alexandrov space S with curvature bounded below, we prove that the support of the pushforward of P on the tangent cone at its (exponential) barycenter is a subset of a Hilbert space, without separability of the tangent cone.

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 note removes the separability assumption from the flatness result for tangent cones at barycenters in Alexandrov spaces.

read the letter

The main point is that the support of the pushforward of a probability measure on an Alexandrov space with curvature bounded below lies inside a Hilbert space at the tangent cone of the exponential barycenter, and this holds without assuming the cone is separable. That is the entire contribution. The paper takes an existing statement and drops the separability hypothesis that appeared in prior work. It does so by a direct argument resting on the standard definitions of Alexandrov spaces and the barycenter. If the steps check out, the result modestly widens the scope of some barycenter and variance statements to cover non-separable tangent cones. The claim is narrow and precise, which fits a short note. No circularity or invented quantities are visible. The soft spot is that the advance stays technical and local. Most applications in the area already work with separable spaces or do not run into this issue, so the practical gain is small. The full derivation is not reproduced here, but the abstract and stress-test note give no sign of a gap or inconsistency with the curvature bound or barycenter existence. This paper is for specialists already working on tangent cones and measures in Alexandrov geometry. A reader outside that niche will not find much to use. It deserves a serious referee because the statement is clean enough to verify or correct in a short review.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that if P is a probability measure on an Alexandrov space S with curvature bounded below and if the exponential barycenter of P exists, then the support of the pushforward of P under the exponential map lies inside a Hilbert subspace of the tangent cone at that barycenter, without any separability assumption on the tangent cone.

Significance. If correct, the result removes a common separability hypothesis from statements about the local Euclidean structure of tangent cones supporting pushed-forward measures in Alexandrov geometry. It therefore strengthens the toolkit for working with barycenters and optimal transport on possibly non-separable spaces while remaining within the standard axiomatic framework of curvature bounds.

minor comments (1)

The title contains a minor grammatical issue: 'non separable' should be hyphenated as 'non-separable'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a direct proof that the support of the pushforward measure lies in a Hilbert subspace of the (possibly non-separable) tangent cone at the exponential barycenter of P. This rests on the standard definition of Alexandrov spaces with curvature bounded below together with the existence of the barycenter; no equations, fitted parameters, or self-citation chains are invoked to force the result. The central claim does not reduce to any of the enumerated circular patterns and remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Review performed on abstract only; the listed items are the explicit background assumptions stated in the abstract. No free parameters or invented entities are visible.

axioms (3)

domain assumption S is an Alexandrov space with curvature bounded below
Stated as the ambient setting in the first sentence of the abstract.
domain assumption P is a probability measure on S
Given explicitly in the abstract.
domain assumption The exponential barycenter of P exists
Referenced in the abstract when the tangent cone is taken at that point.

pith-pipeline@v0.9.0 · 5550 in / 1457 out tokens · 29148 ms · 2026-05-25T14:01:35.777266+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1. ... supp(logb⋆ #P)⊂ Linb⋆ S. In particular, supp(logb⋆ #P) is included in a Hilbert space.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The set Linp equipped with the induced metric of TpS is a Hilbert space.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Alexander, V

[AKP19] S. Alexander, V. Kapovitch, and A. Petrunin. Alexandrov geometry: preliminary version no. 1 . en. arXiv: 1903.08539. Mar

work page arXiv 1903
[2]

Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendible geodesics

[ALP18] A. Ahidar-Coutrix, T. Le Gouic, and Q. Paris. “On the rate of convergence of empirical barycentres in metric spaces: curvature, convexity and extendible geodesics”. In: arXiv preprint arXiv:1806.02740 (2018). [BBI01] D. Burago, Y. Burago, and S. Ivanov. A course in metric geometry. Vol

work page internal anchor Pith review Pith/arXiv arXiv 2018
[3]

On tangent cones of Alexandrov space s with curvature bounded below

[Hal00] S. Halbeisen. “On tangent cones of Alexandrov space s with curvature bounded below”. en. In: manuscripta math- ematica 103.2 (Oct. 2000), pp. 169–182. [LS97] U. Lang and V. Schroeder. “Kirszbraun’s Theorem and Metric Spaces of Bounded Curvature”. en. In: Geometric And Functional Analysis 7.3 (July 1997), pp. 535–560. [Stu99] K. T. Sturm. “Metric s...

work page 2000

[1] [1]

Alexander, V

[AKP19] S. Alexander, V. Kapovitch, and A. Petrunin. Alexandrov geometry: preliminary version no. 1 . en. arXiv: 1903.08539. Mar

work page arXiv 1903

[2] [2]

Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendible geodesics

[ALP18] A. Ahidar-Coutrix, T. Le Gouic, and Q. Paris. “On the rate of convergence of empirical barycentres in metric spaces: curvature, convexity and extendible geodesics”. In: arXiv preprint arXiv:1806.02740 (2018). [BBI01] D. Burago, Y. Burago, and S. Ivanov. A course in metric geometry. Vol

work page internal anchor Pith review Pith/arXiv arXiv 2018

[3] [3]

On tangent cones of Alexandrov space s with curvature bounded below

[Hal00] S. Halbeisen. “On tangent cones of Alexandrov space s with curvature bounded below”. en. In: manuscripta math- ematica 103.2 (Oct. 2000), pp. 169–182. [LS97] U. Lang and V. Schroeder. “Kirszbraun’s Theorem and Metric Spaces of Bounded Curvature”. en. In: Geometric And Functional Analysis 7.3 (July 1997), pp. 535–560. [Stu99] K. T. Sturm. “Metric s...

work page 2000