REVIEW 2 major objections 3 minor 21 references
Periodic point free homeomorphisms and irrational rotation factors
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For non-annular torus maps with small wandering domains, bounded rational drift is exactly the circle-factor condition.
desk verdict Main theorem is the right result and the examples are sharp, but the empty-interior proof of Lemma 6.1 has a load-bearing gap that needs fixing. 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 central object is the $\rho$-centralized skew-product $F:\mathbb{T}\times A\to\mathbb{T}\times A$, adapted from earlier constructions to the Dehn-twist isotopy class. It separates the rotational motion of $f$ from its sublinear deviations: boundedness of an $F$-orbit in the annulus coordinate is equivalent to bounded rotational deviations of the original orbit, and under $\Omega$-recurrence the non-wandering points of $F$ correspond exactly to those of $f$. Theorem 5.6 shows that a bounded connected $F$-invariant open set meeting $\Omega(F)$ has fibers whose complements in the annulus have exactly two unbounded connected components; the boundaries of these fibers are the essential annular continua used to build the semi-conjugacy.
What would settle it
Search for a periodic-point-free, orientation-preserving, non-eventually-annular homeomorphism of $\mathbb{T}^2$ that has small wandering domains and satisfies the bounded-deviation estimate (2) for some rational-slope vector $v$ but admits no irrational circle factor; a single such example would refute Theorem A. The paper's Section 3 examples show that removing the small-wandering-domains hypothesis already produces maps with bounded deviations and no factor, so the check must keep that hypothesis intact.
Extended reading notes
Core claim
Theorem A states that an orientation-preserving, non-eventually-annular homeomorphism $f$ of $\mathbb{T}^2$ having small wandering domains admits an irrational circle rotation as a topological factor if and only if there is a rational-slope vector $v\neq 0$ such that, for any lift $\tilde{f}$, there exist $\rho\in\mathbb{R}\setminus\mathbb{Q}$ and $C>0$ with $|\langle \tilde{f}^n(z)-z, v\rangle - n\rho|\leq C$ for all $z\in\mathbb{R}^2$ and $n\in\mathbb{Z}$. The necessity is classical; the sufficiency is proved by constructing, from bounded connected invariant open sets of the $\rho$-centralized skew-product, a family of pairwise disjoint essential annular continua $C^s\subset A$ indexed by $s\in\mathbb{R}$ that satisfy $\hat{T}_1(C^s)=C^{s+1}$ and $\hat{f}(C^s)=C^{s+\rho}$. These continua are the fibers of the semi-conjugacy; their equivariance under the vertical translation and under $\hat{f}$ yields a continuous map $h:\mathbb{T}^2\to\mathbb{T}$ with $h\circ f = T_\rho\circ h$.
Load-bearing premise
The load-bearing premise is that every connected component of the wandering set is lift-bounded and only finitely many have diameter above any fixed threshold, since this is what forces $\Omega$-recurrence and keeps the invariant constructions bounded; if a wandering domain is lift-unbounded or an infinite family has large diameter, the conclusion can fail, as the paper's examples show.
Editorial extensions
If this is right
- Corollary 1.1: every totally irrational pseudo-rotation with uniformly bounded rotational deviations and small wandering domains is a topological extension of the corresponding minimal translation of $\mathbb{T}^2$.
- Corollary 1.2: a periodic-point-free homeomorphism isotopic to a nontrivial $k$-Dehn twist with small wandering domains admits an irrational circle factor exactly when its vertical deviations are uniformly bounded.
- Combined with the classification of minimal Kronecker factors of torus homeomorphisms, the result gives a full description of which periodic-point-free homeomorphisms of $\mathbb{T}^2$ have nontrivial Kronecker factors: any such factor is an irrational circle rotation or a totally irrational torus rotation assembled from two transversal circle factors.
- The three examples in Section 3 demonstrate that the small-wandering-domains hypothesis is sharp: with lift-unbounded, fully essential, or uniformly large wandering domains, uniformly bounded rotational deviations can hold while no irrational circle factor exists.
Reading between the lines
- A natural testable extension is whether $\Omega$-recurrence alone, without the diameter control of small wandering domains, already forces the factor; the diameter estimates enter only in proving that the constructed invariant sets stay bounded and that their translates avoid $\Omega(F)$.
- The semi-conjugacy produced by the proof gives an invariant one-dimensional pseudo-foliation of $\mathbb{T}^2$ whose leaves have a well-defined homological direction, so the result supplies a tool for questions about invariant foliations and the structure of periodic-point-free torus maps with wandering points.
- If the bounded-deviation condition is to be checked in practice, it can be computed along a single rational direction by sampling lifts of long orbits; persistent boundedness of $|\langle \tilde{f}^n(z)-z,v\rangle - n\rho|$ would then be strong numerical evidence for an irrational circle factor, provided the wandering domains are small.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes periodic-point-free orientation-preserving homeomorphisms of the 2-torus with small wandering domains that admit an irrational circle rotation as a topological factor. Theorem A states that such a homeomorphism admits such a factor if and only if it has uniformly bounded rotational deviations in some rational direction. The proof introduces a ρ-centralized skew-product F on T×A, studies its recurrent set and bounded invariant open sets, and uses these to construct a family of essential annular continua whose boundaries define the semiconjugacy. Section 3 presents examples showing that the hypotheses in Theorem A are sharp; Corollaries 1.1 and 1.2 extend previous results of Jäger and characterize the Dehn-twist case.
Significance. If correct, Theorem A is a substantial result: it identifies the only obstructions (annularity and the geometry of wandering domains) to the existence of irrational circle factors for periodic-point-free torus homeomorphisms, extending work of Jäger and Jäger–Tal. The ρ-centralized skew-product machinery is an attractive and potentially reusable tool, and the Section 3 examples usefully delineate the sharpness of the 'small wandering domains' hypothesis. The paper is carefully structured and builds on standard external results (Brouwer's translation theorem, results of Jäger–Tal, Hauser–Jäger, Jäger–Passeggi). However, the proof of the central construction contains two load-bearing gaps that must be repaired before the main theorem can be regarded as established.
major comments (2)
- [§6.1, Lemma 6.1 (empty-interior case), Eqs. (69)–(71)] The proof asserts that for each wandering block there is a boundary point z_hat_n ∈ ∂W_hat_n such that Γ^{r_n+u}(0, z_hat_n) ∈ closure(W_check_n) ∩ T ∩ Ω(F) for |u| < 1/2. The membership in T is not established. The set V_hat in (69) is open and contains only the wandering domains themselves, not their boundaries; T = U_F(V_hat_{1/2,0}) is the open connected component of the union of F-iterates of the block, and there is no reason that the Γ-orbit of a boundary point of a wandering domain lies in that open set. The subsequent construction of the sequence (w_k) in (73)–(74) and the height estimate (75) require these points to lie in the open set D = T \ Γ^{-s}(T). If the points lie only on ∂T, the inequality (75) does not follow, and the contradiction with the boundedness of D collapses. Since Lemma 6.1 is the only source of the separating continua C^s used to define the semiconjugacy, this is a load-bearing gap.
- [§5, proof of Theorem 5.6, first case] The sentence 'Since f is not eventually annular, this implies the rotation set of any lift of f is singleton containing a totally irrational vector' is false. For example, the translation by (1/2, α) with α irrational is periodic point free, not eventually annular, and exhibits uniformly bounded rotational deviations in every direction, yet its rotation set is {(1/2, α)}, which is not totally irrational. The proof then invokes Lemma 5.7, whose hypothesis requires total irrationality, so the conclusion that U_F(V)_t is annular does not follow for such f. This is not a corner case: translations of this kind fall under the hypotheses of Theorem A, and the argument in §6.1 relies on Theorem 5.6 to obtain the two unbounded components of A \ Γ^{-s}(T)_t. Without an additional argument for non-totally-irrational pseudo-rotations, Theorem 5.6 and consequently the construction of the continua C^s are unproved.
minor comments (3)
- [Abstract and title] The manuscript contains numerous OCR-style typos ('irra tional', 'W e', 'T ori', 'A TION', 'FR EE', 'F ACTORS'). The paper should be carefully proofread before resubmission.
- [§4, Proof of Corollary 1.1] The definition of the product semiconjugacy H is written as H(x,y) = (h_1(x), h_2(y)), but the maps h_1, h_2 are defined on T^2, not on T. It should read H(z) = (h_1(z), h_2(z)) for z ∈ T^2.
- [§6.1, nonempty interior case of Lemma 6.1] The sentence 'by Proposition 5.1 we know that T ⊂ Ω(F)' is imprecise: the inclusion follows from the Γ-invariance and F-invariance of Ω(F) together with Theorem 5.5, not from Proposition 5.1 alone. The citation should be adjusted.
Circularity Check
No circular derivation: Theorem A is proved from stated hypotheses via the rho-centralized skew-product, not assumed by construction.
full rationale
The derivation is self-contained. The necessary direction of Theorem A is quoted from Jager-Tal (Lemma 2.10 / [JT17, Lemma 3.1]), an external result; the sufficiency direction starts from bounded vertical deviations (equation (2)), normalizes via Proposition 2.4, builds the rho-centralized skew-product F in equation (44), and then derives the separating continua C^s from the F-invariant set T of Lemma 6.1. No parameter is fitted to a subset of data and then renamed as a prediction; condition (2) is the hypothesis, and the irrational circle factor is the conclusion. The self-citations [Koc16, KPR18] are used for the construction of the skew-product and the notion of torus pseudo-foliation; these are technical building blocks whose statements are proved in those papers and do not assume Theorem A. Theorem 5.6 and Lemma 6.1 are proven in the paper rather than imported by citation. The alleged gap about boundary points of wandering blocks in Lemma 6.1 is a possible correctness concern inside the proof (whether certain boundary points lie in the open set T), but it is not circularity: even if the proof had a gap, the conclusion would not be equivalent to its inputs by definition. Therefore no circular step is exhibited.
Assumptions & free parameters
assumptions (5)
- standard math Brouwer's translation theorem: a fixed point free orientation preserving homeomorphism of the plane has no non-wandering points.
- standard math Gottschalk-Hedlund theorem: for a minimal homeomorphism, bounded cocycles are coboundaries.
- standard math Hauser-Jäger classification: any minimal Kronecker factor of a 2-torus homeomorphism is a circle, a 2-torus, or trivial.
- standard math Jäger-Passeggi theorem allowing semi-conjugacies with annular continuum fibers.
- standard math Misiurewicz-Ziemian rotation set framework for torus homeomorphisms.
Cite this review
Pith. "Pith review of Periodic point free homeomorphisms and irrational rotation factors." pith.science (2026). https://pith.science/paper/I2YZX2IE
@misc{pith2026190805746,
author = {Pith},
title = {Pith review of: Periodic point free homeomorphisms and irrational rotation factors},
year = {2026},
howpublished = {\url{https://pith.science/paper/I2YZX2IE}},
note = {Machine review of arXiv:1908.05746}
}
abstract
We provide a complete characterization of periodic point free homeomorphisms of the $2$-torus admitting irrational circle rotations as topological factors. Given a homeomorphism of the $2$-torus without periodic points and exhibiting uniformly bounded rotational deviations with respect to a rational direction, we show that annularity and the geometry of its non-wandering set are the only possible obstructions for the existence of an irrational circle rotation as topological factor. Through a very precise study of the dynamics of the induced $\rho$-centralized skew-product, we extend and generalize considerably previous results of T. J\"ager [Inventiones Mathematicae, 176 (2009), n. 3, 601-616].
Reference graph
Works this paper leans on
-
[1]
S. Addas-Zanata, On properties of the vertical rotation interval for twist mappings, Ergodic Theory and Dynamical Systems 25 (2005), no. 03, 641--660
work page 2005
-
[2]
E. Doeff and M. Misiurewicz, Shear rotation numbers, Nonlinearity 10 (1997), no. 6, 1755--1762
work page 1997
-
[3]
E. Doeff, Rotation measures for homeomorphisms of the torus homotopic to a D ehn twist , Ergodic Theory Dynam. Systems 17 (1997), no. 3, 575--591
work page 1997
-
[4]
On equicontinuous factors of flows on locally path-connected compact spaces
N. Edeko, On equicontinuous factors of flows on locally path-connected compact spaces, arXiv preprint arXiv:1904.12203, 2019
work page Pith review arXiv 1904
-
[5]
Fathi, An orbit closing proof of Brouwer ' s lemma on translation arcs , Enseign
A. Fathi, An orbit closing proof of Brouwer ' s lemma on translation arcs , Enseign. Math. (2) 33 (1987), no. 3-4, 315--322
work page 1987
-
[6]
J. Franks and M. Misiurewicz, Rotation sets of toral flows, Proc. Amer. Math. Soc. 109 (1990), no. 1, 243--249
work page 1990
-
[7]
W. Gottschalk and G. Hedlund, Topological dynamics, vol. 36, American Mathematical Soc., 1955
work page 1955
-
[8]
Monotonicity of maximal equicontinuous factors and an application to toral flows
T. Hauser and T. J\"ager, Monotonicity of maximal equicontinuous factors and an application to toral flows, ArXiv preprint 1711.05672. To appear in Proceedings of the American Mathematical Society, 2017
work page Pith review arXiv 2017
Show all 21 references
-
[9]
J \"a ger, Linearization of conservative toral homeomorphisms, Inventiones Mathematicae 176 (2009), no
T. J \"a ger, Linearization of conservative toral homeomorphisms, Inventiones Mathematicae 176 (2009), no. 3, 601--616
2009
-
[10]
J \" a ger and A
T. J \" a ger and A. Passeggi, On torus homeomorphisms semiconjugate to irrational rotations, Ergodic Theory and Dynamical Systems 35 (2015), no. 07, 2114--2137
2015
-
[11]
J\"ager and F
T. J\"ager and F. Tal, Irrational rotation factors for conservative torus homeomorphisms, Ergodic Theory and Dynamical Systems 37 (2017), no. 5, 1537--1546
2017
-
[12]
Kocsard and A
A. Kocsard and A. Koropecki, A mixing-like property and inexistence of invariant foliations for minimal diffeomorphisms of the 2-torus, Proceedings of the American Mathematical Society 137 (2009), no. 10, 3379--3386
2009
-
[13]
Kocsard, On the dynamics of minimal homeomorphisms of T ^2 which are not pseudo-rotations , ArXiv:1611.03784
A. Kocsard, On the dynamics of minimal homeomorphisms of T ^2 which are not pseudo-rotations , ArXiv:1611.03784. To appear in Annales scientifiques de l ' Ecole normale sup \' e rieure, 2016
2016 arXiv
-
[14]
Kocsard and F
A. Kocsard and F. Pereira-Rodrigues, Rotational deviations and invariant pseudo-foliations for periodic point free torus homeomorphisms, Math. Z. 290 (2018), no. 3-4, 1223--1247
2018
-
[15]
Koropecki, A
A. Koropecki, A. Passeggi, and M. Sambarino, The Franks-Misiurewicz conjecture for extensions of irrational rotations , preprint arXiv:1611.05498, 2016
2016 arXiv
-
[16]
Koropecki and F
A. Koropecki and F. Tal, Strictly toral dynamics, Inventiones Mathematicae 196 (2014), no. 2, 339--381
2014
-
[17]
Misiurewicz and K
M. Misiurewicz and K. Ziemian, Rotation sets for maps of tori, Journal of the London Mathematical Society 2 (1989), no. 3, 490--506
1989
-
[18]
Poincar \' e , M \' e moire sur les courbes d \' e finies par les \' e quations diff \' e rentielles I -- VI , oeuvre I , Gauthier-Villar: Paris (1880), 375--422
H. Poincar \' e , M \' e moire sur les courbes d \' e finies par les \' e quations diff \' e rentielles I -- VI , oeuvre I , Gauthier-Villar: Paris (1880), 375--422
-
[19]
Passeggi and M
A. Passeggi and M. Sambarino, Deviations in the Franks--Misiurewicz conjecture , To appear in Ergodic Theory & Dynamical Systems, 2018
2018
-
[20]
Tao, Poincar \'e 's legacies: pages from year two of a mathematical blog , American Mathematical Soiety, 2009
T. Tao, Poincar \'e 's legacies: pages from year two of a mathematical blog , American Mathematical Soiety, 2009
2009
-
[21]
Wang and Z
J. Wang and Z. Zhang, The rigidity of pseudo-rotations on the two-torus and a question of N orton- S ullivan , Geom. Funct. Anal. 28 (2018), no. 5, 1487--1516
2018
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.