Currently, there is great renewed interest in proving the topological transitivity of various classes of continuous dynamical systems. Even though this is one of the most basic dynamical properties that can be investigated, the tools used by various authors are quite diverse and are strongly related to the class of dynamical systems under consideration. The goal of this review article is to present the state of the art for the class of Hölder extensions of hyperbolic systems with non-compact connected Lie group fiber. The hyperbolic systems we consider are mostly discrete time. In particular, we address the stability and genericity of topological transitivity in large classes of such transformations. The paper lists several open problems and conjectures and tries to place this topic of research in the general context of hyperbolic and topological dynamics.
stable topological transitivity; hyperbolic system; Anosov diffeomorphism; extension with Lie group fiber
A dynamical system is a continuous map f of a topological space X. We emphasize that in this paper, X will be mostly a non-compact set and f will be invertible. Given a dynamical system , a basic property that one may study is topological transitivity, that is the existence of a dense forward orbit . If X is locally compact separable without isolated points, then is topologically transitive if and only if for any non-empty open subsets , there exists , such that . The topological spaces that we will work with, Riemannian manifolds and phase spaces of shifts of the finite type, satisfy these conditions. Let us observe that other, sometimes equivalent with ours, definitions are introduced in the literature for topological transitivity. One may refer to the survey papers of Blanchard  or Kolyada-Snoha  for a more in-depth discussion and other definitions/interpretations of topological transitivity. This notion is also closely related to the notion of topological chaos introduced by Devaney . The original definition of topological chaos given by Devaney, in addition to topological transitivity, requires the existence of a dense set of periodic points and the sensitive dependence of initial data for the dynamical system. It was later shown by Banks et al.  that the sensitivity of the initial data is a consequence of the other two conditions.
Various examples of topological transitive transformations are constructed in the literature. In some respects, topological transitivity is the topological counterpart of ergodicity. We recall that a probability measure μ on a measurable space X is ergodic with respect to a measurable map if and only if the only f-invariant subsets, up to subsets of measure zero, are X and the empty set. If X is compact topological space and the continuous map f has an invariant Borel probability measure μ, which is positive on open sets, then topological transitivity is implied by ergodicity. It was shown by Oxtoby and Ulam  that ergodicity is a residual property, in the set of homeomorphisms of a manifold X of dimension at least two, if μ is a nonatomic measure of full support with . We recall that a residual property for a complete metric space is one that is valid for a second Baire category subset.
Examples of topological transitive transformations of the plane are constructed by Besicovitch [6,7] and Shnirelman . Their work was generalized by Sidorov , who constructed topological transitive extensions of a topologically transitive map with fiber an arbitrary Banach space.
The class of hyperbolic dynamical systems, introduced in the 1960s–1970s by Anosov and Sinai  in the USSR and by Bowen  and Smale  in the USA, provides many examples of ergodic and, in particular, topologically transitive transformations. Hyperbolic systems have a splitting of the tangent bundle into two invariant subbundles, one contracting and one expanding. These bundles are integrable into stable/unstable foliations. A standard reference for the theory of hyperbolic dynamical systems is the monograph of Katok and Hasselblatt . During our exposition, we will assume as known or already defined many standard notions discussed there. Similar techniques can be applied to continuous dynamical systems, such as hyperbolic flows. Building on an argument of Hopf , who proved the ergodicity of the geodesic flow of a surface of negative curvature, Anosov  proved the ergodicity of the geodesic flow of any manifold of negative curvature. A key ingredient of the proof is the existence of invariant stable and unstable foliations for the geodesic flow. These foliations are, in general, only transversally Hölder, but exhibit the absolute continuity of the holonomy maps; this allows the Hopf argument to be carried out.
Partially hyperbolic diffeomorphisms were introduced in the 1980s by Brin and Pesin  as a generalization of hyperbolic diffeomorphisms. Partially hyperbolic diffeomorphisms have a splitting of the tangent bundle into three invariant subbundles, one contracting, one expanding and one, called the center bundle, for which the expansion/contraction is in-between. The contracting and expanding subbundles are always integrable into stable/unstable foliations. It was expected that, in the presence of a smooth invariant volume, ergodicity with respect to the volume measure should be true for many of these transformations. Brin and Pesin  proved ergodicity under the assumptions that the stable/unstable foliations are smooth and form an accessible pair, that is, one can travel from any point in the manifold to any other point in the manifold via a path built out of segments sitting inside stable/unstable leaves. The argument was carried forward by Grayson, Pugh and Shub , Pugh and Shub  and Burns and Wilkinson . The state of the art in this direction is that the accessibility of the pair of stable/unstable foliations implies ergodicity. Nevertheless, accessibility turned out to be difficult to prove. Some progress was done in the case of a one-dimensional center subbundle; see, e.g., . Hertz  proved the stable ergodicity of certain linear automorphisms of the torus. Furthermore, Dolgopyat and Wilkinson  proved that stable accessibility is dense in the -topology for the class of volume preserving partially hyperbolic diffeomorphisms. Pugh and Shub conjectured that in and even topology, accessibility is open and dense.
If the invariant volume does not exist, then even in the presence of partial hyperbolicity, different tools are needed in order to study topological transitivity. Given a dynamical system , a point is called recurrent if for any neighborhood U of x, there exists a positive integer , such that . In particular, any periodic point is recurrent. Brin  proved that a diffeomorphism that has an accessible pair of stable/unstable foliations and a dense set of recurrent points is topologically transitive. This result has, nevertheless, limited applicability due to the difficulty of proving the accessibility and density of recurrent points. In particular, it is difficult to exhibit a dense set of periodic points for such transformations. Open sets of transitive partially hyperbolic diffeomorphisms are found by Bonatti and Diaz , building on previous examples found by Shub .
A robust obstruction to topological transitivity is the existence of a trapping region, i.e., a non-empty open proper subset , such that . When this obstruction does not occur, it follows from the work of Bonatti and Crovisier  that a generic diffeomorphism of a compact Riemannian manifold is topologically transitive. This result relies on the Pugh-Hayashi [27,28,29] closing lemma, and it is not available beyond the category.
Another direction currently pursued in the literature is that of linear topological chaos, that is, the study of topological chaos for infinite dimensional continuous linear operators . The techniques employed in linear topological chaos are quite different from those employed in the study of hyperbolic dynamical systems and will not be discussed in this review.
In the rest of this review paper, we summarize the results about the topological transitivity for various classes of non-compact Lie group extensions of hyperbolic systems. These classes of dynamical systems can be thought of as thin classes of partially hyperbolic systems.
2. Lie Group Extensions of Hyperbolic Systems: Basic Definitions and the Main Conjecture
Consider a continuous transformation , a Lie group Γ and a continuous map called a cocycle. These determine a skew product, or Γ-extension,
It is assumed throughout the rest of the paper that X is a hyperbolic basic set. Of interest to us is whether non-compact Lie group extensions of a hyperbolic basic set are typically topologically transitive.
Let be a smooth manifold endowed with a Riemannian metric. Let be a smooth diffeomorphism and a compact and f-invariant subset of M. We say that X is hyperbolic if there exists a continuous -invariant splitting of the tangent bundle and constants , such that for all and , we have:
If X coincides with M, then f is called hyperbolic, or Anosov, diffeomorphism.
We say that X is locally maximal if there exists an open neighborhood U of X, such that every compact f-invariant set of U is contained in X. A locally maximal hyperbolic set X is a basic set for if is transitive and X does not consist of a single periodic orbit.
We present some motivation for the study of Lie group extensions of hyperbolic systems. These transformations have many common properties with partially hyperbolic diffeomorphisms. If the fiber is a compact connected Lie group, the cocycle β is at least and the hyperbolic basic set is an Anosov diffeomorphism, then the extension is a partially hyperbolic diffeomorphism. In general, we will see that if a certain bunching condition for the center direction holds, then has stable and unstable foliations. If the Lie group Γ is not compact, the extension acts on a space that does not support an invariant probability measure. Thus, the class of non-compact Lie group extensions can be considered as a test bed for the more general class of partially hyperbolic diffeomorphisms that do not have a nice invariant probability measure.
Given a connected Lie group Γ and a cocycle , we consider the Γ-extension . We say that the cocycle β is topologically transitive (for brevity, transitive,) if the corresponding skew product is transitive.
Let be the Lie algebra of Γ. We denote by the identity element of Γ. Let Ad denote the adjoint representation of Γ on . Let be a norm on . There is a metric d on Γ with the following properties (see Pollicott and Walkden ):
for any .
Let be a map and a cocycle. For , we write , where:
(occasionally, we use the last formula to keep notation simple; its meaning is the ordered product given by the middle expression).
If Q is a trajectory of f of length k (i.e., for some x), then we define the height of β over Q to be . In particular, if x is a periodic point of period ℓ, then the height of the corresponding periodic orbit P is .
By abuse of notation, we often refer to “the periodic orbit P” instead of “the orbit of the periodic point x” when x is clear from the context.
Given a cocycle over , define to be:
For f fixed, we say that the cocycle β has subexponential growth if .
The subexponential growth condition is automatically satisfied for any cocycle if the group Γ is compact, nilpotent or a semidirect product of compact and nilpotent. This follows from the well-known result that nilpotent Lie groups have polynomial growth .
Recall the definition of cohomology:
Let Γ be a topological group. If are continuous functions and is a continuous map, then are called cohomologous (over f) if there exists a continuous map , such that:
In , we proposed a general conjecture about topological transitivity in the class of Hölder cocycles. We start by observing that if the cocycle β takes values in a proper closed sub-semigroup S of the fiber Γ, then obviously is not transitive. An example is the group with sub-semigroup S consisting of the set of non-negative numbers. As , we can construct open sets of nontransitive -extensions. Another example is the group with sub-semigroup S consisting of matrices with non-negative entries. Since , again we can construct open sets of nontransitive -extensions.
Our conjecture is that this situation is the only essential obstruction to transitivity.
(Main Conjecture). Assume that X is a hyperbolic basic set for and Γ is a finite-dimensional connected Lie group. Among the Hölder cocycles with subexponential growth that are not cohomologous to a cocycle with values in a maximal sub-semigroup of Γ with a non-empty interior, there is a Hölder open and dense set for which the extension is transitive.
3. Statements of Available Results
The conjecture is proven for various classes of Lie groups. The techniques used so far are quite diverse and seem to depend heavily on the particular properties of the group that appears in the fiber.
3.1. Γ Compact Connected Lie Group
We start by observing that in this case, closed sub-semigroups coincide with closed subgroups and that there are no proper sub-semigroups with a nonempty interior. It was proven by Brin  that if the fiber Γ is a compact connected Lie group, then topologically transitive extensions of a transitive Anosov diffeomorphism contain a set that is open and dense in the -topology. An extension of Brin’s general transitivity result is obtained in [34,35], in which accessibility is replaced by ϵ-accessibility for any . This improvement allows one to consider extensions with a disconnected base, such as subshifts of the finite type.
As observed in , Brin’s result also holds in the Hölder topology. In fact, over an Anosov diffeomorphism, for any , the cocycles that are transitive contain a Hölder-open (meaning -open for any , ) and -dense set, and this result generalizes to extensions of a hyperbolic attractor. The latter result does not hold for extensions of general hyperbolic basic sets when (in particular, the result is false if is topologically conjugate to a subshift of finite type and Γ is a torus: the interior of the transitive -cocycles contains no cocycle of higher smoothness). However, for compact group extensions of general hyperbolic basic sets, Field et al.  proved that the transitive extensions contain a set that is: (i) Hölder open and dense (proving the Main Conjecture 1); and (ii) -open, -dense for all . See, also, [37,38,39].
Burns and Wilkinson  generalized Brin’s result by showing the stability of the ergodicity of the extensions with compact fiber for perturbations in the class of diffeomorphisms.
In this case, the maximal sub-semigroups with non-empty interior are the half-spaces whose bounding hyperplane contains the origin. Hence, stable transitivity is certainly not a generic property of -extensions. However, there are no further obstructions. We recall that a continuous map f of a topological space X is called weakly topologically mixing if is topologically transitive. We can associate with each periodic orbit a height . We denote by the collection of all heights over the closed orbits of f.
Nitica and Pollicott  proved the following result:
Let X be an infranilmanifold, an Anosov diffeomorphism and a Hölder cocycle. Then, the following are equivalent:
the cocycle β is not cohomologous to a cocycle that takes values in a half-space;
the set is not separated by any hyperplane passing through the origin;
the extension is transitive;
the extension is -stably transitive;
the extension is weakly mixing;
the extension is -stably weakly mixing;
for any direction in , there exist orbits of that are unbounded in the positive sense and orbits that are unbounded in the negative sense (i.e., , , , such that and ).
We note that, due to a result of Bousch , one can check if a cocycle β is cohomologous to one that takes values in a half-space by looking at the periodic data .
Therefore, one has a complete dichotomy for an -extension over an infranil Anosov diffeomorphism: either it is transitive (and, hence, stably transitive), or β is cohomologous to a cocycle with values in such a half-space. Moreover, the transitive Hölder -extensions are actually -stably transitive, that is, if is -close enough to β and is transitive, then is transitive.
A crucial ingredient in the proof of Theorem 1 is that the induced map in the first Čech cohomology groups does not have one as an eigenvalue. This is known to be the case for an Anosov diffeomorphism of an infranilmanifold, and it is an important open question as to whether this is the case for all Anosov diffeomorphisms (cf. ) (indeed, it is an open question as to whether there are Anosov diffeomorphisms on spaces other than infranilmanifolds).
Moss and Walkden  replace the condition about the induced map in cohomology by the weaker condition that the first Čech cohomology group has finite rank, where X is a hyperbolic basic set. Moreover, the action in the base is extended to hyperbolic flows. Their proof gives an explicit and global description of the set of functions β that give rise to transitive skew-products in terms of the cohomology of the hyperbolic basic set X.
We recall that a continuous map f of a topological space X is called topologically mixing if for any open subsets , there exists a positive integer N, such that for any . The following problem seems to be open.
Find a topologically mixing -extension of an Anosov diffeomorphism.
For general hyperbolic basic sets, transitive -extensions need not be stably transitive. However, let S denote the set of cocycles that are not cohomologous to a cocycle with values in a half-space. For cocycles in S, Field et al.  proved a result identical to that stated above for compact group extensions. Again this proves the Main Conjecture 1 for -extensions. Similar results hold for general Abelian finite-dimensional Lie groups , where is a d-dimensional torus.
3.3. Γ Is a Euclidean-Type Group
An important test case of a Euclidean-type group is the special Euclidean group, which is the semidirect product with the action of on given by the usual matrix multiplication. In this case, it is easy to see that there are no proper sub-semigroups with non-empty interior. It is shown in [33,45,46] that when n is even, the set of cocycles that are transitive is Hölder-open and -dense, thus solving the conjecture in this case. The conjecture remains open for odd. The difference between the case n odd and n even is due to the different behavior of a generic element in Γ: if n is even, then for a residual set of elements in Γ, the closure of the semigroup generated by an element is a compact subgroup of Γ; if n is odd, then for a residual set of elements in Γ, the closure of the semigroup generated by an element is an unbounded subset of Γ.
For , find a -stable transitive -extension of an Anosov diffeomorphism.
In this direction, we show in  that for -extensions, odd, the transitivity is generic.
Let X be a basic hyperbolic set for . Let , and let be odd. Amongst the cocycles , the transitive cocycles form a residual set.
More generally, one may consider Euclidean-type groups of the form , where G is a compact connected Lie group acting linearly (and orthogonally) on , and the group multiplication is given by:
Let . Set to be the projection onto the -component and then orthogonal projection onto . If , then there is an obvious obstruction to transitivity, namely that takes values in a half-space. More generally, if is cohomologous to a cocycle with values in a half space, then is not transitive. This is the only obstruction in generalizing Theorem 2 to general Euclidean-type groups.
Let X be a basic hyperbolic set for , and let be a Euclidean-type group. Let . Define to be the space of cocycles for which is not cohomologous to a cocycle with values in a half-space.
Then, is an open subset of the space of cocycles, and the transitive cocycles form a residual subset of .
(1) If , then there is no obstruction to transitivity, so Theorem 2 is a special case of Theorem 3.
(2) By a standard argument, the set of transitive cocycles can be written as a countable intersection of -open sets. We include the argument below. Hence, it suffices to prove the density in Theorems 2 and 3.
Choose a countable basis of the topology on and denote by the cocycles for which there is a positive integer n, such that . Each set is clearly -open, and f is transitive if and only if β is in each of the sets .
3.4. Γ Is a Nilpotent Lie Group
For , let denote the group consisting of matrices of the form:
where and is the n-dimensional identity matrix.
(1) We can identify with endowed with the multiplication:
(2) is the standard three-dimensional Heisenberg group.
The center of is . Denote . If is a cocycle, denote by the corresponding quotient cocycle. There is an obvious obstruction to transitivity, namely that takes values in a half-space bounded by a hyperplane passing through the origin (for brevity, call this a half-space from now on). More generally, if is cohomologous to a cocycle with values in a half-space, then is not transitive.
If , let be the set of cocycles for which is not cohomologous to a cocycle with values in a half-space. The main result in , improving on a weaker result showing only genericity and proven in , is:
([48, Theorem 1.4]). Assume that X is a hyperbolic basic set for . Let . Then contains a dense and open set of transitive cocycles.
More precisely, we prove:
([48, Theorem 1.5]). Let X be a hyperbolic basic set for and a Hölder cocycle. If is transitive, then so is β.
([48, Theorem 1.6]). For , there is an open and dense set in consisting of transitive cocycles.
A new technical tool needed in the proof of Theorem 4, which is of independent interest, is a diophantine approximation result, which shows the existence of an infinite set of approximate positive integer solutions for a diophantine system of equations consisting of a quadratic indefinite form and several linear equations, provided exact solutions exist over . The set of approximate solutions can be chosen to point in a certain direction; this direction can be chosen from a residual subset of full measure of the set of real directions solving exactly the system of equations.
([48, Theorem 6.2]). For , assume given in a (homogeneous) quadratic form Q and k (homogeneous) linear forms , such that is indefinite.
Assume that . Then, for a residual, full measure set (in the induced topology/Lebesgue measure) of vectors in:
for any , there are , such that:
with a constant determined by the linear forms.
There is a class of nilpotent groups, analogous to the Heisenberg groups, but with a compact center, for which we obtain stronger results and for which the proofs are much simpler.
The normal subgroup of generated by is isomorphic to . Denote by the quotient . The center of is ; let .
If is a cocycle, denote by the corresponding quotient cocycle. For , let be the set of cocycles for which is not cohomologous to a cocycle with values in a half-space.
(, Theorem 1.5). Assume that X is a basic hyperbolic set for . Let , . Then, there is an open and dense set of transitive cocycles in .
3.5. Γ Is a Compact and Nilpotent Semidirect Product
A connected Lie group Γ is called a good semidirect product if it is a semidirect product , where N is a nilpotent Lie group, K is a compact Lie group and, in addition, if T is a maximal torus in K; the only element of N fixed under conjugation by T is the identity.
A connected Lie group Γ is perfect if its commutator subgroup coincides with Γ.
([50, Theorem 1.1]). Assume that X is a hyperbolic basic set for . Let be a good semidirect product that is perfect. Then, in the class of -cocycles , , the transitive ones contain an open and dense set.
We describe next a large class of Lie groups that satisfy the assumptions in Theorem 9.
Let be or . Let n be a positive integer, and let , where are also positive integers. Define to be the subgroup of , which consists of all block matrices:
the block is an arbitrary matrix in the orthogonal group (respectively, the unitary group , ;
the block is an arbitrary matrix in , for , ,
the blocks below the diagonal are zero.
For , the partition gives the special Euclidean group .
([50, Theorem 1.2]). Let be or . Let be an integer and a partition of n, where are even integers, all greater or equal to four, except possibly for a single occurrence of one. Then, is a good semidirect product, which is perfect.
If , for some , and if there is no more than one one among the ’s, then the group is a good semidirect product that is not perfect. If there are at least two ones among the ’s, then the group is not a good semidirect product. With the exception of the case , solved in  using results about extensions with Abelian fiber, Theorem 10 leaves open the transitivity conjecture for these cases.
If Γ is a topological group, we call compact if the closure of the subgroup generated by g is compact. We denote by the set of compact elements in Γ.
The proof of Theorem 9 is based on the existence of an open dense set of compact elements in Γ. It is shown in  that if a connected Lie subgroup H of contains an open neighborhood of the identity in which compact elements are dense and is maximal with this property, then H is conjugate to a group . This remark shows the optimality of our results and the limitations of the method. In order to solve Problem 3, one needs to develop new techniques.
3.6. Γ Is a Non-Compact Semisimple Lie Group
The conjecture is not verified for any non-compact semisimple Lie group. Nevertheless, for and, more generally, for , open sets of transitive extensions are constructed in . Here is a brief description of the construction. One uses the existence of compact elements in Γ that are stably compact under small perturbations. No such elements are known in or many other non-compact semisimple Lie groups. These compact elements can be chosen arbitrarily close to the identity. We start with the identity cocycle β. After a small perturbation, we can arrange for the height of β over the orbit of a fixed periodic point to be a stably compact element. Using the method described in Section 4, this allows one to construct a set of generators for Γ in the range (defined in Section 4) that are close to the identity. The generating property is stable under small perturbations due to a classical result of Kuranishi . In conjunction with Theorem 11 in Section 4, this gives a stably transitive extension with fiber .
The following problem is left open:
For , find a -stable transitive -extension of an Anosov diffeomorphism.
4. Criterion for Transitivity
In order to prove the topological transitivity of extensions with non-compact fiber, sometimes we are able to use the methods developed by Brin in the proof of his general result mentioned in the Introduction. This is due to the existence of the pair of stable/unstable foliations for the extension and the fact that generic accessibility for the pair is easy to prove in some cases. The difficult part is to show the density of recurrent points. The compact factors in Γ are sometimes easy to accommodate, due to the existence of compact elements. See  for the case of and with K compact.
We denote by and the stable and unstable leaves of the hyperbolic dynamical system f through the point . The next lemma is a consequence of [20, Appendix A]. Detailed proofs can be found in .
Assume that X is a hyperbolic basic set for , that Γ is a connected Lie group and an α-Hölder cocycle that has subexponential growth. Then, the Γ-extension admits stable and unstable foliations, which are α-Hölder and invariant under right multiplication by elements of Γ. The stable and unstable leaves of through are the graphs of the functions:
These functions are α-Hölder and vary continuously with the cocycle β in the following sense: if in the -topology and remains -bounded, then and on in the -topology.
We call the values of the functions holonomies along stable/unstable leaves.
A new criterion for topological transitivity applicable to extensions was developed in . One of the key notions introduced in  is:
Let Γ be a connected Lie group, X a basic hyperbolic set for , a cocycle and the skew-extension. Given , let:
We will refer to as the range of β over x.
That is, the set consists of the possible limits , subject to and . Note that we do not require that or that . Clearly, is a closed subset of Γ.
The following theorem is [33, Lemma 3.1, Theorem 3.3].
Assume that X is a hyperbolic basic set for , that Γ is a connected Lie group and a Hölder cocycle that has subexponential growth. Then:
is a closed semigroup of Γ for each .
If there exists a point , such that , then β is a transitive cocycle.
The following lemma is [33, Lemma 2.2]. Briefly, it says that the heights of over two nearby trajectories in the base are close, independent of the lengths of the trajectories. This result is used in the constructions of elements in .
Assume that X is a hyperbolic basic set for , that Γ is a connected Lie group and an α-Hölder cocycle that has subexponential growth. Then, there is a constant with the following property.
For any sufficiently small, any and any two trajectories , such that for ,
5. Admissible Sequences of Products of Holonomies
We observe that a priori, the set introduced in the previous section may be empty. In this section, we describe a method for obtaining elements in . We follow closely .
Throughout this section, is a Riemannian manifold, is a basic hyperbolic set for with contraction constant satisfying Equation (1), Γ a connected Lie group and an α-Hölder cocycle that has subexponential growth.
By a periodic heteroclinic cycle, we mean a cycle consisting of points that are periodic for the map f, have disjoint trajectories, such that is transverse heteroclinic to through a point , for (where ).
Let be the corresponding periodic orbits and denote the periods by . Denote by the heteroclinic trajectory from to (of the point chosen above), and by the holonomy along this heteroclinic connection (that is, along from to and then along from to ).
Replace the heteroclinic orbit from to by the trajectory of length that spends time in the first half of and time in the second half of ; that is, ). For the trajectory connecting to , we allow and to be distinct. The positive integers will be chosen later.
Consider the heights and over the periodic orbits and trajectories .
For , the limit:
exists and is the product of the holonomies along the unstable and stable leaves of , from to .
This follows from Lemma 1. ☐
Consider a sequence of vectors whose entries are positive integers. Write . The sequence is admissible if there is a constant , such that , for all and all .
If is a sequence, we write if for .
Let . Define:
If the limit exists along an admissible sequence , then .
In the remainder of this section, we prove Theorem 12. From now on, we assume for notational simplicity that are fixed points (so, ).
Given , define:
Note that for an admissible sequence N, we have . Define:
By Lemma 3, (independent of the sequence N). Moreover, by [20, proof of Theorem 4.3(g)], there is , such that:
Recall that is a trajectory of length that shadows the heteroclinic connection from to . Concatenate these trajectories to form a periodic pseudo-orbit of length . Then, Q is a δ-pseudo-orbit with , where is a constant (depending on ) and λ is the contraction constant. By the hyperbolicity of X, there is a periodic orbit of length that ϵ-shadows Q with , where is a constant. See [54, page 74] for standard shadowing techniques.
along admissible sequences N.
along admissible sequences N.
Part (1) is a direct calculation, namely:
Next, write where has length . Define , . Note that and have a length of at most and that ϵ-shadows with . It follows from Lemma 2 that where . Hence, using the properties of the metric on Γ and the fact that β has subexponential growth, we have:
where can be chosen arbitrarily small and for n large enough. Restricting to admissible sequences, and are comparable, and Part (2) follows. The proof of Part (3) is similar using Equation (5). ☐
Proof of Theorem 12.
By assumption, . Hence, by Proposition 1, Part (2,3), . We conclude that by definition of .
Proving that the limit exists is challenging. The proof depends on the group that appears in the fiber. If Γ is the Heisenberg group, the components of are a quadratic and several linear polynomials. In order to extract a convergent subsequence, we need to show that a diophantine system of a quadratic and several linear equations has approximate solutions. A difficulty is that, even though we can prescribe the leading coefficients in these equations, we cannot control all of the coefficients. Lower order coefficients depend on the holonomy factors in , which are difficult to control generically. This is the place where the diophantine approximation results, such as Theorem 7, come into play.
6. Semigroup Problem
For many Lie groups Γ, it is not hard to show that, for an integer big enough, there is a large open set , such that if , then the family F generates Γ, that is the group generated by F is dense in Γ. The proof of transitivity of an extension is based on showing that the set of “heights” of β over a (periodic) point x is the whole fiber Γ. See Theorem 11. To obtain the condition , we have to prove that for a typical family that generates Γ as a group, if F is not contained in a maximal sub-semigroup with a non-empty interior, then F generates Γ as a semigroup, as well. We refer to this question as the semigroup problem. For example, if , the problem states that if a set S contains both positive and negative numbers, then the closure of the semigroup generated by S is a group.
The semigroup problem was solved for  and more generally for groups of the form , where K is a compact Lie group [33, Theorem 5.10]. It is also solved for [33, Theorem 6.8], for certain solvable groups that are semidirect products of with , such as in , and for the Heisenberg group in .
Viorel Nitica was partially supported by the Simons Foundation Grant 208729. Andrew Török was partially supported by the Simons Foundation Grant 239583.
Conflicts of Interest
The authors declare no conflict of interest.
Blanchard, F. Topological chaos: What may this mean? J. Differ. Equ. Appl.2009, 15, 23–46. [Google Scholar] [CrossRef]
Kolyada, S.; Snoha, L. Some aspects of topological transitivity—A survey. Grazer Math. Ber.1997, 334, 3–35. [Google Scholar]
Devaney, R.L. An Introduction to Chaotic Dynamical Systems, 2nd ed.; Addison-Wesley: Redwood City, CA, USA, 1989. [Google Scholar]
Banks, J.; Brooks, J.; Cairns, J.; Davis, G.; Stacey, P. On Devaney’s definition of chaos. Am. Math. Monthly1992, 99, 332–334. [Google Scholar] [CrossRef]
Oxtoby, J.; Ulam, S. Measure-preserving homeomorphisms and metrical transitivity. Ann. Math.1941, 42, 874–920. [Google Scholar] [CrossRef]
Besicovitch, A.S. A problem on topological transformation of the plane. Fund. Math.1937, 28, 61–65. [Google Scholar] [CrossRef]
Besicovitch, A.S. A problem on topological transformation of the plane II. Proc. Cambr. Phil. Soc.1951, 47, 38–45. [Google Scholar] [CrossRef]
Shnirelman, L.G. An example of a transformation of the plane. Izv. Donsk. Polytech. Inst.1930, 14, 64–74. (In Russian) [Google Scholar]
Sidorov, Ye. A. Topologically transitive cylindrical cascades. Mat. Zametki1973, 14, 441–452. (In Russian) [Google Scholar]
Anosov, D. V.; Sinai, Ja.G. Certain smooth ergodic systems. Uspehi Mat. Nauk1967, 22, 107–172. (In Russian) [Google Scholar]
Bowen, R. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms; Lecture Notes in Mathematics; Springer-Verlag: Berlin, Germany, 1975; Volume 470. [Google Scholar]
Hayashi, S. Connecting invariant manifolds and the solution of the C1-stability and Q-stability conjectures for flows. Ann. Math.1997, 145, 81–137. [Google Scholar] [CrossRef]
Hayashi, S. Corrections to: "Connecting invariant manifolds and the solution of the C1-stability and Q-stability conjectures for flows". Ann. Math.1999, 150, 353–356. [Google Scholar]
Grosse-Erdmann, K.-G.; Peris, A. Linear Chaos; Springer: Berlin, Germany, 2011. [Google Scholar]
Pollicott, M.; Walkden, C.P. Livšic theorems for connected Lie groups. Trans. Amer. Math. Soc.2001, 353, 2879–2895. [Google Scholar] [CrossRef]
Dungey, N.; ter Elst, A.F.M.; Robinson, D.W. Analysis on Lie Groups with Polynomial Growth; Progress in Mathematics; Birkhauser Boston Inc.: Boston, MA, USA, 2003. [Google Scholar]
Melbourne, I.; Nitica, V.; Török, A. Stable transitivity of certain noncompact extensions of hyperbolic systems. Ann. Henri Poincare2005, 6, 725–746. [Google Scholar] [CrossRef][Green Version]
Nitica, V. A note about topologically transitive cylindrical cascades. Isr. J. Math.2001, 126, 141–156. [Google Scholar] [CrossRef]
Nitica, V. Examples of topologically transitive skew-products. Discret. Contin. Dyn. Syst.2000, 6, 351–360. [Google Scholar] [CrossRef]
Field, M.; Melbourne, I.; Török, A. Stable ergodicity for smooth compact Lie group extensions of hyperbolic basic sets. Ergodic Theory Dyn. Syst.2005, 25, 517–551. [Google Scholar] [CrossRef][Green Version]
Field, M.; Nitica, V. Stable topological transitivity of skew and principal extensions. Nonlinearity2001, 14, 1055–1069. [Google Scholar] [CrossRef]
Field, M.; Parry, W. Stable ergodicity of skew extensions by compact Lie groups. Topology1999, 167–187. [Google Scholar] [CrossRef]
Parry, W.; Pollicott, M. Stability of mixing for toral extensions of hyperbolic systems. Proc. Steklov Inst. Math.1990, 216, 350–359. [Google Scholar]
Burns, K.; Wilkinson, A. Stable ergodicity of skew products. Ann. Sci. Ecole Norm. Sup.1999, 32, 859–889. [Google Scholar] [CrossRef]
Nitica, V.; Pollicott, M. Transitivity of Euclidean extensions of Anosov diffeomorphisms. Ergod. Theory Dyn. Syst.2005, 25, 257–269. [Google Scholar] [CrossRef]
Bousch, T. La condition de Walter. Ann. Sci. Ecole Norm. Sup.2001, 34, 287–311. (In French) [Google Scholar] [CrossRef]
Bowen, R. On Axiom A Diffeomorphisms; American Mathematical Society: Providence, RI, USA, 1977; Volume 35. [Google Scholar]
Moss, A.; Walkden, C.P. Stable topological transitivity properties of ℝn-extensions of hyperbolic transformations. Ergod. Theory Dyn. Syst.2012, 32, 1435–1443. [Google Scholar] [CrossRef]
Melbourne, I.; Nicol, M. Stable transitivity of Euclidean group extensions. Ergod. Theory Dyn. Syst.2003, 23, 611–619. [Google Scholar] [CrossRef]
Melbourne, I.; Nitica, V.; Török, A. A note about stable transitivity of noncompact extensions of hyperbolic systems. Discret. Contin. Dyn. Syst.2006, 14, 355–363. [Google Scholar]
Melbourne, I.; Nitica, V.; Török, A. Transitivity of Euclidean-type extensions of hyperbolic systems. Ergod. Theory Dyn. Syst.2009, 29, 1585–1602. [Google Scholar] [CrossRef]
Nitica, V.; Török, A. Stable transitivity of Heisenberg group extensions of hyperbolic systems. Nonlinearity2014, 27, 661–683. [Google Scholar] [CrossRef]
Melbourne, I.; Nitica, V.; Török, A. Transitivity of Heisenberg group extensions of hyperbolic systems. Ergod. Theory Dyn. Syst.2012, 32, 223–235. [Google Scholar] [CrossRef]
Nitica, V. Stably transitivity for extensions of hyperbolic systems by semidirect products of compact and nilpotent Lie groups. Discret. Contin. Dyn. Syst.2011, 29, 1197–1203. [Google Scholar] [CrossRef]
Djoković, D.Z. The union of compact subgroups of a connected locally compact group. Math. Z.1978, 158, 99–105. [Google Scholar] [CrossRef]
Kuranishi, M. On everywhere dense imbeddings of free groups in Lie groups. Nagoya Math. J.1951, 2, 63–71. [Google Scholar]
Katok, A.; Nitica, V. Rigidity of Abelian Group Actions. I, Introduction to Cocycle Problem; Cambridge University Press: Cambridge, UK, 2011. [Google Scholar]
Newhouse, S. Lectures on Dynamical Systems. In Dynamical Systems; Progress in Mathematics; Springer: Berlin, Germany, 1980; pp. 1–114. [Google Scholar]
Lui, K.; Nitica, V.; Venkatesh, S. The semigroup problem for central semidirect product of ℝn with ℝm. Topol. Proc.2015, 45, 9–29. [Google Scholar]