Abstract
A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a closed oriented smooth n-dimensional manifold. A diffeomorphism \(f:M\rightarrow M\) is called Anosov if there exists a df-invariant splitting \(TM=E^s\oplus E^u\) of the tangent bundle of M, together with constants \(\mu \in (0,1)\) and \(C > 0\), such that for all positive integers m
The invariant distributions \(E^s\) and \(E^u\) are called the stable and unstable distributions. An Anosov diffeomorphism f is said to be of codimension k if \(E^s\) or \(E^u\) has dimension \(k \le [n/2]\), and it is called transitive if there exists a point whose orbit is dense in M.
One of the most influential conjectures in dynamics, dating back to Anosov and Smale [23], is that any Anosov diffeomorphism f of a closed manifold M is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper we prove the following:
Theorem 1.1
If M is a closed 4-manifold that carries a Thurston geometry other than \(\mathbb {R}^{4}\), \({\mathbb H}^{2}\times \mathbb {R}^{2}\) or the reducible \({\mathbb H}^{2}\times {\mathbb H}^{2}\) geometry, then M does not support transitive Anosov diffeomorphisms.
Some cases have already been studied in arbitrary dimensions, most notably the hyperbolic geometries. In many of the other cases, our proof will rely on certain properties of the fundamental groups of manifolds modeled on specific geometries. We will show existence of a degree one cohomology class \(u\in H^{1}(M;\mathbb {Z})\) that is fixed under an iterate of any diffeomorphism \(f:M\rightarrow M\). Then we will be able to exclude the possibility for f being Anosov by exploiting Hirsch’s study [10] on those cohomology classes; cf. Theorems 4.1 and 4.6. Hirsch’s work has already been applied in certain cases, such as on mapping tori of hyperbolic automorphisms of the torus of any dimension or products of such mapping tori with a torus of any dimension [10]. In dimension four, these manifolds correspond (up to finite covers) to the geometries \(Sol^{4}_0\), \(Sol^{4}_{m\ne n}\) or \(Sol^{3}\times \mathbb {R}\). Among the most interesting remaining examples include, on the one hand, manifolds with virtually infinite first Betti numbers, such as manifolds modeled on the geometry \(\widetilde{SL_2}\times \mathbb {R}\), and, on the other hand, certain polycyclic manifolds; in fact, the case of \(Nil^{3}\times \mathbb {R}\) indicates an error in the proof of [10, Theorem 9(a)]; see Remark 5.2.
We should point out that the transitivity assumption in Theorem 1.1 is mild and will only be used when M is virtually an \(S^{2}\)-bundle over an aspherical surface \(\Sigma _h\), i.e. of genus \(h\ge 1\). Franks [5] and Newhouse [18] proved that a codimension one Anosov diffeomorphism exists only on manifolds which are homeomorphic to tori. It will therefore suffice to examine the existence of codimension two Anosov diffeomorphisms. For a transitive Anosov diffeomorphism \(f:M\rightarrow M\) of codimension k, Ruelle–Sullivan [20] exhibit a cohomology class \(\alpha \in H^k(M;\mathbb {R})\) such that \(f^{*}(\alpha )=\lambda \cdot \alpha \), for some positive \(\lambda \ne 1\) (which depends on the topological entropy of f). In the light of the latter, we will rule out codimension two transitive Anosov diffeomorphisms on products of type \(S^{2}\times \Sigma _h\), where \(h\ge 1\). The non-existence of transitive Anosov diffeomorphisms on sphere bundles over surfaces is also part of a more general study of Gogolev–Rodriguez Hertz using cup products [6].
Recall that a manifold modeled on \(\mathbb {R}^{4}\) is finitely covered by the 4-torus and a manifold modeled on the \({\mathbb H}^{2}\times \mathbb {R}^{2}\) geometry or the reducible \({\mathbb H}^{2}\times {\mathbb H}^{2}\) geometry is finitely covered by the product of the 2-torus with a hyperbolic surface or the product of two hyperbolic surfaces respectively. Thus, Theorem 1.1 excludes transitive Anosov diffeomorphisms on any geometric 4-manifold which is not finitely covered by a product of surfaces \(\Sigma _g\times \Sigma _h\), where \(g,h\ge 1\). Clearly \(T^{4}=T^{2}\times T^{2}\) (i.e. when \(g=h=1\)) admits Anosov diffeomorphisms. However, the case of \(\Sigma _g\times \Sigma _h\), where at least one of g or h is \(\ge 2\), seems to be more subtle:
Problem 1.2
(Gogolev–Lafont [7, Sect. 7.2]). Does the product of two closed aspherical surfaces at least one of which is hyperbolic admit an Anosov diffeomorphism?
1.1 Outline
In Sect. 2 we enumerate the Thurston geometries in dimensions up to four and gather some preliminaries. In Sects. 3, 4 and 5 we prove Theorem 1.1.
2 Thurston geometries and finite covers
We begin our discussion by recalling the classification of the Thurston geometries in dimension four, as well as some simple general facts about Anosov diffeomorphisms and of their finite covers.
Let \({\mathbb {X}}^n\) be a complete simply connected n-dimensional Riemannian manifold. A closed manifold M carries the \({\mathbb {X}}^n\) geometry or it is an \({\mathbb {X}}^n\)-manifold in the sense of Thurston, if it is diffeomorphic to a quotient of \({\mathbb {X}}^n\) by a lattice \(\Gamma \) (the fundamental group of M) in the group of isometries \(\mathrm {Isom}({\mathbb {X}}^n)\) (acting effectively and transitively). We say that two geometries \({\mathbb {X}}^n\) and \(\mathbb {Y}^n\) are the same if there exists a diffeomorphism \(\psi :{\mathbb {X}}^n \rightarrow \mathbb {Y}^n\) and an isomorphism \(\mathrm {Isom}({\mathbb {X}}^n) \rightarrow \mathrm {Isom}(\mathbb {Y}^n)\) which maps each element \(g \in \mathrm {Isom}({\mathbb {X}}^n)\) to \(\psi \circ g \circ \psi ^{-1} \in \mathrm {Isom}(\mathbb {Y}^n)\).
In dimension one, the circle is the only closed manifold and it is a quotient of the real line \(\mathbb {R}\) by \(\mathbb {Z}\). In dimension two, a closed surface carries one of the geometries \(S^{2}\), \(\mathbb {R}^{2}\) or \({\mathbb {H}}^{2}\) and (virtually) it is respectively \(S^{2}\), \(T^{2}\) or a hyperbolic surface \(\Sigma _g\) (of genus \(g\ge 2\)). In dimension three, Thurston [24] proved that there exist eight homotopically unique geometries, namely \({\mathbb {H}}^{3}\), \(Sol^{3}\), \(\widetilde{SL_2}\), \({\mathbb {H}}^{2} \times \mathbb {R}\), \(Nil^{3}\), \(\mathbb {R}^{3}\), \(S^{2} \times \mathbb {R}\) and \(S^{3}\). In Table 1, we list the finite covers for manifolds in each of those geometries (see [1, 21, 24]), as we will use several of those properties in our proofs.
The 4-dimensional geometries were classified by Filipkiewicz in his thesis [4]. According to that classification, there are eighteen geometries with compact representatives, and an additional geometry which is not realizable by a compact 4-manifold. The list with the eighteen geometries is given in Table 2, and it is arranged so that it serves as an organising principle for the forthcoming sections. (Note that nineteen geometries appear, because \(Sol^{3}\times \mathbb {R}\) is the geometry \(Sol^{4}_{m,n}\) when \(m=n\).) The individual characteristics of each geometry needed for our proofs will be given when dealing with each geometry. As pointed out in the introduction, among the most mysterious geometries with respect to Anosov diffeomorphisms is \({\mathbb {H}}^{2}\times {\mathbb {H}}^{2}\). Manifolds modeled on this geometry are divided into the “reducible” and “irreducible” ones, and different phenomena occur depending on where they belong.
The virtual properties of geometric 4-manifolds will be used extensively in our study. We thus end this preliminary section with the following general lemmas (see [7] and [6] respectively):
Lemma 2.1
Let M be a closed manifold and \(p:\overline{M}\rightarrow M\) be a finite covering. If \(f:M\rightarrow M\) is a diffeomorphism, then there is an \(m\ge 0\) such that \(f^m\) lifts to a diffeomorphism \(\overline{f^m}:\overline{M}\rightarrow \overline{M}\), i.e. the following diagram commutes.
Lemma 2.2
If \(f:M\rightarrow M\) is a transitive Anosov diffeomorphism and there is a lift \(\overline{f}:\overline{M}\rightarrow \overline{M}\) of f for some cover \(\overline{M}\) of M, then \(\overline{f}\) is transitive.
3 Hyperbolic geometries
We now begin the proof of Theorem 1.1. We first deal with the hyperbolic geometries.
The real and complex hyperbolic geometries, \({\mathbb {H}}^{4}\) and \({\mathbb {H}}^{2}({\mathbb {C}})\) respectively, are generally among the less understood of the eighteen geometries in dimension four. However, the machinery developed for hyperbolic manifolds in general suffices to rule out Anosov diffeomorphisms on 4-manifolds carrying one of those geometries. The following theorem is now well-known to experts, but nevertheless we give a proof for the sake of completeness and in order to include some useful facts about Anosov diffeomorphisms which will be used below as well, such as properties of their Lefschetz numbers.
Theorem 3.1
([7, 25]) If M is a negatively curved manifold, then M does not support Anosov diffeomorphisms.
Proof
The first proof due to Yano [25] rules out the existence of transitive Anosov diffeomoprhisms. Let M be negatively curved and suppose \(f:M\rightarrow M\) is a transitive Anosov diffeomorphism. Since codimension one Anosov diffeomorphisms exist only on tori [5, 18], we can clearly assume that the dimension of M is at least four and the codimension k of f is at least two. By Ruelle–Sullivan [20], the transitivity assumption implies the existence of a homology class \(a\in H_l(M;\mathbb {R})\) such that \(f_*(a)=\lambda \cdot a\) for some \(\lambda >1\), where \(l=k>1\) or \(l=\dim (M)-k>1\). This means that the simplicial \(\ell ^{1}\)-semi-norm of a is zero which is impossible because M is negatively curved [8, 11].
An argument that rules out the existence of any Anosov diffeomorphism on a negatively curved manifold M of dimension \(\ge 3\) was given by Gogolev–Lafont [7], using the fact that the outer automorphism group \(\mathrm {Out}(\pi _1(M))\) is finite (the latter can be derived by combining results of Paulin [19], Bestvina–Feighn [2] and Bowditch [3]; see [7, Corollary 4.5]). The finiteness of \(\mathrm {Out}(\pi _1(M))\) and the asphericity of M (being negatively curved) implies that an iterate \(f^l\) of (a finite covering of) f induces the identity on cohomology. (One already concludes that M does not support transitive Anosov diffeomorphisms by Ruelle–Sullivan [20] or Shiraiwa [22]). Thus the Lefschetz numbers \(\Lambda \) (i.e. the sum of indices of the fixed points) of all powers of \(f^l\) are uniformly bounded, which is in contrast with the growth of periodic points of \(f^l\), because of the equation
where \(h_{top}(f)\) is the topological entropy of f and r is the number of transitive basic sets with entropy equal to \(h_{top}(f)\); see [7, Lemma 4.1] for details. \(\square \)
We immediately obtain:
Corollary 3.2
Closed 4-manifolds modeled on the geometry \({\mathbb {H}}^{4}\) or \({\mathbb {H}}^{2}(\mathbb {C})\) do not support Anosov diffeomorphisms.
Remark 3.3
As observed in [7], the finiteness of the outer automorphism group of the fundamental group of every negatively curved manifold of dimension \(\ge 3\) caries over the outer automorphism group of the fundamental group of a finite product \(M_1\times \cdots \times M_s\) of negatively curved manifolds \(M_i\) of dimensions \(\ge 3\). Thus \(M_1\times \cdots \times M_s\) does not support Anosov diffeomorphisms. However, this obstruction does not apply anymore if one of the \(M_i\) is 2-dimensional, i.e. a hyperbolic surface. In [16, Theorem 1.4 and Example 4.3] we ruled out Anosov diffeomorphisms on products of a hyperbolic surface with certain higher dimensional negatively curved manifolds. It seems that an alternative method is required in general in order to rule out Anosov diffeomorphisms on product of two surfaces at least one of which is hyperbolic (those manifolds correspond to the geometry \({\mathbb {H}}^{2}\times \mathbb {R}^{2}\) or the reducible \({\mathbb {H}}^{2}\times {\mathbb {H}}^{2}\) geometry); cf. Problem 1.2 and [7, Sect. 7.2] for further discussion.
4 Non-product, solvable and compact geometries
In this section, we deal with the geometries \(Nil^{4}\), \(Sol^{4}_{m \ne n}\), \(Sol^{4}_0\), \(Sol^{4}_1\), \(S^{4}\) and \(\mathbb {CP}^{2}\).
4.1 Solvable non-product geometries
4.1.1 The geometry \(Nil^{4}\).
Let M be a closed 4-manifold modeled on the geometry \(Nil^{4}\). Then (a finite index subgroup of) the fundamental group of M has a presentation
\(k\ge 1\), \(l\in \mathbb {Z}\), with center \(C(\pi _1(M)) = \langle z \rangle \). The quotient of \(\pi _1(M)\) by its center is given by
see [15, Prop. 6.10] and [9, Sect. 8.7] for details. We moreover observe that \(\pi _1(M)\) is an extension \(\mathbb {Z}^{3}\rtimes _\theta \mathbb {Z}=\langle z,x,t\rangle \rtimes _\theta \langle y \rangle \), where the automorphism \(\theta :\mathbb {Z}^{3}\rightarrow \mathbb {Z}^{3}\) is given by
Let \(f:M\rightarrow M\) be a diffeomorphism. Then \(f_\sharp :\pi _1(M)\rightarrow \pi _1(M)\) induces an automorphism of \(\pi _1(M)/\langle z\rangle \), because \(f_\sharp (\langle z\rangle )=\langle z\rangle \). Since \(C( \pi _1(M)/\langle z\rangle )=\langle x\rangle \), we deduce that \(f_\sharp (x)=z^nx^m\), for some \(n,m\in \mathbb {Z}\), \(m\ne 0\). Now, the relation \(txt^{-1}=x\) is mapped to \(f_\sharp (t)x^mf_\sharp (t)^{-1}=x^m\), thus, by \([x,y]=z\), the image \(f_\sharp (t)\) does not contain any powers of y. Combining all together, we conclude, using the commutative diagram
where \(h:\pi _1(M)\rightarrow H_1(M;\mathbb {Z})=\pi _1(M)/[\pi _1(M),\pi _1(M)]\) denotes the Hurewicz homomorphism, that the induced isomorphism in homology \(f_*\) maps \(\bar{t}\in H_1(M;\mathbb {Z})/{\text {Tor}}H_1(M;\mathbb {Z})\) to a multiple of itself. The induced automorphism on \(H_1(M;\mathbb {Z})/{\text {Tor}}H_1(M;\mathbb {Z})=\langle \bar{t}\rangle \times \langle \bar{y}\rangle =\mathbb {Z}\times \mathbb {Z}\) implies in fact that \(f_*(\bar{t})=\bar{t}\) and thus f cannot be Anosov by Lemma 2.1 and the following result of Hirsch:
Theorem 4.1
([10, Theorem 1]). Let \(f:M\rightarrow M\) be an Anosov diffeomorphism and a non-trivial cohomology class \(u\in H^{1}(M;\mathbb {Z})\) such that \((f^{*})^m(u)=u\), for some positive integer m. Then the infinite cyclic covering of M corresponding to u has infinite dimensional rational homology.
Remark 4.2
The infinite cyclic covering of M corresponding to u is the covering whose fundamental group is given by the kernel of the composition
where h is the Hurewitz homomorphism as above and \(<u,\cdot>\) the Kronecker product. Note that Hirsch’s result amounts again to the fact that finite dimensional rational homology of the above infinite cyclic covering would imply vanishing of the Lefschetz number of (an iterate of) f, which is impossible for an Anosov diffeomorphism.
Remark 4.3
As we conclude from our proof, the induced automorphism
has a root of unity as eigenvalue. Then [10, Corollary 2] implies that f is not Anosov (as an application of Theorem 4.1). For a manifold M with polycyclic fundamental group and whose universal covering has finite dimensional rational homology, [10, Theorem 4] tells us that a diffeomorphism \(f:M\rightarrow M\) is not Anosov if there is a root of unity among the eigenvalues of \(f_*:H_1(M;\mathbb {R})\rightarrow H_1(M;\mathbb {R})\). Also, note that [13] determines which nilpotent manifolds admit Anosov diffeomorphism up to dimension six, hence also covers the case of the \(Nil^{4}\) geometry. In our proof we did not (explicitly) use the fact that \(\pi _1(M)\) is polycyclic, but we rather exhibited a cohomology class satisfying Theorem 4.1.
4.1.2 The geometries \(Sol_{m \ne n}^{4}\), \(Sol^{4}_0\) and \(Sol^{4}_1\)
For the geometries \(Sol^{4}_{m \ne n}\), \(Sol^{4}_0\) and \(Sol^{4}_1\) a weaker statement (Theorem 4.6 below) than that of Theorem 4.1, based on the first Betti number, suffices to rule out Anosov diffeomorphisms. We begin by recalling the model spaces of those geometries:
Suppose m and n are positive integers, \(a> b > c\) reals such that \(a+b+c=0\) and \(e^a,e^b,e^c\) are roots of the polynomial \(P_{m,n}(\lambda )=\lambda ^{3}-m\lambda ^{2}+n\lambda -1\). For \(m \ne n\), the Lie group \(Sol_{m \ne n}^{4}\) is defined as a semi-direct product \(\mathbb {R}^{3} \rtimes \mathbb {R}\), where \(\mathbb {R}\) acts on \(\mathbb {R}^{3}\) by
Note that the case \(m=n\) gives \(b = 0\) and corresponds to the product geometry \(Sol^{3} \times \mathbb {R}\).
If two roots of the polynomial \(P_{m,n}\) are required to be equal, then we obtain the model space of the \(Sol_0^{4}\) geometry, again defined as a semi-direct product \(\mathbb {R}^{3} \rtimes \mathbb {R}\), where now the action of \(\mathbb {R}\) on \(\mathbb {R}^{3}\) is given by
Closed manifolds modeled on the geometries \(Sol_{m \ne n}^{4}\) and \(Sol_0^{4}\) have the following property:
Theorem 4.4
([9, Corollary 8.5.1]) Every closed manifold carrying one of the geometries \(Sol_0^{4}\) or \(Sol_{m \ne n}^{4}\) is a mapping torus of a hyperbolic automorphism of the 3-torus.
Finally, the Lie group \(Sol_1^{4}\) is defined as a semi-direct product \(Nil^{3} \rtimes \mathbb {R}\), where \(\mathbb {R}\) acts on the 3-dimensional Heisenberg group
by
Closed manifolds modeled on the geometry \(Sol_1^{4}\) can be described as follows:
Theorem 4.5
([9, Theorem 8.9]) A closed oriented manifold carrying the geometry \(Sol_1^{4}\) is a mapping torus of a self-homeomorphism of a \(Nil^{3}\)-manifold.
Using this, one can moreover derive that every closed \(Sol_1^{4}\)-manifold is a virtually non-trivial circle bundle over a \(Sol^{3}\)-manifold [15, Prop. 6.15].
The descriptions of the fundamental groups of manifolds carrying one of the above solvable geometries suffice to exclude Anosov diffeomorphisms on them by the following result of Hirsch, which is a consequence of the more general Theorem 4.1:
Theorem 4.6
([10, Theorem 8]). Suppose M is a compact manifold such that
-
(a)
\(\pi _1(M)\) is virtually polycyclic;
-
(b)
the universal covering of M has finite dimensional rational homology;
-
(c)
\(H^{1}(M;\mathbb {Z})\cong \mathbb {Z}\).
Then M does not support Anosov diffeomorphisms.
Corollary 4.7
Closed 4-manifolds modeled on one of the geometries \(Sol_0^{4}\), \(Sol_{m \ne n}^{4}\) or \(Sol_1^{4}\) do not support Anosov diffeomorphisms.
Proof
After passing to a finite covering we may assume that M is oriented.
If M carries one of the geometries \(Sol_0^{4}\) or \(Sol_{m \ne n}^{4}\), then by Theorem 4.4
where \(\pi _1(T^{3}) = \mathbb {Z}^{3} = \langle x_1,x_2,x_3 \vert \ [x_i,x_j] = 1 \rangle \) and the automorphism \(\theta _M :\mathbb {Z}^{3}\rightarrow \mathbb {Z}^{3}\) is hyperbolic. Thus, \(H^{1}(M;\mathbb {Z})\cong \mathbb {Z}\), and since M is aspherical and \(\pi _1(M)\) polycyclic, Theorem 4.6 and Lemma 2.1 tell us that M cannot support Anosov diffeomorphisms.
If M carries the geometry \(Sol_1^{4}\), then by Theorem 4.5 (see also [15, Prop. 6.15]) a presentation of its fundamental group is given by
where \(k,l\in \mathbb {Z}\) and the matrix
has no roots of unity. The abelianization of \(\pi _1(M)\) implies \(H^{1}(M;\mathbb {Z})\cong \mathbb {Z}\). Since moreover M is aspherical and \(\pi _1(M)\) is polycyclic, we deduce by Theorem 4.6 and Lemma 2.1 that M does not support Anosov diffeomorphisms. \(\square \)
Remark 4.8
Note that Theorem 4.6 is not applicable to a \(Nil^{4}\) manifold M (cf. Sect. 4.1.1), because \(H^{1}(M;\mathbb {Z})\cong \mathbb {Z}^{2}\).
4.2 Compact non-product geometries
Among the simplest cases are the compact geometries \(S^{4}\) and \(\mathbb {CP}^{2}\).
4.2.1 The geometry \(S^{4}\)
The only closed oriented 4-manifold modeled on \(S^{4}\) is \(S^{4}\) itself [9, Sect. 12.1]. Clearly, any orientation preserving diffeomorphism f of \(S^{4}\) induces the identity on \(H^{*}(S^{4})\), and as we have seen this makes it impossible for f to be Anosov (cf. Eq. 1).
4.2.2 The geometry
Similarly to the geometry \(S^{4}\), the only closed oriented 4-manifold modeled on \(\mathbb {CP}^{2}\) is \(\mathbb {CP}^{2}\) itself [9, Sect. 12.1]. Suppose
is a diffeomorphism. The cohomology groups of \(\mathbb {CP}^{2}\) are \(\mathbb {Z}\) in degrees 0, 2 and 4 and trivial otherwise. So, after possibly passing to an iterate of f, we observe, by the naturality of the cup product, that f must induce the identity on cohomology. Thus f cannot be Anosov.
5 Product geometries
In order to complete the proof of Theorem 1.1, we need to examine the product geometries that are not excluded by the statement of Theorem 1.1, i.e. the geometries \({\mathbb {H}}^{3}\times \mathbb {R}\), \(Sol^{3}\times \mathbb {R}\), \(\widetilde{SL_2}\times \mathbb {R}\), \(Nil^{3}\times \mathbb {R}\), the irreducible \({\mathbb {H}}^{2}\times {\mathbb {H}}^{2}\) geometry, \(S^{2}\times {\mathbb {H}}^{2} \), \(S^{2}\times \mathbb {R}^{2}\), \(S^{3} \times \mathbb {R}\) and \(S^{2}\times S^{2}\).
5.1 Products with a compact factor
5.1.1 The geometry \(S^{2}\times S^{2}\)
The question of whether \(S^{2}\times S^{2}\) supports Anosov diffeomorphisms was asked by Ghys in the 1990’s and, although it has a quite straightforward solution using the intersection form, was only recently answered by Gogolev and Rodriguez Hertz [6]. Suppose \(f:S^{2}\times S^{2}\rightarrow S^{2}\times S^{2}\) is a diffeomorphism (or, more generally, a map of degree \(\pm 1\)). The Künneth formula gives
Let \(\omega _{S^{2}}\times 1\in H^{2}(S^{2})\otimes H^0(S^{2})\) and \(1\times \omega _{S^{2}}\in H^0(S^{2})\otimes H^{2}(S^{2})\) be the corresponding cohomological fundamental classes. After possibly replacing f by \(f^{2}\), we can assume that \(\deg (f)=1\). The effect of f on the above classes is given by
and
Thus, by the naturality of the cup product we obtain
Also, since the cup product of \(\omega _{S^{2}}\times 1\) with itself vanishes, we obtain
and so
Similarly, since \((1\times \omega _{S^{2}})\cup (1\times \omega _{S^{2}})=0\), we obtain
If \(a=0\), then (2), (3) and (4) imply \(b=c=\pm 1\) and \(d=0\). If \(b=0\), then again by the same equations we obtain \(a=d=\pm 1\) and \(c=0\). Thus, after possibly replacing f by \(f^{2}\), we deduce that f induces the identity in cohomology. Therefore, the Lefschetz numbers of all powers of f are uniformly bounded, and so f cannot be Anosov diffeomorphism (cf. Eq. 1).
Remark 5.1
Alternatively to the above argument, note that, since f is a diffeomorphism, the matrix for the induced action on \(H^{2}\) lies in \(\mathrm {GL}_2(\mathbb {Z})\), hence \(ad-bc = \pm 1\). Combining this with Eq. (2), we can find the two possible integer solutions as above.
5.1.2 The geometry \(S^{2}\times \mathbb {R}^{2}\)
In that case, M is (finitely covered by) \(S^{2}\times T^{2}\) [9, Theorem 10.10]. Since every map \(S^{2}\rightarrow T^{2}\) has degree zero, if \(f:S^{2}\times T^{2}\rightarrow S^{2}\times T^{2}\) is a diffeomorphism, then the effect of f on the cohomological fundamental classes \(\omega _{S^{2}}\times 1\in H^{2}(S^{2})\otimes H^0(T^{2})\) and \(1\times \omega _{T^{2}}\in H^0(S^{2})\otimes H^{2}(T^{2})\) is given by
and
see [14] for details. As before, we assume that \(\deg (f)=1\), and so the naturality of the cup product yields
In particular, \(a=d=\pm 1\). Also, \(b=0\) by the vanishing of the cup product of \(\omega _{S^{2}}\times 1\) with itself.
Recall that, by Franks [5] and Newhouse [18], if a manifold admits a codimension one Anosov diffeomorphism, then it must be homeomorphic to a torus. Thus, if f is Anosov, then we may assume that it has codimension two. In that case, Ruelle–Sullivan’s work [20] gives us a class \(\alpha \in H^{2}(S^{2}\times T^{2};\mathbb {R})\) such that \(f^{*}(\alpha )=\lambda \cdot \alpha \) for some positive real \(\lambda \ne 1\). We have
and so \(f^{*}(\alpha )=\lambda \cdot \alpha \) yields
and
If \(\xi _1\ne 0\), then (6) becomes \(\lambda =\pm 1\), which is impossible. If \(\xi _1=0\), then \(\xi _2\ne 0\) and (7) yields again the absurd conclusion \(\lambda =\pm 1\).
This shows that \(S^{2}\times T^{2}\) does not support transitive Anosov diffeomorphisms.
5.1.3 The geometry
If M is modeled on the geometry \(S^{2}\times {\mathbb {H}}^{2}\), then M is virtually an \(S^{2}\)-bundle over a closed hyperbolic surface \(\Sigma _h\) [9, Theorem 10.7]. The case of \(S^{2}\times \Sigma _h\) can be treated using the same argument as for \(S^{2}\times T^{2}\). More generally, Gogolev–Rodriguez Hertz showed that a fiber bundle \(S^{2n}\rightarrow E\rightarrow B\), where B is 2n-dimensional, does not support transitive Anosov diffeomorphisms [6, Theorem 1.1], which covers as well the geometry \(S^{2}\times \mathbb {R}^{2}\). Their argument uses again Eq. 1 and cup products via the Gysin sequence
Note that in our case, \(2n=2\) is the only case of interest for the codimension; we refer to [6] for the complete argument.
5.1.4 The geometry
A closed 4-manifold modeled on the geometry \(S^{3}\times \mathbb {R}\) is virtually a product \(S^{3}\times S^{1}\) [9, Ch. 11], which clearly does not support Anosov diffeomorphisms because \(H_2(S^{3}\times S^{1})=0\) and \(H_1(S^{3}\times S^{1})=\mathbb {Z}\).
5.2 The irreducible geometry
Similarly to the hyperbolic geometries, if M is an irreducible manifold modeled on the geometry \({\mathbb {H}}^{2}\times {\mathbb {H}}^{2}\), then \(\pi _1(M)\) has finite outer automorphism group by the strong rigidity of Mostow, Prasad and Margulis. Thus the proof of Theorem 3.1 implies that M does not support Anosov diffeomorphisms.
5.3 Aspherical products with a circle factor
Finally, we deal with the product geometries \({\mathbb {H}}^{3}\times \mathbb {R}\), \(Sol^{3}\times \mathbb {R}\), \(\widetilde{SL_2}\times \mathbb {R}\) and \(Nil^{3}\times \mathbb {R}\).
5.3.1 The geometries and
Let M be a closed 4-manifold modeled on the geometry \(\widetilde{SL_2}\times \mathbb {R}\) or the geometry \(Nil^{3}\times \mathbb {R}\). Then M is finitely covered by a product \(N\times S^{1}\), where N is an \(\widetilde{SL_2}\)-manifold or a \(Nil^{3}\)-manifold respectively [9]. We can moreover assume that N is a non-trivial circle bundle over a surface \(\Sigma _g\) of genus g, where \(g\ge 2\) if N is an \(\widetilde{SL_2}\)-manifold and \(g=1\) if N is a \(Nil^{3}\)-manifold; cf. Table 1. In particular, the center of \(\pi _1(N\times S^{1})\) has rank two. Since (a finite power of) the generator of the fiber of N vanishes in \(H_1(N)\), we deduce that, for any diffeomorphism \(f:N\times S^{1}\rightarrow N\times S^{1}\) the generator of \(H_1(S^{1})\) maps to a power of itself (modulo torsion). That is, in cohomology
Moreover, because N does not admit maps of non-zero degree from direct products [12] and the degree three cohomology of \(N\times S^{1}\) is
we obtain
see [14, Proof of Theorem 1.4] for further details. Since \(\deg (f)=\pm 1\), we deduce that \(a,b\in \{\pm 1\}\). Thus, after possibly replacing f by \(f^{2}\), we may assume that
Now Theorem 4.1 and Lemma 2.1 imply that f cannot be Anosov.
Alternatively, since the generator of \(H_1(S^{1})\) maps to (a power of) itself, we can conclude that f is not Anosov by [10, Corollary 2], again as an application of Theorem 4.1.
Remark 5.2
An example of a \(Nil^{3}\) manifold is given by the mapping torus \(M_A\) of \(T^{2}\) with monodromy
As we have seen above, \(M_A\times S^{1}\) does not support Anosov diffeomorphisms. Now, clearly \(A^m\ne I_2=\left( \begin{array}{cc} 1 &{} 0\\ 0 &{} 1\\ \end{array} \right) \) for all \(m\ne 0\) and, moreover,
which has non-trivial center \(C(\pi _1(M_A))=\langle z \rangle \). Therefore, in the proof of [10, Theorem 9(a)]—which asserts that for any monodromy \(A:T^n\rightarrow T^n\) such that \(A^m\ne I_n\) for all \(m\ne 0\), the product \(M_A\times S^{1}\) does not support Anosov diffeomorphisms—the claim that the generator of \(H_1(S^{1})\) maps to a power of itself is derived by the invalid conclusion that \(C(\pi _1(M_A))\) is trivial. (We remark that this error does not affect the aforementioned Theorems 4.1 and 4.6 from the same paper.)
5.3.2 The geometries and
A closed 4-manifold M modeled on the geometry \({\mathbb {H}}^{3}\times \mathbb {R}\) or the geometry \(Sol^{3}\times \mathbb {R}\) is virtually a product \(N\times S^{1}\), where N is a hyperbolic 3-manifold or a \(Sol^{3}\)-manifold respectively [9]. In particular, the fundamental group \(\pi _1(N\times S^{1})\) has infinite cyclic center generated by the circle factor [21]; let us denote this by \(\pi _1(S^{1})=\langle z\rangle \).
Suppose \(f:N\times S^{1}\rightarrow N\times S^{1}\) is a diffeomorphism. Then \(f_\sharp (\langle z\rangle )=\langle z\rangle \), and therefore \(f_*(\omega _{S^{1}})=\omega _{S^{1}}\) (up to taking \(f^{2}\) if necessary) as in the above subsection (because N does not admit maps of non-zero degree from direct products [12]) or alternatively because the center and the commutator of \(\pi _1(N\times S^{1})\) intersect trivially. We deduce that f cannot be Anosov by Theorem 4.1 and Lemma 2.1.
Alternatively for the case of hyperbolic N, the main result of [7] implies that \(N\times S^{1}\) does not support Anosov diffeomorphisms, because \(\mathrm {Out}(\pi _1(N))\) is finite and \(\pi _1(N)\) is Hopfian and has trivial intersection of maximal nilpotent subgroups. In fact, as shown in [17], the only properties needed to exclude Anosov diffeomorphisms on \(N\times S^{1}\) is that \(\mathrm {Out}(\pi _1(N))\) is finite and \(\pi _1(N)\) has trivial center.
The proof of Theorem 1.1 is now complete.
References
Agol, I.: The virtual Haken conjecture, with an appendix by I. Agol, D. Groves and J. Manning. Documenta Math. 18, 1045–1087 (2013)
Bestvina, M., Feighn, M.: Stable actions of groups on real trees. Invent. Math. 121(2), 287–321 (1995)
Bowditch, B.: Cut points and canonical splittings of hyperbolic groups. Acta Math. 180(2), 145–186 (1998)
Filipkiewicz, R.: Four-dimensional geometries, Ph.D. thesis, University of Warwick (1983)
Franks, J.: Anosov diffeomorphisms. Global analysis. In: Proceedings of Symposia in Pure Mathematics, pp. 61–93, AMS, Providence, RI (1970)
Gogolev, A., Rodriguez Hertz, F.: Manifolds with higher homotopy which do not support Anosov diffeomorphisms. Bull. Lond. Math. Soc. 46(2), 349–366 (2014)
Gogolev, A., Lafont, J.-F.: Aspherical products which do not support Anosov diffeomorphisms. Ann. Henri Poincaré 17, 3005–3026 (2016)
Gromov, M.: Volume and bounded cohomology. Inst. Hautes Études Sci. Publ. Math. 56, 5–99 (1982)
Hillman, J.A.: Four-Manifolds, Geometries and Knots, Geometry and Topology Monographs, Vol. 5, Coventry (2002)
Hirsch, M.W.: Anosov maps, polycyclic groups, and homology. Topology 10, 177–183 (1971)
Inoue, H., Yano, K.: The Gromov invariant of negatively curved manifolds. Topology 21(1), 83–89 (1981)
Kotschick, D., Neofytidis, C.: On three-manifolds dominated by circle bundles. Math. Z. 274, 21–32 (2013)
Malfait, W.: Anosov diffeomorphisms on nilmanifolds of dimension at most six. Geom. Dedicata 79, 291–298 (2000)
Neofytidis, C.: Degrees of self-maps of products. Int. Math. Res. Not. IMRN 22, 6977–6989 (2017)
Neofytidis, C.: Fundamental groups of aspherical manifolds and maps of non-zero degree. Groups Geom. Dyn. 12, 637–677 (2018)
Neofytidis, C.: Anosov diffeomorphisms of products I. Negative curvature and rational homology spheres. Ergod. Theory Dyn. Syst. (2019). https://doi.org/10.1017/etds.2019.74
Neofytidis, C.: Anosov diffeomorphisms of products II. Aspherical manifolds. J. Pure Appl. Algebra 224(3), 1102–1114 (2020)
Newhouse, S.E.: On codimension one Anosov diffeomorphisms. Am. J. Math. 92(3), 761–770 (1970)
Paulin, F.: Outer automorphisms of hyperbolic groups and small actions on R-trees, Arboreal Group Theory. Springer, New York (1991)
Ruelle, D., Sullivan, D.: Currents, flows and diffeomorphisms. Topology 14, 319–327 (1975)
Scott, P.: The geometries of 3-manifolds. Bull. Lond. Math. Soc. 15, 401–487 (1983)
Shiraiwa, K.: Manifolds which do not admit Anosov diffeomorphisms. Nagoya Math. J. 49, 111–115 (1973)
Smale, S.: Differentiable dynamical systems. Bull. Am. Math. Soc. 73, 747–817 (1967)
Thurston, W.: Three-Dimensional Geometry and Topology. Princeton University Press, Princeton (1997)
Yano, K.: There are no transitive Anosov diffeomorphisms on negatively curved manifolds. Proc. Jpn. Acad. Ser. A Math. Sci. 59(9), 445 (1983)
Acknowledgements
Parts of this Project were carried out during research stays at CUNY Graduate Center and at IHÉS in 2019. I am grateful to Dennis Sullivan and to Misha Gromov respectively for their hospitality. Also, I would like to thank Morris Hirsch for useful correspondence, as well as an anonymous referee for constructive comments. The support by the Swiss NSF, under Grant FNS200021_169685, is also gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Neofytidis, C. Anosov diffeomorphisms on Thurston geometric 4-manifolds. Geom Dedicata 213, 325–337 (2021). https://doi.org/10.1007/s10711-020-00583-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-020-00583-x