Quasigeodesic behavior of flow lines is a very useful property in the study of Anosov flows. Not every Anosov flow in dimension three is quasigeodesic. In fact, until recently, up to orbit equivalence, the only previously known examples of quasigeodesic Anosov flows were suspension flows. In a recent article, the second author proved that an Anosov flow on a hyperbolic 3-manifold is quasigeodesic if and only if it is non-$\mathbb {R}$-covered, and this result completes the classification of quasigeodesic Anosov flows on hyperbolic 3-manifolds. In this article, we prove that a new class of examples of Anosov flows are quasigeodesic. These are the first examples of quasigeodesic Anosov flows on 3-manifolds that are neither Seifert, nor solvable, nor hyperbolic. In general, it is very hard to show that a given flow is quasigeodesic and, in this article, we provide a new method to prove that an Anosov flow is quasigeodesic.

We perform a multifractal analysis of homological growth rates of oriented geodesics on hyperbolic surfaces. Our main result provides a formula for the Hausdorff dimension of level sets of prescribed growth rates in terms of a generalized Poincaré exponent of the Fuchsian group. We employ symbolic dynamics developed by Bowen and Series, ergodic theory and thermodynamic formalism to prove the analyticity of the dimension spectrum.

We build a Shannon orbit equivalence between the universal odometer and a variety of rank-one systems. This is done in a unified manner using what we call flexible classes of rank-one transformations. Our main result is that every flexible class contains an element which is Shannon orbit equivalent to the universal odometer. Since a typical example of flexible class is $\{T\}$ when T is an odometer, our work generalizes a recent result by Kerr and Li, stating that every odometer is Shannon orbit equivalent to the universal odometer. When the flexible class is a singleton, the rank-one transformation given by the main result is explicit. This applies to odometers and Chacon’s map. We also prove that strongly mixing systems, systems with a given eigenvalue, or irrational rotations whose angle belongs to any fixed non-empty open subset of the real line form flexible classes. In particular, strong mixing, rationality or irrationality of the eigenvalues are not preserved under Shannon orbit equivalence.

Let G be a torsion-free, finitely generated, nilpotent and metabelian group. In this work, we show that G embeds into the group of orientation-preserving $C^{1+\alpha }$-diffeomorphisms of the compact interval for all $\alpha < 1/k$, where k is the torsion-free rank of $G/A$ and A is a maximal abelian subgroup. We show that, in many situations, the corresponding $1/k$ is critical in the sense that there is no embedding of G with higher regularity. A particularly nice family where this happens is the family of $(2n+1)$-dimensional Heisenberg groups, for which we can show that the critical regularity is equal to $1+1/n$.

We study piecewise injective, but not necessarily globally injective, contracting maps on a compact subset of ${\mathbb R}^d$. We prove that, generically, the attractor and the set of discontinuities of such a map are disjoint, and hence the attractor consists of periodic orbits. In addition, we prove that piecewise injective contractions are generically topologically stable.

Let G be a connected semisimple real algebraic group. For a Zariski dense Anosov subgroup $\Gamma <G$ with respect to a parabolic subgroup $P_\theta $, we prove that any $\Gamma $-Patterson–Sullivan measure charges no mass on any proper subvariety of $G/P_\theta $. More generally, we prove that for a Zariski dense $\theta $-transverse subgroup $\Gamma <G$, any $(\Gamma , \psi )$-Patterson–Sullivan measure charges no mass on any proper subvariety of $G/P_\theta $, provided the $\psi $-Poincaré series of $\Gamma $ diverges at its abscissa of convergence. In particular, our result also applies to relatively Anosov subgroups.

We prove the convergence of moments of the number of directions of affine lattice vectors that fall into a small disc, under natural Diophantine conditions on the shift. Furthermore, we show that the pair correlation function is Poissonian for any irrational shift in dimension 3 and higher, including well-approximable vectors. Convergence in distribution was already proved in the work of Strömbergsson and the second author [The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems. Ann. of Math. (2) 172 (2010), 1949–2033], and the principal step in the extension to convergence of moments is an escape of mass estimate for averages over embedded $\operatorname {SL}(d,\mathbb {R})$-horospheres in the space of affine lattices.

We extend previously known two-dimensional multiplication tiling systems that simulate multiplication by two natural numbers p and q in base $pq$ to higher dimensional multiplication tessellation systems. We develop the theory of these systems and link different multiplication tessellation systems with each other via macrotile operations that glue cubes in one tessellation system into larger cubes of another tessellation system. The macrotile operations yield topological conjugacies and factor maps between cellular automata performing multiplication by positive numbers in various bases.

For $ \beta>1 $, let $ T_\beta $ be the $\beta $-transformation on $ [0,1) $. Let $ \beta _1,\ldots ,\beta _d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define

$$ \begin{align*}W(\mathcal P)=\{\mathbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_d})^n(\mathbf{x})\in P_n\text{ infinitely often}\}.\end{align*} $$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}}$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}} W(\mathcal P)$

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

In this paper, we prove a cocycle version of marked length spectrum rigidity. There are two consequences: the first one is marked length pattern rigidity for arithmetic hyperbolic locally symmetric manifolds, and the second one is a strengthened marked length spectrum rigidity for surfaces and closed locally symmetric manifolds.

Let $(X,\mathcal {B},\mu ,T)$ be a probability-preserving system with X compact and T a homeomorphism. We show that if every point in $X\times X$ is two-sided recurrent, then $h_{\mu }(T)=0$, resolving a problem of Benjamin Weiss, and that if $h_{\mu }(T)=\infty $, then every full-measure set in X contains mean-asymptotic pairs (that is, the associated process is not tight), resolving a problem of Ornstein and Weiss.

Let $f(z)=z^2+c$ be an infinitely renormalizable quadratic polynomial and $J_\infty $ be the intersection of forward orbits of ‘small’ Julia sets of its simple renormalizations. We prove that if f admits an infinite sequence of satellite renormalizations, then every invariant measure of $f: J_\infty \to J_\infty $ is supported on the postcritical set and has zero Lyapunov exponent. Coupled with [13], this implies that the Lyapunov exponent of such f at c is equal to zero, which partly answers a question posed by Weixiao Shen.

We present a streamlined proof of a result essentially presented by the author in [Some counterexamples in topological dynamics. Ergod. Th. & Dynam. Sys. 28(4) (2008), 1291–1322], namely that for every set $S = \{s_1, s_2, \ldots \} \subset \mathbb {N}$ of zero Banach density and finite set A, there exists a minimal zero-entropy subshift $(X, \sigma )$ so that for every sequence $u \in A^{\mathbb {Z}}$, there is $x_u \in X$ with $x_u(s_n) = u(n)$ for all $n \in \mathbb {N}$. Informally, minimal deterministic sequences can achieve completely arbitrary behavior upon restriction to a set of zero Banach density. As a corollary, this provides counterexamples to the polynomial Sarnak conjecture reported by Eisner [A polynomial version of Sarnak’s conjecture. C. R. Math. Acad. Sci. Paris 353(7) (2015), 569–572] which are significantly more general than some recently provided by Kanigowski, Lemańczyk and Radziwiłł [Prime number theorem for analytic skew products. Ann. of Math. (2) 199 (2024), 591–705] and by Lian and Shi [A counter-example for polynomial version of Sarnak’s conjecture. Adv. Math. 384 (2021), Paper no. 107765] and shows that no similar result can hold under only the assumptions of minimality and zero entropy.

We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk [A homology theory for étale groupoids. J. Reine Angew. Math. 521 (2000), 25–46], with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for principal groupoids whose orbits are copies of an Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

For a class of robustly transitive diffeomorphisms on ${\mathbb T}^4$ introduced by Shub [Topologically transitive diffeomorphisms of $T^4$. Proceedings of the Symposium on Differential Equations and Dynamical Systems (Lecture notes in Mathematics, 206). Ed. D. Chillingworth. Springer, Berlin, 1971, pp. 39–40], satisfying an additional bunching condition, we show that there exists a $C^2$ open and $C^r$ dense subset ${\mathcal U}^r$, $2\leq r\leq \infty $, such that any two hyperbolic points of $g\in {\mathcal U}^r$ with stable index $2$ are homoclinically related. As a consequence, every $g\in {\mathcal U}^r$ admits a unique homoclinic class associated to the hyperbolic periodic points with index $2$, and this homoclinic class coincides with the whole ambient manifold. Moreover, every $g\in {\mathcal U}^r$ admits at most one measure of maximal entropy, and every $g\in {\mathcal U}^{\infty }$ admits a unique measure of maximal entropy.

Let A be a rational function of one complex variable of degree at least two, and $z_0$ its repelling fixed point with the multiplier $\unicode{x3bb} .$ A Poincaré function associated with $z_0$ is a function meromorphic on ${\mathbb C}$ such that , and In this paper, we study the following problem: given Poincaré functions and , find out if there is an algebraic relation between them and, if such a relation exists, describe the corresponding algebraic curve $f(x,y)=0.$ We provide a solution, which can be viewed as a refinement of the classical theorem of Ritt about commuting rational functions. We also reprove and extend previous results concerning algebraic dependencies between Böttcher functions.

We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular, this proves the existence of invariant curves for piecewise isometries, reminiscent of Kolmogorov–Arnold–Moser (KAM) curves for area-preserving maps, which are not unions of circle arcs or line segments.

We prove that every genuinely partially hyperbolic $\mathbb {Z}^r$-action by toral automorphisms can be perturbed in $C^1$-topology, so that the resulting action is continuously conjugate, but not $C^1$-conjugate, to the original one.

Due to a result by Glasner and Downarowicz [Isomorphic extensions and applications. Topol. Methods Nonlinear Anal. 48(1) (2016), 321–338], it is known that a minimal system is mean equicontinuous if and only if it is an isomorphic extension of its maximal equicontinuous factor. The majority of known examples of this type are almost automorphic, that is, the factor map to the maximal equicontinuous factor is almost one-to-one. The only cases of isomorphic extensions which are not almost automorphic are again due to Glasner and Downarowicz, who in the same article provide a construction of such systems in a rather general topological setting. Here, we use the Anosov–Katok method to provide an alternative route to such examples and to show that these may be realized as smooth skew product diffeomorphisms of the two-torus with an irrational rotation on the base. Moreover – and more importantly – a modification of the construction allows to ensure that lifts of these diffeomorphisms to finite covering spaces provide novel examples of finite-to-one topomorphic extensions of irrational rotations. These are still strictly ergodic and share the same dynamical eigenvalues as the original system, but show an additional singular continuous component of the dynamical spectrum.