pith. sign in

arxiv: 1906.09966 · v1 · pith:BLJLN3OHnew · submitted 2019-06-21 · 🧮 math.MG

SRA-free condition by Zolotov for self-contracted curves and nondegeneracy of zz-distance for M\"obius structures on the circle

Sergei Buyalo (POMI RAS) This is my paper

Pith reviewed 2026-05-25 18:08 UTC · model grok-4.3

classification 🧮 math.MG
keywords Möbius structureSRA-free conditionzz-distancecirclenondegeneracyMöbius geometryself-contracted curves
0
0 comments X

The pith

A Möbius-invariant SRA-free condition makes zz-distance nondegenerate for structures on the circle.

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

The paper defines a Möbius-invariant version of the SRA-free condition introduced by Zolotov. It applies this condition to prove that the zz-distance for a Möbius structure on the circle is nondegenerate. Nondegeneracy is required for the distance to define a proper geometry. The result forms part of a solution to the inverse problem in Möbius geometry on the circle.

Core claim

The zz-distance associated with a respective Möbius structure on the circle is nondegenerate provided the structure satisfies the Möbius-invariant SRA-free condition.

What carries the argument

The Möbius-invariant SRA-free condition, which rules out small rough angles in a transformation-invariant manner and enables the nondegeneracy proof.

If this is right

  • Nondegeneracy supplies a usable distance for the inverse problem of recovering Möbius structures from metric data on the circle.
  • The invariant condition permits study of rectifiability for self-contracted curves inside the Möbius setting.
  • The construction yields a concrete criterion that future work on circle geometries can check directly.

Where Pith is reading between the lines

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

  • Similar invariant reformulations of SRA-free might apply to Möbius structures on other manifolds.
  • The nondegeneracy could interact with known conformal invariants to produce new rigidity results.
  • Explicit verification on the standard round circle would test whether the condition holds in the classical case.

Load-bearing premise

The Möbius structure on the circle must satisfy the newly defined Möbius-invariant SRA-free condition.

What would settle it

An explicit Möbius structure on the circle that meets the SRA-free condition yet produces a degenerate zz-distance.

read the original abstract

SRA-free condition for metric spaces (that is, spaces without Small Rough Angles) was introduced by Zolotov to study rectifiability of self-contracted curves in various metric spaces. We give a Moebius invariant version of this notion which allows to show that zz-distance associated with a respective Moebius structure on the circle is nondegenerate. This result is an important part of a solution to the inverse problem of Moebius geometry on the circle.

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 manuscript introduces a Möbius-invariant reformulation of Zolotov's SRA-free condition (spaces without Small Rough Angles) for metric spaces. It then applies this invariant condition to prove that the zz-distance associated to a Möbius structure on the circle is nondegenerate. The result is positioned as an essential step toward solving the inverse problem of Möbius geometry on the circle.

Significance. Nondegeneracy of the zz-distance is a load-bearing prerequisite for any metric interpretation of Möbius structures on the circle. The Möbius-invariant reformulation of the SRA-free condition supplies a checkable criterion that directly yields this nondegeneracy, thereby extending Zolotov's original implication to the Möbius setting. This supplies a concrete, falsifiable test that can be used in subsequent work on the inverse problem.

minor comments (2)
  1. [Abstract] The abstract states the main theorem but does not record the precise statement of the new invariant condition; a one-sentence formulation in the abstract would help readers locate the novelty.
  2. [Introduction] Notation for the zz-distance and the Möbius structure should be introduced with a short displayed definition before the main theorem is stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via external Zolotov condition plus new invariant reformulation

full rationale

The paper cites Zolotov's externally introduced SRA-free condition, then defines a Möbius-invariant version of it and applies the new version to prove nondegeneracy of the zz-distance. No equations or steps reduce the target nondegeneracy result to a fit, a self-definition, or a self-citation chain. The central claim rests on the independent content of the invariant reformulation and the cited Zolotov implication, both of which lie outside the present paper's fitted values or target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details on free parameters, axioms, or invented entities available from the abstract alone.

pith-pipeline@v0.9.0 · 5608 in / 962 out tokens · 22399 ms · 2026-05-25T18:08:34.607128+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

12 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    Buyalo, M\"obius structures and timed causal spaces on the circle, Algebra i analys, 29:5 (2017), 1-50, translation in St

    S. Buyalo, M\"obius structures and timed causal spaces on the circle, Algebra i analys, 29:5 (2017), 1-50, translation in St. Petersburg Math. J. 29 (2018), no. 5, 715–-747

    work page 2017

  2. [2]

    On the inverse problem of Moebius geometry on the circle

    S. Buyalo, On the inverse problem of M\"obius geometry on the circle, arXiv: math. MG/1810.03133

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    Daniilidis, G

    A. Daniilidis, G. David, E. Durand-Cartagena, and A. Lemenant, Rectifiability of self-contracted curves in the E uclidean space and applications, The Journal of Geometric Analysis, 25(2):1211--1239, Apr 2015

    work page 2015

  4. [4]

    Daniilidis, R

    A. Daniilidis, R. Deville, E. Durand-Cartagena, and L. Rifford, Self-contracted curves in R iemannian manifolds, J. Math. Anal. Appl., 457:1333--1352, 2018

    work page 2018

  5. [5]

    Daniilidis, O

    A. Daniilidis, O. Ley, and S. Sabourau, Asymptotic behaviour of self-contracted planar curves and gradient orbits of convex functions, Journal de Mathématiques Pures et Appliquées, 94(2):183 --199, 2010

    work page 2010

  6. [6]

    Foertsch, V

    T. Foertsch, V. Schroeder, Ptolemy circles and Ptolemy segments. Arch. Math. (Basel) 98 (2012), no. 6, 571–581

    work page 2012

  7. [7]

    Foertsch, V

    T. Foertsch, V. Schroeder, Metric M\"obius geometry and a characterization of spheres, Manuscripta Math. 140 (2013), no. 3-4, 613--620

    work page 2013

  8. [8]

    Lemenant, Rectifiability of non E uclidean planar self-contracted curves, Confluentes Mathematici, 2017

    A. Lemenant, Rectifiability of non E uclidean planar self-contracted curves, Confluentes Mathematici, 2017

    work page 2017

  9. [9]

    Shin-ichi Ohta, Self-contracted curves in CAT(0)-spaces and their rectifiability, mathArXiv:1711.09284, 2017

    work page arXiv 2017

  10. [10]

    Lebedeva, Shin-ichi Ohta, V

    N. Lebedeva, Shin-ichi Ohta, V. Zolotov, Self-contracted curves in spaces with weak lower curvature bound, mathArXiv:1902.01594

    work page arXiv 1902

  11. [11]

    Stepanov and Y

    E. Stepanov and Y. Teplitskaya, Self‐contracted curves have finite length, Journal of the London Mathematical Society, 96(2):455--481

    work page

  12. [12]

    Sets with small angles in self-contracted curves

    V. Zolotov, Subsets with small angles in self-contraced curves, arXiv:1804.00234 [math.MG], 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018