In this paper we investigate the Margulis–Ruelle inequality for general Riemannian manifolds (possibly non-compact and with a boundary) and show that it always holds under an integrable condition.

We construct an example of a Hamiltonian flow $f^t$ on a four-dimensional smooth manifold $\mathcal {M}$ which after being restricted to an energy surface $\mathcal {M}_e$ demonstrates essential coexistence of regular and chaotic dynamics, that is, there is an open and dense $f^t$ -invariant subset $U\subset \mathcal {M}_e$ such that the restriction $f^t|U$ has non-zero Lyapunov exponents in all directions (except for the direction of the flow) and is a Bernoulli flow while, on the boundary $\partial U$ , which has positive volume, all Lyapunov exponents of the system are zero.

We define a family $\mathcal {B}(t)$ of compact subsets of the unit interval which provides a filtration of the set of numbers whose continued fraction expansion has bounded digits. We study how the set $\mathcal {B}(t)$ changes as the parameter t ranges in $[0,1]$ , and see that the family undergoes period-doubling bifurcations and displays the same transition pattern from periodic to chaotic behaviour as the family of real quadratic polynomials. The set $\mathcal {E}$ of bifurcation parameters is a fractal set of measure zero and Hausdorff dimension $1$ . The Hausdorff dimension of $\mathcal {B}(t)$ varies continuously with the parameter, and we show that the dimension of each individual set equals the dimension of the corresponding section of the bifurcation set $\mathcal {E}$ .

We prove a normal form for strong magnetic fields on a closed, oriented surface and use it to derive two dynamical results for the associated flow. First, we show the existence of invariant tori and trapping regions provided a natural non-resonance condition holds. Second, we prove that the flow cannot be Zoll unless (i) the Riemannian metric has constant curvature and the magnetic function is constant, or (ii) the magnetic function vanishes and the metric is Zoll. We complement the second result by exhibiting an exotic magnetic field on a flat two-torus yielding a Zoll flow for arbitrarily weak rescalings.

We show that the ergodic integrals for the horocycle flow on the two-torus associated by Giulietti and Liverani with an Anosov diffeomorphism either grow linearly or are bounded; in other words, there are no deviations. For this, we use the topological invariance of the Artin–Mazur zeta function to exclude resonances outside the open unit disc. Transfer operators acting on suitable spaces of anisotropic distributions and their Ruelle determinants are the key tools used in the proof. As a bonus, we show that for any $C^\infty $ Anosov diffeomorphism F on the two-torus, the correlations for the measure of maximal entropy and $C^\infty $ observables decay with a rate strictly smaller than $e^{-h_{\mathrm {top}}(F)}$ . We compare our results with very recent related work of Forni.

We study projectional properties of Poisson cut-out sets E in non-Euclidean spaces. In the first Heisenbeg group \[\mathbb{H} = \mathbb{C} \times \mathbb{R}\], endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection \[\pi (E)\] (projection along the center of \[\mathbb{H}\]) almost surely equals \[\min \{ 2,{\dim _\operatorname{H} }(E)\} \] and that \[\pi (E)\] has non-empty interior if \[{\dim _{\text{H}}}(E) > 2\]. As a corollary, this allows us to determine the Hausdorff dimension of E with respect to the Euclidean metric in terms of its Heisenberg Hausdorff dimension \[{\dim _{\text{H}}}(E)\].

We also study projections in the one-point compactification of the Heisenberg group, that is, the 3-sphere \[{{\text{S}}^3}\] endowed with the visual metric d obtained by identifying \[{{\text{S}}^3}\] with the boundary of the complex hyperbolic plane. In \[{{\text{S}}^3}\], we prove a projection result that holds simultaneously for all radial projections (projections along so called “chains”). This shows that the Poisson cut-outs in \[{{\text{S}}^3}\] satisfy a strong version of the Marstrand’s projection theorem, without any exceptional directions.

Let $G(n)={\textrm {Sp}}(n,1)$ or ${\textrm {SU}}(n,1)$ . We classify conjugation orbits of generic pairs of loxodromic elements in $G(n)$ . Such pairs, called ‘nonsingular’, were introduced by Gongopadhyay and Parsad for ${\textrm {SU}}(3,1)$ . We extend this notion and classify $G(n)$ -conjugation orbits of such elements in arbitrary dimension. For $n=3$ , they give a subspace that can be parametrized using a set of coordinates whose local dimension equals the dimension of the underlying group. We further construct twist-bend parameters to glue such representations and obtain local parametrization for generic representations of the fundamental group of a closed (genus $g \geq 2$ ) oriented surface into $G(3)$ .

We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings D. We define their fixed points to be the points $\lambda \in D$ for which $f^{\circ n}(\lambda )=\lambda $ for any $n \in \mathbb {N}$ , where $f^{\circ n}(x)$ is defined recursively by $f^{\circ n}(x)=f(f^{\circ (n-1)}(x))$ and $f^{\circ 1}(x)=f(x)$ . Periodic points are similarly defined. We prove that $\lambda $ is a fixed point of $f(x)$ if and only if $f(\lambda )=\lambda $ , which enables the use of known results from the theory of polynomial equations, to conclude that any polynomial of degree $m \geq 2$ has at most m conjugacy classes of fixed points. We also show that in general, periodic points do not behave as in the commutative case. We provide a sufficient condition for periodic points to behave as expected.

The aim of this article is to apply a Floer theory to study symmetric periodic Reeb orbits. We define positive equivariant wrapped Floer homology using a (anti-)symplectic involution on a Liouville domain and investigate its algebraic properties. By a careful analysis of index iterations, we obtain a non-trivial lower bound on the minimal number of geometrically distinct symmetric periodic Reeb orbits on a certain class of real contact manifolds. This includes non-degenerate real dynamically convex star-shaped hypersurfaces in ${\mathbb {R}}^{2n}$ which are invariant under complex conjugation. As a result, we give a partial answer to the Seifert conjecture on brake orbits in the contact setting.

We consider continuous free semigroup actions generated by a family $(g_y)_{y \,\in \, Y}$ of continuous endomorphisms of a compact metric space $(X,d)$ , subject to a random walk $\mathbb P_\nu =\nu ^{\mathbb N}$ defined on a shift space $Y^{\mathbb N}$ , where $(Y, d_Y)$ is a compact metric space with finite upper box dimension and $\nu $ is a Borel probability measure on Y. With the aim of elucidating the impact of the random walk on the metric mean dimension, we prove a variational principle which relates the metric mean dimension of the semigroup action with the corresponding notions for the associated skew product and the shift map $\sigma $ on $Y^{\mathbb {N}}$ , and compare them with the upper box dimension of Y. In particular, we obtain exact formulas whenever $\nu $ is homogeneous and has full support. We also discuss several examples to enlighten the roles of the homogeneity, of the support and of the upper box dimension of the measure $\nu $ , and to test the scope of our results.

We say that a group G of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(\phi (V), W)$ takes only finitely many values as a function of G for any choice of analytic sets V and W of complementary dimension. In dimension $2$ we show that G satisfies the uniform intersection property if and only if it is finitely determined – that is, if there exists a natural number k such that different elements of G have different Taylor expansions of degree k at the origin. We also prove that G is finitely determined if and only if the action of G on the space of germs of analytic curves has discrete orbits.

In a previous paper [P. Mardešić and M. Resman. Analytic moduli for parabolic Dulac germs. Russian Math. Surveys, to appear, 2021, arXiv:1910.06129v2.] we determined analytic invariants, that is, moduli of analytic classification, for parabolic generalized Dulac germs. This class contains parabolic Dulac (almost regular) germs, which appear as first-return maps of hyperbolic polycycles. Here we solve the problem of realization of these moduli.

We prove that for $C^0$ -generic homeomorphisms, acting on a compact smooth boundaryless manifold with dimension greater than one, the upper metric mean dimension with respect to the smooth metric coincides with the dimension of the manifold. As an application, we show that the upper box dimension of the set of periodic points of a $C^0$ -generic homeomorphism is equal to the dimension of the manifold. In the case of continuous interval maps, we prove that each level set for the metric mean dimension with respect to the Euclidean distance is $C^0$ -dense in the space of continuous endomorphisms of $[0,1]$ with the uniform topology. Moreover, the maximum value is attained at a $C^0$ -generic subset of continuous interval maps and a dense subset of metrics topologically equivalent to the Euclidean distance.

We consider Hölder continuous cocycles over an accessible partially hyperbolic system with values in the group of diffeomorphisms of a compact manifold $\mathcal {M}$ . We obtain several results for this setting. If a cocycle is bounded in $C^{1+\gamma }$ , we show that it has a continuous invariant family of $\gamma $ -Hölder Riemannian metrics on $\mathcal {M}$ . We establish continuity of a measurable conjugacy between two cocycles assuming bunching or existence of holonomies for both and pre-compactness in $C^0$ for one of them. We give conditions for existence of a continuous conjugacy between two cocycles in terms of their cycle weights. We also study the relation between the conjugacy and holonomies of the cocycles. Our results give arbitrarily small loss of regularity of the conjugacy along the fiber compared to that of the holonomies and of the cocycle.

This survey describes the recent advances in the construction of Markov partitions for non-uniformly hyperbolic systems. One important feature of this development comes from a finer theory of non-uniformly hyperbolic systems, which we also describe. The Markov partition defines a symbolic extension that is finite-to-one and onto a non-uniformly hyperbolic locus, and this provides dynamical and statistical consequences such as estimates on the number of closed orbits and properties of equilibrium measures. The class of systems includes diffeomorphisms, flows, and maps with singularities.

Using open books, we prove the existence of a non-vanishing steady solution to the Euler equations for some metric in every homotopy class of non-vanishing vector fields of any odd-dimensional manifold. As a corollary, any such field can be realized in an invariant submanifold of a contact Reeb field on a sphere of high dimension. The solutions constructed are geodesible and hence of Beltrami type, and can be modified to obtain chaotic fluids. We characterize Beltrami fields in odd dimensions and show that there always exist volume-preserving Beltrami fields which are neither geodesible nor Euler flows for any metric. This contrasts with the three-dimensional case, where every volume-preserving Beltrami field is a steady Euler flow for some metric. Finally, we construct a non-vanishing Beltrami field (which is not necessarily volume-preserving) without periodic orbits in every manifold of odd dimension greater than three.

We show that if a partially hyperbolic diffeomorphism of a Seifert manifold induces a map in the base which has a pseudo-Anosov component then it cannot be dynamically coherent. This extends [C. Bonatti, A. Gogolev, A. Hammerlindl and R. Potrie. Anomalous partially hyperbolic diffeomorphisms III: Abundance and incoherence. Geom. Topol., to appear] to the whole isotopy class. We relate the techniques to the study of certain partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds performed in [T. Barthelmé, S. Fenley, S. Frankel and R. Potrie. Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, part I: The dynamically coherent case. Preprint, 2019, arXiv:1908.06227; Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, part II: Branching foliations. Preprint, 2020, arXiv: 2008.04871]. The appendix reviews some consequences of the Nielsen–Thurston classification of surface homeomorphisms for the dynamics of lifts of such maps to the universal cover.

Let $M\stackrel {\rho _0}{\curvearrowleft }S$ be a $C^\infty $ locally free action of a connected simply connected solvable Lie group S on a closed manifold M. Roughly speaking, $\rho _0$ is parameter rigid if any $C^\infty $ locally free action of S on M having the same orbits as $\rho _0$ is $C^\infty $ conjugate to $\rho _0$ . In this paper we prove two types of result on parameter rigidity.

First let G be a connected semisimple Lie group with finite center of real rank at least $2$ without compact factors nor simple factors locally isomorphic to $\mathop {\mathrm {SO}}\nolimits _0(n,1)(n\,{\geq}\, 2)$ or $\mathop {\mathrm {SU}}\nolimits (n,1)(n\geq 2)$ , and let $\Gamma $ be an irreducible cocompact lattice in G. Let $G=KAN$ be an Iwasawa decomposition. We prove that the action $\Gamma \backslash G\curvearrowleft AN$ by right multiplication is parameter rigid. One of the three main ingredients of the proof is the rigidity theorems of Pansu, and Kleiner and Leeb on the quasi-isometries of Riemannian symmetric spaces of non-compact type.

Secondly we show that if $M\stackrel {\rho _0}{\curvearrowleft }S$ is parameter rigid, then the zeroth and first cohomology of the orbit foliation of $\rho _0$ with certain coefficients must vanish. This is a partial converse to the results in the author’s [Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups. Geom. Topol. 21(1) (2017), 157–191], where we saw sufficient conditions for parameter rigidity in terms of vanishing of the first cohomology with various coefficients.

A diffeomorphism of the plane is Anosov if it has a hyperbolic splitting at every point of the plane. In addition to linear hyperbolic automorphisms, translations of the plane also carry an Anosov structure (the existence of Anosov structures for plane translations was originally shown by White). Mendes conjectured that these are the only topological conjugacy classes for Anosov diffeomorphisms in the plane. Very recently, Matsumoto gave an example of an Anosov diffeomorphism of the plane, which is a Brouwer translation but not topologically conjugate to a translation, disproving Mendes’ conjecture. In this paper we prove that Mendes’ claim holds when the Anosov diffeomorphism is the time-one map of a flow, via a theorem about foliations invariant under a time-one map. In particular, this shows that the kind of counterexample constructed by Matsumoto cannot be obtained from a flow on the plane.

We study the $L^{q}$ -spectrum of measures in the plane generated by certain nonlinear maps. In particular, we consider attractors of iterated function systems consisting of maps whose components are $C^{1+\alpha }$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^{q}$ -spectrum of Bernoulli measures supported on such sets by using an appropriately defined analogue of the singular value function and an appropriate pressure function.