The bi-Lipschitz constant of an isothermal coordinate chart

Matan Eilat

REVIEW 2 major objections 5 minor 1 cited by

The bi-Lipschitz constant of an isothermal coordinate chart

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves a quantitative, asymptotically sharp version of Gauss–Minding flatness: bounded curvature on a geodesic disc yields an isothermal chart whose conformal factor is bounded by an explicit function of $\delta^2\kappa$, hence…

desk verdict A clean, checkable quantitative flatness theorem for isothermal coordinates; the proof is sound and the only real issue is a minor boundary-regularity overstatement. read the letter →

arxiv 2505.23591 v1 pith:UKR45DFF submitted 2025-05-29 math.DG math.MG

Matan Eilat This is my paper

classification math.DGmath.MG MSC 53A3053C2153C24

keywords bi-LipschitzmapsisothermalcoordinatesconformalfactorGausscurvaturegeodesicdiscsquantitativeflatnesstheoremGreenfunctionbarriersmaximumprinciple

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 tries to make the classical statement 'zero curvature means locally Euclidean' quantitative: if the Gauss curvature of a surface is not zero but is bounded by a small number $\kappa$ on a disc of radius $\delta$, then there is a coordinate chart on that disc that is almost an isometry, with distortion controlled by the product $\delta^2\kappa$. The main result is an explicit bound on the conformal factor $\varphi$ of an isothermal (conformal) coordinate chart, and from it a bi-Lipschitz bound $\exp(-4\delta^2\kappa)\le d_M(p,q)/|z(p)-z(q)|\le \exp(4\delta^2\kappa)$ whenever $\delta^2\kappa<\pi^2/8$. A cautious reader should care because the constants are explicit and the form is asymptotically sharp, matching the known spherical-cap distortion up to a constant in the exponent. The paper also explains why isothermal charts are a good choice for this purpose: in two dimensions they are harmonic coordinates, so the metric in them has the best possible regularity.

What carries the argument

The machinery is a pair of harmonic barriers $S_p(q)=-\log\tan(d(q,p)\sqrt{\kappa}/2)$ and $H_p(q)=-\log\tanh(d(q,p)\sqrt{\kappa}/2)$, the Green functions of the constant-curvature sphere and hyperbolic plane, placed at a variable pole $p$. Jacobi-field comparison inequalities make $S_p$ superharmonic and $H_p$ subharmonic with logarithmic poles; shifted by constants fixed on the boundary, they sandwich $-\log|w(p)-w(q)|$ and the conformal factor through the maximum principle. A CAT$(\kappa)$ triangle comparison controls the boundary ratio, and a simple maximum-principle lemma on the Euclidean disc finishes the estimate.

What would settle it

On the round sphere of radius $1/\sqrt{\kappa}$, take the geodesic disc of radius $\delta<\pi/(2\sqrt{\kappa})$ and the isothermal chart $z$ with $z(p_0)=0$ and $z(\partial B)=\delta S^1$. Computing the explicit conformal factor $\varphi$ and checking whether $\sup_B|\log\varphi|$ exceeds the Theorem 1.1 bound $\frac{\delta^2\kappa}{2}[1+\frac{\pi^2}{4}(\frac{\sinh(\delta\sqrt{\kappa})\tan(\delta\sqrt{\kappa})}{\delta^2\kappa})^2]$ would settle the claim, because the sphere is the model case the proof's barriers are built from.

Watch

Extended reading notes

Core claim

The paper establishes that the classical flatness theorem has a sharp quantitative form: if a $C^2$ Riemannian surface has Gauss curvature bounded by $\pm\kappa$ on a geodesic disc $B=B(p_0,\delta)$, with injectivity radius at least $2\delta$ and $\delta^2\kappa<\pi^2/4$, then the isothermal chart $z:B\to\delta D$ that fixes $p_0$ and maps $\partial B$ to $\delta S^1$ satisfies $\sup_B|\log\varphi|\le \frac{\delta^2\kappa}{2}[1+\frac{\pi^2}{4}(\frac{\sinh(\delta\sqrt{\kappa})\tan(\delta\sqrt{\kappa})}{\delta^2\kappa})^2]$, and in the range $\delta^2\kappa<\pi^2/8$ this gives $\exp(-4\delta^2\kappa)\le d_M(p,q)/|z(p)-z(q)|\le\exp(4\delta^2\kappa)$. The exponent is asymptotically sharp: it matches the $\delta^2\kappa/6$ distortion of spherical caps, up to a universal constant in the exponent.

Load-bearing premise

The argument needs every point of the geodesic disc to have injectivity radius at least $2\delta$, which guarantees the disc is strongly convex and has a smooth boundary that is a regular level set of the distance function; if the disc reached any cut point where minimizing geodesics lose uniqueness, the comparison inequalities and the maximum-principle boundary steps would no longer hold.

Editorial extensions

If this is right

If Theorem 1.1 is right, then any $\varepsilon$-small curvature on a Riemannian disc yields an explicit near-isometry: the bi-Lipschitz constant $\exp(4\varepsilon)$ from Corollary 1.2 is ready to use in metric estimates, with $\varepsilon=\delta^2\sup_B|K|$.
For small $\delta$, the bound scales linearly in the curvature-area product $\delta^2\kappa$, so shrinking the chart makes the distortion vanish at the same rate that curvature does; this is the natural quantitative form of the flatness theorem.
Because the constants are explicit and universal, the estimate can be used directly in quantitative compactness or convergence arguments for surfaces, without citing a compactness theorem.
The isothermal chart is essentially optimal in distortion: compared with Milnor's normal-coordinate distortion, using conformal coordinates costs at most a constant factor in the exponent.

Reading between the lines

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

A natural testable strengthening would be to push Corollary 1.2's threshold from $\pi^2/8$ up toward $\pi^2/4$; the theorem's own formula blows up only at $\pi^2/4$, so the corollary's more restrictive range is probably not the true limit.
The two-barrier sandwich suggests a route to quantitative distortion estimates for harmonic coordinates in higher dimensions, though the paper does not claim this; the comparison inequalities would have to be replaced by eigenvalue or Hessian bounds.
One could read the result as a quantitative rigidity statement: among surfaces with curvature bounded by $\kappa$ at scale $\delta$, the flat metric is isolated, with distance to flatness controlled by $\delta^2\kappa$.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear X,

The short version: the paper delivers what it claims. It gives an explicit, asymptotically sharp bound on the conformal factor of an isothermal chart on a Riemannian disc in terms of δ² sup|K|, and the proof is honest, self-contained, and checkable. I read the main steps carefully and the constants work.

The new thing is Theorem 1.1/Corollary 1.2: sup|log φ| ≤ 8δ²κ (under δ²κ<π²/8), hence bi-Lipschitz constant exp(4δ²κ). I know of no earlier explicit estimate of this type for isothermal coordinates. The technique—comparing Green's function with spherical/hyperbolic barriers and applying the maximum principle twice—is not flashy but it is exactly the right tool, and the boundary estimates in Proposition 3.2 are neat. The optimality discussion via Milnor's spherical cap is appropriate and not oversold.

The only soft spot I see is the boundary regularity claim. The paper says the boundary is C∞ and invokes Kellogg/Painlevé, but the metric is only C², so the distance sphere is at best C² (or C¹) and the conformal factor won't be smooth up to the boundary in general. This matters because the proof of Proposition 3.2 uses λ(q)=‖∇G(q)‖^{-2} on ∂B, which needs a C¹ extension of the Green's function. That extension is standard for C² boundaries (or follows by a smoothing/approximation argument preserving the curvature bounds), so the overstatement does not invalidate the argument. I would note it as a minor fix, not a flaw.

One more soft spot: the paper relies on several black-box theorems (uniformization, CAT(κ), DeTurck-Kazdan) with citations rather than proofs. That's normal for a research paper, but a referee should ask for precise statements for C² metrics. The novelty claim—that the explicit estimate is absent from the literature—is plausible but I couldn't fully verify; a referee should check whether similar harmonic-coordinate bounds exist.

Who should read this: anyone working on quantitative Riemannian geometry, nearly flat manifolds, or coordinate distortion estimates. It's a nice building block, not a breakthrough. I'd send it to a competent referee; it will need small revisions on regularity but the core result is solid. My honest verdict: accept after minor revision.

Cheers, [Name]

Referee Report

2 major / 5 minor

Summary. The paper proves a quantitative version of the flatness theorem on Riemannian surfaces. Under the assumptions that a geodesic disc B of radius δ has injectivity radius at least 2δ and its Gauss curvature satisfies −κ ≤ K ≤ κ with δ²κ < π²/4, Theorem 1.1 bounds the conformal factor φ of any isothermal chart z:B→δD by an explicit function of δ²κ. Corollary 1.2 then gives the bi-Lipschitz estimate exp(−4δ²κ) ≤ d_M(p,q)/|z(p)−z(q)| ≤ exp(4δ²κ) for δ²κ<π²/8. The proof is self-contained: it constructs harmonic barriers from Green's functions, derives pointwise and boundary estimates for the conformal factor (Propositions 3.1, 3.2), proves boundary and interior distance-ratio estimates (Lemma 4.1, Corollary 4.2, Lemma 4.3, Proposition 4.4), and combines them with the maximum principle and Liouville's equation (Lemma 4.5). The optimality discussion uses Milnor's spherical-cap example.

Significance. If the technical regularity issues are resolved, this is a valuable contribution: it provides, to the author's knowledge, the first explicit quantitative bound on the conformal factor of an isothermal chart in terms of local curvature and radius, with an asymptotically sharp bi-Lipschitz constant. The proof is elementary and transparent; all constants are explicit and no quantity is fitted to data. The barrier construction and the double maximum-principle argument are clean and checkable. The comparison with Milnor's example gives a convincing optimality discussion. The main theorem would be a useful quantitative complement to the classical qualitative flatness theorem.

major comments (2)

[Section 2 (boundary behavior of the conformal chart)] The statement that the set U=w_ε(B) has a C^∞-smooth boundary, being a level set of the distance function, is not valid for a C^2 metric: in general the distance function from p0 is only C^1, so ∂B is a C^1, not C^∞, submanifold. This is load-bearing because Proposition 3.2 uses the boundary formula λ(q)=∥∇G(q)∥^{-2}, which requires the conformal map to extend to the closure with a nonzero continuous derivative. The proof can be repaired by replacing the C^∞ claim with the correct C^1 statement and invoking the C^1 version of the Kellogg–Warschawski theorem (boundary C^1 implies the conformal map extends C^1 to the closure). As written, the proof of (8) rests on an overstatement of regularity and should be corrected with a precise citation.
[Section 2 and Proposition 3.1] The comparison inequalities (5)–(6) and the subsequent computation of Δ_M S_p and Δ_M H_p assume that the distance function r is twice differentiable and that Δ_M r exists in the classical sense. For a C^2 metric, r is in general only C^1, and the Laplacian of a C^1 function may not exist pointwise. The maximum-principle arguments therefore need a short justification, either by interpreting these Laplacians in the distributional or viscosity sense, or by smoothing the metric and passing to the limit. Since all constants depend only on κ and δ, such an approximation should preserve the estimates, but the paper should state explicitly how Proposition 3.1 is justified under the stated C^2 assumption.

minor comments (5)

[Lemma 5.3] In the proof of Lemma 5.3, the final sentence says 'x/ tan(x) is decreasing' but should read 'x/ tan(ax) is decreasing'.
[Section 2] The notation for the closure of B is introduced as 'B for its closure' but the printed symbol appears identical to the open disc; using an overline would avoid ambiguity.
[Proposition 3.2] The equality λ(q)=∥∇G(q)∥^{-2} for q∈∂B is used without derivation; a one-line explanation that ∇G is the Riemannian gradient and |w|=1 on ∂B would help the reader.
[Proposition 3.2] In the displayed derivation of (7), 'lim_{p→p0}' should be read as a limit over p∈B\{p0}; please clarify this to avoid suggesting a two-sided limit in a manifold.
[Proof of Theorem 1.1] The step bounding sup_{δD}|Δ log φ| by 2κ sup_{δD} φ uses the Liouville equation and the pointwise bound on K; this is correct but should be stated explicitly for completeness.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived from stated curvature/injectivity assumptions by a self-contained maximum-principle and comparison-geometry argument, with no fitted inputs or load-bearing self-citations.

full rationale

The paper's central result, Theorem 1.1, is a quantitative bound on the conformal factor of an isothermal chart under explicit assumptions on curvature and injectivity radius. The proof proceeds by constructing explicit harmonic barriers (S_p and H_p), applying comparison estimates for the distance function, and using the maximum principle plus Liouville's equation in the isothermal coordinates. None of the inputs is fitted to the output: the constant in the final estimate is obtained algebraically from the barrier constants and the a priori bound in Lemma 4.5, and no parameter appearing in the conclusion is adjusted to data or to the desired bound. The optimality discussion invokes Milnor's spherical-cap example as an external benchmark rather than as a premise of the derivation. The paper's self-citations are limited to routine acknowledgements; the mathematical results cited (Whitehead convexity, DeTurck-Kazdan regularity, comparison geometry, Kellogg boundary regularity, uniformization) are standard external theorems and are not used to smuggle in the conclusion. The only soft spot noted by a skeptical reader is the boundary-regularity step from C^2 metric to C^infty boundary in the chart construction; this is a regularity overstatement that does not make the argument circular, since the needed boundary comparisons follow from standard elliptic regularity and the assumptions already stated. Therefore no circular step is present.

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

The paper introduces no new free parameters, entities, or ad hoc assumptions. It relies entirely on the stated geometric assumptions and standard theorems, all cited. The constants in the inequalities are explicit and universal.

assumptions (7)

standard math Uniformization theorem for simply connected Riemann surfaces
Used in Section 2 to construct the conformal map w: B → D with w(p0)=0 and w(∂B)=S^1, which underpins all the barrier arguments.
standard math CAT(κ) (Alexandrov) triangle comparison, specifically the hinge comparison d_M(q,r) ≥ d_κ(q0,r0)
Proposition 2.1, cited to Alexandrov and Bridson-Haefliger, is used in Lemma 4.1 to bound the ratio angle/distance on the boundary.
standard math Maximum principle for subharmonic/superharmonic functions, including with logarithmic poles
Used throughout Sections 3 and 4, e.g., in Propositions 3.2 and 4.4.
standard math Kellogg's theorem and Painlevé boundary regularity for conformal maps of smooth Jordan domains
Used in Section 2 to extend the conformal map w to the closure of B so that the conformal factor λ is continuous on the boundary.
standard math DeTurck-Kazdan regularity theorem for harmonic coordinates, giving λ ∈ C^2
Used in Section 2 to ensure the conformal factor is C^2, so the Liouville equation and the Laplacian estimates apply.
domain assumption Jacobi equation comparison estimates for the distance function on surfaces with curvature bounds -κ ≤ K ≤ κ
Inequalities (5)-(6) in Section 2 are cited to Petersen; they require the stated curvature bounds and injectivity radius to hold on B.
domain assumption The disc B has injectivity radius at least 2δ at each point and δ²κ < π²/4
Assumed in the theorem; guarantees strong convexity (Whitehead theorem), smoothness of the distance function and boundary, and validity of the comparison estimates.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The bi-Lipschitz constant of an isothermal coordinate chart." pith.science (2026). https://pith.science/paper/UKR45DFF

@misc{pith2026250523591,
  author       = {Pith},
  title        = {Pith review of: The bi-Lipschitz constant of an isothermal coordinate chart},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UKR45DFF}},
  note         = {Machine review of arXiv:2505.23591}
}

abstract

Let $M$ be a $C^{2}$-smooth Riemannian surface. A classical theorem in differential geometry states that the Gauss curvature function $K : M \to \mathbb{R}$ vanishes everywhere if and only if the surface is locally isometric to the Euclidean plane. We give an asymptotically sharp quantitative version of this theorem with respect to an isothermal coordinate chart. Roughly speaking, we show that if $B$ is a Riemannian disc of radius $\delta > 0$ with $\delta^{2}\sup_{B}|K| < \varepsilon$ for some $0 < \varepsilon < 1$, then there is an isothermal coordinate map from $B$ onto an Euclidean disc of radius $\delta$ which is bi-Lipschitz with constant $\exp(4 \varepsilon)$.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A quantitative approach to the regularity of a Riemannian surface
math.DG 2025-07 conditional novelty 6.0 of 10

Two quantitative definitions of α-regularity for Riemannian surfaces, one based on curvature and one on local metric coefficients, are shown to be equivalent up to constants depending on α.

Reference graph

Works this paper leans on

13 extracted references · 12 canonical work pages · cited by 1 Pith paper

[1]

V ., Conformal Invariants: Topics in geometric function theory

Ahlfors, L. V ., Conformal Invariants: Topics in geometric function theory. McGraw-Hill, New York (1973)

work page 1973
[2]

B., Kapovitch, V ., Petrunin, A., Alexandrov geometry—foundations

Alexander, S. B., Kapovitch, V ., Petrunin, A., Alexandrov geometry—foundations. Gradu- ate Studies in Mathematics, vol. 236, Amer. Math. Soc., Providence, RI, (2024)

work page 2024
[3]

D., A theorem on triangles in a metric space and some of its applications

Aleksandrov, A. D., A theorem on triangles in a metric space and some of its applications. Trudy Mat. Inst. Steklov., vol. 38, (1951), 5–23

work page 1951
[4]

R., Haefliger, A., Metric spaces of non-positive curvature

Bridson, M. R., Haefliger, A., Metric spaces of non-positive curvature. Grundlehren der mathematischen Wissenschaften, vol. 319, Springer, Berlin, 1999

work page 1999
[5]

M., Kazdan, J

DeTurck, D. M., Kazdan, J. L., Some regularity theorems in Riemannian geometry. Ann. Sci. ´Ecole Norm. Sup. (4), vol. 14, no. 3, (1981), 249–260

work page 1981
[6]

W., Complex Analysis

Gamelin, T. W., Complex Analysis. Undergraduate Texts in Mathematics, Springer, New York, 2001

work page 2001
[7]

K., Kennedy, P

Hayman, W. K., Kennedy, P. B., Subharmonic functions. Vol. I. London Mathematical So- ciety Monographs, No. 9, Academic Press, London-New York, 1976

work page 1976
[8]

D., Harmonic functions and Green’s integral

Kellogg, O. D., Harmonic functions and Green’s integral. Trans. Amer. Math. Soc., vol. 13, no. 1, (1912), 109–132

work page 1912

Show all 13 references

[9]

W., A problem in cartography.Amer

Milnor, J. W., A problem in cartography.Amer. Math. Monthly, vol. 76, (1969), 1101–1112

1969
[10]

Journal fr die reine und angewandte Mathematik, vol

Minding, F., Wie sich entscheiden l ¨asst, ob zwei gegebene krumme Fl ¨achen auf einander abwickelbar sind oder nicht; nebst Bemerkungen ¨uber die Fl ¨achen von unver¨anderlichem Kr¨ummungsmaaße. Journal fr die reine und angewandte Mathematik, vol. 1839, no. 19, Berlin (1839),...
[11]

Thesis, Gauthier-Villars (1887)

Painlev ´e, P., Sure les lignes singulares des functions analytiques. Thesis, Gauthier-Villars (1887)
[12]

Springer New York (2006)

Peterson, P., Riemannian Geometry. Springer New York (2006)

2006
[13]

Whitehead, J. H. C., Convex regions in the geometry of paths.Quart. J. Math., vol. 3, no. 1, (1932), 33–42. Department of Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel. e-mail: matan.eilat@weizmann.ac.il 14

1932

Pith tools

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

[1] [1]

V ., Conformal Invariants: Topics in geometric function theory

Ahlfors, L. V ., Conformal Invariants: Topics in geometric function theory. McGraw-Hill, New York (1973)

work page 1973

[2] [2]

B., Kapovitch, V ., Petrunin, A., Alexandrov geometry—foundations

Alexander, S. B., Kapovitch, V ., Petrunin, A., Alexandrov geometry—foundations. Gradu- ate Studies in Mathematics, vol. 236, Amer. Math. Soc., Providence, RI, (2024)

work page 2024

[3] [3]

D., A theorem on triangles in a metric space and some of its applications

Aleksandrov, A. D., A theorem on triangles in a metric space and some of its applications. Trudy Mat. Inst. Steklov., vol. 38, (1951), 5–23

work page 1951

[4] [4]

R., Haefliger, A., Metric spaces of non-positive curvature

Bridson, M. R., Haefliger, A., Metric spaces of non-positive curvature. Grundlehren der mathematischen Wissenschaften, vol. 319, Springer, Berlin, 1999

work page 1999

[5] [5]

M., Kazdan, J

DeTurck, D. M., Kazdan, J. L., Some regularity theorems in Riemannian geometry. Ann. Sci. ´Ecole Norm. Sup. (4), vol. 14, no. 3, (1981), 249–260

work page 1981

[6] [6]

W., Complex Analysis

Gamelin, T. W., Complex Analysis. Undergraduate Texts in Mathematics, Springer, New York, 2001

work page 2001

[7] [7]

K., Kennedy, P

Hayman, W. K., Kennedy, P. B., Subharmonic functions. Vol. I. London Mathematical So- ciety Monographs, No. 9, Academic Press, London-New York, 1976

work page 1976

[8] [8]

D., Harmonic functions and Green’s integral

Kellogg, O. D., Harmonic functions and Green’s integral. Trans. Amer. Math. Soc., vol. 13, no. 1, (1912), 109–132

work page 1912