pith. sign in

arxiv: 2606.10952 · v1 · pith:NUKZ3W5Lnew · submitted 2026-06-09 · 🧮 math.AT · math.GN· math.MG

Old and new structures on Ran spaces: Length structures, completeness, and conicality

Sylvain Douteau , Marie Labeye This is my paper

Pith reviewed 2026-06-27 10:44 UTC · model grok-4.3

classification 🧮 math.AT math.GNmath.MG
keywords Ran spacesweighted topologiesHausdorff topologyfinal topologyconical stratificationmetric spacesRiemannian manifoldsstratified spaces
0
0 comments X

The pith

Weighted topologies on Ran(M) interpolate between Hausdorff and final topologies while endowing the latter with a complete uniformity.

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

The paper introduces weighted topologies as new metric structures on the Ran space of a metric space M. These topologies are positioned between the Hausdorff topology and the finer final topology obtained as a colimit. The interpolation supplies the final topology with an associated uniformity that is proven complete. When M is a Riemannian manifold, the weighted topologies make Ran(M) conically stratified, while the final topology satisfies only a weaker form of this property.

Core claim

Given a metric space M, new metric topologies called weighted topologies are constructed on Ran(M). They interpolate between the Hausdorff and final topologies, the latter being recovered as a limit in the category of spaces. This equips the final topology with a uniformity, which we show to be complete. Whenever M is a Riemannian manifold, the weighted topologies are conically stratified, while the final topology is only so in a weak sense.

What carries the argument

The weighted topologies: metric topologies on Ran(M) defined from the metric on M that interpolate between the Hausdorff and final topologies.

If this is right

  • The final topology on Ran(M) acquires a uniformity.
  • The uniformity on the final topology is complete.
  • Weighted topologies on Ran(M) are conically stratified when M is Riemannian.
  • The final topology on Ran(M) is only weakly conically stratified when M is Riemannian.

Where Pith is reading between the lines

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

  • The family of weighted topologies could be varied to study continuous changes in the structure of configuration spaces.
  • Completeness of the uniformity may support convergence arguments in settings that use Ran spaces as configuration models.

Load-bearing premise

The weighted topologies can be defined as metrics on Ran(M) from the metric on M such that they interpolate exactly between the Hausdorff and final topologies.

What would settle it

A metric space M for which the constructed weighted metric fails to produce a topology strictly between the Hausdorff and final topologies, or for which the induced uniformity on the final topology is incomplete.

Figures

Figures reproduced from arXiv: 2606.10952 by Marie Labeye, Sylvain Douteau.

Figure 1
Figure 1. Figure 1: An illustration of the proof of Lemma 2.11. The top t [PITH_FULL_IMAGE:figures/full_fig_p035_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Examples of continuous paths in Ran(R) and their cardinality. 48 [PITH_FULL_IMAGE:figures/full_fig_p048_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Sketch of the proof of Lemma 3.20 in the case [PITH_FULL_IMAGE:figures/full_fig_p061_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Sketch of Example 4.1. Configurations X = {(0, 0)} is in red, configuration Y = {(1, 1),(1, −1)} is in black, and the intermediate configuration Zω(2) is in blue for three values of ω(2) = 1, 2 and 10. Dotted lines indicate the corresponding geodesic paths between Y and X. This example is illustrated on [PITH_FULL_IMAGE:figures/full_fig_p064_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Sketch of two configurations of Example 4.4, [PITH_FULL_IMAGE:figures/full_fig_p069_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Sketch of the Cauchy sequence in Example 4.5. The "l [PITH_FULL_IMAGE:figures/full_fig_p070_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Sketch of the clustering and scaling functions for [PITH_FULL_IMAGE:figures/full_fig_p098_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Sketch of the homeomorphism f defined in Proposition 7.36 for M = R 2 . The reference configuration X = {x (1), x(2)} is displayed as red dots ○. The Euclidean E ⊂ M2 is displayed at the top left. A point (y (1), y(2)) ∈ E is displayed as violet squares . The space V = Bω (G, 1) ∩ Cg is homeomorphic to a stratified cone c(L) and is displayed at the top right, where the configuration G = {g (1), g(2)} is d… view at source ↗
Figure 9
Figure 9. Figure 9: An illustration of the proof of Lemma 7.7 [PITH_FULL_IMAGE:figures/full_fig_p104_9.png] view at source ↗
read the original abstract

We study topologies on Ran spaces. In the literature, two distinct topologies frequently appear: the Hausdorff topology, and a finer one constructed as a colimit, that we call the final topology. In this work, given a metric space $M$, we construct new metric topologies on $\mathrm{Ran}(M)$, called weighted topologies. They interpolate between the Hausdorff and final topologies, the later being recovered as a limit in the category of spaces. This structure equips the final topology with a uniformity, which we show to be complete. Finally we study the Ran spaces as stratified spaces. We show that, whenever $M$ is a Riemannian manifold, the weighted topologies are conically stratified, while the final topology is only so in a weak sense.

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.

Referee Report

0 major / 2 minor

Summary. The paper constructs new metric topologies on Ran(M), called weighted topologies, for a metric space M. These interpolate between the Hausdorff topology and the final (colimit) topology on Ran(M), with the final topology recovered as a limit in the category of spaces. The construction equips the final topology with a uniformity shown to be complete. When M is a Riemannian manifold, the weighted topologies are conically stratified, while the final topology is only weakly conically stratified.

Significance. If the explicit constructions of the weighted metrics hold as stated, the work supplies a continuous family of metric topologies bridging two standard ones on Ran spaces, together with completeness of the induced uniformity and conical stratification results. These are potentially useful for applications in configuration spaces, stratified geometry, and algebraic topology. The parameter-free nature of the interpolation (recovering the final topology as a limit) and the distinction between conical and weak stratification are notable strengths.

minor comments (2)
  1. Abstract: 'the later being recovered' should read 'the latter being recovered'.
  2. The manuscript would benefit from an explicit statement (perhaps in §2 or the introduction) of the precise formula for the weighted metric d_w in terms of the metric on M, to make the interpolation property immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of the weighted topologies construction, the completeness of the uniformity, and the conical stratification results. We appreciate the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

Explicit construction with no circularity

full rationale

The paper defines weighted topologies via explicit metric constructions on Ran(M) that interpolate between Hausdorff and final topologies. Completeness of the uniformity and conical stratification are shown as consequences of these definitions for general metric spaces and Riemannian manifolds respectively. No self-citations or fitted parameters are load-bearing in the central claims; the derivation is self-contained through direct proofs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard axioms of metric spaces and topological colimits; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption M is a metric space (or Riemannian manifold for the stratification claim)
    Required to define the weighted metrics and to invoke Riemannian structure for conical stratification.

pith-pipeline@v0.9.1-grok · 5659 in / 1200 out tokens · 26766 ms · 2026-06-27T10:44:54.257624+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 24 canonical work pages

  1. [1]

    1999 , PAGES =

    Gromov, Misha , TITLE =. 1999 , PAGES =

    1999

  2. [2]

    Idrissi, Najib , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-0842-9 , URL =

    work page doi:10.1007/s00222-018-0842-9 2019

  3. [3]

    arXiv e-prints , keywords =

    On the topologies of the exponential. arXiv e-prints , keywords =. doi:10.48550/arXiv.2107.11243 , archivePrefix =. 2107.11243 , primaryClass =

    work page doi:10.48550/arxiv.2107.11243

  4. [4]

    2017 , note =

    Lurie, Jacob , Title =. 2017 , note =

    2017

  5. [5]

    2004 , PAGES =

    Beilinson, Alexander and Drinfeld, Vladimir , TITLE =. 2004 , PAGES =. doi:10.1090/coll/051 , URL =

    work page doi:10.1090/coll/051 2004

  6. [6]

    2017 , PAGES =

    Costello, Kevin and Gwilliam, Owen , TITLE =. 2017 , PAGES =. doi:10.1017/9781316678626 , URL =

    work page doi:10.1017/9781316678626 2017

  7. [7]

    arXiv e-prints , keywords =

    Configuration Spaces of Manifolds with Boundary. arXiv e-prints , keywords =. doi:10.48550/arXiv.1802.00716 , archivePrefix =. 1802.00716 , primaryClass =

    work page doi:10.48550/arxiv.1802.00716

  8. [8]

    2004 , PAGES =

    Ambrosio, Luigi and Tilli, Paolo , TITLE =. 2004 , PAGES =

    2004

  9. [9]

    and Leli\`evre, G

    Gu\'enard, F. and Leli\`evre, G. , TITLE =. 1985 , PAGES =

    1985

  10. [10]

    1998 , PAGES =

    Bourbaki, Nicolas , TITLE =. 1998 , PAGES =

    1998

  11. [11]

    Geometric topology (

    Sullivan, Dennis , TITLE =. Geometric topology (. 1979 , ISBN =

    1979

  12. [12]

    2008 , PAGES =

    Edgar, Gerald , TITLE =. 2008 , PAGES =. doi:10.1007/978-0-387-74749-1 , URL =

    work page doi:10.1007/978-0-387-74749-1 2008

  13. [13]

    https://mathoverflow.net/q/236851 , URL =

    Compact manifolds locally bi-Lipschitz to Euclidean space , AUTHOR =. https://mathoverflow.net/q/236851 , URL =

  14. [14]

    and Burago, Y

    Burago, Dmitri and Burago, Yuri and Ivanov, Sergei , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/033 , URL =

    work page doi:10.1090/gsm/033 2001

  15. [15]

    Topology Appl

    Chinen, Naotsugu and Koyama, Akira , TITLE =. Topology Appl. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.topol.2010.07.012 , URL =

    work page doi:10.1016/j.topol.2010.07.012 2010

  16. [16]

    2020 , PAGES =

    Friedman, Greg , TITLE =. 2020 , PAGES =. doi:10.1017/9781316584446 , URL =

    work page doi:10.1017/9781316584446 2020

  17. [17]

    Borsuk, Karol and Ulam, Stanislaw , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1931 , NUMBER =. doi:10.1090/S0002-9904-1931-05290-3 , URL =

    work page doi:10.1090/s0002-9904-1931-05290-3 1931

  18. [18]

    Borsuk, Karol , TITLE =. Fund. Math. , FJOURNAL =. 1949 , PAGES =. doi:10.4064/fm-36-1-236-244 , URL =

    work page doi:10.4064/fm-36-1-236-244 1949

  19. [19]

    , TITLE =

    Bott, R. , TITLE =. Fund. Math. , FJOURNAL =. 1952 , PAGES =. doi:10.4064/fm-39-1-264-268 , URL =

    work page doi:10.4064/fm-39-1-264-268 1952

  20. [20]

    Mostovoy, Jacob , TITLE =. Amer. Math. Monthly , FJOURNAL =. 2004 , NUMBER =. doi:10.2307/4145248 , URL =

    work page doi:10.2307/4145248 2004

  21. [21]

    Morton, H. R. , TITLE =. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1967 , PAGES =. doi:10.1017/s0305004100041256 , URL =

    work page doi:10.1017/s0305004100041256 1967

  22. [22]

    Ran, Ziv , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2000 , NUMBER =

    2000

  23. [23]

    Homotopy theory of function spaces and related topics , SERIES =

    F\'elix, Yves and Tanr\'e, Daniel , TITLE =. Homotopy theory of function spaces and related topics , SERIES =. 2010 , ISBN =. doi:10.1090/conm/519/10233 , URL =

    work page doi:10.1090/conm/519/10233 2010

  24. [24]

    Houston J

    Handel, David , TITLE =. Houston J. Math. , FJOURNAL =. 2000 , NUMBER =

    2000

  25. [25]

    arXiv e-prints , keywords =

    A model for the E3 fusion-convolution product of constructible sheaves on the affine Grassmannian. arXiv e-prints , keywords =. doi:10.48550/arXiv.2012.08504 , archivePrefix =. 2012.08504 , primaryClass =

    work page doi:10.48550/arxiv.2012.08504 2012

  26. [26]

    arXiv e-prints , keywords =

    Higher-categorical combinatorics of configuration spaces of Euclidean space. arXiv e-prints , keywords =. doi:10.48550/arXiv.1910.11980 , archivePrefix =. 1910.11980 , primaryClass =

    work page doi:10.48550/arxiv.1910.11980 1910

  27. [27]

    Order , FJOURNAL =

    Lazovskis, J\=anis , TITLE =. Order , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s11083-021-09568-1 , URL =

    work page doi:10.1007/s11083-021-09568-1 2022

  28. [28]

    Treumann, David , TITLE =. Compos. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/S0010437X09004229 , URL =

    work page doi:10.1112/s0010437x09004229 2009

  29. [29]

    Woolf, Jon , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2009 , NUMBER =

    2009

  30. [30]

    Douteau, Sylvain , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.507 , URL =

    work page doi:10.2140/agt.2021.21.507 2021

  31. [31]

    , TITLE =

    Haine, Peter J. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2024 , NUMBER =. doi:10.24033/asens.2576 , URL =

    work page doi:10.24033/asens.2576 2024

  32. [32]

    2019 , PAGES =

    Nand-Lal, Stephen James , TITLE =. 2019 , PAGES =

    2019

  33. [33]

    [2022] 2022 , PAGES =

    Idrissi, Najib , TITLE =. [2022] 2022 , PAGES =. doi:10.1007/978-3-031-04428-1 , URL =

    work page doi:10.1007/978-3-031-04428-1 2022

  34. [34]

    2010 , PAGES =

    Andrade, Ricardo , TITLE =. 2010 , PAGES =

    2010

  35. [35]

    Boavida de Brito, Pedro and Weiss, Michael , TITLE =. J. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/topo.12048 , URL =

    work page doi:10.1112/topo.12048 2018

  36. [36]

    arXiv e-prints , keywords =

    The torus trick for configuration categories. arXiv e-prints , keywords =. doi:10.48550/arXiv.2401.00799 , archivePrefix =. 2401.00799 , primaryClass =

    work page doi:10.48550/arxiv.2401.00799