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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We introduce a new family of flows on the unit tangent bundle 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
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 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.
We then turn to the case where \(\theta \) vanishes identically, so that A is holomorphic, hence we have
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 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.
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
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.
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)\).
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 one-forms \(\omega _1\) and \(\omega _2\) on SM, which are defined by the formulas:
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 two-dimensional Riemannian geometry asserts that there exists a unique one-form \(\psi \) on SM—the Levi-Civita connection form of g—such that \(\psi (V)=1\) and
where \(K_g\) denotes the Gaussian curvature of g. In fact, the form \(\psi \) is given by
where \(Z:(-\varepsilon ,\varepsilon )\rightarrow 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
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
It is easy to check that
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:
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
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
then
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
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 \rightarrow GL(2,\mathbb {R})\) defined by the rule
for all \(((x,v),w) \in E\simeq SM\times \mathbb {R}^2\). The map \(\Psi : SM \times \mathbb {R}\rightarrow GL(2,\mathbb {R})\) satisfies
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
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 two-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}\rightarrow GL(2,\mathbb {R})\) we define its infinitesimal generator \(\mathbb {B}:SM\rightarrow \mathfrak {gl}(2,\mathbb {R})\) as
The cocycle \(\Psi _{t}\) can be recovered from \(\mathbb {B}\) as the unique solution to
For the case of thermostats, it is immediate to check that
Given a smooth map \(\mathcal P:SM\rightarrow GL(2,\mathbb {R})\) (a gauge) we can define a new cocycle by conjugation as
It is easy to check that the infinitesimal generator \(\tilde{\mathbb {B}}\) of \(\tilde{\Psi }_{t}\) is related to \(\mathbb {B}\) by
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
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
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
(Wojtkowski). Let Q be a continuous non-degenerate quadratic form on E. Suppose furthermore that the derivative
exists for all \([\xi ] \in E\). Then \(\Psi _t\) has a dominated splitting if \(\dot{Q}([\xi ])>0\) for all \([\xi ]\ne 0\) with \(Q([\xi ])=0\). If the stronger property \(\dot{Q}([\xi ])>0\) for all \([\xi ]\ne 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 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
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,
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
Then
where y is the unique solution of
with \(y(0)=a\) and \(\dot{y}(0)=b\). A simple calculation shows that
Since \(\mathbb {K}<0\) we see that
for \((a,b)\ne 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\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
Let \(p:SM\rightarrow \mathbb {R}\) be a smooth function such that
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
We see that \(\dot{Q}>0\) whenever \(zy=0\), but \((y,z)\ne 0\). The claim in the theorem again follows from Proposition 3.4. Also note that
unless \((z,y)=0\). Hence the flow is Anosov by Proposition 3.4. \(\square \)
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:
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
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
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)\)
satisfying \(u_{R}(-R)=\infty \). Then (3.2) translates easily into
Note that \(r^{u}(\phi _{t}(x,v))=\lim _{R\rightarrow \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
Consider a gauge transformation \(\mathcal P:SM\rightarrow GL(2,\mathbb {R})\) given by
A calculation using (2.12) shows that the conjugate cocyle \(\tilde{\Psi }_{t}\) via \(\mathcal {P}\) has infinitesimal generator given by
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 \rightarrow \mathbb {R}\) satisfying \(VV\theta =-\theta \). For later use we record that the co-differential of \(\theta \) and its Hodge-star satisfy
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 \rightarrow \mathbb {R}\) satisfying \(VVa=-m^2a\), explicitly, we obtain
so that
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
iff
Remark 4.2
Note that applying V we see that (4.4) is equivalent to
Proof of Lemma 4.1
We use the complex notation \(\tilde{a}=Va/m+i a\) and \(\omega =\omega _1+i\omega _2\). Since \(VVa=-m^2a\), we compute that there exist unique complex-valued functions \(\tilde{a}^{\prime }\) and \(\tilde{a}^{\prime \prime }\) so that
In particular, we have \(\pi ^*(\overline{\partial } A)=\tilde{a}^{\prime \prime }\overline{\omega }\otimes \omega ^m\). Since
we obtain
We also have
Hence (4.3) is equivalent to
Taking the real part gives (4.4). \(\square \)
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
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
Proof
Taking \(p=Va/m+\theta \) gives
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 \rightarrow M\), we obtain
Lemma 4.1 and Remark 4.2 therefore imply that (4.7) must hold. Hence we also identically have
which is equivalent to (4.6). \(\square \)
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
Thus \(\kappa _{p}+(Va)^{2}/4<0\) and the Anosov property follows from Theorem 3.7. \(\square \)
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
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]
from which one easily computes
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
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
Proof of Lemma 4.8
Let \(\overline{\partial }_{L_m} : \Gamma (M,L_m) \rightarrow \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
is a \((0,\! 1)\)-form on M. Thus there exists a unique 1-form \(\theta \) on M so that
If we instead consider the metric \(\hat{g}=\mathrm {e}^{2u}g\) for \(u \in C^{\infty }(M)\), then we obtain
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
and hence also \(\overline{\partial }_{L_m}=\overline{\partial }^{\prime }_{L_m}\).
Conversely, let \({}^{(g,\theta )}\nabla \) be a [g]-conformal connection, then
Extending \({}^{(g,\theta )}\nabla \) complex linearly, we obtain a connection on the complex line bundle \(L_m\) whose curvature form is (since \(\dim _{{\mathbb C}} M=1\)) an \(\mathrm {End}(L_m)\)-valued \((1,\! 1)\)-form on 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
Therefore, the Weyl structure determined by \(\overline{\partial }_{L_m}\) is \([g,\theta ]\), thus proving the claim. \(\square \)
Given a section P of \(L_{m}\otimes K_{M}^{m}\) we can define
where \(A:=\left( \det g\right) ^{(m-1)/4}\otimes P\). It is straightforward to check that the quadratic form
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
$$\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
Suppose \((g,A,\theta )\) is a triple satisfying
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
In addition, we observe that the symmetric part of the Ricci curvature of \({}^{(g,\theta )}\nabla \) satisfies
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
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
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
where \(\theta =\theta _0+du\). Since
where \(\Delta _g=-\left( \delta _{g}d+d\delta _{g}\right) \), we obtain
where now all norms and operators are with respect to \(g_0\). This simplifies to become an algebraic equation for u
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
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)\). \(\square \)
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
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
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
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
gives
where we write \(\alpha =|A|^2_{g_0}\). The inequality \(K_g\leqslant 0\) is equivalent to
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
which is defined on the open set \(M^{\circ }:=\left\{ x \in M : A(x)\ne 0\right\} \). Note that using f the Eq. (5.2) becomes
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
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
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
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. \(\square \)
Remark 5.3
From (5.2) we see that u solves a PDE of the form \(\Delta u=G(x,u)\) where
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
Since
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
where
Given \((x,v)\in SM\), consider for each \(R>0\), the unique solution \(h_{R}\) to the Riccati equation along \(\phi _{t}(x,v)\):
satisfying \(h_{R}(-R)=\infty \). Using (3.5) we derive
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
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 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
By Lemma 5.2 we have \(c<(m-2)/\sqrt{m-1}\) and \(V(a)/m>-1/\sqrt{m-1}\). Thus
as desired. \(\square \)
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\rightarrow \mathbb {R}\) are two continuous functions such that \(Xr^{u,s}+[r^{s,u}]^{2}+K_{g}=0\) and \(r^{u}-r^{s}\ne 0\) everywhere. Define
Then a calculation shows
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
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\rightarrow {\mathbb R}\) is any smooth function then
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
hence for this choice of c, (5.8) simplifies to
If \(Fu=Va\), then \(VFu=-m^{2}a\) and we compute using that X and H preserve \(\Theta \) and that \(XVa-mHa=0\):
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. \(\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\)
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 Eq. (3.4) reduces to
From this we clearly see that \(r^{u,s}=\pm 1+V(a)/2\) and hence the weak bundles
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 three-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
We define a 1-form on SM with values in \(\mathfrak {gl}(2,\mathbb {R})\)
It is a consequence of the equivariance properties
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\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
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
for left-invariant one-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 \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.
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
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
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. \(\square \)
References
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)
Assylbekov, Y., Dairbekov, N.: Hopf type rigidity for thermostats. Ergod. Th. Dynam. Sys 34, 1761–1769 (2014)
Benoist, Y.: Convexes divisibles. I. In: Algebraic groups and arithmetic, Tata Inst. Fund. Res., Mumbai, pp. 339–374. MR 2094116 (2004)
Benoist, Y., Hulin, D.: Cubic differentials and hyperbolic convex sets. J. Differ. Geom. 98, 1–19 (2014)
Benzécri, J.-P.: Sur les variétés localement affines et localement projectives. Bull. Soc. Math. France. 88, 229–332 (1960)
Besse, A.: Einstein manifolds, classics in mathematics. Springer, Berlin (1987)
Bryant, R.L.: Projectively flat Finsler \(2\)-spheres of constant curvature. Sel. Math. (N.S.) 3, 161–203 (1997)
Choi, S., Goldman, W.M.: Convex real projective structures on closed surfaces are closed. Proc. Amer. Math. Soc. 118, 657–661 (1993)
Dairbekov, N.S., Paternain, G.P.: Entropy production in Gaussian thermostats. Commun. Math. Phys. 269, 533–543 (2007)
Dumas, D., Wolf, M.: Polynomial cubic differentials and convex polygons in the projective plane. Geom. Funct. Anal. 25, 1734–1798 (2015)
Gallavotti, G.: New methods in nonequilibrium gases and fluids. Open Sys. Inf. Dyn. 6, 101–136 (1999)
Gallavotti, G., Ruelle, D.: SRB states and nonequilibrium statistical mechanics close to equilibrium. Commun. Math. Phys. 190, 279–281 (1997)
Ghys, É.: Flots d’Anosov sur les \(3\)-variétés fibrées en cercles. Ergod. Theory Dynam. Syst. 4, 67–80 (1984)
Ghys, É.: Déformations de flots d’Anosov et de grupes fuchsiens. Ann. Inst. Fourier 42, 209–247 (1992)
Ghys, É.: Rigidité différentiable des grupes fuchsiens. Publ. Math. IHES 78, 163–185 (1993)
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order, classics in mathematics. Springer, Berlin (1998)
Goldman, W.M.: Convex real projective structures on compact surfaces. J. Differ. Geom. 31, 791–845 (1990)
Hitchin, N.J.: Lie groups and Teichmüller space. Topology 31, 449–473 (1992)
Hitchin, N.J.: The self-duality equations on a Riemann surface. Proc. Lond. Math. Soc. 55, 59–126 (1987)
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]
Kim, I., Papadopoulos, A.: Convex real projective structures and Hilbert metrics, handbook of Hilbert geometry. IRMA Lect. Math. Theor. Phys. 22, 307–338 (2014)
Jane, D., Paternain, G.P.: On the injectivity of the X-ray transform for Anosov thermostats. Discrete Contin. Dyn. Syst. 24, 471–487 (2009)
Kobayashi, S.: Differential geometry on complex vector bundles. Princeton University Press, Princeton (1987)
Labourie, F.: Anosov flows, surface groups and curves in projective space. Invent. Math. 165, 51–114 (2006)
Labourie, F.: Flat projective structures on surfaces and cubic holomorphic differentials. Pure Appl. Math. Q. 3, 1057–1099 (2007)
Labourie, F.: Cyclic surfaces and Hitchin components in rank 2. Ann. of Math. 185, 1–58 (2017)
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)
Lewowicz, J.: Lyapunov functions and topological stability. J. Diff. Equ. 38, 192–209 (1980)
Loftin, J.C.: Affine spheres and convex \(\mathbb{RP}^n\)-manifolds. Amer. J. Math. 123, 255–274 (2001)
Mettler, T.: Extremal conformal structures on projective surfaces (2015). arXiv:1510.01043
Mettler, T.: Minimal Lagrangian connections on compact surfaces (2016). arXiv:1609.08033
Mettler, T., Paternain, G.P.: Convex projective surfaces with compatible Weyl connection are hyperbolic (2018). arXiv:1804.04616
Paternain, G.P.: Regularity of weak foliations for thermostats. Nonlinearity 20, 87–104 (2007)
Potrie, R., Sambarino, A.: Eigenvalues and entropy of a Hitchin representation. Invent. Math. 209, 885–925 (2017)
Ruelle, D.: Smooth dynamics and new theoretical ideas in nonequilibrium statistical mechanics. J. Statist. Phys. 95, 393–468 (1999)
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)
Taylor, M.E.: Partial differential equations III. Nonlinear equations, 2nd edn. Springer, New York (2011)
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)
Wienhard, A.: An invitation to higher Teichmüller theory (2018). arXiv:1803.06870
Wojtkowski, M.P.: Magnetic flows and Gaussian thermostats on manifolds of negative curvature. Fund. Math. 163, 177–191 (2000)
Wojtkowski, M.P.: W-flows on Weyl manifolds and Gaussian thermostats. J. Math. Pures Appl. 79, 953–974 (2000)
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)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. C. Marques.
Rights and permissions
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.
About this article
Cite this article
Mettler, T., Paternain, G.P. Holomorphic differentials, thermostats and Anosov flows. Math. Ann. 373, 553–580 (2019). https://doi.org/10.1007/s00208-018-1712-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-018-1712-x