On Carleson measures induced by Beltrami coefficients being compatible with Fuchsian groups

Huo Shengjin

REVIEW 3 major objections 6 minor 14 references

On Carleson measures induced by Beltrami coefficients being compatible with Fuchsian groups

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

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

Pith's one-line read For convex cocompact Fuchsian groups of the second kind, a Beltrami coefficient whose weighted measure is Carleson on the free edges of its Dirichlet domain is Carleson on the entire disk.

desk verdict A plausible and potentially useful theorem, but the proof's central step runs Lemma 2.1 backwards; worth a referee to see if it can be repaired. read the letter →

arxiv 1908.05174 v1 pith:OFBMYFBR submitted 2019-08-14 math.CV

Huo Shengjin This is my paper · ORCID

classification math.CV MSC 30F3530F60

keywords FuchsiangroupBeltramicoefficientCarlesonmeasureDirichletdomainfreeedgesconvexcocompactsecondkindBMOA-Teichmüllerspace

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

The paper establishes a localization theorem for Carleson measures arising from Beltrami coefficients on the unit disk. Its central claim is that for a Beltrami coefficient compatible with a convex cocompact Fuchsian group of the second kind, the weighted measure $|\mu|^2(1-|z|^2)^{-1}\,dxdy$ is Carleson on the whole disk as soon as it satisfies the Carleson inequality on the free edges---the finitely many boundary arcs of the Dirichlet fundamental domain that contain no limit points. This matters because the class of such measures controls rectifiability of quasicircles and appears in BMOA-Teichmüller theory; the theorem turns a global check over all boundary points into a check over finitely many intervals. The paper also records that the statement cannot hold for cocompact first-kind groups, since a standard rigidity property of those groups prevents nontrivial compatible coefficients from being Carleson.

What carries the argument

The central object is the Dirichlet fundamental domain $F=\bigcap_{g\in G} D_0(g)$, with its finite collection of free edges $I_1,\dots,I_n\subset F(\infty)$---boundary arcs of $\Delta$ lying in $\partial F$ that contain no limit points of $G$. The argument runs on two rails. On the compact rail, Lemma 2.2 says that for convergence-type groups, a $G$-compatible coefficient supported on a compact subset of $F$ already yields a Carleson measure on $\Delta$; its proof uses the fact that $\{g(0)\}_{g\in G}$ is an interpolating sequence, established through an interpolation theorem for bounded analytic functions and the convergence-type condition. On the boundary rail, a chord-arc version of the Carleson inequality converts integrals over translated neighborhoods into boundary arc lengths. A geometric disjointness claim then ensures the relevant image arcs do not overlap, so their total length is at most $2\pi r$.

What would settle it

Compute for an explicit convex cocompact second-kind Schottky group and a simple $G$-compatible coefficient whether the free-edge Carleson bound holds; if the full-disk Carleson norm is then infinite or fails to be bounded by any constant multiple of the free-edge constant, the theorem is false. On the proof level, look for a positive measure on $B_i\cap F$ that satisfies the boundary-ball condition at every free-edge point but is not Carleson on $B_i\cap F$; such a measure would invalidate the key step where Lemma 2.1 is applied in reverse.

Watch

Extended reading notes

Core claim

The paper's central claim, Theorem 1.1, states: if $G$ is convex cocompact of the second kind, $F$ is its Dirichlet domain centered at $0$, and $\mu\in M(G)$ satisfies for every $\xi\in F(\infty)$ and every $0<r<1$ the bound $\iint_{B(\xi,r)} \frac{|\mu|^2\chi_F}{1-|z|^2}\,dxdy \le C r$, then $\mu\in \mathrm{CM}^*(\Delta)$. In words, Carleson control of the weighted measure on the boundary at infinity of one fundamental domain propagates to Carleson control on the entire disk. The proof decomposes the support of $\mu$ into translates of a compact piece and of free-edge neighborhoods, handles the compact piece by an interpolation lemma for convergence-type groups, and controls the boundary pieces by chord-arc estimates that bound integrals over the translated neighborhoods by the length of their boundary arcs; disjointness of these arcs under the group action gives the final linear bound in $r$.

Load-bearing premise

The proof depends on the assumption that the Carleson bound on free-edge boundary balls is strong enough to make the weighted measure Carleson on the intersection of each free-edge neighborhood with the Dirichlet domain; this is the direction in which Lemma 2.1 is invoked, even though the lemma is proved for a measure that is already Carleson on the whole disk.

Editorial extensions

If this is right

For convex cocompact second-kind groups, membership in $\mathrm{CM}^*(\Delta)$ is equivalent to the free-edge Carleson condition: Theorem 1.1 gives the hard direction, and the converse is the immediate restriction of a disk Carleson bound to $F$.
The Carleson norm of $|\mu|^2(1-|z|^2)^{-1}$ on $\Delta$ is bounded by a constant multiple of the free-edge constant $C$, with the multiplier depending only on the group and the Dirichlet domain.
When the free-edge constant is small, the resulting bound places $\mu$ in the regime where the associated quasicircle $f_\mu(\partial\Delta)$ is rectifiable, so the theorem gives a boundary-of-domain certificate for rectifiability.
The theorem does not extend to cocompact first-kind groups, where the known rigidity property of such groups rules out nontrivial compatible coefficients in $\mathrm{CM}^*(\Delta)$.
Because $F(\infty)$ consists of finitely many arcs, the hypothesis of Theorem 1.1 is a finite family of estimates rather than a check over all boundary points of the disk.

Reading between the lines

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

A natural next step, left implicit in the paper, is to test whether the same free-edge criterion holds for all convergence-type Fuchsian groups; the present proof uses convex cocompactness at several geometric steps, so a counterexample for a non-convex-cocompact convergence group would mark the true boundary of the phenomenon.
The theorem suggests a quantitative strengthening: identifying the sharp constant relating the free-edge Carleson norm to the full disk Carleson norm. For explicit Schottky-type groups this could be computed and would make the criterion a practical numerical test in BMOA-Teichmüller theory.
One could try to replace the continuum of points $\xi\in F(\infty)$ by a discrete family of testing regions, such as Stolz cones or a boundary tree; if such a reduction held, the condition would become a finite or tree-based criterion with a direct algorithmic reading.

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.

Desk Editor's Note

read the letter

Colleague,

The paper's headline claim is a boundary-only Carleson criterion for Beltrami coefficients compatible with convex cocompact Fuchsian groups of the second kind. If true, it is a genuine extension of the compact-support result from Astala and Zinsmeister, and it would be a convenient tool for BMOA-Teichmüller theory and for Bowen/Ruelle-type questions. The strategy of the proof is also sensible: split the Dirichlet domain into a compact core and a boundary strip, handle the core by the known interpolating-sequence lemma, and use the free-edge Carleson condition to control the strip.

The problem is that the proof's central bridge is invalid as written. In §3, after choosing the balls B_i around the free edges, the text says 'By Lemma 2.1 we know that the measure |μ|²/(1-|z|²) dxdy is a Carleson measure on the domain B_i∩F.' Lemma 2.1 runs in the opposite direction: it assumes the measure is already Carleson on the whole disk and then gives ball estimates for arbitrary centers. The free-edge hypothesis in Theorem 1.1 only controls balls centered at points of F(∞), with the factor χ_F, and says nothing about centers on the finite sides of F or on the other boundary arcs of B_i∩F. The subsequent arguments, including the special case and cases (a)–(c), all use a Carleson norm on B_i∩F as input. Without the missing implication, the group-action and chord-arc estimates do not have a foundation. This is not a matter of presentation; it is a load-bearing gap.

There are also two smaller soft spots. In Lemma 2.2 the displayed radius formula has a negative numerator (1−e^{tρ} is negative); this looks like a typo for e^{-tρ}, and it is easy to fix, but it should be corrected. In case (c) of the main proof, the assertion that g(B_i∩Δ)∩B(ξ,r) is a triangle whose angle is uniformly bounded below, leading to a chord-arc length estimate, is stated without proof. That might follow from elementary hyperbolic geometry, but the manuscript does not show it.

My overall judgment: the theorem is plausible and worth investigating, but the current proof does not establish it. This paper should not be rejected out of hand; it deserves a serious referee who can determine whether the free-edge condition can be promoted to a Carleson property on each B_i∩F by a direct argument (for example, using discontinuity of the group near the finite sides). If that step can be supplied, the result would be a solid contribution to a niche but active area. As it stands, the manuscript needs major revision.

Referee Report

3 major / 6 minor

Summary. The paper studies G-compatible Beltrami coefficients μ on the unit disk for a convex cocompact Fuchsian group G of the second kind. Let F be the Dirichlet fundamental domain centered at 0 and let F(∞) be the intersection of F with ∂Δ. Theorem 1.1 asserts that if the weighted measure |μ|^2/(1-|z|^2) χ_F dxdy satisfies the Carleson estimate on Euclidean balls centered at points of F(∞), then |μ|^2/(1-|z|^2) dxdy is a Carleson measure on Δ. The proof decomposes μ into a compact part, handled by Lemma 2.2 (attributed to Astala and Zinsmeister), and a free-edge part, handled by choosing finitely many balls B_i around the free edges, applying Lemma 2.1 and Lemma 2.3, and summing over group translates using disjointness of images of the free-edge arcs.

Significance. The statement is natural and, if proved, would give a useful criterion for membership in CM^*(Δ) for coefficients compatible with convex cocompact second-kind groups; it also sharpens the contrast with cocompact and divergence-type groups, where Bowen-type rigidity prevents such a statement. The paper correctly identifies the reduction of the compact part to an interpolating-sequence argument (Lemma 2.2), and the use of group equivariance to reduce a global Carleson estimate to estimates on translates of B_i is a plausible strategy. However, the proof as written contains a load-bearing inversion of Lemma 2.1, together with unproved geometric assertions in case (c); these gaps prevent the theorem from being established. The paper would be publishable if the missing passage from free-edge estimates to Carleson estimates on B_i∩F, or an equivalent chord-arc argument, were supplied.

major comments (3)

[§3, after the choice of the balls B_i] The assertion 'By Lemma 2.1 we know that the measure |μ(z)|^2/(1-|z|^2) dxdy is a Carleson measure on the domain B_i∩F' inverts the lemma. Lemma 2.1 assumes that |μ|^2/(1-|z|^2) dxdy is already a Carleson measure on the whole disk and derives estimates on arbitrary balls; it does not imply that the free-edge condition in Theorem 1.1 suffices for the Carleson property on B_i∩F. The hypothesis only controls balls centered at points of the free-edge interval I_i, with the extra factor χ_F, and gives no control for centers on ∂B_i∩F or on the non-free arcs of ∂F that form part of the boundary of B_i∩F. This missing implication is used repeatedly: in the special case, in the statement that the measure is Carleson on B_i∩Δ, and in cases (a)–(c), where the Carleson norm on B_i∩Δ is an input to Lemma 2.3. Without a direct proof of this subdomain Carleson property, the group-action estimates have no foundation.
[Lemma 2.2] The displayed formula for the Euclidean radius R_g of g(B(0,t)) has a negative numerator: since t_ρ = log((1+t)/(1-t)) > 0, the factor (1-e^{t_ρ}) is negative while the denominator is positive. The intended formula presumably uses (e^{t_ρ}-1) or an equivalent expression; as printed, the bound R_g ≤ C(1-|g(0)|) does not follow. Because Lemma 2.2 is the tool that handles the compact part of the decomposition, this needs to be corrected and the estimate rechecked.
[§3, case (c)] The claim that the angle of the circular triangle g(B_i∩Δ)∩B(ξ,r) corresponding to the side g(B_i∩∂Δ)∩B(ξ,r) is 'bigger than some constant' is unproved and not obvious: if B(ξ,r) cuts g(B_i∩Δ) in a very thin cap, the relevant angle can tend to 0. A uniform lower bound would require quantitative control on the position of ξ relative to g(I_i) and on the intersection of B(ξ,r) with the two circular sides. This estimate is used to bound the length of the boundary by C_2 length(g(B_i∩∂Δ)∩B(ξ,r)), so it is load-bearing for the summation over G^*.

minor comments (6)

[Abstract and title] The text contains OCR artifacts such as 'BELTRAMI', 'COMPATIBLE', and 'infinite boundary boundary'; these should be cleaned before publication.
[Introduction, definition of M(G)] The G-compatibility condition should be μ(z) = μ(g(z)) \overline{g'(z)}/g'(z); the displayed formula has g'(z)/g'(z), which is not G-equivariant. Please correct.
[§3, cases (b) and (c)] The condition 'g(B_i∩F) ⊂ B(ξ,r) ≠ ∅' is not well-formed; it should likely be 'g(B_i∩F) ∩ B(ξ,r) ≠ ∅' or 'g(B_i∩F) ⊂ B(ξ,r)', depending on the intended case distinction.
[Lemma 2.2] The notation t_ρ is confusing; the hyperbolic radius of B(0,t) should be denoted by a single parameter, for example ρ_t, and the formula involving it should be stated consistently.
[End of §3] The set B was earlier defined as ∪(B_i∩F), but the final display uses B = ∪(B_i∩Δ); this inconsistency should be fixed.
[Throughout] The terms 'convex compact' and 'convex cocompact' are used inconsistently; the introduction should use one standard term.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the free-edge-to-global Carleson theorem is a forward implication; the questionable Lemma 2.1 inference in §3 is a proof gap, not a circular reduction.

full rationale

The derivation is not circular. Theorem 1.1 is a conditional implication from a strictly weaker free-edge Carleson estimate to a global Carleson measure on the unit disk; the hypothesis and conclusion are not definitionally equivalent, and no constant is fitted to a subset of data and then re-presented as a prediction. The main tools, Lemma 2.2 and Lemma 2.3, are quoted from external sources (Astala–Zinsmeister and Zinsmeister) or are proved in-line using convergence-type-group interpolation; the author's own prior papers [11,12] appear only as motivational context, not as load-bearing support for Theorem 1.1. The only potentially load-bearing defect in §3 is the assertion 'By Lemma 2.1 we know that the measure |μ(z)|^2/(1−|z|^2) dxdy is a Carleson measure on the domain B_i∩F,' which appears to invert Lemma 2.1's direction: Lemma 2.1 starts from an already-global Carleson measure and derives ball estimates, whereas Theorem 1.1 supplies only free-edge estimates. That is a substantive proof gap, but it is not a circular reduction: it does not identify the theorem's output with its input, and it does not rely on a self-citation chain or on a fitted parameter renamed as a prediction. Since no circular step can be exhibited with a specific reduction, the circularity score is 0.

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

Pure mathematics with no data fitting or invented entities. The ledger items capture the unproved analytic and geometric bridges that the central proof depends on, especially the inversion of Lemma 2.1 and the uniform chord-arc angle assumption.

assumptions (5)

standard math Carleson's interpolation theorem characterizing measures of interpolating sequences (ref [7])
Used in Lemma 2.2 to assert that property (3.1) holds if the Blaschke product separation condition holds.
domain assumption For convergence-type Fuchsian groups, the orbit {g(0)} is an interpolating sequence
Proved in Lemma 2.2, but the proof's radius formula contains a sign error (1 - e^{t rho} is negative), so this is not soundly established in the manuscript.
standard math Zinsmeister's characterization of Carleson measures on chord-arc domains (Lemma 2.3)
Used to turn Carleson-measure bounds into boundary integrals of |g'|; cited as [14].
ad hoc to paper The free-edge Carleson condition implies the measure is Carleson on B_i intersect F and B_i intersect Delta
Assumed via an incorrect reference to Lemma 2.1; no independent proof or citation is given for this implication, which is essential to the proof.
ad hoc to paper The angle between partial B_i and partial Delta is uniformly bounded below for the chosen balls B_i
In case (c) the proof claims a uniform constant C2 depending on this angle; the existence of such a uniform angle is asserted without proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On Carleson measures induced by Beltrami coefficients being compatible with Fuchsian groups." pith.science (2026). https://pith.science/paper/OFBMYFBR

@misc{pith2026190805174,
  author       = {Pith},
  title        = {Pith review of: On Carleson measures induced by Beltrami coefficients being compatible with Fuchsian groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OFBMYFBR}},
  note         = {Machine review of arXiv:1908.05174}
}

abstract

Suppose $\mu$ be a Beltrami coefficient on the unit disk, which is compatible with a convex co-compact Fuchsian group $G$ of the second kind. In this paper we show that if $\displaystyle\frac{|\mu|^{2}}{1-|z|^{2}}dxdy $ satisfies the Carleson condition on the infinite boundary boundary of the Dirichlet domain of $G$, then $\displaystyle\frac{|\mu|^{2}}{1-|z|^{2}}dxdy$ is a Carleson measure on the unit disk.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Astala and M

K. Astala and M. Zinsmeister. Teichm¨ uller spaces and BMOA. Math. Ann., Vol 289(1991), 613-625

work page 1991
[2]

Astala and M

K. Astala and M. Zinsmeister. Rectiﬁability in Teichmller theory. in Topics in Complex Analysis, Banach Center Publications Vol 31, (1995), 45-52

work page 1995
[3]

A. F. Beardon. The geometry of discrete group. Springer-Verlag, 1983

work page 1983
[4]

C.J. Bishop. Divergence groups have the Bowen property. Ann. Math., Vol 154(2001), 205-217. 10 HUO SHENGJIN

work page 2001
[5]

C.J. Bishop. Compact deformations of Fuchsian group. J. D’analyse Math., Vol 87(2002), 5-36

work page 2002
[6]

R. Bowen. Hausdorﬀ dimension of quasicircles. Publ. Math. IHES Vol50(1979), 11-25

work page 1979
[7]

Carleson

L. Carleson. An interpolation problem for bounded analytic functions , Amer. J. Math., Vol 4 (1958), 921-930

work page 1958
[8]

Cui, Integrably asymptotic aﬃne homeomorphisms of the circle an d Teichm¨ uller spaces, Sci

G. Cui, Integrably asymptotic aﬃne homeomorphisms of the circle an d Teichm¨ uller spaces, Sci. China Ser A, 43, (2000), 267-279

work page 2000

Show all 14 references

[9]

F. Dal’Bo. Geodesic and horocyclic Trajectories Springer, 2011

2011
[10]

J. B. Garnett: Bounded Analytic Functions, New York: Academic Press,1981

1981
[11]

Huo and S

S. Huo and S. W u: The failure of analyticity of Hausdorﬀ dimensions of quasi- circles of Fuchsian groups of the second kind, Proc. Amer. Math. Soc. Vol 143(2015), 1101-1108

2015
[12]

Huo and M

S. Huo and M. Zinsmerster: On Ruelle’s property . arXiv:1906.01291v1

1906 arXiv
[13]

Shen and H

Y. Shen and H. W ei, Universal Teichmuller space and BMO , Adv. Math, Vol 234(2013), 129-148

2013
[14]

Zinsmeister: Les domaines de Carleson

M. Zinsmeister: Les domaines de Carleson . Michigan Math. J., Vol 36, No 2, (1989), 213-220. Department of Mathematics, Tianjin Polytechnic University , Tianjin 300387, China E-mail address : huoshengjin@tjpu.edu.cn

1989

Pith tools

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

[1] [1]

Astala and M

K. Astala and M. Zinsmeister. Teichm¨ uller spaces and BMOA. Math. Ann., Vol 289(1991), 613-625

work page 1991

[2] [2]

Astala and M

K. Astala and M. Zinsmeister. Rectiﬁability in Teichmller theory. in Topics in Complex Analysis, Banach Center Publications Vol 31, (1995), 45-52

work page 1995

[3] [3]

A. F. Beardon. The geometry of discrete group. Springer-Verlag, 1983

work page 1983

[4] [4]

C.J. Bishop. Divergence groups have the Bowen property. Ann. Math., Vol 154(2001), 205-217. 10 HUO SHENGJIN

work page 2001

[5] [5]

C.J. Bishop. Compact deformations of Fuchsian group. J. D’analyse Math., Vol 87(2002), 5-36

work page 2002

[6] [6]

R. Bowen. Hausdorﬀ dimension of quasicircles. Publ. Math. IHES Vol50(1979), 11-25

work page 1979

[7] [7]

Carleson

L. Carleson. An interpolation problem for bounded analytic functions , Amer. J. Math., Vol 4 (1958), 921-930

work page 1958

[8] [8]

Cui, Integrably asymptotic aﬃne homeomorphisms of the circle an d Teichm¨ uller spaces, Sci

G. Cui, Integrably asymptotic aﬃne homeomorphisms of the circle an d Teichm¨ uller spaces, Sci. China Ser A, 43, (2000), 267-279

work page 2000