Pith. sign in

REVIEW 3 major objections 4 minor 14 references

Quasicircles and width of Jordan curves in $\mathbb{CP}^1$

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper proves that finite convex-hull width does not force a Jordan curve to be a quasicircle, but sufficiently small width does, with an explicit threshold.

desk verdict New width invariant and a solid counterexample in Theorem A, but the proof of Theorem B leans on a false Lemma 3.3; worth refereeing with Section 3 flagged. read the letter →

arxiv 1908.09175 v1 pith:JD33A77E submitted 2019-08-24 math.GT math.DG

classification math.GTmath.DG MSC 30C6230F4051M1057M50
keywords quasicirclesJordancurvesconvexhullhyperbolic3-spacewidthofquasiconformalmapsnearestpointprojectionanti-deSittergeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies a geometric invariant called width, defined for any Jordan curve in the Riemann sphere via the shape of its convex hull in hyperbolic 3-space. The authors ask whether finite width characterizes quasicircles—the curves that arise as limit sets of quasifuchsian groups and have controlled geometry. They show it does not: there exist Jordan curves with finite width that are not quasicircles (Theorem A). They then prove a positive result: a curve whose boundary width is smaller than the explicit constant $w_0 = \cosh^{-1}(\sqrt{2})$ is always a quasicircle, with a quantitative bound on its quasisymmetric constant (Theorems B and 3.1). The contrast with anti-de Sitter geometry, where finite width alone does characterize the analogous curves, is one of the paper's main points.

What carries the argument

The load-bearing objects are the convex hull $\mathrm{CH}(C) \subset \mathbb{H}^3$ of a Jordan curve $C \subset \mathbb{CP}^1$, its two boundary disks $\partial_+ \mathrm{CH}(C)$ and $\partial_- \mathrm{CH}(C)$, and two invariants: the width $w(C) = \sup_{x \in \mathrm{CH}(C)} (d(x,\partial_+ \mathrm{CH}(C)) + d(x,\partial_- \mathrm{CH}(C)))$ and the boundary width $w_\partial(C) = \max(\sup_{x \in \partial_+ \mathrm{CH}(C)} d(x,\partial_- \mathrm{CH}(C)), \sup_{x \in \partial_- \mathrm{CH}(C)} d(x,\partial_+ \mathrm{CH}(C)))$. The proof of the small-width theorem turns on a sharp distance estimate (Lemma 3.2): three hyperbolic planes bounding pairwise disjoint half-spaces force any point on one plane to be at distance at least $w_0 = \cosh^{-1}(\sqrt{2})$ from any point on another unless the geometry collapses; this constant emerges from a symmetric ideal-triangle configuration. The nearest-point projection $\pi_+$ between the two boundary components provides the link to quasiconformality: Theorem C shows that $C$ is a quasicircle exactly when $\pi_+$ is a quasi-isometry, and the small-width bound is used to prove that $\pi_+$ is indeed a quasi-isometry.

What would settle it

Exhibit a Jordan curve that is not a quasicircle and whose boundary width is strictly less than $\cosh^{-1}(\sqrt{2})$; Theorem B forbids it. A more targeted check: numerically optimize over triples of disjoint half-spaces in $\mathbb{H}^3$ the quantity $\max(d(x,y),d(x',y))$ as in Lemma 3.2; a value below $w_0$ would break the proof of Theorem B.

Watch

Extended reading notes

Core claim

The paper's central discovery is that the relation between convex-hull width and quasicircles is more subtle in hyperbolic geometry than in its anti-de Sitter analogue. In the anti-de Sitter setting, the analogous width characterizes the analogous curves exactly. Here the authors define two hyperbolic invariants, the width $w(C)$ and the boundary width $w_\partial(C)$, and prove that finiteness of $w(C)$ is necessary but not sufficient for $C$ to be a quasicircle; explicit curves with bounded width fail to be quasicircles (Theorem A). Conversely, the boundary width version is sufficient when small: if $w_\partial(C) < w_0 = \cosh^{-1}(\sqrt{2})$, then $C$ is a quasicircle, with an explicit function $k(w)$ controlling the quasisymmetric constant for $w_\partial(C) \le w < w_0$ (Theorem 3.1). They also characterize quasicircles entirely in terms of the geometry of the convex hull: $C$ is a quasicircle if and only if a nearest-point projection $\pi_+ \colon \partial_+ \mathrm{CH}(C) \to \partial_- \mathrm{CH}(C)$ is a quasi-isometry (Theorem C).

Load-bearing premise

The proof of the key distance bound assumes, without a complete derivation, that the worst possible configuration is a symmetric ideal triangle with the point y at the axis of symmetry; if some other configuration of three disjoint half-spaces gave a smaller critical distance, the threshold $w_0$ and Theorem B would not hold.

Editorial extensions

If this is right

  • If a Jordan curve has boundary width below $w_0$, it is a quasicircle, and the quasisymmetric constant is controlled by an explicit function of the width.
  • There are Jordan curves with finite width that are not quasicircles, so any characterization of quasicircles by width must use a stronger condition than finiteness, such as smallness of boundary width.
  • The nearest-point projection criterion (Theorem C) gives a new geometric characterization of quasicircles in terms of the quasi-isometry type of the convex hull boundary, with constants mutually bounded by the quasicircle constant.
  • The width and boundary width are genuinely different invariants: there are sequences of quasicircles with uniformly bounded boundary width whose width tends to infinity (Proposition 4.1).
  • In the anti-de Sitter setting the analogous width characterizes quasicircles, while in hyperbolic space it does not; the paper delineates exactly what remains true.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The threshold $w_0 = \cosh^{-1}(\sqrt{2}) \approx 0.881$ is plausibly not optimal: the paper's own example only rules out the larger value $\sinh^{-1}(\sqrt{2}) \approx 1.146$, leaving a gap; one could seek the true optimal threshold by optimizing over ideal-quadrilateral configurations rather than the symmetric case.
  • The quantitative version Theorem 3.1 suggests a possible bridge to minimal surface theory: following the analogy in Section 1.3, one might conjecture that a quasicircle of sufficiently small boundary width bounds a minimal surface in $\mathbb{H}^3$ with principal curvatures $<1$.
  • The quasi-isometry criterion Theorem C could be tested numerically: given a Jordan curve's convex hull boundary, compute the Lipschitz constants of nearest-point projection; the curve should be a quasicircle exactly when those constants are finite, suggesting a computable quasiconformality estimator.
  • The construction of the non-quasicircle of finite width (Theorem A) relies on infinitely many neck-pinching scales; one might ask whether a single scale of pinching gives a finite-width non-quasicircle, which would simplify the example.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper defines a hyperbolic width invariant w(C) and a boundary variant w_∂(C) for Jordan curves in CP^1, in analogy with the AdS width of Bonsante-Schlenker. It proves three main results: Theorem A gives a curve of finite width that is not a quasicircle; Theorem B states that every Jordan curve with w_∂(C) < cosh^{-1}(√2) is a quasicircle; and Theorem C characterizes quasicircles by the property that a nearest-point projection between the two boundary components of the convex hull is a quasi-isometry. Section 2 contains the construction for Theorem A, Section 3 proves Theorem B via a quantitative version (Theorem 3.1), Section 3.3 discusses optimality of the threshold, and Section 4 shows that w_∂ and w can differ.

Significance. The proposed invariant is natural and the contrast with the AdS characterization (Proposition 1.3) is conceptually interesting. The constructions in Section 2 are explicit and use Ahlfors' bounded turning criterion and a supporting-plane compactness argument, which are strengths. If the proof of Theorem B can be repaired, the explicit threshold w0 = cosh^{-1}(√2) and the optimality interval would be a clean quantitative statement. However, the central argument currently rests on a false lemma, so the significance is conditional on a substantial repair.

major comments (3)
  1. [§3.1, Lemma 3.3] Lemma 3.3 is false as stated. In the upper half-space model, let Q={x=0} with half-space H_Q={x>0}, P={x=-1} with half-space H_P={x<-1}, and P'={x=-2} with half-space H_{P'}={x<-2}. Then P (resp. P') and Q bound disjoint half-spaces, but P∩P'=∅. Take y=(0,0,Z), x=(-1,0,Z), x'=(-2,0,Z). For Z=10 the hyperbolic distances satisfy d(x,y)<w0 and d(x',y)<w0, yet no z∈P∩P' exists. The proof's appeal to Lemma 3.2 is invalid because Lemma 3.2 assumes all three planes bound pairwise disjoint half-spaces, a hypothesis absent from Lemma 3.3. Since Corollary 3.4, Lemma 3.6, and hence Theorem 3.1 and Theorem B all rely on Lemma 3.3, this is a load-bearing gap.
  2. [§3.1, Lemma 3.2] The proof of Lemma 3.2 asserts that the worst case is obtained when the three lines are pairwise asymptotic and the point y is symmetrically placed, and that this reduction follows by symmetry. This reduction is not proved. Since the value w0 = cosh^{-1}(√2) is the basis for the threshold in Theorem B, a rigorous extremal argument or a reference is needed. As written, the calculation of the four congruent triangles is conditional on an unproved reduction, so Lemma 3.2 is not fully established.
  3. [§3.2, Proposition 3.7] In the converse direction of Proposition 3.7, the proof asserts that π+ extends continuously to the identity on C because 'π+ moves points at most by η0'. However, η0 comes from Lemma 3.8, which is proved only under the forward hypothesis that C is a quasicircle. Under the converse hypothesis, the bounded-distance estimate d(y,π+(y))≤η0 has not been established, and a quasi-isometry between ∂-C and ∂+C does not by itself guarantee that its boundary extension is the identity. The composition b+∘π+∘(b-)^(-1) therefore cannot yet be asserted to extend to the identity on C. This gap affects the conclusion that C is the image of RP^1 under a quasiconformal map and needs to be repaired, for example by proving from the quasi-isometry condition that π+ is asymptotically the identity near C.
minor comments (4)
  1. [§3.3, Proposition 3.9] The notation is confusing because w0 was defined as cosh^{-1}(√2) at the start of Section 3, while the example in Proposition 3.9 concerns sinh^{-1}(√2). Please state explicitly that the example gives an upper bound on the optimal threshold, while Theorem B provides a lower bound.
  2. [§2.2, Proposition 2.4] In the proof of Proposition 2.4, the planes P^+ and P^- are introduced with boundaries in U^+ and U^-, but the sign convention is not defined. The inequality d(x_n,∂+CH(C_n)) = d(x̄,g_n(∂+CH(C_n))) < d(x̄,P^+) should be expanded, since it implicitly uses the fact that projection onto a convex set is distance-decreasing and that the chosen support planes separate the relevant regions.
  3. [§2.2.1, Claim 2.6] Claim 2.6 is presented as evident from Figure 2. A short proof or a more precise statement of which complementary regions are involved would improve the exposition and make the verification of the hypotheses of Proposition 2.4 easier to check.
  4. [§3.2, Lemma 3.8] In the proof of Lemma 3.8, the phrase 'the path metric on f(Σ_r) is L-bilipschitz to the path metric on Σ_r' should be stated more carefully as 'L-bilipschitz to the induced path metric on Σ_r', and the subsequent 'cosh(r)-bilipschitz embedded copy of H^2' should clarify the comparison between the induced path metric on Σ_r and the hyperbolic metric on H^2. There are also minor typos such as 'equiped' in the proof of Proposition 3.7.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the width invariant is new and Theorems A–C are derived from explicit geometric estimates; self-citations are motivational.

full rationale

The paper's central claims are not obtained by fitting or by importing its own conclusions. The width w(C) and boundary width w∂(C) are new definitions, and the theorems are proved directly: Theorem A uses the explicit sequence of curves and Propositions 2.4 and 2.8; Theorem B/3.1 follows from Lemmas 3.2, 3.3, Corollary 3.4, Lemma 3.6, and Theorem C; Theorem C is proved using external results (Ahlfors, Sullivan/EM86, Tukia–Väisälä) rather than the authors' prior work. The self-citations [BS10] and [BDMS19] set up an analogy or mention an AdS counterpart, but the hyperbolic results are not reduced to those papers. No parameter is fitted to a subset of data and then renamed as a prediction. The unproved "worst case" reduction in Lemma 3.2 and the possible failure of Lemma 3.3 are mathematical correctness risks, not circularity, since a false lemma would invalidate the proof rather than make the conclusion an input.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no fitted constants and no new physical entities. The threshold w0 is determined by a hyperbolic cosine equation, not by data. The epsilons and auxiliary constants in the geometric constructions are existence constants, not numerical fits.

assumptions (6)
  • standard math Existence and two-boundary structure of the hyperbolic convex hull of a Jordan curve in CP1
    Used from Definition 1.1; standard in hyperbolic geometry.
  • standard math Ahlfors bounded turning criterion for quasicircles
    Proposition 2.1 cited from Ahlfors; basis for verifying the quasicircle property in the construction.
  • standard math Compactness of uniform quasicircles
    Lemma 2.2 from Lehto-Virtanen; used to derive contradictions for uniform bounds.
  • standard math Sullivan and Epstein-Marden bilipschitz comparison between the boundary of the convex hull and the conformal boundary
    Used in the converse direction of Theorem C to transfer a quasi-isometry to a quasiconformal map.
  • standard math Tukia-Vaisala extension of quasiconformal maps to bilipschitz maps of H3
    Used in the forward direction of Theorem C to control width from quasisymmetric regularity.
  • standard math Ahlfors-Bers simultaneous uniformization and Kerckhoff-Thurston Dehn filling
    Used in Section 4 to build quasicircles with bounded boundary width and unbounded width.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasicircles and width of Jordan curves in $\mathbb{CP}^1$." pith.science (2026). https://pith.science/paper/JD33A77E

@misc{pith2026190809175,
  author       = {Pith},
  title        = {Pith review of: Quasicircles and width of Jordan curves in $\mathbbCP^1$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JD33A77E}},
  note         = {Machine review of arXiv:1908.09175}
}
abstract

We study a notion of "width" for Jordan curves in $\mathbb{CP}^1$, paying special attention to the class of quasicircles. The width of a Jordan curve is defined in terms of the geometry of its convex hull in hyperbolic three-space. A similar invariant in the setting of anti de Sitter geometry was used by Bonsante-Schlenker to characterize quasicircles amongst a larger class of Jordan curves in the boundary of anti de Sitter space. By contrast to the AdS setting, we show that there are Jordan curves of bounded width which fail to be quasicircles. However, we show that Jordan curves with small width are quasicircles.

Figures

Figures reproduced from arXiv: 1908.09175 by the authors.

Figure 1
Figure 1. The circles F1 and F2 together with the circles Qn A and Qn B (in the picture above) and together with the circles Q∞ A and Q∞ B (in the picture below). Fix two concentric circles F1 and F2 which bound disks D1 and D2 in the plane C = CP1 \ {∞}, so that F1 ⊂ Int(D2). Construct a sequence of pairs of circles Qn A and Qn B such that • Qn A and Qn B meet at points p n −, pn + ∈ Int(D1) and form at these points an angle… view at source ↗
Figure 2
Figure 2. The curve Cn (above) and the curve C∞ (below) in red For each n consider the curve Cn described in [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. The left (grey) and right (white) –bigon of γ Claim 2.6. There exists  > 0 (from the definition of Cn) such that for all n ∈ N and all oriented segments (of arcs of circle) γ of Cn, the left and right –bigons of γ are disjoint from Cn and contained in distinct regions of CP1 \ Cn. Note that this claim only holds with the arc βn split as β l n and β r n , as defined above. Now, we claim that w(Cn) ≤ M for some M i… view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: By construction, D is a Jordan curve, but it is not a quasicircle. Indeed if D were a K-quasicircle, then the translates Dn = D − 3n would form a sequence of K-quasicircles with uniform K. However their limit is [PITH_FULL_IMAGE:figures/full_fig_p007_4.png]
Figure 4
Figure 4. Figure 4: The curve D and the arcs f0, f1, · · · , f7, · · · . not a Jordan curve, and this contradicts the compactness properties of K quasicircles, Lemma 2.2. Denote by f0, f1, . . . , fn, . . . the arcs of circle composing D, with f0 cor￾responding to the part of the real axi…
Figure 5
Figure 5. Figure 5: The planes P, P 0 , Q and Π (in red), as in Lemma 3.2. ⇧ \ P ⇧ \ P0 ⇧ \ Q xx0 y [PITH_FULL_IMAGE:figures/full_fig_p010_5.png]
Figure 6
Figure 6. Figure 6: The triangle ∆ defined by the lines Π∩P, Π∩P 0 and Π ∩ Q in the plane Π. consider a uniquely defined “coarse” projection map which is set-valued, but we choose not to do this. Similarly, let π− : ∂+C → ∂−C be a near￾est point projection map in the opposite direction. L…
Figure 7
Figure 7. Figure 7: The curve G in CP1 . Let Gn be the Jordan curves defined as follows. Start with the curve G defined as the union of the two axes <z = 0 and =z = 0 in the plane C, see [PITH_FULL_IMAGE:figures/full_fig_p014_7.png]
Figure 8
Figure 8. Figure 8: The curve Gn in C [PITH_FULL_IMAGE:figures/full_fig_p015_8.png]
Figure 9
Figure 9. Figure 9: Convex hull in H3 of the curve G in CP1 . Proof. First, note that the convex hulls CH(Gn) are nested and limit to CH(G). We can then see that the limit L := limn→∞ w∂(Gn) can be calcu￾lated as the boundary width of the limit curve G, where to make sense of the definiti…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Ahlfors, Quasiconformal reflections, Acta Math

    Lars V. Ahlfors, Quasiconformal reflections, Acta Math. 109 (1963), 291--301. 0154978

  2. [2]

    L. V. Ahlfors, Lectures on quasiconformal mappings, D. Van Nostrand Co., Inc., Toronto, Ont.-New York-London, 1966, Manuscript prepared with the assistance of Clifford J. Earle, Jr. Van Nostrand Mathematical Studies, No. 10

  3. [3]

    Ahlfors, The structure of a finitely generated kleinian group, Acta Math

    Lars V. Ahlfors, The structure of a finitely generated kleinian group, Acta Math. 122 (1969), 1--17

  4. [4]

    Anderson, Complete minimal hypersurfaces in hyperbolic n -manifolds , Comment

    Michael T. Anderson, Complete minimal hypersurfaces in hyperbolic n -manifolds , Comment. Math. Helv. 58 (1983), no. 2, 264--290. 705537 (85e:53076)

  5. [5]

    Francesco Bonsante, Jeffrey Danciger, Sara Maloni, and Jean-Marc Schlenker, The induced metric on the boundary of the convex hull of a quasicircle in hyperbolic and anti de sitter geometry, arXiv preprint arXiv:1902.04027 (2019)

  6. [6]

    Lipman Bers, Simultaneous uniformization, Bull. Amer. Math. Soc. 66 (1960), 94--97. 0111834

  7. [7]

    Francesco Bonsante and Jean-Marc Schlenker, Maximal surfaces and the universal T eichm\"uller space , Invent. Math. 182 (2010), no. 2, 279--333. 2729269

  8. [8]

    D. B. A. Epstein and A. Marden, Convex hulls in hyperbolic spaces, a theorem of Sullivan , and measured pleated surfaces , Analytical and geometric aspects of hyperbolic space (D. B. A. Epstein, ed.), L.M.S. Lecture Note Series, vol. 111, Cambridge University Press, 1986

Show all 14 references
  1. [9]

    Epstein, The hyperbolic G auss map and quasiconformal reflections , J

    Charles L. Epstein, The hyperbolic G auss map and quasiconformal reflections , J. Reine Angew. Math. 372 (1986), 96--135. 863521 (88b:30029)

  2. [10]

    Kerckhoff and William P

    Steven P. Kerckhoff and William P. Thurston, Noncontinuity of the action of the modular group at B ers' boundary of T eichm\" u ller space , Invent. Math. 100 (1990), no. 1, 25--47. 1037141

  3. [11]

    Lehto and K

    O. Lehto and K. I. Virtanen, Quasiconformal mappings in the plane, second ed., Springer-Verlag, New York-Heidelberg, 1973, Translated from the German by K. W. Lucas, Die Grundlehren der mathematischen Wissenschaften, Band 126. 0344463

  4. [12]

    Andrea Seppi, Minimal discs in hyperbolic space bounded by a quasicircle at infinity, Comment. Math. Helv. 91 (2016), no. 4, 807--839. 3566524

  5. [13]

    1979/80, Lecture Notes in Math., vol

    Dennis Sullivan, Travaux de T hurston sur les groupes quasi-fuchsiens et les vari\'et\'es hyperboliques de dimension 3 \ fibr\'ees sur S^ 1 , Bourbaki S eminar, V ol. 1979/80, Lecture Notes in Math., vol. 842, Springer, Berlin-New York, 1981, pp. 196--214. 636524

  6. [14]

    a is\" a l\

    P. Tukia and J. V\" a is\" a l\" a , Quasiconformal extension from dimension n to n+1 , Ann. of Math. (2) 115 (1982), no. 2, 331--348. 647809

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.