REVIEW 2 major objections 4 minor 26 references
Integrability of moduli and regularity of Denjoy counterexamples
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The integrability of the modulus of continuity decides when exceptional circle actions exist.
desk verdict A substantial paper with a genuinely useful single-diffeomorphism proof and new converses, but the main d≥2 group-action theorem rests on an estimate that uses condition (2) in the wrong direction and is not proved as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the orbit blow-up construction, refined to $C^{1,\alpha}$ regularity. One assigns to each point $y$ of a free orbit a positive length $\ell_y$ with total mass tending to zero, replaces $y$ by an interval of that length, and interpolates the derivative of the lifted map by a bump function so that the derivative distortion on the interval is governed by the quotient $\ell_{sy}/(s'(y)\ell_y)$. The paper chooses $\ell_y = g'(0)/\nu(\|y\|_0+k)$ with $\nu(x)=x^{d+1}\alpha(1/x)^d$, where $\|y\|_0$ is the orbit distance; the growth hypothesis makes $\sum_y \ell_y$ finite, and the monotonicity of $\nu(x)/x$ makes the ratios $\ell_{sy}/\ell_y$ tend to $1$. The load-bearing estimate is the uniform bound on $A(s,k,y) = |1-\ell_{sy}/(s'(y)\ell_y)|/\alpha(\ell_y)$; concavity of $\alpha$ turns that bound into a uniform $C^{1,\alpha}$ seminorm for the lifted derivatives.
What would settle it
Compute $A(s,k,y)=|1-\ell_{sy}/(s'(y)\ell_y)|/\alpha(\ell_y)$ for the paper's length choice $\ell_y=g'(0)/\nu(\|y\|_0+k)$ with $\nu(x)=x^{d+1}\alpha(1/x)^d$, using a concave $\alpha$ that satisfies $\int_0^1 \alpha(x)^{-d}\,dx<\infty$ but violates condition (2). If for some generator $s$ and some sequence $y_k$ the values $A(s,k,y_k)$ are unbounded, the key estimate of Theorem 2.10 fails; a computation showing boundedness for all such $\alpha$ would indicate that condition (2) is removable rather than a genuine boundary.
Extended reading notes
Core claim
The central claim is that the regularity border for exceptional actions is encoded by integrability of the reciprocal modulus. More precisely, Theorem 1.1 asserts that under the stated hypotheses, the given action can be blown up at a free orbit to produce nontrivial exceptional actions $\rho_k$ with $\rho_k\to\rho$ in $C^1$ and with $\sup_k [\rho_k(g)']_\alpha < \infty$ for each $g$. The case $G=\mathbb{Z}$ gives the one-dimensional statement: for every irrational rotation number $\theta$, the condition $\int_0^1 dx/\alpha(x)<\infty$ is sufficient for the existence of a $C^{1,\alpha}$ exceptional diffeomorphism with rotation number $\theta$, arbitrarily $C^1$-close to a rotation. The paper also proves a partial converse: for exceptional $C^{1,\alpha}$ actions of $\mathbb{Z}^d$ that are semi-conjugate to rotations with matched derivatives on the minimal set, the integral $\int_0^1 \alpha^{-1}(t)/t^{d+1}\,dt$ must converge, and under the extra regularity condition $\sup_t \alpha(t)/(t\alpha'(t))<\infty$ this integrability is again sufficient.
Load-bearing premise
For $d>1$, the proof relies on the technical inequality $\sup_{0<y<1} \alpha(y^{d+1}/\alpha(y)^d)/y < \infty$; if that supremum is infinite, the argument gives no bound on derivative oscillations, and the paper offers no example showing whether the $C^{1,\alpha}$ approximation nevertheless exists.
Editorial extensions
If this is right
- Every irrational rotation number admits a $C^{1,\alpha}$ exceptional diffeomorphism for every concave modulus with $\int_0^1 dx/\alpha(x)<\infty$, recoverable arbitrarily $C^1$-close to a rotation.
- All previously known attainable moduli, including H\"older moduli and Herman's $\alpha(x)=x(\log 1/x)^{1+\varepsilon}$, are recovered, and new moduli such as $x\log(1/x)(\log\log(1/x))^{1+\varepsilon}$ are shown attainable.
- If an exceptional diffeomorphism has wandering interval lengths with $\ell_{i+1}/\ell_i\to 1$ and is $C^{1,\alpha}$, then $\alpha(\ell_i)\ge A/i$ for some $A>0$; in particular moduli like $x\log(1/x)$ are impossible in this class.
- For $\mathbb{Z}^d$, exceptional $C^{1,\alpha}$ actions with derivative matching force $\int_0^1\alpha^{-1}(t)/t^{d+1}\,dt<\infty$, while the same condition plus $\sup_t\alpha(t)/(t\alpha'(t))<\infty$ suffices, so the two statements are near-converses.
- The main approximation theorem applies to every finitely generated group with spherical growth $O(n^{d-1})$, giving exceptional $C^{1,\alpha}$ approximations for non-abelian groups as well as for $\mathbb{Z}$.
Reading between the lines
- The two integrability conditions bracket the classical open case $\alpha(x)=x\log(1/x)$: the sufficient integral diverges and the necessary integral diverges too, so the theorem neither constructs nor rules out such diffeomorphisms; settling the open case would require understanding endpoint derivatives of wandering intervals rather than moduli alone.
- Condition (2) is the most fragile premise for $d>1$; if it is an artifact, the construction should work for moduli that violate it, and the natural check is to run the same length formula with a slowly varying modulus where the supremum diverges yet the $\alpha$-seminorm bound still appears to hold.
- Using the paper's Proposition 2.12 relating spherical and word growth for nilpotent groups, one could restate the main hypothesis as polynomial word growth of degree $d$ and carry the construction over to virtually nilpotent groups of arbitrary nilpotency class, up to the same technical condition on $\alpha$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the construction of exceptional (Denjoy-type) actions of finitely generated groups on the circle in regularity C^{1,α}. The main result, Theorem 1.1, asserts that if a finitely generated group G with spherical growth O(n^{d-1}) admits a C^{1,α} action ρ with a free orbit and uniformly bounded log-derivatives, and if α satisfies ∫_0^1 α^{-d} < ∞ plus a technical condition (2) when d>1, then ρ can be C^1-approximated by exceptional C^{1,α} actions with uniformly bounded C^{1,α} constants. Theorem 1.2 gives the single-diffeomorphism version under ∫_0^1 α^{-1} < ∞. The paper also proves partial converses: exceptional C^{1,α} actions of Z^d impose the integrability ∫_0^1 α^{-1}(t)/t^{d+1} dt < ∞ under endpoint-derivative hypotheses (Theorem 1.3), and a complementary sufficiency theorem under a regularity condition on α (Theorem 1.6). The proofs use a blow-up construction with carefully chosen equivariant interval maps; the d=1 case is proved separately in Appendix A.
Significance. If correct, Theorem 1.1 would unify and generalize Herman's construction of C^{1,α} exceptional diffeomorphisms, recover all previously known moduli for single diffeomorphisms, and produce new moduli such as x log(1/x)(log log 1/x)^{1+ε}. The converse results are a useful step toward McDuff's length-spectrum question. The d=1 construction in Appendix A is self-contained, detailed, and appears sound; no parameters are fitted, and the fundamental estimate is used honestly. However, the d>1 group-action part rests on a technical estimate whose proof uses condition (2) in the wrong direction, so the central claim for d>1 is not established as written.
major comments (2)
- [§2.3, Theorem 2.10 proof, equation (2)] The proof of the claim that A(s,k,y) is uniformly bounded uses condition (2) in the wrong direction. From the displayed estimate the proof obtains A(s,k,y) ≲ 1/(j α(1/ν(j))). With u=1/j this is u/α(u^{d+1}/α(u)^d). Condition (2) bounds α(u^{d+1}/α(u)^d)/u from above, which gives a lower bound on this ratio, not the required upper bound. The needed hypothesis would be sup_{0<u<1} u/α(u^{d+1}/α(u)^d) < ∞. For d=2 and α(x)=x^{0.6}, all hypotheses of Theorem 2.10 hold (∫_0^1 x^{-1.2}dx < ∞ and condition (2) holds since the quotient is u^{0.08}), but the displayed bound gives A ≈ j^{0.08} → ∞, so the claim as stated is false. Since the uniform boundedness of A is exactly what yields the uniform C^{1,α} bounds for the blow-up actions, Theorem 2.10, and hence Theorem 1.1 and Corollary 2.16 for d>1, are not established by the present proof.
- [Corollary 2.16 and Remark 2.11] Because the proof of Theorem 2.10 fails at the estimate just discussed, the advertised applications to free abelian groups of rank d>1 and to moduli such as those of Deroin–Kleptsyn–Navas are unsupported. Remark 2.11 explicitly tells the single-diffeomorphism reader to ignore the d>1 case, but the main theorem is stated for all d. The authors should either repair the estimate with a corrected condition and re-check the examples in Corollary 2.16 against that condition, or restrict the main theorem to the cases actually proved.
minor comments (4)
- [Appendix A, proof of Theorem 1.2, final paragraph] The sentence 'we see that ‖f'−1‖ indeed tends to 1' contradicts the preceding statement that ‖f'−1‖ vanishes outside the intervals and also contradicts the claimed C^1 convergence to a rotation; it should read 'tends to 0'.
- [§2.3, proof of Theorem 2.10] The sentence 'the claim trivially implies lim_{x→∞} ν(x+1)/ν(x) = 1' is not a direct consequence of the uniform boundedness of A; the earlier bound involving ν'/ν is what gives this limit. A one-line derivation would clarify the exposition.
- [Theorem 1.1 and §2.2] The spherical growth condition is stated as 'at most c n^{d−1}' without specifying the finite generating set; since the spherical growth function depends on the generating set, the statement should clarify whether the bound is assumed for some or every generating set.
- [Abstract and Theorem 1.1] The abstract writes ∫ 1/α^d while the theorem writes ∫ 1/α(x)^d dx; please unify the notation for the integrability condition.
Circularity Check
No circularity: the blow-up construction is self-contained and its regularity estimates are derived from the stated hypotheses.
full rationale
The paper's central results are obtained by an explicit blow-up construction, not by fitting a parameter and relabeling it as a prediction. In Theorem 2.10 the length parameters are set as ell_y^k = g'(0)/nu(||y||_0 + k) with nu(x) = x^{d+1} alpha(1/x)^d, after which the claimed C^{1,alpha} control is derived from the integrability of 1/alpha^d and condition (2). The conclusion is therefore not built into the choice of ell_y^k; the estimates are genuine a priori bounds. The converse results in Section 3, including Theorem 1.4, are obtained from the Fundamental Estimate and are necessary-condition statements, not disguised assumptions. The paper does cite the authors' own prior work [18] when recalling that semi-conjugacy can be formulated via common blow-ups, and [6] for the existence of a concave majorant, but these citations are terminological or standard and are not the load-bearing step in the proof of Theorem 2.10 or its corollaries. The reviewer-identified difficulty concerning the direction of condition (2) in the proof of Theorem 2.10 is a potential mathematical correctness issue, not a circularity: no equation in the paper defines the desired conclusion in terms of the hypotheses. Accordingly, the derivation chain is not circular.
Assumptions & free parameters
assumptions (5)
- standard math Every countable group action on the circle is semi-conjugate to a minimal one (Poincaré).
- domain assumption A concave modulus of continuity can be replaced by a differentiable one without loss of generality (Medvedev [22]).
- standard math For an irrational circle homeomorphism without dense orbits, the exceptional minimal set is a Cantor set (Denjoy theory).
- domain assumption The derivative matching condition in Theorem 1.3: ρ(s)'(x)=ρ̄(s)'(H(x)) on the minimal set.
- domain assumption The spherical growth bound σ(n) ≤ c n^{d-1} is assumed for the group.
Cite this review
Pith. "Pith review of Integrability of moduli and regularity of Denjoy counterexamples." pith.science (2026). https://pith.science/paper/2S7CBQU2
@misc{pith2026190806568,
author = {Pith},
title = {Pith review of: Integrability of moduli and regularity of Denjoy counterexamples},
year = {2026},
howpublished = {\url{https://pith.science/paper/2S7CBQU2}},
note = {Machine review of arXiv:1908.06568}
}
abstract
We study the regularity of exceptional actions of groups by $C^{1,\alpha}$ diffeomorphisms on the circle, i.e. ones which admit exceptional minimal sets, and whose elements have first derivatives that are continuous with concave modulus of continuity $\alpha$. Let $G$ be a finitely generated group admitting a $C^{1,\alpha}$ action $\rho$ with a free orbit on the circle, and such that the logarithms of derivatives of group elements are uniformly bounded at some point of the circle. We prove that if $G$ has spherical growth bounded by $c n^{d-1}$ and if the function $1/\alpha^d$ is integrable near zero, then under some mild technical assumptions on $\alpha$, there is a sequence of exceptional $C^{1,\alpha}$ actions of $G$ which converge to $\rho$ in the $C^1$ topology. As a consequence for a single diffeomorphism, we obtain that if the function $1/\alpha$ is integrable near zero, then there exists a $C^{1,\alpha}$ exceptional diffeomorphism of the circle. This corollary accounts for all previously known moduli of continuity for derivatives of exceptional diffeomorphisms. We also obtain a partial converse to our main result. For finitely generated free abelian groups, the existence of an exceptional action, together with some natural hypotheses on the derivatives of group elements, puts integrability restrictions on the modulus $\alpha$. These results are related to a long-standing question of D. McDuff concerning the length spectrum of exceptional $C^1$ diffeomorphisms of the circle.
Reference graph
Works this paper leans on
-
[1]
Athanassopoulos, Denjoy C 1 diffeomorphisms of the circle and McDu ff’s question , Expo
K. Athanassopoulos, Denjoy C 1 diffeomorphisms of the circle and McDu ff’s question , Expo. Math. 33 (2015), no. 1, 48–66. MR3310927
work page 2015
-
[2]
P . Bohl, ¨Uber die Hinsichtlich der Unabh¨ angigen und Abh¨ angigen V ariabeln Periodische Dif- ferentialgleichung Erster Ordnung, Acta Math. 40 (1916), no. 1, 321–336. MR1555141
work page 1916
-
[3]
E. Breuillard and E. Le Donne, On the rate of convergence to the asymptotic cone for nilpote nt groups and subFinsler geometry , Proc. Natl. Acad. Sci. USA 110 (2013), no. 48, 19220– 19226. MR3153949
work page 2013
- [4]
-
[5]
D. Calegari and N. M. Dunfield, Laminations and groups of homeomorphisms of the circle , Invent. Math. 152 (2003), no. 1, 149–204. MR1965363 (2005a:57013)
work page 2003
- [6]
-
[7]
D. Coronel, A. Navas, and M. Ponce, On bounded cocycles of isometries over minimal dynam- ics, J. Mod. Dyn. 7 (2013), no. 1, 45–74. MR3071465
work page 2013
-
[8]
P . de la Harpe, T opics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 2000. MR1786869 (2001i:2008 1)
work page 2000
Show all 26 references
-
[9]
Denjoy, Sur la continuit´ e des fonctions analytiques singuli` eres, Bull
A. Denjoy, Sur la continuit´ e des fonctions analytiques singuli` eres, Bull. Soc. Math. France 60 (1932), 27–105. MR1504984
1932
-
[10]
Deroin, V
B. Deroin, V . Kleptsyn, and A. Navas, Sur la dynamique unidimensionnelle en r´ egularit´ e in- term´ ediaire, Acta Math. 199 (2007), no. 2, 199–262. MR2358052
2007
-
[11]
Farb and J
B. Farb and J. Franks, Groups of homeomorphisms of one-manifolds. III. Nilpotent subgroups, Ergodic Theory Dynam. Systems 23 (2003), no. 5, 1467–1484. MR2018608 (2004k:58013)
2003
-
[12]
Ghys, Actions de r´ eseaux sur le cercle , Inventiones Math
´E. Ghys, Actions de r´ eseaux sur le cercle , Inventiones Math. 137 (1999), no. 1, 199–231. MR1703323 (2000j:22014)
1999
-
[13]
G. R. Hall, A C8 Denjoy counterexample, Ergodic Theory Dynamical Systems 1 (1981), no. 3, 261–272 (1982). MR662469
1981
-
[14]
Herman, Sur la conjugaison di fferentiable des diffeomorphismes du cercle a des rotations , Inst
M. Herman, Sur la conjugaison di fferentiable des diffeomorphismes du cercle a des rotations , Inst. Hautes ´Etudes Sci. Publ. Math. No. 49 (1979), 5–233
1979
-
[15]
Hu and D
J. Hu and D. P . Sullivan, T opological conjugacy of circle di ffeomorphisms, Ergodic Theory Dynam. Systems 17 (1997), no. 1, 173–186. MR1440774
1997
-
[16]
Jorquera, A universal nilpotent group of C1 diffeomorphisms of the interval, Topology Appl
E. Jorquera, A universal nilpotent group of C1 diffeomorphisms of the interval, Topology Appl. 159 (2012), no. 8, 2115–2126. MR2902746
2012
-
[17]
Katok and B
A. Katok and B. Hasselblatt, Introduction to the modern theory of dynamical systems , Encyclopedia of Mathematics and its Applications, vol. 54, Cambridge University Press, Cambridge, 1995, With a supplementary chapter by Katok and L eonardo Mendoza. MR1326374 (96c:58055) 34 S...
1995
-
[18]
S. Kim, T. Koberda, and M. Mj, Flexibility of group actions on the circle , Lecture Notes in Mathematics, vol. 2231, Springer, Cham, 2019. MR3887602
2019
-
[19]
Mann, How groups grow , London Mathematical Society Lecture Note Series, vol
A. Mann, How groups grow , London Mathematical Society Lecture Note Series, vol. 395 , Cambridge University Press, Cambridge, 2012. MR2894945
2012
-
[20]
Mattila, Geometry of sets and measures in Euclidean spaces , Cambridge Studies in Ad- vanced Mathematics, vol
P . Mattila, Geometry of sets and measures in Euclidean spaces , Cambridge Studies in Ad- vanced Mathematics, vol. 44, Cambridge University Press, C ambridge, 1995, Fractals and rectifiability. MR1333890
1995
-
[21]
McDu ff, C1-minimal subsets of the circle , Ann
D. McDu ff, C1-minimal subsets of the circle , Ann. Inst. Fourier (Grenoble) 31 (1981), no. 1, vii, 177–193. MR613034
1981
-
[22]
A. V . Medvedev, On a concave di fferentiable majorant of a modulus of continuity , Real Anal. Exchange 27 (2001/02), no. 1, 123–129. MR1887686
2001
-
[23]
Navas, Growth of groups and di ffeomorphisms of the interval , Geom
A. Navas, Growth of groups and di ffeomorphisms of the interval , Geom. Funct. Anal. 18 (2008), no. 3, 988–1028. MR2439001 [24] , Groups of circle di ffeomorphisms, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 2011. MR2809110
2008
-
[25]
Stoll, On the asymptotics of the growth of 2-step nilpotent groups , J
M. Stoll, On the asymptotics of the growth of 2-step nilpotent groups , J. London Math. Soc. (2) 58 (1998), no. 1, 38–48. MR1666070
1998
-
[26]
Sullivan, Bounds, quadratic differentials, and renormalization conjectures, American Math- ematical Society centennial publications, Vol
D. Sullivan, Bounds, quadratic differentials, and renormalization conjectures, American Math- ematical Society centennial publications, Vol. II (Provid ence, RI, 1988), Amer. Math. Soc., Providence, RI, 1992, pp. 417–466. MR1184622
1988
-
[27]
Tsuboi, Homological and dynamical study on certain groups of Lipsch itz homeomorphisms of the circle, J
T. Tsuboi, Homological and dynamical study on certain groups of Lipsch itz homeomorphisms of the circle, J. Math. Soc. Japan 47 (1995), no. 1, 1–30. MR1304186 School of Mathematics, Korea Institute for Adv ancedStudy (KIAS), Seoul, 02455, Korea E-mail address: skim.math@gmail....
1995
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.