# Holomorphic differentials, thermostats and Anosov flows

- 628 Downloads

## Abstract

We introduce a new family of thermostat flows on the unit tangent bundle of an oriented Riemannian two-manifold. Suitably reparametrised, these flows include the geodesic flow of metrics of negative Gauss curvature and the geodesic flow induced by the Hilbert metric on the quotient surface of divisible convex sets. We show that the family of flows can be parametrised in terms of certain weighted holomorphic differentials and investigate their properties. In particular, we prove that they admit a dominated splitting and we identify special cases in which the flows are Anosov. In the latter case, we study when they admit an invariant measure in the Lebesgue class and the regularity of the weak foliations.

## 1 Introduction

*SM*of a closed oriented Riemannian two-manifold (

*M*,

*g*) of negative Euler characteristic. The flows are (generalised) thermostat flows and are generated by \(C^{\infty }\) vector fields of the form \(F:=X+(a-V\theta )V\), where

*X*,

*V*denote the geodesic and vertical vector fields on

*SM*, \(\theta \) is a 1-form on

*M*—thought of as a real-valued function on

*SM*—and

*a*represents a differential

*A*of degree \(m\geqslant 2\) on

*M*. The triple \((g,A,\theta )\) determining the flow is subject to the equations

*g*and the orientation. The case \(m=3\) of these equations appeared previously in [31] (assuming \(\theta \) is closed), where it is related to certain torsion-free connections on

*TM*which admit an interpretation as Lagrangian minimal surfaces. Here we prove that our flows admit a dominated splitting and moreover, that this family of flows admits a parametrisation in terms of holomorphic data. Indeed, we show that a triple \((g,A,\theta )\) satisfying the Eq. (1.1) determines a holomorphic line bundle structure on the smooth complex line bundle \(L_m:=\Lambda ^2(TM)^{(m-1)/2}\otimes {\mathbb C}\), so that the “weighted differential” \(P=\left( \det g\right) ^{-(m-1)/4}\otimes A\) is a holomorphic section of \(L_m\otimes K_M^m\) and such that a certain negative curvature condition holds. Here \(K_M\) denotes the canonical bundle of (

*M*,

*g*). Conversely, given a closed hyperbolic Riemann surface (

*M*, [

*g*]), a holomorphic line bundle structure on \(L_m\) and a holomorphic section

*P*of \(L_m\otimes K^m_{M}\) satisfying a certain negative curvature condition, we construct a triple \((g,A,\theta )\) solving (1.1) and hence one of our flows, by using the uniformisation theorem and by solving an algebraic equation only.

In [41], Wojtkowski introduced W-flows by suitably reparametrising the geodesics of a Weyl connection (or conformal connection). We show that the case where *A* vanishes identically corresponds to W-flows associated to conformal connections on the tangent bundle of a surface that have negative definite symmetrised Ricci curvature. In particular, we recover [41, Theorem 5.2], by showing that the flow associated to a triple \((g,0,\theta )\) solving (1.1) is Anosov. This is achieved by providing sufficiency conditions for a general thermostat flow to admit a dominated splitting and to have the Anosov property, see Proposition 3.5 and Theorem 3.7.

*A*is holomorphic, hence we have

*g*to (1.2) for every holomorphic differential

*A*on (

*M*, [

*g*]), see Remark 5.3. The Eq. (1.2) admit an interpretation as

*coupled vortex equations*, see in particular [10, §5]. The case \(m=2\) was considered in [33] in the context of Anosov thermostats admitting smooth weak bundles (see Sect. 6 for more details). In the case \(m=3\), the first equation is known as Wang’s equation in the affine sphere literature. In [38], Wang related its solution to a complete hyperbolic affine 2-sphere in \(\mathbb {R}^3\), in particular

*g*is known as the

*Blaschke metric*. Moreover, for \(m=3\), a pair (

*g*,

*A*) on

*M*solving (1.2) defines a

*properly convex projective structure*on

*M*and hence turns

*M*into a properly convex projective surface, see [25] and [29]. The universal cover \(\Omega \) of a properly convex projective surface of negative Euler characteristic is a strictly and properly convex domain in the projective plane \({\mathbb {RP}}^2\) which admits a cocompact action by a group \(\Gamma \) of projective transformations. Consequently, we obtain a (two-dimensional)

*divisible convex set*. Since \(\Omega \) is convex, it is equipped with the Hilbert metric and moreover, the Hilbert metric descends to define a Finsler metric on the quotient surface \(M\simeq \Omega /\Gamma \), see in particular [21] for a nice survey of these ideas. We observe that the geodesic flow of the Finsler metric is a \(C^1\) reparametrisation of the flow we associate to the pair (

*g*,

*A*). Benoist has shown [3] that if \((\Omega ,\Gamma )\) is a divisible convex set (not necessarily two-dimensional), then the geodesic flow of the Finsler metric

*F*induced on \(\Omega /\Gamma \)—henceforth just called the Hilbert geodesic flow—is Anosov if and only if \(\Omega \) is strictly convex. Since the Anosov property is invariant under reparametrisation, we may ask if the thermostat flow associated to a pair (

*g*,

*A*) solving (1.2) is Anosov for all \(m\geqslant 2\). This is indeed the case, we obtain:

### Theorem 5.1

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the associated thermostat flow is Anosov.

The hyperbolicity properties of thermostats satisfying (1.1) are not apparent. To expose them, we first conjugate the derivative cocycle to another one in which we can see the effect of Eq. (1.1). This conjugation requires a careful choice of gauge, but once that is established, standard methods using quadratic forms give rise to a dominated splitting. To upgrade this dominated splitting to hyperbolic as in the case of Theorem 5.1 requires an additional ingredient in the form of Lemma 5.2 below which asserts that \(K_{g}<0\); this gives control on the potentially problematic size of *A*.

In the same way as geodesic flows are paradigms of conservative systems, thermostats may be seen as paradigms of dissipative systems. The special case of Gaussian thermostats (\(a=0\)) has provided interesting models in nonequilibrium statistical mechanics [11, 12, 35]. The next theorem shows that Anosov thermostat flows determined by the coupled vortex equations are indeed dissipative except when \(A=0\).

### Theorem 5.5

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the associated thermostat flow preserves an absolutely continuous measure if and only if *A* vanishes identically.

We remark that due to a theorem of Ghys [13] Anosov thermostat flows are Hölder orbit equivalent to the geodesic flow of (any) negatively curved metric of *M* and hence transitive (to be precise, [13] establishes a topological equivalence and the Hölder orbit equivalence follows from [20, Theorem 19.1.5]).

In [3], Benoist also observes that the regularity of the weak foliations of the Hilbert geodesic flow coincides with the regularity of the boundary of the divisible convex set \((\Omega ,\Gamma )\). By a result of Benzécri [5], the boundary has regularity \(C^2\) if and only if \(\Omega \) is an ellipsoid, in which case the induced Finsler metric is Riemannian and hyperbolic. Hence one might speculate that if a solution to the coupled vortex Eq. (1.2) gives rise to an Anosov flow having a weak foliation of regularity \(C^2\), then *A* vanishes identically. While we cannot prove this in general, we use Theorem 5.5 to resolve the odd case:

### Theorem 7.1

Suppose an Anosov thermostat given by the coupled vortex equations has a weak foliation of class \(C^{2}\) and *m* is odd. Then *A* vanishes identically.

The orbits of our flow—when projected to the surface *M*— define what is known as a path geometry on *M*, that is, a prescription of a path on *M* for every direction in each tangent space. In the case where *A* vanishes identically the paths are the geodesics of a hyperbolic metric and in the case where \(m=3\) the paths are the geodesics of a properly convex projective structure. In both cases, the path geometry is *flat*, by which we mean it is locally equivalent to the path geometry of great circles on the 2-sphere. In the final section of the article we show:

### Theorem 8.3

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the path geometry defined by the thermostat associated to (*g*, *A*) is flat if and only if \(m=3\) or *A* vanishes identically.

Holomorphic differentials appear naturally in higher Teichmüller theory and here we briefly provide some context for our results while referring the reader to the recent survey [39] by Wienhard for a nice introduction to this currently very active research topic. Generalizing Teichmüller space, Hitchin [18] identified a connected component \(\mathcal {H}(M,G)\) — nowadays called the *Hitchin component*—in the representation variety \(\mathrm {Hom}\left( \pi _1M,G\right) /G\), where *M* is a connected closed oriented surface of negative Euler characteristic and *G* a real split Lie group. Fixing a conformal structure [*g*] on *M*, Hitchin used the theory of Higgs bundles [19] to provide a parametrisation of \(\mathcal {H}(M,G)\) in terms of holomorphic differentials on (*M*, [*g*]). While Hitchin’s parametrisation of \(\mathcal {H}(M,G)\) relies on the choice of an arbitrary conformal structure [*g*] on *M*, Labourie [26] was recently able to construct a canonical parametrisation of \(\mathcal {H}(M,G)\) in the case where *G* is \(\mathrm {PSL}(3,\mathbb {R})\), \(\mathrm {PSp}(4,\mathbb {R})\) or the split form \(\mathrm {G}_{2,0}\) of the exceptional group \(\mathrm {G}_2\) (see also [25] and [29] for the case \(G=\mathrm {PSL}(3,\mathbb {R})\)). More precisely, Labourie obtains a mapping class group equivariant identification of \(\mathcal {H}(M,G)\) with the fibre bundle over Teichmüller space whose fibre at *J* is \(H^0(M,K_{M,J}^3)\), \(H^0(M,K_{M,J}^4)\) and \(H^0(M,K_{M,J}^6)\) respectively. By the work of Goldman [17] and Choi–Goldman [8] the component \(\mathcal {H}(M,\mathrm {PSL}(3,\mathbb {R}))\) consists of (conjugacy classes of) monodromy representations of properly convex projective structures on *M* and this together with the work of Labourie [25, 26] and Loftin [29] yields the aforementioned description of properly convex projective structures in terms of pairs ([*g*], *A*) with *A* a holomorphic cubic differential.

*M*, [

*g*]). It would be interesting to know how these flows relate to the flows introduced here. We plan to investigate this in future work.

## 2 Preliminaries on general thermostats

Let *M* be a closed oriented surface equipped with a Riemannian metric *g*, *SM* its unit circle bundle and \(\pi :SM\rightarrow M\) the canonical projection. The latter is in fact a principal \(\mathrm {SO}(2)\)-bundle and we let *V* be the infinitesimal generator of the action of \(\mathrm {SO}(2)\).

*Jv*the unique unit vector orthogonal to

*v*such that \(\{v,Jv\}\) is an oriented basis of \(T_{x}M\). There are two semibasic one-forms \(\omega _1\) and \(\omega _2\) on

*SM*, which are defined by the formulas:

*SM*whose Reeb vector field is the geodesic vector field

*X*.

*SM*—the Levi-Civita connection form of

*g*—such that \(\psi (V)=1\) and

*g*. In fact, the form \(\psi \) is given by

*Z*along the curve \(\pi \circ Z\).

*H*uniquely defined by the conditions \(\omega _2(H)=1\) and \(\omega _1(H)=\psi (H)=0\). The vector fields

*X*,

*H*,

*V*are dual to \(\omega _1,\omega _2,\psi \) and as a consequence of (2.1–2.3) they satisfy the commutation relations

*X*,

*H*and

*V*preserve the volume form \(\omega _1\wedge d\omega _1\) and hence the Liouville measure. Note that the flow of

*H*is given by \(R^{-1}\circ \phi ^0_t\circ R\), where \(R(x,v)=(x,Jv)\) and \(\phi ^0_t\) is the geodesic flow of

*g*.

*SM*. For several of the results that we will describe below, we will not need \(\lambda \) to be a special polynomial in the velocities. We consider a (generalised)

*thermostat flow*on (

*M*,

*g*), that is, a flow \(\phi \) defined by

Now let \(\Theta :=-\omega _1\wedge d\omega _1=\omega _1\wedge \omega _2\wedge \psi \). This volume form generates the Liouville measure \(d\mu \) of *SM*.

### Lemma 2.1

### Proof

Note that for any vector field *Y*, \(L_{Y}\Theta =d(i_{Y}\Theta )\), by Cartan’s formula. Since \(i_{V}\Theta =\omega _1\wedge \omega _2=\pi ^*\Omega _{a}\), where \(\Omega _{a}\) is the area form of *M*, we see that \(L_{V}\Theta =0\). Similarly, \(L_{X}\Theta =L_{H}\Theta =0\). Finally \(L_{F}\Theta =L_{X}\Theta +L_{\lambda V}\Theta =d(i_{\lambda V}\Theta )= V(\lambda )\Theta \). \(\square \)

### 2.1 Jacobi equations

### 2.2 Quotient cocycle

*E*. Note that \(d\phi _t\) descends to the quotient to define a mapping

*F*,

*H*,

*V*) on

*SM*defines a vector bundle isomorphism \(TSM \simeq SM\times \mathbb {R}^3\) and consequently an identification \(E\simeq SM \times \mathbb {R}^2\). Therefore, for each \(t \in \mathbb {R}\), we obtain a unique map \(\Psi _t : SM \rightarrow GL(2,\mathbb {R})\) defined by the rule

*SM*with respect to the \(\mathbb {R}\)-action defined by \(\phi \). Explicitly, \(\Psi _t\) is the matrix whose action on \(\mathbb {R}^2\) is given by

Note that for thermostats the two-plane bundle spanned by *H* and *V* is in general *not* invariant under \(d\phi _{t}\).

### 2.3 Infinitesimal generators and conjugate cocycles

## 3 Dominated splitting and hyperbolicity for thermostats

We are interested in the questions: when is this cocycle hyperbolic? When does it have a dominated splitting? We start with some definitions.

### Definition 3.1

The cocycle \(\Psi _t\) is *free of conjugate points* if any non-trivial solution of the Jacobi equation \(\ddot{y}-V(\lambda )\dot{y}+\kappa y=0\) with \(y(0)=0\) vanishes only at \(t=0\).

### Definition 3.2

*hyperbolic*if there exists a splitting \(E=E^{u}\oplus E^{s}\) where \(E^u,E^s\) are continuous \(\rho \)-invariant line subbundles of

*TSM*, and constants \(C>0\) and \(0<\zeta<1<\eta \) such that for all \(t>0\) we have

We also say:

### Definition 3.3

*dominated splitting*if there is a continuous \(\rho \)-invariant splitting \(E=E^{u}\oplus E^{s}\), and constants \(C>0\) and \(0<\tau <1\) such that for all \(t>0\) we have

Obviously hyperbolicity implies dominated splitting. It also implies that there are no conjugate points [9]. Moreover the cocycle \(\Psi _{t}\) is hyperbolic if and only if the thermostat flow \(\phi \) is Anosov (cf. for instance [40, Proposition 5.1] where it is proved that the subbundles \(E^{s,u}\) of *E* lift to subbundles of *TSM* to give the usual definition of Anosov flow). We shall say that \(\phi \) has a dominated splitting if \(\Psi _{t}\) has a dominated splitting (this is the adequate notion of dominated splittings for flows, see e.g. [1, Definition 1]). For the case of flows on three-manifolds, as it is our case, the existence of a dominated splitting can produce hyperbolicity if one has additional information on the closed orbits. Indeed [1, Theorem B] implies that if all closed orbits of \(\phi \) are hyperbolic saddles, then \(SM=\Lambda \cup \mathcal T\) where \(\Lambda \) is a hyperbolic invariant set and \(\mathcal T\) consists of finitely many normally hyperbolic irrational tori.

A very convenient way to establish the aforementioned properties for cocycles is to use quadratic forms as in [28, 41, 42]. In particular, we have [42, Proposition 4.1 & Theorem 4.4]:

### Proposition 3.4

*Q*be a continuous non-degenerate quadratic form on

*E*. Suppose furthermore that the derivative

*Q*. This is explained in detail in [42, Proposition 4.1], so here we just give a brief summary adapted to our situation. We let \(\mathcal L_{+}(x,v)\) denote the set of all one-dimensional subspaces

*W*such that \(Q_{(x,v)}\) is positive on

*W*. The condition on the quadratic form

*Q*ensures that \(\Psi _{t}\) acts as a contraction on \(\mathcal L_{+}\) and hence there is a unique point of intersection

*Q*below will have the property that \(Q(0,b)=0\) (using the identification \(E\simeq SM \times \mathbb {R}^2\)) and hence we can construct \(E^{u}\) (and \(E^s\)) simply by applying the procedure (3.1) to the vertical subspace \(\mathbb {R}(0,1)\), that is,

### Proposition 3.5

Assume \(\mathbb {K}<0\). Then \(\phi \) is Anosov.

### Proof

*a*,

*b*) denote the standard coordinates on \(\mathbb {R}^2\). Using the identification \(E\simeq SM\times \mathbb {R}^2\) we define a quadratic form on

*E*by the rule

*y*is the unique solution of

*zy*. By the construction of the subspaces \(E^{s,u}\) (cf. (3.1)) we see that \(E^{s,u}\) do not contain neither \(z=0\), nor \(y=0\). Hence there exist continuous functions \(r^{s,u}:SM\rightarrow \mathbb {R}\) such that \(H+r^{s,u} V\in E^{s,u}\). Moreover, we see that \(r^{u}-V\lambda >0\) and \(r^{s}-V\lambda <0\). Consider now a solution with initial conditions \((y(0),\dot{y}(0))\in E^{u}\). Then \(z=(r^{u}-V\lambda )y\) and \(\dot{z}=-\mathbb {K}y=-\mathbb {K}(r^{u}-V\lambda )^{-1}z\). This gives exponential growth for

*z*and hence the desired exponential growth for \(\Psi _{t}\) on \(E^{u}\). Arguing in a similar way with \(E^{s}\), we deduce that \(\Psi _{t}\) is hyperbolic. \(\square \)

### Remark 3.6

By considering the quadratic form \(Q=y\dot{y}\) we can deduce with a similar proof that if \(\kappa <0\) the thermostat flow \(\phi \) is Anosov. This is because \(\dot{Q}=\dot{y}^{2}-\kappa y^{2}+V(\lambda )y\dot{y}\). We have \(r^{u}>0\) and hyperbolicity follows from \(\dot{y}=r^{u}y\) when \((y(0),\dot{y}(0))\in E^{u}\).

In fact we can generalise this further as follows.

### Theorem 3.7

### Proof

### Remark 3.8

*x*,

*v*) and consider for each \(R>0\), the unique solution \(u_{R}\) to the Riccati equation along \(\phi _{t}(x,v)\)

### Remark 3.9

*p*in terms of conjugate cocycles and infinitesimal generators as in Subsection 2.3. As we have already pointed out, the infinitesimal generator \(\mathbb B\) for a thermostat is given by

*F*), indicates the dissipative nature of thermostats.

## 4 Applications

*M*which we may equivalently think of as a function \(\theta : SM \rightarrow \mathbb {R}\) satisfying \(VV\theta =-\theta \). For later use we record that the co-differential of \(\theta \) and its Hodge-star satisfy

*A*be a differential of degree

*m*on

*M*with \(m\geqslant 2\). By this we mean a section of the

*m*-th tensorial power of the canonical bundle \(K_{M}\) of (

*M*,

*g*). Likewise, we may equivalently think of a differential

*A*of degree

*m*on

*M*as a real-valued function \(a : SM \rightarrow \mathbb {R}\) satisfying \(VVa=-m^2a\), explicitly, we obtain

### Lemma 4.1

### Remark 4.2

*V*we see that (4.4) is equivalent to

### Proof of Lemma 4.1

### Remark 4.3

*TM*preserving a conformal structure [

*g*] is called a

*Weyl connection*or

*conformal connection*. More precisely, \(\nabla \) preserves [

*g*] if for some (and hence any) \(g\in [g]\), there exists a 1-form \(\theta \), so that

### Remark 4.4

(The case \(m=1\)) We could also consider the case \(\lambda =a-V\theta \) with *a* representing a differential of degree \(m=1\), that is, a \((1,\! 0)\)-form. We exclude this case since it corresponds to the case where *A* vanishes identically by defining \(\theta ^{\prime }=Va\) and considering \(\lambda ^{\prime }=-V(\theta ^{\prime }-\theta )=\lambda \). Flows defined by \(\lambda =-V\theta =\) were studied previously under the name *W*-flows as they arise naturally by reparametrising the geodesics of a Weyl connection, see [41]. In particular in [41, Theorem 5.2] it is proved that *W*-flows are Anosov provided \(K_g-\delta _g\theta <0\). A simple computation gives that \(\mathbb {K}=K_g-\delta _g \theta \) hence we recover [41, Theorem 5.2] by applying Proposition 3.5. In particular, we see that if *A* is a holomorphic 1-form and *g* satisfies \(K_g<0\), then the associated thermostat flow is Anosov.

We now want to apply Theorem 3.7 to the case \(\lambda =a-V\theta \) for some good choice of *p*.

### Lemma 4.5

### Proof

Combining Theorem 3.7 and Lemma 4.5 we thus immediately obtain:

### Corollary 4.6

Let \((g,A,\theta )\) be a triple on *M* satisfying (4.6) and (4.7). Then the associated thermostat flow admits a dominated splitting.

We also observe:

### Proposition 4.7

Consider a pair (*g*, *A*) with *A* holomorphic and \(K_g<0\). Then the associated thermostat flow has a dominated splitting. Moreover, for \(m=2\), the flow is Anosov.

### Proof

### 4.1 Parametrising thermostat flows arising from differentials

It turns out that the thermostat flows defined by triples \((g,A,\theta )\) satisfying (4.6) and (4.7) can be parametrised in terms of complex geometric data. For \(m\geqslant 2\) define the (smooth) complex line bundle \(L_m:=\Lambda ^2(TM)^{(m-1)/2}\otimes {\mathbb C}\).

### Lemma 4.8

- (i)
the holomorphic line bundle structures on \(L_m\);

- (ii)
the [

*g*]-conformal connections on*TM*.

*g*]-conformal connections are of the form

*g*and \(\theta ^{\sharp }\) the

*g*-dual vector field of \(\theta \). Moreover, for \(u \in C^{\infty }(M)\), we have [6, Theorem 1.159]

*g*]-conformal connections are in one-to-one correspondence with

*Weyl structures*, where by a Weyl structure we mean an equivalence class \([g,\theta ]\) subject to the equivalence relation

### Proof of Lemma 4.8

*M*. Thus there exists a unique 1-form \(\theta \) on

*M*so that

*M*. Moreover, if two holomorphic line bundle structures \(\overline{\partial }_{L_m}\) and \(\overline{\partial }^{\prime }_{L_m}\) on \(L_m\) determine the same Weyl structure \([g,\theta ]\), then they satisfy

*g*]-conformal connection, then

*M*. Thus, standard results imply (c.f. [23, Proposition 1.3.7]) that there exists a unique holomorphic line bundle structure \(\overline{\partial }_{L_m}\) on \(L_m\) so that \(\overline{\partial }_{L_m}={}^{(g,\theta )}\nabla ^{(0,1)}\). Finally, we have

*P*of \(L_{m}\otimes K_{M}^{m}\) we can define

*g*].

We now have:

### Proposition 4.9

*M*with \(\chi (M)<0\) the following sets are in one-to-one correspondence:

- (i)the triples \((g,A,\theta )\) consisting of a Riemannian metric
*g*, a differential*A*of degree*m*and a 1-form \(\theta \) such that$$\begin{aligned} K_g=-1+\delta _g\theta +(m-1)|A|^2_g\quad \text {and}\quad \overline{\partial } A=\left( \frac{m-1}{2}\right) \left( \theta -i\star \theta \right) \otimes A; \end{aligned}$$ - (ii)
the triples \(([g],\overline{\partial }_{L_m},P)\) consisting of a conformal structure [

*g*], a holomorphic line bundle structure \(\overline{\partial }_{L_m}\) on \(L_m\) and a holomorphic section*P*of \(L_m\otimes K_M^m\) having the property that the symmetric part of the Ricci curvature of the conformal connection associated to \(\overline{\partial }_{L_m}\) plus \((1-m)\mathbb {P}\) is negative definite.

### Proof

*P*is a holomorphic section of \(L_m\otimes K_M^m\). Indeed, we compute

*P*be a holomorphic section of \(L_m\otimes K_M^m\). Assume furthermore that the symmetric part of the Ricci curvature of the conformal connection associated to \(\overline{\partial }_{L_m}\) plus \((1-m)\mathbb {P}\) is negative definite. We will next use these data to construct a triple \((g,A,\theta )\) solving the above equations. Let \(g_0 \in [g]\) denote the hyperbolic metric in the conformal equivalence class and define

*P*is holomorphic it follows that there exists a unique 1-form \(\theta _0\) on

*M*such that

*u*

*u*provided \(1+\delta \theta _0+(m-1)|A_{0}|^{2}\) is positive. Note that this happens if and only if

### Remark 4.10

## 5 The case of holomorphic differentials

*A*is already holomorphic so that we obtain the coupled vortex equations

### 5.1 Anosov flows

It is possible to upgrade Corollary 4.6 in the case where *A* is holomorphic as follows:

### Theorem 5.1

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the associated thermostat flow is Anosov.

### Proof

We already know that there is a dominated splitting, so taking into account Remark 3.8, the strategy will be to show that \(r^{u}>0\) and \(r^{s}<0\). We will do this using the following lemma. \(\square \)

### Lemma 5.2

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then \(-1\leqslant K_g<0\).

### Proof

*A*vanishes identically, hence we assume this not to be the case. We first prove the inequality \(K_g\leqslant 0\). As before let \(g_0\) denote the hyperbolic metric in the conformal equivalence class of

*g*and write \(g=\mathrm {e}^{2u}g_0\) for \(u \in C^{\infty }(M)\). Using

*A*vanishes. Therefore, taking the logarithm of (5.3), we see that \(K_g\leqslant 0\) follows from the non-negativity of the smooth function

*f*the Eq. (5.2) becomes

*M*is compact, the Gauss curvature \(K_g\) attains its maximum at some point \(x_0\) and moreover \(x_0 \in M^{\circ }\). Consequently, the function

*f*attains its infimum at \(x_0\). A straightforward calculation gives \(\Delta \log \alpha =-2m\), where we use that

*A*is holomorphic. At the minimum \(x_0\) of

*f*we thus obtain

*g*. In particular, it follows that for every point \(x \in M^{\circ }\) there exists a constant \(c>0\), an

*x*-neighbourhood \(U_x\) and a flat metric \(g_0\) on \(U_x\) which lies in the conformal equivalence of

*g*, so that

*f*vanishes at some point in \(U_x\), then it vanishes on all of \(U_x\) and consequently on \(M^{\circ }\). Since

*A*is holomorphic, its zeros are isolated and hence \(M^{\circ }\) is dense in

*M*. Since \(K_g\) is continuous we conclude that if \(K_g\) vanishes at some point on

*M*, then it vanishes identically on

*M*, but this possibility is excluded by the Gauss–Bonnet theorem. \(\square \)

### Remark 5.3

*u*solves a PDE of the form \(\Delta u=G(x,u)\) where

*u*for every smooth non-negative function \(\alpha \). Consequently, for every holomorphic differential

*A*on (

*M*, [

*g*]) we obtain a unique solution (

*g*,

*A*) to the coupled vortex equations \(K_g=-1+(m-1)|A|^2_g\) and \(\overline{\partial } A=0\).

*h*satisfies

*c*and \(\ell \). We can solve the inhomogeneous linear Eq. (5.7) and use that \(q\geqslant 0\) to derive \(f_{R}(t)\geqslant 0\) and thus \(h_{R}(t)\geqslant \ell \). By taking limits, and using (5.6), we obtain

### Remark 5.4

### 5.2 Dissipation and volume

We will now prove the following result stated in the introduction.

### Theorem 5.5

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the associated thermostat flow preserves an absolutely continuous measure if and only if *A* vanishes identically.

### Proof

Since the flow is of class \(C^{\infty }\) and Anosov, an application of the smooth Livšic theorem [27, Corollary 2.1] shows that \(\phi _t\) preserves an absolutely continuous measure if and only if \(\phi _t\) preserves a smooth volume form.

*u*on

*SM*. Thus, using (2.6), we obtain

*u*solves \(Fu=Va\), then

*a*vanishes identically. In order to show this we use the following \(L^2\) identity proved in [22, Equation (5)] which is in turn an extension of an identity in [36] for geodesic flows. The identity holds for arbitrary thermostats \(F=X+\lambda V\). If we let \(H_{c}:=H+cV\) where \(c:SM\rightarrow {\mathbb R}\) is any smooth function then

*u*is any smooth function. All norms and inner products are \(L^{2}\) with respect to the volume form \(\Theta \).

*c*, (5.8) simplifies to

*X*and

*H*preserve \(\Theta \) and that \(XVa-mHa=0\):

*Va*and hence

*a*vanishes identically. \(\square \)

## 6 The cases \(m=2\) and \(m=3\)

In this section we consider the special cases of \(m=2,3\) and their peculiarities. These flows have appeared in different contexts and for different reasons and in this section we explain these features.

### 6.1 The case \(m=2\)

*g*,

*A*) where

*A*is a quadratic differential with \(\bar{\partial }A=0\) and \(K_g=-1+|A|^{2}_{g}\). By Theorem 5.1, the associated thermostat flow is Anosov. These flows have the distinctive feature that their weak bundles are of class \(C^{\infty }\). Indeed for this case \(p=V(a)/2\), \(\kappa _{p}=-1\) and Eq. (3.4) reduces to

*quasi-fuchsian flow*as described in [14, Théorème B]. (In our case, since we are working with circles bundles the latter alternative holds.) A quasi-fuchsian flow \(\psi \) depends on a pair of points \(([g_1],[g_2])\) in Teichmüller space, has smooth weak stable foliation \(C^{\infty }\)-conjugate to the weak stable foliation of the constant curvature metric \(g_1\) and smooth weak unstable foliation \(C^{\infty }\)-conjugate to the weak unstable foliation of the constant curvature metric \(g_2\). Moreover, \(\psi \) preserves a volume form if and only if \([g_1]=[g_2]\). The analogous result on the thermostat side is provided by Theorem 5.5 which asserts that the thermostat flow preserves a volume form iff \(A=0\). It is an interesting question (first raised in [33]) to decide if the thermostat flows originating from the coupled vortex equations \(\bar{\partial }A=0\), \(K_g=-1+|A|^{2}_{g}\) describe all possible quasi-fuchsian flows \(\psi \).

### 6.2 The case \(m=3\)

*M*satisfying (4.6) and (4.7) with

*A*being a cubic differential. The connection form of the Levi-Civita connection on the tangent bundle

*TM*is

*SM*with values in \(\mathfrak {gl}(2,\mathbb {R})\)

*TM*. Moreover, since the interior product \(i_F\Upsilon ^2_1\) vanishes identically for \(\lambda =a-V\theta \), it follows that the geodesics of the connection \(\nabla \) can be reparametrised to agree with the projections to

*M*of the orbits of the thermostat flow defined by \(\lambda \), see [32, Lemma 3.1] for details. Moreover, if \(\theta \) is closed the connection \(\nabla \) admits an interpretation as a Lagrangian minimal surface, see [31]. If

*A*is holomorphic so that \(\theta \) vanishes identically, then the connection \(\nabla \) defines a properly convex projective structure on

*M*, see the work of Labourie [25] and [30, 31]. This means that the universal cover \(\Omega \) of

*M*is a properly convex open subset of the real projective plane \(\mathbb {RP}^2\) for which there exists a discrete group \(\Gamma \) of projective transformations which acts cocompactly on \(\Omega \) and so that \(M=\Omega /\Gamma \). Thus, \((\Omega ,\Gamma )\) is a divisible convex set. Moreover, the segments of the projective lines \(\mathbb {RP}^1\) contained in \(\Omega \) project to

*M*to agree with the (unparametrised) geodesics of \(\nabla \). The universal cover \(\Omega \) being a convex set, it is equipped with the Hilbert metric. The geodesic flow of the Hilbert metric descends to \(\mathbb {S}M\) and by a result of Benoist [3], is Anosov if and only if \(\Omega \) is strictly convex. In [3], it is also shown that a divisible convex set is strictly convex if and only if the group dividing it is word-hyperbolic. Since the fundamental group of a closed surface of negative Euler characteristic is word-hyperbolic, it thus follows from known results that the thermostat flow associated to a holomorphic cubic differential is a reparametrisation of an Anosov flow. However, since the Anosov property is invariant under reparametrisation of the flow, we conclude that the thermostat flow associated to a holomorphic cubic differential is Anosov, which is the statement of our Theorem 5.1 for the special case \(m=3\).

## 7 Regularity of weak foliations

As we previously mentioned, the case of \(m=2\) has the distinctive feature of having weak bundles of class \(C^{\infty }\). It is natural to ask what happens for \(m\ge 3\). One approach to this question would be to compute the Godbillon–Vey invariant following [33]. Unfortunately for \(m\ge 3\) this calculation does not yield information conducive to an answer. However, for the case *m* odd, we can use reversibility of the flow combined with Theorem 5.5 to derive:

### Theorem 7.1

Suppose an Anosov thermostat given by the coupled vortex equations has a weak foliation of class \(C^{2}\) and *m* is odd. Then *A* vanishes identically.

### Proof

When *m* is odd there is an important additional symmetry in the flow: the flip \(\sigma \) given by \((x,v)\mapsto (x,-v)\). We note that this map is isotopic to the identity. If \(\phi \) denotes the thermostat flow then, \(\sigma \circ \phi _{t}=\phi _{-t}\circ \sigma \). This relation easily implies that \(\sigma \) maps the weak stable foliation to the unstable one. Hence, if one of them is of class \(C^{2}\), the other one is also of class \(C^2\).

As we have already mentioned, Theorem 4.6 in [15] asserts that a smooth Anosov flow on a closed three-manifold with weak stable and unstable foliations of class \(C^{2}\), is smoothly orbit equivalent to a quasi-fuchsian flow \(\psi \) that depends on a pair of points \(([g_1],[g_2])\) in Teichmüller space. The flow \(\psi \) has smooth weak stable foliation \(C^{\infty }\)-conjugate to the weak stable foliation of the constant curvature metric \(g_1\) and smooth weak unstable foliation \(C^{\infty }\)-conjugate to the weak unstable foliation of the constant curvature metric \(g_2\). But since \(\sigma \) is isotopic to the identity we must have \([g_{1}]=[g_{2}]\) and \(\psi \) is an ordinary geodesic flow preserving a volume form. Thus our thermostat flow preserves a volume form and by Theorem 5.5 we must have \(A=0\). \(\square \)

### Remark 7.2

It is instructive to discuss Theorem 7.1 in the light of the remarks in Sect. 6 for \(m=3\). As pointed out, in this case, the thermostat flow is a \(C^{\infty }\) parametrisation of the geodesic foliation of a Hilbert metric. Benoist observes in [3] that the regularity of the weak foliations of the Hilbert geodesic flow coincides with the regularity of the boundary. Hence if the boundary of the strictly convex domain defining the Hilbert metric is \(C^2\), then the associated thermostat flow also has \(C^2\) weak foliations and therefore \(A=0\). This implies that the convex domain is an ellipsoid, thus recovering a result of Benzécri [5] for the case of 2-dimensional domains (note however, that the proof in [5] is more direct and straightforward).

## 8 The path geometry defined by a thermostat

A thermostat naturally defines a path geometry and in this final section we show that the path geometry associated to the thermostat coming from a holomorphic differential *A* of degree \(m\geqslant 2\) is flat if and only if *A* vanishes identically or \(m=3\). The former case corresponds to the paths being the geodesics of a hyperbolic metric and the latter case to the paths being the geodesics of a convex projective structure. We first recall some elementary facts about path geometries while referring the reader to [7] for further details.

An *(oriented) path geometry* on an oriented surface *M* is given by an oriented line bundle *L* on the projective circle bundle \(\mathbb {S}M:=\left( TM\setminus \{0\}\right) /\mathbb {R}^+\) having the property that *L* together with the vertical bundle of the projection map \(\nu : \mathbb {S}M\rightarrow M\) spans the contact distribution of \(\mathbb {S}M\). The *paths* of *L* are the projections of its integral curves to *M*. Note that the orientation of *L* naturally equips its paths with an orientation.

### Example 8.1

*M*to be the oriented 2-sphere \(S^2\), we obtain a canonical path geometry \(L_0\) whose paths are the great circles. In this case \(\mathbb {S}S^2\simeq \mathrm {SO}(3)\) and \(L_0\) is the line bundle defined by \(\omega _2=\psi =0\), where we write the Maurer–Cartan form \(\omega _{\mathrm {SO}(3)}\) of \(\mathrm {SO}(3)\) as

### Definition 8.2

A path geometry *L* on *M* is called *flat*, if for every point \(p \in M\), there exists a neighbourhood \(U_p\) and an orientation preserving diffeomorphism \(f : U_p \rightarrow V\) onto some open subset \(V\subset S^2\), which maps the positively oriented paths contained in \(U_p\) onto positively oriented great circles.

Let now \(F=X+\lambda V\) be a thermostat on the unit tangent bundle *SM* of a oriented Riemannian two-manifold (*M*, *g*). We henceforth identify \(SM \simeq \mathbb {S}M\) in the obvious way. In doing so, we obtain a path geometry by defining \(L:=\mathbb {R}F\) and by declaring vectors in *L* to be positive if they are positive multiples of *F*.

### Theorem 8.3

Let (*g*, *A*) be a pair satisfying the coupled vortex equations \(\bar{\partial }A=0\) and \(K_g=-1+(m-1)|A|^{2}_{g}\). Then the path geometry defined by the thermostat associated to (*g*, *A*) is flat if and only if \(m=3\) or *A* vanishes identically.

### Proof

*g*,

*A*) is flat. Recall that for our choice \(\lambda =a\) we have \(VVa=-m^2 a\), hence (8.1) gives

*a*and hence

*A*must vanish identically or \(m=3\).

Conversely, assume *A* is a cubic differential satisfying \(\overline{\partial } A=0\) and \(K_g=-1+2|A|^2_g\). The path geometry associated to (*g*, *A*) defines a properly convex projective structure on the oriented surface *M*. An oriented properly convex projective surface is an example of a surface carrying a (*G*, *X*)-structure where \(X=\mathbb {S}^2\) is the oriented projective 2-sphere and \(G=\mathrm {SL}(3,\mathbb {R}\)) its group of projective transformations, cf. [21]. In particular, it follows that the path geometry associated to (*g*, *A*) is flat. \(\square \)

## Notes

### Acknowledgements

The authors are grateful to Nigel Hitchin, Rafael Potrie and Andy Sanders for helpful conversations and the anonymous referee for her/his careful reading and many useful suggestions. GPP was partially funded by EPSRC grant EP/M023842/1 and TM was partially funded by the priority programme SPP 2026 “Geometry at Infinity” of DFG.

## References

- 1.Arroyo, A., Rodríguez Hertz, F.: Homoclinic bifurcations and uniform hyperbolicity for three-dimensional flows. Ann. Inst. H. Poincaré Anal. Non Linéaire
**20**, 805–841 (2003)MathSciNetCrossRefzbMATHGoogle Scholar - 2.Assylbekov, Y., Dairbekov, N.: Hopf type rigidity for thermostats. Ergod. Th. Dynam. Sys
**34**, 1761–1769 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 3.Benoist, Y.: Convexes divisibles. I. In: Algebraic groups and arithmetic, Tata Inst. Fund. Res., Mumbai, pp. 339–374. MR 2094116 (2004)Google Scholar
- 4.Benoist, Y., Hulin, D.: Cubic differentials and hyperbolic convex sets. J. Differ. Geom.
**98**, 1–19 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Benzécri, J.-P.: Sur les variétés localement affines et localement projectives. Bull. Soc. Math. France.
**88**, 229–332 (1960)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Besse, A.: Einstein manifolds, classics in mathematics. Springer, Berlin (1987)CrossRefGoogle Scholar
- 7.Bryant, R.L.: Projectively flat Finsler \(2\)-spheres of constant curvature. Sel. Math. (N.S.)
**3**, 161–203 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 8.Choi, S., Goldman, W.M.: Convex real projective structures on closed surfaces are closed. Proc. Amer. Math. Soc.
**118**, 657–661 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 9.Dairbekov, N.S., Paternain, G.P.: Entropy production in Gaussian thermostats. Commun. Math. Phys.
**269**, 533–543 (2007)MathSciNetCrossRefzbMATHGoogle Scholar - 10.Dumas, D., Wolf, M.: Polynomial cubic differentials and convex polygons in the projective plane. Geom. Funct. Anal.
**25**, 1734–1798 (2015)MathSciNetCrossRefzbMATHGoogle Scholar - 11.Gallavotti, G.: New methods in nonequilibrium gases and fluids. Open Sys. Inf. Dyn.
**6**, 101–136 (1999)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Gallavotti, G., Ruelle, D.: SRB states and nonequilibrium statistical mechanics close to equilibrium. Commun. Math. Phys.
**190**, 279–281 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Ghys, É.: Flots d’Anosov sur les \(3\)-variétés fibrées en cercles. Ergod. Theory Dynam. Syst.
**4**, 67–80 (1984)CrossRefzbMATHGoogle Scholar - 14.Ghys, É.: Déformations de flots d’Anosov et de grupes fuchsiens. Ann. Inst. Fourier
**42**, 209–247 (1992)CrossRefzbMATHGoogle Scholar - 15.Ghys, É.: Rigidité différentiable des grupes fuchsiens. Publ. Math. IHES
**78**, 163–185 (1993)CrossRefzbMATHGoogle Scholar - 16.Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order, classics in mathematics. Springer, Berlin (1998)Google Scholar
- 17.Goldman, W.M.: Convex real projective structures on compact surfaces. J. Differ. Geom.
**31**, 791–845 (1990)MathSciNetCrossRefzbMATHGoogle Scholar - 18.Hitchin, N.J.: Lie groups and Teichmüller space. Topology
**31**, 449–473 (1992)MathSciNetCrossRefzbMATHGoogle Scholar - 19.Hitchin, N.J.: The self-duality equations on a Riemann surface. Proc. Lond. Math. Soc.
**55**, 59–126 (1987)MathSciNetCrossRefzbMATHGoogle Scholar - 20.Katok, A., Hasselblatt, B.: Introduction to the modern theory of dynamical systems, encyclopedia of mathematics and its Applications
**54**. Cambridge University Press, Cambridge (1995). please check the pblisher locaton in ref. [2., 23]CrossRefzbMATHGoogle Scholar - 21.Kim, I., Papadopoulos, A.: Convex real projective structures and Hilbert metrics, handbook of Hilbert geometry. IRMA Lect. Math. Theor. Phys.
**22**, 307–338 (2014)Google Scholar - 22.Jane, D., Paternain, G.P.: On the injectivity of the X-ray transform for Anosov thermostats. Discrete Contin. Dyn. Syst.
**24**, 471–487 (2009)MathSciNetCrossRefzbMATHGoogle Scholar - 23.Kobayashi, S.: Differential geometry on complex vector bundles. Princeton University Press, Princeton (1987)CrossRefzbMATHGoogle Scholar
- 24.Labourie, F.: Anosov flows, surface groups and curves in projective space. Invent. Math.
**165**, 51–114 (2006)MathSciNetCrossRefzbMATHGoogle Scholar - 25.Labourie, F.: Flat projective structures on surfaces and cubic holomorphic differentials. Pure Appl. Math. Q.
**3**, 1057–1099 (2007)MathSciNetCrossRefzbMATHGoogle Scholar - 26.Labourie, F.: Cyclic surfaces and Hitchin components in rank 2. Ann. of Math.
**185**, 1–58 (2017)MathSciNetCrossRefzbMATHGoogle Scholar - 27.de la Llave, R., Marco, J.M., Moriyon, R.: Canonical perturbation theory of Anosov systems and regularity for the Livsic cohomology equation. Ann. Math.
**123**, 537–611 (1986)MathSciNetCrossRefzbMATHGoogle Scholar - 28.Lewowicz, J.: Lyapunov functions and topological stability. J. Diff. Equ.
**38**, 192–209 (1980)MathSciNetCrossRefzbMATHGoogle Scholar - 29.Loftin, J.C.: Affine spheres and convex \(\mathbb{RP}^n\)-manifolds. Amer. J. Math.
**123**, 255–274 (2001)MathSciNetCrossRefzbMATHGoogle Scholar - 30.Mettler, T.: Extremal conformal structures on projective surfaces (2015). arXiv:1510.01043
- 31.Mettler, T.: Minimal Lagrangian connections on compact surfaces (2016). arXiv:1609.08033
- 32.Mettler, T., Paternain, G.P.: Convex projective surfaces with compatible Weyl connection are hyperbolic (2018). arXiv:1804.04616
- 33.Paternain, G.P.: Regularity of weak foliations for thermostats. Nonlinearity
**20**, 87–104 (2007)MathSciNetCrossRefzbMATHGoogle Scholar - 34.Potrie, R., Sambarino, A.: Eigenvalues and entropy of a Hitchin representation. Invent. Math.
**209**, 885–925 (2017)MathSciNetCrossRefzbMATHGoogle Scholar - 35.Ruelle, D.: Smooth dynamics and new theoretical ideas in nonequilibrium statistical mechanics. J. Statist. Phys.
**95**, 393–468 (1999)MathSciNetCrossRefzbMATHGoogle Scholar - 36.Sharafutdinov, V.A., Uhlmann, G.: On deformation boundary rigidity and spectral rigidity of Riemannian surfaces with no focal points. J. Diff. Geom.
**56**, 93–110 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 37.Taylor, M.E.: Partial differential equations III. Nonlinear equations, 2nd edn. Springer, New York (2011)CrossRefzbMATHGoogle Scholar
- 38.Wang, C.P.: Some examples of complete hyperbolic affine \(2\)-spheres in \(\mathbb{R}^3\), global differential geometry and global analysis, lecture notes in math, vol. 1481, pp. 271–280. Springer, Berlin (1991)Google Scholar
- 39.Wienhard, A.: An invitation to higher Teichmüller theory (2018). arXiv:1803.06870
- 40.Wojtkowski, M.P.: Magnetic flows and Gaussian thermostats on manifolds of negative curvature. Fund. Math.
**163**, 177–191 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 41.Wojtkowski, M.P.: W-flows on Weyl manifolds and Gaussian thermostats. J. Math. Pures Appl.
**79**, 953–974 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 42.Wojtkowski, M.P.: Monotonicity, \({\cal{J}}\)-algebra of Potapov and Lyapunov exponents. In: Smooth ergodic theory and its applications (Seattle, WA, 1999). Proc. Sympos. Pure Math., vol. 69. Amer. Math. Soc., Providence, RI, pp 499–521. MR 1858544 (2001)Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.