Holomorphic differentials, thermostats and Anosov flows

TL;DR

This paper introduces a new family of thermostat flows on the unit tangent bundle of Riemannian 2-manifolds, connecting holomorphic differentials with dynamical properties like Anosov behavior and invariant measures.

Contribution

It establishes a parametrization of these flows via weighted holomorphic differentials and analyzes their dynamical properties, including dominated splitting and conditions for Anosov flows.

Findings

Flows include geodesic flows of negatively curved metrics and Hilbert metric flows.

Identifies conditions under which flows are Anosov.

Studies invariant measures and regularity of foliations in special cases.

Abstract

We introduce a new family of thermostat flows on the unit tangent bundle of an oriented Riemannian $2$-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.

Equations

$$K_g=-1+{\delta }_g\theta +(m-1)|A{|}_g^2\text{and}\overline{\partial }A=\left(\frac{m-1}{2}\right)\left(\theta -i{\star }_g\theta \right)\otimes A,$$

$$K_g=-1+(m-1)|A{|}_g^2\text{and}\overline{\partial }A=0.$$

$$\mathcal{H}(M,\mathrm{PSp}(4,\mathbb{R}))\subset \mathcal{H}(M,\mathrm{PSL}(4,\mathbb{R}))\text{and}\mathcal{H}(M,{\mathrm{G}}_{2,0})\subset \mathcal{H}(M,\mathrm{PSL}(7,\mathbb{R})),$$

$$({\omega }_1{)}_{(x,v)}(\xi ):=g\left(d_{(x,v)}\pi (\xi ),v\right);$$

$$({\omega }_2{)}_{(x,v)}(\xi ):=g\left(d_{(x,v)}\pi (\xi ),Jv\right).$$

$$d{\omega }_1$$

$$d{\omega }_2$$

$$d\psi$$

$${\psi }_{(x,v)}(\xi )=g\left(\frac{DZ}{dt}(0),Jv\right),$$

$$[V,X]=H,[V,H]=-X,[X,H]=K_{g}V.$$

$$\frac{D\dot{\gamma }}{dt}=\lambda (\gamma ,\dot{\gamma })J\dot{\gamma }.$$

$$F:=X+\lambda V$$

$$L_F\Theta$$

$$L_H\Theta$$

$$L_V\Theta$$

$$d{\varphi }_t(\xi )=xF+yH+uV$$

$$\dot{x}$$

$$\dot{y}$$

$$\dot{u}$$

$$\rho :E\times \mathbb{R}\to E,([\xi ],t)\mapsto \rho ([\xi ],t)=[d{\varphi }_t(\xi )]$$

$${\rho }_t((x,v),w)=\left({\varphi }_t(x,v),{\Psi }_t(x,v)w\right)$$

$${\Psi }_{t+s}(x,v)={\Psi }_s({\varphi }_t(x,v)){\Psi }_t(x,v)$$

$$\Psi_{t}(x,v):\left(\begin{array}[]{c}y(0)\\ \dot{y}(0)\end{array}\right)\mapsto\left(\begin{array}[]{c}y(t)\\ \dot{y}(t)\end{array}\right)$$

$$\mathbb{B}(x,v):=-{\frac{d}{dt}|}_{t=0}{\Psi }_t(x,v).$$

$$\frac{d}{dt}{\Psi }_t(x,v)+\mathbb{B}({\varphi }_t(x,v)){\Psi }_t(x,v)=0,{\Psi }_0(x,v)=\text{mbox}\mathrm{Id}.$$

$$\mathbb{B}=\left(\begin{array}{cc}0& -1\\ \kappa & -V\lambda \end{array}\right).$$

$${\tilde{\Psi }}_t(x,v)={\mathcal{P}}^{-1}({\varphi }_t(x,v)){\Psi }_t(x,v)\mathcal{P}(x,v).$$

$$\tilde{\mathbb{B}}={\mathcal{P}}^{-1}\mathbb{B}\mathcal{P}+{\mathcal{P}}^{-1}F\mathcal{P}.$$

$$\Vert {\Psi }_{-t}{|}_{E^u}\Vert ⩽C{\eta }^{-t}\text{and}\Vert {\Psi }_t{|}_{E^s}\Vert ⩽C{\zeta }^t.$$

$$\Vert {\Psi }_t{|}_{E^s(x,v)}\Vert \Vert {\Psi }_{-t}{|}_{E^u({\varphi }_t(x,v))}\Vert \le C{\tau }^t.$$

$$\dot{Q}\left([\xi ]\right):={\frac{d}{dt}|}_{t=0}Q\left([d{\varphi }_t(\xi )]\right)$$

$$E^u(x,v)=\bigcap _{t>0}{\Psi }_t({\varphi }_{-t}(x,v)){\mathcal{L}}_{+}({\varphi }_{-t}(x,v)).$$

$$E^{u}(x,v)=\lim_{t\to\infty}\Psi_{t}(\phi_{-t}(x,v))\mathbb{R}\left(\begin{array}[]{c}0\\ 1\end{array}\right).$$

Full text

1. Introduction

We introduce a new family of flows on the unit tangent bundle $SM$ of a closed oriented Riemannian $2$-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

[TABLE]

where $i=\sqrt{-1}$ and where $K_{g}$ denotes the Gauss–curvature, $\delta_{g}$ the co-differential and $\star_{g}$ the Hodge-star with respect to $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 equations (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.

We then turn to the case where $\theta$ vanishes identically, so that $A$ is holomorphic, hence we have

[TABLE]

Note that applying standard quasi-linear elliptic PDE techniques we obtain a unique solution $g$ to (1.2) for every holomorphic differential $A$ on $(M,[g])$, see Remark 5.3. The equations (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 Section 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 equations (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 equations (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_{1}M,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.

Using the equivariant flag curve of Labourie [24], Potrie–Sambarino [34] associate several Anosov flows to every representation $\rho$ in a certain neighbourhood of the Fuchsian locus in $\mathcal{H}(M,\mathrm{PSL}(n,\mathbb{R}))$, $n\geqslant 4$. In particular, using the canonical embeddings

[TABLE]

the work of Labourie [24, 26] and Potrie–Sambarino [34] yields examples of Anosov flows for certain quartic and sixtic holomorphic differential on $(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.

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.

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\to 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)$.

Given a unit vector $v\in T_{x}M$, we will denote by $Jv$ the unique unit vector orthogonal to $v$ such that $\{v,Jv\}$ is an oriented basis of $T_{x}M$. There are two semibasic 1-forms $\omega_{1}$ and $\omega_{2}$ on $SM$, which are defined by the formulas:

[TABLE]

[TABLE]

The form $\omega_{1}$ is the canonical contact form of $SM$ whose Reeb vector field is the geodesic vector field $X$.

A basic theorem in 2-dimensional Riemannian geometry asserts that there exists a unique 1-form $\psi$ on $SM$ – the Levi-Civita connection form of $g$ – such that $\psi(V)=1$ and

[TABLE]

where $K_{g}$ denotes the Gaussian curvature of $g$. In fact, the form $\psi$ is given by

[TABLE]

where $Z:(-\varepsilon,\varepsilon)\to SM$ is any curve with $Z(0)=(x,v)$, $\dot{Z}(0)=\xi$ and $\frac{DZ}{dt}$ is the covariant derivative of $Z$ along the curve $\pi\circ Z$.

For later use it is convenient to introduce the vector field $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

[TABLE]

Equations (2.1–2.3) also imply that the vector fields $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$.

Let $\lambda$ be an arbitrary smooth function on $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

[TABLE]

It is easy to check that

[TABLE]

is the generating vector field of $\phi$.

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**.**

We have:

[TABLE]

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$. ∎

2.1. Jacobi equations

It is easy to derive the ODEs governing the behaviour of $d\phi_{t}$ using the bracket relations above. Given $\xi\in T_{(x,v)}SM$ (the initial conditions), if we write

[TABLE]

then

[TABLE]

where $\kappa:=K_{g}-H\lambda+\lambda^{2}$.

2.2. Quotient cocycle

We consider the rank two quotient vector bundle $E=TSM/\mathbb{R}F$. We use the notation $[\xi]$ with $\xi\in TSM$ for the elements of $E$. Note that $d\phi_{t}$ descends to the quotient to define a mapping

[TABLE]

satisfying $\rho_{t}\circ\rho_{s}=\rho_{t+s}$ for all $t,s\in\mathbb{R}$. The basis of vector fields $(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\to GL(2,\mathbb{R})$ defined by the rule

[TABLE]

for all $((x,v),w)\in E\simeq SM\times\mathbb{R}^{2}$. The map $\Psi:SM\times\mathbb{R}\to GL(2,\mathbb{R})$ satisfies

[TABLE]

for all $(x,v)\in SM$ and $t,s\in\mathbb{R}$, and hence defines an $GL(2,\mathbb{R})$-valued cocycle on $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

[TABLE]

where $\ddot{y}(t)-V(\lambda)(\phi_{t}(x,v))\dot{y}(t)+\kappa(\phi_{t}(x,v))y(t)=0$.

Note that for thermostats the 2-plane bundle spanned by $H$ and $V$ is in general not invariant under $d\phi_{t}$.

2.3. Infinitesimal generators and conjugate cocycles

Given a cocycle $\Psi_{t}:SM\times\mathbb{R}\to GL(2,\mathbb{R})$ we define its infinitesimal generator $\mathbb{B}:SM\to\mathfrak{gl}(2,\mathbb{R})$ as

[TABLE]

The cocycle $\Psi_{t}$ can be recovered from $\mathbb{B}$ as the unique solution to

[TABLE]

For the case of thermostats, it is immediate to check that

[TABLE]

Given a smooth map $\mathcal{P}:SM\to GL(2,\mathbb{R})$ (a gauge) we can define a new cocycle by conjugation as

[TABLE]

It is easy to check that the infinitesimal generator $\tilde{\mathbb{B}}$ of $\tilde{\Psi}_{t}$ is related to $\mathbb{B}$ by

[TABLE]

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**.**

The cocycle $\Psi_{t}$ is said to be 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

[TABLE]

We also say:

Definition 3.3**.**

The cocycle $\Psi_{t}$ is said to have a 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

[TABLE]

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 3-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** (Wojtkowski).**

Let $Q$ be a continuous non-degenerate quadratic form on $E$. Suppose furthermore that the derivative

[TABLE]

exists for all $[\xi]\in E$. Then $\Psi_{t}$ has a dominated splitting if $\dot{Q}([\xi])>0$ for all $[\xi]\neq 0$ with $Q([\xi])=0$. If the stronger property $\dot{Q}([\xi])>0$ for all $[\xi]\neq 0$ holds, then $\Psi_{t}$ is hyperbolic.

In what follows it will be helpful to understand how the spaces $E^{u,s}$ are constructed using $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 1-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

[TABLE]

All our quadratic forms $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,

[TABLE]

Let us put these ideas to use. Define ${\mathbb{K}}=\kappa+FV\lambda$.

Proposition 3.5**.**

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

Proof.

We let $(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

[TABLE]

Then

[TABLE]

where $y$ is the unique solution of

[TABLE]

with $y(0)=a$ and $\dot{y}(0)=b$. A simple calculation shows that

[TABLE]

Since $\mathbb{K}<0$ we see that

[TABLE]

for $(a,b)\neq 0$ and such that $Q_{(x,v)}(a,b)=0$. Then Proposition 3.4 immediately implies that $\Psi_{t}$ has a dominated splitting. We can upgrade that to hyperbolic as follows. If we let $z:=\dot{y}-V(\lambda)y$, then the quadratic form is just $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\to\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. ∎

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**.**

Let $p:SM\to\mathbb{R}$ be a smooth function such that

[TABLE]

Then $\phi$ has a dominated splitting. If in addition $\kappa_{p}+\frac{(V\lambda)^{2}}{4}<0$, then the flow is Anosov.

Proof.

The quadratic form to consider is $Q=zy$, where $z:=\dot{y}-py$. A calculation shows that

[TABLE]

We see that $\dot{Q}>0$ whenever $zy=0$, but $(y,z)\neq 0$. The claim in the theorem again follows from Proposition 3.4. Also note that

[TABLE]

unless $(z,y)=0$. Hence the flow is Anosov by Proposition 3.4. ∎

Remark 3.8*.*

Let us see the main issue with upgrading the last theorem to “hyperbolic” as in the proof of Proposition 3.5. Certainly we get continuous (Hölder in fact) functions $r^{s,u}$. To be definite consider the case of $E^{u}$ and initial conditions $(y(0),\dot{y}(0))\in E^{u}$. Then $\dot{y}=r^{u}y$ and $z=(r^{u}-p)y$ with $r^{u}-p>0$ as before. But now $\dot{z}=(V\lambda-p)z-\kappa_{p}y=(V\lambda-p-\frac{\kappa_{p}}{r^{u}-p})z$. To get exponential growth we either need:

[TABLE]

and it is not clear how to get any of these conditions in this generality. In the special cases above $p=0$ or $p=V\lambda$, we do get one of these conditions. In all these cases the function $r=r^{u,s}$ satisfies the Riccati equation

[TABLE]

which is easily derived using the invariance of $E^{s,u}$ and the Jacobi equation $\ddot{y}-V(\lambda)\dot{y}+\kappa y=0$. Observe that $h:=r-p$ satisfies the Riccati equation

[TABLE]

Using (3.2) we can also give a construction of functions $r^{u,s}$ at the level of the Riccati equation as follows. Fix $(x,v)$ and consider for each $R>0$, the unique solution $u_{R}$ to the Riccati equation along $\phi_{t}(x,v)$

[TABLE]

satisfying $u_{R}(-R)=\infty$. Then (3.2) translates easily into

[TABLE]

Note that $r^{u}(\phi_{t}(x,v))=\lim_{R\to\infty}u_{R}(t)$. These limiting solutions exist whenever the cocycle $\Psi_{t}$ has no conjugate points [2]. It is easy to check that in all the cases we consider below, the cocycle $\Psi_{t}$ is free of conjugate points.

Remark 3.9*.*

This remark attempts to clarify the role of the function $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

[TABLE]

Consider a gauge transformation $\mathcal{P}:SM\to GL(2,\mathbb{R})$ given by

[TABLE]

A calculation using (2.12) shows that the conjugate cocyle $\tilde{\Psi}_{t}$ via $\mathcal{P}$ has infinitesimal generator given by

[TABLE]

The cocycles $\Psi_{t}$ and $\tilde{\Psi}_{t}$ share the same dominated splitting/hyperbolicity properties by virtue of being conjugate, but the form of $\tilde{\mathbb{B}}$ exposes clearly the origins of these properties via $\kappa_{p}<0$ (cf. [42, Introduction]). The trace of both matrices, which is $-V\lambda$ (minus divergence of $F$), indicates the dissipative nature of thermostats.

4. Applications

We consider now some special choices of $\lambda$. To this end let $\theta$ be a $1$-form on $M$ which we may equivalently think of as a function $\theta:SM\to\mathbb{R}$ satisfying $VV\theta=-\theta$. For later use we record that the co-differential of $\theta$ and its Hodge-star satisfy

[TABLE]

Moreover, let $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\to\mathbb{R}$ satisfying $VVa=-m^{2}a$, explicitly, we obtain

[TABLE]

so that

[TABLE]

The thermostat flows we investigate are of the form $\lambda=a-V\theta$. We will see next that they admit a dominated splitting provided a natural pair of equations is satisfied by the triple $(g,A,\theta)$. In order to derive these equations we first need a Lemma.

Lemma 4.1**.**

We have

[TABLE]

iff

[TABLE]

Remark 4.2*.*

Note that applying $V$ we see that (4.4) is equivalent to

[TABLE]

Proof of Lemma 4.1.

We use the complex notation $\tilde{a}=Va/m+ia$ and $\omega=\omega_{1}+i\omega_{2}$. Since $VVa=-m^{2}a$, we compute that there exist unique complex-valued functions $\tilde{a}^{\prime}$ and $\tilde{a}^{\prime\prime}$ so that

[TABLE]

In particular, we have $\pi^{*}(\overline{\partial}A)=\tilde{a}^{\prime\prime}\overline{\omega}\otimes\omega^{m}$. Since

[TABLE]

we obtain

[TABLE]

We also have

[TABLE]

Hence (4.3) is equivalent to

[TABLE]

Taking the real part gives (4.4). ∎

Remark 4.3*.*

Recall that a torsion-free connection on $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

[TABLE]

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**.**

Suppose $\lambda=a-V\theta$ and take $p=Va/m+\theta$. Then $\kappa_{p}\equiv-1$ if and only if the following two equations are identically satisfied

[TABLE]

Proof.

Taking $p=Va/m+\theta$ gives

[TABLE]

where we have used (4.1), (4.2) and $VVa=-m^{2}a$ as well as $VV\theta=-\theta$. Using Lemma 4.1 we see that $\kappa_{p}\equiv-1$ provided (4.6) and (4.7) are identically satisfied. Conversely, suppose $\kappa_{p}\equiv-1$. Since $K_{g}-\delta_{g}\theta-(m-1)|A|^{2}_{g}$ is constant along the fibres of $SM\to M$, we obtain

[TABLE]

Lemma 4.1 and Remark 4.2 therefore imply that (4.7) must hold. Hence we also identically have

[TABLE]

which is equivalent to (4.6). ∎

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.

The fact that there is a dominated splitting follows from $\kappa_{p}<0$. For $m=2$ we note that

[TABLE]

Thus $\kappa_{p}+(Va)^{2}/4<0$ and the Anosov property follows from Theorem 3.7. ∎

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**.**

There exists a canonical bijection between the following sets:

• (i)

the holomorphic line bundle structures on $L_{m}$;

• (ii)

the $[g]$-conformal connections on $TM$.

Before we prove Lemma 4.8, we first recall some basic facts about conformal connections. Let us fix a Riemannian metric $g\in[g]$. It follows from Koszul’s identity that the $[g]$-conformal connections are of the form

[TABLE]

where $\theta\in\Omega^{1}(M)$, ${}^{g}\nabla$ denotes the Levi-Civita connection of $g$ and $\theta^{\sharp}$ the $g$-dual vector field of $\theta$. Moreover, for $u\in C^{\infty}(M)$, we have [6, Theorem 1.159]

[TABLE]

from which one easily computes

[TABLE]

Since ${}^{(g,\theta)}\nabla g=2\,\theta\otimes g$ and ${}^{(g,\theta)}\nabla\mathrm{e}^{2u}g=2\,(\theta+du)\otimes\mathrm{e}^{2u}g$, we conclude that the $[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

[TABLE]

for $u\in C^{\infty}(M)$. For later usage we also record that the symmetric part of the Ricci curvature of ${}^{(g,\theta)}\nabla$ satisfies

[TABLE]

Proof of Lemma 4.8.

Let $\overline{\partial}_{L_{m}}:\Gamma(M,L_{m})\to\Omega^{0,1}(M,L_{m})$ be a holomorphic line bundle structure on $L_{m}$. Observe that $(\det g)^{-(m-1)/4}$ is a non-vanishing section of $L_{m}$, hence

[TABLE]

is a $(0,\!1)$-form on $M$. Thus there exists a unique $1$-form $\theta$ on $M$ so that

[TABLE]

If we instead consider the metric $\hat{g}=\mathrm{e}^{2u}g$ for $u\in C^{\infty}(M)$, then we obtain

[TABLE]

with $\hat{\theta}=\theta+du$. It follows that $\overline{\partial}_{L_{m}}$ defines a Weyl structure on $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

[TABLE]

and hence also $\overline{\partial}_{L_{m}}=\overline{\partial}^{\prime}_{L_{m}}$.

Conversely, let ${}^{(g,\theta)}\nabla$ be a $[g]$-conformal connection, then

[TABLE]

Extending ${}^{(g,\theta)}\nabla$ complex linearly, we obtain a connection on the complex line bundle $L_{m}$ whose curvature form is (since ${\mbox{dim}}\,_{{\mathbb{C}}}M=1$) an $\mathrm{End}(L_{m})$-valued $(1,\!1)$-form on $M$. Thus, standard results imply (c.f. [23, Prop. 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

[TABLE]

Therefore, the Weyl structure determined by $\overline{\partial}_{L_{m}}$ is $[g,\theta]$, thus proving the claim. ∎

Given a section $P$ of $L_{m}\otimes K_{M}^{m}$ we can define

[TABLE]

where $A:=\left(\det g\right)^{(m-1)/4}\otimes P$. It is straightforward to check that the quadratic form

[TABLE]

only depends on $[g]$.

We now have:

Proposition 4.9**.**

Let $m\geqslant 2$. On a compact oriented surface $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

[TABLE]

• (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.

Suppose $(g,A,\theta)$ is a triple satisfying

[TABLE]

We equip $L_{m}$ with the holomorphic line bundle structure induced by the conformal connection ${}^{(g,\theta)}\nabla$. Define $P:=\left(\det g\right)^{-(m-1)/4}\otimes A$, then $P$ is a holomorphic section of $L_{m}\otimes K_{M}^{m}$. Indeed, we compute

[TABLE]

In addition, we observe that the symmetric part of the Ricci curvature of ${}^{(g,\theta)}\nabla$ satisfies

[TABLE]

which is obviously negative definite. Clearly, the just described map from the first set of triples into the second set of triples is injective.

Conversely, suppose $L_{m}$ is equipped with a holomorphic line bundle structure $\overline{\partial}_{L_{m}}$ and let $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

[TABLE]

Note that $(\det g_{0})^{(m-1)/4}$ is a non-vanishing section of $L_{m}^{-1}$ and hence $A_{0}$ is a section of $K_{M}^{m}$. Since $P$ is holomorphic it follows that there exists a unique $1$-form $\theta_{0}$ on $M$ such that

[TABLE]

Now make the Ansatz $g=\mathrm{e}^{2u}g_{0}$ for $u\in C^{\infty}(M)$ and $A=\left(\det g\right)^{(m-1)/4}\otimes P=A_{0}\mathrm{e}^{u(m-1)}$. Then

[TABLE]

where $\theta=\theta_{0}+du$. Since

[TABLE]

where $\Delta_{g}=-\left(\delta_{g}d+d\delta_{g}\right)$, we obtain

[TABLE]

where now all norms and operators are with respect to $g_{0}$. This simplifies to become an algebraic equation for $u$

[TABLE]

Clearly, this equation uniquely determines $u$ provided $1+\delta\theta_{0}+(m-1)|A_{0}|^{2}$ is positive. Note that this happens if and only if

[TABLE]

is negative definite, but ${}^{(g_{0},\theta_{0})}\nabla$ is just the conformal connection induced by $\overline{\partial}_{L_{m}}$. Finally, by construction, the triple associated to $(g,A,\theta)$ is $([g],\overline{\partial}_{L_{m}},P)$. ∎

Remark 4.10* (W-Flows).*

The W-Flows of Wojtkowski [41] are also covered by the thermostat flows defined by triples $(g,A,\theta)$ satisfying (4.6) and (4.7) in the case where the conformal connection ${}^{(g,\theta)}\nabla$ defining the W-flow has negative definite symmetric Ricci curvature, that is, satisfies $(K_{g}-\delta_{g}\theta)<0$. Indeed, suppose the pair $(g,\theta)$ satisfies $(K_{g}-\delta_{g}\theta)<0$. Let $u=\frac{1}{2}\ln\left(\delta_{g}\theta-K_{g}\right)$ and consider $(\hat{g},\hat{\theta})=(\mathrm{e}^{2u}g,\theta+du)$. Then the pairs $(g,\theta)$ and $(\hat{g},\hat{\theta})$ define the same conformal connection and hence equivalent W-flows. Using  (4.8) and the identity $\delta_{\exp(2u)g}=\mathrm{e}^{-2u}\delta_{g}$ for the co-differential acting on $1$-forms, we compute

[TABLE]

Hence the triple $(\hat{g},0,\hat{\theta})$ satisfies (4.6) and (4.7). In particular, we see that the geodesic flow of metrics of negative Gauss curvature also fit into our family of flows.

5. The case of holomorphic differentials

We have seen that a triple $(g,A,\theta)$ solving (4.6) and (4.7) yields a holomorphic section of $L_{m}\otimes K_{M}^{m}$ with respect to some appropriate holomorphic line bundle structure on $L_{m}$. We now restrict to the case where the differential $A$ is already holomorphic so that we obtain the coupled vortex equations

[TABLE]

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.

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.

The proof is quite similar to the proof of [4, Proposition 3.3], the reader may also compare with [10, Theorem 5.1]. The claim is obviously correct if $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

[TABLE]

gives

[TABLE]

where we write $\alpha=|A|^{2}_{g_{0}}$. The inequality $K_{g}\leqslant 0$ is equivalent to

[TABLE]

and is clearly satisfied at the points where $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

[TABLE]

which is defined on the open set $M^{\circ}:=\left\{x\in M:A(x)\neq 0\right\}$. Note that using $f$ the equation (5.2) becomes

[TABLE]

As $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

[TABLE]

where we have used (5.4). It follows that $f(x_{0})\geqslant 0$ and hence $f\geqslant 0$ on all of $M^{\circ}$. This shows that $K_{g}\leqslant 0$. It order to prove $K_{g}<0$, we first remark that the function $f-1+\mathrm{e}^{-f}$ is non-negative on $M^{\circ}$. Consequently,  (5.5) gives

[TABLE]

where $\Delta_{g}=\mathrm{e}^{-2u}\Delta$ denotes the Laplacian with respect to $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

[TABLE]

on $U_{x}$. Therefore, by applying the strong maximum principle [16, Theorem 3.5] to the operator $\Delta_{g_{0}}-c$, it follows that if $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. ∎

Remark 5.3*.*

From (5.2) we see that $u$ solves a PDE of the form $\Delta u=G(x,u)$ where

[TABLE]

Since $\alpha\geqslant 0$ we have $G(x,u)\leqslant-1+\mathrm{e}^{2u}$ and hence $G(x,u)<0$ for $u<0$. On the other hand, for $u>\sup_{x\in M}\frac{1}{2}\log(1+(m-1)\alpha(x))\geqslant 0$ we get

[TABLE]

Since

[TABLE]

standard quasi-linear elliptic PDE methods (see for instance [37, Proposition 1.9]) imply that (5.2) has a unique smooth solution $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$.

We now show that $r^{u}>0$ (the proof that $r^{s}<0$ is similar). Set $h=r^{u}-V(a)/m$. Then $h$ satisfies

[TABLE]

where

[TABLE]

Given $(x,v)\in SM$, consider for each $R>0$, the unique solution $h_{R}$ to the Riccati equation along $\phi_{t}(x,v)$:

[TABLE]

satisfying $h_{R}(-R)=\infty$. Using (3.5) we derive

[TABLE]

Let $c:=\max_{(x,v)}|B(x,v)|$ and $\ell:=\frac{\sqrt{c^{2}+4}-c}{2}$. If we let $f_{R}:=h_{R}-\ell$, then $f_{R}$ solves

[TABLE]

where $w:=f_{R}+B+2\ell$ and $q:=-\ell^{2}-B\ell+1$. Observe that $q\geqslant 0$ by our definitions of $c$ and $\ell$. We can solve the inhomogeneous linear equation (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

[TABLE]

By Lemma 5.2 we have $c<(m-2)/\sqrt{m-1}$ and $V(a)/m>-1/\sqrt{m-1}$. Thus

[TABLE]

as desired. ∎

Remark 5.4*.*

As we have seen, Corollary 4.6 asserts that given a triple $(g,A,\theta)$ satisfying  (4.6) and (4.7), the associated thermostat flow has a dominated splitting. When $\theta=0$, Theorem 5.1 tells us that we can do better and in fact the thermostat flow is Anosov. At the “other end”, that is, when $A=0$, we also know by Proposition 3.5 that the thermostat flow is also Anosov (in this case $\mathbb{K}=K_{g}-\delta_{g}\theta=-1$). These two “ends” are Anosov for different reasons, connected with the discussion in Remark 3.8. In the case $\theta=0$, as we have just seen, one uses that $r^{u}>0$, that is, the first case in (3.3). In the case $A=0$, we use the second case in (3.3). It is conceivable that the thermostat flow is always Anosov for any triple $(g,A,\theta)$ satisfying  (4.6) and (4.7), but at the time of writing it is not at all clear how to prove this. It should be noted that for the special case of the geodesic flow it is well known that a dominated splitting must be Anosov. We can see this fairly quickly using quadratic forms as follows. Suppose $r^{u,s}:SM\to\mathbb{R}$ are two continuous functions such that $Xr^{u,s}+[r^{s,u}]^{2}+K_{g}=0$ and $r^{u}-r^{s}\neq 0$ everywhere. Define

[TABLE]

Then a calculation shows

[TABLE]

unless $y=\dot{y}=0$. Hence by Proposition 3.4 the geodesic flow is Anosov.

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.

We write the volume form as $\mathrm{e}^{-u}\Theta$ for some real-valued function $u$ on $SM$. Thus, using (2.6), we obtain

[TABLE]

Hence the claim follows by showing that if $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\to{\mathbb{R}}$ is any smooth function then

[TABLE]

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

In our case $\lambda=a$ and a calculation shows that if we pick $c=V(a)/m$, then

[TABLE]

hence for this choice of $c$, (5.8) simplifies to

[TABLE]

If $Fu=Va$, then $VFu=-m^{2}a$ and we compute using that $X$ and $H$ preserve $\Theta$ and that $XVa-mHa=0$:

[TABLE]

where the last equation is obtained using that $Xu=Va-aVu$ and $c=V(a)/m$. Inserting this back into (5.9), we see that the equality obtained can only hold if $Va$ and hence $a$ vanishes identically. ∎

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$

Consider a pair $(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 equation (3.4) reduces to

[TABLE]

From this we clearly see that $r^{u,s}=\pm 1+V(a)/2$ and hence the weak bundles

[TABLE]

are smooth. This class of thermostats flows was first considered in [33], where the coupled vortex equations for $m=2$ were derived assuming that the weak foliations were smooth. Theorem 4.6 in [15] asserts that a smooth Anosov flow on a closed 3-manifold with weak stable and unstable foliations of class $C^{1,1}$, is smoothly orbit equivalent to a suspension or to a 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$

Let now $(g,A,\theta)$ be a triple on $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

[TABLE]

We define a $1$-form on $SM$ with values in $\mathfrak{gl}(2,\mathbb{R})$

[TABLE]

It is a consequence of the equivariance properties

[TABLE]

that the $1$-form $\Upsilon$ is the connection $1$-form of a unique (torsion-free) connection $\nabla$ on the tangent bundle $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\geq 3$. One approach to this question would be to compute the Godbillon–Vey invariant following [33]. Unfortunately for $m\geq 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 3-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$. ∎

Remark 7.2*.*

It is instructive to discuss Theorem 7.1 in the light of the remarks in Section 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\to 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*.*

Taking $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

[TABLE]

for left-invariant $1$-forms $\omega_{1},\omega_{2},\psi$ on $\mathrm{SO}(3)$. Moreover, we orient $S^{2}$ such that an orientation compatible volume form pulls back to $\mathrm{SO}(3)$ to become a positive multiple of $\omega_{1}\wedge\omega_{2}$ and orient $L_{0}$ in such a way that $\omega_{1}$ is positive on positive vectors of $L_{0}$.

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}\to 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 $2$-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$.

Clearly, if a path geometry is flat, then it must have the property that its paths agree with the geodesics of some projective structure. In [32, Proposition 3.4] it is shown that the path geometry defined by a thermostat $X+\lambda V$ shares its paths with the geodesics of some projective structure if and only if

[TABLE]

Using this fact we immediately obtain:

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.

Suppose the path geometry associated to $(g,A)$ is flat. Recall that for our choice $\lambda=a$ we have $VVa=-m^{2}a$, hence (8.1) gives

[TABLE]

Consequently, $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. ∎