Next Article in Journal
Short-Lived Lattice Quasiparticles for Strongly Interacting Fluids
Next Article in Special Issue
Metrics and Energy Landscapes in Irreversible Thermodynamics
Previous Article in Journal
Nonlinear Predictive Control of a Hydropower System Model
Previous Article in Special Issue
Geometry of Multiscale Nonequilibrium Thermodynamics

Conformal Gauge Transformations in Thermodynamics

Instituto de Ciencias Nucleares, Universidad Nacional Autónoma de México, A.P. 70-543, 04510 México D.F., Mexico
Instituto de Ciencias Nucleares, Universidad Nacional Autónoma de México, A.P. 70-543, 04510 México D.F., Mexico
Dipartimento di Fisica, Università di Roma La Sapienza, P.le Aldo Moro 5, I-00185 Rome, Italy
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Academic Editor: George Ruppeiner
Entropy 2015, 17(9), 6150-6168;
Received: 27 June 2015 / Revised: 25 August 2015 / Accepted: 28 August 2015 / Published: 2 September 2015
(This article belongs to the Special Issue Geometry in Thermodynamics)


In this work, we show that the thermodynamic phase space is naturally endowed with a non-integrable connection, defined by all of those processes that annihilate the Gibbs one-form, i.e., reversible processes. We argue that such a connection is invariant under re-scalings of the connection one-form, whilst, as a consequence of the non-integrability of the connection, its curvature is not and, therefore, neither is the associated pseudo-Riemannian geometry. We claim that this is not surprising, since these two objects are associated with irreversible processes. Moreover, we provide the explicit form in which all of the elements of the geometric structure of the thermodynamic phase space change under a re-scaling of the connection one-form. We call this transformation of the geometric structure a conformal gauge transformation. As an example, we revisit the change of the thermodynamic representation and consider the resulting change between the two metrics on the thermodynamic phase space, which induce Weinhold’s energy metric and Ruppeiner’s entropy metric. As a by-product, we obtain a proof of the well-known conformal relation between Weinhold’s and Ruppeiner’s metrics along the equilibrium directions. Finally, we find interesting properties of the almost para-contact structure and of its eigenvectors, which may be of physical interest.
Keywords: thermodynamic geometry; contact geometry; gauge transformations thermodynamic geometry; contact geometry; gauge transformations

1. Introduction

The geometry of equilibrium thermodynamics and thermodynamic fluctuation theory is extremely rich. In particular, equilibrium thermodynamics is based on the first law, which for reversible processes can be written in the internal energy representation as:
η U = d U - T d S + p d V - i = 1 n - 2 μ i d N i = 0 ,
where the variables have their usual meaning. From the point of view of the theory of differential equations, this is a Pfaffian system in a space of 2 n + 1 variables (n extensive quantities, n intensities and a potential), for which there is no 2 n -dimensional sub-manifold whose tangent vectors all satisfy Condition (1) (cf. [1]). In fact, for this to be the case, the one-form η U should satisfy the Frobenius integrability condition, η U d η U = 0 , whereas in thermodynamics, η U is as far as possible from being integrable. That is, it satisfies:
η U d η U n 0 .
This implies that the solutions to Equation (1) have at most n independent variables. Therefore, thermodynamic systems are n-dimensional sub-manifolds of a ( 2 n + 1 ) -dimensional phase space, which are completely defined as the graph of the “fundamental relation”, i.e., a solution of (1) expressing the dependence of the thermodynamic potential on n independent variables. As an example, for a closed thermodynamic system, the fundamental relation is usually expressed in the form u ( s , v ) , where u is the molar internal energy and s and v are the molar entropy and volume, respectively. The equations of state for the temperature and the pressure then follow from (1). This was already realized by Gibbs and Carathéodory [2,3], who started to study the geometric properties of state functions and relate them to thermodynamic properties of systems. In a geometric language, we can rephrase the above statements by saying that the thermodynamic phase space (TPS) is a contact manifold, and thermodynamic systems are Legendre sub-manifolds of the TPS [4,5,6,7,8].
A Riemannian metric can be introduced on the Legendre sub-manifold representing a thermodynamic system by means of the Hessian of a thermodynamic potential. Weinhold [9,10,11,12] was the first to realize this fact and proposed the metric defined as the Hessian of the internal energy. For example, for a closed system:
g W = 2 u s 2 d s d s + 2 2 u s v d s s d v + 2 u v 2 d v d v ,
where the symbol s denotes the symmetric tensor product (cf. Section 2, Equation (19)). Weinhold used the inner product induced by this metric in order to recover geometrically most of the thermodynamic relations. Later, Ruppeiner [13] introduced a related metric starting from thermodynamic fluctuation theory. In fact, the Gaussian approximation for the probability of a fluctuation [14]:
w = w 0 exp - Δ T Δ s - Δ p Δ v 2 T
depends on the Hessian of the entropy with respect to the fluctuating (extensive) variables. This enables one to equip the Legendre sub-manifold corresponding to a thermodynamic system with a different Hessian metric to that of Weinhold, namely [15]
g R = 2 s u 2 d u d u + 2 2 s u v d u s d v + 2 s v 2 d v d v .
The two metrics are related by a conformal re-scaling [16]:
g R = - 1 T g W ,
which is exactly the same re-scaling between the two one-forms defining the first law in the energy and in the entropy representation, i.e.,
η s = d s - 1 T d u - p T d v = - 1 T η u .
In this way, Legendre sub-manifolds (defining thermodynamic systems undergoing reversible processes) are equipped naturally with two different Riemannian structures that are related by a conformal transformation. Notice that this fact also implies that Legendre sub-manifolds in thermodynamics are also Hessian manifolds (see, e.g., [17,18]).
The study of Metrics (3) and (5) has been very fruitful. It was found in particular that the thermodynamic length corresponding to g W (respectively, g R ) implies a lower bound on the dissipated availability (respectively, to the entropy production) during a finite-time thermodynamic process [19] and that the scalar curvature of these geometries is a measure of the stability of the system, since it diverges over the critical points of continuous phase transitions with the same critical exponents as for the correlation volume [20,21,22]. Moreover, these geometries are related naturally to the Fisher–Rao information metric, and therefore, the investigation of their geometric properties can be extended (mutatis mutandis) to the statistical manifold [23] and to microscopic systems, which are characterized by working out of equilibrium [24,25,26]. As such, the intrinsic geometric perspective of Legendre sub-manifolds of the thermodynamic phase space has given new physical insights for thermodynamics itself, with direct interest for applications in realistic processes, outside the realm of abstract reversible thermodynamics.
So far, the geometric properties of the thermodynamic phase space itself have remained less investigated. Mrugala et al. [27] proved that one can endow naturally the TPS with an indefinite metric structure derived from statistical mechanics, which for a closed system can be defined either as:
G u = η u η u + d s s d T - d v s d p
or as:
G s = η s η s + d u s d 1 T + d v s d p T ,
depending on the thermodynamic representation being considered. These metrics reduce to Weinhold’s and Ruppeiner’s metrics, respectively, on Legendre sub-manifolds. It was proven [28] that such structures are as perfectly well adapted to the contact structure as they can be, and that in fact, one can introduce also a linear endomorphism in the tangent space to the TPS, so that the manifold is equipped with a very peculiar geometry, defining a para-Sasakian manifold [29,30,31]. This, in turn, is the odd-dimensional analogue of the well-known Kähler geometry [32]. Moreover, such a definition implies that the TPS contains a Kähler manifold along the 2 n directions identified with reversible processes. The important point to notice here is that the thermodynamic phase space has a very rich geometric structure, with elements stemming from the reversible relation (Equation (1)) and others arising from irreversible fluctuations (Equations (8) and (9)). Furthermore, a related, although at first sight slightly different, geometrical approach to thermodynamic fluctuations was also recently pursued. It was shown in [33] that generalized complex structures, a completely new mathematical area, can be introduced in thermodynamic fluctuation theory, especially in order to consider thermal and quantum fluctuations on the same footing, which seems to be the case in the presence of a gravitational field.
An additional physical motivation for our study comes from previous results, where it has also been proved, by means of contact Hamiltonian dynamics, that the lengths computed using Metrics (8) and (9) in the thermodynamic phase space give a measure of the entropy production along irreversible processes identified with fluctuations [34] (see also [35]).
In this work, we revisit these ideas from a different point of view, namely that of the theory of connections. In this manner, we present a novel aspect of the geometric structure of thermodynamics and thermodynamic fluctuation theory. In particular, we study the transformations preserving the connection defined by reversible processes, which we call the equilibrium connection. In fact, it is known that the physical content of the first law resides in those processes that annihilate the connection one-form η u , and therefore, at the level of an equilibrium (reversible) description, we are presented with the physical freedom of rescaling such a form through multiplication by any non-vanishing function. This operation, known as contactomorphism [36,37], does not change the results of equilibrium thermodynamics. One usually encounters such transformations as the change of thermodynamic representation, e.g., from the energy to the entropy representation (cf. Equation (7)). Here, we consider the class of contactomorphisms in the thermodynamic phase space and derive the induced transformations for any object defining its geometric structure. We call these conformal gauge transformations [38]. We prove that the equilibrium connection thus defined is necessarily non-integrable, meaning that its associated curvature (not to be confused with the Riemannian curvature associated with the various thermodynamic metrics) is non-vanishing and not invariant under contactomorphisms. Hence, it follows that, albeit that the equilibrium thermodynamics of reversible processes is independent of the representation used, the description of irreversible fluctuations along such processes does change depending on the choice of a particular representation. We show that the metric structure of the TPS is intimately related to the curvature of the equilibrium connection. Since the connection is non-integrable, it follows that the metric changes under contactomorphisms. We further show that this reduces to the well-known relation (6) between Weinhold’s and Ruppeiner’s geometries in the appropriate case, but our result is valid for a general transformation. This shows that the induced thermodynamic lengths are not invariant with respect to using different potentials or representations (see also [41,42,43] for the definition of inequivalent thermodynamic metrics based on the Hessian of other potentials). Finally, we argue that our results can shed light on the physical significance of these geometric objects, highlighting the ones related to a reversible situation and the ones associated with irreversible evolution. Hopefully, this description will help in the identification of geometric properties of potentials that are relevant in irreversible situations.

2. The Equilibrium Connection

In this section, we will recall some formal developments of thermodynamic geometry. The interested reader is referred to [28] and [34] for a detailed discussion about the statistical origin of the structures presented here.
Let us consider a thermodynamic system with n degrees of freedom. As we have argued in the Introduction, the TPS, denoted by T , is the ( 2 n + 1 ) -dimensional ambient space of possible thermodynamic states of any system.
The laws of thermodynamics are universal statements (applicable to every thermodynamic system) about the nature of the processes that take place when a system evolves from a particular thermodynamic state to another. Thus, we believe that such laws are better identified in a geometric perspective with the properties of the TPS. In order to accommodate such laws, it is convenient to consider the TPS to be a differentiable manifold. This will make the evolution meaningful in terms of vector fields and their corresponding integral curves.
Our central point is that the first law of thermodynamics (1) is equivalent to defining a 2 n dimensional connection Γ over the TPS, which we call the equilibrium connection. This is a smooth assignment of 2 n horizontal directions for the tangent vectors at each point of T . We express this schematically by:
{ First law of thermodynamics at p } { Γ : p T Γ p T p T } ,
where we use the standard notation T p T for the tangent space at a given point. At first sight, such an assignment seems to be rather abstract. However, we will shortly see that it takes the same local form independently of the thermodynamic system under consideration, reflecting the universality of the first law.
Let us agree that a curve on T represents a possible process. We say that a curve joining two points in the TPS is an equilibrium (reversible) process if its tangent vector lies in the horizontal subspace Γ p with respect to the first law. This statement acquires a definite meaning with the aid of a connection one-form η. Recall that a one-form is just a linear map acting on tangent vectors. In the case of the first law, the horizontal directions of T p T are given by the vectors annihilated by η, that is,
X Γ p η ( X ) = 0 .
From Equation (1), we see that the above condition on X is just the requirement that the corresponding process be a reversible process. In fact, from a geometric point of view, since η is a contact form (see the Introduction), then a theorem by Darboux ensures that around each point on the TPS, one can assign a set of local coordinates ( w , p a , q a ) , where a takes values from one to n, in which η reads:
η = d w + a = 1 n p a d q a .
It can also be justified from statistical mechanical arguments (cf. [34]) that such coordinates are the ones that enter in the equilibrium description of the process. These are known in the literature as Darboux coordinates. For example, for a closed system, as in (7), in the molar entropy representation, the coordinates q a are naturally associated with the extensive variables u and v; the p a are (minus) the intensities T - 1 and p / T , and w is the molar entropy s.
Note that the horizontal directions in the TPS are uniquely defined by (11), and any particular thermodynamic system at equilibrium has a tangent space, which is a subspace of Γ p at every point. Therefore, Definition (11) encodes the universality of the first law of thermodynamics.
Now, let us find a coordinate expression for the equilibrium directions around every point of the TPS. These are simply the tangent vectors satisfying (11). In Darboux coordinates, a direct calculation reveals that the vectors:
P a = p a and Q a = q a - p a w ,
generate 2 n linearly-independent horizontal directions, that is,
η ( P a ) = 0 and η ( Q a ) = 0 ,
for every value of a; thus, every equilibrium direction around each thermodynamic state of a given system, i.e., every element of Γ p , is a linear combination of the vectors (13).
An interesting fact is that equilibrium directions are not propagated along equilibrium processes. To see this, note that the change of the Q b ’s along the integral curves of P a does not vanish identically, that is, for any smooth function f on T ,
P a , Q b ( f ) = p a , q b - p b w ( f )
= - p a p b f w - p b w f p a
= - δ b a f w = - δ b a ξ ( f ) .
Here, δ b a is a Kronecker delta, and we have introduced the vector field ξ = / w , which is known in contact geometry as the Reeb vector. It is straightforward to see that ξ is a “purely vertical” vector at each point of the TPS in the sense of Definition (11). In fact, it is the unique vector field satisfying:
η ( ξ ) = 1 and d η ( ξ ) = 0 ,
and, thus, can be thought of as indicating the “maximally non-equilibrium” direction at each point of the TPS.
Let us observe a crucial consequence of Equation (15). Since the set (13) generates Γ p at each point in the TPS, then any non-vanishing Lie-bracket of vectors in Γ p will be necessarily vertical. This means that the equilibrium connection Γ is non-integrable [44]. We will return to this point in the next section when we discuss its relevance on conformal gauge invariance.
Now, we have a basis for the tangent space T p T , composed by the Reeb vector ξ and the horizontal basis in (13). Notice, however, that we do not have yet a notion of orthogonality for the vector fields ξ, P a and Q a . The only information available thus far is that every tangent vector to any point in the TPS can be uniquely decomposed into a vertical part and its equilibrium (horizontal) directions, namely:
X T p T X = X ξ ξ + a = 1 n X a p P a + X q a Q a ,
thus the tangent space at each point of the TPS is split into a vertical direction and 2 n horizontal directions defined by the first law, namely:
T p T = V ξ Γ p .
In order to introduce the notion of orthogonality between the horizontal and vertical directions, one can introduce a metric structure on the TPS. It was found by Mrugala et al. [27] (see also [28]) that there is a natural choice for such a metric based on statistical mechanical arguments, that is:
G = η η - a = 1 n d p a s d q a where d p a s d q a 1 2 d p a d q a + d q a d p a
Introducing a metric at this stage raises several questions about its possible significance, e.g., if there is a physical quantity associated with the length of a curve, the interpretation of the curvature of its Levi–Civita connection, Killing symmetries, etc. None of these issues will be addressed in this work. We will limit ourselves to using the metric as an inner product for the tangent vectors of T p T (see [34] for a physical interpretation of the length of particular curves on the TPS corresponding to irreversible fluctuations).
A word of warning is warranted. It can be directly verified that the metric (19) is not positive definite, that is there are non-zero tangent vectors whose norm vanishes identically. To see this, remember that a metric tensor is a bi-linear map (linear in its two arguments), and hence, it is completely determined by its action on a set of basis vectors. Thus, using the decomposition (18) together with the horizontal basis (13), it follows that:
G ( ξ , ξ ) = 1 , G ( P a , Q b ) = - 1 2 δ b a and G ( ξ , P a ) = G ( ξ , Q a ) = 0 .
Interestingly, the remaining combinations vanish identically, that is:
G ( Q a , Q b ) = G ( P a , P b ) = 0 .
There are two important things to be noticed in the above expressions. On the one hand, the metric G makes the splitting of the tangent spaces (18) orthogonal. On the other hand, the vectors generating the horizontal basis, Equation (13), form a set of null vectors (whose norm is zero) at every point of T . In general, the norm of a vector in T p T (cf. Equation (17)) is simply given by:
G ( X , X ) = X ξ 2 - a = 1 n X q a X a p ,
and thus, we can immediately see that a linear combination of null vectors is not necessarily null.
Now, we want to express the metric tensor in (19) in a coordinate-free manner putting into play the role of η and d η as the connection one-form and the curvature two-form, respectively. In terms of the geometry of contact Riemannian manifolds, the result of this derivation means that the metric (19) is associated and compatible with the contact one-form η (cf. [36,37]). Since the equilibrium connection Γ is non-integrable, the action of the curvature [45] of the connection one-form (12) on pairs of horizontal vectors U , V Γ p ,
d η = a = 1 n d p a d q a ( U , V ) = 1 2 a = 1 n d p a ( U ) d q a ( V ) - d p a ( V ) d q a ( U ) ,
does not necessarily vanish. In this case, one can observe a similarity of such action with the second term in the right-hand side of (19). Let us exhibit this fact with a short calculation. Consider the coordinate expression of the two horizontal vectors U and V, namely:
U = a = 1 n U a p P a + U q a Q a and V = a = 1 n V a p P a + V q a Q a .
Their inner product is given by:
G ( U , V ) = η ( U ) η ( V ) - 1 2 a = 1 n d p a U d q a V + d q a U d p a V
= - 1 2 a = 1 n U a p V q a + V a p U q a ,
where the contribution from the first term vanishes identically, since we are assuming U , V Γ p . Now, a similar calculation using the exterior derivative of the connection one-form yields:
- d η ( U , V ) = - 1 2 a = 1 n d p a U d q a V - d q a U d p a V
= - 1 2 a = 1 n U a p V q a - V a p U q a .
There is an obvious sign difference due to the fact that the metric is a symmetric tensor, whereas d η is anti-symmetric. However, we can use here the same argument used in Kähler geometry and introduce a linear transformation of the tangent space at each point, namely Φ : T p T T p T , such that:
- d η ( Φ U , V ) = - 1 2 a = 1 n d p a Φ U d q a V - d q a Φ U d p a V
= - 1 2 a = 1 n U a p V q a + V a p U q a = G ( U , V ) .
The map Φ is known in para-Sasakian geometry as the almost para-contact structure [28]. Since Φ is a linear map, it is uniquely determined by its action on the basis vectors. Thus, one can quickly verify that the desired transformation has to satisfy:
Φ ξ = 0 , Φ P a = P a and Φ Q a = - Q a .
Thus, P a and Q a are eigenvectors of Φ with eigenvalues one and - 1 , respectively, and a local expression for Φ : T p T Γ p in this adapted basis is simply:
Φ = d p a P a - d q a Q a .
Now, we can replace the coordinate dependent part in Equation (19) with an equivalent purely geometric (coordinate independent) expression. Furthermore, since d η “kills” the vertical part of any tangent vector (cf. Equation (16)), our expressions are carried to any tangent vector. Therefore, for any pair of tangent vectors in T p T , their inner product is given by:
G ( X , Y ) = η ( X ) η ( Y ) - d η ( Φ X , Y ) ,
that is, we can use a short-hand notation to re-write Equation (19) as:
G = η η - d η Φ I ,
where ∘ stands for composition and I is the identity map on T p T .
Our final expression for the metric poses a compelling geometric structure, expressed as the sum of the equilibrium connection one-form η and its associated field strength d η , respectively. This was made with the aid of an intermediate quantity Φ, whose role is revealed by means of its “squared” action on any vector X T p T ,
Φ 2 X = Φ Φ X = Φ a = 1 n X a p P a - X q a Q a = a = 1 n X a p P a + X q a Q a ,
returning its purely horizontal part. This can be easily expressed by:
Φ 2 = I - η ξ .
Finally, Φ can be independently obtained as the covariant derivative of ξ with respect to the Levi–Civita connection of G, closing the hard-wired geometric circuit associated with the first law of thermodynamics [28].
Thus far, we have re-formulated the first law as the definition of a connection whose horizontal vector fields are reversible processes (cf. Equations (10) and (11)). This sets up a suitable framework to work out the local symmetries shared by every thermodynamic system, that is the various points of view in which a thermodynamic analysis can be made without changing its physical conclusions. In the present case, such conclusions are restricted to the directions in which a system can evolve and the possible interpretation (not analyzed here) of the thermodynamic length of a generic process, not necessarily an equilibrium one, by means of Metric (31). In the next section, we will analyze an important class of such local symmetries, i.e., conformal gauge symmetries.

3. Conformal Gauge Transformations in Thermodynamics

In the previous section, we presented the first law of thermodynamics as a connection over the TPS, that is the assignment of 2 n equilibrium directions at each point of the tangent space. Such directions were explicitly obtained as the ones that annihilate a one-form whose local expression is the same for every thermodynamic system. There is, however, a whole class of one-forms generating exactly the same connection, each obtained from the other through multiplication by a non-vanishing function. This is referred to here as a conformal gauge freedom. Thus, the central point of this section is to present the class of transformations that leave the equilibrium connection Γ invariant (cf. Equation (10)), together with its corresponding effect on the whole intertwined geometric structure of thermodynamic fluctuation theory, namely the para-Sasakian structure ( T , η , ξ , Φ , G ) .
Consider the thermodynamic connection one-form η. It is easy to see that any re-scaling η = Ω η defines the same equilibrium directions at each point as the original η, that is:
X Γ p Ω η ( X ) = 0 .
here, Ω is any smooth and non-vanishing function on T . This means we can use indistinctly η or η to indicate the equilibrium directions at each point of T [47]. This, however, does change the associated metric structure. In particular, for an arbitrary re-scaling, the curvature of the thermodynamic connection η is not preserved, as can be immediately confirmed by considering a generic pair of horizontal vectors U , V Γ p (cf. Equation (24)) and making:
d η ( U , V ) = Ω d η ( U , V ) + 1 2 d Ω ( U ) η ( V ) - d Ω ( V ) η ( U ) = Ω d η ( U , V ) .
Moreover, the directions annihilated by d η do not coincide with those of d η , That is, while d η ( ξ ) = 0 , we have:
d η ( ξ ) = Ω d η ( ξ ) + d Ω η ( ξ ) = 1 2 d Ω ( ξ ) η - d Ω ,
where in the last equality, we have used the two expressions in (16). In general, the last term does not vanish, and therefore, the orthogonality of the equilibrium split of the tangent space (18) is not trivially preserved. This is a consequence of the non-integrability of the equilibrium connection Γ. In the following lines, we will obtain the way in which the various objects introduced in the previous section change when using a different gauge.
Let us take the defining properties of the Reeb vector field, Equation (16), as our starting point. We need a new vertical vector field satisfying:
η ( ξ ) = 1 and d η ( ξ ) = 0 .
The first condition is easily met if we define the new vertical vector field as:
ξ 1 Ω ξ + ζ
where we have introduced an arbitrary horizontal vector field ζ Γ p whose exact form will be determined shortly.
The second condition in Equation (37) is not as trivial. A direct evaluation yields:
d η ( ξ ) = Ω d η ( ξ ) + 1 2 d Ω ( ξ ) η - η ( ξ ) d Ω
= d η ( ζ ) + 1 2 Ω ξ ( Ω ) η + d Ω ( ζ ) η - d Ω ,
where we have used the fact that d Ω ( ξ ) = ξ ( Ω ) . Now, we are demanding that Equation (39) must vanish identically, that is:
d η ( ζ ) + 1 2 Ω ξ ( Ω ) η + d Ω ( ζ ) η - d Ω = 0 .
Evaluating the above expression on ξ and recalling that d η annihilates ξ, we obtain that:
d Ω ( ζ ) = 0 .
Now, recalling that Ω is fixed by the change of the gauge (34), we have obtained the desired equation for ζ. Moreover, substituting (41) back into (40), we obtain the expression for the derivative of the scaling factor:
d Ω = 2 Ω d η ( ζ ) + ξ ( Ω ) η .
From these calculations, we see that the auxiliary equilibrium (horizontal) vector field ζ plays a central geometric role. Note that in the new gauge η , the fundamental vertical vector field ξ is tilted with respect to its unprimed counterpart, that is it has a horizontal component. However, the equilibrium directions are unaltered and, therefore, are generated by the same basis vectors (13). Thus, we write the equilibrium split at each point as:
T p T = V ξ Γ p = V ξ Γ p .
Note that the expression for ξ was obtained by requiring that its geometrical properties be the same as those of ξ in the new gauge (cf. Equations (16) and (37)). From the same reasoning, in analogy to (31), we require the new metric to be given by:
G = η η - d η Φ I .
The task is to find an expression for G solely in terms of unprimed objects, and just as in deriving (31), this reduces to obtaining an expression for the new map Φ . Since Φ is just a linear transformation of each tangent space and the horizontal directions were not changed by the new gauge, its action on the horizontal basis must be the same as that of Φ (cf. Equation (29)). Therefore, in order to preserve the properties (28), we only have to guarantee that its action on ξ vanishes. The most general linear expression capturing these observations is Φ = Φ + η Z , where the vector field Z is easily determined by the requirement Φ ( ξ ) = 0 . Thus, a straightforward calculation reveals that:
Φ = Φ - η Φ ( ζ ) .
This implies that Φ and Φ coincide on horizontal vectors, as has to be the case.
Consider two vector fields X , Y T p T and their inner product in terms of the new gauge. This is expressed by the action of (44) as:
G ( X , Y ) = Ω 2 η ( X ) η ( Y ) - Ω d η ( Φ X , Y ) + 1 2 d Ω ( Φ X ) η ( Y ) - 1 2 d Ω ( Y ) η ( Φ X ) .
We work out each individual term inside the brackets separately. Let us do this in reverse order and start with the last term. One can immediately see that:
η ( Φ X ) = η Φ X - η ( X ) Φ ( ζ ) = 0
since both Φ X and Φ ζ are, by construction, horizontal. Now, using the expression we obtained for the differential of the scaling factor (cf. Equation (42), above), combined with the action of Φ , we can re-write the next term as:
d Ω ( Φ X ) η ( Y ) = 2 Ω d η ( ζ , Φ X ) + ξ ( Ω ) η ( Φ X )
= - 2 Ω d η ( Φ X , ζ )
= - 2 Ω d η ( Φ X , ζ ) - η ( X ) d η ( Φ ζ , ζ
= - 2 Ω d η ( Φ X , ζ ) + η ( X ) G ( ζ , ζ ) .
Finally, a simple expansion of the first term yields:
Ω d η ( Φ X , Y ) = Ω d η ( Φ X , Y ) - Ω η ( X ) d η ( Φ ζ , Y ) .
To conclude, note that both expressions, d η ( Φ X , ζ ) in (48) and d η ( Φ ζ , Y ) in (49), correspond to inner products involving at least one equilibrium vector. Thus, we can re-write them as G ( ζ , X ) and G ( ζ , Y ) , respectively. Substituting (47) to (49) back into (46), adding the null term Ω η ( X ) η ( Y ) - η ( X ) η ( Y ) and collecting the various resulting expressions, we obtain:
G ( X , Y ) = Ω Ω - 1 + G ( ζ , ζ ) η ( X ) η ( Y ) + Ω G ( X , Y ) + η ( X ) z ( Y ) + η ( Y ) z ( X ) ,
where we used the shorthand z G ( ζ ) . Hence, our final expression for the primed metric reads:
G = Ω G + 2 η s z + Ω Ω - 1 + G ( ζ , ζ ) η η .
The only ambiguity left is an exact expression for ζ. However, this can be easily obtained recalling once again that ζ Γ p . Thus, using the horizontal basis (13), we can write it as:
ζ = a = 1 n ζ a p P a + ζ q a Q a Φ ζ = a = 1 n ζ a p P a - ζ q a Q a .
Now, a straightforward calculation reveals that:
G - 1 d η ( ζ ) = G - 1 a = 1 n d p a d q a b = 1 n ζ b p P b + ζ q b Q b = - a = 1 n ζ a p P a - ζ q a Q a ,
where the inverse metric is given by:
G - 1 = ξ ξ - 4 a = 1 n P a s Q a .
Finally, using (42) to obtain the coordinate independent expression:
Φ ζ = - G - 1 d η ( ζ ) = - 1 2 Ω G - 1 ( d Ω ) - ξ ( Ω ) ξ ,
and recalling the action of Φ 2 (cf. Equations (32) and (33) in the previous section), it follows that:
ζ = - 1 2 Ω Φ G - 1 ( d Ω ) .
Thus, we have completely determined the new structures in terms of the old ones and the scaling factor relating them. Let us summarize the action of a change of gauge ( T , η , ξ , Φ , G ) ( T , η , ξ , Φ , G ) , that is:
η = Ω η ,
ξ = 1 Ω ξ + ζ ,
Φ = Φ + 1 2 Ω η G - 1 ( d Ω ) - ξ ( Ω ) ξ ,
G = Ω G + 2 η s G ( ζ ) + Ω Ω - 1 + G ( ζ , ζ ) η η ,
where ζ is given by (56). We call the transformation (57) to (60) a conformal gauge transformation of the thermodynamic phase space [48]. Here, a gauge choice corresponds to a choice of η defining the equilibrium connection.
To close this section, we shall make a few remarks on conformal gauge invariance in equilibrium thermodynamics, that is the mathematical structures that are indistinguishable along equilibrium processes when we make a change of gauge. Firstly, notice that the curvature of the thermodynamic connection one-form is not a conformally gauge-invariant object, as opposed to a standard gauge theory. This is because the equilibrium connection Γ is, by construction, non-integrable (cf. Equations (15) and (16)). This can be interpreted physically by saying that thermodynamic fluctuations are not gauge invariant. Secondly, note that in spite of the rather non-trivial expression for the transformed metric, Equation (60), its action on equilibrium vectors, say U , V Γ p , is remarkably simple, that is:
G ( U , V ) = Ω G ( U , V ) .
Thus, in the primed gauge, the inner product between the basis vectors (13) for the horizontal space Γ p is:
G ( P a , Q b ) = - Ω δ b a , G ( P a , P b ) = 0 and G ( Q a , Q b ) = 0 .
Notoriously, one can immediately see that the null equilibrium directions at each point of the TPS are exactly the same. Thus, the null structure is gauge invariant. Thirdly, the linear transformation Φ that we introduced on the tangent space at each point of T to obtain a coordinate-free expression for the metric tensor is also a gauge invariant object with respect to equilibrium processes,
Φ U = Φ U for every U Γ p .
Thus, combining the statistical origin of the metric [27,28] and the fact that its null directions are eigenvectors of Φ suggests that there is a physical role played by this structure. This will be the subject of future investigations. We believe that quantities that can be directly linked to gauge-invariant structures for equilibrium thermodynamics will be of great interest, since, on the one hand, their meaning will have a universal scope (valid for every thermodynamic system) and, on the other, their values are independent of the thermodynamic representation one decides to use.

4. Change of Thermodynamic Representation as a Gauge Transformation

In the previous sections, we explored some of the consequences of the geometrization of the first law as a connection of the TPS. In this section, we will study a particular example and observe that the various thermodynamic representations are all related by conformal gauge transformations. It follows that, albeit the directions in which a state can evolve through an equilibrium path are independent of the thermodynamic representation, the fluctuations associated with the path will be different when using a different gauge.
Consider the conformal gauge transformation defined by:
η = 1 p 1 η = 1 p 1 d w + d q 1 + a = 2 n p a p 1 d q a ,
where it is assumed that the Darboux neighborhood does not contain points where p 1 vanishes. Now, let us follow the prescription for a gauge transformation given by Equations (56)–(60). We start by computing the horizontal vector field ζ in the definition of ξ . Using (56) together with the expression for the inverse metric (54) and recalling the action of Φ on the horizontal basis (28), we have that:
ζ = - 1 2 p 1 Φ G - 1 d 1 p 1 = 1 p 1 Q 1 .
Thus, the fundamental primed vertical vector field is given by:
ξ = p 1 ( ξ + ζ ) = p 1 ξ + 1 p 1 Q 1 = q 1 ,
where we have used the definition of the horizontal basis (13) and the fact that in these coordinates, ξ = / w . Indeed, it can by directly verified that:
η ( ξ ) = 1 p 1 d w q 1 + d q 1 q 1 + a = 2 n p a p 1 d q a q 1 = 1 ,
whereas, noting that / q 1 = Q 1 + p 1 / w ,
d η Q 1 + p 1 w = 1 p 1 d η + d 1 p 1 η Q 1 + p 1 w
= 1 p 1 d η ( Q 1 ) - 1 2 η Q 1 + p 1 w d 1 p 1
= - 1 2 p 1 d p 1 + 1 2 p 1 d p 1 = 0 .
The transformation for Φ is just a straightforward calculation, whose result is:
Φ = Φ + p 1 2 η G - 1 d 1 p 1 = Φ - 1 p 1 η Q 1 .
Finally, in order to obtain the expression for the transformed metric, note that for this gauge, ζ is a re-scaling of a null vector (cf. Equation (65) together with (21)). Hence, its squared norm, G ( ζ , ζ ) , is identically zero. Thus, it only remains to evaluate the expression:
G ( ζ ) = - a = 1 n d p a s d q a ( ζ ) = - 1 2 a = 1 n d q a ( ζ ) d p a = - 1 2 p 1 d p 1 .
Therefore, the primed metric takes the form:
G = 1 p 1 G - 1 p 1 η s d p 1 + 1 - p 1 p 1 2 η η ,
whose restriction on vectors belonging to the equilibrium connection Γ at any point of the neighborhood is simply:
G Γ = 1 p 1 G Γ .
The relevance of this exercise is that the conformal gauge transformation presented here corresponds to a change of thermodynamic representation. To see this, let us consider a closed system with the change of gauge defined in (7). It is clear that the equilibrium directions for both η s and η u are the same, as shown in the previous section. Hence, they both annihilate the vectors in Γ p . Moreover, noticing that p 1 = - T in this case and that by Equation (29):
Φ u = - T d s - p d v u - d s s - d v v + d T T + d p p ,
we can use Equations (66), (69) and (71) to obtain:
ξ u = - T u - 1 T s + T u = s = ξ s ,
Φ u = Φ u - 1 T η u Q 1 = Φ u + d s - 1 T d u - p T d v s + T u
= - T d s - p d v u - d s s - d v v + d T T + d p p
= - 1 T d u + p T d v s - d u u - d v v + d T T + d p p = Φ s ,
G u = - 1 T G u + 1 T η u s d T + 1 T 1 T + 1 η U η U
= - 1 T η u η u + d s s d T - d v s d p + 1 T η u s d T + 1 T 1 T + 1 η u η u
= η s η s + d u s d 1 T + d v s d p T = G s .
Equation (76) means that the metrics G u and G s on T are related to each other by the precise conformal gauge transformation that corresponds to a change in the thermodynamic representation (cf. Equations (6) and (7)). Moreover, it follows that on the equilibrium connection Γ, we obtain:
Φ u | Γ = Φ s | Γ and G u | Γ = - 1 T G s | Γ .
Thus, we see explicitly that the restriction of Φ to Γ is invariant under conformal gauge transformations, whereas we obtain a conformal relationship between G u and G s when they are restricted to Γ, which exactly induces the re-scaling between Weinhold and Ruppeiner’s metrics on each Legendre sub-manifold (cf. (6)).

5. Closing Remarks

In thermodynamics, equilibrium (i.e., reversible) processes are defined by the first law (1). In this work, we have given a general geometric statement of the first law in terms of a connection on the thermodynamic phase space. Indeed, we have shown that (1) defines the equilibrium connection Γ (cf. Equations (10) and (11)). Note that the connection one-form η defining Γ is not unique. Indeed, any non-vanishing re-scaling η = Ω η shares the same kernel with η and, thus, defines the same equilibrium connection. Therefore, we call a fixing of a particular one-form determining Γ a conformal gauge choice. The name conformal is in place to denote a difference with gauge theories, such as electromagnetism, where one demands gauge invariance on the curvature of the connection, also referred to as field strength. There, a choice of gauge refers to selecting a one-form generating the same field, whereas in our case, a choice of conformal gauge refers to selecting a one-form generating the same connection. An interesting property of the equilibrium connection is that it is always non-integrable, which means that its curvature does not vanish, independently of the choice of the conformal gauge.
To introduce a further notion of orthogonality between the horizontal (i.e., reversible) and vertical (i.e., irreversible) directions with respect to the equilibrium connection Γ, we followed the work of Mrugala et al. [27] and equipped the thermodynamic phase space with the indefinite metric structure (19). One can justify such a choice by means of the statistical mechanical arguments contained in [27] and [28]. Interestingly, the null directions of such a metric correspond precisely to the basis elements generating the horizontal directions (13). The physical significance of such directions remains to be explored and will be the subject of future work. Here, we have given a coordinate invariant formulation (31) of the metric (19), which highlights the role played by the connection one-form η, as well as by the curvature d η in the definition of the distance and explicitly shows that this is an associated metric in the sense of contact Riemannian geometry [36,37].
The main use of presenting equilibrium thermodynamics as a connection theory relies on the notion of gauge invariance, i.e., those geometric objects that are independent of the particular gauge choice. From the mathematical point of view, the conformal gauge transformations presented here are relevant because they preserve the para-Sasakian structure [29]. As we have argued, in thermodynamics, the curvature of the equilibrium connection is not a gauge-invariant object, nor is the metric. Here, we found the explicit transformations relating the various geometric objects defining the thermodynamic phase space under a conformal gauge transformation. The explicit formulas are summarized by Equations (57)–(60). We observed that the null directions of the metric are gauge invariant. Additionally, when restricted to horizontal directions, the tensor field Φ is also gauge invariant, and the metric structures are conformally related. As an example, we have shown that Metrics (8) and (9), which induce Weinhold and Ruppeiner’s metrics on Legendre sub-manifolds, respectively, are precisely related by the conformal gauge transformation that corresponds to the change in the thermodynamic representation from energy to entropy. This in turn implies that the restriction of such metrics to the equilibrium connection Γ yields the well-known conformal relation (6).
Finally, let us close this work with some comments on the geometry of the equilibrium connection, its conformal gauge transformations and their physical relevance in various prospect applications. Firstly, the construction presented here exhibits the principal bundle nature of the thermodynamic phase space. That is, we readily have a 2 n -dimensional (symplectic) base manifold together with a one-dimensional fiber isomorphic to the real line. Such a construction might be suitable to make use of the theory of characteristic classes to formulate universal statements about the nature of thermodynamic processes. Secondly, from the fact that the curvature form of the connection is not preserved by a change of thermodynamic representation together with its statistical origin, one can conclude that thermodynamic fluctuations are not gauge invariant. This is interesting, because thermodynamic fluctuations enter the description of irreversible processes. Therefore, our results can provide new geometric insights on the different extremization problems that one encounters in non-equilibrium thermodynamics, e.g., minimizing dissipation versus maximizing work.


Alessandro Bravetti acknowledges the A. della Riccia Foundation (Florence, Italy) for financial support. Cesar S Lopez-Monsalvo was supported by a UNAM-DGAPA Post-doctoral Fellowship. Francisco Nettel acknowledges financial support from CONACYT Grant Nos. 207934 and 250298.

Author Contributions

Each author made an equally valuable contribution in preparing this manuscript. All authors have read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.


  1. Rajeev, S.G. Quantization of Contact Manifolds and Thermodynamics. Ann. Phys. 2008, 323, 768–782. [Google Scholar] [CrossRef]
  2. Gibbs, J. The Collected Works of J.Willard Gibbs (Vol. 1: Thermodynamics); Yale University Press: New Haven, CT, USA, 1948. [Google Scholar]
  3. Carathéodory, C. Untersuchungen über die Grundlagen der Thermodynamik. Math. Ann. 1909, 67, 355–386. [Google Scholar] [CrossRef]
  4. Hermann, R. Geometry, Physics and Systems; Marcel Dekker: New York, NY, USA, 1973. [Google Scholar]
  5. Mrugała, R. Geometrical Formulation of Equilibrium Phenomenological Thermodynamics. Rep. Math. Phys. 1978, 14, 419–427. [Google Scholar] [CrossRef]
  6. Arnold, V.I. Mathematical Methods of Classical Mechanics; Springer: Berlin, Germany, 1989; Volume 60. [Google Scholar]
  7. Quevedo, H. Geometrothermodynamics. J. Math. Phys. 2007, 48, 013506. [Google Scholar] [CrossRef]
  8. Bravetti, A.; Lopez-Monsalvo, C.S.; Nettel, F.; Quevedo, H. The Conformal Metric Structure of GTD. J. Math. Phys. 2013, 54, 033513. [Google Scholar] [CrossRef]
  9. Weinhold, F. Metric Geometry of Equilibrium Thermodynamics. J. Chem. Phys. 1975, 63, 2479–2483. [Google Scholar] [CrossRef]
  10. Weinhold, F. Metric Geometry of Equilibrium Thermodynamics. II. Scaling, Homogeneity, and Generalized Gibbs-Duhem Relations. J. Chem. Phys. 1975, 63, 2484–2487. [Google Scholar] [CrossRef]
  11. Weinhold, F. Metric Geometry of Equilibrium Thermodynamics. III. Elementary Formal Structure of a Vector-Algebraic Representation of Equilibrium Thermodynamics. J. Chem. Phys. 1975, 63, 2488–2495. [Google Scholar] [CrossRef]
  12. Weinhold, F. Metric Geometry of Equilibrium Thermodynamics. IV. Vector-Algebraic Evaluation of Thermodynamic Derivatives. J. Chem. Phys. 1975, 63, 2496–2501. [Google Scholar] [CrossRef]
  13. Ruppeiner, G. Thermodynamics: A Riemannian Geometric Model. Phys. Rev. A 1979, 20, 1608. [Google Scholar] [CrossRef]
  14. Landau, L.D.; Lifshitz, E.M. Statistical Physics, Vol. 5 (Course of Theoretical Physics), 3rd ed.; Butterworth-Heinemann: Oxford, UK, 1980. [Google Scholar]
  15. Actually, Ruppeiner defines his metric for an open system at fixed volume, and therefore, it is defined in terms of densities variables rather than molar ones. However, it has become common in the literature to refer to Equation (5) also as Ruppeiner’s metric, as we do here. Moreover, notice that the original definition of the metric by Ruppeiner has a global sign difference with the metric considered here. Of course, this difference does not change any physical result, but it is better for us to use the opposite sign convention in order to get the same conformal factor in Equation (6) as in Equation (7).
  16. Salamon, P.; Nulton, J.; Ihrig, E. On the Relation between Entropy and Energy Versions of Thermodynamic Length. J. Chem. Phys. 1984, 80, 436–437. [Google Scholar] [CrossRef]
  17. Shima, H. The Geometry of Hessian Structures; World Scientific: Singapore, Singapore, 2007; Volume 1. [Google Scholar]
  18. García-Ariza, M. Hessian Structures, Euler Vector Fields, and Thermodynamics. 2015; arXiv:1503.00689. [Google Scholar]
  19. Salamon, P.; Berry, R.S. Thermodynamic Length and Dissipated Availability. Phys. Rev. Lett. 1983, 51, 1127–1130. [Google Scholar] [CrossRef]
  20. Ruppeiner, G. Riemannian Geometry in Thermodynamic Fluctuation Theory. Rev. Mod. Phys. 1995, 67, 605–659. [Google Scholar] [CrossRef]
  21. Ruppeiner, G. Thermodynamic Curvature Measures Interactions. 2010; arXiv:1007.2160. [Google Scholar]
  22. Ruppeiner, G. Thermodynamic Curvature from the Critical Point to the Triple Point. Phys. Rev. E 2012, 86, 021130. [Google Scholar] [CrossRef]
  23. Brody, D.; Rivier, N. Geometrical Aspects of Statistical Mechanics. Phys. Rev. E 1995, 51, 1006–1011. [Google Scholar] [CrossRef]
  24. Crooks, G.E. Measuring Thermodynamic Length. Phys. Rev. Lett. 2007, 99, 100602. [Google Scholar] [CrossRef] [PubMed]
  25. Zulkowski, P.R.; Sivak, D.A.; Crooks, G.E.; DeWeese, M.R. Geometry of Thermodynamic Control. Phys. Rev. E 2012, 86, 041148. [Google Scholar] [CrossRef]
  26. Sivak, D.A.; Crooks, G.E. Thermodynamic Metrics and Optimal Paths. Phys. Rev. Lett. 2012, 108, 190602. [Google Scholar] [CrossRef] [PubMed]
  27. Mrugala, R.; Nulton, J.D.; Schön, J.C.; Salamon, P. Statistical Approach to the Geometric Structure of Thermodynamics. Phys. Rev. A 1990, 41, 3156–3160. [Google Scholar] [CrossRef] [PubMed]
  28. Bravetti, A.; Lopez-Monsalvo, C. Para-Sasakian Geometry in Thermodynamic Fluctuation Theory. J. Phys. A 2015, 48, 125206. [Google Scholar] [CrossRef]
  29. Zamkovoy, S. Canonical Connections on Paracontact Manifolds. Ann. Glob. Anal. Geom. 2009, 36, 37–60. [Google Scholar] [CrossRef]
  30. Ivanov, S.; Vassilev, D.; Zamkovoy, S. Conformal Paracontact Curvature and the Local Flatness Theorem. Geom. Dedic. 2010, 144, 79–100. [Google Scholar] [CrossRef]
  31. Montano, B.C.; Carriazo, A.; Martín-Molina, V. Sasaki-Einstein and ParaSasaki-Einstein Metrics from (\ kappa,\ mu)-structures. 2011; arXiv:1109.6248. [Google Scholar]
  32. Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry (Tracts in Pure and Applied Mathematics) (Volume 1); Wiley: Hoboken, NJ, USA, 1963. [Google Scholar]
  33. De Cordoba, P.F.; Isidro, J. Generalised Complex Geometry in Thermodynamical Fluctuation Theory. 2015; arXiv:1505.06647. [Google Scholar]
  34. Bravetti, A.; Lopez-Monsalvo, C.; Nettel, F. Contact Symmetries and Hamiltonian Thermodynamics. Ann. Phys. 2015, 361, 377–400. [Google Scholar] [CrossRef]
  35. Goto, S. Legendre Submanifolds in Contact Manifolds as Attractors and Geometric Nonequilibrium Thermodynamics. 2015; arXiv:1109.6248. [Google Scholar]
  36. Blair, D.E. Riemannian Geometry of Contact and Symplectic Manifolds (Progress in Mathematics, Vol. 203), 2nd ed.; Birkhäuser: Basel, Switzerland, 2010. [Google Scholar]
  37. Boyer, C.P. Completely Integrable Contact Hamiltonian Systems and Toric Contact Structures on S2 × S3. SIGMA 2011, 7. Available online: (accessed on 1 September 2015). [Google Scholar] [CrossRef]
  38. Gauge transformations in thermodynamics have been also considered in [39,40] from a different perspective.
  39. Balian, R.; Valentin, P. Hamiltonian Structure of Thermodynamics with Gauge. Eur. Phys. J. B 2001, 21, 269–282. [Google Scholar] [CrossRef]
  40. Polettini, M. Nonequilibrium Thermodynamics as a Gauge Theory. Europhys. Lett. 2012, 97, 30003. [Google Scholar] [CrossRef]
  41. Santoro, M. On the Helmholtz Potential Metric: The Isotherm Length-work Theorem. J. Stat. Phys. 2005, 120, 737–755. [Google Scholar] [CrossRef]
  42. Liu, H.; Lü, H.; Luo, M.; Shao, K.N. Thermodynamical Metrics and Black Hole Phase Transitions. J. High Energy Phys. 2010, 2010. [Google Scholar] [CrossRef]
  43. Bravetti, A.; Nettel, F. Thermodynamic Curvature and Ensemble Nonequivalence. Phys. Rev. D 2014, 90, 044064. [Google Scholar] [CrossRef]
  44. A connection is called integrable if the Lie-bracket of any pair of horizontal vector fields is horizontal [32].
  45. Since the tangent space to the TPS with the equilibrium connection is a line bundle, the curvature form Ω = dη + ηη coincides with dη. Notice also that throughout this work, we are using a convention in which the wedge product is defined with the numerical pre-factor 1/2, as in [32], while other references define such a product without such a pre-factor [46]. Therefore, some formulas can look different by a factor of 1/2 with respect to other references, as, e.g., in (26) and (27) (for instance, with respect to [28]). Here, we choose this convention in order to make evident the relation between the second term in the metric and the curvature of the equilibrium connection and to match with standard references in contact geometry [36,37].
  46. Nakahara, M. Geometry, Topology and Physics; CRC Press: Boca Raton, FL, USA, 2003. [Google Scholar]
  47. Usually, in contact geometry, η is called the contact form, and infinitesimal transformations generating a re-scaling of η as in (34) are known as contact transformations or contactomorphisms [36,37].
  48. In contact geometry, (57) to (60) are known simply as a gauge transformation [36], but we decide here to add the adjective conformal as in [29] in order to distinguish such transformations from those of gauge theories.
Back to TopTop