2.1 Notation

Let M be a complete connected Riemannian manifold of non-positive curvature and denote by $g_t:T^1M\rightarrow T^1M$ the geodesic flow on the unitary tangent bundle $T^1M$ of M. Recall that the rank of a vector v in $T^1 M$ , denoted by $\operatorname {\mathrm {rank}} v$ , is the dimension of the parallel Jacobi fields along the geodesic tangent to v. There is always a parallel Jacobi field in the tangent direction of the geodesic, so the rank must be between $1$ and the dimension of M. We say that the manifold M is of rank 1 if it contains at least one vector of rank 1. Let us start with some standard definitions and recall the most important facts about rank 1 manifolds.

Most of the reasoning unfolds on the universal cover $\tilde {M}$ of M. We consider the Riemannian distance d on $\tilde {M}$ and the distance $d_1$ associated to the Sasaki metric on $T^1\tilde {M}$ . A geodesic ray is, by definition, a map $\sigma : [0,+\infty )\rightarrow \tilde {M}$ that minimizes length. Two geodesic rays $\sigma _1,\sigma _2$ are asymptotic if the distance $d(\sigma _1(t),\sigma _2(t))$ is uniformly bounded for all $t\ge 0$ . The boundary at infinity $\partial \tilde {M}$ is the set of asymptotic classes of rays. We refer the reader to [Reference Ballmann2, Reference Ballmann, Gromov and Schroeder3] for a better understanding of this construction.

The Busemann cocycle at $\xi $ in $\partial \tilde {M}$ between x and y in $\tilde {M}$ is defined as

$$ \begin{align*} \beta_\xi (x,y)= \lim_{t\to+\infty} d(x,\sigma(t)) - d(y,\sigma(t)), \end{align*} $$

where $\sigma $ is any ray in the class $\xi $ . If v is a vector in $T^1\tilde {M}$ , the points at infinity $v_-$ and $v_+$ in $\partial \tilde {M}$ are respectively the asymptotic classes of the negative and positive rays tangent to v. We can define the (unstable) horosphere of v as the set

$$ \begin{align*} H^u(v)=\{w\in T^1 \tilde{M} \,|\, w_-=v_-,\, \beta_{v_-}(\pi(v),\pi(w))=0 \}, \end{align*} $$

where $\pi :T^1\tilde {M}\rightarrow \tilde {M}$ is the projection to the base. The point $v_-$ in $ \partial \tilde {M}$ is called the center of the horosphere $H^u(v)$ . Horospheres are $C^1 $ submanifolds of $T^1\tilde {M}$ of dimension ${\dim M~-1}$ .

We also use the notation $\partial ^2\tilde {M}=(\partial \tilde {M}\times \partial \tilde {M})\setminus \Delta $ , where $\Delta $ is the diagonal of $\partial \tilde {M}\times \partial \tilde {M}$ , and define the map

$$ \begin{align*} \begin{matrix} P: & T^1 \tilde{M} & \longrightarrow & \partial^2 \tilde{M} \times \mathbb{R} \\ & v & \longmapsto & (v_-,v_+,\beta_{v_-}(x_0,\pi(v)). \end{matrix} \end{align*} $$

It is known that this map is a homeomorphism when the curvature is negatively pinched, but both the injectivity and the surjectivity may fail in the context of non-positively curved rank 1 manifolds. Nevertheless, restricted to rank 1 vectors, P is still a homeomorphism onto its image [Reference Ballmann2].

In the sequel, we identify M with the quotient of $\tilde {M}$ by some discrete subgroup of isometries $\Gamma $ , which is isomorphic to the fundamental group of M. The limit set $\Lambda (\Gamma )$ is the set of accumulation points of an orbit $\Gamma x_0$ , $x_0\in \tilde {M}$ , in $\tilde {M}\cup \partial \tilde {M}$ . It does not depend on the choice of $x_0$ and it is contained in the boundary at infinity $\partial \tilde {M}$ . We also define the non-wandering set $\Omega $ to be the set $\{ v\in T^1 \tilde {M} \,|\, v_-,v_+\in \Lambda (\Gamma ) \}$ . The name of this set comes from the fact that its projection to $T^1M$ is the topological non-wandering set of the geodesic flow. In order to have some complexity in the geodesic flow, we require that $\Gamma $ (or M) is non-elementary, which means that the limit set $\Lambda (\Gamma )$ is infinite.

A $\delta $ -dimensional conformal density, $\delta \ge 0$ , is a family of finite Borel measures $\{\mu _x\}_{x\in \tilde {M}}$ on $\partial \tilde {M}$ supported by the limit set $\Lambda (\Gamma )$ and such that any two measures $\mu _x,\mu _y$ , where $x,y\in \tilde {M}$ , are equivalent and satisfy the relation $({\mathrm {d} \mu _y}/{\mathrm {d} \mu _x})(\xi )=\exp {(-\delta \beta _\xi (y,x))}$ . In  addition, we say that such a family of measures is $\Gamma $ -invariant if $\gamma _*\mu _x=\mu _{\gamma x}$ for all $\gamma \in \Gamma ,\,x\in \tilde {M}$ . The Patterson construction provides examples of invariant $\delta (\Gamma )$ -dimensional conformal densities, where $\delta (\Gamma )$ is the critical exponent of $\Gamma $ (see [Reference Knieper11], for example). Henceforth, we will fix a point $x_0\in \tilde {M}$ and denote by $\mu _{x_0}$ an element of an invariant $\delta $ -dimensional conformal density.

2.2 Definition of the Bowen–Margulis measure

We now define a product measure on the unitary tangent bundle of $\tilde {M}$ , which will pass to the quotient $T^1M$ , as Knieper did in [Reference Knieper12] for a compact manifold. Consider the set of geodesic endpoints $E(\tilde {M}):=\{(v_-,v_+)\in \partial ^2\tilde {M}\,|\,v\in T^1\tilde {M} \}$ . For every $(\xi ,\eta )\in E (\tilde {M})$ , the set $\pi (P^{-1}(\{(\xi ,\eta )\}\times \mathbb {R}))$ is non-empty, and it has been shown to be a flat totally geodesic submanifold of $\tilde {M}$ [Reference Eberlein9]. In fact, it is either a single geodesic or a flat totally geodesic submanifold of dimension at least $2$ . No matter what form the submanifold $\pi (P^{-1}(\{(\xi ,\eta )\}\times \mathbb {R}))$ takes, we denote by $\operatorname {\mathrm {Vol}}$ its induced volume measure.

Firstly, we define a measure $\bar {\mu }$ on $E(\tilde {M})$ , which we extend to $\partial ^2\tilde {M}$ , by its density

$$ \begin{align*} \mathrm{d} \bar{\mu}(\xi,\eta)= e^{\delta (\beta_\xi(x_0,p_{\xi,\eta})+ \beta_\eta(x_0,p_{\xi,\eta}))}\mathrm{d} \mu_{x_0}(\xi)\,\mathrm{d} \mu_{x_0}(\eta), \end{align*} $$

where $p_{\xi ,\eta }$ is any point in $\pi (P^{-1}(\{(\xi ,\eta )\}\times \mathbb {R}))$ . The definition does not depend on the choices of $p_{\xi ,\eta }$ , and $\bar {\mu }$ is invariant under the diagonal action of $\Gamma $ on $\partial ^2\tilde {M}$ . Now, the measure $\mu $ on $T^1 \tilde {M}$ associated to $\mu _{x_0}$ gives the value

(1) $$ \begin{align} \mu(A)=\int_{\partial^2\tilde{M}} \operatorname{\mathrm{Vol}}(\pi(P^{-1} (\{(\xi,\eta)\}\times \mathbb{R})\cap A))\,\mathrm{d} \bar{\mu}(\xi,\eta) \end{align} $$

to a Borel subset $A\subset T^1\tilde {M}$ . It is clear that this measure is both $\Gamma $ - and $g_t$ -invariant. The $g_t$ -invariant measure obtained on the quotient $T^1 M$ will also be denoted by $\mu $ , for simplicity of notation.

In the sequel, we assume that M contains a closed rank 1 geodesic. Many authors have studied the ergodic properties of this measure in this setting. Link and Picaud gave a version of the Hopf–Tsuji–Sullivan dichotomy (see [Reference Babillot1 Reference Ballmann, Gromov and Schroeder3, Reference Babillot1 Reference Coudène4]). In this paper we will always be in the conservative case of the dichotomy: $\Gamma $ is of divergence type, the radial limit set has full $\mu _{x_0}$ -measure and the system $(T^1M,g_t,\mu )$ is conservative and ergodic. Furthermore, in this case there is a unique conformal density $\mu _{x_0}$ and its dimension is the critical exponent $\delta =\delta (\Gamma )$ of $\Gamma $ , this measure $\mu _{x_0}$ has no point masses, and the measure class of $\mu _{x_0}$ is ergodic under the action of $\Gamma $ . We refer to $\mu $ as the Bowen–Margulis measure. Whenever M is compact, it turns out that the Bowen–Margulis measure $\mu $ is the unique measure of maximal entropy up to a multiplicative constant as proved by Knieper in [Reference Knieper12].

Let $\mathcal {H}$ be the set of unstable horospheres in $T^1 \tilde {M}$ and let $\Gamma $ act on $\mathcal {H}$ . There is a simple identification of $\mathcal {H}$ by its point at infinity and the value of the Busemann cocycle: the map

$$ \begin{align*} \begin{matrix} \mathcal{H} & \longrightarrow & \partial \tilde{M} \times \mathbb{R} \\ H^u(v) & \longmapsto & (v_-,\beta_{v_-}(x_0,\pi(v)) \end{matrix} \end{align*} $$

is bijective. This allows us to define a $\Gamma $ -invariant measure $\hat {\mu }$ on the space of horospheres $ \mathcal {H}$ by the density

$$ \begin{align*} \mathrm{d} \hat{\mu}(H^u(\xi,t))=e^{-\delta t}\mathrm{d} \mu_{x_0}(\xi)\mathrm{d} t, \end{align*} $$

where $H^u(\xi ,t)$ is the unstable horosphere with coordinates $(\xi ,t)\in \partial \tilde {M}\times \mathbb {R}$ .

We can now define a family $\{\mu _{H}\}_{H\in \mathcal {H}}$ of measures on each horosphere that has good properties, analogous to the negative curvature case. For each horosphere H, we consider the projection to the positive endpoint $P_H:H\rightarrow \partial \tilde {M}\setminus \{\xi \}$ , where $\xi $ is the center of H. Let us treat a point as a $0$ -manifold, for the sake of simplicity. For any vector v in $T^1\tilde {M}$ , the set of base points of vectors on the horosphere $H^u(v)$ that are also positively asymptotic to v (that is, the set $\pi (P_{H^u(v)}^{-1}(v_+))$ ), is a totally geodesic submanifold of $\pi (P^{-1}((v_-,v_+)\times \mathbb {R}))$ . We denote its volume measure by $\operatorname {\mathrm {Vol}}$ , with the convention that it is the delta measure when the submanifold consists of a single point. For each $\eta \in \partial \tilde {M}\setminus \{v_-\}$ , we choose $w\in P_{H^u(v)}^{-1} (\eta ))$ and write $\phi _v(\eta )=e^{\delta \beta _{\eta }(x_0,\pi (w))}$ , which in fact only depends on $\eta $ , but not on w. The measure $\mu _{H^u(v)}$ assigns the value

$$ \begin{align*} \mu_{H^u(v)}(A)=\int_{\partial\tilde{M}\setminus\{v_-\}} \operatorname{\mathrm{Vol}}(\pi (P_{H^u(v)}^{-1}(\eta)\cap A)) \phi_v(\eta) \,\mathrm{d} \mu_{x_0}(\eta) \end{align*} $$

to a subset $A\subset H^u(v)$ .

We list the main properties of these measures that follow from the definition.

1. (i) If $w\in H^u(v)$ , then $\mu _{H^u(v)}=\mu _{H^u(w)}$ . Hence, we can speak of a family $\{\mu _{H}\}_{H\in \mathcal {H}}$ of measures on each horosphere.

2. (ii) They are $\Gamma $ -invariant; that is, for all $\gamma $ in $\Gamma $ and all H in $\mathcal {H}$ , we have $\gamma _*\mu _H=\mu _{\gamma H}$ .

3. (iii) They are exponentially expanded by the geodesic flow: $\mu _{g_tH}=e^{\delta t}(g_t)_*\mu _{H}$ .

4. (iv) The measure $\mu $ is the product of $\{\mu _{H}\}_{H\in \mathcal {H}}$ by $\hat {\mu }$ : for all $A\subset T^1 \tilde {M}$ ,

   (2) $$ \begin{align} \mu(A)=\int_{\mathcal{H}} \mu_H(A\cap H)\, \mathrm{d} \hat{\mu}(H). \end{align} $$

For our purposes, we assume that the Bowen–Margulis measure $\mu $ on the space $T^1M$ is finite, hence the geodesic flow is conservative, according to the Poincaré recurrence theorem, and there is only one conformal density $\mu _{x_0}$ . Our goal is to find an equidistribution result in the sense that the $\mu _H$ -averages of functions on a horosphere H tend to the $\mu $ -averages on the whole space. The starting point is always the mixing property of the geodesic flow with respect to the Bowen–Margulis measure $\mu $ . The next result says that this property is equivalent to the topological mixing of the geodesic flow on $\Omega $ . We do not know if this equivalence has been stated in this generality, although it can be expected and the main part of the work is already published.

There is a third equivalent property related to the length of the closed geodesics, analogous to what happens in negative curvature. We define the rank 1 length spectrum as the set of lengths of rank 1 closed geodesics. We say that the rank 1 length spectrum is non-arithmetic if the rank 1 length spectrum generates a dense subgroup of $\mathbb {R}$ .

To summarize, in all statements M is a non-elementary non-positively curved complete connected manifold with a closed geodesic of rank 1 such that the geodesic flow is topologically mixing on $\Omega $ and such that the Bowen–Margulis measure $\mu $ is finite.

2.3 Equidistribution of horocycles

We start with a local result showing that near rank 1 vectors there is equidistribution: for a function $f:T^1M\rightarrow \mathbb {R}$ , the average on a horosphere of its lift $\tilde {f}:T^1\tilde {M}\rightarrow \mathbb {R}$ pushed by the geodesic flow converges to the average of f with respect to the Bowen–Margulis measure.

Proposition 2.2. Let M be a non-positively curved non-elementary complete connected Riemannian manifold with a closed rank 1 geodesic. Assume that the geodesic flow $g_t$ on $T^1M$ is topologically mixing on $\Omega $ and that the Bowen–Margulis measure $\mu $ is finite. Then, for every rank 1 vector $v\in \Omega \subset T^1 \tilde {M}$ , there exists an open subset U of $H^u(v)$ containing v which is equidistributed under the action of the geodesic flow; that is, for every bounded and uniformly continuous function f on $T^1 M$ and every Borel neighborhood $V\subset U$ of v, we have

$$ \begin{align*} \frac{1}{\mu_{H^u(v)}(V)}\int_V \tilde{f}\circ g_t \, \mathrm{d} \mu_{H^u(v)} \xrightarrow[t \to +\infty]{} \frac{1}{\mu(T^1 M)} \int_{T^1 M}f \,\mathrm{d} \mu. \end{align*} $$

Proof. We follow the same strategy as Babillot in [Reference Babillot1], which involves approximating the integral on a piece of horosphere by the integral of the same function on a box around that piece, and then use the mixing property of the geodesic flow with respect to $\mu $ . The added difficulty is to find a box with a good system of coordinates, which is done by avoiding the vectors of higher rank.

Let v be a rank 1 vector in $\Omega $ and denote its horosphere by H. From [Reference Ballmann2, Lemma III.3.1] we know that there exist disjoint connected neighborhoods $A_1$ and $A_2$ of $v_-$ and $v_+$ , respectively, in $\partial \tilde {M}$ such that: for every $(\xi ,\eta )\in A_1\times A_2$ there exists a unique geodesic from $\xi $ to $\eta $ , and it has rank 1. This allows us to consider a coordinate neighborhood of v via the map P of the form $A_1\times A_2 \times \mathbb {R}$ .

We claim that the proposition is true with $U=P_H^{-1}( A_2)$ . Consider any neighborhood $V\subset U$ of v and write $V_+:=\{w_+\,|\,w\in V\}$ for its projection to the boundary at infinity $\partial \tilde {M}$ . Since v is non-wandering, its endpoints are in the limit set, and this guarantees that $V_+$ and V have positive measure. We notice that the integral on V of a function h of $T^1 \tilde {M}$ can be written in coordinates as

$$ \begin{align*} \int_V h\,\mathrm{d}\mu_{H^u(v)}=\int_{V_+}h(v_-,\eta , t_0)e^{\delta \beta_\eta (x_0,\pi (v_-,\eta, t_0))} \, \mathrm{d}\mu_{x_0}(\eta), \end{align*} $$

where $t_0$ has the value $\beta _{v_-}(x_0,\pi (v))$ , because the volume $\operatorname {\mathrm {Vol}}$ is always $1$ on rank 1 vectors. This is because $P^{-1} (\{(v_-,\eta ,t_0)\}$ consists of just one vector when v is of rank 1. Otherwise, the flat strip theorem [Reference Ballmann2, Corollary I.5.8(ii)] asserts that v bounds a flat totally geodesic surface, which is not possible for a rank 1 vector.

Given $\varepsilon>0$ , we can find a small connected neighborhood $B\subset A_1$ of $v_-$ and a number $r>0$ such that:

1. (i) for all $\xi \in B$ , for all $\eta \in V_+$ , $ 1-\varepsilon \le e^{\delta \beta _\eta (\pi (v_-,\eta , t_0),\,\pi (\xi ,\eta , t_0))} \le 1+\varepsilon $ ;

2. (ii) for all $(\xi ,\eta ) \in B\times V_+$ , for all $s\in [-r,r]$ , for all $t\ge 0$ , $ | \tilde {f}(v_-,\eta , t_0+t)-\tilde {f}(\xi , \eta , t_0+t+s)|<\varepsilon $ .

Property (i) follows from the continuity of the map P on the coordinate neighborhood, and the continuity of the projection $\pi $ and of the Busemann function. We use the fact that $V_+$ is relatively compact to assert that the inequality holds uniformly in $\eta \in V_+$ . For property (ii), we apply the uniform continuity of $\tilde {f}$ , and then we choose B and r so that the points $(v_-,\eta , t_0)$ and $(\xi ,\eta , t_0+s)$ are close enough for $\xi \in B$ and $s\in [-r,r]$ , uniformly in $\eta \in V_+$ . Since these points are in the same weak stable leaf, the distance between them does not increase when they are pushed by the geodesic flow, which allows us to deduce the above property for all $t\ge 0$ . Again the condition $v\in \Omega $ implies that $v_-\in \Lambda (\Gamma )$ , which ensures that B has positive measure.

These estimates allow one to compare the average of $\tilde {f}\circ g_t$ on the set V with respect to $\mu _{H^u(v)}$ and the average of the same function on the box of the form $P^{-1}(B\times V_+\times [t_0,t_0+r])$ with respect to the measure $\mu $ by means of the product structure of $\mu $ (equation (1)). More precisely, for all non-negative t,

$$ \begin{align*} \bigg[\frac{ \int_V \tilde{f}\circ g_t \, \mathrm{d} \mu_{H^u(v)} }{ \mu_{H^u(v)}(V) }-\varepsilon \bigg] \frac{1-\varepsilon}{1+\varepsilon} &\le \frac{ \int_{P ^{-1}(B\times V_+\times [t_0,t_0+r])} \tilde{f}\circ g_t \, \mathrm{d} \mu }{\mu(P^{-1}(B\times V_+\times [t_0,t_0+r]))}\\ &\le \bigg[\frac{ \int_V \tilde{f}\circ g_t \, \mathrm{d} \mu_{H^u(v)} }{ \mu_{H^u(v)}(V) }+\varepsilon \bigg] \frac{1+\varepsilon}{1-\varepsilon}. \end{align*} $$

Moreover, we may assume that the neighborhood $P^{-1}(B\times A_2\times [t_0,t_0+r])\subset T^1\tilde {M}$ is homeomorphic to its projection on the unit tangent bundle of the manifold M. Then, since the geodesic flow is mixing with respect to $\mu $ , the average of $\tilde {f}\circ g_t$ in $P^{-1}(B\times V_+\times [t_0,t_0+r])$ converges to $({1}/{\mu {(T^1 M)}})\int f\, \mathrm {d} \mu $ when t goes to infinity. We have thus shown the equidistribution of U.

To deduce a global result, we need to understand what happens on vectors of rank different from $1$ , and the next two lemmas will be crucial. The unstable manifold of v in $T^1\tilde {M}$ is the set

$$ \begin{align*} W^u(v)=\{w\in T^1\tilde{M}\,|\, d_1(g_t(v),g_t(w))\rightarrow 0,\,t\to -\infty\}. \end{align*} $$

$W^u(v)$ is a subset of the unstable horosphere $H^u (v)$ , but they are not necessarily equal in non-positive curvature.

Proof. The fact that the unstable manifold and the horosphere coincide is already proved in [Reference Knieper12, Proposition 4.1]. Let w be in $W^u(v)$ and r be its rank; we will see that r is $1$ . Since v is negatively recurrent there exist a sequence $t_n\rightarrow -\infty $ and isometries $\gamma _n\in \Gamma $ such that $\gamma _n(g_{t_n}(v))\rightarrow v$ when $n\to \infty $ . Now we have

$$ \begin{align*} d_1(v,\gamma_ng_{t_n}(w))\le d_1(v,\gamma_ng_{t_n}(v))+d_1(g_{t_n}(v),g_{t_n}(w))\longrightarrow 0 \end{align*} $$

and the rank of $\gamma _n g_{t_n}(w)$ is the same as the rank of w, r. Since v is a limit of vectors of rank r and the rank function is upper semi-continuous, we deduce $r\le \operatorname {\mathrm {rank}} v = 1$ .

Proof. Let $Rec^1\subset T^1\tilde {M}$ be the set of rank 1 vectors which are recurrent under $g_t$ on the quotient $T^1 M$ and let $S\subset T^1\tilde {M}$ be the set of vectors of rank 2 or higher. We claim that the projections to the boundary of these two sets are disjoint, $Rec^1_+\cap S_+=\emptyset $ . Otherwise, there are vectors $v\in Rec^1$ and $w\in S$ such that $v_+=w_+$ . By Lemma 2.3, the unstable horosphere of $-v$ only contains vectors of rank 1. The geodesic associated to $-w$ intersects this horosphere $H^u(-v)$ (Figure 2), so w should have rank 1, which is a contradiction.

Figure 2

Vectors v and w in the proof of Lemma 2.4.

Around a non-wandering rank 1 vector there is a neighborhood only consisting of rank 1 vectors, and this neighborhood has positive measure because it intersects the support of  $\mu $ . By hypothesis, the manifold M contains a closed rank 1 geodesic, which is an example of a non-wandering rank 1 geodesic. The set of rank 1 vectors has positive measure, and it is invariant under the geodesic flow. So the set of rank 1 vectors has full measure because of the ergodicity of $\mu $ . In consequence, the set of rank 1 recurrent vectors $Rec^1$ also has full $\mu $ -measure in view of the Poincaré recurrence theorem. By the product structure of $\mu $ , we see that $Rec^1_+$ has positive $\mu _{x_0}$ -measure. Finally, $Rec^1_+$ is a $\Gamma $ -invariant set, so we deduce that $Rec^1_+$ has full $\mu _{x_0}$ -measure because $\Gamma $ acts ergodically.

Therefore, $S_+$ is negligible. The endpoints of higher rank vectors in $H^u(v)$ are clearly in $S_+$ and, using the definition of the measure on the horosphere, we obtain $\mu _{H^u(v)}(S\cap H^u(v))=0$ .

We can finally prove Theorem A, which we have reformulated in terms of horospheres on the universal cover $\tilde {M}$ . On the horospheres centered at the limit set, every open set with positive and finite measure is equidistributed (Figure 3). Being positive is equivalent to having a non-wandering rank 1 vector. In particular, all relatively compact neighborhoods of non-wandering rank 1 vectors are equidistributed.

Figure 3

The average of f on the image of an open subset U of a horosphere H by the geodesic flow $g_t$ with respect to $\mu _H$ tends to the average of f with respect to $\mu $ .

Theorem 2.5. Let M be a non-positively curved non-elementary complete connected Riemannian manifold with a closed rank 1 geodesic. Assume that the geodesic flow $g_t$ on $T^1M$ is topologically mixing on $ \Omega $ and that the Bowen–Margulis measure $\mu $ is finite. Then, for every horosphere $H\subset T^1 \tilde {M}$ centered at $\Lambda (\Gamma )$ , every open subset U of H of finite but positive $\mu _H$ -measure is equidistributed under the action of the geodesic flow; that is, for every bounded and uniformly continuous function f on $T^1M$ , we have

$$ \begin{align*} \frac{1}{\mu_{H}(U)}\int_U \tilde{f}\circ g_t \, \mathrm{d} \mu_{H} \xrightarrow[t \to +\infty]{} \frac{1}{\mu(T^1 M)}\int_{T^1 M}f \,\mathrm{d} \mu. \end{align*} $$

Proof. We first observe that the set $U^1$ of rank 1 vectors in U is open in H, because the set of rank 1 vectors is open in $T^1 \tilde {M}$ [Reference Ballmann2]. By Lemma 2.4, the set $U^1$ has full measure in U, so the averages on the two sets are the same. Next, we use the fact that $\mu _H$ is a Radon measure: given a number $\varepsilon>0$ , there exists a compact subset $K\subset U^1$ such that $\mu _H(U^1\setminus K)<\varepsilon $ .

Since $\Omega $ is closed, $L=K\cap \Omega $ is again compact, and L has full measure in K, because vectors outside of $\Omega $ are not in the support. We want to show that L is equidistributed. Proposition 2.2 gives an equidistributed open neighborhood $U_v$ of each vector v in L. The set L can be covered by finitely many $U_v$ because it is compact. We can cut these sets where they intersect to obtain a family $\{V_i\}_{1\le i\le n}$ of equidistributed pairwise disjoint Borel sets whose union contains L, thanks to the fact that the subsets of $U_v$ are equidistributed too.

If we let $\lambda :=\int f\, \mathrm {d} \mu /\mu (T^1 M)$ , the set $V:=V_1\cup \cdots \cup V_n$ is equidistributed because

$$ \begin{align*} \frac{\int_V \tilde{f}\circ g_t \, \mathrm{d} \mu_{H}}{\mu_{H}(V)} =\frac{\sum_{i=1}^n \int_{V_i} \tilde{f}\circ g_t \, \mathrm{d} \mu_{H}}{\mu_{H}(V)} \xrightarrow[t \to +\infty]{} \frac{\sum_{i=1}^n \mu_H(V_i) \lambda}{\mu_H(V)} =\lambda. \end{align*} $$

On the other hand, we have $\mu _{H}(U\setminus V)<\varepsilon $ , so

$$ \begin{align*} \bigg| \frac{1}{\mu_{H}(U)}\int_{U} \tilde{f}\circ g_t \, \mathrm{d} \mu_{H} - \frac{1}{\mu_{H}(V)}\int_V \tilde{f}\circ g_t \, \mathrm{d} \mu_{H} \bigg| \le \frac{2\varepsilon \lVert f \rVert_\infty}{\mu_H(U)} \end{align*} $$

for all $t\ge 0$ . This proves that U is equidistributed as well.

3.1 Surfaces with non-positive curvature

In the second part of this paper we restrict our attention to surfaces. Our goal is to define a flow that preserves the Bowen–Margulis measure and whose orbits are horocycles. Then we would like to interpret the equidistribution of horocycles in terms of the ergodic properties of this flow. The idea is to define the parametrization of the flow by the measures on the horocycles as in the negative curvature case [Reference Marcus15]. However, the presence of flat pieces of horocycle makes it impossible to define globally a continuous flow with this method. We have found a subset ${\Sigma }$ of the unitary tangent bundle which excludes the horocycles causing trouble, like that of Figure 1, and which is topologically and metrically large. We will define a parametrization of the horocyclic flow on ${\Sigma }$ and prove that it is uniquely ergodic.

In this section, M is a non-positively curved non-elementary orientable surface with a closed rank 1 geodesic and the Bowen–Margulis measure $\mu $ , constructed as before, is assumed to be finite. We will further assume that M satisfies the duality condition, which means that every vector of $T^1M$ is non-wandering, or equivalently we assume that $\Lambda (\Gamma )=\partial \tilde {M}$ . Under these hypotheses, the geodesic flow is topologically mixing [Reference Eberlein7, Theorem 6.3], so it is also mixing with respect to the Bowen–Margulis measure. The duality condition is satisfied if M has finite Riemannian volume, as an application of the Poincaré recurrence theorem. We observe that a non-positively curved non-elementary rank 1 manifold satisfying the duality condition automatically contains a closed rank 1 geodesic.

Moreover, we know that any two distinct points on the boundary at infinity can be connected by a geodesic. This follows from the fact that, for a non-flat surface M with the duality condition, the universal cover $\tilde {M}$ satisfies the visibility axiom [Reference Eberlein8, Proposition 2.5]. Therefore, the map P is surjective.

We notice that an orientation of the boundary at infinity $\partial \tilde {M}$ induces an orientation to each horocycle in $\mathcal {H}$ . One vector $v\in T^1 \tilde {M}$ divides its horocycle $H^u(v)$ into two connected sets, one in the positively oriented direction, $H^u_+(v)$ , and the other in the negatively oriented direction, $H^u_-(v)$ . The group of isometries $\Gamma $ is orientation-preserving because M is orientable. In consequence, horocycles on $T^1\tilde {M}$ descend to $T^1M$ as oriented immersed curves.

Horocycles are diffeomorphic to the real line. Let H be a horocycle of $T^1 \tilde {M}$ . The interval $(v,w)\subset H$ between two vectors $v,w\in H$ is the connected subset bounded by v and w. The map $P_H:H\rightarrow \partial \tilde {M}\setminus \{\xi \}$ , where $\xi $ is the center of H, which projects a vector to its positive endpoint, is continuous and surjective. We also observe that $P_H(v)=P_H(w)$ , with $v\not =w$ , implies, according to the flat strip theorem, that the curvature vanishes on the strip $\pi (\cup _{t\in \mathbb {R}} g_t((v,w)))$ . Such an interval $(v,w)$ will be called a flat piece of horocycle (see Figure 4). It is clear that H does not contain any flat piece if and only if $P_H$ is injective, in which case $P_H$ is also a homeomorphism.

Figure 4

Universal cover of the surface ${M}$ with a region where the curvature vanishes (shaded region). We represent an unstable horocycle with a flat piece.

3.2 Definition of the horocyclic flow on a certain subset of $T^1 M$

Next, we define a subset of the unitary tangent bundle $T^1 \tilde {M}$ of $\tilde {M}$ and we study the properties of its horocycles and their associated measures. Let $\tilde {\Sigma } \subset T^1\tilde {M}$ denote the set of vectors whose horocycle contains a rank 1 recurrent vector, that is to say,

$$ \begin{align*} \tilde{\Sigma}= \bigcup_{v\in Rec^1 }H^u(v). \end{align*} $$

This set is invariant under $\Gamma $ , under the geodesic flow and under the horocyclic foliation, in the sense that $\tilde {\Sigma }$ contains a horocycle H as soon as it contains one vector of H. Our set $\tilde {\Sigma }$ contains a $G_\delta $ -dense set, namely the set of rank 1 recurrent vectors $Rec^1$ . The latter is the intersection of the set of rank 1 vectors, which is open and dense [Reference Ballmann2, Corollary III.3.8], with the set of recurrent vectors, which is $G_\delta $ -dense when all the vectors of $T^1M$ are non-wandering. The set $\tilde {\Sigma }$ also has full $\mu $ -measure. By Lemma 2.3, all the vectors in $\tilde {\Sigma }$ have rank 1 and each horocycle $H\subset \tilde {\Sigma }$ coincides with the unstable manifold. This also implies that the horocycles in $\tilde {\Sigma } $ do not contain any flat pieces of horocycle.

In the next lemma, which will be needed later, we prove a sort of continuity of the measures on the horocycles contained in $\tilde {\Sigma }$ .

Lemma 3.1. The map

$$ \begin{align*} \begin{matrix} \{(v,w)\in \tilde{\Sigma}\times \tilde{\Sigma}\,|\,w\in H^u(v)\} & \longrightarrow & \mathbb{R} \\ (v,w) & \longmapsto & \mu_{H^u(v)}((v,w)) \end{matrix} \end{align*} $$

is continuous.

Proof. Let v and w be two points in $\tilde {\Sigma }$ sharing a horocycle. The function on a pair of points $(v',w')$ close to $(v,w)$ can be written as the integral

$$ \begin{align*} \mu_{H^u(v')}((v',w'))=\int_{(v^{\prime}_+,w^{\prime}_+)}e^{\delta \beta_\eta (x_0,\pi(P^{-1}_{H^u(v')}(\eta)))}\, \mathrm{d} \mu_{x_0}(\eta). \end{align*} $$

Given $\varepsilon>0$ , we can suppose that $\mu _{x_0}((v^{\prime }_+,w^{\prime }_+)\triangle (v_+,w_+))<\varepsilon $ . We estimate the Busemann cocycles on $H^u(v)$ and $H^u(v')$ as we did in the proof of Proposition 2.2: for all $\eta \in (v_+,w_+)$ we have

$$ \begin{align*} 1-\varepsilon\le e^{\delta \beta_\eta (\pi (P^{-1}_{H^u(v)}(\eta)),\,\pi (P^{-1}_{H^u(v')}(\eta)))} \le 1+\varepsilon, \end{align*} $$

provided that $v'$ is close to v. We also observe that $\exp ({\delta \beta _\eta (x_0,\,\pi (P^{-1}_{H^u(v')}(\eta )))})$ is bounded by a constant K for $v'$ in a neighborhood of v and $\eta $ in a neighborhood of $v_+$ or $w_+$ . With these approximations we get the inequalities

$$ \begin{align*} (1-\varepsilon)\mu_{H^u(v)}((v,w)) - K \varepsilon \le \mu_{H^u(v')}((v',w')) \le (1+\varepsilon)\mu_{H^u(v)}((v,w)) + K \varepsilon, \end{align*} $$

which show the continuity at $(v,w)$ .

Let us remark that only the fact that all the vectors in the domain $\tilde {\Sigma }$ have rank 1 was used in the previous proof. Next, we state and prove some properties of individual measures on horocycles that will help later to define the parametrization.

Proof. (i) We know that $\mu _{x_0}$ has no point masses. If $w\in H$ , then $\mu _{x_0}(\{v_+\})=0$ directly implies that $\mu _H(\{v\})=0$ .

(ii) If $U\subset H$ is an open non-empty subset, $P_H(U)$ is also open and non-empty. So $\mu _{x_0}(P_H(U))>0$ because its support is $\Lambda (\Gamma )=\partial \tilde {M}$ . Then $\mu _H(U)=\int _{P_H(U)}\phi _v \mathrm {d} \mu _{x_0}>0$ .

(iii) If $K\subset H$ is compact, $P_H(K)$ is also compact. The function $\phi _v$ is bounded on $P_H(K)$ . The volume part of the integral is bounded by the length of K. Then it is clear that $\mu _H(K)$ is finite.

(iv) By (iii) it is clear that, for every $w\in H^u(v)$ , the measure of $H^u_+(v)$ is infinite if and only if so is the measure of $H^u_+(w)$ . So we can assume that v is in $Rec^1$ .

Let $B^u(w,r)$ denote the open ball in $H^u(w)$ of center w and radius $r>0$ . The balls $B^u(w,1)$ have two boundary points $a_w,b_w\in H^u(w)$ that depend continuously on w so that $B^u(w,1)=(a_w,b_w)$ . In view of Lemma 3.1, the function $w\mapsto \mu _{H^u(w)}((a_w,w))$ is continuous. The continuity at v implies that there exists a neighborhood U of v in $\tilde {\Sigma }$ such that, for all $w\in U$ ,

(3) $$ \begin{align} \mu_{H^u(w)}((a_w,w))\ge\tfrac{1}{2}\mu_{H^u(v)}((a_v,v)). \end{align} $$

The inequality is in fact valid on $\cup _{\gamma \in \Gamma } \gamma U$ because the family of measures is $\Gamma $ -invariant.

Since v is recurrent, there are a sequence $t_k$ converging to $-\infty $ and isometries $\gamma _k \in \Gamma $ such that the distance $d_1(g_{t_k}v, \gamma _k v)$ goes to $0$ . For k big enough, the vector $g_{t_k}v$ is in $\gamma _k U$ , so equation (3) remains true if we replace w by $g_{t_k}v$ . Let $a_k, b_k$ be the points in $H^u(g_{t_k}v)$ such that $B^u(g_{t_k}v,1)=(a_k,b_k)$ . Using the fact that the measures on horocycles expand exponentially, we obtain

$$ \begin{align*} \mu_{H^u(v)}((g_{-t_k}a_k,v))=e^{-t_k}\mu_{H^u(g_{t_k}v)}((a_k,g_{t_k}v))\ge \tfrac{1}{2} e^{-t_k} \mu_{H^u(v)}((a_v,v)). \end{align*} $$

This shows that in one half-horocycle there are subsets of arbitrarily large measure. We proceed analogously for the other half-horocycle, with $b_k$ instead of $a_k$ .

We can now define a suitable parametrization of the horocyclic flow on the set $\tilde {\Sigma }$ . Given $v\in \tilde {\Sigma }$ , we consider the function $m_v:H^u_+(v)\rightarrow (0,+\infty )$ defined by $m_v(w):=\mu _{H^u(v)}((v,w))$ . The map $m_v$ is well defined by properties (ii) and (iii) of Lemma 3.2, is continuous by (i), strictly increasing (with the order given by the orientation) by (ii) and surjective by (iv). Then $m_v$ is in fact a homeomorphism, because the domain and the codomain of the function are topologically the real line. For $s>0$ , we set $h_s(v)=m_v^{-1}(s)$ , so that the measure of the interval $(v,h_s(v))$ is s. There is a similar map on the negative half-horocycle $H^u_-(v)$ that allows us to define the flow $h_s(v)$ for negative time, and we also set the obvious relation $h_0(v)=v$ .

It is clear that the flow satisfies the group law, $h_{s_1}\circ h_{s_2}=h_{s_1+s_2}$ , because of the additivity of the measure and property (i). For the same reasons, the measure of every interval $I\subset H^u(v)$ (hence, every measurable set) is preserved, $\mu _{H^u(v)}(h_s(I))=\mu _{H^u(v)}(I)$ . Thanks to the product structure of the measure (equation (2)), we deduce that $h_s$ preserves $\mu $ . The expanding property of the measures on horocycles is transformed into the commutation relation $g_t\circ h_s = h_{se^{\delta t}} \circ g_t $ between the geodesic flow and the horocyclic flow. Only the continuity of $h_s$ remains to be proved.

Lemma 3.3. The flow

$$ \begin{align*} \begin{matrix} \mathbb{R}\times \tilde{\Sigma} & \longrightarrow & \tilde{\Sigma} \\ (s,v) & \longmapsto & h_s(v) \end{matrix} \end{align*} $$

is continuous.

3.3 Unique ergodicity of the horocyclic flow on $\Sigma $

To study the ergodic properties of the horocyclic flow we introduce the Birkhoff averages. Let $f:T^1M \rightarrow \mathbb {R}$ be a Borel function and $\tilde {f}:T^1\tilde {M}\rightarrow \mathbb {R}$ its lift. For a number $R>0$ and v in $\tilde {\Sigma }$ , we define

$$ \begin{align*} M_R(f)(v):=\frac{1}{R}\int_0^R\tilde{f}(h_s(v))\,\mathrm{d}s. \end{align*} $$

A simple computation using the commutation relation between the geodesic and the horocyclic flow shows that $M_R(f\circ g_t)=M_{Re^{\delta t}}(f)\circ g_t$ .

Moreover, if we suppose that f is bounded and uniformly continuous, the equidistribution under the action of the geodesic flow we showed in Theorem A implies that the Birkhoff averages $M_1(f\circ g_t)$ converge pointwise to $\int f \,\mathrm {d} \mu /\mu (T^1 M)$ when the time t goes to $+\infty $ . However, we need to understand the behavior of $M_R(f)$ when R goes to infinity, that is to say, the equidistribution of horocycles in length. To do this we will use the relation $M_1(f\circ g_t)=M_{e^{\delta t}}(f)\circ g_t$ and some kind of uniform convergence of the averages $M_1(f\circ g_t)$ towards the average of f on the unitary tangent bundle of the manifold M, which we will prove.

It is clear from the continuity of the measures on horocycles (Lemma 3.1) that the function $M_1(f\circ g_t)$ is continuous on $\tilde {\Sigma }$ . We can prove the following improved result.

Proof. Let v be a vector in $\tilde {\Sigma }$ . The average of the horocyclic flow can be written explicitly as

(4) $$ \begin{align} M_1(f\circ g_t)(w)&=\int_{(w,h_1(w))}\tilde{f} \circ g_t \,\mathrm{d} \mu_{H^u(w)}\nonumber\\ &= \int_{(w_+,h_1(w)_+)} \tilde{f} \circ g_t (P_{H^u(w)}^{-1}(\eta)) e^{\delta \beta_\eta(x_0,\,\pi(P_{H^u(w)}^{-1}(\eta)))}\, \mathrm{d} \mu_{x_0}(\eta). \end{align} $$

Fix $\varepsilon>0$ . We consider a relatively compact neighborhood U of v such that, for all $w\in U$ ,

$$ \begin{align*} \mu_{x_0}((v_+,h_1(v)_+)\triangle (w_+,h_1(w)_+))<\varepsilon. \end{align*} $$

Let C be a uniform bound of $\exp ({\delta \beta _\eta (x_0,\,P_{H^u(w)}^{-1}(\eta ))})$ for $w\in U$ and $\eta $ in a compact neighborhood of $\overline {(v_+,h_1(v)_+)}$ . When w approaches v, the set $(w_+,h_1(w)_+)$ will be contained in this compact neighborhood. Then we can change the domain of integration in equation (4) to $(v_+,h_1(v)_+)$ with an error of $\varepsilon \lVert f \rVert _\infty C$ at most.

By the uniform continuity of $\tilde {f}$ , there is a number $r>0$ such that $|\tilde {f}(w)-\tilde {f}(w')|<\varepsilon $ if $d_1(w,w')<r$ . If w is close enough to v, for all $\eta \in (v_+,h_1(v)_+)$ , $P_{H^u(w)}^{-1} (\eta )$ is at distance less than r from $ P_{H^u(v)}^{-1}(\eta )$ . Applying the geodesic flow $g_t$ , $t\ge 0$ to these two vectors, their distance does not increase. Hence, when w is close to v,

$$ \begin{align*} \text{for all }t\ge 0,\ \text{for all }\eta\in (v_+,h_1(v)_+), \quad |\tilde{f}(g_t(P_{H^u(w)}^{-1} (\eta)))-\tilde{f}(g_t(P_{H^u(v)}^{-1} (\eta)))|<\varepsilon. \end{align*} $$

This is essentially the same we did in property (ii) of the proof of Proposition 2.2. If we consider a w close enough to v we can also control the difference between $\exp ({\delta \beta _\eta (x_0,\,P_{H^u(w)}^{-1}(\eta ))})$ and $\exp ({\delta \beta _\eta (x_0,\,P_{H^u(v)}^{-1}(\eta ))})$ . So the values of the functions at w are close to the values at v uniformly in t when the two vectors are close. This shows that $\{M_1(f\circ g_t)\}_{t>0} $ is equicontinuous at v.

We also observe that the function $M_1(f\circ g_t)$ is bounded by the uniform norm $\lVert f \rVert _\infty $ . Both the set $\tilde {\Sigma }$ and the functions $M_R(f):\tilde {\Sigma } \rightarrow \mathbb {R}$ are invariant under $\Gamma $ , so they descend respectively to a set $\Sigma \subset T^1 M$ and some functions $\bar {M}_R(f): \Sigma \rightarrow \mathbb {R}$ . We will apply the Arzelà–Ascoli theorem on the space of continuous functions $C(K)$ over a compact set $K\subset \Sigma $ . For every uniformly continuous and bounded function $f:T^1 M\rightarrow \mathbb {R}$ , the family $\{\bar {M}_1(f\circ g_t)|_K\}_{t>0} \subset C(K)$ is equicontinuous and uniformly bounded, so it is a relatively compact subset of $C(K)$ in the uniform convergence topology. This is enough to prove that $\bar {M}_1(f\circ g_t)|_K$ converges uniformly to $\int f \,\mathrm {d} \mu /\mu (T^1M)$ when $t\to +\infty $ , or we get a contradiction otherwise. Indeed, if we suppose that there is no uniform convergence, there will exist a constant $\varepsilon>0$ , a sequence $t_n\to +\infty $ and points $w_n$ in K such that

(5) $$ \begin{align} \bigg|\bar{M}_1(f\circ g_{t_n})(w_n)-\frac{\int f\, \mathrm{d} \mu}{\mu(T^1M)} \bigg|\ge \varepsilon. \end{align} $$

However, because of the sequential compactness of the closure of $\{\bar {M}_1(f\circ g_t)|_K\}_{t>0}$ , there exists a subsequence $t_{n_k}$ where $\bar {M}_1(f\circ g_{t_{n_k}})|_K$ converges uniformly to some function $\varphi $ in $C(K)$ . In particular, $\bar {M}_1(f\circ g_{t_{n_k}})|_K$ converges pointwise to $\varphi $ , but also to $\int f \,\mathrm {d} \mu /\mu (T^1M)$ as mentioned above (consequence of Theorem A), so $\varphi $ is constant and equal to $\int f \,\mathrm {d} \mu /\mu (T^1M)$ . But $\bar {M}_1(f\circ g_{t_{n_k}})$ converging to $\int f \,\mathrm {d} \mu /\mu (T^1M)$ in the uniform norm contradicts equation (5). We have shown the following result.

Finally, we state Theorem B again and prove it with the help of the Birkhoff averages. Recall that $\Sigma $ is the set of vectors whose horosphere contains a rank 1 recurrent vector, and $\Sigma $ has full $\mu $ -measure in $T^1 M$ .

Proof. Firstly, let us prove that, for every bounded and uniformly continuous function $f:T^1 M\rightarrow \mathbb {R}$ and for every vector v in $\Sigma $ , there exists a sequence $t_n\to +\infty $ such that the Birkhoff integral $\bar {M}_{e^{t_n}}(f)(v)$ tends to $\lambda :=\int f \,\mathrm {d} \mu /\mu (T^1M)$ .

There is a recurrent vector w in the unstable horocycle of v, since v is in $\Sigma $ . Let $t_n$ be a sequence tending to $+\infty $ such that $g_{-t_n}(w)\to w$ . Then obviously $g_{-t_n}(v)$ also tends to w. We consider the compact set $K:=\{g_{-t_n}(v)\}_{n\ge 0}\cup \{w\}\subset \Sigma $ . By Proposition 3.5, the functions $\bar {M}_1(f\circ g_{t})$ converge uniformly on K to the global average $\lambda $ of f. Therefore, using the time-scale relation, we have

$$ \begin{align*} |\bar{M}_{e^{t_n}}(f)(v)-\lambda|=|\bar{M}_1(f\circ g_{t_n})(g_{-t_n}(v))-\lambda|\le \mathop{\mathrm{sup}}\limits_{u\in K}|\bar{M}_1(f\circ g_{t_n})(u)-\lambda|\xrightarrow{n\to +\infty}0. \end{align*} $$

We can now prove that the restriction $\mu |_\Sigma $ of $\mu $ to $\Sigma $ is the unique measure on $\Sigma $ invariant under $h_s$ , up to a multiplicative constant. Suppose that $\nu $ is an ergodic $h_s$ -invariant probability measure on $\Sigma $ . By the Birkhoff ergodic theorem, for every bounded and uniformly continuous function $f:\Sigma \rightarrow \mathbb {R}$ , for $\nu $ -almost every v in $\Sigma $ , we have

$$ \begin{align*} \bar{M}_R(f)(v)=\frac{1}{R}\int_0^R f(h_s(v))\,\mathrm{d} s\xrightarrow{R\to +\infty}\int_{\Sigma} f\,\mathrm{d} \nu. \end{align*} $$

We take v one of the points of $\Sigma $ where $\bar {M}_R(f)$ converges to $\int f\, \mathrm {d} \nu $ . We can extend f to a bounded and uniformly continuous function $\hat {f}$ on $T^1 M$ , because $\Sigma $ is dense in $T^1 M$ . As we have seen, there is a sequence $R_n=e^{t_n}$ where $\bar {M}_R(\hat {f})(v)=\bar {M}_R(f)(v)$ tends to $\lambda $ as well. So we obtain

$$ \begin{align*} \int_{\Sigma} f\, \mathrm{d} \nu =\lambda =\frac{\int_{T^1M} f \, \mathrm{d} \mu}{\mu(T^1 M)} =\frac{\int_{\Sigma} f \,\mathrm{d} \mu}{\mu(\Sigma)}, \end{align*} $$

because $\Sigma $ has full $\mu $ -measure. We have concluded that $\nu $ is equal to the normalization of  $\mu |_\Sigma $ .

3.4 Alternative proof of the unique ergodicity

We would like to point out another way to prove Proposition 3.5, which does not require the equidistribution of horocycles (Theorem A). Instead, we use a version of the Arzelà–Ascoli theorem for the compact-open topology, the ergodic theorem and the fact that there exists a dense horocycle in $\Sigma $ . Actually, we can prove that all the horocycles of $\Sigma $ are dense.

We consider the space of continuous functions $C(\Sigma )$ on the set $\Sigma $ equipped, this time, with the compact-open topology. Recall that, for functions on a metric space, the convergence in the compact-open topology is equivalent to the uniform convergence on compact subsets. The next fact will be used in the alternative proof of Proposition 3.5.

Proof. Recall that a Polish space is a separable completely metrizable topological space. The set of rank 1 recurrent vectors $Rec^1\subset \Sigma $ is a $G_\delta $ subset of $T^1 M$ . Then $Rec^1$ is a Polish space, because $G_\delta $ -subsets of Polish spaces are Polish spaces and $T^1 M$ is Polish.

Finite Borel measures on a Polish space are Radon. For $Rec^1 $ and the restriction of $\mu $ to $Rec^1$ , this means that, given any number $\varepsilon>0$ , there is a compact set $K\subset Rec^1$ such that $\mu (Rec^1 \setminus K)<\varepsilon $ . In addition, the set $Rec^1 $ is of full measure in $T^1 M$ . We have

$$ \begin{align*} \int_\Sigma |f_k-f |^2 \,\mathrm{d} \mu \le 4 C^2 \varepsilon + \int_K |f_k-f |^2 \,\mathrm{d} \mu, \end{align*} $$

where C is a bound of f and the sequence $\{f_n\}$ . The last term tends to $0$ because of the uniform convergence of $f_n$ to f on compact subsets.

Let f be a bounded and uniformly continuous function on $T^1M$ . Applying the Arzelà–Ascoli theorem for the compact-open topology [Reference Dugundji6, Theorem XII.6.4], since the family of functions $\{\bar {M}_1(f\circ g_t)\}_{t>0}$ is equicontinuous and uniformly bounded, we obtain that it has a compact closure in $C(\Sigma )$ with the compact-open topology. To complete the proof of Proposition 3.5, we show that the only accumulation point of $\{\bar {M}_1(f\circ g_t)\}_{t>0}$ in the compact-open topology is the constant function $\int f\,\mathrm {d}\mu /\mu (T^1M)$ .

Let $\varphi $ in $C(\Sigma )$ be the limit of a sequence $\bar {M}_1(f\circ g_{t_k})$ in the compact-open topology, where $t_k\to +\infty $ . By Lemma 3.8, $\varphi $ is the limit in $L^2(\Sigma ,\mu |_\Sigma )$ of the same sequence. On the other hand, we apply the $L^2$ ergodic theorem for the system $(\Sigma ,h_s,\mu |_\Sigma )$ to the function $f\in L^2(\Sigma ,\mu |_\Sigma )$ . This says that $\bar {M}_t(f)$ converges to an $h_s$ -invariant function $\bar {f}$ in the $L^2$ norm, with the equality $\int \bar {f}\,\mathrm {d}\mu =\int f\,\mathrm {d}\mu $ . Thanks to $g_t$ invariance of $\mu $ , we have the inequality

$$ \begin{align*} \lVert \varphi - \bar{f}\circ g_{t_k} \rVert_2\le \lVert \varphi - \bar{M}_1(f\circ g_{t_k}) \rVert_2 + \lVert \bar{f} - \bar{M}_{e^{t_k}}(f) \rVert_2, \end{align*} $$

which implies the $L^2$ -convergence of $\bar {f}\circ g_{t_k}$ to $\varphi $ , because both terms on the right-hand side tend to zero. The function $\bar {f}$ is $h_s$ -invariant, so the $\bar {f}\circ g_{t_k}$ are also invariant because the geodesic and the horocyclic flow commute. Then their limit, the continuous function $\varphi $ of $\Sigma $ , is also invariant under $h_s$ .

In brief, the function $\varphi $ is constant on the orbits of $h_s$ , and these orbits are dense by Lemma 3.7. Since $\varphi $ is continuous, we conclude that it is constant on $\Sigma $ . In fact, the value of the constant is $\int f\,\mathrm {d}\mu /\mu (T^1M)$ , because we have

$$ \begin{align*} \int \varphi \, \mathrm{d} \mu = \int \bar{f} \circ g_{t_k} \, \mathrm{d} \mu =\int \bar{f} \,\mathrm{d} \mu = \int f\, \mathrm{d} \mu. \end{align*} $$

3.5 Final remark

Theorem B does not completely solve the problem of the horocyclic flow in non-positive curvature, since it does not say what happens to the flow outside the set $\Sigma $ . For instance, we wonder if a horocyclic flow defined everywhere on a compact non-positively curved surface is uniquely ergodic. We will study this question for the class of compact manifolds without flat strips in a forthcoming paper.