{'fraction_non_alphanumeric': 0.04471060171919771, 'fraction_numerical': 0.009879656160458453, 'mean_word_length': 4.274832235052294, 'pattern_counts': {'":': 0, '<': 27, '<?xml version=': 0, '>': 30, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 25, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Dynamics and 'arithmetics' of higher genus surface flows

We survey some recent advances in the study of (area-preserving) flows on surfaces, in particular on the typical dynamical, ergodic and spectral properties of smooth area-preserving (or locally Hamiltonian) flows, as well as recent breakthroughs on linearization and rigidity questions in higher genus. We focus in particular on the Diophantine-like conditions which are required to prove such results, which can be thought of as a generalization of arithmetic conditions for flows on tori and circle diffeomorphisms. We will explain how these conditions on higher genus flows and their Poincare' sections (namely generalized interval exchange maps) can be imposed by controlling a renormalization dynamics, but are of more subtle nature than in genus one since they often exploit features which originate from the non-uniform hyperbolicity of the renormalization.


Introduction.
Flows on surfaces are one of the most basic and most fundamental examples of dynamical systems. First of all, they are among the lowest possible dimensional smooth systems; furthermore, many models of systems of physical origin are described by flows on surfaces, starting from celestial mechanics, up to solid state physics or statistical mechanics models. The beginning of the study of surface flows can be dated back to Poincaré [Poi87] at the end of the 19th century, and coincides with the birth of dynamical systems as a research field. Poincaré was in particular interested in the study of flows on tori, or surfaces of genus one. Several famous systems in physics lead naturally to the study of flows on surfaces of higher genus, which, in this survey, will mean genus g ≥ 2. Examples include the Ehrenfest model in statistical mechanics (related to a linear flow on a translation surface of genus five), or the Novikov model in solid state physics, which is described by locally Hamiltonian flows, a class which will be one of the central themes of this survey (see § 3.1).
There is a rich history of results on the topological and qualitative behavior of trajectories (see for example [NZ99] and the references therein), as well as on the ergodic theory of certain well studies classes of flows (for example in genus one, in relation with KAM theory, see § 2, and linear flows on translation surfaces, whose study is intertwined with Teichmüller dynamics, see § 3). Many fundamental problems, though, in particular on the mathematical characterization of chaos (such as dynamical, spectral and rigidity questions) in various natural classes of surface flows, in particular smooth flows preserving a smooth measure, were only recently understood and many others are still open (see § 3.1).
One of the reasons for this late development is perhaps that, in order to investigate fine chaotic or rigidity properties of flows in higher genus, one needs to impose quite delicate assumptions on the behavior of orbits on different scales. To capture these multi-scale features, the concept of renormalization plays a crucial role (see § 4). In the case of genus one, the type of assumptions on the flow often take the form of Diophantine conditions or, more in general, of arithmetic conditions on the rotation number (see § 5) and control how well the flow orbits are approximated by periodic orbits. The renormalization point of view on these conditions is that they can be described in terms of continued fraction theory and therefore studying the dynamics of the Gauss map, or, equivalently, geometrically, studying the geodesic flow on the modular surface, both of which are classically well understood.
In higher genus, on the other hand, one had to wait for the development of the rich and fruitful theory of renormalization in Teichmüller dynamics (see § 4). This theory provides a renormalization framework (initially developed to study ergodic properties of rational billiard, interval exchange transformations and translation flows), which can be exploited to understand when a surface flow is renormalizable (see § 3.2 and § 4) and when it preserves a smooth invariant measure; in the latter case, then, it allows to impose conditions on a (smooth) surface flows to guarantee the presence of particular chaotic properties (see § 3.1). The type and the nature of what we refer to as Diophantine-like conditions in higher genus, which is much more delicate than in genus one and often involves assumptions on hyperbolicity or uniform hyperbolicity of the renormalization, will be the leading theme of this survey. These conditions are sometimes also called arithmetic conditions, by analogy with the genus one case, even though the relation with classical arithmetic and Diophantine equations is lost when the genus is greater than one.
In what follows, we first start in the next § 2 with the classical case of flows on genus one surfaces, recalling some of the classical results on the linearization problem and ergodic properties and discussing the related arithmetic conditions. Then, in § 3, we will briefly overview some of the rapid developments in our understanding of ergodic, spectral and disjointness properties of (smooth) area-preserving flows on higher genus surfaces (see § 3.1), as well as linearization and rigidity problems in higher genus (in § 3.2). After having introduced the notion of renormalization in this setting (see § 4), we then focus in § 5 on the Diophantine-like conditions behind these results.
2. Flows on surfaces of genus one and classical arithmetic conditions. A central idea introduced by Poincaré was that the study of a surface flow can be often reduced to the study of a one-dimensional discrete dynamical system, by taking what we nowadays call a Poincaré section and considering the Poincaré first return map of the flow to the section (when and where it is defined). If we start from a flow ϕ R := (ϕ t ) t∈R on a torus, i.e. on a compact, orientable surface S of genus one and assume that it does not have fixed points, nor closed orbits (or more generally, nor Reeb components, see [NZ99]), there is a (global) section given by a closed transverse curve and the Poincaré first return map to it is a diffeomorphism f : S 1 → S 1 of the circle S 1 ∼ = R/Z. The simplest example of circle diffeomorphism (or circle diffeo for short) is a (rigid) rotation, i.e. the map R α (x) = x + α mod 1 on R/Z = [0, 1]/ ∼. A key concept associated to circle diffeomorphisms is that of rotation number : if µ is an invariant probability measure for the circle diffeo f (which always exists by Krylov-Bogolyubov theorem), the rotation number ρ(f ) of f can be seen as an average displacement of points, namely ρ(f ) = 1 0 (F (x) − x) dµ(x) mod 1 where F : R/Z → R is a lift of f . The rotation R α can be seen as the linear model of a circle diffeo with rotation number α.
The topological behavior of trajectories of (ϕ t ) t∈R can be completely understood and classified exploiting the rotation number (this is essentially the content of Poincaré classification theorem, see [KH95] for an expository account): when ρ(f ) ∈ Q, there exist periodic orbits (which either foliate the surface S, or are attracting or repelling). On the other hand, when ρ(f ) / ∈ Q, the dynamics of (ϕ t ) t∈R is either minimal on the whole surface (i.e. all orbits are dense), or minimal when restricted to a Cantor-like invariant limit set (locally product of a Cantor set with R). In the latter case, we speak of Denjoy-counterexamples; their existence is ruled out when the diffeo (and the flow) is sufficiently smooth, for example C 2 in view of Denjoy's work [Den32] (less regularity, in particular C 1 with bounded variation derivative, suffices, see e.g. [KH95] for more details).
Arithmetic conditions for linearization of circle diffeomorphisms. To gain a finer understanding of the dynamics and describe the ergodic behavior of almost-every trajectory with respect to a smooth measure, one has to address the linearization problem, a classical question which is at the heart of the theory of circle diffeomorphisms. Namely, one wants to understand when a circle diffeomorphism T is linearizable, i.e. conjugate to a rigid rotation R α (i.e. when there exists a homeomorphism h : S 1 → S 1 , called the conjugacy, such that h • T = R α • h) and, if it is linearizable, what is the regularity of the conjugacy h. To address this question, one needs to put further assumptions both on the regularity of the diffeo and, in relation to it, the irrationality of the rotation number.
We recall that arithmetic conditions are conditions that prescribe how well (or how badly) the irrational rotation number α ∈ R is approximated by rational numbers and morally control how well the flow orbits are approximated by periodic orbits. The best known such condition is perhaps the (classical) Diophantine condition (or for short, DC): α ∈ R\Q is said to be Diophantine (of exponent τ ≥ 0) iff there exists C > 0 such that for all p, q ∈ Z, q = 0.
If the above condition holds for τ = 0, we say that α is badly approximable or bounded-type. Equivalently, the DC can be rephrased in terms of the continued fraction expansion [a 0 , a 1 , . . . , a n , . . . ] of α: if q n denotes the convergents of α, namely the denominators of the partial approximations p n /q n := [a 0 , a 1 , . . . , a n ], the DC is equivalent to the growth control a n+1 = O(q τ n ), while α is of bounded type iff a n are uniformly bounded.
The local theory of linearization of circle diffeos, which treats the case of diffeos f : S 1 → S 1 which are C ∞ -close (or analytically, or C r close) to a circle rotation R α , where α = ρ(f ), is a rather classical application of KAM theory. The prototype result is the local rigidity theorem of Arnold [Arn63], who showed that if α is Diophantine, circle diffeos which are a sufficiently small analytic deformations of R α and have rotation number equal to α, must be analytically conjugate to R α . Among the few global results (which do not assume that f is close to a rotation), we recall the celebrated theorem by Michael Herman [Her79] and Jean-Christophe Yoccoz [Yoc84], answering a question by Arnold, that shows that if f is C ∞ (or analytic) and its rotation number ρ(f ) satisfies the DC, the conjugacy is C ∞ (resp. analytic). Furthermore, the DC turns out to be the optimal arithmetic condition for global smooth linearization. Another, more subtle arithmetic condition, called 'condition H' in honor of Herman, was introduced by Yoccoz as the optimal condition for global analytic linearization of analytic diffeos, see [Yoc02].
Another famous arithmetic condition is the Roth-type condition, which is satisfied by irrationals α ∈ R\Q such that a n = O (q n ) for all > 0. A crucial step in the KAM approach developed by Arnold for circle diffeomorphisms is to solve a linearized version of the conjugacy equation R α • h = h • T , namely the cohomological equation: given a smooth φ : I → R, one looks for a smooth solution ϕ : I → R to the equation ϕ•R α −ϕ = φ. The Roth-type condition turns out to be the optimal one needed to solve this cohomological equation with optimal loss of differentiability: for any r > s + 1 ≥ 1, one can find a solution ϕ ∈ C s for any φ ∈ C r as long as φ = 0 (which is a trivial necessary condition), if and only if α is Roth-type: this equivalent characterization provides a remarkable connection between dynamical and arithmetical properties.
We remark that the Diophantine condition, the H condition and the Roth type condition can all be proved to have full measure, namely they hold for a set of α ∈ [0, 1] of Lebesgue measure one (the set of badly approximable α ∈ [0, 1], on the other hand, has Lebesgue measure zero, although full Hausdorff dimension). While full measure of the Diophantine and Roth conditions can be proved in an elementary way, it is an instructive exercise to derive it from the properties of the Gauss map G : [0, 1] → [0, 1] and of the Gauss invariant measure dx/log 2(1 + x), since this point of view can be applied to show full measure of other arithmetic conditions as well and it can be furthermore generalized to higher genus (see § 4 and § 5).
In view of this remark, we conclude this section with a reinterpretation of Herman's linearization theorem in the language of foliations into flow trajectories.
Theorem 2.1 (reformulation of Herman's global theorem [Her79]). For a full measure set of real numbers α, a foliation on a genus one surface which is topologically conjugate to the foliation given by a linear flow with rotation number α, is also C ∞ conjugate to it.
Ergodic properties in genus one and exceptional behavior. From the existence (and abundance) of smooth (or at least continuously differentiable, i.e. C 1 ) linearizations, one can infer many of the smooth measure theoretical ergodic properties of flows in genus one. In particular, one sees that, for a full measure set of rotation numbers, flows in genus one are ergodic (since irrational rotations are) with respect to a smooth invariant measure of full support (the C 1 -regularity of the conjugacy allows indeed to transport the Lebesgue invariant measure to obtain the invariant measure for the diffeo, which in turns give a transverse measure for the flow). Furthermore, they are uniquely ergodic (in view of Kronecker-Weyl theorem for rotations, e.g. [CFS80]), i.e. this natural invariant measure is the unique invariant measure (up to scaling).
We remark that exceptional ergodic behaviors in genus one (smooth) surface flows, can be constructed for flows whose rotation numbers are irrational but not Diophantine, i.e. so called Liouvillean (rotation) numbers. When α is Liouville, exploiting the abundance of good rational approximations p n /q n to α, for example using the method of periodic approximations pioneered by Anosov and Katok and later revived by Fayad, Katok et al (see [KH95] or the survey [FK04]), one can construct many examples with pathological behavior, for example flows with a singular invariant measures and time-reparametrizations (also called time-changes) which are weakly mixing or which have mixed spectrum (see [FK04] and the references therein).
Finally, before moving to higher genus, we remark that another possible way to introduce interesting dynamical features for typical rotation numbers, is to consider flows on tori with singularities. The simplest type of singularity is a stopping point. Already such a simple perturbation, which is only a time-reparametrization of the flow, can lead to flows which are typically mixing (see [Koč75]) and even to flows with Lebesgue spectrum (see [FKF21]). Smooth measure preserving flows on a torus with one center and one simple saddle (see Figure 1a) were first studied by Arnold in [Arn91] and constitute one of the most studied examples in the class of flows known as locally Hamiltonian: we return to them and to their typical ergodic properties in § 3.1.
3. Dynamics of flows on surfaces of higher genus.
Let us now consider the higher genus case, namely consider now a (smooth) flow ϕ R := (ϕ t ) t∈R on a compact, connected orientable (closed) surface S of genus g ≥ 2. Notice that in this case, by Euler characteristic restrictions, the flow always has fixed points (see Figure 2 for some examples). We require that singularities be isolated (so that in particular, by compactness, the set F ix(ϕ R ) of fixed points is finite).
Topological dynamics and quasi-minimal sets. The topological classification of the possible behavior of trajectories of a flow on a surface (and more in general of surface foliations which are not necessarily orientable) has been a topic of research in the 20th century (starting from the 1930s-40s, up to the 1970s). In particular, through the works of Maier, Levitt, Gutierrez, Gardiner et al (see [NZ99] for references) one could obtain results on what are possible orbit closures, as well as a classification of quasi-minimal sets, which can be defined as possible ω-limit sets of non-trivial recurrent trajectories, i.e. set of accumulation points of trajectories different from a fixed point or a closed, periodic orbit. Quasi-minimal sets can be the whole surface, subsurfaces with boundary, or a Cantor-like invariant sets. Moreover, one can prove decomposition theorems that shows that one can cut the surface S into subsurfaces each of which contains at most one quasi-minimal set (see in particular the work by Levitt [Lev87]). We do not enter here in the details of these topological results, but refer the interested reader for example to the monograph [NZ99] and the references therein.
Interval exchanges and generalized IETs as Poincaré sections. As in the case of genus one, an essential tool to study a higher genus flow is to consider a (local) transversal I ⊂ S to the flow and the Poincaré first return map T of the flow on I (when it is defined, for example almost everywhere when the flow preserves a finite measure with full support; see more generally [NZ99]). Such first return maps T : I → I are one-to-one piecewise diffeomorphisms known as generalized interval exchange transformations: a map T : I → I is a generalized interval exchange transformations or, for short, a GIET, if one can partition I into intervals I 1 , . . . , I d (finitely many since we are assuming that ϕ R has finitely many fixed points) so that the restriction T i of T to I i , for each 1 ≤ i ≤ d, is a diffeomorphism onto its image which extends to a diffeo of the closure I i (see e.g. [MMY12]). We say in this case that T is a d-GIET. We say furthermore that T is of class C r if the restriction of T to each I i extends to a C r -diffeomorphism onto the closed interval I i . The adjective generalized is used to distinguish them from the more commonly studied (standard) interval exchange transformations (or simply IETs), which are one-to-one piecewise isometries, namely GIETs such that the derivative T i of each branch is constant and equal to one.
Standard IETs are a generalization of circle rotations (since a IET is a rotation when d = 2) and play an analogous role in higher genus, providing the natural linear model of a GIET (see § 3.2). Furthermore, as rotations are Poincaré maps of linear flows on the torus R 2 /Z 2 (i.e. flows which arise as solutions of (ẋ 1 ,ẋ 2 ) = (θ 1 , θ 2 ), which move points with unit speed along lines of slope θ 2 /θ 1 ), IETs arise naturally as Poincaré maps of linear flows on translation surfaces (see the ICM proceeding [CW] for an introduction to the latter).
3.1. Locally Hamiltonian flows. We will be mostly concerned with flows which preserve a (probability) measure µ of full support, for example an area-form, since this is a natural setup for ergodic theory. Given a surface S with a fixed smooth area form ω, a smooth area preserving flow ϕ R = (ϕ t ) t∈R on S is a smooth flow on S which preserves the measure µ given integrating a smooth density with respect to ω. The interest in the study of these flows and, in particular, in their ergodic and mixing properties, was revived by Novikov [Nov82] in the 1990s, in connection with problems arising in solid-state physics as well as in pseudo-periodic topology (see e.g. the survey [Zor99] by A. Zorich). Smooth area-preserving flows are also called locally Hamiltonian flows or multi-valued Hamiltonian flows in the literature, in view of their interpretation as flows locally given by Hamiltonian equations: one can find local coordinates (x 1 , x 2 ) on S in which ϕ R is given by the solution to the equations: where H is a real-valued (local ) Hamiltonian. For simplicity we will assume here that H is infinitely differentiable, even though for several results C 3 (or also C 2+ for every > 0) suffices. It turns out that such smooth area preserving flows on S are in one-to-one correspondence with smooth closed real-valued differential 1-forms: given such a 1-form η, we can associate to it the integral flow ϕ η R of the vector field X such that η = i X ω, where i X denotes the contraction operator. Since η is closed, ϕ η R is area-preserving; conversely, every smooth area-preserving flow can be obtained in this way. Topology and measure class. Let F ix(ϕ R ) denote the set of fixed points (also called singularities) of the flow ϕ R . Remark that when g ≥ 2, F ix(ϕ R ) is always not empty; we require the singularities to be isolated (so that in particular, by compactness, F ix(ϕ R ) is a finite set) and denote by F the set of smooth closed 1-forms on S with isolated zeros. On F (which we can think of as the space of locally Hamiltonian flows) one can define a topology as well as a measure class. The topology is obtained by considering perturbations of closed smooth 1-forms by (small) closed smooth 1-forms. We will often restrict our attention to the subset M ⊂ F of Morse closed 1-forms, (i.e. forms which are locally the differential of a Morse function), which is open and dense in F with respect to this topology (see e.g. [Rav17]). Locally Hamiltonian flows corresponding to forms in M have only non-degenerate fixed points, i.e. centers and simple saddles (as in Figures 2a and 2b), as opposed to degenerate multi-saddles (as in Figure 2c). A measure-theoretical notion of typical can be defined using the Katok fundamental class (introduced by Katok in [Kat73], see also [NZ99]), i.e. the cohomology class of the 1-form η which defines the flow. More explicitely, if we fix a base γ 1 , . . . , γ n of the relative homology H 1 (S, F ix(ϕ R ), R) (where n = 2g + k − 1 if k denotes the cardinality of F ix(ϕ R )) and consider the period map P er given by P er(η) = ( γ 1 η, . . . , γn η) ∈ R n , we say that a property holds for a typical locally Hamiltonian flow in F, if it holds for all η such that P er(η) belongs to a full measure set with respect to the Lebesgue measure on R n .
Minimal components and ergodicity. To describe (typical) chaotic behavior in locally Hamiltonian flows, it is crucial to distinguish between two open sets (complementary, up to measure zero, see [Ulc21] or [Rav17] for more details): in the first open set, which we will denote by U min , the typical flow is minimal (the term quasi-minimal is also used in the literature), in the sense that the orbits of all points which are not fixed points are dense in S; flows in U min have only saddles, since the presence of centers prevents minimality. On the other open set, that we call U ¬min , the flow is not minimal (there are saddle loops homologous to zero which disconnect the surface), but one can decompose the surface into a finite number of subsurfaces with boundary S i , i = 1, . . . , N such that for each i either S i is a periodic component, i.e. the interior of S i if foliated into closed orbits of ϕ R (in Figure 1 (b) one can see three periodic components, namely two disks and one cylinder), or S i is such that the restriction of ϕ R to S i is minimal in the sense above, as pictured in the remaining two subsurfaces in Figure 1 (b). These are called minimal components and there are at most g of them (where g is the genus of S), see § 3.1.
Notice that minimality and ergodicity of a (minimal component of a) locally Hamiltonian flow are equivalent to minimality or respectively ergodicity of an (and hence any) interval exchange transformation which appears as the Poincaré map. Classical results proved in the 1980s guarantee that almost every IET (with respect to the Lebesgue measure on the interval lengths, assuming that the permutation is irreducible) is minimal (as showed by Keane [Kea75], see also [Kat73]) and (uniquely) ergodic (as proved in the works by Masur [Mañ87] and Veech [Vee82], considered early milestones of the successful application of Teichmüller dynamics to the study of IETs and translation surfaces, see the ICM proceeding [CW] or the survey [Zor06]). It then follows from definition of Katok measure class that a typical local Hamiltonian flow in U min is minimal and ergodic and, given a typical local Hamiltonian flow in U ¬min , its restriction on each minimal component is ergodic. Classification of mixing properties. Finer chaotic features of locally Hamiltonian flows, in particular mixing and spectral properties, change according to the type of singularities and depend crucially on the locally Hamiltonian parametrization of saddle points. For a (non-generic) locally Hamiltonian flow with at least one degenerate saddle (e.g. as in Fig. 2c), mixing (see for the definition (3.1) for n = 2) was proved in the 1970s by Kochergin [Koč75]. When on the other hand η ∈ M is a Morse-one form, so that all saddles are simple, one has a dichotomy: inside the open set U min in which the typical flow is minimal, almost every locally Hamiltonian flow is weakly mixing, but it is not mixing in view of work by the author [Ulc09,Ulc11]; on the other hand, for a full measure set of flows in U ¬min , the restriction to each of minimal components is mixing (as proved by Ravotti [Rav17] extending previous work by the author [Ulc07b]). The question of mixing in higher genus was raised by V. Arnold in the 1990s, when he conjectured (see [Arn91]) that the restriction of a typical smooth flow on a torus with one center and one simple saddle to its minimal component (namely for what we nowadays call an Arnold flow ) was indeed mixing. His conjecture was proved shortly after by Khanin and Sinai in [SK92], who showed mixing under the assumption that the rotation number α is such that the entries a n of the continued fraction expansion of α do not grow too fast, namely there exists a power 1 < τ < 2 and C > 0 such that |a n | ≤ Cn τ . One can show (for example exploiting the Gauss map G and the finiteness of 1 0 a 0 (x) d µ G (x), where µ G is the Gauss measure, via a standard Borel-Cantelli argument) that this arithmetic condition holds for a full measure set of α. The condition was later improved by Kocerghin, see [Koc04]. Also in the case of absence of mixing, a prototype result for flows over a full measure set of rotation numbers was proved by Kochergin [Koč72] already in the 1970s (and much more recently extended in [Koc07] to all irrational rotation numbers), much earlier than results in higher genus [Sch09,Ulc07a,Ulc11].
In higher genus, the above mentioned results on mixing/absence of mixing require the introduction of Diophantine-like conditions, which describe the full measure set of locally Hamiltonian flows for which the results hold. In [Ulc07b], for example, we introduced a condition on a IET (see § 5 for more details) called Mixing Diophantine Condition (or MDC for short). Let us say that the restriction of a locally Hamiltonian flow ϕ R to one of its minimal components S i satisfies the MDC if one can find a section I ⊂ S i (in good position in the sense of [MMY12]) such that the IET which arise as Poincaré map of ϕ R to I satisfies the MDC. One can then prove: Ravotti [Rav17]). Let ϕ R be a flow in U ¬min and let S i be a minimal component. If the restriction of ϕ R to S i satisfies the Mixing Diophantine Condition, then ϕ R restricted to S i is mixing.
We then show in [Ulc07b] (exploiting results from [AGY06], see § 5) that the MDC is satisfied by a full measure set of IETs. Similarly, to prove that a typical flow in U min is not mixing, a Diophantine-like condition, which is later proved to be of full measure, is introduced in [Ulc11]. Special cases of the absence of mixing result for surfaces with g = 2 and two isometric saddles were proved in [Ulc07a] and by Scheglov in [Sch09]. We remark that in U min there exist nevertheless exceptional mixing flows, as shown by the work by [CW19], which produces sporadic examples in g = 5.
Parabolic dynamics and slow chaos. Smooth, area-preserving flows on surfaces also provide one of the fundamental classes of parabolic, or slowly chaotic, dynamical systems (see e.g. the survey [Ulc21]). In systems which display sensitive dependence on initial conditions (the so-called butterfly effect), one can find many nearby initial conditions whose trajectories diverge with time.
Contrary to hyperbolic systems, where this divergence happens (infinitesimally) at exponential speed, in parabolic systems the divergence speed is slow, namely sub-exponential and in all known examples polynomial or sub-polynomial. Slow divergence in locally Hamiltonian flows is created by Hamiltonian saddles, which create different deceleration rates of nearby trajectories and produce a form of (local) shearing, by tilting in the flow direction the image under the flow of arcs initially transverse to the dynamics, as illustrated in Figure 2d. Shearing happens not only locally, near a saddle, but globally for typical flows in U ¬min , which (in view of the presence of saddle loops) display a global asymmetry in the prevalent direction of shearing. It is this geometric mechanism which is behind the proof of mixing (in this setting, but also for many other classes of parabolic flows, see the survey [Ulc13] and the references therein). Under the assumption that the restriction of ϕ R to a minimal component S i satisfies the Mixing Diophantine Condition, one can produce quantitative estimates on shearing of transverse arcs and, as shown by Ravotti in [Rav17], prove quantitative mixing estimates, which show that mixing happens (at least) at sub-polynomial speed, i.e. for any two smooth observables f, g : This is expected to be also the optimal nature of the estimates, namely the decay is not expected to be polynomial or faster in this setting, but no lower bounds on the decay of correlations are currently available.
Ratner's forms of shearing. Striking consequences of shearing (such as measure and joining rigidity) were proved for another famous class of parabolic flows, namely horocycle flows on hyperbolic surfaces and their time-changes, by exploiting a quantitative shearing property introduced by Marina Ratner and nowadays known as Ratner property (or RP). In view of its importance in the study of horocycle flows and more generally unipotent flows in homogeneous dynamics, it is natural to ask whether this property can be proved and exploited in other parabolic (non homogeneous) settings. For locally Hamiltonian flows, which are natural candidates, the original Ratner property is believed to fail due to the presence of singularities (see [FK16]). Nevertheless, a variant of the RP which has the same dynamical consequences, called Switchable Ratner Property (or SRP for short), was introduced by B. Fayad and A. Kanigowski in [FK16] and showed to hold for typical Arnold flows (as well as some flows in genus one with one degenerate singularity). As an abstract consequence of the SRP property, one can conclude that typical Arnold flows are not only mixing, but mixing of all orders, namely for any n ≥ 2 and any n-tuple A 0 ,. . . , A n−1 of measurables sets, Notice that this definition reduces to the classical definition of mixing in the special case n = 2; whether mixing implies mixing of all orders in general is still an open problem, known as Rohlin conjecture.
To prove the SRP property, one needs to assume that the rotation number α = [a 0 , a 1 , . . . , a n , . . . ] satisfies an ad-hoc arithmetic condition, namely, if q n are the denominators of α, one requires that, for some 0 < ξ, η < 1 (taken to be ξ = η = 7/8 in [FK16]) the following series is finite: In joint work with A. Kanigowski  We then show that the RDC is satisfied by almost every IET and therefore can conclude that, for a full measure set of locally Hamiltonian flows in U ¬min , each restriction to a minimal component is mixing of all orders. Quantitative estimates on slow, Ratner-type shearing were recently used (in the joint work [KLU20] with A. Kanigowski and M. Lemańczyk) to study disjointness of rescalings, a property that has recently received a revival of attention in view of its role as possible tool to prove Sarnak Moebius orthogonality conjecture (see the ICM proceedings survey [Lem] and the references therein). In [KLU20] we introduce a disjointness criterium based on Ratner shearing and use it (as one of the applications) to show that, in genus one, typical Arnold flows have disjoint rescalings and satisfy Moebius orthogonality. Disjointness of rescalings seem to be an important feature of parabolic dynamics: while specific parabolic flows may fail to be disjoint from their rescalings (in primis the horocyle flow on a hyperbolic surface), several recent results seem to indicate that this property is indeed widespread among parabolic flows (see e.g. the results in [KLU20] on timechanges of horocycle flows). In the context of surface flows, disjointness of rescalings has been verified in [BK21] for von Neumann flows (which can be realized as translation flows on surfaces with boundary). Whether one can extend the disjointess result proved in [KLU20] for Arnold flows to higher genus smooth flows, remains an open problem and is likely to require a delicate control of Diophantine-like properties.
Polynomial deviations of ergodic averages. Slow chaotic behavior manifests itself not only through slow mixing, but also through slow convergence of ergodic integrals: given an ergodic areapreserving flow ϕ R (or its restriction to an ergodic minimal component S ⊂ S) and a real valued observable f with zero-mean, the ergodic integrals I T (f, x) := T 0 f (ϕ t (x)) dt decay to zero polynomially with some exponent 0 < ν < 1 for almost every initial point, i.e. I T (f, x) ∼ O(T ν ) in the sense that lim sup T →∞ log I T (f, x) /log T = ν. This phenomenon, known as polynomial deviations of ergodic averages, was discovered experimentally in the 1990s by A. Zorich and explained (for linear flows on translation surfaces and observables corresponding to cohomology classes) in seminal work by Kontsevitch and Zorich [Zor97,Kon97] relating power deviations to Lyapunov exponents of renormalization (see § 4). Forni in [For02b] could extend this result to integrals of sufficiently regular functions over translation flows and show that ergodic integrals can display a power spectrum of behaviors, i.e. there are exactly g positive exponents 0 < ν g ≤ · · · ≤ ν 2 < ν 1 := 1 (which correspond to the positive Lyapunov exponents of renormalization) and, for each, a subspace of finite codimension of smooth observables that present polynomial deviations as above with exponent ν = ν i . A finer analysis of the behavior of Birkhoff sums or integrals, beyond the size of oscillations, appears in the works [Buf14,MMY10]: Bufetov in [Buf14] shows in particular that (for typical translation flows and sufficiently regular observables) the asymptotic behavior of ergodic integrals can be described in terms of g (where g is the genus of the surface) cocycles Φ i (t, x), Together, the cocycles encode the asymptotic behavior of the ergodic integrals up to sub-polynomial behavior, in the sense that, for some constants where for almost every x ∈ S the error term Err(f, T, p) is sub-polynomial, i.e. for any > 0 there exists C > 0 such that |Err(f, T, p)| ≤ C T . In joint work with Fraczek, we recently gave a new proof of this result in [FU] which extends the result to the setting of smooth observables over locally Hamiltonian flows with Morse singularities (in U min as well as in U ¬min ) and also shows that the set of locally Hamiltonian flows for which the result holds can be described in terms of a Diophantine-like condition. More precisely, we define in [FU] the Uniform Diophantine Condition (or UDC for short, see § 5) and show that it has full measure. We then prove the following. [FU]). If the restriction of the locally Hamiltonian flow ϕ R ∈ M on a minimal component S satisfies the Uniform Diophantine Condition, for each C 3 observable f : S → R, there exists g exponents ν i and corresponding cocycles Φ i such that the expansion (3.3) holds.
Spectral theory. The study of the spectrum of the unitary operators acting on L 2 (S, µ) given by f → f • ϕ t can shed further light on the chaotic features of the dynamics of the flow ϕ R := (ϕ t ) t∈R and is at the heart of spectral theory (see [Lem] or [Ulc21] and the references therein). While the classification of mixing properties of locally Hamiltonian flows is essentially complete, very little is known on their spectral properties beyond the case of genus one (and some sporadic examples, such as Blokhin examples, essentially built gluing genus one flows, see the work [FL04]). The recent result [FKF21] by Fayad, Forni and Kanigowski for genus one suggests that it may be possible to prove that the spectrum is countable Lebesgue also in higher genus when in presence of degenerate, sufficiently strong (multi-saddle) singularities. In the non-degenerate case, though, we recently proved in joint work with Chaika, Fraczek and Kanigowski [CFKU21] that a typical locally Hamiltonian flow on a genus two surface with two isomorphic simple saddles has purely singular spectrum. This result does not use explicit Diophantine-like conditions, but rather geometry and in particular a special symmetry (the hyperelliptic involution) that surfaces in genus two are endowed with; Liouville-type Diophantine conditions are here imposed by requesting the presence on the surface of large flat cylinders close to the direction of the flow, whose existence for typical flows is then proved by a Borel-Cantelli type of argument (see [CFKU21] for details). Extending this result beyond genus two, though, will probably require the use of Rauzy-Veech induction (see § 4) and the introduction of new Diophantine-like conditions, which impose some controlled form of degeneration. The nature of the spectrum of minimal components of locally Hamiltonian flows in U ¬min (even in genus one, i.e. for Arnold flows) is a completely open problem.
3.2. Linearization and rigidity in higher genus. A different line of problems in which Diophantinelike conditions in higher genus play a crucial role are conjectures concerning linearization and rigidity properties of higher genus flows and their Poincaré sections, GIETs (defined in § 3). In analogy with the case of circle diffeos, we say that a GIET T is linearizable if it is topologically conjugate to a linear model, namely to a (standard) IET T 0 .
Topological conjugacy and wandering intervals. To generalize Poincaré and Denjoy work, one needs first of all a combinatorial invariant which extends the notion of rotation number. Such an invariant can be constructed by recording the combinatorial data of a renormalization process, as we explain in § 4. One of the crucial differences between GIETs and circle diffeomorphisms, though, is the failure of a generalization of Denjoy theorem: there are smooth GIETs that are semi-conjugate to a minimal IET for which the semi-conjugacy is not a conjugacy, in other words they have wandering intervals (see the examples found in [CG97,BHM10] in the class of periodic-type (affine) IETs and, more generally, [MMY10]). It is important to stress that this is not a low-regularity phenomenon, nor it is related to special arithmetic assumptions: as shown by the key work [MMY10] by Marmi, Moussa and Yoccoz, wandering intervals exist even for piecewise affine (hence analytic) GIETs (called AIETs), for almost every topological conjugacy class. The presence of wandering intervals is on the contrary expected to be typical (see e.g. the conjectures in [MMY12,Gha]) and it is closely interknit with the absence of a Denjoy Koksma inequality and more in general a priori bounds for renormalization, see [GU].
Local obstructions to linearization. As an important first step towards local linearization, we already mentioned the cohomological equation ϕ • T − ϕ = φ in § 2, where T = R α was a rotation. Whether the cohomological equation could be solved when T is a IET, under suitable assumptions, was unknown until the pioneering work of Forni [For97], who brought to light the existence of a finite number of obstructions to the existence of a (piecewise finite differentiable) solution. We remark that obstructions to solve the cohomological equation have been since then discovered to be a characteristic phenomenon in parabolic dynamics (e.g. their existence have been proved by Flaminio and Forni for horocycle flows [FF03] and nilflows on nilmanifolds [FF07], see also the ICM talk [For02a]). Forni's work is a breakthrough that paved the way for the development of a linearization theory in higher genus.
Another breakthrough, which put the stress on the arithmetic aspect of linearization in higher genus, was achieved by Marmi-Moussa-Yoccoz in their work [MMY12] (and related works [MMY05,MY16]). In [MMY05], in particular, they reproved and extended Forni's result using the IETs renormalization described in § 5 and introduced the Roth-type condition (see also § 5), as an explicit Diophantine-like condition on the IET needed to solve the cohomological equation ϕ•T −ϕ = φ−ξ, where ξ is a piecewise constant function which embodies the finite dimensional obstructions. This result, combined with a generalization of Herman's Schwarzian derivative trick, then led to the proof in [MMY12] by the same authors that, for any r ≥ 2, the C r local conjugacy class of almost every IET T (more precisely, of any T of restricted Roth-type, see § 5) is a submanifold of finite codimension. Marmi, Moussa and Yoccoz also conjectured that for r = 1 it is a submanifold of codimension (d − 1) + (g − 1), where d is the number of exchanged intervals and g the genus of the surface of which T is a Poincaré section. For the measure zero class of IETs of hyperbolic periodic type (see § 5), this conjecture has recently been proved by Ghazouani in [Gha21]. The proof of this result for almost every IET will require the introduction of a new suitable Diophantine-like condition on IETs.
Rigidity of GIETs. We say that a class of (dynamical) systems is geometrically rigid (or also C 1rigid), if the existence of a topological conjugacy between two objects in the class automatically imply that the conjugacy is actually C 1 . The global linearization results by Herman and Yoccoz recalled in § 2 shows that the class of (smooth, or at least C 3 ) circle diffeomorphisms with Diophantine rotation number is geometrically rigid (and actually C ∞ -rigid, i.e. if a smooth circle diffeo is conjugated via a homeomorphism h to R α with α satisfying the DC, then h is C ∞ ). We already saw that this can be reinterpreted as a rigidity result for flows on surfaces of genus one (see Theorem 2.1). In joint work with S. Ghazouani, we recently proved a generalization of this result to genus two.
Theorem 3.4 (Ghazouani, Ulcigrai [GU]). Under a full measure Diophantine-like condition, a foliation on a genus two surface which is topologically conjugate to the foliation given by a linear flow with Morse saddles, is also C 1 conjugate to it.
Here full measure refers to the Katok measure class on the linear flow models (see the definition given earlier in this section). For simplicity, we stated the result for flows with simple, Morsetype saddles; degenerate saddles can also be considered, but then one has to further assume that the foliations are locally C 1 conjugated in a neighborhood of the multi-saddle. Both these results can be reformulated at level of Poincaré sections: we introduce more precisely a rather subtle Diophantine-like conditions on (irreducible) IETs of any number of intervals d ≥ 2, that we call the Uniform Diophantine Condition, or UDC (we comment on it in § 3) and show that it is satisfied by almost every (irreducible) IET on d. We then prove: Theorem 3.5 (Ghazouani, Ulcigrai [GU]). If an irreducible d-IET T 0 with d = 4 or d = 5 satisfies the UDC, then any C 3 -generalized interval exchange map T which is topologically conjugate to T 0 , and whose boundary B(T ) vanishes, is actually conjugated to T 0 via a C 1 diffeomorphism.
The boundary operator B(T ) which appears in this statement is a C 1 -conjugacy invariant introduced in [MMY12]; it encodes the holonomy at singular points of the surface of which T is a Poincaré section. Requesting that B(T ) vanishes is therefore a necessary condition for the existence of a conjugacy of class C 1 . Theorem 3.5 solves for d = 4, 5 one of the open problems suggested by Marmi, Moussa and Yoccoz in [MMY12], where they conjecture the result to hold also for any other larger d. The result which is missing to prove the conjecture in its generality is a generalization of an estimate used in [MMY10] to show existence of wandering intervals in affine IETs. The main result in [GU], on the other hand (namely a dynamical dichotomy for the orbit of T under renormalization) is already proved for IETs which satisfy the UDC for any d ≥ 2.

Renormalization and cocycles
In this section we introduce the renormalization dynamics which is used as main tool to impose Diophantine-like conditions in higher genus. Renormalization in dynamics is a powerful tool to study dynamical systems which present forms of self-similarity (exact or approximate) at different scales. A map T : I → I of the unit interval which is (infinitely) renormalizable is such that one can find a (infinite) sequence of nested subintervals I n+1 ⊂ I n ⊂ · · · ⊂ I such that the induced dynamics T n : I n → I n (obtained by considering the first return map of T on I n ) is well defined and, up to rescaling, belongs to the same class of dynamical systems of the original T . Here, the rescaling, which is done so that the rescaled (or renormalized ) map acts again on an interval of unit length, is given by the map x → T n (|I n |x)/|I n |. We will now describe renormalization in the context of rotations first and then IETs. In both cases, at the level of (minimal) flows (or equivalently orientable foliations) on surfaces, the inducing process corresponds to taking shorter and shorter Poincaré sections of a given surface flow (on the torus or on a higher genus surface).
Renormalization algorithms. If T = R α is a rotation by an irrational α and q n , n ∈ N, are the denominators of the convergents p n /q n of α, then one can consider as sequence (I n ) n∈N the shrinking arcs on S 1 which have as endpoints R qn α (0) and R q n+1 α (0), that correspond dynamically to consecutive closest returns of the orbit of 0 (see Figure 3a). The induced map T n is then again a rotation R αn , with rotation number α n = G n (α), where G is the Gauss map G(x) = {1/x}. Similarly, for a d-IET T , one wants to choose the nested sequence (I n ) n∈N of inducing intervals so that the induced maps T n are all IETs of the same number d of subintervals. Given any minimal T (or more generally any IET satisfying the Keane condition, i.e. such that the orbits of its discontinuity points are infinite and distinct), classical algorithms which produce such an infinite sequence (I n ) n∈N are the Rauzy-Veech induction algorithm (see Veech [Vee82] or [Yoc10] and the references therein) and Zorich induction, an acceleration of the same algorithm introduced by Zorich in [Zor96]. For the definitions of these algorithms, which we will not use in the following, we refer the interested reader to the lecture notes [Yoc10]. One can show that, for d = 2, Zorich induction corresponds to the renormalization of rotations given by the Gauss map.
On the parameter space I d of all d-IETs, these algorithms induce renormalization operators R : I d → I d , which associate to T the d-IET R(T ) obtained by applying one step of the corresponding induction and then renormalizing the induced map to act on [0, 1]. Veech showed that Rauzy-Veech renormalization admits a conservative absolutely continuous invariant measure, that induces a finite invariant measure for the Zorich acceleration, as proved in [Zor96]. The ergodic properties of the renormalization dynamics in parameter space have been intensively studied and are by now well understood, see e.g. [Yoc09] and the references therein for a brief survey.
Rohlin towers and matrices. After n steps of induction, one can recover the original dynamics through the notion of Rohlin towers as follows: if I i n is one of the subintervals of T n and r := r i n is its first return time to I n under the action of T , the intervals I i n , T (I i n ), . . . , T r−1 (I i n ) are disjoint. Their union is called a Rohlin tower of step n and each of them is called a floor (see Figure 3b). Given an infinitely renormalizable T , for any n one can see [0, 1] as a union of d Rohlin towers of step n, as shown in Figure 3b. Rohlin towers thus produce a sequence of partitions of [0, 1] (into floors of towers of step n).
Renormalization produces also a sequence of d × d matrices A n , n ∈ N, with integer entries, which should be thought of as multi-dimensional continued fraction digits and describe intersection numbers of Rohlin towers. The matrices (A n ) n∈N are defined so that the entries of the product A n := A n · · · A 1 have the following dynamical meaning: the (i, j) entry (A n ) ij is the number of visits of the orbit of any point x ∈ I j n to the initial subinterval I i 0 until its first return time r j n ; in other words, (A n ) ij is the number of floors of the j th tower of level n which are contained in I i 0 . These entries generalize the classical continued fraction digits: for d = 2, indeed, the matrices (A n ) n∈N associated to R α , for n of alternate parity, have respectively the form 1 a n 0 1 or 1 0 a n 1 , where a n are the entries of the continued fraction expansion α = [a 0 , a 1 , . . . , a n , . . . ]. Diophantinelike conditions for IETs are defined by imposing conditions on these matrices, on their growth as well as on their hyperbolicity, see in § 5. The matrices (A n ) n∈N are produced by the renormalization dynamics: for rotations, the entries (a n ) n∈N of the continued fraction expansion of α satisfy a n = a 0 (G n (α)), where a 0 (·) is an integer valued function on [0, 1]. Similarly, one has now that A n = A 0 (R n (T )), where A 0 : I d → SL(d, Z) is a matrix valued function on the space I d of d-IETs, i.e. a cocycle (known as the Rauzy-Veech cocycle, or Zorich cocycle if considering the Zorich acceleration).
Positive and balanced accelerations. It turns out though, that Zorich acceleration is often not sufficient (see for example [KM14] and [Kim14] where it is shown that the classical Diophantine notions of bounded-type [KM14] and Diophantine-type [Kim14] do not generalize naturally when using Zorich acceleration). Two accelerations which play a key role in Diophantine-like conditions are the positive and the balanced acceleration. By accelerations we mean here an induction which is obtained by considering only a subsequence (n k ) k∈N of Rauzy-Veech times. The associated (accelerated) cocycle is then obtained considering products A(n k , n k+1 ) := A n k+1 −1 · · · A n k +1 A n k .
The positive acceleration appears in the works by Marmi, Moussa and Yoccoz [MMY05,MMY12,MY16]. They showed that if T satisfies the Keane condition, for any n there exists m > n such that A(n, m) is a strictly positive matrix. The accelerated algorithm then corresponds to choosing the sequence (n k ) k∈N setting n 0 := 0 and then, for k ≥ 1, choosing n k to be the smallest integer n > n k−1 such that A(n k−1 , n) is strictly positive. On the other hand, to define the balanced acceleration, one considers a subsequence (n k ) k∈N of Rauzy-Veech times n for which the corresponding Rohlin towers are balanced, in the sense that ratios of widths |I i n |/|I j n | and heights r n i /r n j are uniformly bounded above and below. We will return to these accelerations and some instances in which they are helpful in § 5.
Combinatorial rotation numbers. We remark that the definition of Rauzy-Veech induction can be extended also to a GIET T (under the Keane condition, which guarantees that R n (T ) can be defined for every n ∈ N) and then exploited to give a combinatorial notion of rotation number as well as a definition of irrationality in higher genus (following [MMY12,MY16], see also [Yoc10]). As one computes the induced maps (T n ) n∈N , one can indeed record the sequence (π n ) n∈N of permutations of the GIETs (T n ) n∈N : this sequence provides the desired combinatorial rotation number for d > 2. We say that a GIET is irrational if the sequence of matrices (A n ) n∈N have a positive acceleration (or equivalently, in the terminology introduced by Marmi, Moussa and Yoccoz, the path described by (π n ) n∈N is infinitely complete). One can then show that two irrational GIETs with the same rotation number are semi-conjugated (see e.g. [Yoc10]), a result that generalizes a property of rotations numbers and circle diffeos and hence explains the choice of calling this higher genus combinatorial object the 'rotation number ' of a GIET .
Renormalization of Birkhoff sums. Given T : I → I and a function f : I → R, we denote by S n f := n−1 k=0 f • T k the n th -Birkhoff sum (of the function f under the action of T ). When T = R α is a rotation (or a circle diffeo), it is standard to study first Birkhoff sums of the form S qn f for q n convergent of α, corresponding to closest returns, and then use them to decompose more general Birkhoff sums. Similarly, renormalization for (G)IETs can be exploited to produce special Birkhoff sums, namely Birkhoff sums of a special form that can be understood first, exploiting renormalization, and then used to decompose and study general Birkhoff sums. For each n ∈ N, if T n : I n → I n is the induced map after n steps of renormalization, the n th special Birkhoff sum is the induced function S(n)f : Thus, since r i n is the height of the Rohlin tower over I i n , the value S(n)f (x) is obtained summing the orbit along the tower which has x in the base, see Figure 3b. Notice that for d = 2, when considering Zorich acceleration, these reduce to sums of the form S qn f (x). The associated special Birkhoff sums operators S(n), n ∈ N, map f : I → R to S(n)f : I n → R. When f is piecewise constant and takes a constant value f i on each I i , S(n) can be identified with a linear operator given by the (studied acceleration of the) Rauzy-Veech cocycle A n = A n · · · A 1 as follows: one can show that S(n)f takes constant values f n i on each I i n and the column vectors f : are related by f n = A n f . Thus, special Birkhoff sums operators can be seen as infinite dimensional extensions of the Rauzy-Veech cocycle (and its accelerations). When considering a rotation R α , to decompose S n f (x) into Birkhoff sums of the form S q k f (x j ), one can write n = kn k=0 b k q k , where k n is the largest integer k such that q k < n and b k are integers such that 0 ≤ b k ≤ a k 1 (a factorization sometimes known as Ostrowsky decomposition).
For IETs one can also get an analogous decomposition of any Birkhoff sums S n f (x) into special Birkhoff sums, which has the same form (4.1), but where 0 ≤ b k ≤ A n := i,j (A n ) ij and the decomposition is obtained dynamically, by decomposing the orbit of x until time n into blocks, each of which is contained in a tower and hence corresponds to a special Birkhoff sums.
Renormalization in moduli spaces. We conclude this section mentioning that these renormalization algorithms (for rotations and IETs) describe a discretization of a renormalization dynamics on the moduli space of surfaces. In genus one, the Gauss map is well known to be related to the geodesic flow on the modular surface (which can be seen as the moduli space of flat tori), see e.g. [Ser85]. Similarly, (an extension of) Rauzy-Veech induction can be obtained as Poincaré map of the Teichmueller geodesic flow on the moduli space of translation surfaces (see e.g. [Zor06]).
The full measure Diophantine-like conditions that we discuss in this survey are satisfied by (Poincaré maps of) linear flows in almost every direction on almost every translation surface in these moduli space (with respect to the Lebesgue, or Masur-Veech measure, see [CW]). A different question is whether these properties hold for a given surface in almost every direction, in particular if the surface has special properties, for example is a torus cover (i.e. it is a square-tiled surface), or has special symmetries (e.g. it is a Veech surface or it belongs to a n SL(2, R)-invariant locus, see [CW]). In these settings, while some results can be obtained by general measure-rigidity techniques (in particular from the work [CE15] by Chaika and Eskin, see also the ICM proceedings [CW] and the references therein), to describe explicit Diophantine-like conditions it is often helpful to exploit or develop ad-hoc renormalization algorithms (for example one can use finite extensions of the Gauss map to study square-tiled surfaces, see e.g. [MMY15], or construct Gauss-like maps for some Veech surfaces, see e.g. [SU10]).

Diophantine-like conditions in higher genus
We finally describe in this section some of the Diophantine-like conditions which were introduced to prove some of the results on typical ergodic and spectral properties of smooth area-preserving flows on surfaces (see § 3.1) and on linearization (such as solvability of the cohomological equation and rigidity questions in higher genus, see § 3.2). 5.1. Bounded-type IETs and Lagrange spectra. We start with two important classes of IETs, namely periodic-type and bounded-type IETs, both of which have measure zero in the space I d of IETs (although full Hausdorff dimension in the case of bounded-type IETs), but often constitute an important class of IETs in which dynamical and ergodic properties can be tested.
One of the simplest requests on a (G)IET is that its orbit under renormalization is periodic, so that the sequence of Rauzy-Veech cocycle matrices (A n ) n∈N introduced in the previous section § 4 is periodic, i.e. there exists p > 0 such that A n+p = A n for every n ∈ N. We will furthermore request that the period matrix A := A p · · · A 2 A 1 is strictly positive. These IETs are called in the literature periodic-type IETs (see e.g. [SU05]), in analogy with periodic-type rotation numbers (quadratic irrationals like the golden mean ( √ 5 − 1)/2 = [1, 1, . . . , 1, . . . ] which have a periodic continued fraction expansion). By construction they are self-similar and one can also show that they arise as Poincaré section of foliations which are fixed by a pseudo-Anosov surface diffeomorphism. Notice that d-IETs of periodic type form a measure zero set in I d (they are actually countable). One can show (in view of a Perron-Frobenius argument, e.g. following [Vee82]) that periodic-type IETs are always uniquely ergodic with respect to the Lebesgue measure.
Periodic-type IETs are often the very first type of IETs used to construct explicit examples: see e. g. the explicit examples of weak mixing periodic-type IETs in [SU05] or the explicit examples of Roth-type IETs build in the Appendix of [MMY05]. On the other hand, among periodic-type IETs one can also find examples with exceptional behavior. A further request, that is used to guarantee that a periodic-type T display features similar to those of typical (in the measure theoretical sense) IETs, is that T is of hyperbolic periodic-type: this means that the periodic matrix A has g eigenvalues of modulus greater than 1, where g is the genus of the surface of which T is a Poincaré section. Notice that g is the largest possible number of such eigenvalues, as it can be shown by either geometric or combinatorial arguments (in particular exploiting the symplectic features of the cocycle matrices, which come from their interpretation as action of renormalization on the relative homology H 1 (S, F ix(ϕ R ), R), one can show that A has also g eigenvalues of modulus less than 1, while the transpose A T acts as a permutation on a subspace of dimension k := d − 2g which gives rise to a k-dimensional central space).
Bounded-type IETs equivalent characterizations. Periodic-type IETs are a special case of so called bounded-type IETs: we say that a (Keane) IET T is of bounded-type if the matrices of the positive acceleration P k := A(n k , n k+1 ) are uniformly bounded, i.e. there exists a constant M > 0 such that P k ≤ M for every k ∈ N. From this point of view, bounded-type IETs can be seen as a generalization of bounded-type rotation numbers (which, recalling § 2, are α = [a 0 , a 1 , . . . , a n , . . . ] such that for some M > 0 we have |a n | ≤ M ). It turns out that this renormalization-based definition characterizes a natural class of IETs (and corresponding surfaces) from the combinatorial and geometric point of view: bounded-type IETs are linearly recurrent (i.e. satisfy an important notion of low complexity in word-combinatorics) and surfaces which have a bounded-type IET as a section give rise to bounded Teichmueller geodesics in the moduli space of translation surfaces (see e.g. [HMU15] for the proof of the equivalences). These natural characterizations show once more how the positive acceleration (and not simply Zorich acceleration) is the good one to use in this setting (see also [KM14] where it is shown that asking that Zorich matrices are bounded leads to a different, strictly larger class).
Furthermore, from the point of view of renormalization, the uniform bounds on the norm of the matrices P k imply that the partitions into Rohlin towers produced by Rauzy-Veech renormalization are all balanced (see § 4). From a purely dynamics perspective, the orbits of a bounded-type IET are well-spaced : there are uniform constants c, C > 0 such that, for any point x and any n, the gaps (i.e. the distances between closest point) of the orbit {T i x, 0 ≤ i < n} are all comparable to n, i.e. are bounded below by c/n and above by C/n. Yet another characterization is in terms of orbits of discontinuities: if δ n (T ) denotes the smallest length of a continuity interval for T n , lim inf n∈N nδ n (T ) > 0, see [HMU15] and the reference therein.
Several results in the literature were proved first assuming bounded-type (for example absence of mixing for flows in U min , see [Ulc07a], preceding [Ulc11]) and some properties are currently known only under the assumption of being bounded-type, for example absence of partial rigidity and mild-mixing (see [Ku l12] and [KKP16] respectively) for flows in U min (it is possible, but an open question, that these two properties fail without assuming that a Poincaré section is of boundedtype), or ergodicity of typical skew-product extensions of IETs by piecewise constant cocycles (see [CR19]).
Bounded-type uniform contraction and deviations estimates. One of the way in which the boundedtype assumption can be exploited is the following. It is well known that iterates of a positive d × d matrix A > 0 act on the positive cone R d + as a strict contraction (e.g. with respect to the Hilbert projective metric): this is the phenomenon behind the proof of Perron-Frobenius theorem, that shows that A has a unique (positive) eigenvector with maximal eigenvalue. More generally, the projective action of any matrix A i with A i ≤ M has a contraction rate which depends on M only; this, in view of the connection between the entries of the cocycle products A n := A n . . . A 1 and (special) Birkhoff sums (see § 4), can be used, given a bounded-type IET, to prove unique ergodicity and to give uniform estimates on the rate of convergence of ergodic averages: one can for example show that there is a uniform constant (which can be taken to be 1) and a uniform exponent γ M such that, for any bounded-type IET with P k ≤ M and any mean zero (piecewise) smooth f : I → R, |S n f (x)| ≤ n γ M for all x ∈ I (see the Appendix of [CR19]).
The role of bounded-type in the study of Lagrange spectra. Periodic-type and bounded-type rotation numbers play a central role in the study of the Lagrange spectrum L ⊂ R∪{+∞}, a classical object in both number theory and dynamics (see for example [HMU15] or [Mat18] and the reference therein). It is defined as the set L := {L(α), α ∈ R} where L(α) := lim sup q,p→∞ 1/q|qα − p|; one can show that L(α) < ∞ exactly when α is of bounded-type, in which case L(α) −1 provides the smallest constant such that |α − p/q| < L(α) −1 /q 2 has infinitely many integer solutions p, q ∈ Z, q = 0 (and it has also an interpretation in terms of depths of excursions into the cusp of hyperbolic geodesics on the modular surface). Among the many geometric and dynamical extensions of the notion of Lagrange spectrum (see some of the references in [HMU15]), a natural generalization to higher genus leads to Lagrange spectra of IETs and translation surfaces, which we introduced in joint work with Hubert and Marchese in [HMU15]. The finite values of these spectra are achieved exactly by bounded-type IETs and can be computed using renormalization. We show furthermore in [HMU15] that these spectra can be obtained as the closure of the values achieved by periodictype IETs.

5.2.
Roth-like conditions and type. The Roth-type condition, to the best of our knowledge, was historically the first full measure 'arithmetic' condition to be defined and exploited in higher genus.
Roth-type condition. In the seminal paper [MMY05], Marmi, Moussa and Yoccoz show first of all that (a predecessor of) the positive acceleration of Rauzy-Veech induction (refer to § 4) is well defined for all Keane IETs and use this acceleration to define the Roth-type condition and prove that it has full measure; they then show that this condition is sufficient to solve the cohomological equation after removing obstructions (see § 3.2). Since bounded-type IETs have measure zero, to describe a full measure set of IETs one needs to allow the norms P k of the matrices (P k ) k of the positive acceleration to grow. Marmi, Moussa and Yoccoz show in [MMY05] that, for almost every d-IETs in I d , the matrices (P k ) k grow sub-polynomially, i.e. for any > 0 there exists C > 0 such that This condition should be seen as a higher genus generalization of the classical Roth-type condition, see § 2. A d-IETs is called Roth-type if it satisfies (5.1) (which is equivalent to condition (a) in [MMY05], see [MY16]), and two additional conditions, which concern the contraction properties of the cocycle (condition (b) in [MMY05] impose that the operators S(k) act as contractions on mean zero functions and guarantees unique ergodicity and the existence of a spectral gap, while the last one, condition (c) or coherence, concerns the contraction rate of the stable space and its quotient space). The presence of additional requests that concern not only the growth of the matrices but also their hyperbolicity properties seems to be an important and new feature of several Diophantine-like conditions in higher genus, see § 5.4. While the proof that the last two conditions are satisfied by almost every IET is a simple consequence of Forni's work [For02b] and Oseledets theorem (which can be applied in view of the work by Zorich [Zor96]), the proof that the growth condition (5.1) is typical takes a large part of [MMY05]; a simpler proof can be now deduced (as explained in [MMM18]) from a later result by Avila-Gouezel-Yoccoz [AGY06].
Variations of the Roth-type condition. In a similar way in which one can refine the periodic-type condition by defining hyperbolic periodic-type, one may further request, given a Roth-type IET T , that the stable space, i.e. the space Γ s (T ) of vectors v ∈ R d such that A n v → 0 exponentially as n grows (which, in the case of a periodic-type IET with period matrix A, is generated by the eigenvectors of the eigenvalues of A which have modulus greater than 1) has maximal dimension, namely g. The condition that one gets was called restricted Roth-type in [MMY12]; it has full measure in view of [For02b] and was used to study the structure and codimension of local C r conjugacy class of a (G)IET for r > 2. In the joint work [MUY20] with Marmi and Yoccoz, we introduced a further weakening of the (restricted) Roth-type condition, the absolute (restricted) Roth type condition, expressed only in terms of the cocycle action on a 2g dimensional subspace which can be identified with the absolute homology H 1 (S, R) of the surface S of which T is section (in contrast, the original condition involves the whole cocycle, which describes the action on the relative homology H 1 (S, F ix(ϕ R ), R)). Exploiting [CE15], one can also show that this absolute (restricted) Roth type condition holds on every translation surface for almost every direction (see [CE15] and [MUY20]). A generalization of the restricted Roth type condition, the quasi-Roth type condition, was introduced in [FMM] to extend the results of [MMY05] and [MMY12] to Poincaré maps of surfaces for which the stable space has dimension less than g (see [FMM] for details). Let us also mention that a Roth-type condition can also be imposed on the backward rotation number (of a translation flow), requesting a growth rate similar to (5.1) for the dual cocycle. The corresponding dual Roth-type condition was used in [MUY20] to study the asymptotic oscillations of the error term in (3.3) (which we describe in terms of a distributional cocycle-or distributional limit shape, see [MUY20] for details).
Type and recurrence for IETs. It is not surprising that Diophantine-like conditions can also be used to study recurrence questions. While for rotations these reduce to Diophantine properties in the classical arithmetic sense (namely how well a number can be approximated by rationals), given an IET T one can study either how frequently the successive iterates (T n (x)) n∈N return close to x (see e.g. [BC13]), or how close the iterates of a discontinuity come to other discontinuities, see e.g. [Mar11]. The (Diophantine) type η of a rotation R α is defined to be η := sup{β s. t. lim inf n→∞ n β {nα} = 0}. Bounded-type and Roth-type numbers have type η = 1 (while Liouville ones have type η = ∞). One can show (see [Kim14] and [MMY12]) that requesting that an IET T is Roth-type is equivalent to asking that sup {β s. t. lim inf n β δ n (T ) = 0} = 1, where here δ n (T ) is the minimum spacing between discontinuities of T n . It also implies (but without equivalence) that the first return time τ r (x) of x to a ball of radius r > 0 satisfies the logarithmic law lim r→0 log τ r (x)/ log(1/r) = 1 for almost every x ∈ [0, 1] (see [Kim14]).

5.3.
Controlled growth Diophantine-like conditions. Any balanced acceleration of Rauzy-Veech induction (as defined in § 4), produces, given a typical IET T , a sequence of times (n k ) k which correspond to occurrences of positive matrices A n k whose norm A n k ≤ M is uniformly bounded (these are furthermore return times to a compact subset K of the parameter space for the natural extension). As for bounded-type IETs, occurrences of these positive bounded matrices give very good control of the convergence of (special) Birkhoff sums of characteristic functions χ I j (see the end of § 5.1). More generally, if x 0 ∈ I j n belongs to the inducing interval I n of a balanced return time n := n k and q := r j n is the height of the corresponding tower, the orbit {x 0 , T (x 0 ), · · · , T q−1 (x 0 )} along a tower is so regularly spaced that one can get good estimates of the Birkhoff sums S q f (x 0 ) also for other classes of observables f . In order to estimate Birkhoff sums S n f (x) for other times n ∈ N and points x ∈ [0, 1], one can then interpolate these estimates by using the decomposition (4.1) into special Birkhoff sums. It is clear now that for this interpolation to provide good estimates for any time n ∈ N, one needs to impose that the balanced times (n k ) k are sufficiently frequent so that A(n k , n k+1 ) grows in a controlled way. Notice that by balance the tower heights r j n k for 1 ≤ j ≤ d are all comparable and if we set q n := max j r j n , the norm A(n k , n k+1 ) is proportional to q n k+1 /q n k .
Mixing Diophantine Condition. The main requirement of the Mixing Diophantine condition introduced in [Ulc07b] is that there exists a (good) positive acceleration and C > 0 s.t.
This condition should be seen as a higher genus generalization of the Khanin-Sinai condition |a k | ≤ Ck τ for mixing of Arnold flows, see § 2. The proof that it is satisfied by a full measure set of IETs follows from a Borel-Cantelli argument analogous to the one that can be used in genus one, but the input in higher genus are the highly non-trivial integrability estimates for balanced accelerations proved by Avila, Gouezel and Yoccoz (which the authors proved to show in [AGY06] that the Teichmüller geodesic flow is exponentially mixing): it is proved in [AGY06] that for any 0 < ν < 1, there exists a suitable compact set K such that K A K ν dµ is finite (where A K is the accelerated cocycle and µ the Zorich measure).
In order to prove mixing of (minimal components of) locally Hamiltonian flows in U ¬min (i.e. Theorem 3.1), one needs good quantitative estimates on shearing: these are given by estimates of Birkhoff sums S n f over an IET which arise as Poincaré map, for a particular observable f (namely, f is taken to be the derivative of the roof function in the special flow representation of ϕ R ), which turns out not to be in L 1 (indeed the function f has singularities of type 1/x, which are not integrable). When n = n k is a balanced time, on can control the corresponding special Birkhoff sums S(n k )f and show that each Birkhoff sum along a tower S q f (x) where q = q j n k and x ∈ I j n k can be controlled after removing the closest point contribution that, in this case, is simply 1/x. One can indeed show that the trimmed Birkhoff sum S q f (x) − 1/x is asymptotical to Cq log q. The Mixing Diophantine Condition allows to interpolate these estimates and show that, also for any other n ∈ N, S n f (x) grows asymptotically Cn log n for all points x with the exception of points which belong to a set Σ n ⊂ [0, 1] of measure going to zero. The set Σ n of points which needs to be removed to get the desired control contains points whose orbits may be resonant, in the sense that it may contain a close-to-arithmetic progression near one of the singularities of f , with step q n k /q n k+1 (which can be a very small step if q n k+1 is much larger than q n k ).
Ratner Diophantine condition. In order to prove that (minimal components of) locally Hamiltonian flows in U ¬min have the Switchable Ratner property (e.g. Theorem 3.2, see § 3), one needs more delicate quantitative shearing estimates. Such estimates are proven assuming first of all the Mixing Diophantine Condition, but the MDC is not sufficient. While mixing is an asymptotic condition and therefore it is sufficient, for all large n, to prove estimates for the Birkhoff sums S n f (x) (introduced in the previous subsection) on sets of measure tending to 1 (and hence one can remove a set Σ n whose measure goes to zero), the (Switchable) Ratner Property requires estimates on arbitrarily large sets of initial points, for all large times n ≥ n 0 . If the series n∈N Leb(Σ n ) were finite, the tail sets of the form n≥n 0 Σ n would have arbitrarily small measures and thus one could throw away these unions for n 0 large. Unfortunately, one can check that the measures Leb(Σ n ) n∈N are not summable. Instead, we consider a subset K ⊂ N such that n / ∈K Leb(Σ n ) < +∞ and exploit the additional freedom given by the switchable Ratner condition to deal with points x ∈ Σ n when n ∈ K. This requires the introduction of a suitable Diophantine-like condition.
We say that an IET T satisfies the Ratner Diophantine condition (RDC) if T satisfies the Mixing DC along the sequence (n k ) k∈N of balanced induction times and if there exists 0 < ξ, η < 1 such that, if B k := A(n k , n k+1 ) are the matrices of the accelerated cocycle and q k := max j r j n k the maximum height of the corresponding towers, we have The assumption (5.3) guarantees in particular the summability of n / ∈K Leb(Σ n ), so that tail sets of this series can be removed. When k ∈ K, using that n k is a balanced time and q k /q k−1 ≤ B k is not too large, one can show that an arbitrarily large set of points x do not get close of order c/q k−1 to a singularity twice in time of order q k , so either going forward or backward in time one can avoid getting O(q −1 k ) close to singularities. This suffices to provide the control of S n f (x) (and therefore of shearing) required by the switchable Ratner property for all times.
Notice that if an IET T is of bounded type (so B k are bounded) then the RDC is automatically satisfied (since the complement of K in N is finite and therefore the series is a sum of finitely many terms). The Ratner DC imposes that the times k for which B k is large are not too frequent: in a sense if an IET satisfies the RDC, it behaves like an IET of bounded type modulo some error with small density (as a subset of N), but this relaxation allows the property to hold for almost every IETs: we prove indeed in [KKPU19] that, for suitable choices of ξ and η the RDC is satisfied by a full measure set of IETs. Formally (when using the suitable acceleration), the assumption (5.3) looks like the Diophantine Condition for rotations introduced by Kanigowski and Fayad in [FK16], see (3.2). The proof of full measure of the RDC is modeled on the proof of full measure of the arithmetic condition (3.2), with the role of the Gauss map played by the renormalization operator in parameter space corresponding to the balanced acceleration. Key ingredients to make this proof work are once more the integrability estimates from Avila-Gouezel-Yoccoz [AGY06], as well as a quasi-Bernoulli property of the balanced acceleration, see [KKPU19] for details.
Backward growth condition for absence of mixing. The Diophantine-like condition to prove absence of mixing of typical locally Hamiltonian flows in U min (see § 3.1) is not explicitly stated in [Ulc11], but, from the proof, one can see that one needs the existence of a suitable acceleration of the balanced acceleration, whose matrices will be denoted by (B k ) k∈N , of a subsequence (k l ) l and of a constant M > 0 such that where ν is some constant with ν > 1. This type of condition has two interesting features: it requires a backward control of the growth of the matrices of an accelerated cocycle, which has to happen infinitely often. Indeed, for the series (5.4) to converge and be uniformely bounded by M , one needs to ask that the norms B k when k belongs to the sequence (k l ) l∈N are uniformly bounded; furthermore, it is sufficient to then impose that, going backward in time, they grow less fast than the denominator, namely that B k l −j ≤ Ce δj for 0 ≤ j ≤ k l where δ is chosen so that e δ < ν. These conditions can be shown to be of full measure by exploiting Oseledets integrability (for the dual cocycle). These type of backward conditions seem to appear naturally when one wants to provide good control of the deviations of the points in a finite segment {x, T (x), . . . , T N (x)} of an IET orbit from an arithmetic progression: one would like to show for example that, if we relabel the points in the orbit segment so that 0 < x 1 < x 2 < · · · < x N < 1, the points x i display polynomial deviations from an arithmetic progression, i.e. there exists C > 0 and 0 < γ < 1 such that |x i − i/N | ≤ C(i/N ) γ .
These estimates (which are used in [Ulc07a,Ulc11] to show, through a cancellations mechanism, that there is a subsequence of times with no shearing and, as a consequence, that mixing fails) can be proved for all times for bounded type IETs (see [Ulc07a]), but, for typical IETs, even for orbits along a balanced tower of some renormalization level n k 0 , it may not be possible to choose a constant C uniformly on i. Heuristically, the reason for this is that to estimate the location of x i one can use a spatial decomposition of the interval [0, x i ] into floors of renormalization towers which involves the entries of backward cocycle matrices (a decomposition similar to the one in (4.1), but with the role of time now played by space; geometrically this can also be interpreted as swapping the role of the horizontal and vertical flows on a translation surface). The presence of an exceptionally large A k , even if k is much smaller than k 0 , can still spoil the deviations control, since it may correspond in the spatial decomposition to a clustering of points, close to an arithmetic progression of a very small step.
We point out that phenomenona of similar nature, where the whole backward history of the continued fraction entries matters to control orbits, appears also in genus one, in the theory of circle diffeomorphisms. In the paper [KT09], in which Herman's theory of linearization (see § 2) is revisited through renormalization following [KS87] and optimal results are achieved for low regularity, the arithmetic condition required on α = [a 0 , a 1 , . . . ] is a condition involving a series, namely the finiteness of ∞ n=0 a n+1 n i=0 ln l n−i (l n−i−1 ) η , where l n := |q n α − p n | and 0 < η < 1. This condition is then also in [KS87] to control the spatial decomposition of orbit segments. It would be interesting to know if the analogy, which at this level is only formal and on the nature of the conditions, hides a more profound similarity. 5.4. Effective Oseledets Diophantine-like conditions. To conclude, we briefly describe the Regular and Uniform Diophantine-like conditions (RDC and UDC for short), introduced and used to prove Theorem 3.3 and Theorem 3.5 respectively (see § 3.1 and § 3.2). Both these conditions present a novel aspect: not only they impose a controlled growth of cocycle matrices of a suitable acceleration (as all the conditions we have seen in § 5.3), as well hyperbolicity assumptions (see the hyperbolic periodic-type or the restricted Roth type condition, in § 5.1 and § 5.2), but they also impose quantitative forms of hyperbolicity, by asking for effective bounds on the convergence rates in the conclusion of Oseledets theorem, as we now detail.
Effective Oseledets control and the UDC. Let us say that a sequence of balanced return times (n k ) k∈N satisfies an effective Oseledets control if one can find a sequence of invariant splittings R d = E n s ⊕ E n c ⊕ E n u , with dimE n s = g, such that, for some θ > 0 and any k ∈ N ||A(n k , n)| E n k s || ∞ ≤ Ce −θ(n−n k ) for every n ≥ n k ; (5.5) ||A(n, n k ) −1 | E n k u || ∞ ≤ Ce −θ(n k −n) for every 0 ≤ n ≤ n k . (5.6) Thus, the cocycle contracts the stable space E n k s in the future and the unstable space E n k u in the past with a uniform rate θ and a uniform constant C. These times can be produced for example considering returns to a set (for the natural extension) where the conclusion of Oseledets theorem (for the cocycle and its inverse) can be made uniform. An IET satisfies the Uniform Diophantine Condition (UDC) if there exists balanced times (n k ) k with effective Oseledets control and furthermore, for every > 0 there exists C, c > 0, λ > 0 and a subsequence (k l ) l∈N which is linearly growing (i.e. such that lim inf l→∞ k l /l > 0) for which A(n k , n k l ) ≤ C e |k−k l | for all k ≥ 0 and l ≥ 0; (5.7) ce λk ≤ A(0, n k ) ≤ Ce (λ+ )k for all k ≥ 0. (5.8) One can show that assuming that T satisfies the UDC implies in particular that T is of (restricted) Roth-type (see [FU]); on the other hand, (5.5) and (5.6) are assumptions of a new nature, and furthermore (5.8) clearly excludes IETs of bounded type; thus this is a more restrictive Diophantine-like condition, although still full measure (see [FU]).
The RDC and conditions on Diophantine series. In the Regular Diophantine Condition (used to study rigidity of GIETs in [GU] and in particular to prove Theorem 3.5) we assume that T is Oseledets generic and require the existence of a special sequence of balanced times (n k ) k such that the two following forward and backward series (involving the accelerated matrices B k := A(n k , n k+1 ), their products B(k, l) := B l−1 · · · B k , as well as the projections Π k s and Π k u to E n k s and E n k u respectively) are uniformly bounded by some constant M > 0 along a linearly growing subsequence (k l ) l∈N , namely, for every l ∈ N, We also require a uniform lower bound on the angles between the subspaces E n s , E n u and E n c of the splitting along the subsequence (n k l ) l and sub-exponential growth of B(k l , k l+1 ). The convergence of these series can be proved assuming that the sequence (n k ) k provides effective Oseledets control; the subsequence (k l ) l is then selected so that the uniform upper bound holds. Also the UDC can be used to prove the convergence and uniform boundedness (along a linearly growing subsequence) of some series of similar (although simpler) nature (that we call Diophantine series, see [FU] for details). Notice also the similarity between the backward series in (5.9) and the series (5.4) used to prove absence of mixing, even though the latter involves only the norm of the matrices and not their hyperbolic properties.
Examples of arithmetic conditions on classical rotation numbers which do not depend only on the asymptotic behavior of the continued fraction entries (as Diophantine or Roth-type conditions) but instead depend on values or finiteness of series involving continued fraction entries include the Brjuno-condition (see e.g. [Yoc95]) and the Perez-Marco condition [PM93]. Conditions which require recurrence to a set of rotation numbers with this type of control in the theory of circle diffeos seem to appear in global rigidity results, see for example the Condition (H) defined by Yoccoz (see [Yoc02]).
Final remarks and questions. We saw that advancements in our understanding of both chaotic properties and linearization and rigidity questions in the context of surface flows in higher genus depend crucially on sometimes delicate Diophantine-like conditions, imposed to control the renormalization dynamics. While some of these resembles the classical counterparts, others are of new nature, in particular involving hyperbolicity features which become visible only in higher genus. A downside of this new aspect is that conditions that requires Oseledets genericity assumptions are not easily checkable. If there is a way of producing explicit examples with such properties which are not of periodic type, even within a locus, remains a challenge. Since many developments are still quite recent, it is possible that some conditions can be simplified or weakened and still yield the same results; furthermore, the interdependence or inclusions between the various conditions have not been fully investigated. Finally, even though, all the conditions we described, with the only exception of bounded-type conditions, are of full measure, they are likely not to be the optimal ones required for the results for which they were introduced (we know this for example for the absence of mixing condition, in view of [CW19]). Finding optimal conditions for each of these problems is certainly interesting but probably very difficult.